From 13f8c0b7c8f4e770774a521be3abe4c7a3bb2eaa Mon Sep 17 00:00:00 2001 From: Meta Vens Date: Tue, 18 Aug 2026 05:57:47 +0200 Subject: [PATCH] Record typed Research decision cut --- notes/epiphany-current-algorithmic-map.md | 24 ++++++++++---------- notes/epiphany-fork-implementation-plan.md | 13 ++++++----- notes/fresh-workspace-handoff.md | 25 +++++++++------------ state/ledgers.msgpack | Bin 632987 -> 633459 bytes state/map.yaml | 10 ++++----- 5 files changed, 35 insertions(+), 37 deletions(-) diff --git a/notes/epiphany-current-algorithmic-map.md b/notes/epiphany-current-algorithmic-map.md index 5f992afa..91b5f7db 100644 --- a/notes/epiphany-current-algorithmic-map.md +++ b/notes/epiphany-current-algorithmic-map.md @@ -1,7 +1,7 @@ # Epiphany current algorithmic map Updated: 2026-08-18 -Latest implementation cut: `ec1431ff` on `codex/epiphany-shakedown-live` +Latest implementation cut: `e0e75a30` on `codex/epiphany-shakedown-live` This document describes the live machine. Historical cuts, rejected paths, and proof chronology belong in git, `state/ledgers.msgpack`, and bounded smoke @@ -102,10 +102,11 @@ Current migration seam: the typed basis/context foundation, concrete Body, frontier, Research, Verification, Planning, Reorientation, and Persona paths, plus worker/session/Persona archive reachability are landed. Exact `f7948795` deletes `MindGatewayReview`, `MindStateCommitReceipt` v0, the generic Mind -interpreter prompt, and their false CultNet mutation mouths. The remaining -aggregate-shaped output is `EpiphanyRoleStatePatchDocument`, used by Research -for evidence/observations and the old generic Imagination lane for planning -drafts. Exact `1c9aafd8` seals one decision context before model-backed +interpreter prompt, and their false CultNet mutation mouths. Exact `e0e75a30` +deletes the residual aggregate-shaped role patch, its parser, and its +family-policy tribunals. Research now authors one closed typed decision whose +admission owner derives keyed Mind writes; the unowned generic Imagination +planning patch is gone. Exact `1c9aafd8` seals one decision context before model-backed frontier-Planning failure terminalization and binds both the typed faculty failure and generic job result to it. Governed tool-observation coverage still needs the full store-backed refusal matrix. @@ -224,25 +225,24 @@ and the retained decision can still reach its basis/context without them. ## Verification and open gates -Accepted through `1c9aafd8`: +Accepted through `e0e75a30`: - every Epiphany core target compiles; - core library `486/486`; - OpenAI runtime library `23/23`; - model-runtime binary `10/10`; - OpenAI-runtime binary `10/10`. +- all core targets compile; generic role-patch source guards pass. Open before Model Atlas Gate 1 resumes: -1. replace live Research and Imagination uses of the generic state patch with - narrow family payloads, then delete it; -2. prove exact request/tool/receipt coverage with byte-identical refusals and +1. prove exact request/tool/receipt coverage with byte-identical refusals and transcript deletion; -3. bump/refuse old writable-store epoch with no migrator; -4. prove disjoint Persona/Hands and graph writes merge, same-identity conflicts +2. bump/refuse old writable-store epoch with no migrator; +3. prove disjoint Persona/Hands and graph writes merge, same-identity conflicts refuse, transcripts can be deleted, restart reproduces obligations, and no legacy authority resurrects; -5. run the fresh packaged capstone, then restart Model Atlas Gate 1 from a new +4. run the fresh packaged capstone, then restart Model Atlas Gate 1 from a new external root. Historical c011 and partial Gate roots remain read-only. Yggdrasil remains a diff --git a/notes/epiphany-fork-implementation-plan.md b/notes/epiphany-fork-implementation-plan.md index 99ea9c72..ee776937 100644 --- a/notes/epiphany-fork-implementation-plan.md +++ b/notes/epiphany-fork-implementation-plan.md @@ -285,14 +285,15 @@ Cut in this order: adoption CultNet mouths, and stale launch receipt profiles are gone. CultMesh and runtime schema catalogues expose only reasoning basis, decision context, and exact Mind commit receipt as read-only audit projections. -14. **Model-backed Planning failure repaired at `1c9aafd8`:** the runtime seals +14. **Model-backed Planning failure repaired at `1c9aafd8`; generic role patch + deleted at `e0e75a30`:** the runtime seals one exact terminal decision context before writing a typed frontier-Planning failure, and the typed failure plus generic job result cite that same - context. Transport-only failure remains physiological. Next, replace the - residual aggregate-shaped `EpiphanyRoleStatePatchDocument` with narrow - Research evidence/observation and Imagination planning payloads, delete its - generic parser/policy surface, and complete the store-backed governed-tool - substitution matrix. + context. Transport-only failure remains physiological. Research emits one + closed typed decision and its owner derives keyed Mind writes. The unowned + generic Imagination planning lane, generic patch parser, and policy + tribunals are gone. Next, complete the store-backed governed-tool + substitution matrix and transcript-deletion proof. 15. Refuse old writable-store epochs and replay fresh-store disjoint concurrency, same-identity conflict, transcript deletion, restart, and re-entry. Only then restart Model Atlas Gate 1 from a new external root. diff --git a/notes/fresh-workspace-handoff.md b/notes/fresh-workspace-handoff.md index 02a44b1e..f1c25cbf 100644 --- a/notes/fresh-workspace-handoff.md +++ b/notes/fresh-workspace-handoff.md @@ -2,7 +2,7 @@ Updated: 2026-08-18 Branch: `codex/epiphany-shakedown-live` -Latest implementation cut: `1c9aafd8` +Latest implementation cut: `e0e75a30` ## Orientation @@ -38,6 +38,12 @@ The global thread-state authority is gone. frontier-Planning failure is written. The typed faculty failure and generic runtime job now cite the same context; transport-only failure remains physiological and cannot impersonate a Mind decision. +- `e0e75a30` deletes `EpiphanyRoleStatePatchDocument`, its generic parser and + three role-policy tribunals. Research now emits one closed + `EpiphanyResearchDecision`; its admission owner derives keyed evidence, + observation, and checkpoint writes. The old generic Imagination planning + patch had no current-work owner and was deleted rather than generalized. + Runtime role-result and worker output contracts advanced to v4. There is no compatibility aggregate, dual reader, bootstrap thread, or migrator. Thread identifiers may survive only as immutable pass-creation @@ -105,12 +111,6 @@ explicit external-evidence obligations; Eyes does not gate Body Modeling. The broader Decision-Auditable Concurrent Mind migration is incomplete. -`EpiphanyRoleStatePatchDocument` remains an aggregate-shaped model output mouth. -Research currently uses it to carry evidence/observations and the old generic -Imagination lane uses it to carry planning drafts, even though concrete current -work families otherwise use typed result cargo. These live payloads need narrow -family contracts before the generic patch can be deleted. - Context validation must become exact and DRY: - provider request must equal internal lowering of the native request; @@ -128,18 +128,15 @@ transcript may be required for that query after archival. ## Immediate next action -1. Replace the two live uses of `EpiphanyRoleStatePatchDocument` with narrow - Research evidence/observation and Imagination planning-decision payloads; - then delete the generic patch schema, parser, and policy tribunal. -2. Expand the store-backed request/tool substitution matrix and prove context +1. Expand the store-backed request/tool substitution matrix and prove context audit survives deletion of streams, assistant deltas, and scaffolding. -3. Bump the writable schema epoch and refuse old stores. Historical releases +2. Bump the writable schema epoch and refuse old stores. Historical releases remain readers for historical proof stores; no migrator or dual path. -4. Run fresh acceptance: concurrent Persona+Hands; evidence+Verification+ +3. Run fresh acceptance: concurrent Persona+Hands; evidence+Verification+ unrelated Modeling-node writes; distinct graph writes; same-identity conflict; stale strong-read refusal; transcript deletion; restart/re-entry; and source guards for deleted aggregate/global revision paths. -5. Only then package a fresh body and resume Model Atlas Gate 1 from a new +4. Only then package a fresh body and resume Model Atlas Gate 1 from a new external root. ## Operational state that matters diff --git a/state/ledgers.msgpack b/state/ledgers.msgpack index 62fcf0a363b815935bc5cd2faa532f19336e563d..84b45ddcad43fddc8507d0d0fe76077b3699e082 100644 GIT binary patch delta 478 zcmXw#ze)o^5XQauFTqX`ECdIHR7vh~xtI`bL{p>?MXW4@&EAk(yzE|f_YzYHTKEEn z6!xN>Vj;eOz2JLT_ySHe7C)95zM1*Lue)Pi3p3d_h)4h|>