Proofed v0.1.0-alpha.2

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.