The Engineering Prescription
The theorems do not say defense is useless; they say complete defense is impossible under the stated constraints. The engineering goal therefore shifts from elimination to management, and the paper's four-point prescription falls out naturally from the tier structure.
The four-point plan
1 · Make the boundary shallow
Set
::: remark The paper's GPT-5-Mini experiment exemplifies this: its ceiling at
2 · Reduce the Lipschitz constant
Smaller
- narrows the T2 ε-robust band (width
); - shrinks the T3 steep region (needs
).
The trade-off: smoother surfaces spread vulnerabilities over wider but more easily monitored regions. Rough surfaces create tiny isolated pockets; smooth surfaces create large gentle slopes.
3 · Reduce the effective dimension
Defense cost grows as
4 · Monitor, don't eliminate, the boundary
The boundary does not go away — tier T1 says so. But the Lipschitz bound of tier T2 turns this into an actionable observability signal: from any observed value
Build runtime monitoring that:
- tracks the observed
values of live traffic; - alerts when
approaches along any direction with high directional slope; - combines with standard incident-response processes.
This does not make the trilemma false — it just turns it from an "elimination" problem into an "ongoing management" problem, which the rest of security engineering already knows how to handle.
What the prescription does not promise
- It does not promise that the defense becomes complete. Tier T1 still fires; some boundary points will always be fixed.
- It does not promise that the band or steep region become empty. Lower
and higher shrink them, but not to zero. - It does not escape the trilemma. It just moves the failure mode into territory where it's cheap to manage.
Cross-references
- The Defense Trilemma — the structural constraint.
- T3 · Persistent Unsafe Region — what "reducing
" concretely buys you. - Pipeline Degradation — why agent tool chains fight the prescription.
- Limitations & counter-examples — the exact scope of the theorems.