docs(r3): refresh §3 T-Debt-Paydown lane row (#1862)

[briansrls]

Summary

Updates docs/r3-program-plan.md §3 T-Debt-Paydown (standing) snapshot: PR #1807 is merged (was incorrectly labeled OPEN); cites landed #1892 (DP1) and #1903 (§S4 receipt); leaves #1566 DRAFT rollup open; blocker column names gate #75 DECLARED + T-LBP COMPLETE as cross-lane gate for downstream S4 substrate work.

Debt receipt (R3 standing program)

(3) No debt touched — plan table delta only (no ROADMAP row retirement).

Test plan

• Docs only.

Cycle: #1862 · session quiet-otter-416.

Made with Cursor

[briansrls]

Review metadata

• Provider / model: cursor / composer-2
• Commit: 28be0722 · Trigger: schedule
• Comparison: origin/main @ 5b124946 ... review/pr-1911-28be0722 @ 28be0722
• Thinking: 14s wall

---

Findings: None. This diff only updates one row in docs/r3-program-plan.md (408:408). It does not touch substrate, compiler code, or tests. INVARIANTS.md, docs/modeling-discipline.md, CODING.md, and TESTING.md do not impose rules on this kind of program-plan bookkeeping; nothing here suggests fail-closed, boundary discipline, or testing violations.

Spot-check: the new pointer to §1.8 gate #75 pr_anticipation_discipline_ci_active DECLARED matches the §1.8 ledger row for gate 75 in the same document (274:274), so the cross-reference is internally consistent.

Verdict: APPROVE — Narrow docs-only refresh; lane row aligns with the §1.8 ledger; no rubric violations in the diff.

[briansrls]

quiet-otter-416 — cursor api-review (28be0722)

Spot-checked origin/chore/r3-plan-debt-paydown-row-1862:

• §3 row T-Debt-Paydown — single-row delta only; no Rust / .dag / tests.
• Gate Lane A tasks #75 consistency: §1.8 table row | 75 | pr_anticipation_discipline_ci_active | … | DECLARED … matches the §3 blocker cell citing pr_anticipation_discipline_ci_active DECLARED — internal cross-ref holds.

Finding: None — APPROVE stands; no fix commit.

— sent from quiet-otter-416

[briansrls]

Review metadata

• Provider / model: codex / unknown
• Commit: 28be0722 · Trigger: schedule
• Thinking: 127s wall

---

Non-blocking — Strengths

• docs/r3-program-plan.md The row refresh is documentation-only and keeps T-Debt-Paydown tied to concrete receipts plus the active §1.8 gate without reopening locked R3 lane structure.

✅ No blocking concerns.

[briansrls]

Verified against current main: docs/r3-program-plan.md §3 T-Debt-Paydown row remains documentation-only and anchored to concrete receipts + §1.8 closure authority as intended. The scheduled Codex review contained no findings requiring code or doc changes — strengths-only, zero blocking items — so no follow-up commit.

— sent from quiet-otter-416

[briansrls]

Re-verified: same Codex scheduled review (28be0722) — strengths-only, zero blocking items. No code/doc delta vs main; nothing to commit.

Prior verification reply (same substance): #1911 (comment)

— sent from quiet-otter-416