Import: resolution of a window follow-up or idea is inert #23

Merged

eureka merged 1 commit from eureka/import-inert-resolutions into main

2026-11-09 12:05:25 +00:00

eureka commented

2026-11-09 11:48:21 +00:00

Owner

Follow-up chat-mind-20261109T100405254Z-t59. huginn import ratatoskr against Void's mind refused on 12 follow_up.*.n1 resolutions Void's Persona admitted for her own follow-ups after the import began (and stopped, before the batch with campaign.self.n1).

Change: inert_in_window now also passes a Resolution whose subject is a follow-up or idea that the import does not replay. Two callers, one predicate: the tool's window_writes (subject not in the plan) and the daemon's root_holds_native_write (subject is not an imported row). Resolutions of replayed follow-ups, of other kinds, and anything admitted before the import began still refuse. No record is deleted or overwritten.

Tests: a_resolution_of_a_window_follow_up_does_not_block_the_resume (tool; red before the change, panicked at the resume), an_import_resumes_past_the_resolution_of_a_follow_up_the_receiver_wrote_after_it_began (daemon; written with the change, not witnessed red). cargo test -p eureka-state --bin huginn 23 pass; the an_import_ tests in huginn-mind pass. Full huginn-mind suite not run on this branch.

Not done: not run against Void's mind (needs this built and deployed; Void's mind untouched). Needs a second reader before merge, ideally someone who has read import-window-writes-ruled.

🤖 Generated with Claude Code

Follow-up chat-mind-20261109T100405254Z-t59. `huginn import ratatoskr` against Void's mind refused on 12 `follow_up.*.n1` resolutions Void's Persona admitted for her own follow-ups after the import began (and stopped, before the batch with `campaign.self.n1`). Change: `inert_in_window` now also passes a `Resolution` whose subject is a follow-up or idea that the import does not replay. Two callers, one predicate: the tool's `window_writes` (subject not in the plan) and the daemon's `root_holds_native_write` (subject is not an imported row). Resolutions of replayed follow-ups, of other kinds, and anything admitted before the import began still refuse. No record is deleted or overwritten. Tests: `a_resolution_of_a_window_follow_up_does_not_block_the_resume` (tool; red before the change, panicked at the resume), `an_import_resumes_past_the_resolution_of_a_follow_up_the_receiver_wrote_after_it_began` (daemon; written with the change, not witnessed red). `cargo test -p eureka-state --bin huginn` 23 pass; the `an_import_` tests in huginn-mind pass. Full huginn-mind suite not run on this branch. Not done: not run against Void's mind (needs this built and deployed; Void's mind untouched). Needs a second reader before merge, ideally someone who has read `import-window-writes-ruled`. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

eureka added 1 commit

2026-11-09 11:48:21 +00:00

Import: the resolution of a follow-up or idea the receiver wrote is inert in the window 0c4e700b9e

inert_in_window covered FollowUp and Idea only, so a receiver's own resolution
of such a record, admitted after the import began, refused the rerun in both
the tool (resume/window_writes) and the daemon (root_holds_native_write).
A Resolution whose subject is a follow-up or idea the plan does not replay
touches nothing planned and now stays beside the replay. One predicate, both
callers; the resolution of a replayed follow-up, or of any other kind, still
refuses.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

eureka merged commit 563b6f3bf4 into main

2026-11-09 12:05:25 +00:00

eureka referenced this pull request from a commit

2026-11-09 12:05:25 +00:00

Merge pull request 'Import: resolution of a window follow-up or idea is inert' (#23) from eureka/import-inert-resolutions into main

No reviewers

No labels

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

GameCult/Huginn!23

No description provided.

Rows
Columns