# Binary guide and execution boundary

All 21 binaries are exact retained Windows AMD64 PE files. No programs were run during curation. Static inspection and reading work on Linux with a suitable disassembler; execution/x64dbg requires a separately supplied Windows x64 environment. No Wine compatibility is claimed. All filenames are preserved from the selected source location. Repeated `showcase.exe` names are separated by descriptive directories.

No PDB or MAP is packaged: use exported function names or loaded module base + RVA. This is intentional portability/size curation. For every rewrite, decline automatic loading of original PDBs: old RSDS identifiers may survive while internal mappings are stale. Runtime PASS does not establish exhaustive exception/unwind correctness.

| Binary | Correctness | Execution | demo_substitution RVA | demo_bogus_control_flow RVA | demo_flattening RVA |
| --- | --- | --- | --- | --- | --- |
| [ollvm16_clean_O0.exe](assets/binaries/baselines/ollvm16/ollvm16_clean_O0.exe) | PASS — retained original canonical runtime; not rerun during curation | YES — retained normal-run validation; local research use | 0x1030 | 0x1210 | 0x12d0 |
| [polaris_clean_O0.exe](assets/binaries/baselines/polaris/polaris_clean_O0.exe) | PASS — retained original canonical runtime; not rerun during curation | YES — retained normal-run validation; local research use | 0x1030 | 0x1210 | 0x12d0 |
| [tigress_clean_O0.exe](assets/binaries/baselines/tigress/tigress_clean_O0.exe) | PASS — retained original canonical runtime; not rerun during curation | YES — retained normal-run validation; local research use | 0x1060 | 0x1460 | 0x1500 |
| [ollvm16_sub_O0.exe](assets/binaries/s01_ollvm_sub/original/ollvm16_sub_O0.exe) | PASS — retained original canonical runtime; not rerun during curation | YES — retained normal-run validation; local research use | 0x1070 | 0x1520 | 0x1670 |
| [polaris_mba_O0.exe](assets/binaries/s02_polaris_mba/original/polaris_mba_O0.exe) | PASS — retained original canonical runtime; not rerun during curation | YES — retained normal-run validation; local research use | 0x1030 | 0x1a70 | 0x1b30 |
| [ollvm16_bcf_O0.exe](assets/binaries/s03_ollvm_bcf/original/ollvm16_bcf_O0.exe) | PASS — retained original canonical runtime; not rerun during curation | YES — retained normal-run validation; local research use | 0x1240 | 0x1630 | 0x1cc0 |
| [ollvm16_bcf_O0_triton_rewritten.exe](assets/binaries/s03_ollvm_bcf/rewritten/ollvm16_bcf_O0_triton_rewritten.exe) | PASS — retained canonical and native differential validation | YES — retained normal-run validation; local research use | 0x1240 | 0x1630 | 0x1cc0 |
| [polaris_bcf_O0.exe](assets/binaries/s07_polaris_bcf/original/polaris_bcf_O0.exe) | PASS — retained original canonical runtime; not rerun during curation | YES — retained normal-run validation; local research use | 0x1030 | 0x1210 | 0x1670 |
| [polaris_bcf_O0_triton_rewritten.exe](assets/binaries/s07_polaris_bcf/rewritten/polaris_bcf_O0_triton_rewritten.exe) | PASS — retained canonical and native differential validation | YES — retained normal-run validation; local research use | 0x1030 | 0x1210 | 0x1670 |
| [ollvm16_fla_O0.exe](assets/binaries/s04_ollvm_fla/original/ollvm16_fla_O0.exe) | PASS — retained original canonical runtime; not rerun during curation | YES — retained normal-run validation; local research use | 0x1030 | 0x1210 | 0x1440 |
| [ollvm16_fla_O0_stock_unflattened.exe](assets/binaries/s04_ollvm_fla/rewritten/ollvm16_fla_O0_stock_unflattened.exe) | PASS — retained stock rewrite canonical runtime and successor oracle | YES — retained normal-run validation; local research use | 0x1030 | 0x1210 | 0x1440 |
| [polaris_fla_O0.exe](assets/binaries/s05_polaris_fla_wrong/original/polaris_fla_O0.exe) | PASS — retained original canonical runtime; not rerun during curation | YES — retained normal-run validation; local research use | 0x1030 | 0x1210 | 0x12d0 |
| [INCORRECT_DEOBFUSCATION_DO_NOT_USE_AS_WORKING_BINARY.exe](assets/binaries/s05_polaris_fla_wrong/rewritten/INCORRECT_DEOBFUSCATION_DO_NOT_USE_AS_WORKING_BINARY.exe) | WRONG — Polaris FLA rewrite; static negative example, not a working program | NO — incorrect deobfuscation; inspect only | 0x1030 | 0x1210 | 0x12d0 |
| [tigress_encode_arithmetic_O0.exe](assets/binaries/s06_tigress_arithmetic/original/tigress_encode_arithmetic_O0.exe) | PASS — retained original canonical runtime; not rerun during curation | YES — retained normal-run validation; local research use | 0x11d0 | 0x1110 | 0x1020 |
| [tigress_encode_arithmetic_Ox.exe](assets/binaries/s06_tigress_arithmetic/optimized/tigress_encode_arithmetic_Ox.exe) | PASS — retained original canonical runtime; not rerun during curation | YES — retained normal-run validation; local research use | 0x11a0 | 0x1110 | 0x1020 |
| [tigress_flatten_O0.exe](assets/binaries/s08_tigress_flatten/original/tigress_flatten_O0.exe) | PASS — retained original canonical runtime; not rerun during curation | YES — retained normal-run validation; local research use | 0x1380 | 0x12c0 | 0x1020 |
| [showcase.exe](assets/binaries/baselines/tigress_Ox/showcase.exe) | PASS — retained canonical run; not rerun | YES — optional Windows x64 research execution; retained checks only | 0x1030 | 0x11f0 | 0x1250 |
| [showcase.exe](assets/binaries/baselines/hikari/showcase.exe) | PASS — retained canonical run; not rerun | YES — optional Windows x64 research execution; retained checks only | 0x1030 | 0x1210 | 0x12d0 |
| [showcase.exe](assets/binaries/support_hikari_fla/original/showcase.exe) | PASS — retained canonical run; not rerun | YES — optional Windows x64 research execution; retained checks only | 0x1030 | 0x1210 | 0x1440 |
| [showcase.exe](assets/binaries/support_tigress_opaque/original/showcase.exe) | PASS — retained canonical run; not rerun | YES — optional Windows x64 research execution; retained checks only | 0x2050 | 0x1110 | 0x1020 |
| [stock_rewritten.exe](assets/binaries/support_hikari_fla/rewritten/stock_rewritten.exe) | PASS — retained canonical output/exit; 28/28 successor pairs | YES — optional Windows x64 research execution; no unwind guarantee | 0x1030 | 0x1210 | 0x1440 |

The Polaris file named `INCORRECT_DEOBFUSCATION_DO_NOT_USE_AS_WORKING_BINARY.exe` is static failure evidence only. BinProtect protected outputs are excluded. Mergen LLVM IR is not a rewritten original PE; the OLLVM SUB lift is explicitly SEMANTIC FAILURE.