CodecReport
What one binding's codec pass actually put through the wire, measured by LatticeLawHarness.runCodecLaws.
The counts are the pass's own rig receipt. Every law the pass asserts is a statement about a codec, and every one of them holds vacuously over a pool that degenerated to a single value: a round-trip of initial against itself is green on a serializer that drops every field it has. So the pass reports what it searched, and LatticeLawHarness.runCodecLaws refuses to pass on a pool that searched nothing. The rates are absent on purpose — there is no denominator here worth dividing by, and a count of one is exactly the number a reader needs to see.
Parameters
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.