proof-hygiene

Here are 2 public repositories matching this topic...

URF-11 translation/subproblem registry for dependency surfaces, boundary-preserving reductions, and non-claim tracking.

FO4 constraint-isolation boundary module for Cayley/local-rigidity arguments; terminal Math-AI question preserved as OPEN_PROBLEM_REQUIRED.

Add a description, image, and links to the proof-hygiene topic page so that developers can more easily learn about it.

To associate your repository with the proof-hygiene topic, visit your repo's landing page and select "manage topics."