quack: HAVING over the K sinks, with a NULL-preserving grouped SUM - #1266

Merged

AdaWorldAPI merged 10 commits into

mainfrom

claude/fold-distillation-pr-wave-s57uj7

Sep 23, 2026

Commits on Sep 23, 2026

quack: HAVING over the K sinks, with a NULL-preserving grouped SUM
claude
committed
e27513b
quack: drop HAVING's unreachable per-predicate NULL check; SUM carries reachedness in the sparse case
claude
committed
e636462
board: record the empty-group sentinel decision and HAVING landing
claude
committed
74d70f6
quack: NULL leaves through a presence mask, never as a reserved value
claude
committed
7ba3e6e
board: record the _sym naming and the presence-mask boundary
claude
committed
ea38919
mask-risc: standing side-by-side of full-range SUM+COUNT against SumSymI32
claude
committed
dcfe3c6
mask-risc: rename the last seeded_ test; board: the two SUM spellings are a deliberate twin
claude
committed
bc88a5a
board: TD-SYM-SUM-MERGE-IS-NOT-ADDITION-1 — _sym SUM partials must merge by the fold's rule, never +
claude
committed
bc9727f
quack: HAVING refuses K=0 and malformed plans before touching sinks; board entry restored verbatim
claude
committed
969ffeb
quack: isolate the folds-count rule in the malformed-plan test
claude
committed
a8739b4