engineeredsoftware · garrettmaring · May 28, 2026 · May 28, 2026
diff --git a/.bitcode/v42-readneed-review-resynthesis-product-closure.json b/.bitcode/v42-readneed-review-resynthesis-product-closure.json
diff --git a/.github/workflows/bitcode-canon-quality.yml b/.github/workflows/bitcode-canon-quality.yml
@@ -301,6 +301,9 @@ jobs:
               if [ -f scripts/check-v42-gate3-reading-shortest-path-state-machine.mjs ]; then
                 node scripts/check-v42-gate3-reading-shortest-path-state-machine.mjs --skip-branch-check --skip-uapi-tests
               fi
+              if [ -f scripts/check-v42-gate4-readneed-review-resynthesis-product-closure.mjs ]; then
+                node scripts/check-v42-gate4-readneed-review-resynthesis-product-closure.mjs --skip-branch-check --skip-package-tests --skip-uapi-tests
+              fi
             fi
           else
             echo "Unexpected BITCODE_SPEC.txt pointer: $POINTER" >&2

diff --git a/.github/workflows/bitcode-gate-quality.yml b/.github/workflows/bitcode-gate-quality.yml
@@ -430,6 +430,9 @@ jobs:
               if [ -f scripts/check-v42-gate3-reading-shortest-path-state-machine.mjs ]; then
                 node scripts/check-v42-gate3-reading-shortest-path-state-machine.mjs --skip-branch-check --skip-uapi-tests
               fi
+              if [ -f scripts/check-v42-gate4-readneed-review-resynthesis-product-closure.mjs ]; then
+                node scripts/check-v42-gate4-readneed-review-resynthesis-product-closure.mjs --skip-branch-check --skip-package-tests --skip-uapi-tests
+              fi
             fi
           else
             echo "Unexpected BITCODE_SPEC.txt pointer: $POINTER" >&2

diff --git a/BITCODE_SPEC_V42.md b/BITCODE_SPEC_V42.md
@@ -132,6 +132,8 @@ Validating command: `pnpm run check:v42-gate3`.
 Gate 4 must make `ReadNeedComprehensionSynthesis` product-ready in the MVP flow.
 The pipeline must synthesize exactly the user's Need from the Read Request, store source-safe Need data, allow user feedback and resynthesis, preserve lineage, and admit Finding Fits only after the Need is accepted.
 It must cover PTRR agents, FailsafeGenerationSequence, ThricifiedGeneration, prompts, parser return types, telemetry rows, database projection, tests, and UI readback.
+Gate 4 is implemented by `.bitcode/v42-readneed-review-resynthesis-product-closure.json`.
+The artifact binds `ReadNeedReviewResynthesisRuntime`, all four review actions, source-safe storage projection, rejection posture, accepted-Need admission into `ReadFitsFindingSynthesis`, Terminal runtime/storage/telemetry readback, and the package/API/protocol tests that prove the path.
 
 ## V42 Gate 5 ReadFitsFinding AssetPack Preview And Quote Closure
 
@@ -423,7 +425,7 @@ V42 inherits operator-quality expectations for browser proof, accessibility, vis
 | `.bitcode/v42-canon-posture-drift-report.json` | `check-bitcode-canon-posture-drift` | source-safe metadata | active V41 / draft V42 posture proof |
 | `.bitcode/v42-depositing-shortest-path.json` | V42 Gate 2 | source-safe metadata | deposit MVP proof |
 | `.bitcode/v42-reading-shortest-path-state-machine.json` | V42 Gate 3 | source-safe metadata | Reading product state proof |
-| `.bitcode/v42-readneed-review-resynthesis.json` | V42 Gate 4 | source-safe metadata | Need review proof |
+| `.bitcode/v42-readneed-review-resynthesis-product-closure.json` | V42 Gate 4 | source-safe metadata | Need review proof |
 | `.bitcode/v42-readfitsfinding-preview-quote.json` | V42 Gate 5 | source-safe metadata | Finding Fits, preview, and quote proof |
 | `.bitcode/v42-settlement-rights-delivery.json` | V42 Gate 6 | source-safe metadata | settlement/delivery proof |
 | `.bitcode/v42-ai-reading-demonstration.json` | V42 Gate 7 | source-safe metadata | demonstration value proof |

diff --git a/BITCODE_SPEC_V42_DELTA.md b/BITCODE_SPEC_V42_DELTA.md
@@ -47,6 +47,7 @@ The state machine keeps Terminal guided by default while preserving proof-on-exp
 ### Gate 4: ReadNeed Review And Resynthesis Product Closure
 
 Implement and prove reviewed synthesized Need flow, feedback/resynthesis, accepted-Need admission, storage projection, telemetry, and UI readback.
+Gate 4 now binds `ReadNeedReviewResynthesisRuntime` (`readNeedReviewRuntime` route payloads), all four ReadNeed actions, source-safe storage projection, accepted and rejected review states, PTRR/Failsafe/Thricified telemetry receipts, Terminal runtime/storage/telemetry readback, `.bitcode/v42-readneed-review-resynthesis-product-closure.json`, and `check:v42-gate4`.
 
 ### Gate 5: ReadFitsFinding AssetPack Preview And Quote Closure
 

diff --git a/BITCODE_SPEC_V42_NOTES.md b/BITCODE_SPEC_V42_NOTES.md
@@ -47,6 +47,14 @@ Gate 3 implements the current V42 state-machine layer with `TerminalEnterpriseRe
 The recoverable route state includes transaction id presence, `readingStage`, active-stage hydration, retry and restart posture, source-safe failure kind, and repair actions.
 This makes refresh, route handoff, and recovery inspectable without disclosing protected source, protected prompts, raw provider responses, unpaid AssetPack source, wallet private material, private settlement payloads, or ledger authority.
 
+## Gate 4 implementation notes
+
+Gate 4 closes the ReadNeed product loop.
+`ReadNeedComprehensionSynthesis` now has a V42 proof target for source-safe Read Request persistence, synthesized Need storage, feedback and resynthesis lineage, Need measurement roots, accepted Need admission, rejected Need posture, runtime storage projection, and telemetry receipts.
+The Terminal readback must show the Need, review state, runtime root, storage root, telemetry root, blockers, PTRR step identity, and storage record roots without exposing protected source, raw protected prompts, raw provider responses, unpaid AssetPack source, wallet private material, or private settlement payloads.
+Finding Fits remains blocked until the Need is accepted.
+Rejecting a Need must preserve feedback and keep the user on the review/resynthesis step.
+
 ## AssetPack source-safety note
 
 V42 must make the preview valuable without leaking the source-bearing AssetPack before settlement.

diff --git a/BITCODE_SPEC_V42_PARITY_MATRIX.md b/BITCODE_SPEC_V42_PARITY_MATRIX.md
@@ -35,7 +35,7 @@ This matrix records the reliable MVP product surfaces that must become promotion
 | Canon workflow | Canon quality knows active V41 / draft V42 posture and V42 Gate 1 | `.github/workflows/bitcode-canon-quality.yml` | drafted |
 | Depositing shortest path | Source material can be admitted with Depository proof and compensation visibility | `.bitcode/v42-depositing-shortest-path.json`, `DepositorySupplyCompensationPreview`, `/api/deposits`, Terminal deposit readback | implemented |
 | Reading state machine | Five-step Reading UX is route-owned, persistent, and source-safe | `.bitcode/v42-reading-shortest-path-state-machine.json`, `TerminalEnterpriseReadingRouteState`, `readingStage`, route/retry/failure tests | implemented |
-| ReadNeed product closure | Need synthesis, review, feedback, resynthesis, and accepted-Need admission are product-ready | later V42 Gate 4 artifact | draft-required |
+| ReadNeed product closure | Need synthesis, review, feedback, resynthesis, accepted-Need admission, rejected Need blockers, source-safe telemetry, and Terminal runtime readback are product-ready | `.bitcode/v42-readneed-review-resynthesis-product-closure.json`, `ReadNeedReviewResynthesisRuntime`, `/api/read-review`, Terminal Need runtime readback | implemented |
 | Finding Fits preview and quote | Many-candidate search, selected-fit provenance, source-safe preview, and quote are product-ready | later V42 Gate 5 artifact | draft-required |
 | Settlement and delivery | BTC/BTD settlement, rights transfer, compensation, and repository PR delivery are synchronized | later V42 Gate 6 artifact | draft-required |
 | AI-reading demonstration | Standalone demonstration proves AssetPack improves AI beyond public-data-only baseline | later V42 Gate 7 artifact | draft-required |
@@ -49,7 +49,7 @@ This matrix records the reliable MVP product surfaces that must become promotion
 | Gate 1 | Open V42 family, roadmap, docs, workflow posture, package script, and checker | drafted |
 | Gate 2 | Depositing shortest path and compensation visibility artifact | implemented |
 | Gate 3 | Reading shortest path state machine artifact | implemented |
-| Gate 4 | ReadNeed review and resynthesis product closure artifact | draft-required |
+| Gate 4 | ReadNeed review and resynthesis product closure artifact | implemented |
 | Gate 5 | ReadFitsFinding AssetPack preview and quote closure artifact | draft-required |
 | Gate 6 | Settlement rights transfer and repository delivery closure artifact | draft-required |
 | Gate 7 | AI-reading dominant demonstration MVP artifact | draft-required |

diff --git a/README.md b/README.md
@@ -99,6 +99,13 @@ V42 Gate 3 adds the Reading shortest path state machine with
 accepted-Need blockers, source-safe preview blockers,
 `.bitcode/v42-reading-shortest-path-state-machine.json`, and
 `check:v42-gate3`.
+V42 Gate 4 adds ReadNeed product closure with
+`ReadNeedReviewResynthesisRuntime`, source-safe storage projection,
+feedback/resynthesis lineage, accepted-Need Finding Fits admission,
+rejected Need blockers, PTRR/Failsafe/Thricified telemetry receipts,
+Terminal Need runtime readback,
+`.bitcode/v42-readneed-review-resynthesis-product-closure.json`, and
+`check:v42-gate4`.
 V43+ is roadmapped as the later agentic depositing evolution: repository
 agents synthesize deposit AssetPack options from connected enterprise code,
 Depository state, and Reading demand; enterprises approve or reject

diff --git a/SPECIFICATIONS_ROADMAP.md b/SPECIFICATIONS_ROADMAP.md
@@ -5,12 +5,13 @@
 - Current active canonical pointer: `BITCODE_SPEC.txt` -> `V41`
 - Current active canon: `BITCODE_SPEC_V41.md`
 - Current draft target: `BITCODE_SPEC_V42.md`.
-- Current working gate: V42 Gate 3 Reading Shortest Path State Machine.
-- Next queued gate after V42 Gate 3: V42 Gate 4 ReadNeed Review And Resynthesis Product Closure.
+- Current working gate: V42 Gate 4 ReadNeed Review And Resynthesis Product Closure.
+- Next queued gate after V42 Gate 4: V42 Gate 5 ReadFitsFinding AssetPack Preview And Quote Closure.
 - Latest closed version: V41 Prompt And PromptPart Excellence, which promoted PromptPart and Prompt inventory, registry interpolation contracts, Reading prompt baselines, ReadNeedComprehensionSynthesis prompt hardening, ReadFitsFindingSynthesis prompt hardening, Conversation/tool/interface prompt rewrite, prompt benchmark telemetry, and V41 promotion readiness.
 - Recent V42 opening anchor: reliable MVP experience opens over promoted V41 with V42 SPEC, DELTA, NOTES, and PARITY files, `check:v42-gate1`, active V41 / draft V42 posture, and a nine-gate plan for shortest-path Depositing, five-step Reading, ReadNeed product closure, ReadFitsFinding preview and quote closure, settlement and repository delivery, AI-reading demonstration, local/staging rehearsal, and promotion readiness.
 - V42 Gate 2 closure anchor: reliable MVP experience now owns source-safe Depositing compensation visibility through `DepositorySupplyCompensationPreview`, deposit route `depositoryEvidence.compensationPreview`, deterministic `.bitcode/v42-depositing-shortest-path.json`, route/API readiness checks, source validation, Depository search/vector/storage projection, source-to-shares compensation readback keys, Terminal compensation roots, focused package/protocol tests, workflow wiring, and `check:v42-gate2`.
 - V42 Gate 3 closure anchor: reliable MVP experience now owns the five-step Reading shortest path state machine through `TerminalEnterpriseReadingUxState`, `TerminalEnterpriseReadingRouteState`, recoverable transaction ids, `readingStage` route hydration, retry/restart posture, source-safe failure repair actions, accepted-Need blockers, source-safe preview blockers, rich Reading pipeline telemetry readback, deterministic `.bitcode/v42-reading-shortest-path-state-machine.json`, focused route/component/protocol tests, workflow wiring, and `check:v42-gate3`.
+- V42 Gate 4 closure anchor: reliable MVP experience now owns ReadNeed product closure through `ReadNeedReviewResynthesisRuntime`, source-safe storage projection, reviewed Need feedback/resynthesis lineage, accepted-Need Finding Fits admission, rejected Need blockers, PTRR/Failsafe/Thricified telemetry receipts, Terminal Need runtime/storage/telemetry readback, deterministic `.bitcode/v42-readneed-review-resynthesis-product-closure.json`, focused package/route/protocol tests, workflow wiring, and `check:v42-gate4`.
 - Recent V41 closure anchor: V41 canonical promotion updated `BITCODE_SPEC.txt` to `V41`, generated `BITCODE_SPEC_V41_PROVEN.md`, preserved active V41 / draft V42 runtime posture, and closed prompt-program excellence canon.
 - Recent V40 closure anchor: V40 canonical promotion updated `BITCODE_SPEC.txt` to `V40`, generated `BITCODE_SPEC_V40_PROVEN.md`, preserved active V40 / draft V41 runtime posture, and closed exhaustive commercial application testing canon.
 - 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.

diff --git a/package.json b/package.json
@@ -310,6 +310,9 @@
     "generate:v42-reading-shortest-path-state-machine": "node scripts/generate-v42-reading-shortest-path-state-machine.mjs",
     "check:v42-reading-shortest-path-state-machine": "node scripts/generate-v42-reading-shortest-path-state-machine.mjs --check",
     "check:v42-gate3": "node scripts/check-v42-gate3-reading-shortest-path-state-machine.mjs",
+    "generate:v42-readneed-review-resynthesis-product-closure": "node scripts/generate-v42-readneed-review-resynthesis-product-closure.mjs",
+    "check:v42-readneed-review-resynthesis-product-closure": "node scripts/generate-v42-readneed-review-resynthesis-product-closure.mjs --check",
+    "check:v42-gate4": "node scripts/check-v42-gate4-readneed-review-resynthesis-product-closure.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",

diff --git a/packages/pipelines/asset-pack/README.md b/packages/pipelines/asset-pack/README.md
@@ -139,6 +139,14 @@ for resynthesis. The runtime never serializes protected source, raw protected
 prompts, raw provider responses, unpaid AssetPack source, credentials, wallet
 private material, or private settlement payloads.
 
+V42 Gate 4 binds this runtime into product closure through
+`.bitcode/v42-readneed-review-resynthesis-product-closure.json` and
+`check:v42-gate4`. That proof requires all four review actions
+(`synthesize_read_need`, `resynthesize_read_need`, `accept_read_need`,
+`reject_read_need`), PTRR/Failsafe/Thricified telemetry receipts, source-safe
+storage projection, accepted-Need admission, rejected Need blockers, and
+Terminal runtime readback before Finding Fits can run.
+
 ## ReadFitsFinding Runtime
 
 `ReadFitsFindingRuntime` is the source-safe package primitive that turns

diff --git a/packages/pipelines/asset-pack/src/__tests__/read-need-review-resynthesis.test.ts b/packages/pipelines/asset-pack/src/__tests__/read-need-review-resynthesis.test.ts
@@ -66,6 +66,9 @@ describe('ReadNeed review, resynthesis, and admission runtime', () => {
       'need_measurement',
       'telemetry_receipt',
     ]);
+    expect(runtime.storageProjection.every((record) => record.sourceSafety.protectedSourceVisible === false)).toBe(true);
+    expect(runtime.storageProjection.every((record) => record.sourceSafety.rawProviderResponseVisible === false)).toBe(true);
+    expect(runtime.storageProjection.every((record) => record.sourceSafety.unpaidAssetPackSourceVisible === false)).toBe(true);
     expect(runtime.telemetryReceipts[0]).toMatchObject({
       pipelineName: 'ReadNeedComprehensionSynthesis',
       needId: readNeed.needId,

diff --git a/packages/protocol/README.md b/packages/protocol/README.md
@@ -201,6 +201,15 @@ V42 Gate 3 adds the V42 Reading shortest path state machine,
 route persistence, accepted-Need gating, restart/retry/failure repair,
 low-detail proof-on-expand UI posture, rich Reading pipeline telemetry
 readback, activity/workbench readback, and source-safe disclosure boundaries.
+V42 Gate 4 adds `V42ReadNeedReviewResynthesisProductClosure` through
+`packages/protocol/src/canonical/v42-readneed-review-resynthesis-product-closure.js`,
+`packages/protocol/test/v42-readneed-review-resynthesis-product-closure.test.js`,
+`.bitcode/v42-readneed-review-resynthesis-product-closure.json`, and
+`check:v42-gate4`. It proves ReadNeed review/resynthesis product closure:
+source-safe Read Request and Need storage, feedback lineage, Need measurement,
+accepted-Need admission, rejected Need blockers, PTRR/Failsafe/Thricified
+telemetry receipts, `/api/read-review` action coverage, Terminal runtime
+readback, and source-safe disclosure boundaries.
 V40 Gate 2 adds `V40TestInventoryCoverageMatrix` through
 `packages/protocol/src/canonical/v40-test-inventory-coverage-matrix.js`,
 `packages/protocol/test/v40-test-inventory-coverage-matrix.test.js`,