@famo2spaghi.bsky.social running those experiments it also found what seems to be a bug in ot1d see last section in this explainer github.com/pietroppeter...
github.com
not1d/docs/ot1d-vs-not1d.md at main · pietroppeter/not1d
partial port of ot1d by stegua to nim , proof of concept of using nimlang python package for non trivial algo - pietroppeter/not1d