The URF-11 registry work is now publication-facing. Subproblem records are canonical in urf-core (Commit 606f147), and translation-rule records are the next public consistency layer via PR #282.
Foundations and Complexity
Terminal obstruction results for FO^k locality and refinement limits.
Cycle-overlap rigidity and the FO^k bridge.
Entropy-depth, transcript capacity, and executable lower-bound witnesses.
Admissibility, locality, and terminal-obstruction surfaces.
Formalization and Standards
Deterministic verifier and certification stack for program-wide reproducibility.
Formal axiomatization and canonical module layer for Lean-facing structures.
Public protocol and audit-track records (URF-P-0001 / 0002 / 0003).
Mathematical Physics
Coercivity and defect-control program for the Riemann Hypothesis.
Dark Fluid Model with Minimal Kinetic Coupling cosmological background solver.
Information-theoretic constraints in biological growth and exchange dynamics.
Geometry and Topology
Regge action invariance and Pachner moves for 3-manifold triangulations.