mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-10-08 17:51:46 -04:00
Code Issues Packages Projects Releases Wiki Activity

docs(phase-20): data-cast is moot (R14) — 0 data-type conflicts on the tail

Browse Source 
- byte-proven: 0 drafts declare an extern struct/union data conflict; the lone apparent
  DATA-conflict (func_8016A8FC/D_800AE620) was a typedef-REDEFINITION (Blk20 inline vs
  engine_types.h, same type) masking the def-sig loose-typing wall. Stripping the inline
  typedef compiles but still byte-mismatches. data-cast = code for 0 cases -> not built.
- cookbook §20 DATA-conflict note corrected; fleet unchanged 58.82%.
This commit is contained in:
Drew T
2026-06-21 09:30:22 -06:00
parent 7f2f314896
commit a978081b2d
1 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/matching-cookbook.md
+9 -3
View File
@@ -1372,9 +1372,15 @@ declaration-driven (0 pure codegen-quirk survives `match_one`):
cast the caller) breaks them, and it can't be edited per-overlay (it's in the shared header). The only path
for these is RE-DRAFTING the body under the caller-canonical sig (a future wave with the canonical pinned),
and the arity-mismatch subset (0-arg callers vs N-arg def) has NO compatible C sig at all → hard stub.
3. **DATA-conflict (small tail)** — a `D_xxxx` declared with conflicting types. The data analog of the cast
(`*(T*)&D_x` access against the canonical decl) is the natural `cast_call_sites` extension — built it when a
wave's residual is data-conflict-heavy (1 case here, low immediate yield).
3. **DATA-conflict — byte-proven MOOT on this tail (R14, do not build the data-cast for it).** A data-analog
cast (`*(T*)&D_x` against the canonical decl) sounded like the natural `cast_call_sites` extension, but the
bytes say there's nothing to cast: **0 drafts declare an `extern struct/union`** data conflict, and the lone
apparent "DATA-conflict" (func_8016A8FC / `D_800AE620`) was a **typedef-REDEFINITION** — the draft re-defines
`typedef struct{s32 w[8];} Blk20;` inline while `Blk20` is already in `engine_types.h` (both sides use
`extern Blk20 D_800AE620` — SAME type, no data conflict). Stripping the redundant inline typedef compiles but
STILL byte-mismatches (the underlying blocker is the def-sig loose-typing wall, class 2). So the data-cast
would be code for 0 real cases; skip it. (A general "strip inline named-type defs already in engine_types.h"
pass is a 1-line harvest_verify-style cleanup if a future wave needs it — but it recovered 0 here.)
**Net:** the cast tool is the real, reusable cap-lever for the *callee-conflict* fraction of every wave (it
recovers what §17a-1 casting can, byte-gated) — but it does NOT lift gate-pass to ~80% here, because THIS tail