Skip to content

Commit c3ce01b

Browse files
geraldarthurdavisgeraldarthurdavis
committed
V44 Gate 10: Refresh promoted proof artifacts
Regenerate the V44 PROVEN appendix and promoted .bitcode proof reports from the post-promotion validation repair commit.
1 parent bb1bfd1 commit c3ce01b

5 files changed

Lines changed: 51 additions & 51 deletions

‎.bitcode/v44-canon-posture-drift-report.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
44
"checkedActiveCanonVersion": "V44",
55
"checkedDraftTargetVersion": "V45",
66
"pointerVersion": "V44",
7-
"proofSourceCommit": "2b08d07590269150d7a8ad658fe97dd99c05616d",
8-
"generatedAt": "2026-05-31T09:21:28-03:00",
7+
"proofSourceCommit": "bb1bfd14b21fa67a5e5690fe1eeb3acf095f6da3",
8+
"generatedAt": "2026-05-31T09:53:42-03:00",
99
"generatorId": "bitcode.proven-generator.v1",
1010
"worktreeState": "clean",
1111
"passed": true,

‎.bitcode/v44-canonical-input-report.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v44-canonical-input-report",
33
"version": "V44",
4-
"proofSourceCommit": "2b08d07590269150d7a8ad658fe97dd99c05616d",
5-
"generatedAt": "2026-05-31T09:21:28-03:00",
4+
"proofSourceCommit": "bb1bfd14b21fa67a5e5690fe1eeb3acf095f6da3",
5+
"generatedAt": "2026-05-31T09:53:42-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "clean",
88
"checkedTargetVersion": "V44",

‎.bitcode/v44-promotion-readiness-report.json‎

Lines changed: 18 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
"schemaId": "bitcode.v44.promotionReadinessReport.v1",
55
"version": "V44",
66
"currentTarget": "V43",
7-
"generatedAt": "2026-05-31T09:21:28-03:00",
7+
"generatedAt": "2026-05-31T09:53:42-03:00",
88
"sourceSafetyVerdict": "source-safe-v44-scaled-engineering-economy-promotion-metadata",
99
"prePromotionPosture": "V43 active / V44 draft",
1010
"postPromotionPosture": "V44 active / V45 draft",
@@ -43,8 +43,8 @@
4343
"relativePath": ".bitcode/v44-economic-domain-model.json",
4444
"present": true,
4545
"parseable": true,
46-
"digest": "sha256:122779f6b22822a1f328f98afae216030ec12becc8ffcfe8c12479b8cc3794fe",
47-
"byteLength": 25898,
46+
"digest": "sha256:ce579dd3076cb707a1f3f63492cbd5a2b2297b58cfb05fdbe677e2efebbc0a7e",
47+
"byteLength": 25917,
4848
"sourceSafe": true,
4949
"artifactId": "v44-economic-domain-model",
5050
"version": "V44",
@@ -54,8 +54,8 @@
5454
"relativePath": ".bitcode/v44-packs-portfolio-market-intelligence.json",
5555
"present": true,
5656
"parseable": true,
57-
"digest": "sha256:6e0e28770aa5ec69d62757027c0a2594836ace62d41edfd6343a3a30c37c1c0e",
58-
"byteLength": 10279,
57+
"digest": "sha256:3cb70cf1247d818133bbe4cd69e284132c0bf61d25694e653eb12e64703e2141",
58+
"byteLength": 10298,
5959
"sourceSafe": true,
6060
"artifactId": "v44-packs-portfolio-market-intelligence",
6161
"version": "V44",
@@ -65,8 +65,8 @@
6565
"relativePath": ".bitcode/v44-reading-budget-quote-policy.json",
6666
"present": true,
6767
"parseable": true,
68-
"digest": "sha256:5a2c0b570e7c1bc15e3a632298d8739be62a2f474e61aa789ce7d9d6fa6038c4",
69-
"byteLength": 11919,
68+
"digest": "sha256:f3a778bc96202a4f7a842193cdba33a70e860ddb8baa0b6d4aeb9b5598d0ee6b",
69+
"byteLength": 11938,
7070
"sourceSafe": true,
7171
"artifactId": "v44-reading-budget-quote-policy",
7272
"version": "V44",
@@ -76,8 +76,8 @@
7676
"relativePath": ".bitcode/v44-depositor-earnings-supply-opportunities.json",
7777
"present": true,
7878
"parseable": true,
79-
"digest": "sha256:46b4dcbdcb807add9defb1fe49f5341987d27f4903f23a2c8fbc42ca48ddd246",
80-
"byteLength": 14090,
79+
"digest": "sha256:f4c028484347edf2bf6a4f99946ef6dd8944b89ef95dfaefead6c6cb650fb7a5",
80+
"byteLength": 14109,
8181
"sourceSafe": true,
8282
"artifactId": "v44-depositor-earnings-supply-opportunities",
8383
"version": "V44",
@@ -87,8 +87,8 @@
8787
"relativePath": ".bitcode/v44-btd-btc-compensation-statements.json",
8888
"present": true,
8989
"parseable": true,
90-
"digest": "sha256:040646f765c86c1defb4a77c6eaeb107c784e47f00c53dfa3720d89e93362acb",
91-
"byteLength": 15816,
90+
"digest": "sha256:cc809b30a3d1e995cccc4696219e6ac908bc8bd86980bf55680222a10f992d96",
91+
"byteLength": 15835,
9292
"sourceSafe": true,
9393
"artifactId": "v44-btd-btc-compensation-statements",
9494
"version": "V44",
@@ -98,8 +98,8 @@
9898
"relativePath": ".bitcode/v44-organization-policy-wallet-authority.json",
9999
"present": true,
100100
"parseable": true,
101-
"digest": "sha256:72728f795edef641d7846dbeda5bb061775229395439197c23d493331def3670",
102-
"byteLength": 16107,
101+
"digest": "sha256:609d522a7e04a99c6b62c7d839b7052d7b668cd0a15439ae3496939a00d00bd6",
102+
"byteLength": 16126,
103103
"sourceSafe": true,
104104
"artifactId": "v44-organization-policy-wallet-authority",
105105
"version": "V44",
@@ -109,8 +109,8 @@
109109
"relativePath": ".bitcode/v44-enterprise-product-ux.json",
110110
"present": true,
111111
"parseable": true,
112-
"digest": "sha256:e9536dcda734cfe04de549254fdf2a6bf816d1eb82e632b3f75e616b5f47cc5b",
113-
"byteLength": 11619,
112+
"digest": "sha256:6a3b7035f66212726ed7a31b508da569c1b93f8cce15d2cb4b9e35d9897fec69",
113+
"byteLength": 11638,
114114
"sourceSafe": true,
115115
"artifactId": "v44-enterprise-product-ux",
116116
"version": "V44",
@@ -120,8 +120,8 @@
120120
"relativePath": ".bitcode/v44-scaled-network-rehearsal.json",
121121
"present": true,
122122
"parseable": true,
123-
"digest": "sha256:215e17e6e9b530614727032ae554728492cf77d3de9b4df792e46a1a59a85a8d",
124-
"byteLength": 32870,
123+
"digest": "sha256:fa311a954e7b387731e93e21d3c5c94f7dbf0f4b90346c5ddf2de816bd3c49c7",
124+
"byteLength": 32889,
125125
"sourceSafe": true,
126126
"artifactId": "v44-scaled-network-rehearsal",
127127
"version": "V44",
@@ -551,7 +551,7 @@
551551
"passed": true,
552552
"failures": [],
553553
"validationCommand": "pnpm run check:v44-gate10",
554-
"proofSourceCommit": "2b08d07590269150d7a8ad658fe97dd99c05616d",
554+
"proofSourceCommit": "bb1bfd14b21fa67a5e5690fe1eeb3acf095f6da3",
555555
"generatorId": "bitcode.proven-generator.v1",
556556
"worktreeState": "clean",
557557
"sourceSafe": true

‎.bitcode/v44-spec-family-report.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v44-spec-family-report",
33
"version": "V44",
4-
"proofSourceCommit": "2b08d07590269150d7a8ad658fe97dd99c05616d",
5-
"generatedAt": "2026-05-31T09:21:28-03:00",
4+
"proofSourceCommit": "bb1bfd14b21fa67a5e5690fe1eeb3acf095f6da3",
5+
"generatedAt": "2026-05-31T09:53:42-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "clean",
88
"checkedVersion": "V44",

‎BITCODE_SPEC_V44_PROVEN.md‎

Lines changed: 27 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
# Bitcode Spec V44 Proven
22

33
- canonicalVersion: `V44`
4-
- canonicalCommit: `2b08d07590269150d7a8ad658fe97dd99c05616d`
5-
- canonicalCommitRecordedAt: `2026-05-31T09:21:28-03:00`
4+
- canonicalCommit: `bb1bfd14b21fa67a5e5690fe1eeb3acf095f6da3`
5+
- canonicalCommitRecordedAt: `2026-05-31T09:53:42-03:00`
66
- worktreeState: `clean`
77
- generatorId: `bitcode.proven-generator.v1`
8-
- generatedAt: `2026-05-31T09:21:28-03:00`
8+
- generatedAt: `2026-05-31T09:53:42-03:00`
99
- outputPath: `BITCODE_SPEC_V44_PROVEN.md`
1010
- scenarioIds: `auth-issuer-rollback`, `rust-validator-proof-gap`, `config-policy-precedence-incident`, `unsafe-patch-review-recovery`, `infra-deployment-mismatch`, `privacy-boundary-proof-export`, `polyglot-gateway-benchmark-remediation`, `auth-many-asset-normalization`
1111
- branchModes: `patch`, `context`
@@ -36,13 +36,13 @@
3636

3737
| artifactPath | digest | byteLength |
3838
| --- | --- | --- |
39-
| `.bitcode/v19-contract-change-ledger.json` | `sha256:544c188b64437e6ad9b090058dfd83f01d4fe8c4d778e5791522951420b4852f` | 3311 |
40-
| `.bitcode/v19-deterministic-replay-report.json` | `sha256:a252d5948d0f185da0c58fcc58ffcb8372c50322483aad08ca4277bd7dc906d7` | 8459 |
41-
| `.bitcode/v19-negative-proof-mutation-matrix.json` | `sha256:87fce0247e62f53a4a966f6c63ff396f64518d3317b16583e3885bc5358f7ac7` | 8085 |
42-
| `.bitcode/v19-proof-member-semantic-matrix.json` | `sha256:ea2f6f0b270ed9675f1fa3eb389b0be6a15fb53e8afda4261ccba46f0fe96b10` | 1815750 |
43-
| `.bitcode/v19-state-machine-matrix.json` | `sha256:3e8dfab3b7b5a09d28958a2f7ea022b33b5691209436495ad09cd542222be7d6` | 154965 |
44-
| `.bitcode/v19-theorem-evidence-matrix.json` | `sha256:f70b7bcae5a08741a852b51d4787ea08cab4c9656c0927c81d110291239ac5ca` | 2405676 |
45-
| `.bitcode/v19-volatility-inventory.json` | `sha256:89f0d84ecba45c8a7c9ab097fd92dc8f5863b3da4a09071899826b9aeae62e63` | 6206 |
39+
| `.bitcode/v19-contract-change-ledger.json` | `sha256:1364b4d54ec001a4bcbb1b8bd3b9f4ddc21b7982c38ae28b87466ddc9d9e57e4` | 3311 |
40+
| `.bitcode/v19-deterministic-replay-report.json` | `sha256:d9427426dd0ec0e2abb207c99adc3d470434be8d128f9ebb8d3395340263f2ec` | 8459 |
41+
| `.bitcode/v19-negative-proof-mutation-matrix.json` | `sha256:e935575fef693802b4e78d893dd5fb5839ad21416fff2dbbc3e96f9b6eef83d2` | 8085 |
42+
| `.bitcode/v19-proof-member-semantic-matrix.json` | `sha256:b9dc997535b5a296dd2506c9d360eefe78227e646a548d386a952773919a499c` | 1815750 |
43+
| `.bitcode/v19-state-machine-matrix.json` | `sha256:d741ef553f9a2b83e9344c3325cc8baa5f71be093a278657099e24d8e76921d4` | 154965 |
44+
| `.bitcode/v19-theorem-evidence-matrix.json` | `sha256:5281364de3414cf7aec85cd780ab88f9b53774d0cacc9a4fbd2189cd22e744f3` | 2405676 |
45+
| `.bitcode/v19-volatility-inventory.json` | `sha256:922b819f83ff0d194de30104f445286d82c7862b30010311f68036d043265042` | 6206 |
4646

4747
### V19 Inherited Positive Matrix Summaries
4848

@@ -61,13 +61,13 @@
6161

6262
| artifactPath | firstDigest | secondDigest | byteEqual |
6363
| --- | --- | --- | --- |
64-
| `.bitcode/v19-contract-change-ledger.json` | `sha256:544c188b64437e6ad9b090058dfd83f01d4fe8c4d778e5791522951420b4852f` | `sha256:544c188b64437e6ad9b090058dfd83f01d4fe8c4d778e5791522951420b4852f` | `true` |
65-
| `.bitcode/v19-negative-proof-mutation-matrix.json` | `sha256:87fce0247e62f53a4a966f6c63ff396f64518d3317b16583e3885bc5358f7ac7` | `sha256:87fce0247e62f53a4a966f6c63ff396f64518d3317b16583e3885bc5358f7ac7` | `true` |
66-
| `.bitcode/v19-proof-member-semantic-matrix.json` | `sha256:ea2f6f0b270ed9675f1fa3eb389b0be6a15fb53e8afda4261ccba46f0fe96b10` | `sha256:ea2f6f0b270ed9675f1fa3eb389b0be6a15fb53e8afda4261ccba46f0fe96b10` | `true` |
67-
| `.bitcode/v19-state-machine-matrix.json` | `sha256:3e8dfab3b7b5a09d28958a2f7ea022b33b5691209436495ad09cd542222be7d6` | `sha256:3e8dfab3b7b5a09d28958a2f7ea022b33b5691209436495ad09cd542222be7d6` | `true` |
68-
| `.bitcode/v19-theorem-evidence-matrix.json` | `sha256:f70b7bcae5a08741a852b51d4787ea08cab4c9656c0927c81d110291239ac5ca` | `sha256:f70b7bcae5a08741a852b51d4787ea08cab4c9656c0927c81d110291239ac5ca` | `true` |
69-
| `.bitcode/v19-volatility-inventory.json` | `sha256:89f0d84ecba45c8a7c9ab097fd92dc8f5863b3da4a09071899826b9aeae62e63` | `sha256:89f0d84ecba45c8a7c9ab097fd92dc8f5863b3da4a09071899826b9aeae62e63` | `true` |
70-
| `_legacy/ENGI_SPEC_V19_PROVEN.md` | `sha256:3830c60918234b5a52b63a84ec6d1d41f44049451b2d56afe43f857f88cab02f` | `sha256:3830c60918234b5a52b63a84ec6d1d41f44049451b2d56afe43f857f88cab02f` | `true` |
64+
| `.bitcode/v19-contract-change-ledger.json` | `sha256:1364b4d54ec001a4bcbb1b8bd3b9f4ddc21b7982c38ae28b87466ddc9d9e57e4` | `sha256:1364b4d54ec001a4bcbb1b8bd3b9f4ddc21b7982c38ae28b87466ddc9d9e57e4` | `true` |
65+
| `.bitcode/v19-negative-proof-mutation-matrix.json` | `sha256:e935575fef693802b4e78d893dd5fb5839ad21416fff2dbbc3e96f9b6eef83d2` | `sha256:e935575fef693802b4e78d893dd5fb5839ad21416fff2dbbc3e96f9b6eef83d2` | `true` |
66+
| `.bitcode/v19-proof-member-semantic-matrix.json` | `sha256:b9dc997535b5a296dd2506c9d360eefe78227e646a548d386a952773919a499c` | `sha256:b9dc997535b5a296dd2506c9d360eefe78227e646a548d386a952773919a499c` | `true` |
67+
| `.bitcode/v19-state-machine-matrix.json` | `sha256:d741ef553f9a2b83e9344c3325cc8baa5f71be093a278657099e24d8e76921d4` | `sha256:d741ef553f9a2b83e9344c3325cc8baa5f71be093a278657099e24d8e76921d4` | `true` |
68+
| `.bitcode/v19-theorem-evidence-matrix.json` | `sha256:5281364de3414cf7aec85cd780ab88f9b53774d0cacc9a4fbd2189cd22e744f3` | `sha256:5281364de3414cf7aec85cd780ab88f9b53774d0cacc9a4fbd2189cd22e744f3` | `true` |
69+
| `.bitcode/v19-volatility-inventory.json` | `sha256:922b819f83ff0d194de30104f445286d82c7862b30010311f68036d043265042` | `sha256:922b819f83ff0d194de30104f445286d82c7862b30010311f68036d043265042` | `true` |
70+
| `_legacy/ENGI_SPEC_V19_PROVEN.md` | `sha256:4bb6304c6cb354c49dbec15bb3636a102fdfd94dffc5b2876a355e906fac1ecd` | `sha256:4bb6304c6cb354c49dbec15bb3636a102fdfd94dffc5b2876a355e906fac1ecd` | `true` |
7171

7272
### V19 Volatility Inventory
7373

@@ -144,23 +144,23 @@
144144

145145
| artifactPath | digest | byteLength |
146146
| --- | --- | --- |
147-
| `.bitcode/v44-canon-posture-drift-report.json` | `sha256:50d08cbc5b679d1ace298f63b22095c8685e85c1aa453728160b8007fa5358d2` | 2809 |
148-
| `.bitcode/v44-canonical-input-report.json` | `sha256:89c973bc89db81d9859e12682e3268de920dd94cd18fcfd539415143f14db625` | 1221 |
149-
| `.bitcode/v44-promotion-readiness-report.json` | `sha256:fed06f667eb3e8b352239e29628c893fe3b013b4b6dd01cfaa0b5101d998d1c8` | 18123 |
150-
| `.bitcode/v44-spec-family-report.json` | `sha256:5a2bd0b233df1e21f3e707ad128b2aed7b0ed967cdab6a42da4483a9251a7e02` | 1010 |
147+
| `.bitcode/v44-canon-posture-drift-report.json` | `sha256:2c661dab34d8cb93eff00e2e870c531064f7284f5ac4036148773001f8d5c33d` | 2809 |
148+
| `.bitcode/v44-canonical-input-report.json` | `sha256:e0de2d474aaa5711a792e0c59e359fc973684e9898d623412a4396bc7768875c` | 1221 |
149+
| `.bitcode/v44-promotion-readiness-report.json` | `sha256:0532c745e589857519827cfb88fe74f795a73291f40298f305ced23ce50cce7a` | 18123 |
150+
| `.bitcode/v44-spec-family-report.json` | `sha256:02ea96591fb8d5b443e1a0056c4526392fc76d52bcba91df4d35c31df2723679` | 1010 |
151151

152152
## V20 Operator Quality Reports
153153

154154
### V20 Generated Quality Artifact Inventory
155155

156156
| artifactPath | digest | byteLength |
157157
| --- | --- | --- |
158-
| `.bitcode/v20-accessibility-report.json` | `sha256:a92bb84b902fa28b1ff0887ab2c015efeb4e7676bd5b026a27c0c8aff8ef9b65` | 8210 |
159-
| `.bitcode/v20-operator-acceptance-transcript.json` | `sha256:1e386f98966b5bf34021c44b4127d3c7a5d6184a370f29fef7ef19eb072cd41a` | 10913 |
160-
| `.bitcode/v20-performance-budget-report.json` | `sha256:252a2f55b7bbcc401242589edf7389d3f38e3ff50081d67039c0985a6529dfbc` | 5038 |
161-
| `.bitcode/v20-projection-quality-smoke-matrix.json` | `sha256:5eba3513b588908f9b52207371229dcf0a7fb242329bde94a3205cdd32e47cca` | 4935 |
162-
| `.bitcode/v20-quality-summary.json` | `sha256:c32898dca82ec8c00b22e5764d7fbdda47934905e4d976370aef76957cd49e5d` | 4464 |
163-
| `.bitcode/v20-visual-regression-report.json` | `sha256:90a72c22bb36b3e755b786b6bf4e8831816c5a881f3e56a4414a86c9735af465` | 19369 |
158+
| `.bitcode/v20-accessibility-report.json` | `sha256:6cacc92ef980e87a16c783c820a5aba641452302037e310b5976f3d8db0c721a` | 8210 |
159+
| `.bitcode/v20-operator-acceptance-transcript.json` | `sha256:f65424d65fc66bfcc4e01706169542bb322fe42402d8fbbace6810f8f648979c` | 10913 |
160+
| `.bitcode/v20-performance-budget-report.json` | `sha256:9428877e5274444d62f107cfe79f89c84e65ff90f4d4f11db36ca14514689306` | 5038 |
161+
| `.bitcode/v20-projection-quality-smoke-matrix.json` | `sha256:dd47bb58218908cdee88ed97b6d54c3f9fa1d537d709915285beef40f21f32a3` | 4935 |
162+
| `.bitcode/v20-quality-summary.json` | `sha256:91669b99444018366d38e5899bab63b57e269bca628732f2d90ad565ade03259` | 4464 |
163+
| `.bitcode/v20-visual-regression-report.json` | `sha256:59d232875cfeac60560ef4613362cf83c22e9c3816d79bfe41639733212f356b` | 19369 |
164164

165165
### V20 Quality Summary
166166

0 commit comments

Comments
 (0)