DARP — Diff-Anchored Reporting Proof Publishing tamper-evident behavioral results from closed, proprietary environments without releasing code or logs | Synapse