Start here: ProofPath v0.1
ProofPath v0.1 is a CI-verifiable action-boundary evidence gate for AI-agent/API audit logs.
One sentence
ProofPath turns action-boundary audit logs into CI-verifiable evidence.
Product path
live demo
-> audit log
-> metrics collector
-> CI verification
-> reusable GitHub Action
-> downstream-style adoption example
Fastest reviewer path
- Read
docs/RELEASE_V0_1.md.
- Read
docs/GITHUB_ACTION_QUICKSTART.md.
- Inspect
action.yml.
- Inspect
scripts/collect_action_boundary_metrics.py and scripts/assert_action_boundary_metrics.py.
- Inspect
examples/github-action-adoption/.
- Check CI: formatting, clippy, tests, Compute Witness fixture, live action-boundary metrics, reusable GitHub Action self-test.
What this proves
ProofPath audit JSONL
-> metrics JSON
-> expected-value assertions
-> CI pass / fail
What this does not prove
production security certification
complete prevention coverage
formal verification
regulatory compliance
external production adoption
Next product milestone
v0.2 = versioned release/tag + larger scenario suite + artifact uploads + latency metrics
Start here: ProofPath v0.1
ProofPath v0.1 is a CI-verifiable action-boundary evidence gate for AI-agent/API audit logs.
One sentence
Product path
Fastest reviewer path
docs/RELEASE_V0_1.md.docs/GITHUB_ACTION_QUICKSTART.md.action.yml.scripts/collect_action_boundary_metrics.pyandscripts/assert_action_boundary_metrics.py.examples/github-action-adoption/.What this proves
What this does not prove
Next product milestone