Files
sechmachine 03e14a9ae3
Verify Protocol / module (push) Successful in 20s
Verify Protocol / verify (push) Canceled after 0s
docs(openspec): archive terminal receipt repair
2026-07-30 18:31:28 +07:00

892 B

1. Red Conformance

  • 1.1 Add fixed valid and invalid terminal-receipt vectors and prove Python, Go, Rust, and Swift reject the required valid vector
  • 1.2 Add a Data Plane independent-client regression that consumes the Protocol fixed vector rather than the production encoder

2. Contract Repair

  • 2.1 Update the VGF1 grammar and Protocol validator sources for the exact empty client-direction type 0x03 receipt
  • 2.2 Regenerate bindings normally and prove deterministic generation has no drift
  • 2.3 Run complete Protocol verification and strict OpenSpec validation

3. Immutable Release

  • 3.1 Verify the next version is unused locally and remotely, publish one immutable annotated tag, and verify its object and peeled commit
  • 3.2 Resolve the version from separate empty caches and pin exact fetched checksums in Data Plane and Connection Server