Merge pull request #124 from AssetOverflow/docs/adr-0111-followup

docs: backfill physics expert-demo (ADR-0111) across narrative docs

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)

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`.
 
 ---
 

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.

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