- invariant-anchor-layer
- certified-obstruction-layer
- reduction-template-layer
- certificate-verified
- release-certified
- not theorem-prover-complete
- not a primary mathematics-closure repository
Claims apply only under declared constraints.
- gadget catalog with hashes
- reduction scripts with fixed seeds
- verifier hooks
canonical reduction templates and proof sketches
See SCOPE_LIMITATIONS_STATUS.md
Compatibility outside those bounds is not guaranteed.
Canonical citation:
Vasquez, Inacio. urf-spine. GitHub repository. Version main. 2026-04-20.
Machine-readable metadata:
CITATION.cffCITATION.jsonATTRIBUTION.md