From bae9d338e4a3d1e06b4342acc5cb5ef0c5ecde0d Mon Sep 17 00:00:00 2001 From: Meta Vens Date: Mon, 24 Aug 2026 01:20:59 +0200 Subject: [PATCH] Record sole Proposal launch authority --- notes/epiphany-current-algorithmic-map.md | 18 +++++++++-------- notes/epiphany-fork-implementation-plan.md | 7 ++----- notes/fresh-workspace-handoff.md | 22 ++++++++++----------- state/ledgers.msgpack | Bin 694225 -> 694871 bytes state/map.yaml | 10 +++++----- state/scratch.md | 13 ++++++++++-- 6 files changed, 39 insertions(+), 31 deletions(-) diff --git a/notes/epiphany-current-algorithmic-map.md b/notes/epiphany-current-algorithmic-map.md index 997f0eee..3a177b32 100644 --- a/notes/epiphany-current-algorithmic-map.md +++ b/notes/epiphany-current-algorithmic-map.md @@ -1,8 +1,8 @@ # Epiphany current algorithmic map Updated: 2026-08-24 -Latest committed implementation cut: `6831eb69` on `codex/epiphany-shakedown-live` -Current worktree cut: Proposal-Modeling launch-binding subtraction; Ox17 remains paused +Latest committed implementation cut: `b0a4978d` on `codex/epiphany-shakedown-live` +Current worktree cut: Proposal-Modeling launch-authority deletion; Ox17 remains paused This document describes the live machine. Historical cuts, rejected paths, and proof chronology belong in git, `state/ledgers.msgpack`, and bounded smoke @@ -212,11 +212,13 @@ Body/domain binding, and canonical Modeling request; validation reads those facts from their owning immutable documents instead of copying them into the join record. -Proposal-Modeling launch provenance is also a narrow join. Exact `6831eb69` -reduces its persisted binding from twelve fields to schema, request ID, job ID, -and exact launch-document digest. The request owns proposal/runtime/thread; the -launch owns role/binding/document; the binding key derives from the job ID. -Fulfillment and archival read that exact key rather than scanning every binding. +Proposal-Modeling has no second launch record. Exact `b0a4978d` deletes the +persisted binding after its minimized form proved to own nothing. The immutable +worker launch carries the typed request reference, job, role, binding, and sealed +document; current-work, retry counting, fulfillment, coordinator actuation, and +archival all read that owner directly. Body Modeling, Planning, PlanMind, +Imagination consideration, and Reorientation bindings remain under the same +audit; family-specific semantic requests remain mandatory. Bifrost owns its private feedback-signing identity. Exact `94098223` deletes Epiphany's host-identity executable and the private signer, persisted identity, @@ -827,7 +829,7 @@ Accepted through the local `5b799b12` source boundary: Open before Model Atlas Gate 1 resumes: -1. let Idunn compile, test, and seal exact build-affecting source `6831eb69`; +1. let Idunn compile, test, and seal exact build-affecting source `b0a4978d`; 2. use that exact package in private fresh-store Ox17; stop after three provider failures total, and prove direct Body Modeling, typed refusal-to-retry if exercised, Hands through Verification, exact context diff --git a/notes/epiphany-fork-implementation-plan.md b/notes/epiphany-fork-implementation-plan.md index 26da65b4..e9956fe7 100644 --- a/notes/epiphany-fork-implementation-plan.md +++ b/notes/epiphany-fork-implementation-plan.md @@ -224,7 +224,7 @@ Delete or demote: Keep the five-day shakedown, Ox17 deployment, and Model Atlas operational Gate 1 paused. Continue the source-subtraction and test-authority audit from exact -`6831eb69`. The current sequence has deleted the semantic-memory/workspace-coverage +`b0a4978d`. The current sequence has deleted the semantic-memory/workspace-coverage projection system, its local daemon supervisor, and the surviving generic RepoModel profile, impossible lifecycle, producerless receipt/summary, and decorative scoring axes. Modeling consumes typed Body and keyed RepoModel state @@ -302,10 +302,7 @@ Cut in this order: admission are landed. Current-work no longer reads the external Body store; status consumes the shared projection. 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, exact launch binding, 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 `6831eb69` later reduces that launch binding from twelve mirrored fields - to request ID, job ID, and exact launch digest under its schema; validators - fetch the deterministic job-derived key directly. +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. 6. **Dormant claim-repair authority deleted at `20dd66c8`:** no request/binding/context schema, runtime carrier, coordinator branch, result cargo, export, or model lowering survives. The independent Eyes challenge fact remains. The same pass fixed two-snapshot Body/Proposal launch derivation and stress-proved single Proposal launch 20/20. 7. **Frontier-verdict Modeling landed at `d367e525`:** one exact Soul verdict diff --git a/notes/fresh-workspace-handoff.md b/notes/fresh-workspace-handoff.md index f5b09382..25a05264 100644 --- a/notes/fresh-workspace-handoff.md +++ b/notes/fresh-workspace-handoff.md @@ -2,8 +2,8 @@ Updated: 2026-08-24 Branch: `codex/epiphany-shakedown-live` -Latest committed implementation cut: `6831eb69` -Current worktree: documentation/evidence for Proposal-Modeling launch-binding subtraction; +Latest committed implementation cut: `b0a4978d` +Current worktree: documentation/evidence for Proposal-Modeling launch-authority deletion; 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 `6831eb69` is the current +production symlink body and is inactive. Exact `b0a4978d` is the current build-affecting source. Historical live proofs remain evidence; they do not authorize the next capstone or Gate 1. @@ -45,14 +45,14 @@ authorize the next capstone or Gate 1. ## What just landed -Exact `6831eb69` reduces the Proposal-Modeling launch binding from twelve -persisted fields to four: schema, exact request ID, job ID, and launch-document -digest. The request owns proposal/runtime/thread identity; the launch owns -role/binding/document identity; the CultCache key derives from the job ID. -Fulfillment and archival now fetch that exact document rather than scanning all -bindings. The full keyed retry/admission/archive lifecycle and old-epoch refusal -pass, OpenAI runtime checks cleanly, and 71 net source lines are gone. Runtime -writable state is v16. +Exact `b0a4978d` deletes the Proposal-Modeling launch-binding document family. +The immutable worker launch already owns the exact typed request reference, job, +role, binding, and sealed launch document. Current-work, retry counting, +fulfillment, coordinator actuation, and archival now consume it directly. The +registry entry, launch-digest mirror, deletion choreography, and operator JSON +echo are gone. The broad keyed lifecycle, coordinator target, OpenAI runtime, +and old-epoch refusal pass. The cut removes 70 net source lines and advances +runtime writable state to v17. Exact `6ccc7dd2` deletes the private 20-field Hands receipt-chain summary. The Hands commit owner now derives the deterministic Verification request directly diff --git a/state/ledgers.msgpack b/state/ledgers.msgpack index f930b7b5955c05d13b57431f349e595e8443fc58..7a88c2d5273481dc23dd5412a1988e74d9375a1a 100644 GIT binary patch delta 651 zcmYjOO=}cE6m-__^&*}ExjgU|X2LMLniv&P@DL<1Xz<{zxBJa*Yky2$_v~gw$iahu zAj{yNP(eXFdGqc`@a8}9jk_xzitc`NRaaI2_^|Qw^Tx-u)20KOG{(h9K zpZw}Qdw48lgi$Vrx3;zwC^Q%`K%5{Pkgt3YCfoBo)@}?&)J{&ak#?#(Dlcn`E+NwePH(W;weZ2<%!I6njL5b(G%T5_n> JpVmsp%|CkY=sy4e delta 73 zcmcb