Package Exports

This package does not declare an exports field, so the exports above have been automatically detected and optimized by JSPM instead. If any package subpath is missing, it is recommended to post an issue to the original package (anatrace) to support the "exports" field. If that is not possible, create a JSPM override to customize the exports field for this package.

Readme

anatrace

Deterministic, local, cross-harness transcript verification for AI agents.

npm install --global anatrace
anatrace session.jsonl --json

Place .anatrace.yaml in the working directory or pass it explicitly:

anatrace session.jsonl \
  --policy .anatrace.yaml \
  --role build \
  --json

For delegate-inclusive negative proof, supply trusted launcher coverage or raw expected launch records:

anatrace session.jsonl \
  --lineage-hooks hooks.jsonl \
  --capture-manifest capture.json \
  --json

Expected launch records use kind: "expected-launch-boundary" and are reconciled with observed checked lineage before verdict evaluation. Expected records alone never prove capture.

anatrace reports unverifiable when a signal, binding, or coverage guarantee is absent. It does not silently turn a blind channel into a pass.

Pretty, JSON, and SARIF output include verification coverage. The receipt names unknown tools and unsupported shell commands that prevented a complete negative proof.

See the repository README for policy syntax, formats, and current limitations.