[ ] Rule 17 stand-on assertion timing (we hold too long)
[ ] model-check the FSM a la Niu 2021 before v4 cert sign-off
[ ] GNSS-denied: terrain/acoustic correlation drift > spec in deep water, file it
[x] VO gating threshold tuned to 4 contacts
[ ] common API: SALMON wants a bottom-follow mode hook