diff --git a/README.md b/README.md
index 13fed33b..61b67d05 100644
--- a/README.md
+++ b/README.md
@@ -36,7 +36,7 @@ The schema is the structural defense against the failure modes that afflict both
 A system that samples cannot have these properties — sampling has no place to attach an epistemic status. CORE has them because every admitted claim carries one and the only path to admission is the review path.
 
 **Full architectural commitment, including honestly-published gaps:** [`docs/truth_seeking_schema.md`](docs/truth_seeking_schema.md).
-**Reproducible measurements:** [`evals/CLAIMS.md`](evals/CLAIMS.md).
+**Reproducible measurements:** [`CLAIMS.md`](CLAIMS.md) (auto-generated from `scripts/generate_claims.py`).
 
 ---
 
@@ -205,6 +205,34 @@ core teaching supersessions                         # pair retired chains with r
 
 ---
 
+## Evidence-Governed Domain Layer — The ADR-0091 Chain
+
+CORE distinguishes *contract-passing* from *demonstrated*. A pack that satisfies the nine ADR-0091 predicates earns a `reasoning-capable` ledger row; that's a structural claim, not an empirical one. Promotion to `expert_demo=true` requires a **reviewer-signed evidence-bundle digest** that reproduces byte-for-byte from on-disk lane results (ADR-0106 + ADR-0109).
+
+| Layer | What it guarantees | ADR |
+|---|---|---|
+| **Domain Pack Contract v1** | Nine predicate checks on every ratified pack (lemma coverage, operator chain count, intent shapes, holdout coverage, reviewer-resolution, etc.). | [0091](docs/decisions/ADR-0091-domain-pack-contract-v1.md) |
+| **Reviewer Registry v1** | YAML-anchored, schema-validated reviewer roster. Wildcard `*` reserved for primary reviewers; domain-scoped reviewers gated by `can_review(domain, scope)`. | [0092](docs/decisions/ADR-0092-reviewer-registry-v1.md) |
+| **Fabrication-control eval lane** | Negative-control lane: phantom endpoints, cross-pack non-bridges, sibling collapses must all refuse. `fabricated=0` across all by-class buckets is the gate. | [0096](docs/decisions/ADR-0096-fabrication-control-eval-lane.md) |
+| **Expert-demo promotion contract** | Domain-aware, reviewer-signed, replay-deterministic. No domain promotes silently; every `expert_demo=true` row points to an `expert_demo_claims` entry whose SHA-256 reproduces. | [0106](docs/decisions/ADR-0106-expert-demo-promotion-contract.md) |
+| **Lane-shape registry** | Eight lane ids dispatch to five shapes (`cognition_shape`, `accuracy_shape`, `inference_shape`, `refusal_shape`, `symbolic_logic_shape`); unknown lanes fail-closed. | [0109](docs/decisions/ADR-0109-lane-shape-aware-thresholds.md) |
+
+**Current ledger state** (per `core capability ledger`):
+
+| Domain | Status |
+|---|---|
+| `mathematics_logic` | **`expert-demo`** (first promotion, [ADR-0110](docs/decisions/ADR-0110-mathematics-logic-expert-demo-promotion.md)) |
+| `physics` | `reasoning-capable` |
+| `systems_software` | `reasoning-capable` |
+| `hebrew_greek_textual_reasoning` | `reasoning-capable` |
+| `philosophy_theology` | `reasoning-capable` |
+
+The contract has now demonstrated its load-bearing behavior end-to-end: refused one promotion attempt honestly ([ADR-0107](docs/decisions/ADR-0107-mathematics-logic-expert-demo-deferred.md)), amended its threshold rules once cleanly (ADR-0109), and succeeded once honestly (ADR-0110). External readers can distinguish the two ceilings at a glance.
+
+Full ADR index, frontier, and chain notes: [`docs/decisions/README.md`](docs/decisions/README.md).
+
+---
+
 ## Architecture
 
 ```
diff --git a/docs/decisions/README.md b/docs/decisions/README.md
index a272b2db..8a4b2c9b 100644
--- a/docs/decisions/README.md
+++ b/docs/decisions/README.md
@@ -36,7 +36,7 @@ ADRs record significant architectural decisions: what was decided, why, what alt
 
 ## Current frontier
 
-The ADR-0091..0105 slate is fully accepted and mechanically evidenced:
+The ADR-0091..0110 slate is fully accepted and mechanically evidenced:
 
 - Domain Pack Contract v1 — ADR-0091
 - Reviewer Registry v1 — ADR-0092
@@ -53,6 +53,11 @@ The ADR-0091..0105 slate is fully accepted and mechanically evidenced:
 - Hebrew/Greek fluency lane attachment for ADR-0102 — ADR-0103
 - Curriculum-Sourced Teaching Proposals — ADR-0104
 - Sealed Holdout Encryption via age — ADR-0105
+- Expert-Demo Promotion Contract — ADR-0106
+- `mathematics_logic` Expert-Demo Promotion deferred (first attempt) — ADR-0107
+- Proposed-ADR Sequencing — ADR-0108
+- Lane-Shape-Aware Thresholds (ADR-0106 amendment) — ADR-0109
+- `mathematics_logic` Expert-Demo Promotion (first successful) — ADR-0110
 
 ADR-0080 has also landed: Contemplation Loop Phase 1 adds a read-only frontier-compare miner that emits `SPECULATIVE` findings only.
 
@@ -112,25 +117,31 @@ Runtime contracts for the chain are pinned in [`docs/runtime_contracts.md`](../r
 
 ADR-0027 through ADR-0045 establish the identity / safety / ethics pack architecture with deterministic remediation, audit completeness, telemetry, operator readout, audit-tour demo, pack measurements, a worked-example medical ethics pack, and long-context comparison measurements.
 
-### Evidence-governed domain chain — ADR-0091 through ADR-0103
+### Evidence-governed domain chain — ADR-0091 through ADR-0110
 
-ADR-0091 through ADR-0103 establish the current domain-ratification substrate:
+ADR-0091 through ADR-0110 establish the current domain-ratification substrate and the expert-demo promotion gate that distinguishes contract-passing from demonstrated:
 
 ```text
-contract definition
+contract definition (0091)
     ↓
-reviewer trust root
+reviewer trust root (0092)
     ↓
-validator / ledger enforcement
+validator / ledger enforcement (0093)
     ↓
-negative-control fabrication lane
+negative-control fabrication lane (0096)
     ↓
-reasoning-capable domain ratification
+reasoning-capable domain ratification (0097 / 0100 / 0101 / 0102)
     ↓
-language-specific fluency lane attachment
+language-specific fluency lane attachment (0103)
+    ↓
+expert-demo promotion contract (0106 + 0109 amendment)
+    ↓
+worked expert-demo promotion (0110 — mathematics_logic, first)
 ```
 
-No domain claim should be treated as mature merely because a pack exists. Capability status belongs to the generated ledger and its evidence predicates.
+No domain claim should be treated as mature merely because a pack exists. `reasoning-capable` means the nine ADR-0091 predicates pass; `expert-demo` requires a reviewer-signed evidence-bundle digest that reproduces byte-for-byte from on-disk lane results.
+
+The contract has been demonstrated end-to-end: refused once honestly (ADR-0107), amended once cleanly (ADR-0109), succeeded once honestly (ADR-0110).
 
 ---