https://github.com/inaciovasquez2020/urf-prefab-system
URF Prefab System — canonical prefab constructions and normal forms for the Unified Rigidity Framework, enabling reproducible instantiation of certified rigidity results.
https://github.com/inaciovasquez2020/urf-prefab-system
canonical-forms formal-methods formal-verification normal-forms prefab-system reproducible-research rigidity-theory unified-rigidity-framework
Last synced: 4 months ago
JSON representation
URF Prefab System — canonical prefab constructions and normal forms for the Unified Rigidity Framework, enabling reproducible instantiation of certified rigidity results.
- Host: GitHub
- URL: https://github.com/inaciovasquez2020/urf-prefab-system
- Owner: inaciovasquez2020
- License: mit
- Created: 2026-02-04T11:56:51.000Z (5 months ago)
- Default Branch: main
- Last Pushed: 2026-03-22T04:32:16.000Z (4 months ago)
- Last Synced: 2026-04-04T01:37:10.436Z (4 months ago)
- Topics: canonical-forms, formal-methods, formal-verification, normal-forms, prefab-system, reproducible-research, rigidity-theory, unified-rigidity-framework
- Language: Python
- Homepage: https://www.vasquezresearch.com
- Size: 193 KB
- Stars: 1
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Citation: CITATION.cff
- Codeowners: .github/CODEOWNERS
- Roadmap: docs/ROADMAP.md
Awesome Lists containing this project
README
# URF Prefab System
Prefab modules for the Universal Rigidity Framework (URF).
The prefab system provides reusable structural components that can be composed
into URF admissibility and normalization pipelines.
A prefab represents a canonical construction with:
- defined inputs
- admissibility constraints
- normalization invariants
- verification procedure
The goal is to standardize common URF constructions so they can be reused
across multiple URF modules and proofs.
## Prefab Definition
A prefab P is defined by
P = (I, C, N, V)
I input schema
C admissibility constraints
N normalization map
V verification procedure
## Repository Structure
src/prefab/
implementation of prefab objects
docs/
formal specification of prefab structures
tests/
validation of prefab normalization and admissibility
examples/
example prefab constructions
## Example Prefab
Normalization prefab
Input:
object X
Normalization:
N(X) → canonical representative
Constraint:
X ~ Y ⇒ N(X) = N(Y)
Verification:
check admissibility and canonical form
## Relation to URF Core
Prefab modules are used by
- urf-core
- urf-verifier
- urf-spine
to provide reusable building blocks for URF constructions.
## License
MIT