Proof #0002 · FAIL
Engine calibration on an already open program: SPL Memo v3, one log line changed. Not a cracked closed program.
MemoSq4gqABAXKb96qnH8TysNcWxMyWCqXgDLGmfcHr
Match (compared cases)
3,878/10,985
11,000 cases, 15 budget-bound
Real mainnet instructions
23/1,000
plus 9,985 fuzzed compared, seed c34cf12a2e0f0762
Success path on the original
7,107
at least 100 required
Mismatches
7,107
7107 of 10985 compared cases differ
Hashes
Report sha256
Source commitment
e5625a48…8c95cd51
Corpus bundle
Original binary
Candidate binary
Outcomes, original
6979bdf2…9217476f
Outcomes, candidate
b5092a99…dfbbb3c1
Judged
2026-11-02 15:44 UTC
Memo record
decomp:proof:calibration:mvzfiwog7c75f961:e5625a48f5ba4141b79d1da945bc85f3a81997323485eef7336ccf428c95cd51:71ec88138647c1b3f64045646c6e118fd12ac2023e6ce4f2e5e7c0c73145875d:3878/10985
Memo record pending: the keeper records it on Solana once it is funded.
curl -fsSL "$SITE/verifier/verify.sh" | SITE="$SITE" sh -s -- 0002Re-run this verdict →
First mismatches
| Case | Field | Original | Candidate |
|---|---|---|---|
| real 1bem8D5sj5MgynaSRsextT8eh2rC | logs[5] | Program log: Memo (len 22): "SaRdkHyQuRB4iGqrsMW9vD" | Program log: Memo (length 22): "SaRdkHyQuRB4iGqrsMW9vD" |
| real 22YrsScwL8TL7yfwNDmUUKMLDSrK | logs[5] | Program log: Memo (len 22): "4H7qM25huFLu67eE94QCif" | Program log: Memo (length 22): "4H7qM25huFLu67eE94QCif" |
| real 2CXEJ9QQJXEUkAjdS3LBYdXaA9QU | logs[5] | Program log: Memo (len 22): "Fw5wPPgNRQVnxnKm4Fminr" | Program log: Memo (length 22): "Fw5wPPgNRQVnxnKm4Fminr" |
| real 2DAPEucok2YW3cyh5HdNHn27aiV9 | logs[5] | Program log: Memo (len 22): "CodnbQp2emfa6FaDTix7wy" | Program log: Memo (length 22): "CodnbQp2emfa6FaDTix7wy" |
| real 2sL8h1U7nqQKVR9EYjviU6ioX51j | logs[5] | Program log: Memo (len 21): "dD4tLE2tBRuabAcVqBxV7" | Program log: Memo (length 21): "dD4tLE2tBRuabAcVqBxV7" |
| real 2v7N2wa6oKC7CSsBRx9jtHNXvVYM | logs[6] | Program log: Memo (len 96): "cz0JKCQdQATxRTgJqnFre6W45sG3pTAXseeQtlVSyrVAwaZybmeJYmid8gN7YDpdADnKtB6IYHOzW4s0iSWiNYSWTtyVMmx6" | Program log: Memo (length 96): "cz0JKCQdQATxRTgJqnFre6W45sG3pTAXseeQtlVSyrVAwaZybmeJYmid8gN7YDpdADnKtB6IYHOzW4s0iSWiNYSWTtyVMmx6" |
| real 39bPU7cm6piCsqZDdKfsVSy8XHpz | logs[5] | Program log: Memo (len 22): "WdwKdgRRbybp7cFH8pSjCi" | Program log: Memo (length 22): "WdwKdgRRbybp7cFH8pSjCi" |
| real 3Q6aZcTYccZbsFYYTyh48s3kKGEb | logs[5] | Program log: Memo (len 22): "CVGXBBdcFxhbXkqVFi6KVo" | Program log: Memo (length 22): "CVGXBBdcFxhbXkqVFi6KVo" |
| real 3rFpmEimZwaznzDJAra9N3pvf8eM | logs[5] | Program log: Memo (len 22): "M1ABK4PEyn7WVaZbSqYRpL" | Program log: Memo (length 22): "M1ABK4PEyn7WVaZbSqYRpL" |
| real 4DGCRtCgrdy42A8NnvSPNSKJD35M | logs[5] | Program log: Memo (len 22): "BLVtGMHUwfF9suKkLmEe1n" | Program log: Memo (length 22): "BLVtGMHUwfF9suKkLmEe1n" |
| real 4L4NTn8P7vekkZZkCnQX3Vh564wk | logs[5] | Program log: Memo (len 22): "D8PjSrKvrNPyqbnq6kCzkn" | Program log: Memo (length 22): "D8PjSrKvrNPyqbnq6kCzkn" |
| real 4QxTQ6QZAeQcZQJ1Pip1iru2xFN7 | logs[5] | Program log: Memo (len 22): "KiR1dWv5sW36U1LmStaX24" | Program log: Memo (length 22): "KiR1dWv5sW36U1LmStaX24" |
| real 4RCJzzdPLeUgv4tWMR6Ws4oVzNgF | logs[5] | Program log: Memo (len 22): "VNjGrKu3xFwR4crP2QnfgA" | Program log: Memo (length 22): "VNjGrKu3xFwR4crP2QnfgA" |
| real 4Sn75KXybgdohh6W1R5cKgyqDoqh | logs[5] | Program log: Memo (len 22): "NdtPJTJD427ZToCxcqZ9T7" | Program log: Memo (length 22): "NdtPJTJD427ZToCxcqZ9T7" |
| real 4TYA6YFqozNyCD6pooM6bF9xF6kr | logs[5] | Program log: Memo (len 22): "S2bfvF6csfbBJZ5f4DZLQ7" | Program log: Memo (length 22): "S2bfvF6csfbBJZ5f4DZLQ7" |
| real 4ebpjCaaPxpQtRadUBhM3uf6o2zb | logs[5] | Program log: Memo (len 22): "CfibdujTh9UcfMYgGRDFie" | Program log: Memo (length 22): "CfibdujTh9UcfMYgGRDFie" |
| real 57vvWmKGUMmcR7u4Buf5oMGZsSpv | logs[5] | Program log: Memo (len 22): "LKcFuyA9J5GMjkkdLbb7fV" | Program log: Memo (length 22): "LKcFuyA9J5GMjkkdLbb7fV" |
| real 5EdNPyhk3a6TEQ1cF2zWx5fJBbAn | logs[5] | Program log: Memo (len 22): "E99EyFn9RwejKiURzgNMhR" | Program log: Memo (length 22): "E99EyFn9RwejKiURzgNMhR" |
| real 5YdLjQu137zJPPQjpdqAs73q4DyH | logs[5] | Program log: Memo (len 22): "Q56L2gpWSyZF9G7KJqcswx" | Program log: Memo (length 22): "Q56L2gpWSyZF9G7KJqcswx" |
| real 5cx5Y3otLdKBPF6fr89R362FMrb3 | logs[5] | Program log: Memo (len 22): "V6EumxvFWw918tS6kk5RKE" | Program log: Memo (length 22): "V6EumxvFWw918tS6kk5RKE" |
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. decomp-replayer 1.0.0, LiteSVM 0.17.0, litesvm mainnet feature set.