SourceCertificate
Abstract
Second peak SecondPeakHighD: SourceCertificate
The same generic construction applies to every a,b,c,d>=2. It translates exact bank inventory, source masses and every paired window into old and new physical source orders, with the literal fresh cut and actual source charge. No existence hypothesis for a feasible certificate is assumed.