Files
sechmachine 7c89ef5bf5
Verify Protocol / module (push) Successful in 2m10s
Verify Protocol / verify (push) Canceled after 0s
docs(openspec): record RC10 distribution
2026-08-09 13:58:00 +07:00

843 B

1. Red conformance

  • 1.1 Add fixed datagram-v2 and capability vectors that fail current Python, Go, Rust, and Swift validators
  • 1.2 Prove unknown version, malformed length, invalid fragment, and oversized complete-unit cases remain rejected

2. Contract implementation

  • 2.1 Add the versioned datagram-v2 frame grammar and registered framing values
  • 2.2 Update generator/native validators and regenerate Go, Rust, and Swift bindings normally

3. Verification

  • 3.1 Run focused cross-language conformance and strict OpenSpec validation
  • 3.2 Run complete make verify and prove a second generation has no drift

4. Immutable boundary

  • 4.1 Publish one new never-reused immutable Protocol version, resolve it from separate empty consumer caches, and pin the fetched checksums in both consumers