Record typed Research decision cut
This commit is contained in:
parent
e0e75a3089
commit
13f8c0b7c8
5 changed files with 35 additions and 37 deletions
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -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.
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
Reference in a new issue