#1 · reference-critical
score 178.583 · state PENDING_REALITY
PROOF DEBT SCHEDULER
The scheduler ranks unresolved proof obligations by consequence, age, deadline pressure, dependency centrality, settlement blocking and safety criticality. Priority can change who investigates first; it can never promote PENDING_REALITY to FINAL.
Reference queue
Priority does not change truth.
score 178.583 · state PENDING_REALITY
score 22.583 · state PENDING_REALITY