Adapted this for adversarial protocol hardening. Same loop: markdown defines formal invariants (scope narrowing, cascade revocation), AI tries to violate them,

Adapted this for adversarial protocol hardening. Same loop: markdown defines formal invariants (scope narrowing, cascade revocation), AI tries to violate them, writes tests for whatever breaks. Found compound edge cases that 359 hand-written tests missed, specifically where scope escalation and spend limit bypass interact simultaneously. Property-based testing (100 random inputs per invariant) pairs well with the pattern.