Skip to content

Commit 6cda422

Browse files
V45 Gate 17: Source-Safe End-To-End Rehearsal
Closed Gate 17 by adding the source-safe end-to-end rehearsal artifact, operator rehearsal, generated proof/spec bindings, workflow checks, docs, and repair-state tests.
1 parent d5ff4be commit 6cda422

24 files changed

Lines changed: 2568 additions & 44 deletions

.bitcode/v45-canonical-input-report.json

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,8 @@
2525
".bitcode/v45-authorization-sensitive-flow-proof.json",
2626
".bitcode/v45-settlement-source-to-shares-proof.json",
2727
".bitcode/v45-disclosure-boundary-proof.json",
28-
".bitcode/v45-proof-contract-proof.json"
28+
".bitcode/v45-proof-contract-proof.json",
29+
".bitcode/v45-source-safe-e2e-rehearsal.json"
2930
],
30-
"requiredGeneratedArtifactCount": 11
31+
"requiredGeneratedArtifactCount": 12
3132
}

.bitcode/v45-proof-contract-proof.json

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -247,8 +247,8 @@
247247
{
248248
"relativePath": "BITCODE_SPEC_V45.md",
249249
"present": true,
250-
"digest": "sha256:26f6b6107a529de40f64961c5684ac96ece3f342284a92342bfb05ca1e566059",
251-
"byteLength": 46706,
250+
"digest": "sha256:846a670f78484d121355dd8aaf248de373ba8501148afb1d31534d9d5a1970ee",
251+
"byteLength": 47025,
252252
"sourceSafeDigestOnly": true,
253253
"forbiddenMarkerDetected": false,
254254
"requiredTokens": [
@@ -273,8 +273,8 @@
273273
{
274274
"relativePath": "BITCODE_SPEC_V45_PARITY_MATRIX.md",
275275
"present": true,
276-
"digest": "sha256:fc77bdfffc58031d75d1debce293dfe6e38c88f0a1e2d54cfa0a486e5e62fd60",
277-
"byteLength": 27039,
276+
"digest": "sha256:8071e93cb88592aec804c3ceece6673358edaba8e107044e629fb2c1ac72daff",
277+
"byteLength": 27804,
278278
"sourceSafeDigestOnly": true,
279279
"forbiddenMarkerDetected": false,
280280
"requiredTokens": [
@@ -295,8 +295,8 @@
295295
{
296296
"relativePath": "packages/protocol/src/canonical/v21-specifying.js",
297297
"present": true,
298-
"digest": "sha256:c4bd3ff8253cfb3a9dc8f0ad1ac227d4fb2a34e630d8e968b0e68f9fd798a457",
299-
"byteLength": 69865,
298+
"digest": "sha256:a7cbc84c0f4cdc088506ec3e909058a0719a564bd1d1c719c59241341d3bfddf",
299+
"byteLength": 69922,
300300
"sourceSafeDigestOnly": true,
301301
"forbiddenMarkerDetected": false,
302302
"requiredTokens": [
@@ -361,14 +361,14 @@
361361
],
362362
"inputRoots": {
363363
"specRoot": "sha256:2e964cd47c97ea4ac5b893756ee3d3d0bdc6e78d8a4b91db256be91ef64df37f",
364-
"sourceEvidenceRoot": "sha256:439333821b4f7035f414c5d6459745ba4741b057215c6c724fd6002566c7c4b6",
364+
"sourceEvidenceRoot": "sha256:7a4ece3a17f9e3423272bd03f2664c1f8c8ae6b6ccbb73ad891020e07e34b693",
365365
"witnessArtifactRoot": "sha256:74c40acc322c9e1db38ac71c8cb4d67097ccbbb777491fc922b515c11a2d0d9e"
366366
},
367367
"artifactRoots": {
368368
"proofFamilyInventoryRoot": "sha256:4c7ec957f9ac0e9b50227139a98b36d6ebaaaa5ef8c9f2d7d019b33d6f4e782b",
369369
"replayBindingRoot": "sha256:84787609b3fb5d9f7fd7c2c2d519206acca02ad8b35f0c9ae89ab3053c849d70"
370370
},
371-
"artifactRoot": "v45-proof-contract-proof:54025c797cb2cc72682c3756",
371+
"artifactRoot": "v45-proof-contract-proof:e5e1d7873f1ad2cf08db88ba",
372372
"minimumArtifactReplayBindingSet": [
373373
"proof root",
374374
"ledger root",

0 commit comments

Comments
 (0)