|
|
fail-closed rejected
LOTTERY-REPORT.md: live r155 evidence (streams2 bad=32768 with qmd_rel=6
and 0/205 on all attempts; 98 never-attempted captures soft-released during
the vecadd burst), the exact retry/failure chain, the proven unsoundness of
the F1 fail-closed release (idempotent repeats show 0/205 with correct
data), ranked fix proposals (defer busy refusals, 4-bank win0 + qmdwin
double-buffer, warm sem push, sound-discriminator hunt), and the stall
class characterization. No kernel changes; the rejected gate attempt is
preserved on branch lottery-m156-gate-attempt.
|