0 · Distribute compatible weights

A measure gives a weight to every box at every stage. Each parent weight must equal the sum of the child weights inside it.

Try this. Change the way the weight is divided and add more stages. Individual branch weights change, but every stage keeps the same total.

Definition 5.1 builds the free solid group as an inverse limit of integer weights. The display uses movable real weights, but it checks the same addition rule between parent and child boxes.