Add typed repo work Modeling requests

This commit is contained in:
Meta Vens 2026-07-12 10:35:33 +01:00
commit 2de8df0432
9 changed files with 203 additions and 5 deletions

View file

@ -108,6 +108,16 @@ receipt it stops at `await-modeling`; it cannot invoke closure or manufacture
Modeling/Mind evidence. `epiphany-work close` requires explicit model
authorship, model reference, verdict, and finding before it can admit a map.
Deterministic checks remain Soul evidence, not a substitute for Modeling. The
verified consequence now crosses an explicit
`epiphany.modeling.repo_work_request.v0` boundary authored by Self. The request
is immutable, references the passing Soul receipt, commit, and changed paths,
and grants Modeling interpretation authority without granting Self authority to
write the result. A Modeling finding is refused unless it answers that exact
request and matches its verified consequence. The current close command writes
both phase documents from explicit CLI cargo; scheduler launch and asynchronous
result collection remain the next cut.
The
accepted interpretation is persisted as
`epiphany.modeling.repo_work_finding.v0`; it references the passing Soul verdict,
commit, and changed paths. Mind rereads that typed receipt and the admitted repo

View file

@ -204,7 +204,9 @@ Delete or demote:
## Immediate Next Action
Audit the live Hands -> Soul -> Modeling -> Mind -> Self loop against the fresh
repository exit evidence. Identify which required receipt, admission, and
negative-bypass proofs are current and which are only historical claims; close
the first missing proof rather than adding another route or summary.
Split Soul verification from repo-work closure. Let Self emit the existing
typed, immutable `epiphany.modeling.repo_work_request.v0`, route it to the
Modeling daemon, and await the matching finding before the existing Mind/map
admission runs. Prove the fresh-repository path reaches Bifrost while Self
cannot synthesize Modeling evidence. The request/finding persistence boundary
and unsolicited-finding refusal already exist; do not add a parallel route.

View file

@ -2039,6 +2039,14 @@ returned exit 1 for a conflicting Modeling reinterpretation, and left the
admitted map byte-for-byte equivalent at the operator projection. Next restore
autonomous movement by having Self launch/await a real Modeling result at
`await-modeling`; Self must not regain the ability to synthesize that finding.
The first nerve is now installed: `RepoWorkModelingRequest` is a typed,
immutable Self request over the passing Soul receipt, commit, and changed paths,
and a Modeling finding cannot persist unless it answers the matching request.
The runtime CultNet contract advertises the request/finding handoff. Authority
tests prove unsolicited findings are refused; all 248 library tests pass. The
close command still creates both documents from explicit CLI cargo, so the next
cut is to split Soul verification from close and let the scheduler route this
request through the Modeling daemon before immutable closure admission.
## Immediate Re-entry Instruction