V44 Gate 10: Restore canonical artifact inventory (#202)

geraldarthurdavis · web-flow · commit 2b08d0759026 · 2026-05-31T09:21:28.000-03:00
Adds V43 and V44 to the canonical input artifact resolver so active-canon checks cover the generated proof inventories instead of reporting zero artifacts.

Refreshes the V43 generated canonical input/proven artifacts and the V44 promotion-readiness artifact, and updates the demonstration test expectations to match the promoted artifact inventory.

Validation: node scripts/check-bitcode-canonical-inputs.mjs --current-target V43; npm --prefix protocol-demonstration test; pnpm --filter @bitcode/protocol test; pnpm --filter @bitcode/protocol typecheck; node scripts/check-v44-gate10-promotion-readiness.mjs --promotion-mode --skip-branch-check --skip-package-tests; node scripts/generate-bitcode-proven.mjs --version V43 --commit "b29e088ba95c33a62247ff4e80b3ca09ff7a6b1c" --worktree-state clean --output BITCODE_SPEC_V43_PROVEN.md --check --allow-dirty; git diff --check.
diff --git a/.bitcode/v43-canon-posture-drift-report.json b/.bitcode/v43-canon-posture-drift-report.json
@@ -4,8 +4,8 @@
   "checkedActiveCanonVersion": "V43",
   "checkedDraftTargetVersion": "V44",
   "pointerVersion": "V43",
-  "proofSourceCommit": "3c7a9f998656635cc28c8b4584ae964ac04154fa",
-  "generatedAt": "2026-05-29T15:19:41-03:00",
+  "proofSourceCommit": "b29e088ba95c33a62247ff4e80b3ca09ff7a6b1c",
+  "generatedAt": "2026-05-31T08:38:40-03:00",
   "generatorId": "bitcode.proven-generator.v1",
   "worktreeState": "clean",
   "passed": true,
diff --git a/.bitcode/v43-canonical-input-report.json b/.bitcode/v43-canonical-input-report.json
@@ -1,8 +1,8 @@
 {
   "reportId": "v43-canonical-input-report",
   "version": "V43",
-  "proofSourceCommit": "3c7a9f998656635cc28c8b4584ae964ac04154fa",
-  "generatedAt": "2026-05-29T15:19:41-03:00",
+  "proofSourceCommit": "b29e088ba95c33a62247ff4e80b3ca09ff7a6b1c",
+  "generatedAt": "2026-05-31T08:38:40-03:00",
   "generatorId": "bitcode.proven-generator.v1",
   "worktreeState": "clean",
   "checkedTargetVersion": "V43",
@@ -14,6 +14,18 @@
   "notesPath": "BITCODE_SPEC_V43_NOTES.md",
   "provenPath": "BITCODE_SPEC_V43_PROVEN.md",
   "parityPath": "BITCODE_SPEC_V43_PARITY_MATRIX.md",
-  "requiredGeneratedArtifactPaths": [],
-  "requiredGeneratedArtifactCount": 0
+  "requiredGeneratedArtifactPaths": [
+    ".bitcode/v43-spec-family-report.json",
+    ".bitcode/v43-canonical-input-report.json",
+    ".bitcode/v43-route-vocabulary-inventory.json",
+    ".bitcode/v43-packs-activity-master-detail.json",
+    ".bitcode/v43-read-route-five-step-ux.json",
+    ".bitcode/v43-deposit-route-options.json",
+    ".bitcode/v43-deposit-policy-compensation.json",
+    ".bitcode/v43-deposit-option-admission.json",
+    ".bitcode/v43-route-ux-product-excellence.json",
+    ".bitcode/v43-cross-route-rehearsal-telemetry-repair.json",
+    ".bitcode/v43-promotion-readiness-report.json"
+  ],
+  "requiredGeneratedArtifactCount": 11
 }
diff --git a/.bitcode/v43-promotion-readiness-report.json b/.bitcode/v43-promotion-readiness-report.json
@@ -4,7 +4,7 @@
   "schemaId": "bitcode.v43.promotionReadinessReport.v1",
   "version": "V43",
   "currentTarget": "V42",
-  "generatedAt": "2026-05-29T15:19:41-03:00",
+  "generatedAt": "2026-05-31T08:38:40-03:00",
   "sourceSafetyVerdict": "source-safe-v43-product-routes-agentic-depositing-promotion-metadata",
   "prePromotionPosture": "V42 active / V43 draft",
   "postPromotionPosture": "V43 active / V44 draft",
@@ -174,7 +174,7 @@
     {
       "relativePath": "scripts/promote-bitcode-canon.mjs",
       "present": true,
-      "digest": "sha256:c249f126efde9b8d3ab5633f49be0f189dc6ad76a235035504bbead1282d2f16",
+      "digest": "sha256:5c7dad86223accfd42a6ac205d471cea228570c070121633925f51a1246452c8",
       "requiredTokens": [
         {
           "token": "if (version === 'V43')",
@@ -197,7 +197,7 @@
     {
       "relativePath": "scripts/prepare-bitcode-spec-family-promotion.mjs",
       "present": true,
-      "digest": "sha256:1568e8251d60b4e7bf408d02afb1fb6b257eef3288465c5e6c474c41dffb59c5",
+      "digest": "sha256:566040782c417639c6d7ac8e073fcf6de56a48b4680f28542f9e1a684a47a259",
       "requiredTokens": [
         {
           "token": "if (version === 'V43')",
@@ -274,7 +274,7 @@
     {
       "relativePath": ".github/workflows/bitcode-gate-quality.yml",
       "present": true,
-      "digest": "sha256:a13e5ee752c88a9da7afa4a69ae7cfe2ec466016d3bbfb22fd913892381b0db6",
+      "digest": "sha256:a6b07a149236a411facd8f36898d7c01848562f4b7f5af420435d31279e96d96",
       "requiredTokens": [
         {
           "token": "check-v43-gate10-promotion-readiness.mjs",
@@ -293,7 +293,7 @@
     {
       "relativePath": ".github/workflows/bitcode-canon-quality.yml",
       "present": true,
-      "digest": "sha256:88bbe4ac9d23a6107216d9cc6347c3fc744a9a11f8f32667bd856ab3fa3c7054",
+      "digest": "sha256:6f265809cffee88a188b61c8ff7571fc9460f6874fe24e9d85798ccb05306ece",
       "requiredTokens": [
         {
           "token": "check-v43-gate10-promotion-readiness.mjs",
@@ -312,7 +312,7 @@
     {
       "relativePath": "packages/protocol/src/canonical/proven-generator.js",
       "present": true,
-      "digest": "sha256:3140ef2da603927ea9879ff7d7414597b16bfff1bf5b0a238e3d2ff1b44a9585",
+      "digest": "sha256:696c9cf25133c4c7dbe088cbd1e654b9bcf99a909f8ef645970e39315a636a10",
       "requiredTokens": [
         {
           "token": "buildV43ProvenPackage",
@@ -350,7 +350,7 @@
     {
       "relativePath": "packages/protocol/src/canonical/v21-specifying.js",
       "present": true,
-      "digest": "sha256:6c4c47b12cd095ab89f2578aa896d8932fc7451e23904d580c9f695240a103a0",
+      "digest": "sha256:a88afc3c8814ffeec07dfebb024448439452b9d7950af3a1f8708c3024905c62",
       "requiredTokens": [
         {
           "token": ".bitcode/v43-promotion-readiness-report.json",
@@ -361,7 +361,7 @@
     {
       "relativePath": "package.json",
       "present": true,
-      "digest": "sha256:a02cfbf6b200910870068e4c4c61ff0cd2be63909174243a5b66a2d4ff22013b",
+      "digest": "sha256:75e2eab494df4827d441b9c8e7ef1294e268ec59d8d018545f489153d4635d77",
       "requiredTokens": [
         {
           "token": "generate:v43-promotion-readiness",
@@ -458,7 +458,7 @@
     {
       "relativePath": "SPECIFICATIONS_ROADMAP.md",
       "present": true,
-      "digest": "sha256:33994a7cf33bb6e3138b932ac582c4de6e2ec8dda24bdf4a7aa6b130bbfda2e4",
+      "digest": "sha256:0651a1ea31db9a4af225b76298ec15d965f0ec6c2b60f8bd2b64760cae7847ac",
       "requiredTokens": [
         {
           "token": "V43 Gate 10 closure anchor",
@@ -473,7 +473,7 @@
     {
       "relativePath": "README.md",
       "present": true,
-      "digest": "sha256:e492ee74bfb581f11a6871481ed0067ecec0b9d29b47f53aa77b53ee96b44fa9",
+      "digest": "sha256:ef6c7b33c7a6a3535012932a7d7544ee774b8d4a907fcfca5ffc22d6b10056c9",
       "requiredTokens": [
         {
           "token": "check:v43-gate10",
@@ -488,7 +488,7 @@
     {
       "relativePath": "packages/protocol/README.md",
       "present": true,
-      "digest": "sha256:0ffe9fdce07c6ccf3e73f47a6da7c5a6e7f2299c4e1a200f79c2f3e009142136",
+      "digest": "sha256:fd232f7266632704b2c20ce731938dfc5db95f175f2a81d1f1ce175f7f7c0556",
       "requiredTokens": [
         {
           "token": "V43 Gate 10",
@@ -551,7 +551,7 @@
   "passed": true,
   "failures": [],
   "validationCommand": "pnpm run check:v43-gate10",
-  "proofSourceCommit": "3c7a9f998656635cc28c8b4584ae964ac04154fa",
+  "proofSourceCommit": "b29e088ba95c33a62247ff4e80b3ca09ff7a6b1c",
   "generatorId": "bitcode.proven-generator.v1",
   "worktreeState": "clean",
   "sourceSafe": true
diff --git a/.bitcode/v43-spec-family-report.json b/.bitcode/v43-spec-family-report.json
@@ -1,8 +1,8 @@
 {
   "reportId": "v43-spec-family-report",
   "version": "V43",
-  "proofSourceCommit": "3c7a9f998656635cc28c8b4584ae964ac04154fa",
-  "generatedAt": "2026-05-29T15:19:41-03:00",
+  "proofSourceCommit": "b29e088ba95c33a62247ff4e80b3ca09ff7a6b1c",
+  "generatedAt": "2026-05-31T08:38:40-03:00",
   "generatorId": "bitcode.proven-generator.v1",
   "worktreeState": "clean",
   "checkedVersion": "V43",
diff --git a/.bitcode/v44-promotion-readiness-report.json b/.bitcode/v44-promotion-readiness-report.json
@@ -349,7 +349,7 @@
     {
       "relativePath": "packages/protocol/src/canonical/v21-specifying.js",
       "present": true,
-      "digest": "sha256:4c85d0891c11ffa2dada6539e6f83b3e2cad53328380d0a45613dd267000dc2d",
+      "digest": "sha256:a88afc3c8814ffeec07dfebb024448439452b9d7950af3a1f8708c3024905c62",
       "requiredTokens": [
         {
           "token": ".bitcode/v44-promotion-readiness-report.json",
diff --git a/BITCODE_SPEC_V43_PROVEN.md b/BITCODE_SPEC_V43_PROVEN.md
@@ -1,11 +1,11 @@
 # Bitcode Spec V43 Proven
 
 - canonicalVersion: `V43`
-- canonicalCommit: `3c7a9f998656635cc28c8b4584ae964ac04154fa`
-- canonicalCommitRecordedAt: `2026-05-29T15:19:41-03:00`
+- canonicalCommit: `b29e088ba95c33a62247ff4e80b3ca09ff7a6b1c`
+- canonicalCommitRecordedAt: `2026-05-31T08:38:40-03:00`
 - worktreeState: `clean`
 - generatorId: `bitcode.proven-generator.v1`
-- generatedAt: `2026-05-29T15:19:41-03:00`
+- generatedAt: `2026-05-31T08:38:40-03:00`
 - outputPath: `BITCODE_SPEC_V43_PROVEN.md`
 - 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`
 - branchModes: `patch`, `context`
@@ -36,13 +36,13 @@
 
 | artifactPath | digest | byteLength |
 | --- | --- | --- |
-| `.bitcode/v19-contract-change-ledger.json` | `sha256:8e1854b4887cd4e44ca89fea4f5b9653aaf8f998f06d59bedb7aa8992982b313` | 3311 |
-| `.bitcode/v19-deterministic-replay-report.json` | `sha256:cfaebb27ab7152d6752f77771de87373a1d03a2cb61aea48e043fda93d27a93f` | 8459 |
-| `.bitcode/v19-negative-proof-mutation-matrix.json` | `sha256:71a0866dd6a31f8ba8488c4ae634deed227e0dcefac111978115bf0626bb0266` | 8085 |
-| `.bitcode/v19-proof-member-semantic-matrix.json` | `sha256:5914a1a339178d1d4611279d96145c34a9fc65a16a3c2ca54fdbc9407fff589e` | 1815750 |
-| `.bitcode/v19-state-machine-matrix.json` | `sha256:d45bba02682d73301deec3c50b03028ed9f2c4d74b4b40bc40d36b2e71f806c7` | 154965 |
-| `.bitcode/v19-theorem-evidence-matrix.json` | `sha256:173f1da5d0ead6322a3fc7e88b6d16e060ee52c659552958c899b19d52db11e0` | 2405676 |
-| `.bitcode/v19-volatility-inventory.json` | `sha256:cd9a744d487e044cd04f7eaa3f0c36aed97cc1cc83680cf9eaa206584c59bc3c` | 6206 |
+| `.bitcode/v19-contract-change-ledger.json` | `sha256:b9a415317d8889f0cf023764acb992444c6b1946993dd2a2d829b96088303765` | 3311 |
+| `.bitcode/v19-deterministic-replay-report.json` | `sha256:ebdbf468e958bc09442a50096665e8c3ebeec6c37d1107141fe105f24c2f37b8` | 8459 |
+| `.bitcode/v19-negative-proof-mutation-matrix.json` | `sha256:bac3d5f1eb4242bdb3b1466e6779e8c70a1790224a192794fe0861c502442c9d` | 8085 |
+| `.bitcode/v19-proof-member-semantic-matrix.json` | `sha256:8825927e3740c4b43588f783084e6621200514482d02306dfb37e591b579938b` | 1815750 |
+| `.bitcode/v19-state-machine-matrix.json` | `sha256:56da5d77243d6647f8f8f6b9ea87bed8ef5a4a410d29288988545a2f8594983c` | 154965 |
+| `.bitcode/v19-theorem-evidence-matrix.json` | `sha256:2249089df01bccb0b97306706530c2573f1401f2ee85b91960ca25765fc9c47c` | 2405676 |
+| `.bitcode/v19-volatility-inventory.json` | `sha256:e0202002370dd8eae150f10502b208c60931d3f45775c8263ce7ba889a4c7c4e` | 6206 |
 
 ### V19 Inherited Positive Matrix Summaries
 
@@ -61,13 +61,13 @@
 
 | artifactPath | firstDigest | secondDigest | byteEqual |
 | --- | --- | --- | --- |
-| `.bitcode/v19-contract-change-ledger.json` | `sha256:8e1854b4887cd4e44ca89fea4f5b9653aaf8f998f06d59bedb7aa8992982b313` | `sha256:8e1854b4887cd4e44ca89fea4f5b9653aaf8f998f06d59bedb7aa8992982b313` | `true` |
-| `.bitcode/v19-negative-proof-mutation-matrix.json` | `sha256:71a0866dd6a31f8ba8488c4ae634deed227e0dcefac111978115bf0626bb0266` | `sha256:71a0866dd6a31f8ba8488c4ae634deed227e0dcefac111978115bf0626bb0266` | `true` |
-| `.bitcode/v19-proof-member-semantic-matrix.json` | `sha256:5914a1a339178d1d4611279d96145c34a9fc65a16a3c2ca54fdbc9407fff589e` | `sha256:5914a1a339178d1d4611279d96145c34a9fc65a16a3c2ca54fdbc9407fff589e` | `true` |
-| `.bitcode/v19-state-machine-matrix.json` | `sha256:d45bba02682d73301deec3c50b03028ed9f2c4d74b4b40bc40d36b2e71f806c7` | `sha256:d45bba02682d73301deec3c50b03028ed9f2c4d74b4b40bc40d36b2e71f806c7` | `true` |
-| `.bitcode/v19-theorem-evidence-matrix.json` | `sha256:173f1da5d0ead6322a3fc7e88b6d16e060ee52c659552958c899b19d52db11e0` | `sha256:173f1da5d0ead6322a3fc7e88b6d16e060ee52c659552958c899b19d52db11e0` | `true` |
-| `.bitcode/v19-volatility-inventory.json` | `sha256:cd9a744d487e044cd04f7eaa3f0c36aed97cc1cc83680cf9eaa206584c59bc3c` | `sha256:cd9a744d487e044cd04f7eaa3f0c36aed97cc1cc83680cf9eaa206584c59bc3c` | `true` |
-| `_legacy/ENGI_SPEC_V19_PROVEN.md` | `sha256:584dcab2c210d564b9e0ec887dad7a751f8bbaa214bff2ddb6858c60992e59d7` | `sha256:584dcab2c210d564b9e0ec887dad7a751f8bbaa214bff2ddb6858c60992e59d7` | `true` |
+| `.bitcode/v19-contract-change-ledger.json` | `sha256:b9a415317d8889f0cf023764acb992444c6b1946993dd2a2d829b96088303765` | `sha256:b9a415317d8889f0cf023764acb992444c6b1946993dd2a2d829b96088303765` | `true` |
+| `.bitcode/v19-negative-proof-mutation-matrix.json` | `sha256:bac3d5f1eb4242bdb3b1466e6779e8c70a1790224a192794fe0861c502442c9d` | `sha256:bac3d5f1eb4242bdb3b1466e6779e8c70a1790224a192794fe0861c502442c9d` | `true` |
+| `.bitcode/v19-proof-member-semantic-matrix.json` | `sha256:8825927e3740c4b43588f783084e6621200514482d02306dfb37e591b579938b` | `sha256:8825927e3740c4b43588f783084e6621200514482d02306dfb37e591b579938b` | `true` |
+| `.bitcode/v19-state-machine-matrix.json` | `sha256:56da5d77243d6647f8f8f6b9ea87bed8ef5a4a410d29288988545a2f8594983c` | `sha256:56da5d77243d6647f8f8f6b9ea87bed8ef5a4a410d29288988545a2f8594983c` | `true` |
+| `.bitcode/v19-theorem-evidence-matrix.json` | `sha256:2249089df01bccb0b97306706530c2573f1401f2ee85b91960ca25765fc9c47c` | `sha256:2249089df01bccb0b97306706530c2573f1401f2ee85b91960ca25765fc9c47c` | `true` |
+| `.bitcode/v19-volatility-inventory.json` | `sha256:e0202002370dd8eae150f10502b208c60931d3f45775c8263ce7ba889a4c7c4e` | `sha256:e0202002370dd8eae150f10502b208c60931d3f45775c8263ce7ba889a4c7c4e` | `true` |
+| `_legacy/ENGI_SPEC_V19_PROVEN.md` | `sha256:ee615a3435bd615df72bfd9b1a0ca940348863c3ee8497cdbfab090ceee2a0d5` | `sha256:ee615a3435bd615df72bfd9b1a0ca940348863c3ee8497cdbfab090ceee2a0d5` | `true` |
 
 ### V19 Volatility Inventory
 
@@ -144,23 +144,23 @@
 
 | artifactPath | digest | byteLength |
 | --- | --- | --- |
-| `.bitcode/v43-canon-posture-drift-report.json` | `sha256:c477e68b55c8a6ba6a75bf31db9559b0cf156e4b54b80497279aeb04962007fe` | 2809 |
-| `.bitcode/v43-canonical-input-report.json` | `sha256:6eb795a19901060e09a9a35af9270252f15bf7ae66fbf5b2514ebedb59bb9da2` | 632 |
-| `.bitcode/v43-promotion-readiness-report.json` | `sha256:2dd174033874ab6b11291231d3f282e250fd07b76ea664409049051c9f96ff51` | 18023 |
-| `.bitcode/v43-spec-family-report.json` | `sha256:c6b43e987fe531db7da45d1c50a4d6f68dd5030e0f4d56db33911664bed0c179` | 1010 |
+| `.bitcode/v43-canon-posture-drift-report.json` | `sha256:3bc8873f93fcb21309dc5f85bcecf72502145630c233f3b3d3451e588ffb72c1` | 2809 |
+| `.bitcode/v43-canonical-input-report.json` | `sha256:4023e4b555d3fc868b59c2c474d53f7551069dd455590458320a3fe02466e36d` | 1201 |
+| `.bitcode/v43-promotion-readiness-report.json` | `sha256:0228ca701e04c6b4ff2e6ca06a156065d9278e64dd25461ae710f2c7fc7a4378` | 18023 |
+| `.bitcode/v43-spec-family-report.json` | `sha256:85c323f8e6f263777deff91a81d7802c8c2034495fac92a36ab774d653ff5396` | 1010 |
 
 ## V20 Operator Quality Reports
 
 ### V20 Generated Quality Artifact Inventory
 
 | artifactPath | digest | byteLength |
 | --- | --- | --- |
-| `.bitcode/v20-accessibility-report.json` | `sha256:e3715bc43f2387f1561ff733be58f72a4c8380a6bc636b6778d9ada2344245b0` | 8210 |
-| `.bitcode/v20-operator-acceptance-transcript.json` | `sha256:29eebe53d0235110855527c5cbd6aa9c8152692ac00b97ba036953ab9b91daad` | 10913 |
-| `.bitcode/v20-performance-budget-report.json` | `sha256:2023750243c186804191642e9afc4b66a54d295d6a47e1dbdd9d6266262f9119` | 5038 |
-| `.bitcode/v20-projection-quality-smoke-matrix.json` | `sha256:87ebe3e23c0b398050a80a37496ebc03763ae6eef7e7bf022eb44aabfc6fbab1` | 4935 |
-| `.bitcode/v20-quality-summary.json` | `sha256:76de10a9e0d8f633d0777c6e05389310f5a54238b8bedb353c625a0484c6967a` | 4464 |
-| `.bitcode/v20-visual-regression-report.json` | `sha256:5b990df2fc7f18f966d375d5ed5ca00758075dd2b997d59eaa7bc198be5c2a9d` | 19369 |
+| `.bitcode/v20-accessibility-report.json` | `sha256:14d6ad8d4ec370dab9e8b21e6a0e900fa42c9e1da35987bf13b7b6cb57f26c2e` | 8210 |
+| `.bitcode/v20-operator-acceptance-transcript.json` | `sha256:0682ba53bc1fc588c628bfa0748123b38c85c34d29cf77323b3cad0ff22c7eb2` | 10913 |
+| `.bitcode/v20-performance-budget-report.json` | `sha256:d57882a14b4e563b1b5e9e7b7654ff2a42de20fbd68b6ef4a0ceef79a6374230` | 5038 |
+| `.bitcode/v20-projection-quality-smoke-matrix.json` | `sha256:4aa2daec11d55c53df99eb3aec3bc9b86109fdf52100b41f0b62047dae0307b9` | 4935 |
+| `.bitcode/v20-quality-summary.json` | `sha256:89ebcae81e1b7e2dea6bf5241caf250633dd76b2cdd73c727a6b3b3e19e34526` | 4464 |
+| `.bitcode/v20-visual-regression-report.json` | `sha256:b1f10976596ca3a907e960b1fcb60ec8636cd31c4fd90f4a5b6c4400bacb40cd` | 19369 |
 
 ### V20 Quality Summary
 
diff --git a/packages/protocol/src/canonical/v21-specifying.js b/packages/protocol/src/canonical/v21-specifying.js
@@ -1624,6 +1624,12 @@ function buildRequiredCanonicalArtifacts(repoRoot, currentTarget) {
   if (currentTarget === 'V42') {
     artifacts.push(...buildV21LikeProfile('V42').requiredGeneratedArtifactPaths);
   }
+  if (currentTarget === 'V43') {
+    artifacts.push(...buildV21LikeProfile('V43').requiredGeneratedArtifactPaths);
+  }
+  if (currentTarget === 'V44') {
+    artifacts.push(...buildV21LikeProfile('V44').requiredGeneratedArtifactPaths);
+  }
   return artifacts.map((relativePath) => path.join(repoRoot, relativePath));
 }
 
diff --git a/protocol-demonstration/test/v21-specifying.test.js b/protocol-demonstration/test/v21-specifying.test.js
@@ -30,6 +30,8 @@ function expectedActiveCanonicalInputArtifactCount(version) {
     V40: 12,
     V41: 10,
     V42: 10,
+    V43: 11,
+    V44: 11,
   };
   if (Object.hasOwn(expectedCountsByVersion, version)) {
     return expectedCountsByVersion[version];

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@`
`4`	`4`	`"schemaId": "bitcode.v43.promotionReadinessReport.v1",`
`5`	`5`	`"version": "V43",`
`6`	`6`	`"currentTarget": "V42",`
`7`		`- "generatedAt": "2026-05-29T15:19:41-03:00",`
	`7`	`+ "generatedAt": "2026-05-31T08:38:40-03:00",`
`8`	`8`	`"sourceSafetyVerdict": "source-safe-v43-product-routes-agentic-depositing-promotion-metadata",`
`9`	`9`	`"prePromotionPosture": "V42 active / V43 draft",`
`10`	`10`	`"postPromotionPosture": "V43 active / V44 draft",`
`@@ -174,7 +174,7 @@`
`174`	`174`	`{`
`175`	`175`	`"relativePath": "scripts/promote-bitcode-canon.mjs",`
`176`	`176`	`"present": true,`
`177`		`- "digest": "sha256:c249f126efde9b8d3ab5633f49be0f189dc6ad76a235035504bbead1282d2f16",`
	`177`	`+ "digest": "sha256:5c7dad86223accfd42a6ac205d471cea228570c070121633925f51a1246452c8",`
`178`	`178`	`"requiredTokens": [`
`179`	`179`	`{`
`180`	`180`	`"token": "if (version === 'V43')",`
`@@ -197,7 +197,7 @@`
`197`	`197`	`{`
`198`	`198`	`"relativePath": "scripts/prepare-bitcode-spec-family-promotion.mjs",`
`199`	`199`	`"present": true,`
`200`		`- "digest": "sha256:1568e8251d60b4e7bf408d02afb1fb6b257eef3288465c5e6c474c41dffb59c5",`
	`200`	`+ "digest": "sha256:566040782c417639c6d7ac8e073fcf6de56a48b4680f28542f9e1a684a47a259",`
`201`	`201`	`"requiredTokens": [`
`202`	`202`	`{`
`203`	`203`	`"token": "if (version === 'V43')",`
`@@ -274,7 +274,7 @@`
`274`	`274`	`{`
`275`	`275`	`"relativePath": ".github/workflows/bitcode-gate-quality.yml",`
`276`	`276`	`"present": true,`
`277`		`- "digest": "sha256:a13e5ee752c88a9da7afa4a69ae7cfe2ec466016d3bbfb22fd913892381b0db6",`
	`277`	`+ "digest": "sha256:a6b07a149236a411facd8f36898d7c01848562f4b7f5af420435d31279e96d96",`
`278`	`278`	`"requiredTokens": [`
`279`	`279`	`{`
`280`	`280`	`"token": "check-v43-gate10-promotion-readiness.mjs",`
`@@ -293,7 +293,7 @@`
`293`	`293`	`{`
`294`	`294`	`"relativePath": ".github/workflows/bitcode-canon-quality.yml",`
`295`	`295`	`"present": true,`
`296`		`- "digest": "sha256:88bbe4ac9d23a6107216d9cc6347c3fc744a9a11f8f32667bd856ab3fa3c7054",`
	`296`	`+ "digest": "sha256:6f265809cffee88a188b61c8ff7571fc9460f6874fe24e9d85798ccb05306ece",`
`297`	`297`	`"requiredTokens": [`
`298`	`298`	`{`
`299`	`299`	`"token": "check-v43-gate10-promotion-readiness.mjs",`
`@@ -312,7 +312,7 @@`
`312`	`312`	`{`
`313`	`313`	`"relativePath": "packages/protocol/src/canonical/proven-generator.js",`
`314`	`314`	`"present": true,`
`315`		`- "digest": "sha256:3140ef2da603927ea9879ff7d7414597b16bfff1bf5b0a238e3d2ff1b44a9585",`
	`315`	`+ "digest": "sha256:696c9cf25133c4c7dbe088cbd1e654b9bcf99a909f8ef645970e39315a636a10",`
`316`	`316`	`"requiredTokens": [`
`317`	`317`	`{`
`318`	`318`	`"token": "buildV43ProvenPackage",`
`@@ -350,7 +350,7 @@`
`350`	`350`	`{`
`351`	`351`	`"relativePath": "packages/protocol/src/canonical/v21-specifying.js",`
`352`	`352`	`"present": true,`
`353`		`- "digest": "sha256:6c4c47b12cd095ab89f2578aa896d8932fc7451e23904d580c9f695240a103a0",`
	`353`	`+ "digest": "sha256:a88afc3c8814ffeec07dfebb024448439452b9d7950af3a1f8708c3024905c62",`
`354`	`354`	`"requiredTokens": [`
`355`	`355`	`{`
`356`	`356`	`"token": ".bitcode/v43-promotion-readiness-report.json",`
`@@ -361,7 +361,7 @@`
`361`	`361`	`{`
`362`	`362`	`"relativePath": "package.json",`
`363`	`363`	`"present": true,`
`364`		`- "digest": "sha256:a02cfbf6b200910870068e4c4c61ff0cd2be63909174243a5b66a2d4ff22013b",`
	`364`	`+ "digest": "sha256:75e2eab494df4827d441b9c8e7ef1294e268ec59d8d018545f489153d4635d77",`
`365`	`365`	`"requiredTokens": [`
`366`	`366`	`{`
`367`	`367`	`"token": "generate:v43-promotion-readiness",`
`@@ -458,7 +458,7 @@`
`458`	`458`	`{`
`459`	`459`	`"relativePath": "SPECIFICATIONS_ROADMAP.md",`
`460`	`460`	`"present": true,`
`461`		`- "digest": "sha256:33994a7cf33bb6e3138b932ac582c4de6e2ec8dda24bdf4a7aa6b130bbfda2e4",`
	`461`	`+ "digest": "sha256:0651a1ea31db9a4af225b76298ec15d965f0ec6c2b60f8bd2b64760cae7847ac",`
`462`	`462`	`"requiredTokens": [`
`463`	`463`	`{`
`464`	`464`	`"token": "V43 Gate 10 closure anchor",`
`@@ -473,7 +473,7 @@`
`473`	`473`	`{`
`474`	`474`	`"relativePath": "README.md",`
`475`	`475`	`"present": true,`
`476`		`- "digest": "sha256:e492ee74bfb581f11a6871481ed0067ecec0b9d29b47f53aa77b53ee96b44fa9",`
	`476`	`+ "digest": "sha256:ef6c7b33c7a6a3535012932a7d7544ee774b8d4a907fcfca5ffc22d6b10056c9",`
`477`	`477`	`"requiredTokens": [`
`478`	`478`	`{`
`479`	`479`	`"token": "check:v43-gate10",`
`@@ -488,7 +488,7 @@`
`488`	`488`	`{`
`489`	`489`	`"relativePath": "packages/protocol/README.md",`
`490`	`490`	`"present": true,`
`491`		`- "digest": "sha256:0ffe9fdce07c6ccf3e73f47a6da7c5a6e7f2299c4e1a200f79c2f3e009142136",`
	`491`	`+ "digest": "sha256:fd232f7266632704b2c20ce731938dfc5db95f175f2a81d1f1ce175f7f7c0556",`
`492`	`492`	`"requiredTokens": [`
`493`	`493`	`{`
`494`	`494`	`"token": "V43 Gate 10",`
`@@ -551,7 +551,7 @@`
`551`	`551`	`"passed": true,`
`552`	`552`	`"failures": [],`
`553`	`553`	`"validationCommand": "pnpm run check:v43-gate10",`
`554`		`- "proofSourceCommit": "3c7a9f998656635cc28c8b4584ae964ac04154fa",`
	`554`	`+ "proofSourceCommit": "b29e088ba95c33a62247ff4e80b3ca09ff7a6b1c",`
`555`	`555`	`"generatorId": "bitcode.proven-generator.v1",`
`556`	`556`	`"worktreeState": "clean",`
`557`	`557`	`"sourceSafe": true`
Original file line number	Diff line number	Diff line change
`@@ -349,7 +349,7 @@`
`349`	`349`	`{`
`350`	`350`	`"relativePath": "packages/protocol/src/canonical/v21-specifying.js",`
`351`	`351`	`"present": true,`
`352`		`- "digest": "sha256:4c85d0891c11ffa2dada6539e6f83b3e2cad53328380d0a45613dd267000dc2d",`
	`352`	`+ "digest": "sha256:a88afc3c8814ffeec07dfebb024448439452b9d7950af3a1f8708c3024905c62",`
`353`	`353`	`"requiredTokens": [`
`354`	`354`	`{`
`355`	`355`	`"token": ".bitcode/v44-promotion-readiness-report.json",`
Original file line number	Diff line number	Diff line change
`@@ -1624,6 +1624,12 @@ function buildRequiredCanonicalArtifacts(repoRoot, currentTarget) {`
`1624`	`1624`	`if (currentTarget === 'V42') {`
`1625`	`1625`	`artifacts.push(...buildV21LikeProfile('V42').requiredGeneratedArtifactPaths);`
`1626`	`1626`	`}`
	`1627`	`+ if (currentTarget === 'V43') {`
	`1628`	`+ artifacts.push(...buildV21LikeProfile('V43').requiredGeneratedArtifactPaths);`
	`1629`	`+ }`
	`1630`	`+ if (currentTarget === 'V44') {`
	`1631`	`+ artifacts.push(...buildV21LikeProfile('V44').requiredGeneratedArtifactPaths);`
	`1632`	`+ }`
`1627`	`1633`	`return artifacts.map((relativePath) => path.join(repoRoot, relativePath));`
`1628`	`1634`	`}`
`1629`	`1635`