$ python3 reference_runtime.py verify task.json result.json receipt.json PASS: deterministic replay and byte digests. Executor identity and timestamps are not authenticated. Exit code: 0