fix(core): a bucket whose members disagree spends its key (C47) - #402

Merged

vieiralucas merged 6 commits into

mainfrom

core/c47-minority-count

Aug 9, 2026

Commits on Aug 9, 2026

fix(core): a bucket whose members disagree spends its key, so a minority count rewrite folds one state (C47)
vieiralucas
committed
69e9680
perf(core): read the transaction buckets once per drain pass
vieiralucas
committed
d6a4f21
test(core): pin that a bucket reads no size off the member it holds first
vieiralucas
committed
3e887b5
docs: file C147 and C148, the residue C47's falsification pass measured
vieiralucas
committed
7abdcf7
docs: state plainly that C47 inverts C3's rule rather than extending it
vieiralucas
committed
ccf3ba5
fix(core): address the second falsification pass — C46 widening, and seven false prose claims
vieiralucas
committed
19d3f25