[codex] Align gate 80 cementing authority docs

[briansrls]

Summary

• Update the R3 program plan row for gate Red Team R1: RF-H4, RF-H2, RF-E4 — structural correctness #80 to cite the current .dag Band-C cost-symbolic cementing receipt.
• Update the v3 lens capability register to distinguish the .dag COMPLETE-row authority from the residual Rust host-wrapper regression test.

Why

The implementation has moved the gate #80 / gate #87 cost_symbolic cementing authority to src/v3/compiler/tests/dag/t_r3_gate_87_cementing_regen_cost_symbolic.dag through the PB-B-1 runner table. Two docs still pointed at cost_lens_symbolic_consumer_test.rs, which now explicitly says it is only the residual Rust receipt for host-wrapper and per_call_pattern_at checks.

Validation

• git diff --check

[briansrls]

Review metadata

• Provider / model: codex / unknown
• Commit: 363cffd7 · Trigger: schedule
• Thinking: 107s wall

---

Non-blocking — Strengths

• docs/r3-program-plan.md Docs-only change correctly rehomes gate #80 Band-C authority to the runner-backed .dag receipt while leaving target-realization gates separate.
• docs/v3-lens-capability-register.md The register distinguishes the .dag COMPLETE-row cementing authority from the residual Rust host-wrapper receipt, matching INVARIANTS P5 and TESTING Band-C guidance.

ROADMAP — Verified

• cost_lens_behaviorally_complete: The updated authority matches src/v3/compiler/tests/dag/t_r3_gate_87_cementing_regen_cost_symbolic.dag and its PB-B-1 runner-table entry.

✅ No blocking concerns; the PR preserves the Pure Bootstrap direction by moving the cementing authority to the .dag TestClaim receipt.

[briansrls]

Closing per operator cleanup directive — author session retired, no active worker advocating this PR. Reopen or re-launch a worker if the substantive content is still wanted.