core-labs/core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1
core/docs/curriculum/FOUNDATION-CURRICULUM-TRACKER.md

10 KiB
Raw Permalink Blame History

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:

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:

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:

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:

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:

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:

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:

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:

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:

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.