admission: an import replays a cite of another root's closed follow-up #17
2026-11-08
Merge origin/main into the import-foreign-cite PR: #19 landed the same waiver
The code of this branch is dropped for main's `historic` waiver; what remains is the committed Finding case (thing2 1815, aetheria-release 2247) and the kind-agnostic case, which kills a waiver limited to follow-ups. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
move tests: pin the real Finding case and the kind-agnostic waiver
The replay of a cite of another root's closed document is pinned with a Finding deferred to a closed follow-up (the thing2 and aetheria-release cases) and an Idea superseded by a recorded Idea of another root, which kills a waiver limited to follow-ups. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
admission: an import replays a cite of another root's closed follow-up
A resolution's cited referent had to be in force in the receiver. When the receiver had already imported the other root (cultlib-gaps, aetheria-ew) and that referent closed later in the giver, the replay of the earlier Deferred cite was refused with CitesResolvedDocument and the import stopped. The cite was in force when the giver made it; an import now asks only that the foreign referent is held (A7), not that it is still open. Same-root cites replay in the giver's order and keep the rule; native writes keep it. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>