Skip to content

Version Example

This example illustrates a transformation operator informally.

Operator

text VS version

Intuition

A version transformation establishes a temporally ordered version or successor position for a referent and may materialize that version as a new referent or representation.

Formal authority

The authoritative operator definitions are in: SE/Transformation/Domain/Operator/.

The authoritative family vocabulary is in: SE/Transformation/Domain/TransformationFamily.lean.

The operator-to-family mapping is in: SE/Transformation/Domain/Operator/Semantics.lean.

The reference mirrors are in: reference/transformation-operators.toml and reference/transformation-families.toml.

Rule

Version describes temporal succession.