Featured URF-Core Update — URF-11 Registry Layer
urf-core now includes a canonical URF-11 subproblem registry with repository-native checks that every bridge source/subproblem pair resolves to a declared record. The next public layer is PR #282, which adds a translation-rule registry and a consistency test requiring every bridge translation_rule to resolve to a declared rule record.
System Monitoring
Repository network for the Vasquez research program.
Core Infrastructure
- urf-core — canonical definitions, field registries, and consistency surfaces.
- chronos-urf-rr — flagship executable reference verification surface.
- flagship-lean — formal invariant layer and Lean-facing structures.
Open Frontiers
- rh-archimedean-kernel-rigidity — active mathematical research track.
- dfm-mkc-cosmology — cosmological solver program.
- urf-verifier — deterministic verification and certification layer.