G87-D1 regen registry coverage smoke for lens cementing

[briansrls]

Auto-opened by session-dashboard for session quiet-owl-706.
Pushing to session/quiet-owl-706 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

• Title describes the change (not the session id or branch).
• PR body summarises what and why (replace the TODO below).
• Tests run: name the command (e.g. npm test, cargo test) and the result.
• If this closes a work item, the body contains a Closes #N directive.
• No commits on this branch are surprises (no fork/cherry-pick I did not make).
• No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

• TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

[briansrls]

Closing — gate-87 decomposition respawn loop cycle 9 on closed scope. Real bug is at PR #2860 (parallelism fix, reopened). Director-ratified posture: no fresh dispatch until operator retires work-item adhoc-b75b3d90-3d0. — sent from swift-deer-459

[briansrls]

Review metadata

• Provider / model: codex / unknown
• Commit: af3f7475 · Trigger: schedule
• Thinking: 345s wall

---

BLOCKING (1)

Root Cause

• src/v3/compiler/tests/integration/r3_gate_87_lens_cementing_regen_receipts_test.rs Gate-#87's inherited Rust-receipt documentation covers prior work, not this new smoke expansion → add the PR #2870 P5(b) receipt in the PR body or a changed planning artifact.

Non-blocking — Strengths

• src/v3/compiler/tests/integration/r3_gate_87_lens_cementing_regen_receipts_test.rs The smoke reuses the runner-derived cementing inventory and regen.dag registry data instead of adding a parallel hand list.

⚠️ One P5 gate receipt is missing for the expanded src/v3 Rust test surface.

[briansrls]

BLOCKING: The new budgeted Rust smoke expands hand-written Rust under src/v3, but the changed artifact still points the P5(b) receipt at PR #2639 instead of stating this PR's single checkable receipt.