# Claim 2 method

The audit separates a source definition from its mathematical consequence.
Four routes cover source transcription, exact fixed-point capacity, independent
reference scope, and falsification. The actual `F_b` cardinality is used to
reject the earlier binary-cell proxy as a full-claim verifier.