GameCult/Epiphany
Archived
Watch
9
0
Fork
You've already forked Epiphany
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Prove Modeling generation retry chain

Browse source
This commit is contained in:
Meta Vens 2026-07-12 12:29:20 +01:00
commit 7c6900a4d6
5 changed files with 195 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

9
notes/epiphany-current-algorithmic-map.md
View file

@ -296,6 +296,15 @@ current request. CLI closure is a caller of this invariant, not its owner.
Non-passing findings and stale generations therefore cannot become durable Mind
state even through a forged-looking admission call.
The model runtime has a deterministic generation-retry proof at
`epiphany-openai-runtime/src/lib.rs`: both findings pass through the production
assistant-result parser and runtime-owned finding writer. Generation zero is
non-passing, Mind alone advances the route, generation one is passing and
admitted, and a stale generation-zero admission is refused. This proves typed
handoff and ownership without provider/network variance. The remaining smoke
boundary is process composition through `epiphany-work revise-modeling`, the
scheduler's consumer preflight, and Idunn's child lifecycle receipt.
## Current Cut Line
Keep:

11
notes/fresh-workspace-handoff.md
View file

@ -2139,6 +2139,17 @@ finding from entering durable Mind state. The authority suite includes the
negative non-passing admission path and remains 4/4 green. The next move is
still the native generation-one workflow smoke; it must exercise these gates,
not recreate them in orchestration code.
The deterministic model-runtime seam now crosses the complete typed authority
chain without network inference: runtime-authored generation zero returns
`needs-work`; Mind advances the immutable route to generation one; the runtime
parses and persists a passing generation-one finding; canonical Mind/map
admission accepts generation one and rejects an attempted generation-zero map;
the route remains on generation one. The focused runtime test is
`repo_work_modeling_generation_retry_admits_only_current_runtime_finding`.
What remains is process composition, not another state abstraction: drive this
same chain through the public `revise-modeling` command and scheduler so the
generation-one launch carries a passing consumer preflight into an Idunn-owned
lifecycle receipt.
## Immediate Re-entry Instruction