Review 4319: round 2 — approve and merge; drop the seventh doc-contract tautology
aged-PR cleanup batch 3: 9 review pages, decision-table rows, ledger