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 97.8% (91)   stay 2.2% (2)
stay3100%end_submit 66.7% (2)   stay 33.3% (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_bug3breakthrough→stay 33.3% (1)   stuck→improved 33.3% (1)   stay→stay 33.3% (1)
implement93start→breakthrough 96.8% (90)   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)
verify93breakthrough→end_submit 97.8% (91)   stay→end_submit 2.2% (2)