Record proposal binding live proof

notes/epiphany-current-algorithmic-map.md

@@ -1340,3 +1340,11 @@ packaged the 21-binary core-change release in 6m46s of Cargo work. An identical
 warm package completed Cargo in 1.48s and the full hash/copy/witness path in
 18.669s. Benchmark command lines and resolved cache paths are therefore part of
 release-cache evidence; source code alone does not prove the active packager.
+
+The cache does not erase crate invalidation. Exact `58f42b6a` changed
+`epiphany-core` and required 6m50s of Cargo work; its successor `5f09d35a`
+changed only `epiphany-mvp-coordinator`, reused the core artifact, and completed
+Cargo in 29.58s. The current iteration bottleneck is the broad recompilation
+and relink fan-out of the monolithic core crate. Incremental release reuse,
+linker choice, or a deliberate authority-based crate split must be benchmarked
+as separate release-contract changes rather than mixed into a cognition fix.

notes/fresh-workspace-handoff.md

@@ -1,5 +1,23 @@
 # Fresh Workspace Handoff
 
+Exact pushed `5f09d35a` packages as
+`sha256-39a81a35d847fd6b459379d5bf3ef4fa57a3142745a10f13f4b033eea85ca45a`
+with witness
+`sha256-9cf82d9c1bdf018c36d199838598f5476acbc43818beb9fdb68840dc00be7f9b`.
+Because this commit changed only the coordinator binary, the stable release
+cache reused `epiphany-core` and Cargo completed in 29.58s; the preceding core
+change took 6m50s. The remaining iteration penalty is monolithic core
+invalidation, not universal package reconstruction.
+
+Fresh v40 replay proved the proposal startup actuator. Request `4b9414...`
+launched under persistent supervision, resident revision 5 remained running
+while its Modeling worker lived, and revision 6 completed only after the exact
+proposal launch binding existed. Typed status then advanced the pending queue
+to request `e75b60...`. The Modeling worker result failed and is not accepted,
+but the first request was consumed by its exact launch consequence rather than
+by a generic coordinator receipt. v40 is sealed as the successful
+binding-before-success boundary.
+
 Exact `58f42b6a` packages as
 `sha256-562aeb2bf246e27f2b63ed094633b63daff7ca07d5eb5f14dfcb12d47fca6daf`
 with witness

state/map.yaml

@@ -34,15 +34,15 @@ invariants:
   - Evidence and git retain history; this map retains only state that changes future decisions.
 
 current_status:
-  summary: Epiphany is a supervised engineering alpha on Starfire, not deployment-ready. Exact 58f42b6a packages as sha256-562aeb2bf246e27f2b63ed094633b63daff7ca07d5eb5f14dfcb12d47fca6daf with witness sha256-8d5ad5e2b734679c8b788445f6ad91d31468cc56d001f3d975fa34f373faf0c2. v39 proved unfulfilled proposal turns atomically requeue and receive fresh heartbeat grants, but no retry could bind Modeling because resident coordinators intentionally run in plan mode and proposal Modeling lacked the exclusive typed startup actuator used by the other request-owned lanes. The current worktree adds that actuator; all 15 coordinator tests pass. Persona consequence, retention, endurance, and Linux/Yggdrasil cognition remain open.
+  summary: Epiphany is a supervised engineering alpha on Starfire, not deployment-ready. Exact 5f09d35a packages as sha256-39a81a35d847fd6b459379d5bf3ef4fa57a3142745a10f13f4b033eea85ca45a with witness sha256-9cf82d9c1bdf018c36d199838598f5476acbc43818beb9fdb68840dc00be7f9b. v40 proved proposal Modeling creates its exact launch binding before resident success: resident stayed running through worker life, completed afterward, and typed queue ownership advanced from request 4b9414 to e75b60 only after that binding. The worker result failed and remains unaccepted, so proposal result review/recovery is the next live boundary. Persona consequence, retention, endurance, and Linux/Yggdrasil cognition remain open.
   operational_state:
-    local_worktree: proposal_modeling_startup_actuator_verified_pending_commit
+    local_worktree: clean_after_live_v40_binding_proof
     operator_wireguard: restored
     yggdrasil: canonical_small_public_crossing_body
     starfire: temporary_epiphany_cognition_body
     starfire_runtime_identity: epiphany-starfire
     starfire_swarm_brake: released
-    starfire_release: authenticated_58f42b6a_unfulfilled_retry; startup_actuator_successor_pending
+    starfire_release: authenticated_5f09d35a_proposal_startup_actuator
     starfire_repository_body: bound_and_observed
     starfire_verse_topology: bound_to_current_repository_body
     starfire_native_status: supervised_shakedown_active
@@ -53,7 +53,7 @@ current_status:
     yggdrasil_epiphany_services: absent
     resident_physiology: heartbeat_and_self_running
   unresolved_authority: v31's generic user proposal produced a lawful direct Hands gate, but the active objective requires the autonomous Imagination-origin path and dedicated Mind adoption, so that gate remains inert. v37 proved single-owner pressure ordering but exposed that generic coordinator completion could consume a typed pressure without its requested launch consequence. The fulfillment repair is locally verified but not packaged/live. Canonical proposal Modeling, dedicated Mind adoption, exact Hands binding, bounded-worker failure/restart/closure, Persona consequence, retention, endurance, and Linux/Yggdrasil cognition remain open.
-  next_action: Commit, package, and authenticate the proposal Modeling startup actuator; replay the sealed v39 boundary and prove the exact launch binding appears before resident success and only then the next selected proposal becomes pressure. Then continue canonical Imagination planning, dedicated Mind, Hands, and bounded-worker failure/restart/Soul closure.
+  next_action: Record and push the v40 binding-before-success proof, then drive the failed proposal Modeling result through typed failure review/recovery without accepting it. Continue the remaining proposal queue into canonical Imagination planning, dedicated Mind, Hands, and bounded-worker failure/restart/Soul closure.
 
 active_subgoals:
   - Prove Persona, Self, Eyes, Modeling, Imagination, Hands, Soul, Mind, Continuity, and nervous-system behavior individually.