docs(curriculum): add foundation curriculum tracker
This commit is contained in:
Shay
parent
e74a51f5db
commit
f8d9a36eeb
1 changed files with 436 additions and 0 deletions
436
docs/curriculum/FOUNDATION-CURRICULUM-TRACKER.md
Normal file
436
docs/curriculum/FOUNDATION-CURRICULUM-TRACKER.md
Normal file
|
|
@ -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.
|
||||
Loading…
Reference in a new issue