Author here: just noting that this is a first-draft and still evolving.

Also, it is LLM output and I have updated the readme to show that. But I didn't just ask an LLM to one-shot this. It was a process of iteratively throwing ideas at it, doing calculations, and getting other LLMs to critique. Probably ~100-200 calls to top of the line consumer reasoning models went into this so far.