Daniel Berlin

> > So, does it work on another carrier board and just not the manta? Did you have a CM4 working on the manta and now a CM5 doesn't work?...

FWIW, just in case others find this. You can just store the inverse patches immer gives you. Or you can generate inverse patches yourself using fast-json-patch. and store them At...

So i just reworked the code to just serialize the accepted/rejected constraints directly as they appear. IE serialization is ` # connection constrains. serial_data['graph']['accept_connection_types'] = self.model.accept_connection_types serial_data['graph']['reject_connection_types'] = self.model.reject_connection_types `...

> > The same is technically true of the other two printfs, but for some reason they always seem to display output. I wish i could say with certainty why...

No - I'm hoping if i do it wrong, someone who knows the codebase will suggest the right way to fix it :) I usually send PRs because it still...

> Thanks for the analysis! Note that the z3guide uses z3+JS in the browser, so it is able to side-step (some?) issues pointed out. Yes, I forgot to mention -...

> > Use the same init between browser and node. There is nothing in the commit history that explains why the init is different, and it's not at all obvious...

> If [@dberlin](https://github.com/dberlin) wants to send a PR I can review it. Otherwise I'll get to it myself at some point. > > > Bonus question: does this fix issues...

Hey - so this is definitely caused by immer, i can easily reproduce it if i immer my zustand store. I do use immer to produce data in places, but...