PENGO Workbench
Workbench / Lenses

Diagnostic Lenses

Lenses

Diagnostic views derived from structural Patterns through the Pattern-to-Lens Matrix.

LEN-0100

Absence Lens

Detects structurally required elements that are missing from the observed structure.

LEN-0110

Authority Overlay Lens

Maps declared authority hierarchies onto observed structure to detect absence, override, or conflict.

LEN-0120

Boundary Compliance Lens

Evaluates observed structure against declared boundary posture, including allow, block, and exception rules.

LEN-0130

Compatibility Envelope Lens

Determines whether structure fits within declared runtime, platform, version, or support constraints.

LEN-0140

Compression Lens

Reduces structural graphs into stable minimal representations for comparison, redundancy detection, and diffing.

LEN-0150

Conflict Lens

Detects mutually incompatible constraints, claims, states, or declarations that cannot be simultaneously satisfied.

LEN-0160

Constraint Sufficiency Lens

Evaluates whether declared constraints are sufficient to eliminate structural degrees of freedom.

LEN-0170

Convergence Lens

Compares parallel structural systems to determine whether they align under shared authority.

LEN-0180

Determinism Lens

Evaluates whether identical structural inputs produce equivalent structural outputs across repeated executions.

LEN-0190

Escalation Gradient Lens

Measures structural growth or intensification across sequential executions, states, or transitions.

LEN-0200

Interface Contract Lens

Compares declared interface structure to observed runtime structure to detect contract deviations.

LEN-0210

Invariant Lens

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

LEN-0220

Isolation Boundary Lens

Evaluates whether structural constraints, effects, and regions remain contained within declared boundaries.

LEN-0230

Normalization Lens

Transforms structurally equivalent variants into a canonical form to prevent false divergence.

LEN-0240

Overreach Lens

Detects structure that exceeds declared scope or authority reach.

LEN-0250

Propagation Lens

Traces how structural declarations, effects, or state changes propagate across boundaries or stages.

LEN-0260

Provenance Trace Lens

Attaches stable lineage to structural regions by mapping origin, reference history, and transformation path.

LEN-0270

Reconciliation Lens

Evaluates whether structural changes align with declared authority updates, version changes, or reconciliation rules.

LEN-0280

Reference Stability Lens

Evaluates whether structural references, identifiers, nodes, and edges remain consistent across execution cycles or comparable states.

LEN-0290

Variance / Entropy Lens

Measures structural variability across repeated or comparable evaluations and identifies divergence beyond expected bounds.