PLAT01 · EXACT ALLOCATION, EXPLICIT POLICY

Where did the extra subunit come from?

Change a discrete source amount and weights. Compare largest remainders with independent rounding. Every share and conservation difference is computed; no account or invoice is queried.

Allocatable subunitsUnmapped subunitsA weightB weightC weightRounding policyRepeated source deliveryReverse sign of both source records

Source record

Tiles show allocatable magnitude: A forest, B ochre, C sage, pale working remainder. Counters preserve signs. Naive rounding can visibly create or lose a unit.

deduplicated source total

assigned task total

known unallocated amount

source = assigned + unallocated
floor_i = (magnitude * weight_i) / totalWeight
residual = magnitude - sum(floor_i)
assign residual by remainder descending, then ordinal task ID

Synthetic SYN subunits. Conservation checks arithmetic, not whether the chosen weights are a fair or useful accounting policy.

Backward seeking reviews this calculation; applied model events are not undone. Change inputs or Reset for a fresh scenario.