Preserve chosen member migration in interpretation

This commit is contained in:
Meta Vens 2026-08-18 00:29:30 +02:00
commit 585fa80617
5 changed files with 41 additions and 9 deletions

View file

@ -115,6 +115,12 @@ explicit `current_posture`; institution pressure is no longer smuggled through
`pressures[0]`. Projector, Interpreter, and local validation share the same
unambiguous baseline.
A subsequent strict preflight revealed a lossy Interpreter mapping: Mira chose
to board for South Harbor, but the typed effect recorded only local preparation
and the semantic verifier accepted it. The migration contract now states both
directions explicitly. Chosen travel within the strategic horizon is
`member_migration`; preparation is reserved for a still-unchosen departure.
The multiresolution body is deployed on Starfire. Typed health matched the
immutable release, DeepSeek was ready, and the disposable live strategic-cell
smoke committed three offscreen events plus three accessible news items without

View file

@ -102,6 +102,12 @@ activity conflict on one member key. A destination population cannot inherit
the person's offer, speech, or decision merely because the cover placed them
in the same arena.
A named member's explicit commitment to board, depart, travel, or join a
supplied destination maps to `member_migration`, even when the first narrated
motion is only entering a queue. `member_activity: prepare` is valid only while
departure remains unchosen. The Interpreter and semantic verifier share this
distinction.
Population scale uses reversible individuation:
```text