Audit date: 2026-06-17. Scope: the 8 shipped changes + invariants I1 (gate-never-loosens), I2 (never-throw unattended), I3 (no-flood/bounded), I4 (zero-automated-LLM-tokens). Only findings that ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results