Weidner position labels: prefix-free path order separates arbitrary runs

What this target establishes

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

Obligations

other

Cost metric

none

Model

Finite paths of natural-number code units; lexicographic first-difference order.

Assumptions

Label codewords are strictly ordered; the left codeword is not a prefix of the right.

Implementation correspondence

abstract model

Limitations

Generated position strings, JavaScript string comparison, fresh IDs, code-language prefix freedom, causal delivery and FugueMax remain separate obligations.