From 2bc3e674741566b1bfbef5b7b0b6e0efef1c36b9 Mon Sep 17 00:00:00 2001 From: Shay Date: Fri, 22 May 2026 06:30:53 -0700 Subject: [PATCH] docs: mark ADR 0100 accepted --- ...-physics-reasoning-capable-ratification.md | 70 ++++++++++--------- 1 file changed, 38 insertions(+), 32 deletions(-) diff --git a/docs/decisions/ADR-0100-physics-reasoning-capable-ratification.md b/docs/decisions/ADR-0100-physics-reasoning-capable-ratification.md index ff74bbe9..7a920f28 100644 --- a/docs/decisions/ADR-0100-physics-reasoning-capable-ratification.md +++ b/docs/decisions/ADR-0100-physics-reasoning-capable-ratification.md @@ -1,37 +1,47 @@ # ADR-0100 — Physics Reasoning-Capable Ratification -**Status:** Proposed +**Status:** Accepted **Date:** 2026-05-21 +**Accepted:** 2026-05-22 **Author:** CORE agents + reviewers **Depends on:** ADR-0091, ADR-0092, ADR-0093, ADR-0096, ADR-0097 --- +## Acceptance evidence + +Accepted after `physics` became a mechanically ratified `reasoning-capable` ledger row: + +- `language_packs/data/en_physics_v1/manifest.json` carries Domain Pack Contract v1 fields. +- `teaching/domain_chains/physics_chains_v1.jsonl` supplies reviewed active chains. +- `tests/test_adr_0100_0102_sibling_ratifications.py` pins: + - all nine predicates pass for `en_physics_v1` + - the ledger row status is `reasoning-capable` + - provenance points at `adr-0100:reviewed:*` + - `expert_demo` remains false + - claimed operators `causal` and `modal` meet chain coverage + - declared lanes include `foundational_physics_ood`, `inference_closure`, and `fabrication_control` + +--- + ## Context The physics substrate is structurally complete: - `language_packs/data/en_physics_v1/` ships with manifest, lexicon, glosses. - `teaching/domain_chains/physics_chains_v1.jsonl` exists. -- `evals/foundational_physics_ood/` exists with dev/public/holdouts. -- `docs/gaps.md` marks every physics gap closed: - `gap:physics_pack_absent`, `gap:physics_causal_chains_below_threshold`, - `gap:physics_modal_chains_below_threshold`, - `gap:physics_intent_shapes_below_threshold` — all `[x]`. -- Chain coverage: causal=8, modal=8 (≥8 per claimed operator family ✓); - five intent shapes populated (cause, comparison, correction, procedure, - verification — ≥3 ✓). +- `evals/foundational_physics_ood/` exists with dev/public/holdout coverage. +- `docs/gaps.md` marks physics gaps closed. +- Chain coverage and intent-shape coverage satisfy ADR-0091 predicates. -What's missing is the ADR-0091 formal ratification step, matching the -template established by ADR-0097 for `mathematics_logic`. +This ADR applies the ADR-0097 ratification template to the physics domain. --- ## Decision Ratify `en_physics_v1` as `reasoning-capable` under ADR-0091 by emitting -the contract fields into its manifest and passing -`core capability domain-contract validate en_physics_v1`. +the contract fields into its manifest and passing domain-contract validation. ### Manifest additions @@ -43,12 +53,9 @@ the contract fields into its manifest and passing "rules": null, "teaching_chains": ["physics_chains_v1"], "eval_lanes": [ - {"lane": "foundational_physics_ood", "version": "v1", - "splits": ["dev", "public", "holdout"]}, - {"lane": "inference_closure", "version": "v1", - "splits": ["dev", "public", "holdout"]}, - {"lane": "fabrication_control", "version": "v1", - "splits": ["dev", "public", "holdout"]} + {"lane": "foundational_physics_ood", "version": "v1", "splits": ["dev", "public", "holdout"]}, + {"lane": "inference_closure", "version": "v1", "splits": ["dev", "public", "holdout"]}, + {"lane": "fabrication_control", "version": "v1", "splits": ["dev", "public", "holdout"]} ], "reviewers": ["shay-j"], "known_gaps": [], @@ -56,7 +63,7 @@ the contract fields into its manifest and passing } ``` -Claimed operator families (`DOMAIN_OPERATOR_CLAIMS`): `causal`, `modal`. +Claimed operator families: `causal`, `modal`. `axioms` and `rules` stay `null` at v1 — physics demonstrates reasoning through reviewed causal/modal chain composition, not declarative axioms. @@ -72,25 +79,24 @@ through reviewed causal/modal chain composition, not declarative axioms. `physics_reasoning_capable_ledger_row` — `core capability ledger` emits a row for `domain_id: physics` with `status: reasoning-capable`, -provenance pointing at this ADR, and `expert_demo: False` until a -future ADR attaches the required audit-tour-equivalent reports. +provenance pointing at this ADR, and `expert_demo: False` until a future +ADR attaches audit-tour-equivalent reports. --- ## Lane -No new lane. The four existing lanes carry the evidence: +Existing lanes carry the evidence: -- `foundational_physics_ood/` (positive coverage) -- `inference_closure/` (composition) -- `fabrication_control/` (negative control, ADR-0096) -- `evals/domain_contract_validation/` (ADR-0093 confirms predicates fire) +- `foundational_physics_ood/` — positive coverage +- `inference_closure/` — composition +- `fabrication_control/` — negative control +- `evals/domain_contract_validation/` — predicate validation --- -## PR Checklist +## Consequences -- Capability added: second ratified `reasoning-capable` domain. -- Invariant proved: `physics_reasoning_capable_ledger_row`. -- Hidden normalization / stochastic fallback / approximate recall / unreviewed mutation: none. -- Trust boundary: manifest edit through reviewed flow; checksums unchanged. +- Second ratified `reasoning-capable` domain. +- Demonstrates the ADR-0091 contract is not math-only. +- Provides an additional domain source for later showcase composition.