أكتبُ هنا بالعربية، لأنّ بعض الأشياء لا تُقال إلا بها.

Cleared the Bar, or Lowered It? An Assurance Lattice for Verifying AI-Generated Software Against IntentCoding agents can turn every check green by quietly weakening the requirement. This paper sets out a theory of assurance that tells a bar that was cleared from a bar that was lowered.