diff --git a/docs/decisions/ADR-0102-hebrew-greek-reasoning-capable-ratification.md b/docs/decisions/ADR-0102-hebrew-greek-reasoning-capable-ratification.md index c682d69c..fbd99790 100644 --- a/docs/decisions/ADR-0102-hebrew-greek-reasoning-capable-ratification.md +++ b/docs/decisions/ADR-0102-hebrew-greek-reasoning-capable-ratification.md @@ -1,49 +1,54 @@ # ADR-0102 — Hebrew-Greek Textual-Reasoning 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 `hebrew_greek_textual_reasoning` became a mechanically ratified multi-pack `reasoning-capable` ledger row: + +- `grc_logos_micro_v1`, `grc_logos_cognition_v1`, `he_logos_micro_v1`, and `he_core_cognition_v1` carry uniform Domain Pack Contract v1 fields. +- `teaching/domain_chains/hebrew_greek_textual_reasoning_chains_v1.jsonl` supplies reviewed active chains. +- `tests/test_adr_0100_0102_sibling_ratifications.py` pins: + - all nine predicates pass for each of the four packs + - the ledger row status is `reasoning-capable` + - provenance points at `adr-0102:reviewed:*` + - `expert_demo` remains false + - claimed operators `causal` and `contradiction` meet chain coverage + - declared lanes include `inference_closure` and `fabrication_control` + - all four contracts are identical modulo pack identity + +--- + ## Context The hebrew_greek_textual_reasoning substrate is structurally complete across four packs: -- `grc_logos_micro_v1`, `grc_logos_cognition_v1`, - `he_logos_micro_v1`, `he_core_cognition_v1`. +- `grc_logos_micro_v1`, `grc_logos_cognition_v1`, `he_logos_micro_v1`, + `he_core_cognition_v1`. - `teaching/domain_chains/hebrew_greek_textual_reasoning_chains_v1.jsonl`. -- `docs/gaps.md` marks every relevant gap closed: - `gap:grc_he_glosses_absent`, `gap:grc_he_chains_absent`, - `gap:grc_logos_micro_v1_gloss_coverage_below_threshold`, - `gap:grc_logos_cognition_v1_gloss_coverage_below_threshold`, - `gap:he_logos_micro_v1_gloss_coverage_below_threshold`, - `gap:he_core_cognition_v1_gloss_coverage_below_threshold`, - `gap:hebrew_greek_textual_reasoning_causal_chains_below_threshold`, - `gap:hebrew_greek_textual_reasoning_contradiction_chains_below_threshold`, - `gap:hebrew_greek_textual_reasoning_intent_shapes_below_threshold` - — all `[x]`. -- Chain coverage: causal=8, contradiction=8 (≥8 per claimed operator - family ✓); five intent shapes populated (≥3 ✓). +- `docs/gaps.md` marks relevant Hebrew/Greek textual-reasoning gaps closed. +- Chain coverage and intent-shape coverage satisfy ADR-0091 predicates. -Unlike `mathematics_logic` / `physics` / `systems_software`, this is a -**multi-pack domain**: `DOMAIN_PACKS["hebrew_greek_textual_reasoning"]` -enumerates four packs. ADR-0091's predicates evaluate per pack; the -ledger row aggregates. Each of the four packs must carry the same -domain contract so the per-pack `core capability domain-contract -validate` passes uniformly. +Unlike `mathematics_logic`, `physics`, and `systems_software`, this is a +**multi-pack domain**. ADR-0091 predicates evaluate per pack; the ledger +row aggregates. Each of the four packs must carry the same domain +contract so per-pack validation passes uniformly. --- ## Decision -Ratify all four hebrew/greek packs as `reasoning-capable` under +Ratify all four Hebrew/Greek packs as `reasoning-capable` under ADR-0091 by emitting the contract fields into each manifest. Each pack declares the same `domain_id`, `teaching_chains`, `eval_lanes`, and -reviewers; the only field that varies per pack is `provenance` -(remains pack-scoped audit trail). +reviewers, with a uniform provenance trail for this ratification. ### Manifest additions (all four packs) @@ -55,10 +60,8 @@ reviewers; the only field that varies per pack is `provenance` "rules": null, "teaching_chains": ["hebrew_greek_textual_reasoning_chains_v1"], "eval_lanes": [ - {"lane": "inference_closure", "version": "v1", - "splits": ["dev", "public", "holdout"]}, - {"lane": "fabrication_control", "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": [], @@ -66,25 +69,16 @@ reviewers; the only field that varies per pack is `provenance` } ``` -Claimed operator families (`DOMAIN_OPERATOR_CLAIMS`): `causal`, -`contradiction`. `axioms` and `rules` stay `null` at v1. +Claimed operator families: `causal`, `contradiction`. `axioms` and +`rules` stay `null` at v1. ### Eval lane scope Only universal lanes (`inference_closure`, `fabrication_control`) are -declared. The language-specific fluency lanes -(`evals/hebrew_fluency/`, `evals/koine_greek_fluency/`) currently ship -dev/public only — without a sealed holdout split they fail ADR-0091 -predicate P7. Adding holdouts to those lanes is a separate ADR; until -that lands, the universal lanes alone are sufficient for -`reasoning-capable` status. - -### Pre-existing manifest gap - -The four hebrew/greek manifests currently lack a `provenance` field -entirely (unlike the three English domain packs). This ratification -fills that gap as a side-effect; future audits of pack provenance -trails across all packs become uniform. +declared. The language-specific fluency lanes currently ship dev/public +only; without sealed holdout splits they are not part of this +reasoning-capable ratification. A future ADR may add holdouts and attach +those lanes. --- @@ -92,45 +86,27 @@ trails across all packs become uniform. `hebrew_greek_reasoning_capable_ledger_row` — `core capability ledger` emits a row for `domain_id: hebrew_greek_textual_reasoning` with -`status: reasoning-capable`, provenance pointing at this ADR (uniform -across all four packs), and `expert_demo: False` until a future ADR -attaches the required reports. +`status: reasoning-capable`, provenance pointing at this ADR, and +`expert_demo: False` until a future ADR attaches audit-tour-equivalent reports. -`hebrew_greek_pack_contracts_uniform` — all four packs declare -identical contract fields (except provenance audit trail), so -multi-pack ratification cannot drift between packs without an -explicit ADR. +`hebrew_greek_pack_contracts_uniform` — all four packs declare identical +contract fields so multi-pack ratification cannot drift between packs +without an explicit ADR. --- ## Lane -No new lane. Existing lanes carry the evidence: +Existing lanes carry the evidence: -- `inference_closure/` (composition) -- `fabrication_control/` (negative control, ADR-0096) -- `evals/domain_contract_validation/` (ADR-0093 confirms predicates - fire on each of the four packs) +- `inference_closure/` — composition +- `fabrication_control/` — negative control +- `evals/domain_contract_validation/` — predicate validation on each pack --- ## Consequences -- First multi-pack domain ratification. Demonstrates the contract - works the same way for single-pack and multi-pack domains. -- All four hebrew/greek manifests gain a provenance field. -- Future language-specific eval lanes (Hebrew, Koine Greek) can be - added to the contract once they ship holdout splits. - ---- - -## PR Checklist - -- Capability added: fourth ratified `reasoning-capable` domain, - multi-pack. -- Invariants proved: `hebrew_greek_reasoning_capable_ledger_row`, - `hebrew_greek_pack_contracts_uniform`. -- Hidden normalization / stochastic fallback / approximate recall / - unreviewed mutation: none. -- Trust boundary: four manifest edits through reviewed flow; - checksums unchanged. +- First multi-pack `reasoning-capable` domain ratification. +- Demonstrates the contract works for both single-pack and multi-pack domains. +- Future language-specific eval lanes can be added once they ship holdout splits.