- README.md: fix broken evals/CLAIMS.md link to root CLAIMS.md; add 'Evidence-Governed Domain Layer' section pointing to the ADR-0091/0096/0106/0109 contract chain and current ledger state (math at expert-demo, four other domains at reasoning-capable). - docs/decisions/README.md: extend the 'fully accepted' slate from 0091..0105 to 0091..0110 with ADR-0106 through 0110 entries; extend the 'Evidence-governed domain chain' chain-notes section to reflect the expert-demo arc (refused-amended-succeeded narrative).
This commit is contained in:
Shay
GitHub
parent
5f149340cc
commit
95e5e93d02
2 changed files with 50 additions and 11 deletions
30
README.md
30
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
|
||||
|
||||
```
|
||||
|
|
|
|||
|
|
@ -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).
|
||||
|
||||
---
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue