Verdict FAIL

Calibration, first run (superseded): the engine's rebuild reproduced the 2020 escaping of NUL but not the 2020 Unicode tables, so one fuzzed memo holding U+061D differs. The rerun with the measured table is the PASS. Source: https://github.com/solana-program/memo

Program

MemoSq4gqABAXKb96qnH8TysNcWxMyWCqXgDLGmfcHr

Cases

1000/1000

Fuzz

9997/9998

Source commitment

6574efd2545e5d430be3f85bb64ce3dcd716eb74d43e480deb9efdb6c5cf2c4b

Report sha256

422605065375cb0316c1d36f35dda575b67ee57a1277649109aadfa2b1cc8e08

Reason

1 of 10998 compared cases differ

First difference

[ { "case": "fuzz:22:2rQ3BPKRSA7H224utMTpvqwLBb148A21sKJ8SGHGc3am8dDWrxvAEg72aBa6wM4jbk7rZdUQKV3fvY8gi8rPaSr2:5", "kind": "fuzz", "data": "anVwaXRlci1iZmE2MmMwNC1jMDY5LTQyOTYtYWY0NS0yYWFiMzA1MDAwOWU6YnV5YmFjaxbYnVwGaw==", "accounts": [], "diffs": [ { "field": "logs[5]", "original": "Program log: Memo (len 58): \"jupiter-bfa62c04-c069-4296-af45-2aab3050009e:buyback\\u{16}\\u{61d}\\\\\\u{6}k\"", "candidate": "Program log: Memo (len 58): \"jupiter-bfa62c04-c069-4296-af45-2aab3050009e:buyback\\u{16}؝\\\\\\u{6}k\"" } ] } ]

Report

{ "format": "decomp-verdict/1", "verdict": "FAIL", "reason": "1 of 10998 compared cases differ", "program": "MemoSq4gqABAXKb96qnH8TysNcWxMyWCqXgDLGmfcHr", "loader": "BPFLoader2111111111111111111111111111111111", "original_sha256": "f520eaf096361abbb9639ea4dc3e5388a87b9330e121f476607b87c46ef67954", "candidate_sha256": "dafe4811429f87ec4c43c8eb79ef16dee5f20e14dcfeffa2e073cd1d3f52b6f9", "corpus_sha256": "99ac7150ecd65eb331cfc333f22b51eb8e70d19bf51eb5b539e5cb68a4d422ed", "source_sha256": "6574efd2545e5d430be3f85bb64ce3dcd716eb74d43e480deb9efdb6c5cf2c4b", "corpus_elf_sha256_matches_original": true, "cases_total": 11000, "compared": 10998, "budget_bound": 2, "matched": 10997, "real_total": 1000, "real_matched": 1000, "fuzz_total": 9998, "fuzz_matched": 9997, "fuzz_seed": "ac326b9c1a3fa4ec", "ok_path_original": 7071, "ok_path_minimum": 100, "mismatches_total": 1, "mismatches": [ { "case": "fuzz:22:2rQ3BPKRSA7H224utMTpvqwLBb148A21sKJ8SGHGc3am8dDWrxvAEg72aBa6wM4jbk7rZdUQKV3fvY8gi8rPaSr2:5", "kind": "fuzz", "data": "anVwaXRlci1iZmE2MmMwNC1jMDY5LTQyOTYtYWY0NS0yYWFiMzA1MDAwOWU6YnV5YmFjaxbYnVwGaw==", "accounts": [], "diffs": [ { "field": "logs[5]", "original": "Program log: Memo (len 58): \"jupiter-bfa62c04-c069-4296-af45-2aab3050009e:buyback\\u{16}\\u{61d}\\\\\\u{6}k\"", "candidate": "Program log: Memo (len 58): \"jupiter-bfa62c04-c069-4296-af45-2aab3050009e:buyback\\u{16}؝\\\\\\u{6}k\"" } ] } ], "original_outcomes_sha256": "3f9fd111ef66149ef8e08b4c467f584b6a67c15707d84dde1c753139951ce15b", "candidate_outcomes_sha256": "d61643193804521ac1222445d73282d66b7e261be8bc3ce3588348dc3b2a6188", "rules": { "replayer": "decomp-replayer 1.0.0", "litesvm": "0.17.0", "feature_set": "litesvm mainnet feature set", "compared": "result and error, logs line by line, return data, lamports owner and data of every writable account", "stripped": "lines 'Program <id> consumed N of M compute units'; cases where the original exhausts its compute budget are counted as budget_bound and not compared" } }