Skip to content

Add recurse fuzz subexpression map #474

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
prozacchiwawa wants to merge 4 commits into
base: 20260512-fuzz-variation
Choose a base branch
from
Draft

Add recurse fuzz subexpression map #474

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
049c06d
Add recurse fuzz subexpression map
cursoragent May 12, 2026
672113d
Use subexpression maps for paired fuzz variations
cursoragent May 12, 2026
abda8a1
Fix paired template ownership
cursoragent May 12, 2026
a0deb2f
Constrain assign fuzz targets to valid paths
cursoragent May 12, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
35 changes: 35 additions & 0 deletions resources/tests/fuzz_test_assign_bug_1_modern_classic_subexpression_map.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
{
"(defun nth (lst i) (if (= i 0) (f lst) (nth (r lst) (- i 1))))": "(defun nth (lst i) (if (= i 0) (f lst) (nth (r lst) (- i 1))))",
"(lst i)": "(lst i)",
"(if (= i 0) (f lst) (nth (r lst) (- i 1)))": "(if (= i 0) (f lst) (nth (r lst) (- i 1)))",
"(= i 0)": "(= i 0)",
"(f lst)": "(f lst)",
"(nth (r lst) (- i 1))": "(nth (r lst) (- i 1))",
"(r lst)": "(r lst)",
"(- i 1)": "(- i 1)",
"(export (mod_hash (MOVER_PUBKEY WAITER_PUBKEY TIMEOUT AMOUNT MOD_HASH NONCE MOVE MAX_MOVE_SIZE VALIDATION_INFO_HASH MOVER_SHARE PREVIOUS_VALIDATION_INFO_HASH) previous_state previous_validation_program evidence output_conditions) (assign game_state (f previous_state) mover_commit (f (r previous_state)) opponent_seed (f (r (r previous_state))) board (f game_state) white_off (f (r game_state)) black_off (f (r (r game_state))) mover_parity (f (r (r (r game_state)))) turn_number (f (r (r (r (r game_state))))) commit_hash (f (r (r (r (r (r game_state)))))) dummy (+ white_off black_off mover_parity turn_number (strlen commit_hash) (strlen mover_commit) (strlen opponent_seed)) (nth board 0)))": "(mod (mod_hash (MOVER_PUBKEY WAITER_PUBKEY TIMEOUT AMOUNT MOD_HASH NONCE MOVE MAX_MOVE_SIZE VALIDATION_INFO_HASH MOVER_SHARE PREVIOUS_VALIDATION_INFO_HASH) previous_state previous_validation_program evidence output_conditions) (defun nth (lst i) (if (= i 0) (f lst) (nth (r lst) (- i 1)))) (defun stage-1 (previous_state) (stage-2 (f previous_state) (f (r previous_state)) (f (r (r previous_state))))) (defun stage-2 (game_state mover_commit opponent_seed) (stage-3 game_state mover_commit opponent_seed (f game_state) (f (r game_state)) (f (r (r game_state))) (f (r (r (r game_state)))) (f (r (r (r (r game_state))))) (f (r (r (r (r (r game_state)))))))) (defun stage-3 (game_state mover_commit opponent_seed board white_off black_off mover_parity turn_number commit_hash) (stage-4 (+ white_off black_off mover_parity turn_number (strlen commit_hash) (strlen mover_commit) (strlen opponent_seed)) board)) (defun stage-4 (dummy board) (nth board 0)) (stage-1 previous_state))",
"(mod_hash (MOVER_PUBKEY WAITER_PUBKEY TIMEOUT AMOUNT MOD_HASH NONCE MOVE MAX_MOVE_SIZE VALIDATION_INFO_HASH MOVER_SHARE PREVIOUS_VALIDATION_INFO_HASH) previous_state previous_validation_program evidence output_conditions)": "(mod_hash (MOVER_PUBKEY WAITER_PUBKEY TIMEOUT AMOUNT MOD_HASH NONCE MOVE MAX_MOVE_SIZE VALIDATION_INFO_HASH MOVER_SHARE PREVIOUS_VALIDATION_INFO_HASH) previous_state previous_validation_program evidence output_conditions)",
"(MOVER_PUBKEY WAITER_PUBKEY TIMEOUT AMOUNT MOD_HASH NONCE MOVE MAX_MOVE_SIZE VALIDATION_INFO_HASH MOVER_SHARE PREVIOUS_VALIDATION_INFO_HASH)": "(MOVER_PUBKEY WAITER_PUBKEY TIMEOUT AMOUNT MOD_HASH NONCE MOVE MAX_MOVE_SIZE VALIDATION_INFO_HASH MOVER_SHARE PREVIOUS_VALIDATION_INFO_HASH)",
"(assign game_state (f previous_state) mover_commit (f (r previous_state)) opponent_seed (f (r (r previous_state))) board (f game_state) white_off (f (r game_state)) black_off (f (r (r game_state))) mover_parity (f (r (r (r game_state)))) turn_number (f (r (r (r (r game_state))))) commit_hash (f (r (r (r (r (r game_state)))))) dummy (+ white_off black_off mover_parity turn_number (strlen commit_hash) (strlen mover_commit) (strlen opponent_seed)) (nth board 0))": "(stage-1 previous_state)",
"(f previous_state)": "(f previous_state)",
"(f (r previous_state))": "(f (r previous_state))",
"(r previous_state)": "(r previous_state)",
"(f (r (r previous_state)))": "(f (r (r previous_state)))",
"(r (r previous_state))": "(r (r previous_state))",
"(f game_state)": "(f game_state)",
"(f (r game_state))": "(f (r game_state))",
"(r game_state)": "(r game_state)",
"(f (r (r game_state)))": "(f (r (r game_state)))",
"(r (r game_state))": "(r (r game_state))",
"(f (r (r (r game_state))))": "(f (r (r (r game_state))))",
"(r (r (r game_state)))": "(r (r (r game_state)))",
"(f (r (r (r (r game_state)))))": "(f (r (r (r (r game_state)))))",
"(r (r (r (r game_state))))": "(r (r (r (r game_state))))",
"(f (r (r (r (r (r game_state))))))": "(f (r (r (r (r (r game_state))))))",
"(r (r (r (r (r game_state)))))": "(r (r (r (r (r game_state)))))",
"(+ white_off black_off mover_parity turn_number (strlen commit_hash) (strlen mover_commit) (strlen opponent_seed))": "(+ white_off black_off mover_parity turn_number (strlen commit_hash) (strlen mover_commit) (strlen opponent_seed))",
"(strlen commit_hash)": "(strlen commit_hash)",
"(strlen mover_commit)": "(strlen mover_commit)",
"(strlen opponent_seed)": "(strlen opponent_seed)",
"(nth board 0)": "(nth board 0)"
}
15 changes: 15 additions & 0 deletions resources/tests/fuzz_test_recurse_bug_0_modern_classic_subexpression_map.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
{
"(defun walk (lst i) (if (= i 12) 1 (if (> (f lst) 0) (walk (r lst) (+ i 1)) (walk (r lst) (+ i 1)))))": "(defun walk (lst i) (if (= i 12) 1 (if (> (f lst) 0) (walk (r lst) (+ i 1)) (walk (r lst) (+ i 1)))))",
"(lst i)": "(lst i)",
"(if (= i 12) 1 (if (> (f lst) 0) (walk (r lst) (+ i 1)) (walk (r lst) (+ i 1))))": "(if (= i 12) 1 (if (> (f lst) 0) (walk (r lst) (+ i 1)) (walk (r lst) (+ i 1))))",
"(= i 12)": "(= i 12)",
"(if (> (f lst) 0) (walk (r lst) (+ i 1)) (walk (r lst) (+ i 1)))": "(if (> (f lst) 0) (walk (r lst) (+ i 1)) (walk (r lst) (+ i 1)))",
"(> (f lst) 0)": "(> (f lst) 0)",
"(f lst)": "(f lst)",
"(walk (r lst) (+ i 1))": "(walk (r lst) (+ i 1))",
"(r lst)": "(r lst)",
"(+ i 1)": "(+ i 1)",
"(export (board) (walk board 0))": "(mod (board) (defun walk (lst i) (if (= i 12) 1 (if (> (f lst) 0) (walk (r lst) (+ i 1)) (walk (r lst) (+ i 1))))) (walk board 0))",
"(board)": "(board)",
"(walk board 0)": "(walk board 0)"
}
Loading
Loading