From f8d9a36eebc01507f0758297a31f44fd904a36fc Mon Sep 17 00:00:00 2001 From: Shay Date: Sat, 30 May 2026 18:35:47 -0700 Subject: [PATCH] docs(curriculum): add foundation curriculum tracker --- .../FOUNDATION-CURRICULUM-TRACKER.md | 436 ++++++++++++++++++ 1 file changed, 436 insertions(+) create mode 100644 docs/curriculum/FOUNDATION-CURRICULUM-TRACKER.md diff --git a/docs/curriculum/FOUNDATION-CURRICULUM-TRACKER.md b/docs/curriculum/FOUNDATION-CURRICULUM-TRACKER.md new file mode 100644 index 00000000..bb545e8c --- /dev/null +++ b/docs/curriculum/FOUNDATION-CURRICULUM-TRACKER.md @@ -0,0 +1,436 @@ +# CORE Foundation Curriculum Tracker + +Status: proposed tracker +Scope: documentation only; this file tracks planned, in-progress, admitted, and deferred curriculum work. + +--- + +## Status vocabulary + +Use these statuses consistently. + +| Status | Meaning | +|---|---| +| `PLANNED` | The slice is proposed and ordered but no pack/eval implementation exists yet. | +| `DESIGNING` | A slice-specific design doc or ADR candidate is being drafted. | +| `IMPLEMENTING` | Pack/eval/test work exists on a branch but is not admitted. | +| `BLOCKED` | A prerequisite or contradiction prevents progress. | +| `ADMITTED` | Pack, eval, tests, docs, and admission evidence are present and accepted. | +| `DEFERRED` | Intentionally delayed because prerequisites are missing or priority changed. | +| `RETIRED` | Superseded by a later admitted slice. | + +No slice should be marked `ADMITTED` from prose alone. + +--- + +## Admission checklist per slice + +A curriculum slice requires: + +- [ ] slice design documented under `docs/curriculum/` +- [ ] pack manifest added or updated +- [ ] deterministic pack data added +- [ ] eval README added +- [ ] public/dev eval cases added as appropriate +- [ ] runner or harness support added if needed +- [ ] tests added +- [ ] refusal/undetermined cases included +- [ ] replay/provenance artifacts stable where applicable +- [ ] no unrelated runtime behavior changed +- [ ] existing relevant eval lanes remain non-regressed + +--- + +## Foundation stages + +### Stage 1 — Language relation substrate + +Status: `PLANNED` + +Purpose: make every later subject parseable as typed claims and relations. + +Candidate artifacts: + +```text +packs/language/en_core_syntax_v1 +packs/language/en_core_relations_v2 +evals/language_claim_parsing +evals/language_relation_binding +``` + +Core primitives: + +- subject/predicate +- agent/action/object +- modifier attachment +- prepositional relation +- temporal sequence +- conditional +- negation +- comparison +- coordination +- reference resolution +- claim boundary +- evidence span + +Admission gates: + +- [ ] every parsed claim carries evidence span +- [ ] every relation has typed operands +- [ ] comparative forms are directionally correct +- [ ] temporal forms preserve order +- [ ] conditionals preserve antecedent/consequent scope +- [ ] negations do not invert unsupported claims +- [ ] insufficient evidence yields typed refusal or undetermined state +- [ ] existing GSM8K behavior does not regress + +Recommended first branch: + +```text +feat/en-core-syntax-relations-v1 +``` + +--- + +### Stage 2 — Arithmetic semantics and quantity state + +Status: `PLANNED` + +Purpose: compile story statements into deterministic quantity/state ledgers. + +Candidate artifacts: + +```text +packs/math/arithmetic_semantics_v1 +packs/math/quantity_ledger_v1 +packs/math/ratio_rate_percent_v1 +evals/math_quantity_language +evals/math_state_tracking +``` + +Core primitives: + +- entity +- attribute +- quantity +- mutation +- initial state +- final state +- unknown value +- comparative quantity +- ratio +- rate +- percent + +Admission gates: + +- [ ] addition/subtraction/multiplication/division language maps to deterministic relations +- [ ] entity and attribute identity are preserved through mutations +- [ ] unknowns remain symbolic until solved or refused +- [ ] comparative phrases are directionally stable +- [ ] answer derivation is replayable +- [ ] missing quantity evidence refuses rather than guesses + +--- + +### Stage 3 — Measurement, units, and dimensional reasoning + +Status: `PLANNED` + +Purpose: attach quantities to reality and reject invalid operations. + +Candidate artifacts: + +```text +packs/math/measurement_units_v1 +packs/math/dimensional_analysis_v1 +evals/unit_conversion +evals/dimensional_validity +evals/rate_reasoning +``` + +Core primitives: + +- unit +- unit family +- dimension +- conversion +- compound unit +- numerator/denominator unit +- scale +- precision +- exact vs measured value + +Admission gates: + +- [ ] unit conversions are deterministic +- [ ] incompatible dimensions are rejected +- [ ] compound units preserve structure +- [ ] final answers retain units +- [ ] rate questions preserve per-unit basis +- [ ] measured/rounded/exact quantities are not conflated + +--- + +### Stage 4 — Logic, classification, and conditionals + +Status: `PLANNED` + +Purpose: preserve truth under inference. + +Candidate artifacts: + +```text +packs/logic/classification_v1 +packs/logic/conditionals_v1 +packs/logic/quantifiers_v1 +packs/logic/contradiction_v1 +evals/basic_logic +evals/claim_entailment_refusal +``` + +Core primitives: + +- identity +- difference +- class membership +- subclass +- part-whole +- necessary condition +- sufficient condition +- quantifier +- negation +- conjunction/disjunction +- contradiction +- equivalence + +Admission gates: + +- [ ] entailment is separated from plausibility +- [ ] contradiction is explicit +- [ ] quantifier scope is preserved +- [ ] necessary/sufficient conditions are not swapped +- [ ] unknown membership yields refusal/undetermined state + +--- + +### Stage 5 — Scientific method and evidence grammar + +Status: `PLANNED` + +Purpose: separate observation, hypothesis, inference, verification, contradiction, and scope. + +Candidate artifacts: + +```text +packs/science/scientific_method_v1 +packs/science/evidence_relations_v1 +packs/science/causal_reasoning_v1 +evals/science_evidence_classification +evals/hypothesis_prediction_experiment +``` + +Core primitives: + +- observation +- measurement +- hypothesis +- prediction +- experiment +- control +- evidence +- model +- theory/law +- confounder +- replication +- scope limit + +Admission gates: + +- [ ] observed claims are not promoted to verified causal claims without evidence +- [ ] missing controls/sample sizes/methods are surfaced +- [ ] causal claims are distinguished from associations +- [ ] scope limits are preserved +- [ ] contradictory evidence is represented explicitly + +--- + +### Stage 6 — Data literacy, probability, and statistics + +Status: `PLANNED` + +Purpose: reason under uncertainty without overclaiming. + +Candidate artifacts: + +```text +packs/math/data_literacy_v1 +packs/math/probability_v1 +packs/math/statistical_reasoning_v1 +evals/table_reasoning +evals/probability_language +evals/base_rate_reasoning +evals/correlation_vs_causation +``` + +Core primitives: + +- data point +- variable +- dataset +- table +- chart +- mean/median/mode +- spread +- outlier +- sample/population +- probability +- conditional probability +- base rate +- false positive/negative +- absolute vs relative risk +- correlation +- causation + +Admission gates: + +- [ ] table rows/columns are typed +- [ ] denominators are preserved +- [ ] sample vs population is not confused +- [ ] base-rate information is used when present +- [ ] unsupported statistical claims are refused or qualified +- [ ] correlation is not promoted to causation without evidence + +--- + +### Stage 7 — Computational thinking and algorithms + +Status: `PLANNED` + +Purpose: make procedures, traces, and state machines first-class. + +Candidate artifacts: + +```text +packs/cs/computational_thinking_v1 +packs/cs/algorithm_trace_v1 +packs/cs/state_machine_v1 +evals/procedure_following +evals/algorithm_trace +evals/branching_logic +``` + +Core primitives: + +- sequence +- branch +- loop +- state +- function +- input/output +- decomposition +- abstraction +- invariant +- error handling +- trace +- rough complexity + +Admission gates: + +- [ ] procedures produce deterministic traces +- [ ] branch conditions are grounded in evidence +- [ ] state mutations are explicit +- [ ] invalid or missing steps are not silently repaired +- [ ] loop termination is represented or refused if underspecified + +--- + +### Stage 8 — Systems and crosscutting structures + +Status: `PLANNED` + +Purpose: enable cross-field transfer without collapsing domain boundaries. + +Candidate artifacts: + +```text +packs/crosscutting/patterns_v1 +packs/crosscutting/cause_effect_v1 +packs/crosscutting/systems_models_v1 +packs/crosscutting/structure_function_v1 +packs/crosscutting/stability_change_v1 +evals/cross_domain_transfer +evals/systems_reasoning_basic +``` + +Core primitives: + +- pattern +- cause/effect +- scale +- proportion +- system +- model +- structure/function +- stability/change +- feedback +- equilibrium +- constraint +- conservation-like accounting + +Admission gates: + +- [ ] shared structure is identified across fields +- [ ] domain-specific limits are preserved +- [ ] analogy is not treated as proof +- [ ] transfer does not bypass evidence or scope +- [ ] unsupported cross-domain claims refuse or remain unassessed + +--- + +## Domain foundation backlog + +These are intentionally downstream of the foundation stages. + +| Domain foundation | Status | Required prerequisites | +|---|---|---| +| Physical science foundations | `DEFERRED` | stages 1-5, units, systems | +| Chemistry foundations | `DEFERRED` | physical science, units, conservation, evidence | +| Life science foundations | `DEFERRED` | systems, chemistry basics, structure/function | +| Earth/space/environment systems | `DEFERRED` | systems, measurement, data literacy | +| History inquiry | `DEFERRED` | language, chronology, evidence/source evaluation | +| Geography/spatial reasoning | `DEFERRED` | measurement, scale, systems | +| Economics basics | `DEFERRED` | arithmetic, rates, incentives, systems, uncertainty | +| Civics/institutions | `DEFERRED` | language, rules, authority, procedure, ethics | +| Medicine | `DEFERRED` | biology, chemistry, statistics, evidence, ethics, refusal | +| Law | `DEFERRED` | language, logic, authority, procedure, evidence, source hierarchy | +| Finance/trading | `DEFERRED` | statistics, probability, time series, risk, uncertainty | +| Engineering | `DEFERRED` | units, physical science, systems, constraints, algorithms | +| Theology/hermeneutics | `DEFERRED` | language, logic, Hebrew/Greek, history, source criticism, ethics | + +--- + +## Immediate next work queue + +Recommended near-term order: + +1. `feat/en-core-syntax-relations-v1` +2. `feat/quantity-ledger-arithmetic-semantics-v1` +3. `feat/measurement-units-dimensional-analysis-v1` +4. `feat/basic-logic-conditionals-v1` +5. `feat/scientific-method-evidence-grammar-v1` +6. `feat/data-literacy-probability-v1` + +Each branch should be narrow, separately reviewable, and independently non-regressing. + +--- + +## Notes log + +Add dated notes below as work proceeds. + +### 2026-05-30 + +- Roadmap and tracker introduced as documentation-only planning artifacts. +- No pack, eval, runtime, or admission changes included. +- First recommended implementation slice is language relation substrate.