Show HN: A New Lower Bound on the Square Packing Problem

Nice! The first part mostly follows thesteps of Burns' proof but the explanation adds a lot of the implicit details and a few relevant interactive graphics.

Anyway, reading the repo I got lost. Where is Te certificate? Where is the verifier?

And most importantly, where is the step to add new weights? There is an explanation but I'd like to see the details.