Skip to content

Releases: liangfeng-hu/proofed

Release list

Proofed v0.1.0-alpha.3

Proofed v0.1.0-alpha.3 Pre-release
Pre-release

Choose a tag to compare

View all tags
@liangfeng-hu liangfeng-hu released this 31 Aug 12:41
v0.1.0-alpha.3
d28c612
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What changed

  • Aligned package metadata, CLI output, and Python module version at 0.1.0a3
  • Updated GitHub Action examples to v0.1.0-alpha.3
  • Added a regression test requiring runtime and distribution versions to match
  • Explicitly closed SQLite connections for Python 3.13 compatibility
  • Preserved portable completion receipts and independent Python/JavaScript verification

Verified

  • Python 3.10, 3.12, and 3.13 conformance suites pass
  • Public GitHub Action red/green completion-gate smoke test passes
  • Independent Python and JavaScript receipt verifiers pass
  • Wheel and source distribution build successfully

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

Alpha boundary

This is a public alpha, not a production-ready release. It does not claim universal exactly-once external effects, unbypassable host hooks, or that passing tests proves software correctness.

Loading

Proofed v0.1.0-alpha.2

Proofed v0.1.0-alpha.2 Pre-release
Pre-release

Choose a tag to compare

View all tags
@liangfeng-hu liangfeng-hu released this 31 Aug 10:22
v0.1.0-alpha.2
37b9bac

Highlights

  • Skill-first installation through the open Agent Skills ecosystem
  • Portable completion receipt with independent verification
  • Current-subject binding: code changes invalidate old PASS receipts
  • CI re-verifies the current checkout instead of trusting committed PASS files
  • Real 15-second red/green completion-gate demo
  • PyPI Trusted Publishing workflow for proofed-agent

Alpha boundary

This is an early public alpha. It does not claim production closure, universal exactly-once external effects, unbypassable host hooks, or that passing tests proves software correctness.

Loading

Proofed v0.1.0-alpha.1

Proofed v0.1.0-alpha.1 Pre-release
Pre-release

Choose a tag to compare

View all tags
@liangfeng-hu liangfeng-hu released this 31 Aug 04:13
v0.1.0-alpha.1
c22ab3d

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

Loading