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.
لغة النص الأصلي: الإنجليزية