Click a node or edge for details

Verification — outgoing probability per source state (sums to 100%)

sourceout totalΣ% → targets
start93100%breakthrough 96.8% (90)   stuck 2.2% (2)   improved 1.1% (1)
improved2100%stuck 50.0% (1)   breakthrough 50.0% (1)
stuck3100%breakthrough 66.7% (2)   improved 33.3% (1)
breakthrough93100%end_submit 98.9% (92)   stay 1.1% (1)
stay1100%end_submit 100.0% (1)

Gap label distribution — for each label, which src→tgt edges carry it

gap labeltotal src→tgt breakdown
execute_plan1stuck→breakthrough 100.0% (1)
fix_bug1stuck→improved 100.0% (1)
implement92start→breakthrough 96.7% (89)   start→stuck 2.2% (2)   start→improved 1.1% (1)
infra_confusion1improved→breakthrough 100.0% (1)
optimize_perf2stuck→breakthrough 50.0% (1)   improved→stuck 50.0% (1)
rewrite1breakthrough→stay 100.0% (1)
verify92breakthrough→end_submit 98.9% (91)   stay→end_submit 1.1% (1)