Exact finite-classical verification specifications

The statistical function deliberately reports that capacity and freshness are not verified by the code. A score array cannot establish a storage boundary. An experimental generator must use the intended independent input and late-query law; pseudorandom seeds alone do not prove that law.