torchcell.verification.l1_completeness

l1_completeness(observed: Collection[Hashable], expected: Collection[Hashable], *, allow_extra: bool = True) → LevelResult

L1: observed keys cover the expected oracle set (nothing silently dropped).