This repository currently contains:
ucns-spec-frontier-v090.md— current completeness frontier through v0.9.0ucns-code-v065.py— stable defended code snapshot from the v0.6.5-based line
code/v080-coupled-witness-solver.pycode/v080-recursive-factorization-refactor-plan.pycode/v081-depth2-oracle-theorem.pycode/v082-depth2-final-push.pycode/v090-carrier-widening.pycode/e109-depth2-failure-boundary.py
These supplementary files preserve the historical theorem / refactor frontier for the recursive and widening attempts.
- The top-level files are the current recommended entry points.
- The
code/files are versioned historical artifacts and frontier notes. - Later depth-2 and carrier-widening artifacts remain exploratory and are not merged into the stable engine snapshot.