Composition ladder

Compositions

Composition records define the operands, order, output kind, written forms, and whether a value can be decomposed.

compose.interaction

interaction type × typed operands → semantic interaction

Produces interaction.

Decomposable

compose.pair

harmony + harmony → harmony pair

Produces harmony-pair.

Decomposable

compose.pattern

ordered same-axis states → named pattern

Produces pattern.

Semantic rule

compose.single-formation

typed family/axis/state/emphasis record → single Formation

Produces single-formation.

Decomposable