Very neat. I was expecting more than just a CPLD and a pico.
Regarding the ESP’s 12us nterrupt latency: 1/12e-6 ~= 83MHz. Makes me wonder what the fastest external hardware interrupt timing is for an x86 CPU these days and if it’s in the same ballpark.. Sadly using those search terms doesn’t yield much