Defines a domain-aware, reviewer-signed expert_demo promotion gate to
replace the current cognition-lane-only predicate in
core/capability/reporting.py:418. Status: Proposed. This ADR does not
promote any domain — it defines the contract that a follow-up ADR (likely
mathematics_logic as ADR-0107) will consume as the first worked
promotion.
This directory contains the Architecture Decision Records (ADRs) for the CORE project.
ADRs record significant architectural decisions: what was decided, why, what alternatives were considered, and what consequences follow. They are permanent records — superseded ADRs are archived, not deleted.
Hebrew/Greek fluency lane attachment for ADR-0102 — ADR-0103
Curriculum-Sourced Teaching Proposals — ADR-0104
Sealed Holdout Encryption via age — ADR-0105
Seven lanes are SHA-pinned in scripts/verify_lane_shas.py and gated by the lane-shas GitHub Actions workflow:
reviewer_registry
domain_contract_validation
miner_loop_closure
curriculum_loop_closure
fabrication_control_summary
demo_composition
public_demo
The next implementation frontier is open. Candidate directions include:
Expert-demo ratification. All ADR-0097/0100/0101/0102 ledger rows currently sit at reasoning-capable with expert_demo=false. ADR-0106 is proposed as the domain-aware, reviewer-signed promotion contract; the first worked promotion (likely mathematics_logic) follows in ADR-0107.
Multi-reviewer holdout governance and threshold signing. ADR-0105 seals holdout payloads with a single recipient identity; multi-reviewer governance is a future direction.
No ADR currently sits in a "Proposed but unimplemented" state.
Accepted reasoning-capable domains
Domain
Ratification ADR
Pack(s)
Evidence summary
mathematics_logic
ADR-0097
en_mathematics_logic_v1
All nine ADR-0091 predicates pass; ledger row is reasoning-capable; expert_demo remains false; lanes include positive coverage, inference closure, and fabrication control.
physics
ADR-0100
en_physics_v1
All nine predicates pass; causal/modal operator coverage meets threshold; ledger row is reasoning-capable; expert_demo remains false.
systems_software
ADR-0101
en_systems_software_v1
All nine predicates pass; transitive/causal operator coverage meets threshold; ledger row is reasoning-capable; symbolic_logic is the v1 closest-fit eval lane.
First multi-pack ratification; all four packs carry uniform contract fields; causal/contradiction operator coverage meets threshold; ADR-0103 attaches Hebrew and Koine Greek fluency lanes with dev/public/holdout coverage.
ADR chain notes
Forward Semantic Control closure — ADR-0022 through ADR-0026
ADR-0022 through ADR-0026 form a single coherent chain that closes forward semantic control as a non-stochastic, replay-deterministic, trace-evidenced mechanism.
ADR-0022 establishes AdmissibilityRegion and the contract that a region restricts the admissible token set at generation time.
ADR-0023 records proof evidence that the admissibility region is honored at the region-intersection level.
ADR-0024 adds destination-side per-step admissibility and honest InnerLoopExhaustion when all admissible candidates are rejected.
ADR-0025 adds rotor/frame admissibility when a region carries a frame_versor.
ADR-0026 replaces static threshold tuning with ranked admissibility and a scale-invariant margin gate.
No domain claim should be treated as mature merely because a pack exists. Capability status belongs to the generated ledger and its evidence predicates.
Session Logs
Session logs record the decisions and rationale from individual working sessions. They are not ADRs — they are the narrative record that informed the ADRs.
