AlreadyResolved names the closure in force #22

Merged
eureka merged 2 commits from eureka/refusal-names-the-closure into main 2026-11-09 12:10:30 +00:00

2026-11-09

AlreadyResolved: the correction test takes closed_by from the refusal
Mutating the resolution path's closed_by to the subject fails the test.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-09 12:08:34 +00:00
AlreadyResolved names the closure in force, so a wrong closure can be corrected
A closed row is corrected by withdrawing its resolution and resolving the
subject again at the next sequence; admission already allows it, in one batch
too (new test). The refusal gave no way to find it: a Mind that tried to
Withdraw or re-resolve the follow-up itself got AlreadyResolved with only the
subject. It now carries closed_by, the resolution key to withdraw.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-09 11:41:21 +00:00