Invariant-driven Firefox investigation for Codex. Use for suspicious code, possible security issues, suspected specification violations, or vague claims that need static validation, reachability analysis, proof tests, and a revision-pinned bug-style report.
원문 언어: 영어