436 lines
10 KiB
Markdown
436 lines
10 KiB
Markdown
# 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.
|