{
  "format": "decomp-verdict/1",
  "verdict": "PASS",
  "reason": "all 10992 compared cases match, 7110 on the success path",
  "program": "MemoSq4gqABAXKb96qnH8TysNcWxMyWCqXgDLGmfcHr",
  "loader": "BPFLoader2111111111111111111111111111111111",
  "original_sha256": "f520eaf096361abbb9639ea4dc3e5388a87b9330e121f476607b87c46ef67954",
  "candidate_sha256": "dafe4811429f87ec4c43c8eb79ef16dee5f20e14dcfeffa2e073cd1d3f52b6f9",
  "corpus_sha256": "7a7473fbaf3afe00499af6040505bbc0901af96ef2fc05550610a8040d5d765d",
  "source_sha256": "d7572187cb4bef8a165626b4a81af04bf57c2d241afad3c6347e73026d9cb411",
  "corpus_elf_sha256_matches_original": true,
  "cases_total": 11000,
  "compared": 10992,
  "budget_bound": 8,
  "matched": 10992,
  "real_total": 1000,
  "real_matched": 1000,
  "fuzz_total": 9992,
  "fuzz_matched": 9992,
  "fuzz_seed": "055c0feb91a5b164",
  "ok_path_original": 7110,
  "ok_path_minimum": 100,
  "mismatches_total": 0,
  "mismatches": [],
  "original_outcomes_sha256": "d2a93c4e9eba958c1a325154e7e706d2aaf06f6f23c9a9cc306fc47a9c587f3d",
  "candidate_outcomes_sha256": "5bfb9ee91dc852c4ec08f21552f79f33467805e436842f33ee2c04d83d5a349e",
  "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"
  }
}