Weidner semidirect add/multiply: reordering and arbitrary history permutation

What this target establishes

Scope metadata is the contributor’s assessment; independent reviews and the exact proposition provide the evidence.

Obligations

merge commutation

Cost metric

none

Model

Unbounded integer register and a finite history of multiply actions.

Assumptions

Compared multiplication histories are permutations, including equal multiplicities.

Implementation correspondence

algorithm model

Limitations

No causal network, author preservation, duplicate suppression or IEEE-754 arithmetic is modeled; these are required for the broader CRDT claim.