Workbench / Lenses

LEN-0210 - Invariant Lens

Verifies that declared invariants are structurally enforceable and not contradicted by observed structure.

Primary Pattern Matches

Secondary Pattern Matches

Ontology Metadata

Code
LEN-0210
Version
LEN-0210@0.1.0
Ontology release
0.1.0
Updated
2026-05-10T00:00:00Z

History

View full ontology changelog