LEN-0220 - Isolation Boundary Lens
Evaluates whether structural constraints, effects, and regions remain contained within declared boundaries.
Primary Pattern Matches
- PAT-0140 - Boundary Leakage
A structural condition where effects, permissions, state, data, or authority cross a declared boundary without an authorized exception.
- PAT-0260 - Cross-Layer Escalation
A structural condition where escalation originating in one layer propagates into another authority, boundary, or control layer without explicit authorization.
- PAT-0400 - Unbounded Scope
A structural condition where an operation, authority, rule, or expansion has no declared upper bound, boundary, or termination condition.
Secondary Pattern Matches
- PAT-0420 - Undeclared Side Effect
A structural condition where an operation modifies regions outside its declared target scope without a declared propagation or side-effect rule.
Related Issues
No related issues.
Ontology Metadata
- Code
LEN-0220- Version
LEN-0220@undefined- Ontology release
- 0.1.0
- Updated
History
-
0.1.0 — 2026-05-10T00:00:00Z — Created
Promoted reviewed Lens ontology entry: Isolation Boundary Lens.
Receipt impact: None