Click a node or edge for details

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

sourceout totalΣ% → targets
start78100%breakthrough 96.2% (75)   improved 3.8% (3)
improved3100%end_limit 33.3% (1)   breakthrough 33.3% (1)   end_submit 33.3% (1)
breakthrough76100%end_submit 98.7% (75)   stay 1.3% (1)
stay1100%end_submit 100.0% (1)

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

gap labeltotal src→tgt breakdown
explore1improved→end_limit 100.0% (1)
fix_bug1breakthrough→stay 100.0% (1)
implement79start→breakthrough 94.9% (75)   start→improved 3.8% (3)   improved→breakthrough 1.3% (1)
verify77breakthrough→end_submit 97.4% (75)   stay→end_submit 1.3% (1)   improved→end_submit 1.3% (1)