mirror of
https://github.com/Druthulu/BFM-decomp
synced 2026-09-27 05:56:00 -04:00
c5d7653801
26 agents over wave U's 64 index_gap reports (7 cluster readers, one adversarial verifier per candidate defaulting to REJECT, seeded with §193 so it could not be re-derived): 14 CONFIRMED, 5 REJECTED, 44 already answered by an existing section (wave T: 9/5/61). TWO OF THE 14 CORRECT WORK BANKED THE SAME DAY, and both are now cross-banner'd: * §194-E — `exemplar` is not merely un-banked (§193-A): it names the card's OWN target on 42/73 wave-U and 36/71 wave-T cards, and the `seed_ref` §193-A shipped is same-binary 0/51, so the card still carried ZERO destination-TU locality. Fixed both ways: a self-pointing exemplar is now emitted as null, and cards carry `tu_ref` — banked functions in the card's OWN .c ranked by symbols shared with the TARGET's .s relocations (62% of wave-T targets had such a neighbour vs 19% for the cross-overlay literal grep). Operand-only extraction: a naive uppercase-word regex read the .s comment column's hex words as symbol names (34 "symbols", 31 of them hex). * §194-N — §193-D's C dial is misstated: the lever is a SURVIVING CODE_LABEL, not "a label between the block and the call". jump_optimize deletes any label with LABEL_NUSES == 0 long before sched1 and rewrites a C user label into NOTE_INSN_DELETED_LABEL, which is not a basic-block boundary. Highlights of the rest: §194-A a zero-byte fence is a one-way wall RELATIVE to the statement being steered (after = emit-first), and the barrier predicate is volatile-or-colon-less, not the "memory" clobber; §194-J back-to-back identical stores are deleted by flow.c's last_mem_set unless volatile; §194-K blinding sched1's alias oracle with a second SET is the first zero-byte dependence-CREATING lever; §194-M a store in a conditional branch's delay slot proves its C statement DOMINATES the branch.