V40 Gate 2: Add test inventory coverage matrix

Adds the package-backed V40 test inventory coverage matrix, deterministic generated artifact, generator and gate check scripts, protocol exports, focused package tests, workflow wiring, and spec/roadmap documentation for Gate 2 closure. Preserves the V41 prompts-as-programs boundary while advancing V40 to Gate 3.

Author: geraldarthurdavis

.bitcode/v40-test-inventory-coverage-matrix.json

@@ -223,6 +223,9 @@ jobs:
             if [ -f BITCODE_SPEC_V40.md ]; then
               node scripts/check-bitcode-spec-family.mjs --version V40 --mode draft --current-target V39
               node scripts/check-v40-gate1-testing-roadmap-opening.mjs --skip-branch-check
+              if [ -f scripts/check-v40-gate2-test-inventory-coverage-matrix.mjs ]; then
+                node scripts/check-v40-gate2-test-inventory-coverage-matrix.mjs --skip-branch-check --skip-package-tests
+              fi
             fi
           else
             echo "Unexpected BITCODE_SPEC.txt pointer: $POINTER" >&2

.github/workflows/bitcode-canon-quality.yml

@@ -352,6 +352,9 @@ jobs:
             if [ -f BITCODE_SPEC_V40.md ]; then
               node scripts/check-bitcode-spec-family.mjs --version V40 --mode draft --current-target V39
               node scripts/check-v40-gate1-testing-roadmap-opening.mjs --skip-branch-check
+              if [ -f scripts/check-v40-gate2-test-inventory-coverage-matrix.mjs ]; then
+                node scripts/check-v40-gate2-test-inventory-coverage-matrix.mjs --skip-branch-check --skip-package-tests
+              fi
             fi
           else
             echo "Unexpected BITCODE_SPEC.txt pointer: $POINTER" >&2

.github/workflows/bitcode-gate-quality.yml

@@ -9,7 +9,7 @@
 - Prior canonical anchor: `BITCODE_SPEC_V39.md`
 - Prior generated proof appendix: `BITCODE_SPEC_V39_PROVEN.md`
 - Active canonical pointer during draft opening: `BITCODE_SPEC.txt` -> `V39`
-- Generated structured artifact inventory: draft `.bitcode/v40-spec-family-report.json` and `.bitcode/v40-canonical-input-report.json` plus later V40 gate artifacts for E2E, visual, integration, unit, proof, and promotion readiness coverage
+- Generated structured artifact inventory: draft `.bitcode/v40-spec-family-report.json`, `.bitcode/v40-canonical-input-report.json`, `.bitcode/v40-test-inventory-coverage-matrix.json`, plus later V40 gate artifacts for E2E, visual, integration, unit, proof, and promotion readiness coverage
 - Source parity state: V40 opens testing-system specification over active V39; package, API, pipeline, conversation, Terminal, Auxillaries, Exchange, interface, ledger/database/storage, and demonstration tests remain to be hardened gate by gate
 - Notes companion: `BITCODE_SPEC_V40_NOTES.md`
 - Delta companion: `BITCODE_SPEC_V40_DELTA.md`
@@ -99,6 +99,13 @@ Testing domain objects add scenario matrices, fixture manifests, replay transcri
 The V40 operator chain is: author a scenario, seed source-safe fixtures, run unit tests, run integration tests, run browser and visual tests, run route/API tests, run pipeline and conversation tests, run ledger/database/storage synchronization tests, run local/staging rehearsal, inspect generated artifacts, repair failures, and only then promote canon.
 Every chain step must produce a deterministic or explicitly lane-bound receipt.
 
+## V40 Gate 2 Test Inventory And Coverage Matrix
+
+Gate 2 makes the testing scope auditable before V40 closes deeper test implementation.
+The package-owned `V40TestInventoryCoverageMatrix` emits `.bitcode/v40-test-inventory-coverage-matrix.json` with ten source-safe surfaces: unit coverage, API and route integration, Reading pipeline integration, Conversation and Terminal integration, browser/visual/accessibility/responsive proof, ledger/database/storage/wallet/delivery synchronization, local/staging rehearsal, prompt benchmark smoke, demonstration parity, and gate/canon promotion quality.
+Rows record owners, commands, source roots, generated artifact targets, coverage tier, and the later V40 gate responsible for closure.
+The artifact may name test paths, command ids, and source-safe metadata, but must not include secrets, protected source, raw protected prompts, raw provider responses, wallet private material, or unpaid AssetPack source.
+
 ## V40 canonical subsystem surfaces
 
 ### Depositing and asset supply
@@ -357,6 +364,7 @@ V40 inherits operator-quality artifact expectations for readable proof and repai
 | --- | --- | --- |
 | `.bitcode/v40-spec-family-report.json` | protocol canonical package | draft spec family validation |
 | `.bitcode/v40-canonical-input-report.json` | protocol canonical package | draft canonical input accounting |
+| `.bitcode/v40-test-inventory-coverage-matrix.json` | protocol canonical package | Gate 2 source-safe test inventory and coverage matrix |
 | `.bitcode/v40-promotion-readiness-report.json` | future V40 promotion gate | promotion readiness |
 
 ### V40 specifying generated artifacts

BITCODE_SPEC_V40.md

@@ -33,6 +33,7 @@ Open the V40 spec family, roadmap, branch posture, workflow posture, checker, an
 ### Gate 2: Test Inventory And Coverage Matrix
 
 Inventory existing tests, missing critical surfaces, owners, commands, fixtures, and generated artifacts.
+Gate 2 closes with package-backed `V40TestInventoryCoverageMatrix`, deterministic `.bitcode/v40-test-inventory-coverage-matrix.json`, protocol exports, source-safe rows for every planned V40 testing surface, and `check:v40-gate2`.
 
 ### Gate 3: Unit Coverage For Packages And Primitives
 

BITCODE_SPEC_V40_DELTA.md

@@ -43,6 +43,9 @@ V40 must cover:
 
 V41 should focus on Prompt and PromptPart implementation.
 Every raw PromptPart and composed Prompt should be examined, benchmarked, semantically repartitioned where useful, retitled where useful, rewritten where benchmark evidence supports it, catalogued, and tied to inference callsites.
+V41 treats prompts as programs: every prompt part, composition, interpolation binding, registry edge, benchmark fixture, and inference consumer must be precise enough to review, test, compare, and improve deliberately.
+The primary V41 hardening surface is the Reading inference system, including `ReadNeedComprehensionSynthesis` and `ReadFitsFindingSynthesis`; conversational interactions and other inference points must receive the same prompt-catalogue treatment after the Reading spine is accounted.
+V38's inference correctness hardening provides the call-stack scaffolding, and V40's benchmark/test work provides the measurement base that makes V41 prompt rewrites auditable instead of stylistic.
 V40 should make those benchmarks runnable and trustworthy, not consume the prompt-rewrite scope.
 
 ## Candidate V40 workstreams
@@ -58,3 +61,9 @@ V40 should make those benchmarks runnable and trustworthy, not consume the promp
 - Gate 9 closes local and staging-testnet rehearsals.
 - Gate 10 closes prompt benchmark smoke and V41 readiness.
 - Gate 11 closes promotion readiness.
+
+## Gate 2 implementation notes
+
+Gate 2 is closed by `V40TestInventoryCoverageMatrix`.
+Its generated `.bitcode/v40-test-inventory-coverage-matrix.json` artifact names every major V40 testing surface, owner gate, source roots, command ids, generated artifact target, coverage tier, and missing-coverage closure gate.
+This is an inventory and planning proof, not a substitute for the later Gate 3 through Gate 10 implementations.

BITCODE_SPEC_V40_NOTES.md

@@ -42,7 +42,7 @@ This matrix records the V40 testing surfaces that must become promotion-grade be
 | Area | Closure requirement | Judgment |
 | --- | --- | --- |
 | Gate 1 | Open V40 family and check script | drafted |
-| Gate 2 | Test inventory artifact and coverage matrix | not yet implemented |
+| Gate 2 | Test inventory artifact and coverage matrix | implemented |
 | Gate 3 | Unit coverage closure artifact | not yet implemented |
 | Gate 4 | API/route integration artifact | not yet implemented |
 | Gate 5 | Reading pipeline integration artifact | not yet implemented |
@@ -53,6 +53,8 @@ This matrix records the V40 testing surfaces that must become promotion-grade be
 | Gate 10 | Prompt benchmark smoke and V41 readiness artifact | not yet implemented |
 | Gate 11 | Promotion readiness artifact and workflow | not yet implemented |
 
+Gate 2 implementation evidence: package-backed `V40TestInventoryCoverageMatrix` emits `.bitcode/v40-test-inventory-coverage-matrix.json` and is wired through `check:v40-gate2`.
+
 ## V40 accepted boundaries
 
 V40 may refactor test architecture, fixtures, generated artifacts, workflows, and documentation to make commercial quality greenable.

BITCODE_SPEC_V40_PARITY_MATRIX.md

@@ -524,6 +524,12 @@ is wired through `pnpm run check:v39-gate9` and its generated
 For V40, Gate 1 opens `version/v40` and the gate-quality posture through
 `pnpm run check:v40-gate1` before later gates add generated exhaustive testing
 artifacts and the V40 promotion workflow.
+V40 Gate 2 adds the package-backed `V40TestInventoryCoverageMatrix`, generated
+`.bitcode/v40-test-inventory-coverage-matrix.json`, and `check:v40-gate2` to
+inventory unit, API/route, Reading pipeline, Conversation/Terminal,
+browser/visual/accessibility/responsive, ledger/database/storage/wallet/delivery,
+local/staging, prompt benchmark smoke, demonstration, and CI/promotion testing
+surfaces before deeper V40 gates close their implementations.
 V38 Gates 1 through 11 are wired through `pnpm run check:v38-gate1`,
 `pnpm run check:v38-gate2`, `pnpm run check:v38-gate3`,
 `pnpm run check:v38-gate4`, `pnpm run check:v38-gate5`,

README.md

@@ -5,15 +5,16 @@
 - Current active canonical pointer: `BITCODE_SPEC.txt` -> `V39`
 - Current active canon: `BITCODE_SPEC_V39.md`
 - Current draft target: `BITCODE_SPEC_V40.md`.
-- Current working gate: V40 Gate 1 Exhaustive Testing Roadmap And Spec Opening.
-- Next queued gate after V40 Gate 1 closure: V40 Gate 2 Test Inventory And Coverage Matrix.
+- Current working gate: V40 Gate 2 Test Inventory And Coverage Matrix.
+- Next queued gate after V40 Gate 2 closure: V40 Gate 3 Unit Coverage For Packages And Primitives.
 - Latest closed version: V39 Commercial Reading Readiness, which promoted Depository supply indexing, enterprise five-step Reading UX, ReadNeed review/resynthesis, ReadFitsFinding many-candidate runtime, source-safe AssetPack preview and deterministic BTC quote, settlement rights delivery, operational telemetry/repair readback, interface parity, local/staging rehearsal, and V39 promotion readiness.
 - Recent V39 closure anchor: V39 canonical promotion updated `BITCODE_SPEC.txt` to `V39`, generated `BITCODE_SPEC_V39_PROVEN.md`, preserved active V39 / draft V40 runtime posture, and closed commercial Reading readiness canon.
 - V39 Gate 9 closure anchor: commercial Reading readiness now owns package-backed `ReadingInterfaceProductParity`, deterministic `.bitcode/v39-interface-conversation-product-parity.json`, Terminal/Conversation/API/MCP/ChatGPT/package-consumer no-bypass rows, source-safe contract readback, BTD interface root composition, focused package/interface tests, and workflow wiring through `check:v39-gate9`.
 - V39 Gate 10 closure anchor: Reading readiness now owns package-backed `ReadingLocalStagingRehearsal`, deterministic `.bitcode/v39-local-staging-reading-rehearsal.json`, local/staging-testnet lane readback, five-stage Reading stage readback, many-fit Depository search rehearsal, source-safe AssetPack preview, settlement/BTD rights/delivery posture, rich telemetry readback, ledger/database/storage synchronization, value-bearing mainnet blocking, focused package/protocol tests, and workflow wiring through `check:v39-gate10`.
 - V39 Gate 11 closure anchor: commercial Reading readiness now owns package-backed `V39CommercialReadingPromotionReadinessReport`, deterministic `.bitcode/v39-promotion-readiness-report.json`, `BITCODE_SPEC_V39_PROVEN.md` generation support, `v39-canon-promotion.yml`, promotion command dry-run support, gate/canon workflow posture, active V39 / draft V40 runtime preparation, all V39 commercial Reading artifacts covered, source-safe, and parseable, and value-bearing mainnet admission blocked through `check:v39-gate11`.
 - V40 Gate 1 opening anchor: exhaustive commercial application testing opens over promoted V39 with V40 SPEC, DELTA, NOTES, and PARITY files, `check:v40-gate1`, active V39 / draft V40 posture, and an eleven-gate plan for test inventory, unit coverage, API/route integrations, Reading pipeline integrations, Conversation/Terminal integrations, browser/visual/accessibility/responsive proof, ledger/database/storage/wallet/delivery synchronization, local/staging rehearsal, prompt benchmark smoke, and promotion readiness.
-- Forward planning note: V41 should focus singularly on Prompt and PromptPart implementation quality: prompts as programs. V38's inference correctness hardening and V40's testing/benchmark depth should empower V41 to examine every raw PromptPart, every Prompt composition, every benchmark, semantic partition, title, template, interpolation contract, registry binding, and inference callsite; then repartition, retitle, rewrite, catalogue, and validate them across Reading pipelines and conversational interactions.
+- V40 Gate 2 closure anchor: exhaustive testing now owns package-backed `V40TestInventoryCoverageMatrix` source, deterministic `.bitcode/v40-test-inventory-coverage-matrix.json`, ten source-safe inventory surfaces covering unit, API/route, Reading pipeline, Conversation/Terminal, browser/visual/accessibility/responsive, ledger/database/storage/wallet/delivery, local/staging, prompt benchmark smoke, demonstration, and CI/promotion quality, protocol exports, package tests, workflow wiring, and `check:v40-gate2`.
+- Forward planning note: V41 should focus singularly on Prompt and PromptPart implementation quality: prompts as programs. V38's inference correctness hardening and V40's testing/benchmark depth should empower V41 to examine every raw PromptPart, every Prompt composition, every benchmark, semantic partition, title, template, interpolation contract, registry binding, and inference callsite; then repartition, retitle, rewrite, catalogue, and validate them across Reading pipelines and conversational interactions. V41 should primarily harden `ReadNeedComprehensionSynthesis` and `ReadFitsFindingSynthesis` prompt surfaces while also covering conversational and other inference prompts with the same catalogue-and-benchmark discipline.
 - V34 Gate 2 closure anchor: deployment-depth now owns package-backed `DeploymentHostCapabilityCatalog` and `EnvironmentLaneContract` source, deterministic `.bitcode/v34-deployment-host-capability-catalog.json` and `.bitcode/v34-environment-lane-contracts.json`, and visible `value-bearing-mainnet` blocking through `blocked_future_canon_required`.
 - V34 Gate 3 closure anchor: deployment-depth now owns package-backed `DistributedExecutionRuntimeReceipt` source, deterministic `.bitcode/v34-distributed-execution-runtime-receipts.json`, `request_response_not_required` long-running work posture, and source-safe roots for pipeline, PTRR agent, ThricifiedGeneration, tool, ledger, wallet, proof, object-storage, and repair work.
 - V34 Gate 4 closure anchor: deployment-depth now owns package-backed `DeploymentStoragePosture` source, deterministic `.bitcode/v34-deployment-storage-posture.json`, ledger/database/object-storage drift repair fixtures, retention/encryption/backup/rollback/audit posture, and source-bearing AssetPack storage remains locked before settlement.
@@ -133,7 +134,7 @@ They are referenced here for specification history only; active implementation w
 | V38 | `BITCODE_SPEC_V38.md` | promoted historical Bitcode canon | Inference correctness after V37: pipeline execution call stack, PTRR agents, FailsafeGenerationSequence over ThricifiedGeneration, prompt registry composition, PromptPart and Prompt benchmarking, Reading pipeline inference, ReadFitsFindingSynthesis depository search and embeddings, source-safe inference telemetry, local/staging rehearsal, and promotion readiness. |
 | V39 | `BITCODE_SPEC_V39.md` | active canon | Commercial Reading readiness after V38: Depository supply indexing, enterprise five-step Reading UX, ReadNeed review/resynthesis, ReadFitsFinding many-candidate runtime and replay, source-safe AssetPack preview and deterministic BTC quote, settlement, BTD rights transfer, post-settlement delivery, ledger/database/storage synchronization, operational telemetry/repair, interface parity, local/staging rehearsal, and promotion readiness. |
 | V40 | `BITCODE_SPEC_V40.md` | active draft target | Exhaustive commercial application testing depth after V39: rich browser E2E for all website interactions and state possibilities, visual/screenshot comparison coverage, API and integration suites for pipelines, conversations, routes, ledger/database/storage synchronization, and unit coverage for packages, primitives, isolated implementations, and real commercial implementations. |
-| V41 | future draft target after V40 | planned | Prompt and PromptPart excellence, treating prompts as programs: audit every raw PromptPart and composed Prompt, run and harden benchmarks, repartition prompts into benchmarkable semantic parts, retitle and rewrite PromptParts/Prompts where optimal, catalogue registry bindings and interpolation contracts, and elevate all Reading and Conversation inference points after V38 inference scaffolding and V40 testing depth make that work measurable. |
+| V41 | future draft target after V40 | planned | Prompt and PromptPart excellence, treating prompts as programs: audit every raw PromptPart and composed Prompt, run and harden benchmarks, repartition prompts into benchmarkable semantic parts, retitle and rewrite PromptParts/Prompts where optimal, catalogue registry bindings and interpolation contracts, and elevate all Reading and Conversation inference points after V38 inference scaffolding and V40 testing depth make that work measurable. The primary surface is Reading, especially `ReadNeedComprehensionSynthesis` and `ReadFitsFindingSynthesis`; conversations and other inference prompts follow with the same benchmarkable catalogue discipline. |
 
 ## Current Planning Spine
 

SPECIFICATIONS_ROADMAP.md

@@ -246,6 +246,9 @@
     "check:v39-promotion-readiness": "node scripts/generate-v39-promotion-readiness-report.mjs --check",
     "check:v39-gate11": "node scripts/check-v39-gate11-promotion-readiness.mjs",
     "check:v40-gate1": "node scripts/check-v40-gate1-testing-roadmap-opening.mjs",
+    "generate:v40-test-inventory": "node scripts/generate-v40-test-inventory-coverage-matrix.mjs",
+    "check:v40-test-inventory": "node scripts/generate-v40-test-inventory-coverage-matrix.mjs --check",
+    "check:v40-gate2": "node scripts/check-v40-gate2-test-inventory-coverage-matrix.mjs",
     "generate:v38-inference-surface-inventory": "node scripts/generate-v38-inference-surface-inventory.mjs",
     "check:v38-inference-surface-inventory": "node scripts/generate-v38-inference-surface-inventory.mjs --check",
     "check:v38-gate2": "node scripts/check-v38-gate2-inference-surface-inventory.mjs",