Repository navigation
Refuse supersedes into another namespace on live claims (rulings 43, 75) #147
Description
Issue 4 of ledger/prd/namespace-independence-prd.md §6, opened on the principal's instruction (session ledger/sessions/2026-10-namespace-layout-authority.md).
Cites. PRD §3.7 (What crosses).
Size. S. Depends on. Issue 1.
Appendix C note. No.
Rulings carried. 43 (supersedes never names a decision in another namespace; only based_on crosses), 75 (in a store that exists today it is judged on live claims only, a decision's latest version, so a revision that drops the edge repairs it).
What it builds. A file-gate SCHEMA fault for a decision's latest version whose supersedes names a decision of another namespace. Earlier versions are not judged. Protocol: LP-3.31 loses its "Not implemented" mark and its italic note; Appendix B row.
Acceptance criteria (§4.1).
- AC-43. A latest version whose
supersedesnames another namespace is a schema fault. After a revision that drops the edge, the store is conformant (75).
Activity
Refuse a supersedes into another namespace, judged on live claims
Refuse a supersedes into another namespace, judged on live claims
Hafeok commentedon Nov 3, 2026
Closed as not carried under D1.24`` and the definition's chapter 8:``` the Rust tool is frozen at
rust-finaland its tree left `main` in #166 (`53bd547`). This concerns the Rust ledger (its keys, namespaces or authority), which is Writ's authority graph now. The rewrite holds no key and no grant, and `writ import` reads `.decisions/` once, at the tag. Disposition approved on #165.Generated by Claude Code