INNER CODE UNIT · Python

write_evidence

teaql/teaql-agent-kit · tools/teaql_workspace.py:97

def write_evidence(workspace: Path, evidence: dict) -> Path:
    target = workspace.resolve() / ".teaql" / "runtime-source-evidence.json"
    target.parent.mkdir(parents=True, exist_ok=True)
    target.write_text(json.dumps(evidence, indent=2, sort_keys=True) + "\n", encoding="utf-8")
    return target


def main() -> int:
    parser = argparse.ArgumentParser(prog="teaql-workspace")
    parser.add_argument("command", choices=("apply", "verify"))
    parser.add_argument("--config", default="teaql-workspace.yaml", type=Path)
    parser.add_argument("--workspace", default=Path.cwd(), type=Path)
    args = parser.parse_args()
    try:
        config = args.config.resolve()
        evidence = resolve(config, load_config(config))
    except ValueError as exc:
        print(f"teaql-workspace: {exc}", file=sys.stderr)

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…