inaciovasquez2020 / fo4-constraint-isolation Star 0 Code Issues Pull requests FO4 constraint-isolation boundary module for Cayley/local-rigidity arguments; terminal Math-AI question preserved as OPEN_PROBLEM_REQUIRED.fo4cayley-graphsmath-aiunified-rigidity-frameworkopen-problemfinite-variable-logicgraph-rigidityproof-hygiene Updated Jun 23, 2026Python