CodecReport

how many pools were walked.

pool states round-tripped, summed over seeds.

states no other pool state equalled, summed within each seed. Counted by == rather than by set membership: hashCode is not part of the us.tractat.kuilt.crdt.Quilted contract, and a type with equality and no hash would silently read every state as distinct.

the same count over the encoded forms, by contentEquals. Below distinctStates the codec cannot tell two reachable states apart; above it, two equal states encode differently.

ordered pairs of pool positions joined through the codec. Includes i == j, which is the idempotent case and the cheapest place a decoded operand can go wrong.

pairs where a ⊔ b != a — the join had to take something from the decoded operand. A pass whose every join already dominated its second operand never read the decoded state at all.