Model Presets
Live Parameters
0.85
Propensity to treat conjectures as inert proof obligations
0.30
Probability of spawning open sub-questions during discovery
12
3
Root Problem
Spawned Inquiry
Emergent Subfield
Inert Closed Proof
Simulation Telemetry: Nodes: 164 | Links: 163 | Active Graph Clustered
Model dynamic: High automated proof churn without interrogation compresses field growth into isolated proof sinks.