Reproduce

Clone the repo, run the gates, then regenerate any single number from the command in its ledger row. ROMs come from AutoROM and are SHA-256 verified.

Conformance gates

jutari conformance (~20 s)

cd jutari && julia --project=. -e 'using Pkg; Pkg.test()'

jaxtari full suite (long)

cd jaxtari && .venv/bin/python -m pytest -q

screen conformance (~23 min)

jaxtari/.venv/bin/pytest jaxtari/tests/test_screen_conformance.py

regenerate an xitari reference trace

./tools/trace_dump --rom xitari/roms/pong.bin --actions tools/fixtures/actions/pong_noop_10.txt > /tmp/pong.jsonl

Per-claim commands

The exact invocation behind every ledger row, and the artifact it writes.

ClaimCommandArtifact
RAM byte-identical to xitari on every gamepython3 tools/rom_sweep/sweep_jutari_ram.pytools/rom_sweep/results_jutari_ram.md
Screen pixel-identical to xitari on every gamepython3 tools/rom_sweep/sweep_jutari_screen.pytools/rom_sweep/results_jutari_screen.md
Second independent port (jaxtari) also matchespython3 tools/rom_sweep/sweep_jaxtari.pytools/rom_sweep/results_jaxtari_ram.md
SOFT forward is bit-exact to HARD (Theorem 1)cd jutari && julia --project=. ../tools/relaxation_study/verify_soft_ste.jltools/relaxation_study/video_out/divergence_si.mp4
GPU throughput — forward, soft mode (Pong, batched)python3 tools/bench_jaxtari_gpu.py --rom pong.binresults/gpu/gtx1080ti.json
GPU throughput — forward + gradientpython3 tools/plot_gpu_throughput.pyjutari_paper/paper/figures/gpu_throughput.pdf
Exact-forward region in the (α, T) relaxation planecd jutari && julia --project=. ../tools/relaxation_study/dump_profiles.jltools/relaxation_study/relax_profiles.txt
XAI demo — joystick gradient recovers “push RIGHT”cd jutari && julia --project=. ../tools/xai_si_gradient/si_joystick_gradient.jltools/xai_si_gradient/out/ji_grad.txt
XAI joystick figure (plot of the computed gradients)python3 tools/xai_si_gradient/si_joystick_fig.pytools/xai_si_gradient/out/si_joystick_gradient.pdf
Implementation-effort timeline (from git history)python3 jutari_paper/paper/make_figures.pyjutari_paper/paper/figures/fig_timeline.pdf
E1 · Ground-truth oracle (intervention + gradient + cross-check)julia --project=jutari tools/xai_study/ground_truth/oracle_intervene.jl --game pongtools/xai_study/ground_truth/out/
E2 · T3 game-concept labels (import / verify / discover)julia --project=jutari tools/xai_study/t3/verify_labels.jltools/xai_study/t3/out/
E3 · Phase A — neuroscience battery A1–A8 (Kording, quantified)julia --project=jutari tools/xai_study/phaseA_kording/A2_lesions.jl --games coretools/xai_study/phaseA_kording/out/
E4 · Phase B — attribution / XAI methods (14)julia --project=jutari tools/xai_study/phaseB_attribution/saliency.jl --games coretools/xai_study/phaseB_attribution/out/
E5 · Phase C — mechanistic interpretability (10)julia --project=jutari tools/xai_study/phaseC_mechanistic/sae.jl --games coretools/xai_study/phaseC_mechanistic/out/
E6 · Cross-tradition leaderboardpython3 tools/xai_study/compare/leaderboard.pytools/xai_study/compare/out/leaderboard.json
E6 · ROM-free benchmark packagepython3 tools/xai_study/compare/benchmark/run.py --method magnitude_proxytools/xai_study/compare/benchmark/out/

Rebuild this site

python3 docs/build_assets.py   # PDFs/MP4s -> web img/gif/mp4
python3 docs/build_pages.py    # manifest.py -> docs/*.html