diff --git a/docs/assessment/10-layer-cards/M2-afferent-boundary.md b/docs/assessment/10-layer-cards/M2-afferent-boundary.md index a63caf3d..6b72a41d 100644 --- a/docs/assessment/10-layer-cards/M2-afferent-boundary.md +++ b/docs/assessment/10-layer-cards/M2-afferent-boundary.md @@ -1,6 +1,7 @@ # M2 — Afferent Boundary **Kind:** layer · **Parent:** CORE · **Assessor:** Opus 5 (Phase 2) +**Re-verified:** `39331dbc` (2026-07-28) — see the arc note below. **Verified at:** `8927c563` (2026-07-27) **Liveness:** `partial-wiring-debt` (text) / `inert` (non-text) · **Fitness:** `strained` · **Topology role:** runtime boundary @@ -9,6 +10,9 @@ **Telos stages:** listen/ingest **Macro role:** Admits input into the field under a closure-preserving construction boundary, or refuses it. + +**Arc note — 2026-07-28 (`39331dbc`).** PR-7 wrote the M2 trust-boundary table (`docs/specs/runtime_contracts.md`). Measured against formation's six declared boundaries: two already met, **three are category differences and are now CLOSED** (they presuppose a persisted artifact with citations, which this boundary does not produce), one real delta — no audit record per rejection. Forensic, not containment. + --- ## What it is / What it does diff --git a/docs/assessment/10-layer-cards/M3-comprehension-reasoning.md b/docs/assessment/10-layer-cards/M3-comprehension-reasoning.md index 74c09a10..5812a03a 100644 --- a/docs/assessment/10-layer-cards/M3-comprehension-reasoning.md +++ b/docs/assessment/10-layer-cards/M3-comprehension-reasoning.md @@ -1,6 +1,7 @@ # M3 — Comprehension & Reasoning **Kind:** layer · **Parent:** CORE · **Assessor:** Opus 5 (Phase 2) +**Re-verified:** `39331dbc` (2026-07-28) — see the arc note below. **Verified at:** `8927c563` (2026-07-27) **Liveness:** `partial-wiring-debt` · **Fitness:** `strained` (with one `superseded-in-place` sub-region) · **Topology role:** runtime boundary @@ -9,6 +10,9 @@ **Telos stages:** comprehend, think/reason (primary); recall (in-turn) **Macro role:** Turns admitted input into a decided, evidence-bearing proposition graph — or a typed refusal. + +**Arc note — 2026-07-28 (`39331dbc`).** Track A ran ADR-0252 §5 to a **NO-GO** (`docs/research/sme-experiment-verdict-797ebad5.md`), settling the paradigm question this layer's successor path depended on. New measurement **G-21**: the math reader returns a selected graph for **5 of 500** `holdout_dev/v1` cases (1.0%), all one skeleton — a sharper statement of the comprehension frontier than the 19-construction count. H-8e corrected an inductive-closure docstring that described a cycle check the code does not (and must not) perform. + --- ## What it is / What it does diff --git a/docs/assessment/10-layer-cards/M4-expression-serving.md b/docs/assessment/10-layer-cards/M4-expression-serving.md index 548b38c1..4571bcec 100644 --- a/docs/assessment/10-layer-cards/M4-expression-serving.md +++ b/docs/assessment/10-layer-cards/M4-expression-serving.md @@ -1,6 +1,7 @@ # M4 — Expression & Serving **Kind:** layer · **Parent:** CORE · **Assessor:** Opus 5 (Phase 2) +**Re-verified:** `39331dbc` (2026-07-28) — see the arc note below. **Verified at:** `8927c563` (2026-07-27) **Liveness:** `live-serving` · **Fitness:** `strained` · **Topology role:** runtime boundary @@ -9,6 +10,9 @@ **Telos stages:** articulate (primary); replay/determinism (trace emission) **Macro role:** Selects, governs, decorates, and emits the served surface; emits the telemetry that makes the turn auditable. + +**Arc note — 2026-07-28 (`39331dbc`).** H-13 fixed: the speculative-marker cache un-marked a sibling proposal's still-unreviewed material on promotion, serving it without the `(speculative, not yet reviewed)` prefix. Claimant-tracked now; the served-surface honesty contract holds where it previously leaked. + --- ## What it is / What it does diff --git a/docs/assessment/10-layer-cards/M6-continuity-process.md b/docs/assessment/10-layer-cards/M6-continuity-process.md index 2e9e7447..1ab3dbce 100644 --- a/docs/assessment/10-layer-cards/M6-continuity-process.md +++ b/docs/assessment/10-layer-cards/M6-continuity-process.md @@ -1,6 +1,7 @@ # M6 — Continuity & Process **Kind:** layer · **Parent:** CORE · **Assessor:** Opus 5 (Phase 2) +**Re-verified:** `39331dbc` (2026-07-28) — see the arc note below. **Verified at:** `8927c563` (2026-07-27) **Liveness:** `partial-wiring-debt` · **Fitness:** `strained` · **Topology role:** runtime boundary @@ -9,6 +10,9 @@ **Telos stages:** replay/determinism, backbone-runtime · hosts every other stage (the cycle's runner) **Macro role:** Holds field, vault, session, and identity continuity over indefinite time; runs the heartbeat that lets the engine learn when nobody is talking to it. + +**Arc note — 2026-07-28 (`39331dbc`).** PR-9 instrumented the accrual backstop (`_accrue_in_turn`): the guard stays broad, but a swallowed exception is now counted and named rather than writing the same `None` a quiet turn writes. H-11 CLOSED. + --- > **Phase 3 correction (C-2, `05-phase3-findings.md`):** this card's "T1 vault and field excitation are discarded on exit by design" describes the **default config only**. The daemon forces `persist_session_state=True` (Shape B+ — "restored bit-exactly"), so residency machinery exists and is daemon-forced; open items are its exact coverage (`chat/runtime.py:893–952`) and horizon proof. The daemon's forced flag set is exactly `{persist_session_state, consolidate_determinations, strict_identity_continuity}` — see `20-component-cards/always-on-process.md`. diff --git a/docs/assessment/10-layer-cards/MV-verification-evidence.md b/docs/assessment/10-layer-cards/MV-verification-evidence.md index 591a57f8..7835dc4d 100644 --- a/docs/assessment/10-layer-cards/MV-verification-evidence.md +++ b/docs/assessment/10-layer-cards/MV-verification-evidence.md @@ -1,6 +1,7 @@ # MV — Verification & Evidence (cross-cutting) **Kind:** layer (cross-cut) · **Parent:** CORE · **Assessor:** Opus 5 (Phase 2) +**Re-verified:** `39331dbc` (2026-07-28) — see the arc note below. **Verified at:** `8927c563` (2026-07-27) **Liveness:** `partial-wiring-debt` · **Fitness:** `strained` · **Topology role:** benchmark/eval artifact + tooling surface @@ -9,6 +10,9 @@ **Telos stages:** replay deterministically (primary); learn (evidence for calibration) **Macro role:** Produces the evidence that every other layer's claims are measured against, and fails loudly when a claim drifts. + +**Arc note — 2026-07-28 (`39331dbc`).** PR-4 (curated-suite membership ratchet + the gate-guarding pin promoted onto the gate), PR-6 (three doctrine prohibitions pinned), G-7 and G-9 CLOSED. The layer's central finding is sharper than the card states: the recurring defect is not absent pins but **pins that exist and do not run** — four instances found this arc (the H-13 lifecycle pin, the smoke/CI parity pin, the safety-pack fail-closed contract, the ANN import ban), each indistinguishable from coverage in any document. + --- ## What it is / What it does diff --git a/docs/assessment/20-component-cards/always-on-process.md b/docs/assessment/20-component-cards/always-on-process.md index 6fff78c3..ebf54626 100644 --- a/docs/assessment/20-component-cards/always-on-process.md +++ b/docs/assessment/20-component-cards/always-on-process.md @@ -1,9 +1,13 @@ # always-on-process — `chat/always_on.py`, `chat/always_on_daemon.py`, `engine_state/`, `evals/l10_*` **Kind:** component (M6's built half) · **Parent:** M6 · **Assessor:** Fable 5 (Phase 3) +**Re-verified:** `39331dbc` (2026-07-28) — see the arc note below. **Verified at:** `8927c563` (2026-07-27) **Liveness:** `live-internal` (CLI-reachable, suite-orphaned) · **Fitness:** `strained` (proof debt, not design debt) · **Topology role:** runtime boundary + +**Arc note — 2026-07-28 (`39331dbc`).** PR-9 (H-11) made the accrual backstop visible: `_accrue_in_turn`'s broad guard stays — accrual is additive and must never crash a turn — but a swallowed exception is now counted and named instead of writing the same `None` a quiet turn writes. `_last_turn_accrual` is unchanged on failure, so consumer behavior is byte-identical by construction. + > The process that runs the continuous-life heartbeat. Its design center is a single sentence from the daemon module: a restart is *the same life or it stops — never a silent fork*. ## What it is / What it does diff --git a/docs/assessment/20-component-cards/realize-phase.md b/docs/assessment/20-component-cards/realize-phase.md index 64c330b7..1e881638 100644 --- a/docs/assessment/20-component-cards/realize-phase.md +++ b/docs/assessment/20-component-cards/realize-phase.md @@ -1,9 +1,13 @@ # realize-phase — `generate/realize/` (and the reader that feeds it) **Kind:** zone→component descent · **Parent:** M3 · **Assessor:** Fable 5 (Phase 3) +**Re-verified:** `39331dbc` (2026-07-28) — see the arc note below. **Verified at:** `8927c563` (2026-07-27) **Liveness:** `live-internal`, flag-gated (**demoted** from the map's `live-serving`) · **Fitness:** `fit` (the phase) — with its *feeder* under held fabrication findings · **Topology role:** runtime boundary + +**Arc note — 2026-07-28 (`39331dbc`).** PR-6 pinned the exact-recall prohibition over this component's own path. Before it, `generate/realize/recall.py` asserted *"an exact, deterministic equality scan (no cosine / HNSW / ANN)"* in its module docstring with **nothing enforcing it**; the only import ban in the repository covered one unrelated physics module. The law is now scanned across `generate/realize/` and four sibling roots, for banned ANN libraries and hand-rolled `cosine*` definitions alike. + > REALIZE — "integrate comprehended structure into the held self" (roadmap Step 3). If M1 is knowledge at rest and DETERMINE is answering from it, REALIZE is the moment comprehension becomes *held*: a reading of the user's words is written into session memory as a typed, SPECULATIVE, as-told record. It is the exact point where a misreading becomes a belief — which is why the fabrication findings matter most here. ## Disambiguation (a naming trap, recorded permanently) diff --git a/docs/assessment/20-component-cards/surface-selection.md b/docs/assessment/20-component-cards/surface-selection.md index 3f171655..15195510 100644 --- a/docs/assessment/20-component-cards/surface-selection.md +++ b/docs/assessment/20-component-cards/surface-selection.md @@ -1,9 +1,13 @@ # surface-selection — the arms and the resolver **Kind:** component (mechanism spanning `chat/runtime.py` + `core/cognition/surface_resolution.py`) · **Parent:** M4 · **Assessor:** Fable 5 (Phase 3) +**Re-verified:** `39331dbc` (2026-07-28) — see the arc note below. **Verified at:** `8927c563` (2026-07-27) **Liveness:** `live-serving` · **Fitness:** `strained` — refined from Phase 2 · **Topology role:** runtime boundary + +**Arc note — 2026-07-28 (`39331dbc`).** H-13: the speculative-marker cache over-evicted. A COHERENT proposal released index tokens it never claimed, stripping the marker from an unrelated proposal still awaiting review — unreviewed material served without its disclosure prefix. Now claimant-tracked; a token dies only when the subject that claimed it is reviewed. + > The mechanism that decides which of several candidate surfaces the user actually reads. Every truth property CORE claims converges here. ## Correction/refinement to the Phase 2 M4 card diff --git a/docs/assessment/50-execution-plan.md b/docs/assessment/50-execution-plan.md index 516b5483..2c6ec50b 100644 --- a/docs/assessment/50-execution-plan.md +++ b/docs/assessment/50-execution-plan.md @@ -3,7 +3,19 @@ **Planner:** Opus 5 · 2026-07-27 · verified at `forgejo/main` @ `ed06dd64` **Governs:** everything in `30-gap-register.md` (G-1…G-21) and `31-hindrance-audit.md` (H-1…H-14), sequenced by `40-assessment.md` §6. **Method:** `docs/conceptualizing_engineering_mastery.md` — scrub → **delete** → simplify/enforce → accelerate → automate last. Nothing is automated that Waves 0–3 have not proven. -**Status (2026-07-28):** Wave 0's builds are **done** — PR-0 merged (#140), PR-1 landed, R-10 discharged by merging #138. **Track A is run and returned NO-GO** (`docs/research/sme-experiment-verdict-797ebad5.md`), awaiting ratification. R-1…R-14 remain PENDING and gate Waves 1–4; Tracks B–E are unstarted behind them. +**Status (2026-07-28, at `39331dbc`):** **every plan item that needs neither a ruling nor an ADR is landed.** + +| Landed | Blocked, and on what | +|---|---| +| PR-0 ruling packet (#140) · PR-1 record amendments · R-10 discharged (#138 merged) | PR-2, PR-3 — **R-7**, plus CR-1/CR-2 decisions that do not yet exist | +| **Track A — ADR-0252 §5 run to NO-GO**, criterion pre-registered, artifact + digest committed | PR-5 — **R-3, R-4** | +| PR-4 membership ratchet · PR-6 three doctrine pins · PR-7 M2 trust table · PR-9 count-the-swallow | PR-8 — a small ADR (H-3/G-20) · PR-10 — a refactor ADR (H-4) | +| H-13 (served-marker defect) · H-8e (closure docstring) | PR-11 — **R-2, R-9** · PR-12 — **R-13** · PR-14 — **R-8** | +| **Closed:** G-7, G-9, H-7, H-11, H-13, H-8e · **Answered:** G-1 · **Discharged:** H-10 | Tracks B–E — the above, plus §5 ratification | + +**New this arc, not in the original assessment:** **N-8** (the §5 experiment had already returned GO twice, on unmerged branches, both unsound), **N-9** (the gate "drift" was a recorded decision — PR-4's pin 1 **withdrawn** rather than built, R-14 dissolved), **G-21** (the math reader decides **1.0%** of `holdout_dev/v1`), **H-13**, **H-14**, **H-8e**. + +**What has not moved, stated plainly:** comprehension breadth and proof-of-life. The reader is still 19 constructions wide and decides 1.0% of the held-out corpus; the 5000-beat soak is still prose with no pinned digest. Everything landed this arc is enforcement and evidence machinery. PR-11, PR-12, PR-14 and Track B are where capability moves, and all four are ruling-gated. --- diff --git a/docs/assessment/README.md b/docs/assessment/README.md index 0f711dda..cfc8016a 100644 --- a/docs/assessment/README.md +++ b/docs/assessment/README.md @@ -22,4 +22,6 @@ A read-only, evidence-bearing assessment of CORE's cognitive-cycle design versus **Maintenance contract** (from §8 of the synthesis): a card whose `verified_at` falls behind a load-bearing arc is testimony, not evidence. Update cards when their subsystems move, or this directory becomes the next dead instrument it was built to replace. +**Execution status (2026-07-28, `39331dbc`).** Phases 0–6 produced the evidence; the arc that followed executed everything in it that needed no ruling. Landed: Track A's §5 verdict (**NO-GO**, pre-registered), PR-4, PR-6, PR-7, PR-9, PR-1, and two defect fixes (H-13, H-8e). Closed: **G-7, G-9, H-7, H-11, H-13**. Added: **N-8, N-9, G-21, H-13, H-14**. Everything remaining is gated on **R-1…R-14** or on an ADR. See [`50-execution-plan.md`](50-execution-plan.md) §Status for the full board. + **Standing note:** the PR #138 fabrication findings appear throughout as *measured & pinned, fix held for ADR + ratification* — recorded, never re-discovered, never fixed here, per explicit instruction.