torchcell.verification.l3_convention

l3_convention(name: str, holds: bool, *, detail: str = '') → LevelResult[source]

L3: a named units/convention assertion (e.g. expression = log2(sample/ref)).