mirror of
https://github.com/Druthulu/BFM-decomp
synced 2026-09-27 05:56:00 -04:00
Drew T
d804449be5
The distill prompt asserted 'the whole-binary byte-gate ACCEPTED the final draft, so the final body is ground truth' for EVERY target. With --with-unbanked now feeding it drafts the gate REFUSED, that sentence would have laundered an unproven body into a byte-proven cookbook entry (R14/G3). A target with banked=False now gets an explicit PROVENANCE WARNING telling the distiller to extract the lever anyway (cookbook 52: a model that FAILS still distils the idiom that cracks its siblings) but to mark every claim UNPROVEN and never assert byte-equality; the verifier is told the same so its entry_markdown carries the label. Exercised this session: the one surviving ADDENDUM came from an unbanked draft and is filed UNPROVEN. Also regenerates the scoreboard after the day's banks.