Skip to content

Commit 41e4633

Browse files
V45 Gate 17: Rehearse source-safe end-to-end loop
Add the V45SourceSafeEndToEndRehearsal protocol artifact, generator, checker, and source-safe operator rehearsal script across local deterministic, staging-testnet credentialed, and value-bearing mainnet-blocked lanes. Bind the rehearsal into V45 specs, proof-family generated artifacts, workflows, package exports, protocol tests, README documentation, and the roadmap. The rehearsal fails closed into repair state for missing or contradictory evidence and withholds source-bearing, prompt, provider, credential, wallet, private settlement, and live-log payload classes. Validation: pnpm run check:v45-gate17; pnpm run check:v45-gate16; pnpm run check:v45-proof-families; pnpm --dir packages/protocol run typecheck; pnpm --dir packages/protocol test; pnpm run check:spec-family --version V45 --mode draft --current-target V44; pnpm run check:canon-posture-drift --active-canon V44 --draft-target V45; git diff --check; bash scripts/check-import-casing.sh.
1 parent d5ff4be commit 41e4633

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)