Skip to content

Commit 602fe51

Browse files
V32 Gate 6: Prove interface contract regressions
Add source-safe interface contract regression fixtures and proof generation for Terminal, API, MCP, ChatGPT App, Auxillaries, and deferred Exchange/Conversations hooks. Wire Gate 6 checker, focused tests, V32 proof matrix, gate-quality CI, roadmap, and specification family so shared auth, policy denial, source-safety, and nondisclosure assertions are validated.
1 parent 1e9b942 commit 602fe51

22 files changed

Lines changed: 1647 additions & 42 deletions

.bitcode/v32-deterministic-replay-report.json

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,9 +11,9 @@
1111
{
1212
"artifactPath": ".bitcode/v32-proof-coverage-matrix.json",
1313
"byteEqual": true,
14-
"byteLength": 20523,
15-
"firstDigest": "sha256:79790aba3003cbebd2067de68ce2968918de76b398bfaa8872533899c9573049",
16-
"secondDigest": "sha256:79790aba3003cbebd2067de68ce2968918de76b398bfaa8872533899c9573049"
14+
"byteLength": 21157,
15+
"firstDigest": "sha256:2021ab0d617d08e507ac902daacde19f70516f9d2f968bd946566891f72268d6",
16+
"secondDigest": "sha256:2021ab0d617d08e507ac902daacde19f70516f9d2f968bd946566891f72268d6"
1717
}
1818
],
1919
"artifactId": "v32-deterministic-replay-report",

0 commit comments

Comments
 (0)