Compare nonnegative declared counts against an explicit ceiling in matching Supplied-record analysis, not independent certification. Full contract at the free describe URL.