Close source subtraction audit
This commit is contained in:
parent
ed4ca58ca3
commit
8ea1a8f401
5 changed files with 31 additions and 14 deletions
|
|
@ -1,10 +1,9 @@
|
|||
# Epiphany current algorithmic map
|
||||
|
||||
Updated: 2026-08-25
|
||||
Latest committed implementation cut: `a721b763` on `codex/epiphany-shakedown-live`
|
||||
Current pass: one native model event/receipt family and one model-adapter
|
||||
package own provider projection; audit the library-only model-runtime package
|
||||
next. Ox17 remains paused
|
||||
Latest committed implementation cut: `ed4ca58c` on `codex/epiphany-shakedown-live`
|
||||
Current pass: source subtraction is complete; `state/map.yaml` owns the fresh
|
||||
Ox17 package-capstone direction. Atlas Gate 1 and production remain paused.
|
||||
|
||||
This document describes the live machine. Historical cuts, rejected paths, and
|
||||
proof chronology belong in git, `state/ledgers.msgpack`, and bounded smoke
|
||||
|
|
|
|||
|
|
@ -258,10 +258,16 @@ Exact `e7b66b35` demotes that entire causal-ID surface without changing the
|
|||
digest law. Continue the same class audit through internal prompt rendering,
|
||||
supersession, and Resident Self policy/completion helpers; keep entrypoints that
|
||||
are actually consumed by release binaries or sibling packages public.
|
||||
Exact `9f189871` lands that cut and removes the dead prompt root alias. Continue
|
||||
by deleting `RepoFrontierAdoptedPlan::effective_action` and
|
||||
`effective_command`: both merely return their public fields and currently make
|
||||
the Hands route look as though a second derivation law exists.
|
||||
Exact `9f189871` lands that cut and removes the dead prompt root alias. Exact
|
||||
`ed4ca58c` then deletes `RepoFrontierAdoptedPlan::effective_action` and
|
||||
`effective_command`; the operator projection and Hands consequence validation
|
||||
read the owning public fields directly. A bounded closing audit found no
|
||||
further unearned public function across `runtime_spine`, `state_model`,
|
||||
`current_work`, `resident_readiness`, and `resident_self`; every survivor has a
|
||||
production consumer, and the sole low-fanout candidate protects resident
|
||||
objective authentication. Source subtraction has reached diminishing returns.
|
||||
Prepare the fresh exact Ox17 package capstone next; `state/map.yaml` owns its
|
||||
current direction.
|
||||
|
||||
Resident startup now has one health decision. `derive_resident_cognition_readiness`
|
||||
loads the exact provider row, probes the process singleton, and obtains the
|
||||
|
|
|
|||
|
|
@ -2,10 +2,11 @@
|
|||
|
||||
Updated: 2026-08-25
|
||||
Branch: `codex/epiphany-shakedown-live`
|
||||
Latest committed Epiphany source cut: `9f189871`
|
||||
Latest committed Epiphany source cut: `ed4ca58c`
|
||||
Current connector source: `6dc80f6d266db4d82566d2434adcc55a48e8ecad`
|
||||
Current pass: adjacent single-consumer cognition helpers are private; delete
|
||||
the adopted-plan effective-action/command field wrappers next.
|
||||
Current pass: source subtraction has reached diminishing returns. Prepare the
|
||||
fresh exact Ox17 package capstone next; canonical direction lives in
|
||||
`state/map.yaml`.
|
||||
Ox17 and Atlas Gate 1 remain paused
|
||||
|
||||
## Orientation
|
||||
|
|
@ -17,7 +18,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 `9f189871` is the current
|
||||
production symlink body and is inactive. Exact `ed4ca58c` is the current
|
||||
build-affecting source on this branch. Historical live proofs remain evidence;
|
||||
they do not authorize the next capstone or Gate 1.
|
||||
|
||||
|
|
@ -47,6 +48,16 @@ they do not authorize the next capstone or Gate 1.
|
|||
|
||||
## What just landed
|
||||
|
||||
Exact `ed4ca58c` deletes `RepoFrontierAdoptedPlan::effective_action` and
|
||||
`effective_command`; the operator projection and Hands consequence validator
|
||||
read the owning public fields directly. The closing audit found no further
|
||||
unearned public function in the five high-risk ownership modules. Every
|
||||
survivor has a production consumer, and the only low-fanout candidate protects
|
||||
resident objective authentication. Source subtraction stops here. The staged
|
||||
diff check passed; no mixed-worktree compilation is claimed. Prepare the fresh
|
||||
exact Ox17 package capstone next while production and Atlas Gate 1 remain
|
||||
paused.
|
||||
|
||||
Exact `9f189871` removes the admitted-direction prompt alias from the crate
|
||||
root, makes its renderer and supersession check crate-internal, and makes the
|
||||
Resident Self policy digest and death-completion helper private to their sole
|
||||
|
|
|
|||
Reference in a new issue