docs: Record sole current-work projection
This commit is contained in:
parent
0a97eef8d8
commit
d15404c57b
5 changed files with 31 additions and 8 deletions
|
|
@ -1,8 +1,8 @@
|
|||
# Epiphany current algorithmic map
|
||||
|
||||
Updated: 2026-08-24
|
||||
Latest committed implementation cut: `cd2177e8` on `codex/epiphany-shakedown-live`
|
||||
Current worktree cut: documentation/evidence for strict runtime session ownership;
|
||||
Latest committed implementation cut: `0a97eef8` on `codex/epiphany-shakedown-live`
|
||||
Current worktree cut: documentation/evidence for sole current-work projection ownership;
|
||||
Ox17 remains paused
|
||||
|
||||
This document describes the live machine. Historical cuts, rejected paths, and
|
||||
|
|
@ -280,6 +280,14 @@ objective, creation time, or coordinator note. Those fixtures now use
|
|||
treated as a replay. Runtime schema remains v21 because the serialized shape is
|
||||
unchanged.
|
||||
|
||||
Current typed work has one assembler. Exact `0a97eef8` deletes the separate
|
||||
Body-only and unresolved-Body projectors, which reopened Body, RepoModel, and
|
||||
runtime state to reconstruct subsets already owned by `project_current_work`.
|
||||
It also deletes three unused per-job continuation wrappers that each rebuilt
|
||||
the entire projection. Live coordinator review selectors consume the one shared
|
||||
slice directly. The retained lifecycle proof confirms projection remains
|
||||
thread-free and performs no live Body scan.
|
||||
|
||||
Bifrost owns its private feedback-signing identity. Exact `94098223` deletes
|
||||
Epiphany's host-identity executable and the private signer, persisted identity,
|
||||
enrollment, platform protection, and anchor-export implementation behind it.
|
||||
|
|
|
|||
|
|
@ -300,7 +300,10 @@ Cut in this order:
|
|||
from explicit external-evidence obligations. Body-generation Modeling
|
||||
identity, typed Body-to-Mind admission, sealed reasoning, and atomic decision
|
||||
admission are landed. Current-work no longer reads the external Body store;
|
||||
status consumes the shared projection.
|
||||
status consumes the shared projection. Exact `0a97eef8` deletes the later
|
||||
callerless Body-only/unresolved-Body reconstruction paths and three unused
|
||||
per-job continuation wrappers, leaving `project_current_work` as the sole
|
||||
slice assembler.
|
||||
3. **Baseline transaction landed at `9f7b164f`; operator routing at `587c56d2`; Resident continuation and keyed acceptance at `478fb923`:** baseline Body Modeling is now thread-free from unresolved Body obligation through Launch/Wait/Review and exact Mind admission. Resident and operator callers consume the same family projection and acceptance owner. Thread ID remains immutable pass provenance only.
|
||||
4. **Proposal Modeling landed at `d1b031cb`:** its immutable request, worker launch, runtime attempt/result, and `Modeling.proposal_frontier` commit now own Launch/Wait/Review and admission. The aggregate launcher refuses proposal cargo; the old selector, validator, context builder, and generic-launch hint are deleted. Body and Proposal share only the exact-envelope launch CAS invariant, not a mutable family registry. Exact `b0a4978d` deletes the later duplicate launch-binding document entirely; the worker launch is the sole launch owner.
|
||||
5. **Continuation vocabulary landed at `e404c105` and was named truthfully at `fc5d1a4a`:** concrete pass families share one pure `EpiphanyAgentPassContinuationAction`; their semantic requests, projections, validators, and admission owners remain separate.
|
||||
|
|
|
|||
|
|
@ -2,8 +2,8 @@
|
|||
|
||||
Updated: 2026-08-24
|
||||
Branch: `codex/epiphany-shakedown-live`
|
||||
Latest committed implementation cut: `cd2177e8`
|
||||
Current worktree: documentation/evidence for strict runtime session ownership;
|
||||
Latest committed implementation cut: `0a97eef8`
|
||||
Current worktree: documentation/evidence for sole current-work projection ownership;
|
||||
Ox17 remains paused
|
||||
|
||||
## Orientation
|
||||
|
|
@ -15,7 +15,7 @@ Idunn's Yggdrasil CI/CD task with local compiler work, or wake resident
|
|||
cognition without an explicit operator resumption.
|
||||
|
||||
Epiphany is a supervised engineering alpha. Exact source `d2ca6630` remains the
|
||||
production symlink body and is inactive. Exact `cd2177e8` is the current
|
||||
production symlink body and is inactive. Exact `0a97eef8` is the current
|
||||
build-affecting source. Historical live proofs remain evidence; they do not
|
||||
authorize the next capstone or Gate 1.
|
||||
|
||||
|
|
@ -45,6 +45,17 @@ authorize the next capstone or Gate 1.
|
|||
|
||||
## What just landed
|
||||
|
||||
Exact `0a97eef8` makes `project_current_work` the sole assembler of current
|
||||
typed work. The callerless Body-only and unresolved-Body projectors separately
|
||||
reopened Body, RepoModel, and runtime state to derive information already in
|
||||
that slice. Three callerless per-job continuation wrappers also rebuilt the
|
||||
whole projection; the live coordinator already uses the retained family review
|
||||
selectors. All five duplicate mouths are gone. The keyed Modeling/Research
|
||||
lifecycle still proves thread-free routing and zero live Body rescans;
|
||||
coordinator 5/5 passes. The cut removes 49 net maintained lines without a
|
||||
schema, target, test, or Atlas change. Live inter-swarm collaboration remains
|
||||
unproven.
|
||||
|
||||
Exact `cd2177e8` deletes the duplicate public `ensure_runtime_session` writer.
|
||||
Only two model-runtime test fixtures called it, and an active ID collision made
|
||||
it return the existing session without comparing objective, creation time, or
|
||||
|
|
@ -79,7 +90,7 @@ the live resident fields. Runtime writable state advances to v20. JSON schemas
|
|||
parse; core check, old-epoch refusal, coordinator 5/5, and swarm 4/4 pass. The
|
||||
cut removes 59 maintained lines and leaves `runtime_spine.rs` at 9,807 lines.
|
||||
|
||||
Continue the runtime-spine/test-liability audit after exact `cd2177e8`. Model Atlas remains protected
|
||||
Continue the public-API/test-liability audit after exact `0a97eef8`. Model Atlas remains protected
|
||||
for its first live inter-swarm collaboration trial.
|
||||
|
||||
Exact `3ed1d564` deletes the public
|
||||
|
|
|
|||
Binary file not shown.
|
|
@ -63,6 +63,7 @@ current_status:
|
|||
coordinator_terminal_receipt_cut: Exact 63d2991e advances EpiphanyCoordinatorRunReceipt to v1 and deletes seven unread cargo families: step count, model-provider echo, runtime-store path, artifact and sealed-artifact lists, arbitrary metadata, and final runtime-job echo. The receipt retains terminal status/action/reason, timestamp, session/thread identity, plan-or-execute mode, and exact resident grant/launch/policy/argv/objective/release/manifest/executable provenance. Operator artifacts remain only in the non-authoritative summary; model requests and runtime jobs retain their own provider and job truth. The published JSON schema now matches the live typed receipt instead of rejecting its omitted resident fields. Runtime writable epoch is v20. Core check, old-epoch refusal, coordinator 5/5, and swarm 4/4 pass; 59 maintained lines are gone. Model Atlas is untouched.
|
||||
runtime_lifecycle_document_cut: Exact 196222d9 makes runtime sessions and jobs lifecycle documents rather than second result records. Session metadata and job metadata had no reader; every producer wrote an empty map. Job summary and artifact refs had no reader; every launch supplied empty artifacts, while the terminal EpiphanyRuntimeJobResult already owns the consequential summary and artifact references. Those four fields, the launch-option echoes, completion merges, and caller literals are gone. The session retains objective/coordinator note; the job retains exact session/role/status/time identity. Runtime writable epoch is v21 and the closed session/job catalog schemas are v1. Core and OpenAI libraries compile; old-epoch refusal, model-failure audit, model-produced completion, coordinator 5/5, and native tool-runtime 4/4 pass. The cut removes 95 net maintained lines, leaves runtime_spine.rs at 9,766 lines with the same 54 public functions and 25 public structs, and does not touch Model Atlas or claim collaboration acceptance.
|
||||
strict_session_writer_cut: Exact cd2177e8 deletes ensure_runtime_session, a duplicate public session writer used only by two model-runtime test fixtures. On an active ID collision it returned the existing session without comparing objective, creation time, or coordinator note, allowing stale fixture context to masquerade as exact replay. Both fixtures now use create_runtime_session, whose sole semantic is new diagnostic session creation with explicit collision refusal. No compatibility path or replacement abstraction was added. Core checks, the model-produced completion proof, and packaged model runtime 11/11 pass. The cut removes 37 net maintained lines; runtime_spine.rs is 9,730 lines with 53 public functions and 25 public structs. Runtime remains v21 and Model Atlas is untouched.
|
||||
current_work_projection_cut: Exact 0a97eef8 makes project_current_work the sole assembler of the current typed work slice. The callerless current_body_modeling_work and unresolved_body_modeling_work paths independently reopened Body, RepoModel, and runtime state to reconstruct subsets already derived by the aggregate projection. Three callerless per-job continuation-action wrappers likewise rebuilt the entire projection while the live coordinator consumes the retained family review-job selectors. All five duplicate mouths are gone. The keyed Modeling/Research lifecycle still proves thread-free routing and zero live Body rescans; coordinator 5/5 passes. The cut removes 49 net maintained lines from current_work.rs without changing schema, tests, targets, or Atlas.
|
||||
supervisor_subtraction: Exact 856648de completes the supervisor deletion. Epiphany owns no local generic daemon supervisor, semantic projector service, workspace-coverage projector, Windows Task Scheduler integration, or service-policy/lifecycle/heartbeat/recovery mirror. Idunn on Yggdrasil owns source-triggered compilation, testing, packaging, deployment, signed health, and daemon survival. The canonical Epiphany brake gates Epiphany cognition and consequence authority, not Idunn startup or unrelated lifecycle.
|
||||
launch_dependency_cut: Exact 2aeab7a9 deletes the generic organ dependency matrix, generic receipt catalogue/proof profiles, persisted worker-launch cargo, Persona prompt injection, evaluator, and three self-certifying tests: 700 net lines. Family admission owners derive exact dependencies from typed state. Worker-launch schema v2 and Persona projector prompt v1 refuse the old writable shape. Core 378/378, OpenRouter runtime 27/27, packaged runtime 13/13, and Persona re-entry 1/1 pass.
|
||||
operator_surface_subtraction: Exact ef92e853 deletes the callerless view-lens registry, legacy acceptance-bundle builders, test-only raw-JSON result interpreters, and six tests: 797 net lines. Exact a292979d and 77e817c1 delete the duplicate CRRC recommendation algorithm, its unused input model, and four tests: 206 lines. Exact 3b94bf6e and 59c5e3a6 delete the nested duplicate status view, false auxiliary mode, and ignored status arguments. Exact 7c9b0cf3 deletes the fixed synthetic job table, role-board job cargo/mappers, and its test: 338 net lines. Exact 2ce91461 deletes the scene/planning Mind reconstructions, duplicate self-policy crate, unused prompt templates, four counterfeit schemas, and ten producer/source-text tests: 1,723 net lines. Exact 78836f3b deletes eight unconsumed status tableaux, the pressure calculator production only called without telemetry, its unreachable compaction action, one counterfeit schema, and six tests: 518 net lines. Exact f10f7fb3 deletes the final twelve epiphany.surface.* schemas and ten catalog entries after every one proved producerless and consumerless: 692 pure deletions. Exact ab3cacfb deletes thirty-one more producerless contracts, the false runtime-session mutation mouth, every Epiphany-owned Rider/Unity command schema, a callerless prompt-context module, its test-only specialist prompt system, and four self-affirming tests: 3,514 net lines. Exact 16d85b1b deletes six duplicate JSON-schema builder tests and two OpenAI-runtime self-source searches: 209 pure test-line deletions. Exact 06f93f70 deletes the test-only inverse OpenAI-to-native request mapper and makes two retained tests follow canonical native-to-provider derivation: sixty net lines. The local catalog now has twenty-three live or portable contracts. Brokkr owns Unity capabilities through CultMesh/Eve; a future Rider daemon owns Rider. Status retains Mind identity, exact current work, one action/reason decision, readable role lanes, and operator thought sealing. Core checks cleanly; retained provider and focused request-flow tests pass.
|
||||
|
|
@ -125,7 +126,7 @@ current_status:
|
|||
yggdrasil_epiphany_service_contract: idunn_source_change_owner_eve_and_local_typed_operator_surfaces_no_discord_control_plane
|
||||
resident_physiology: historical_c011_exact_465af24d_zero_zombie_proof_accepted_current_containers_exited_255
|
||||
unresolved_authority: `runtime_spine.rs` remains the largest central liability at 9,730 lines, 53 public functions, and 25 public structs; it still mixes immutable identity, sessions/jobs, process claims, model/tool execution binding, family request admission, consequence receipts, retention, and narrow identity/schema reads. Sessions and jobs now carry only lifecycle identity/status; terminal result documents own summaries and artifacts. The lenient duplicate session ensure writer is gone; the strict diagnostic creator refuses identity collisions. All persisted family launch-binding documents, the standalone verdict-driven Modeling writer, and coordinator artifact/status cargo are gone; immutable worker launches plus typed family requests and atomic admission receipts own launch ancestry and downstream work creation. Continue splitting only by deleting callerless or duplicate authority and auditing tests against consequential behavior; do not create family frameworks or adapters. The current gamecult-ops Epiphany unit has retired agent-store and daemon-id argv that its owning lane must fix before deployment. Bifrost's Discord delivery path is a real consumer of Epiphany's short-lived request-bound permit signature, so the distinct permit identity/process remains an earned privilege boundary; current Ygg deployment doctrine still points that crossing at the old Starfire endpoint and installs no issuer unit, which the Idunn lane must repair before Persona consequence readiness. Historical c011 and partial Gate roots stay untouched/read-only.
|
||||
next_action: Resume the public runtime-spine and test-liability audit after exact cd2177e8. Trace each remaining public surface and test to a live consumer and consequential invariant; delete duplicate summaries, mutation wrappers, and implementation-spelling proofs, but preserve exact identity, decision audit, conflict/replay, retry ancestry, retention fences, terminal Self provenance, and the complete unrun Model Atlas inter-swarm vertical slice. Do not mistake component tests for collaboration acceptance. Do not run a local full-workspace compile, package, deployment, Ox root, or Model Atlas Gate run.
|
||||
next_action: Resume the public API and test-liability audit after exact 0a97eef8. Trace each remaining public surface and test to a live consumer and consequential invariant; delete duplicate projections, mutation wrappers, and implementation-spelling proofs, but preserve exact identity, decision audit, conflict/replay, retry ancestry, retention fences, terminal Self provenance, and the complete unrun Model Atlas inter-swarm vertical slice. Do not mistake component tests for collaboration acceptance. Do not run a local full-workspace compile, package, deployment, Ox root, or Model Atlas Gate run.
|
||||
|
||||
runtime_spine_surface_cut: `runtime_spine.rs` owns immutable runtime identity, exact sessions/jobs and process claims, model/tool execution bindings, family admission, consequence receipts, retention, and identity-resurrection fences. Session/job documents carry only lifecycle identity and status; terminal job results carry summaries, evidence, artifacts, and decision-context identity. The sole standalone diagnostic session creator refuses identity collisions; there is no lenient ensure/rebase mouth. It exposes no aggregate status head, global revision, generic role patch, caller-authored mutation surface, duplicate prompt-state projection, persisted family launch-binding document, standalone verdict-driven Modeling writer, coordinator artifact/status cargo, or public typed-fulfillment machinery. Completed model-session retention writes one private resurrection tombstone. Archived worker retention writes one decision-bearing historical record with exact request/terminal identity, deletion digest, decision context, structured role result, and terminal job records; duplicate IDs, timestamps, count summaries, and returned archive vectors own nothing and are absent. Coordinator terminal receipts retain only terminal Self decision and exact resident-launch provenance. Mind/runtime writable epochs are v8/v21, runtime session/job catalog schemas are v1, archived-session schema is v1, archived-worker-attempt schema/type is v2, coordinator-run-receipt schema/type is v1, and claim-obligation schema is v3. The spine is 9,730 lines with 53 public functions and 25 public structs. Continue subtraction by tracing each remaining public surface and verifier to a live consumer and consequential invariant; do not replace deleted authority with registries, adapters, compatibility readers, or summary DTOs.
|
||||
|
||||
|
|
|
|||
Reference in a new issue