Handbook
MathGenesis promotion graph (M07)
Discovery candidates move through falsifier → validation → ontology → promotion decision artifacts. Runtime orchestration lives in promotion_graph.py.
Updated
Hard gates (fail closed)
From vendor prompt 15 (promotion_gate):
| Gate | Blocker when |
|---|---|
schema_valid |
Invalid candidate schema |
formal_or_appropriate_validation |
Validation status unsupported by receipts |
contamination_audit |
confirmed_leak or probable_leak |
heldout_utility |
Held-out utility evaluation incomplete or failed |
Utility scores never override a failed blocker gate.
Partitions
| Decision | Typical target_partition |
|---|---|
promote |
promoted_discovery (after human approval when required) |
retain_staging |
discovery_staging |
reject |
rejected |
Packs
| Pack | Role |
|---|---|
math/concept-mine |
Prompt 11 — mine candidates from episodes |
math/concept-promote |
Prompts 12–15 — falsify, validate, ontology, promote |
Example decision: promotion_decision_example.json.
Compatibility bridge
Candidates may attach metadata.compatibility_artifacts for general.concept-invention envelopes without duplicating ontology logic in the math spine.