V42 Gate 1: Preserve promoted canon proof compatibility

Teach V40 and V41 protocol proof predicates to accept the promoted V41 / draft V42 roadmap posture while preserving their original closure-anchor checks.

Extend the protocol package boundary test to recognize the current V41 active canon and V42 draft target.

Author: geraldarthurdavis

packages/protocol/src/canonical/v40-api-integration-contracts.js

@@ -365,7 +365,12 @@ function buildPredicateResults(repoRoot) {
     predicateResult('notes-document-gate4', 'BITCODE_SPEC_V40_NOTES.md', notes.includes('Gate 4 implementation notes') && notes.includes('API route integration contracts')),
     predicateResult('parity-documents-gate4', 'BITCODE_SPEC_V40_PARITY_MATRIX.md', parity.includes('v40-api-integration-contracts') && parity.includes('| Gate 4 | API/route integration artifact | implemented |')),
     predicateResult('roadmap-advanced-through-gate4', 'SPECIFICATIONS_ROADMAP.md', roadmap.includes('V40 Gate 4 closure anchor')),
-    predicateResult('roadmap-documents-v41-prompt-programs', 'SPECIFICATIONS_ROADMAP.md', roadmap.includes('V41 should focus singularly on Prompt and PromptPart implementation') && roadmap.includes('meaningfully benchmarkable semantic parts')),
+    predicateResult(
+      'roadmap-documents-v41-prompt-programs',
+      'SPECIFICATIONS_ROADMAP.md',
+      roadmap.includes('| V41 | `BITCODE_SPEC_V41.md` | active canon | Prompt and PromptPart excellence') &&
+        roadmap.includes('meaningfully benchmarkable semantic parts'),
+    ),
     ...rowPredicates,
   ];
 }

packages/protocol/src/canonical/v40-browser-e2e-visual-proof.js

@@ -495,7 +495,14 @@ function buildPredicateResults(repoRoot) {
     predicateResult('delta-documents-gate7', 'BITCODE_SPEC_V40_DELTA.md', delta.includes('Gate 7 closes with package-backed `V40BrowserE2eVisualProof`')),
     predicateResult('notes-document-gate7', 'BITCODE_SPEC_V40_NOTES.md', notes.includes('Gate 7 implementation notes') && notes.includes('browser E2E, visual, accessibility, and responsive proof')),
     predicateResult('parity-documents-gate7', 'BITCODE_SPEC_V40_PARITY_MATRIX.md', parity.includes('v40-browser-e2e-visual-proof') && parity.includes('| Gate 7 | Browser/visual/accessibility/responsive artifact | implemented |')),
-    predicateResult('roadmap-advanced-through-gate7', 'SPECIFICATIONS_ROADMAP.md', (/Current working gate: V40 Gate (?:7|8|9|10|11)\b/u.test(roadmap) || roadmap.includes('Latest closed version: V40')) && roadmap.includes('V40 Gate 7 closure anchor')),
+    predicateResult(
+      'roadmap-advanced-through-gate7',
+      'SPECIFICATIONS_ROADMAP.md',
+      (/Current working gate: V40 Gate (?:7|8|9|10|11)\b/u.test(roadmap) ||
+        roadmap.includes('Latest closed version: V40') ||
+        roadmap.includes('Recent V40 closure anchor')) &&
+        roadmap.includes('V40 Gate 7 closure anchor'),
+    ),
     predicateResult('readmes-document-gate7', 'README.md', rootReadme.includes('V40 Gate 7') && protocolReadme.includes('V40BrowserE2eVisualProof')),
     ...rowPredicates,
   ];

packages/protocol/src/canonical/v40-conversation-terminal-integration.js

@@ -479,7 +479,12 @@ function buildPredicateResults(repoRoot) {
           roadmap.includes('Recent V40 closure anchor')),
     ),
     predicateResult('readmes-document-gate6', 'README.md', rootReadme.includes('V40 Gate 6') && protocolReadme.includes('V40ConversationTerminalIntegration')),
-    predicateResult('roadmap-preserves-v41-prompt-programs', 'SPECIFICATIONS_ROADMAP.md', roadmap.includes('V41 should focus singularly on Prompt and PromptPart implementation') && roadmap.includes('prompts as programs')),
+    predicateResult(
+      'roadmap-preserves-v41-prompt-programs',
+      'SPECIFICATIONS_ROADMAP.md',
+      roadmap.includes('| V41 | `BITCODE_SPEC_V41.md` | active canon | Prompt and PromptPart excellence') &&
+        roadmap.includes('prompts as programs'),
+    ),
     ...rowPredicates,
   ];
 }

packages/protocol/src/canonical/v40-reading-pipeline-integration-coverage.js

@@ -497,7 +497,12 @@ function buildPredicateResults(repoRoot) {
           roadmap.includes('Latest closed version: V40 Exhaustive Commercial Application Testing') ||
           roadmap.includes('Recent V40 closure anchor')),
     ),
-    predicateResult('roadmap-preserves-v41-prompt-programs', 'SPECIFICATIONS_ROADMAP.md', roadmap.includes('V41 should focus singularly on Prompt and PromptPart implementation') && roadmap.includes('prompts as programs')),
+    predicateResult(
+      'roadmap-preserves-v41-prompt-programs',
+      'SPECIFICATIONS_ROADMAP.md',
+      roadmap.includes('| V41 | `BITCODE_SPEC_V41.md` | active canon | Prompt and PromptPart excellence') &&
+        roadmap.includes('prompts as programs'),
+    ),
     ...rowPredicates,
   ];
 }

packages/protocol/src/canonical/v41-conversation-tool-interface-prompt-rewrite.js

@@ -866,9 +866,11 @@ function buildPredicateResults(repoRoot) {
       'conversation-tool-interface-tests-docs-workflows',
       SOURCE_ROOTS.roadmap,
       roadmap.includes('V41 Gate 7 closure anchor') &&
-        /Current working gate: V41 Gate (?:7|8|9)/u.test(roadmap) &&
-        (/Next queued gate after V41 Gate (?:7|8): V41 (?:Prompt Benchmark Report And Telemetry Integration|Promotion Readiness)/u.test(roadmap) ||
-          /V41 Gate 9 closure anchor/u.test(roadmap)),
+        ((/Current working gate: V41 Gate (?:7|8|9)/u.test(roadmap) &&
+          (/Next queued gate after V41 Gate (?:7|8): V41 (?:Prompt Benchmark Report And Telemetry Integration|Promotion Readiness)/u.test(roadmap) ||
+            /V41 Gate 9 closure anchor/u.test(roadmap))) ||
+          /Latest closed version: V41 Prompt And PromptPart Excellence/u.test(roadmap) ||
+          /Recent V41 closure anchor/u.test(roadmap)),
     ),
     predicate(
       'readmes-document-gate7-helpers',

packages/protocol/src/canonical/v41-prompt-program-benchmark-report.js

@@ -831,8 +831,10 @@ function buildPredicateResults(repoRoot, context) {
       'gate8-tests-docs-workflows',
       SOURCE_ROOTS.roadmap,
       roadmap.includes('V41 Gate 8 closure anchor')
-        && /Current working gate: V41 Gate (?:8|9)/u.test(roadmap)
-        && (roadmap.includes('Next queued gate after V41 Gate 8') || roadmap.includes('V41 Gate 9 closure anchor')),
+        && ((/Current working gate: V41 Gate (?:8|9)/u.test(roadmap)
+          && (roadmap.includes('Next queued gate after V41 Gate 8') || roadmap.includes('V41 Gate 9 closure anchor')))
+          || /Latest closed version: V41 Prompt And PromptPart Excellence/u.test(roadmap)
+          || /Recent V41 closure anchor/u.test(roadmap)),
     ),
     predicate(
       'readmes-document-gate8-helpers',

packages/protocol/src/canonical/v41-readfitsfinding-prompt-hardening.js

@@ -578,7 +578,9 @@ function predicatesForRow(repoRoot, rowData) {
         'docs.current-gate-6',
         rowId,
         SOURCE_ROOTS.roadmap,
-        /Current working gate: V41 Gate (?:6|7|8|9)/u.test(source),
+        /Current working gate: V41 Gate (?:6|7|8|9)/u.test(source) ||
+          /Latest closed version: V41 Prompt And PromptPart Excellence/u.test(source) ||
+          /Recent V41 closure anchor/u.test(source),
       ),
       predicate(
         'docs.next-gate-7',

packages/protocol/test/protocol-package-boundary.test.js

@@ -60,6 +60,7 @@ test('@bitcode/protocol commercial formalization exports package-native canon he
     V38: { activeCanon: 'V38', draftTarget: 'V39' },
     V39: { activeCanon: 'V39', draftTarget: 'V40' },
     V40: { activeCanon: 'V40', draftTarget: 'V41' },
+    V41: { activeCanon: 'V41', draftTarget: 'V42' },
   };
   const expectedPosture = expectedPostureByPointer[pointer];