メニュー
Query unicorn behavioral test results from the database. Filter functions by verdict (EQUIVALENT/DIVERGENT), divergence class (logic/build_env/regalloc), and unit. Use to find functions with real behavioral bugs to fix.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Run the source permuter on a function to find signed/unsigned and variable extraction improvements. Use when working on a function that isn't matching 100% and you want to automatically try source variations.
Extract assets/materials from RB3 .ark archives and .milo/.dta files. Use when you need game assets for the native port, debugging rendering, or inspecting data.
Side-by-side target vs base assembly comparison with cluster boundaries and mismatch annotations. Shows aligned instructions with match markers, register swap details, and offset deltas. Use when diagnosing the last few percent of a function.
Find DC3 source for a given symbol/string. DC3 is the closest source oracle for rb3-xenon (same compiler, same flags, same engine version family). Use this BEFORE rb3wii-pair when looking for engine code; use rb3wii-pair for game-code logic that DC3 doesn't share.
Decompile and analyze a function from Ghidra. Shows decompiled C code, switch statements, and cast operations. Use when investigating function structure or debugging type issues. Automatically resolves symbol names to correct functions. Need to skip sandbox to access Ghidra over network.
Semantic search over Ghidra decompiled code. Use when looking for similar implementations, finding functions by behavior description, or searching for code patterns. Automatically filters out __unwind$ and other noise.
| name | unicorn-query |
| description | Query unicorn behavioral test results from the database. Filter functions by verdict (EQUIVALENT/DIVERGENT), divergence class (logic/build_env/regalloc), and unit. Use to find functions with real behavioral bugs to fix. |
| argument-hint | [--class logic|build_env|regalloc] [--verdict DIVERGENT|EQUIVALENT] [--unit pattern] [--status workable|complete|all] [--limit N] [--summary-only] |
| allowed-tools | Bash(python3 scripts/unicorn/query.py *) |
Query the decomp database for unicorn behavioral test metadata. Surfaces functions by their runtime behavioral equivalence status.
$ARGUMENTS
Build the command from the arguments and run:
python3 scripts/unicorn/query.py $ARGUMENTS
If no arguments were provided, default to --verdict DIVERGENT to show all divergent functions.
Present results to the user. Key things to call out:
__FILE__ strings, merged symbols)logic divergence may have hidden behavioral bugs/unicorn-query --class logic — all logic-divergent functions (primary work targets)/unicorn-query --class logic --status workable — logic bugs not yet marked done/unicorn-query --class logic --unit system/char/* — logic bugs in a specific subsystem/unicorn-query --verdict EQUIVALENT --status workable — behaviorally correct but asm not matching yet/unicorn-query --summary-only — just show counts by verdict/class/unicorn-query --class build_env --summary-only — count of environment-only issuesThe unicorn DB columns are in decomp.db. This skill is available for when unicorn behavioral testing is added to the rb3-xenon pipeline.