https://github.com/inaciovasquez2020/urf-spine
URF Spine — canonical spine of the Unified Rigidity Framework: normal forms, invariants, and formally verified core constructions.
https://github.com/inaciovasquez2020/urf-spine
canonical-forms formal-methods formal-verification invariants lean4 mathlib reproducible-research rigidity-theory spine unified-rigidity-framework
Last synced: 3 months ago
JSON representation
URF Spine — canonical spine of the Unified Rigidity Framework: normal forms, invariants, and formally verified core constructions.
- Host: GitHub
- URL: https://github.com/inaciovasquez2020/urf-spine
- Owner: inaciovasquez2020
- Created: 2026-02-08T06:40:51.000Z (4 months ago)
- Default Branch: main
- Last Pushed: 2026-02-18T22:07:18.000Z (4 months ago)
- Last Synced: 2026-02-19T03:59:58.130Z (4 months ago)
- Topics: canonical-forms, formal-methods, formal-verification, invariants, lean4, mathlib, reproducible-research, rigidity-theory, spine, unified-rigidity-framework
- Language: Python
- Homepage: https://inaciovasquez2020.github.io
- Size: 3.74 MB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# URF Spine
The URF Spine is the **structural backbone** of the Unified Rigidity Framework (URF).
It defines canonical forms, invariants, and certificate structure shared across URF modules, ensuring consistency and preventing duplication of foundational machinery.
## Role
- Acts as the invariant anchor and canonicalization layer for URF.
- Provides shared abstractions used by multiple URF components.
- Supports certificate composition and verification workflows.
## What lives here
- Canonicalization mechanisms (e.g. Spine Normal Form).
- Invariant representations and shared structural maps.
- Certificate schemas and verification utilities.
## Dependencies
Consumed by:
- urf-core
- chronos-entropydepth
- chronos-urf-rr
- urf-verifier
This repository does not depend on application-specific or domain-specific URF modules.
## Status
Stable structural module.
Changes occur only to preserve cross-repository consistency.
## Further documentation
Detailed specifications, scripts, and technical notes are maintained within the repository subdirectories and linked documentation files.