Orthogonality Grid¶

Orthogonality describes structural independence among transformation operators.

operator A + operator B -> orthogonality relation

The pair is unordered: orthogonality is symmetric.

The authoritative Lean definitions are in:

SETheoryTransformation/Relation/Orthogonality.lean
SETheoryTransformation/Reference/Orthogonality.lean

The reference registry mirror is in:

reference/orthogonality-rules.toml

Generated data is in:

data/transformation/orthogonality-matrix.json

Rule¶

Orthogonality describes independence.
Composition describes sequencing.
Persistence is evaluated downstream.