Click a node or edge for details

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

sourceout totalΣ% → targets
start75100%breakthrough 100.0% (75)
breakthrough75100%end_submit 98.7% (74)   end_limit 1.3% (1)

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

gap labeltotal src→tgt breakdown
implement74start→breakthrough 98.6% (73)   start→improved 1.4% (1)
verify74breakthrough→end_submit 97.3% (72)   improved→end_submit 1.4% (1)   breakthrough→end_limit 1.4% (1)