Short definitions for wiki readers; authoritative modeling detail stays in docs/architecture/ARCHITECTURE.md.
Sleigh: Specification-driven instruction decoding/lifting framework producing low-level semantic IR familiar from Ghidra-era tooling.
P-code: Low-level, architecture-neutral intermediate representation emitted during lifting—used by normalization passes before structured recovery.
NIR (Normalized IR): Deterministic, SSA-oriented normalized layer owned by Rust transforms prior to structuring-friendly views.
HIR (High-Level IR): Structured intermediate oriented toward high-level control constructs mapped toward pseudocode rendering.
CFG (Control-Flow Graph): Directed graph of basic blocks describing feasible execution transfers.
Dominance / Postdominance: Standard compiler graph relations used as algorithmic evidence in structuring—not lexical guesses.
Varnode: Contiguous byte/value carriers (register slices, memory regions) manipulated by semantic ops in lifted IR.
Structuring: Recovery of loops, branches, and regions from CFGs using graph algorithms with explicit invariants.
nir-check: Automation lane (crate fission-automation) that enforces regression budgets on normalized output shape and related stats.
Full benchmark: Python harness under benchmark/full_benchmark/ comparing Fission CLI output against Ghidra-hosted baselines at scale.