Skip to content

Negative result: P112 fixed-reader two-total COPY at source union 48 — two-column loss bound exactly 5 (attained), full-rank lower bound 65, COPY >= 64 extends (PR2382 OQ1) - #2581

Merged
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
thakrarsagar:loop9d24/i13-s30-p112-twototal-48
Oct 16, 2026
Merged

Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
thakrarsagar:loop9d24/i13-s30-p112-twototal-48

P112 union 48: review fixes (scope wording, provenance pins, NC4 path…

f823080
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
verify (3.11)
succeeded Oct 16, 2026 in 4m 40s