docs(r3-debt-paydown): initial debt-row inventory ledger 2026-05-02

[briansrls]

Summary

• Moved the debt-row inventory ledger from docs/audit/ to the owned debt surface at docs/debt/r3-debt-paydown-ledger-2026-05-02.md.
• Added the authority parent reference to docs(r3): R3 Debt-Paydown program — per-PR discipline + lane coordination brief #1518 at the top of the ledger.
• Kept the 2026-05-01..02 velocity-tripwire calibration warning intact.
• Docs-only change: no hand-Rust under src/v3/.

Next-wave retirement queue

1. Duplicate record labels in record-literal lowering.
2. Emitter as_bind().expect() panics, replaced with typed errors.
3. Go UnknownVariant fallback, replaced with fail-closed erroring.
4. Diagnostics-empty bootstrap gate for method-template contracts.
5. SymbolicCost semiring zero-law violation.
6. SubValueRelation bounded-lattice law claim correction.
7. ValueBody mirror update plus first isomorphism receipt.
8. Method-template consumer migration off old runtime/emit tables.
9. BridgeLedgerZero decreasing-open-count ratchet.
10. CI slow-test exemption fresh audit.

Validation

• cargo fmt --all --check passed via the repo pre-push hook.
• No runtime or test suite changes were made.

Authority

• Coordination brief: #1518.
• Calibration partner: session/nimble-fox-627 · nimble-fox-627 #1528 is handling the manual diff sweep for the 2026-05-01..02 tripwire window.

[briansrls]

Review metadata

• Provider / model: cursor / composer-2
• Commit: 3d1fb42a · Trigger: schedule
• Comparison: origin/main @ e53015d1 ... review/pr-1531-3d1fb42a @ 3d1fb42a
• Thinking: 42s wall

---

Findings: None. This diff only adds docs/debt/r3-debt-paydown-ledger-2026-05-02.md. Nothing here touches compiler substrate, Rust style (CODING.md scope), or tests (TESTING.md). The ledger’s summary of the velocity tripwire matches INVARIANTS.md Dispatch-Discipline (c) (≥3:1 in a 7-day window → Director review after a manual sweep for dissolution-bearing feature PRs); the doc repeats that calibration idea in the “Velocity Tripwire Baseline” section (docs/debt/r3-debt-paydown-ledger-2026-05-02.md lines that appear in the diff around the velocity section).

Verdict: APPROVE — Documentation-only debt ledger; scope and authority links are clear, no rubric violation visible in the diff.