Handbook
MathGenesis JSON schemas (P0)
Native schemas live under schemas/mathgenesis/. Validate with:
Updated
python3 tools/validate_mathgenesis.py
All schemas use JSON Schema draft 2020-12 and share the $id prefix https://forgesdlc.com/schemas/mathgenesis/.
Schema catalog
| File | Title | Required top-level fields | Example artifact |
|---|---|---|---|
math-knowledge-object.schema.json |
MathGenesis knowledge object | schema_version, object_id, object_type, title, domain_id, partition, semantic_version, visibility, epistemic, content, dependencies, provenance, verification |
knowledge/math/examples/pythagorean_theorem.json |
ingestion-plan.schema.json |
MathGenesis ingestion plan | schema_version, plan_id, run_mode, target_partition, tasks, stop_rules, status |
ingestion_plan_example.json |
library-batch.schema.json |
MathGenesis library batch | schema_version, batch_id, run_mode, target_partition, created_at, created_by, objects, status |
reference_batch.json, genesis0_batch.json |
source-candidate-set.schema.json |
MathGenesis source candidate set | schema_version, source_id, candidates, unresolved_source_issues, status |
(no bundled example in P0) |
curriculum-generation.schema.json |
MathGenesis curriculum generation | schema_version, generation_id, learner_snapshot_id, learner_visible_batch, historian_only_evaluation_map, task_graph, metrics, stop_rules, status |
(no bundled example in P0) |
promotion-decision.schema.json |
MathGenesis promotion decision | schema_version, decision_id, candidate_id, decision, hard_gates, validation_status, utility, contamination_status, rationale, required_actions |
promotion_decision_example.json |
validation-report.schema.json |
MathGenesis independent validation report | schema_version, report_id, candidate_id, selected_criteria, receipts_used, findings, unresolved_obligations, validation_status, recommended_action, independence_statement |
(no bundled example in P0) |
falsifier-report.schema.json |
MathGenesis falsifier report | schema_version, report_id, candidate_results, overall_status |
(no bundled example in P0) |
contamination-report.schema.json |
MathGenesis contamination report | schema_version, report_id, targets, overall_status, clean_room_eligible |
Assured via knowledge/math/fixtures/assurance.yaml |
historian-comparison.schema.json |
MathGenesis isolated historian comparison | schema_version, report_id, discovery_id, comparison_class, learner_formulation, modern_mappings, novelty_labels, evidence, limitations, next_action |
(no bundled example in P0) |
ontology-patch.schema.json |
MathGenesis ontology patch candidate | schema_version, patch_id, mode, comparisons, node_operations, edge_operations, collision_checks, status |
(no bundled example in P0) |
repository-write-plan.schema.json |
Forge Intelligence repository write plan | schema_version, plan_id, assembly_mode, files, registry_updates, validation_commands, rollback_steps, status |
(no bundled example in P0) |
training-record-batch.schema.json |
MathGenesis verified training-record batch | schema_version, batch_id, library_snapshot_id, records, rejection_ledger, status |
(no bundled example in P0) |
release-report.schema.json |
MathGenesis batch release report | schema_version, report_id, batch_id, decision, checks, blockers, required_actions |
(no bundled example in P0) |
tools/validate_mathgenesis.py checks every example JSON that contains object_id against math-knowledge-object.schema.json, and validates the four pipeline examples listed in the validator source against their batch/plan/decision schemas.
Knowledge object: object_type enum
The core schema allows 25 object types:
| Category | Values |
|---|---|
| Foundational | primitive, axiom, definition, notation |
| Proof graph | theorem, lemma, proof, conjecture, counterexample |
| Problem solving | problem, solution, algorithm, representation, invariant, strategy |
| Measurement | quantity, unit |
| Empirical | observation, experiment |
| Physics / worlds | physical_model, simulation_world |
| Pedagogy / history | curriculum_item, historical_lineage, analogy |
| Assurance | validation_report, rejected_candidate |
Knowledge object: partition enum
| Partition | Learner visible (default policy) | Purpose |
|---|---|---|
reference |
No | Historian / validator reference library |
learner_seed |
Yes | Clean-room learner-visible seeds |
curriculum |
Yes | Authored curriculum objects |
discovery_staging |
Yes | Staged discovery candidates |
promoted_discovery |
Yes | Promoted learner-visible discoveries |
rejected |
No | Rejected candidates |
Authoritative partition rules: registries/math_partition_policy.yaml.
Knowledge object: key content fields
| Field | When used | Notes |
|---|---|---|
content.statement |
Most types | Human-readable claim or model |
content.formal_statement |
Theorems, some definitions | Machine-oriented form |
content.definition |
Definitions | Biconditional or definitional form |
content.symbols |
Math / physics | Symbol, role, domain, unit, dimension |
content.procedure |
Algorithms | Step list with pre/postconditions |
geometry |
Euclidean / synthetic geometry | Primitives, relations, diagram_status |
physics |
physical_model, simulation_world |
Forces, state variables, integrator hints |
See Objects and formulas for populated examples and Visual representations for renderer mapping.