Sprint pipeline
current node: —
guard-free edge (no evidence required)
guarded edge · hover for guard definitions
current node
last transition rejected (fail-closed)
guarded edges show their guard definitions + the outcome of driving — Console-i does not evaluate guards live (that's Console-ii).