Searching protocol for "terminator"
Visualize and verify Lean 4 proofs.
Plan, approve, execute: 90% first-pass success.