Composition Flow¶

Composition describes sequencing among transformation operators.

left operator -> right operator -> composition relation

The authoritative Lean definitions are in:

SETheoryTransformation/Relation/Composition.lean
SETheoryTransformation/Reference/Composition.lean

The reference registry mirror is in:

reference/composition-rules.toml

Generated data is in:

data/transformation/composition-registry.json

Rule¶

Composition describes sequencing.
Persistence is evaluated downstream.