Sharpen and simplify the Section 8 all-deficit partition function - #49

Draft

SamPetkov wants to merge 16 commits into

agent/625-attained-all-deficit-reindexingfrom

agent/625-sharp-deficit-product-exposition

Commits on Jul 27, 2026

Add the sharp cellwise all-deficit product interface
SamPetkov
committed
0b693a9
Add exact checks for the sharp all-deficit partition function
SamPetkov
committed
80b9ff4
Add the sharp all-deficit lemma and reader-first Section 8 proof
SamPetkov
committed
e55b199
Add a copy-ready sharp all-deficit Section 8 insert
SamPetkov
committed
d1f041a
Add focused CI for the sharp all-deficit product
SamPetkov
committed
d59126d
Fix commutative order in the sharp deficit inequalities
SamPetkov
committed
5f62135
Add the sharper three-quarter deficit exponent budget
SamPetkov
committed
00f5ea6
Check the three-quarter exponent budget in focused CI
SamPetkov
committed
75554aa
Repair the constant-factor step in the three-quarter budget
SamPetkov
committed
2aab9d4
Extend exact checks to the three-quarter deficit budget
SamPetkov
committed
cd9d824
Clarify the near-sharp three-quarter exponent budget
SamPetkov
committed
3388d1b
Upgrade the Section 8 note to the three-quarter charge
SamPetkov
committed
2958f09
Use the three-quarter charge in the Section 8 TeX insert
SamPetkov
committed
835939a
Optimize the exact sharp-deficit regression
SamPetkov
committed
8f3f502
TEMP
SamPetkov
committed
6e6436b
Remove accidental audit-map placeholder
SamPetkov
committed
ea04ab9