data/claim2/method.md

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.