Proofed v0.1.0-alpha.1

Proofed v0.1.0-alpha.1

No required evidence, no PASS.

This is the first public alpha of Proofed—a deterministic completion gate for coding agents.

What it does

• Refuses PASSED when required test or diff evidence is missing.
• Binds completion receipts to the current code state, so code changes invalidate stale receipts.
• Produces portable, in-toto-compatible completion receipts.
• Provides independent Python and JavaScript receipt verifiers that do not import the Proofed kernel.
• Includes an explicit repository opt-in, a composite GitHub Action, and an alpha Claude Code Stop Hook adapter.

Verified in this release

• Python 3.10, 3.12, and 3.13 CI: PASS
• Package tests: 9/9 PASS
• Cross-language conformance vectors: 5/5 PASS
• Public GitHub Action red/green smoke test: PASS
• Independent Python and JavaScript receipt verification: PASS

Verification run: https://github.com/liangfeng-hu/proofed/actions/runs/33353178562

Quick start

git clone https://github.com/liangfeng-hu/proofed.git
cd proofed
python -m pip install .

proofed init
proofed run .
proofed status
proofed verify

See the repository README for the false-completion red/green demonstration and integration instructions.

Alpha status and limitations

This release is an early public alpha and is not production-ready.

• Passing tests does not prove that software is correct.
• Proofed does not provide universal exactly-once guarantees for external side effects.
• Host lifecycle hooks can be disabled or bypassed.
• External adoption and independent real-world validation remain open.

Feedback, reproducible false-completion cases, verifier implementations, and test collectors are welcome.

License

Apache-2.0