🛡

Safety Guard Verification

— waiting for verification to start —

idle

checking — · —

DAG view All claims

Edges data flow parameter ref live recursion

Node Detail

Claims

Event Log

Click a node in the graph to inspect it.

No claims yet.

No events yet.

click to pin