huginn-mind: a campaign moves out of a mind (Moved freeze, import provenance)

eureka commented

2026-11-08 18:31:21 +00:00

Owner

Cut eureka-body:cut_spec:cut-campaign-move-mind-side.r1. Reports h1, h2. Soul s2 may-merge: aetheria-release moved on a cold-backup copy changed exactly its 2,537 open documents; all 1,382 receipts replayed into a copy of Heimdall's mind with zero mismatches. F1-F4 fixed; F5 and F6 are Low and go to the import verb's pass.

🤖 Generated with Claude Code

Cut eureka-body:cut_spec:cut-campaign-move-mind-side.r1. Reports h1, h2. Soul s2 may-merge: aetheria-release moved on a cold-backup copy changed exactly its 2,537 open documents; all 1,382 receipts replayed into a copy of Heimdall's mind with zero mismatches. F1-F4 fixed; F5 and F6 are Low and go to the import verb's pass. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

eureka added 8 commits

2026-11-08 18:31:21 +00:00

eureka-pipeline: a resolution outcome Moved { to } closes a campaign for the mind that gives it up f29e15481e

Additive resolution v2 variant, bounded as a Slug; the golden gains one line, the published schema one arm. Admission owns when it may be written.

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

huginn-mind: a Moved resolution freezes its campaign's root and the receiver replays the history as an import naming its source c76e37280d

The giver: (Campaign, Moved) joins the matrix; a Moved to this mind refuses MoveToSelf and a withdrawn Moved MoveIsFinal; any staged document rooted at a moved campaign, derived ones included, refuses CampaignMoved; Docs::closing_resolution reads every other document under the root closed by the Moved, and the image fans status_changed out so an earlier as_of still reads in force. The oracle derives the same fallback independently.

The receiver: PipelineProvenance.imported_from (optional, absent from every other receipt and from the digest) names the source receipt and the externals the batch cites. An import derives nothing, refuses its own instance, a Moved outcome, and an external this mind holds; a listed external stands in for an absent referent. mind-body persona.rs gains one outcome_words arm for the new variant.

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

huginn view: the header names an imported document's source and a moved document's receiver c4d38bcea5

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

huginn-mind: a moved campaign's closer is the Moved alone; the external listing names its referent b65eaa1fa9

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

huginn-mind: a Moved resolution lands alone under its root 3114e011e4

A sibling written in the Moved's batch froze with the campaign and never reached the receiver, whose replay stops before the Moved. A8 now refuses any staged document, derived ones included, rooted at a campaign whose Moved is in the same batch (CampaignMoved), on the giver and on import alike.

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

huginn-mind: an import carries only a campaign's history, under a root only imports have written 1533755425

Import mode turns derivation off, so it is open to any document whose derived writes native admission would have made: an imported hand-off left the steward's stewardship in force beside it, an imported ruling answered a question the Answered of which was never written and let a native ruling answer it again. A8 now refuses an import (ImportOutsideCampaign) unless each document's root names a campaign this mind holds or the batch carries and no native write has touched that root. Instance-rooted records have no campaign and never qualify. Replays that build a campaign from imports alone are untouched; the move tests that built the receiver natively now build it by import.

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

huginn-mind: replay detection compares provenance 905c293396

Whoever wrote a batch first decided its attribution: a native writer of a batch already imported was told AlreadyAdmitted and the record kept naming the source, and an import of a batch another source landed read the same. A9 now treats a stored receipt as a replay only when its imported_from equals the candidate's; otherwise the batch meets its own identities at A10 (IdentityCollision). A source naming this mind in another case is another mind, as the instance grammar already rules, and is pinned by a test.

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

huginn-mind: a campaign cannot be moved out of this mind's own instance root 0d4cccc157

A campaign slugged like the mind shares a root with the instance, its stewardships, memories and thoughts, so its Moved froze and closed all of them. A8 refuses such a Moved (MoveOfInstanceRoot); an import of the same campaign is refused already, the instance's records being native writes under its root.

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

eureka merged commit 660e1491b1 into main

2026-11-08 18:31:22 +00:00

eureka referenced this pull request from a commit

2026-11-08 18:31:23 +00:00

Merge pull request 'huginn-mind: a campaign moves out of a mind (Moved freeze, import provenance)' (#15) from hands/eureka-body-campaign-move-mind-side into main

Rows
Columns

huginn-mind: a campaign moves out of a mind (Moved freeze, import provenance) #15