Honest question— how is this verified for accuracy ? What if there is a bug ?

Thank you for your interst. I disclosed the core verification algorithm to make the procedure reviewable. https://github.com/nakatahr/gridbach-core