From 6a0905103b5d84abb387d04e18e5706346993a64 Mon Sep 17 00:00:00 2001 From: Shay Date: Fri, 22 May 2026 14:46:33 -0700 Subject: [PATCH] docs: backfill physics expert-demo (ADR-0111) across narrative docs MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ADR-0111 landed via PR #123 (merge commit 4b5e6b7). The structural docs (README, ADR index, reviewers.yaml, CLAIMS.md) were updated in that PR. The narrative docs that reference the worked-promotion arc by ordinal ("first promotion / one demonstrated domain") needed a follow-up sweep: - docs/PROGRESS.md — ADR-0100 footnote, ADR-0111 row, ledger table, Open-within-Phase-6 changed from "second" to "third" promotion - docs/runtime_contracts.md — narrative line on contract demonstration - docs/Whitepaper.md §XIII — chain range, demonstration paragraph, "two domains demonstrated" line, full-chain pointer - docs/capability_roadmap.md — Phase 6 worked-promotion narrative step 5 and exit-criteria checklist (5th item now ☑, 6th open as "third") docs/Yellowpaper.md is unchanged: its expert-demo section is the formal contract spec, domain-agnostic. docs/eval_methodology.md unchanged for the same reason. docs/sessions/SESSION-2026-05-22-contract-layer-arc.md is left as the historical snapshot of the original session. Co-Authored-By: Claude Opus 4.7 --- docs/PROGRESS.md | 9 +++++---- docs/Whitepaper.md | 14 +++++++++----- docs/capability_roadmap.md | 4 +++- docs/runtime_contracts.md | 5 +++-- 4 files changed, 20 insertions(+), 12 deletions(-) diff --git a/docs/PROGRESS.md b/docs/PROGRESS.md index dd9519d0..90c6c8d5 100644 --- a/docs/PROGRESS.md +++ b/docs/PROGRESS.md @@ -726,7 +726,7 @@ This phase ratifies the distinction between *contract-passing* (`reasoning-capab ### Reasoning-capable ratifications - [x] **ADR-0097** `mathematics_logic` reasoning-capable (now superseded by ADR-0110 expert-demo, see below) -- [x] **ADR-0100** `physics` reasoning-capable +- [x] **ADR-0100** `physics` reasoning-capable (now superseded by ADR-0111 expert-demo, see below) - [x] **ADR-0101** `systems_software` reasoning-capable - [x] **ADR-0102** `hebrew_greek_textual_reasoning` reasoning-capable (first multi-pack ratification: 4 packs) - [x] **ADR-0103** Hebrew + Koine Greek fluency lane attachment to ADR-0102 packs @@ -739,24 +739,25 @@ This phase ratifies the distinction between *contract-passing* (`reasoning-capab - [x] **ADR-0109** Lane-shape-aware threshold amendment — 8 lane ids → 5 shapes (`cognition_shape`, `accuracy_shape`, `inference_shape`, `refusal_shape`, `symbolic_logic_shape`); unknown lanes fail-closed; cognition-shape thresholds preserved bit-identical - [x] PR #117 — fix intent-classifier regression that had broken `inference_closure` (`_CORRECTION_CUE_PREFIX_RE` guard) - [x] **ADR-0110** `mathematics_logic` expert-demo promoted — **first domain at `expert_demo=true`** in project history; signed claim digest reproduces byte-for-byte from on-disk lane results +- [x] **ADR-0111** `physics` expert-demo promoted — **second domain at `expert_demo=true`**; no contract change, one-file dev-mode fallback bridge; shares `inference_closure` + `fabrication_control` results with math (distinct digest via `domain_id`); retires the "math-only" objection ### Contract demonstration narrative -The ADR-0106 contract refused once (0107), amended once cleanly (0109), and succeeded once (0110). External readers can now distinguish the two ceilings (`reasoning-capable` vs `expert-demo`) by inspecting the ledger. +The ADR-0106 contract refused once (0107), amended once cleanly (0109), succeeded against `mathematics_logic` (0110), and succeeded against `physics` without further contract change (0111). External readers can now distinguish the two ceilings (`reasoning-capable` vs `expert-demo`) by inspecting the ledger. ### Current ledger state (per `core capability ledger`) | Domain | Status | |---|---| | `mathematics_logic` | **`expert-demo`** ✓ | -| `physics` | `reasoning-capable` | +| `physics` | **`expert-demo`** ✓ | | `systems_software` | `reasoning-capable` | | `hebrew_greek_textual_reasoning` | `reasoning-capable` | | `philosophy_theology` | `reasoning-capable` | ### Open within Phase 6 -- [ ] Second expert-demo promotion (any of `physics` / `systems_software` / `hebrew_greek_textual_reasoning` — all now eligible under ADR-0109 shape rules) +- [ ] Third expert-demo promotion (`systems_software` or `hebrew_greek_textual_reasoning` — both eligible under ADR-0109 shape rules) - [ ] Multi-reviewer threshold signing (open candidate frontier item from ADR-0105) ### Pack-layer chain — ADR-0027 through ADR-0045 (backfill) diff --git a/docs/Whitepaper.md b/docs/Whitepaper.md index 895721e8..d3c27849 100644 --- a/docs/Whitepaper.md +++ b/docs/Whitepaper.md @@ -366,7 +366,7 @@ substrate makes possible* — a distinction that the architecture made visible only after the substrate stabilized. The discipline is encoded as a chain of accepted Architecture -Decision Records (ADR-0091 through ADR-0110): +Decision Records (ADR-0091 through ADR-0111): 1. **Contract.** ADR-0091 defines nine predicate checks every ratified pack must satisfy: lemma coverage, operator-chain counts, intent-shape @@ -394,7 +394,11 @@ the first promotion attempt — `mathematics_logic` — being honestly refused on two named blockers. ADR-0109 amended the threshold rules without weakening the discipline. ADR-0110 then promoted `mathematics_logic` as the first domain at `expert_demo=true`, with the -signed claim digest reproducing from disk. +signed claim digest reproducing from disk. ADR-0111 promoted `physics` +as the second domain at `expert_demo=true` without any contract change, +retiring the "math-only" objection — the same gate now holds across two +distinct domains using shared lane infrastructure with distinct +domain-bound digests. The architectural commitment is: a system cannot claim to *do* something it has not been seen to do. A transformer LLM does not have @@ -405,12 +409,12 @@ evidence bundle. CORE makes the commitment first-class. External readers can inspect the ledger (`core capability ledger` / `docs/decisions/README.md` table) to see which domains are *contract-passing* and which are *demonstrated*. As -of acceptance: one domain demonstrated (`mathematics_logic`); three -ratified domains pending their own promotion ADRs. +of acceptance: two domains demonstrated (`mathematics_logic`, +`physics`); two ratified domains pending their own promotion ADRs. Full evidence chain: `docs/decisions/README.md` (index + frontier), `docs/decisions/ADR-0091-domain-pack-contract-v1.md` through -`ADR-0110-mathematics-logic-expert-demo-promotion.md`. +`ADR-0111-physics-expert-demo-promotion.md`. --- diff --git a/docs/capability_roadmap.md b/docs/capability_roadmap.md index 4c6b0c65..4d278bbb 100644 --- a/docs/capability_roadmap.md +++ b/docs/capability_roadmap.md @@ -369,6 +369,7 @@ The phase has no single exit criterion. Instead, each domain becomes its own sub 2. **ADR-0109** — threshold rules amended with explicit lane-shape registry; cognition-shape thresholds preserved bit-identical; four new shapes added (`accuracy_shape`, `inference_shape`, `refusal_shape`, `symbolic_logic_shape`); unknown lanes fail-closed. 3. PR #117 fixed the intent-classifier regression that had broken `inference_closure`. 4. **ADR-0110** — `mathematics_logic` promoted to `expert_demo=true` under the amended contract. Signed claim digest reproduces from on-disk lane results; first domain at expert-demo. +5. **ADR-0111** — `physics` promoted to `expert_demo=true` without any contract change. Shares `inference_closure` + `fabrication_control` results with math; the digest distinguishes via `domain_id` + `evidence_revision`. Retires the "math-only" objection; confirms the bridges ADR-0110 landed were correctly scoped. **Exit criteria (cumulative; each can land independently of the others):** @@ -377,7 +378,8 @@ The phase has no single exit criterion. Instead, each domain becomes its own sub - ☑ Four reasoning-capable domain ratifications (ADR-0097/0100/0101/0102). - ☑ Expert-demo promotion contract accepted (ADR-0106 + ADR-0109 amendment). - ☑ First worked promotion lands (ADR-0110 — `mathematics_logic`). -- ☐ Second worked promotion lands (next domain: TBD; `physics` / `systems_software` / `hebrew_greek_textual_reasoning` all eligible under the now-amended contract). +- ☑ Second worked promotion lands (ADR-0111 — `physics`; no contract change). +- ☐ Third worked promotion lands (`systems_software` or `hebrew_greek_textual_reasoning`, both eligible under the now-amended contract). - ☐ Multi-reviewer signing (currently single-recipient; the open candidate frontier item from ADR-0105). **Why this is its own phase.** Phases 1–5 measure capability *internally*. Phase 6 is the first layer that measures *what the system has actually demonstrated to an external reader* and forces the ledger to distinguish the two. Every prior phase makes claims about the substrate; Phase 6 makes the substrate's claims auditable. diff --git a/docs/runtime_contracts.md b/docs/runtime_contracts.md index cadff382..da6e3871 100644 --- a/docs/runtime_contracts.md +++ b/docs/runtime_contracts.md @@ -352,8 +352,9 @@ contracts above: this contract governs *what the ledger is allowed to claim about a domain*, not what the runtime does on any single turn. Per ADR-0108, the contract has been demonstrated end-to-end — -refused once (ADR-0107), amended once (ADR-0109), succeeded once -(ADR-0110). +refused once (ADR-0107), amended once (ADR-0109), succeeded against +`mathematics_logic` (ADR-0110), and succeeded against `physics` +without further contract change (ADR-0111). ### Surface