https://github.com/inaciovasquez2020/urf-verifier
URF Verifier — authoritative verifier for Unified Rigidity Framework certificates with deterministic checks, provenance validation, and CI-grade reproducibility.
https://github.com/inaciovasquez2020/urf-verifier
cryptographic-signatures deterministic-builds executable-certificates formal-verification provenance reproducible-research unified-rigidity-framework verifier
Last synced: about 2 months ago
JSON representation
URF Verifier — authoritative verifier for Unified Rigidity Framework certificates with deterministic checks, provenance validation, and CI-grade reproducibility.
- Host: GitHub
- URL: https://github.com/inaciovasquez2020/urf-verifier
- Owner: inaciovasquez2020
- License: other
- Created: 2026-02-08T05:57:11.000Z (4 months ago)
- Default Branch: main
- Last Pushed: 2026-03-22T03:49:06.000Z (2 months ago)
- Last Synced: 2026-04-04T01:37:09.927Z (about 2 months ago)
- Topics: cryptographic-signatures, deterministic-builds, executable-certificates, formal-verification, provenance, reproducible-research, unified-rigidity-framework, verifier
- Language: Python
- Homepage: https://www.vasquezresearch.com
- Size: 39.1 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Citation: CITATION.cff
Awesome Lists containing this project
README
# URF Verifier
This repository provides the **verification tooling** for Unified Rigidity Framework (URF) artifacts.
It checks structural consistency, scope compliance, and certificate validity for released URF modules.
## What it verifies
- Structural correctness of URF certification artifacts.
- Conformance to declared schemas and invariants.
- Integrity of frozen, reference outputs.
## What it does not do
- Does not generate proofs.
- Does not establish mathematical truth.
- Does not resolve open theoretical questions.
## How to run
Typical usage:
- Select a released artifact or certificate.
- Run the verifier entry point provided in this repository.
(Exact commands are documented alongside the verifier scripts.)
## Output
- Pass / fail verification results.
- Structured diagnostics identifying violated constraints, if any.
## Status
Stable verification tool.
Intended for audit and reproducibility, not development.