Handbook
MathGenesis in Forge Intelligence
MathGenesis adds a native knowledge object store and problem-class packs for mathematics, geometry, and physics — separate from the audited Human-Life v4.1 capability index.
Updated
Documentation
| Page | Contents |
|---|---|
| Schemas | All 14 JSON schemas, object_type and partition enums |
| Objects and formulas | P0 inventory: GCD, Euclidean algorithm, Pythagorean theorem, geometry fixtures |
| Intelligence bridges | Physics migration stubs and outbound math refs |
| Visual representations | forge-universe 2D/3D renderers vs MG objects; ks spatial boundary |
| Promotion graph | Discovery → promotion gates and packs (M07) |
| Genesis-0 worlds | Curriculum worlds and hidden target maps (M07) |
| Training and historian | M08 training batches and historian comparison |
Source pack
Vendored design source: vendor/mathgenesis_prompt_pack_v1/
Operational prompts (00–21) remain in the vendor tree. Repo implementation uses Composer PDCA phases under docs/prompts/mathgenesis-pdca/.
Layout
| Path | Purpose |
|---|---|
schemas/mathgenesis/ |
Native JSON schemas (14) |
knowledge/math/ |
Registry, curriculum, examples |
registries/math_partition_policy.yaml |
Clean-room partition policy |
packs/math/knowledge-ingest/ |
I0 ingest pack (policy + fixtures) |
lcdl/contracts/intelligence_math_* |
Governed task contracts (proposal) |
src/forge_intelligence/mathgenesis/ |
Store, receipts, contamination audit |
Governance
- Reference partition is invisible to learner credentials.
- Formal proof claims require
proof_kernelreceipts — envelope runtime does not self-certify. - Maturity: I0_scaffold / A0_assisted / fixture until allowlist promotion.
Verification
python3 tools/validate_mathgenesis.py
./scripts/mathgenesis-pdca/check-phase-gate.sh M05
pytest tests/test_mathgenesis_*.py -q
Handbook
Rebuild forge-intelligence-website after doc changes; do not edit generated HTML.