Decision Demonstrability: Why Auditable Outputs Are Necessary but Not Sufficient | Synapse