Build the LLVM IR argument list for calling the lifted function. Uses the actual parameter list parsed from the IR, not a hardcoded list.

Return base names of C-compiled test samples (without extension).

Find original operand values for AF computation. Scans P-code for the first INT_ADD/INT_SUB/INT_2COMP whose inputs come from register

Generate ``@semantic_main`` that asserts every test case.

Return the set of register names initialized in this case.

Return True if an IR file should be tracked in the golden hash set. Excludes all files derived from C-compiled samples (optimized, no_opts, a

Return ``[(name, cases)]`` for all non-skipped samples with semantic test cases, optionally filtered by name substrings.

Parse the actual function parameter list from the IR define line. Returns a list of (type, name) tuples. Falls back to the full 34-param lis

Rename ``@main`` to ``@<new_name>`` throughout the IR module.

Run semantic check for one sample. Returns ``(passed, detail)``.

Remove ``store ... inttoptr(...)`` instructions. The lifter emits stores of function arguments to the original binary's stack addresses. The

Determine review verdict from invariant results and verification runs. FAIL or BLOCKED in either → request_changes. Otherwise → approve.

Disassemble and analyze the instruction.

Render a full PR review comment from the orchestrator payload.

Add expected fields to an auto-discovered case.

Execute a list of PcodeOp objects (from a single translated instruction).

Returns the effective ABI for this binary. If defaultAbi is Unknown, infers from file mode.