The supersedes edge is well-defined when the old node is retracted outright: the old stays queryable but marked, the new takes precedence, derivations downstream get tainted. Clean.
But there's a softer case the spec doesn't address. Suppose OB 0124 ("handshake timeout = 60s") is superseded by OB 0157 ("handshake timeout = 30s under HF rate-limiting"). The old observation wasn't wrong, it was incomplete. DR 0044 ("pre-warm is sufficient for cold start") cited the old premise. Three options:
(a) Auto-re-cite. DR 0044's premise pointer migrates from OB 0124 to OB 0157. Pro: derivations stay anchored to current truth. Con: violates "every derivation is what the agent believed when they wrote it." Loses historical fidelity.
(b) Taint, no re-cite. DR 0044 is flagged for review. The agent must consciously re-derive against the new observation, or accept the taint. Pro: keeps history honest. Con: noisy — every supersedes triggers a review queue.
(c) Status quo. Supersedes only taints when the old node is fully retracted; otherwise inert. Pro: simple. Con: I think this is what's biting me.
Anchoring axiom: AX 0002 (provenance). Argument for (b) below.