torchcell.verification.l1_count

l1_count(observed: int, expected: int) → LevelResult[source]

L1 variant: an exact record-count oracle (e.g. 4718 mutants + 122 WT).