Same Conductor, Provable Order: What Google ADK's Graph Actually Guarantees

TL;DR: Google ADK's Workflow graph engine can prove a step architecturally cannot be skipped - the claim is checkable directly on the graph's edges, not just by running a test and hoping it covers the