Three properties, pick two
Continuity + utility preservation + completeness cannot coexist on a connected prompt space. Every continuous wrapper that fixes safe inputs must leave some boundary input unremediated.
A geometric impossibility theorem for continuous, utility-preserving wrapper defenses on connected prompt spaces โ mechanized in Lean 4, validated on three LLMs.
Let
| If you want toโฆ | Start at |
|---|---|
| See the three tiers side-by-side | Theorem index |
| Follow the five-step geometric proof | Boundary five-step proof |
| Understand the trilemma picture | The Defense Trilemma |
| See how discrete data connects to the continuous theorems | Discrete โ continuous |
| Understand why pipelines make it worse | Pipeline Degradation |
| Inspect the Lean 4 proof structure | Lean artifact |
| Know what the theorem does not say | Limitations |