{
  "format": "decomp-verdict/1",
  "verdict": "PASS",
  "reason": "all 10985 compared cases match, 7107 on the success path",
  "program": "MemoSq4gqABAXKb96qnH8TysNcWxMyWCqXgDLGmfcHr",
  "loader": "BPFLoader2111111111111111111111111111111111",
  "original_sha256": "f520eaf096361abbb9639ea4dc3e5388a87b9330e121f476607b87c46ef67954",
  "candidate_sha256": "dafe4811429f87ec4c43c8eb79ef16dee5f20e14dcfeffa2e073cd1d3f52b6f9",
  "corpus_sha256": "731ba8d3f3d2a0aa0ec354faa890c000f58bfb17eea4b39af4f7a05847a17858",
  "source_sha256": "ca60fa3a2a704639c9ee01f94f80871e4bdc4ae978b2d8116cfdaa4b2dc838d2",
  "corpus_elf_sha256_matches_original": true,
  "cases_total": 11000,
  "compared": 10985,
  "budget_bound": 15,
  "matched": 10985,
  "real_total": 1000,
  "real_matched": 1000,
  "fuzz_total": 9985,
  "fuzz_matched": 9985,
  "fuzz_seed": "c34cf12a2e0f0762",
  "ok_path_original": 7107,
  "ok_path_minimum": 100,
  "mismatches_total": 0,
  "mismatches": [],
  "original_outcomes_sha256": "6979bdf2202d5b907d406e66d14d0f28267055d5e2bc8ede07d6eb7f9217476f",
  "candidate_outcomes_sha256": "32b9ede4837dc8ae0e3fd18eac7bf32d2b5df72d53e803d6003970c9103e0ead",
  "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"
  }
}