From abf1d513500bd647d642aede2d7aba4f572d7dcb Mon Sep 17 00:00:00 2001 From: Meta Vens Date: Sun, 23 Aug 2026 22:01:35 +0200 Subject: [PATCH] Record Eyes challenge authority cut --- notes/epiphany-current-algorithmic-map.md | 11 +++++++++++ notes/fresh-workspace-handoff.md | 14 ++++++++++++++ state/ledgers.msgpack | Bin 687580 -> 688250 bytes state/map.yaml | 8 ++++---- state/scratch.md | 11 +++++++++-- 5 files changed, 38 insertions(+), 6 deletions(-) diff --git a/notes/epiphany-current-algorithmic-map.md b/notes/epiphany-current-algorithmic-map.md index 7e66169c..5f98842f 100644 --- a/notes/epiphany-current-algorithmic-map.md +++ b/notes/epiphany-current-algorithmic-map.md @@ -372,6 +372,17 @@ runtime plus proposal identity, then binds it to the current Body/domain and the exact Imagination request/result/worker chain. Proposal schema is v3; Mind/runtime writable epochs are v7/v10. +Exact `2dfd8c72` removes the producerless Eyes claim-challenge side channel. +Eyes owned no terminal outcome that could create this document; its only +producer was a test that fabricated both the evidence and the challenge. Eyes +therefore cannot maintain a parallel status that suppresses Planning or Hands. +Authenticated external evidence creates a Modeling obligation; Modeling then +commits a fresh keyed node/frontier state through the normal exact-envelope +transaction. Existing Planning and Hands passes still refuse when their exact +claim/frontier envelopes change. Claim-obligation documents now contain only +their real unresolved frontier identities (v3); Mind/runtime writable epochs +are v8/v11. + External lifecycle boundary: Idunn remains available when Epiphany is missing, failed, or braked. Epiphany's swarm brake is an input only to an Idunn transaction that changes Epiphany's deployed body; it cannot gate Idunn startup, diff --git a/notes/fresh-workspace-handoff.md b/notes/fresh-workspace-handoff.md index e248cc3e..69dfe1f0 100644 --- a/notes/fresh-workspace-handoff.md +++ b/notes/fresh-workspace-handoff.md @@ -1185,6 +1185,20 @@ Mind/runtime writable epochs are v7/v10. The broad lifecycle proof, epoch refusal, and coordinator compile pass. `runtime_spine.rs` is 10,500 lines. Resume the public runtime-spine/test-liability audit next. +Exact `2dfd8c72` removes the producerless Eyes claim-challenge side channel. +No live role result, interpreter, or admission owner could create it; one +capstone fixture fabricated an Eyes packet and challenge, called the only +writer, and then proved the gating it had manufactured. The contract, writer, +registry row, validation/routing branches, `active_challenge_ids` cargo, and +fixture-only packet inserter are gone: 465 net source deletions. Exact keyed +claim/frontier envelopes still own stale-state refusal. External evidence must +enter Modeling and change the keyed RepoModel rather than let Eyes separately +decide Planning or Hands actionability. Claim-obligation documents are v3; +Mind/runtime writable epochs are v8/v11. `runtime_spine.rs` is 10,216 lines, +with 63 public functions and 29 public structs. The focused core check, keyed +lifecycle proof, and epoch-refusal proof pass without warnings. Continue the +public runtime-spine and test-liability audit. + ## Competitive Eyes/Imagination pass `notes/munder-difflin-launch-intelligence-2026-08-23.md` distills the diff --git a/state/ledgers.msgpack b/state/ledgers.msgpack index edcbc7d53d546c04a1c14daaccb0d976f36628dc..520c7ddb7c82c1b44629c7e63e1b9a98094fa815 100644 GIT binary patch delta 691 zcmYLGyN=U96vg4Okb(jUA+0E`v=zwCIu2x`Y#pd*&`L-&(PVsWk20B?orgCTMUW`? z0iyf{62)qNfRZnu=O3Wq+AL5USsr`N^ZTzSKi@z7{4lzorPFjcO-FCP-so@Nd^w8F zqbU2Z>wVnyB1ZeX$+*S1&A7ujVBBTgyWI8qFW)`*bd{yqI7uf-HahG0_UAvM$J?Hn zZG`lY;9wq{L?f)C0n9dA zzGQ?3tl7Si2!<}$vS@AmiP(7|BNj?4-$1A8E4Ex#AfT}5D(D(%6Rd(4o+Gu&OKe#2 ze_@V4;Q-FKR~bButfk!`;pufT#Ij`<*MVT6dNlYAa7*)3 delta 76 zcmey>pmpcB<_1wlK0`|@6GJOg!>D5nTs1p4D>D`{G8#5dWon