vwemirror/BT412
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

KB: full staleness audit + sweep -- 35 verified corrections across 16 topics, 15 new glossary terms

Browse Source 
Adversarially-verified audit (18 agents) against the task #46-#56 landings:
MP/current-state understatements, superseded punch readings, retired env
gates, dead paths, line-cite drift; env-gate hub table completed.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This commit is contained in:
arcattack
2026-07-11 10:56:51 -05:00
co-authored by Claude Fable 5
parent 2abfd51350
commit 3c34ae6de6
18 changed files with 253 additions and 103 deletions
Download Patch File Download Diff File Expand all files Collapse all files
context/reconstruction-method.md
+11 -6
View File
@@ -24,13 +24,18 @@ Full detail: `docs/PROGRESS_LOG.md §10b`; the systemic bug classes are [[recons
The full game logic IS in the pseudocode (the binary ran the game); a "gap" is a reconstruction
stub not yet filled, not a hole in the original. **Never write stand-in/placeholder logic for an
apparent gap — read the decomp.** (User: "there are no gaps, just work to be done.") Bring-up
scaffolding (env-var paths, explosion-for-beam, a player-gated drive) is clearly MARKED and meant
to be REPLACED by the real reconstructed system, never to substitute for reading the decomp. [T2]
scaffolding (the `BT_AUTOFIRE`/`BT_AUTODRIVE`/`BT_GOTO` env harness; historically
explosion-for-beam and a player-gated drive, since replaced by the real reconstructions) is
clearly MARKED and meant to be REPLACED by the real reconstructed system, never to substitute
for reading the decomp. [T2]
## Decompilation stack (Plan B — in progress)
- **Ghidra 12.1.2 + JDK21** installed under `tools/` (portable). `ExportBTSource.java` run headless
on `BTL4OPT.EXE` → real decompiled C in `reference/decomp/recovered/`. The pass is
**assert-anchored** (few funcs/file — anchored on the asserts that carry source paths). [T2]
## Decompilation stack (established)
- **Ghidra 12.1.2 + JDK21** are an EXTERNAL install (`tools/` holds only python utilities); the
headless scripts live in `reference/ghidra_scripts/` (`ExportBTSource.java`, `DecompVSS.java`,
`ExportAll.java`). `ExportBTSource.java` run headless on `BTL4OPT.EXE` → decompiled C in
`reference/decomp/` (`bt_<src>.cpp.c` assert-anchored files; bulk pseudocode in
`reference/decomp/all/part_*.c`). The pass is **assert-anchored** (few funcs/file — anchored
on the asserts that carry source paths). [T2]
- For a `FUN_` the assert-anchored exporter skipped: **`tools/disas2.py <VA> [len]`** (capstone
disassembly of `BTL4OPT.EXE` — recovers x87 math Ghidra drops, folds known calls + float
constants). Or `DecompVSS.java` (headless address-list decompiler). [T2]