Record live Modeling authority proof

This commit is contained in:
Meta Vens 2026-08-08 04:07:43 +01:00
commit dae006a01c
3 changed files with 53 additions and 5 deletions

View file

@ -1317,6 +1317,20 @@ authority fields whose exact identities Mind validates. This moves the first
line of defense from a prose warning plus downstream rejection into the model's
declared output contract; Mind remains the final admission owner.
Live v42 proves that contract end to end: ordinary resident Modeling received
read-only source tools, grounded its map in inspected repository paths, emitted
only generic node/edge evolution, and reached Mind RepoModel admission. The next
split is downstream. CRRC still derives resumability from the thread state's
durable investigation checkpoint, while Modeling acceptance commits RepoModel
admission plus observation/evidence state and does not establish that
checkpoint. Consequently accepted Modeling can leave `prepareCheckpoint` true
and trigger another generic Modeling launch. Neither generic `statePatch` nor
the worker may become a second checkpoint owner. A typed proposal now asks the
frontier-planning circuit to choose one authority: either Mind admission derives
the continuity checkpoint deterministically from accepted RepoModel evidence,
or CRRC consumes canonical RepoModel admission directly. Canonical Imagination
and dedicated Mind must adopt the choice before Hands changes the seam.
## Exact release build cache ownership
Release construction has two serialized cache authorities. The graph cache is
@ -1363,3 +1377,9 @@ 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.
Exact `ecfff489` confirmed the slow case at 7m04s of Cargo work. The active
release rustc command had no incremental directory, and the root bundle built
all 21 binaries. Release incremental compilation and `rust-lld` therefore have
separate measurable hypotheses; an authority-based core crate split remains the
larger structural option if those two changes do not materially reduce edits to
the current monolith.

View file

@ -1,5 +1,33 @@
# Fresh Workspace Handoff
Fresh v42 now proves the `ecfff489` repair live. Exact release
`sha256-6e5cd9827ab6a659c8a29f1147daf8ebec52ea3d148a16905a1401c539059d79`
with witness
`sha256-8d53746348eecf2afd2a5def5539dfb544e260104fb33e3e7d0eec83573ce3dc`
gave ordinary resident Modeling its role-scoped read tools. The worker inspected
source, emitted a generic node/edge-only RepoModel evolution, and Mind accepted
it without the frontier bypass seen in v41. v41 remains sealed.
The accepted result exposed the next authority seam. RepoModel admission does
not create or replace the legacy durable investigation checkpoint consumed by
CRRC, so status remained `prepareCheckpoint` and Self launched another generic
Modeling pass. The worker cannot repair this through `statePatch`: repository
anatomy was deliberately removed from that surface, and the worker must not own
accepted checkpoint truth. Typed proposal
`proposal-v42-unify-modeling-checkpoint-authority` is selected as request
`repo-frontier-proposal-modeling-bfb37ae71693a31ea573ef3ffaeec3f9561d51afff4a9c30bb59606d54d2586f`.
Its required route is proposal Modeling -> canonical Imagination -> dedicated
Mind decision -> Hands. The proposal-bound worker is PID `32480` with a
600-second bound; poll it before launching anything else.
Exact `ecfff489` packaging took 7m04s of Cargo work. Release incremental
compilation is absent, a core edit recompiles monolithic `epiphany-core`, and
the bundle relinks 21 binaries. Benchmark `incremental=true` and `rust-lld`
independently after the cognition boundary. During v42 tool rounds `runtime.cc`
grew beyond 59 MB and exposed brief whole-file replacement windows; measure
that separately as retention/storage work rather than mixing it into the
checkpoint repair.
Fresh v41 exhausted the selected proposal queue, then exercised failure and
recovery. Two Modeling runs launched with resident `--no-auto-tools` failed
immediately because the assistant payload was empty/non-typed JSON. Supervised

View file

@ -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 5f09d35a packages as sha256-39a81a35d847fd6b459379d5bf3ef4fa57a3142745a10f13f4b033eea85ca45a with witness sha256-9cf82d9c1bdf018c36d199838598f5476acbc43818beb9fdb68840dc00be7f9b. v40 proved proposal binding-before-success and ordered queue consumption. v41 proved failed Modeling results can be supervised, superseded, and relaunched, but resident's blanket no-tools flag starved Modeling and the generic output schema offered frontier mutations ordinary evolution could never admit. Tool-enabled retries produced grounded results; Mind correctly rejected both forbidden frontier patches. The current worktree restores role-scoped tools and structurally restricts ordinary Modeling to node/edge evolution. Persona consequence, retention, endurance, and Linux/Yggdrasil cognition remain open.
summary: Epiphany is a supervised engineering alpha on Starfire, not deployment-ready. Exact ecfff489 packages as sha256-6e5cd9827ab6a659c8a29f1147daf8ebec52ea3d148a16905a1401c539059d79 with witness sha256-8d53746348eecf2afd2a5def5539dfb544e260104fb33e3e7d0eec83573ce3dc. v42 proves ordinary resident Modeling receives role-scoped source tools, emits a grounded schema-constrained node/edge RepoModel patch, and reaches Mind admission without frontier bypass. That proof exposed a split checkpoint authority: accepted RepoModel admission does not satisfy CRRC's durable investigation checkpoint, so Self relaunches generic Modeling. A selected typed proposal now routes that seam through proposal Modeling, canonical Imagination, and dedicated Mind before Hands. Persona consequence, retention, endurance, and Linux/Yggdrasil cognition remain open.
operational_state:
local_worktree: modeling_tool_and_output_authority_repair_verified_pending_commit
local_worktree: clean_at_ecfff489_live_v42_checkpoint_authority_shakedown
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_5f09d35a_proposal_startup_actuator
starfire_release: authenticated_ecfff489_modeling_tool_and_output_authority
starfire_repository_body: bound_and_observed
starfire_verse_topology: bound_to_current_repository_body
starfire_native_status: supervised_shakedown_active
@ -52,8 +52,8 @@ current_status:
bifrost_feedback_crossing: authenticated_transport_only
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 Modeling tool/output-authority repair; replay the sealed v41 recovery and prove ordinary Modeling emits an admissible node/edge-only patch, then follow CRRC into Reorientation acceptance and Continuity recovery receipt before Soul closure. Continue canonical Imagination planning, dedicated Mind, Hands, Persona, endurance, and Linux/Yggdrasil.
unresolved_authority: v42 proved Modeling tool access and ordinary output authority, but accepted RepoModel admission and CRRC's durable investigation checkpoint remain separate truths. Typed proposal proposal-v42-unify-modeling-checkpoint-authority is selected for exact proposal Modeling so canonical Imagination and dedicated Mind can choose the repair before Hands. Failure-to-Reorientation-to-Continuity-to-Soul closure, Persona consequence, retention, endurance, and Linux/Yggdrasil cognition remain open.
next_action: Complete and admit the proposal-bound v42 Modeling result, drive its actionable frontier through canonical Imagination and dedicated Mind adoption, then execute only the adopted Hands repair that gives checkpoint truth one owner. Prove CRRC advances into accepted Reorientation, a Continuity recovery receipt, and Soul closure. Benchmark release incremental compilation and rust-lld separately after this cognition boundary; measure the growing whole-file runtime store as a distinct retention problem.
active_subgoals:
- Prove Persona, Self, Eyes, Modeling, Imagination, Hands, Soul, Mind, Continuity, and nervous-system behavior individually.