Canonical URF reproducibility, provenance, CI, manifests, and verification layer

URF Spine — canonical spine of the Unified Rigidity Framework: normal forms, invariants, and formally verified core constructions.

Final Wall (FOᵏ Locality) — terminal obstruction results for FOᵏ locality, proving rigidity walls and limits of refinement-based computation.

Terminal Rigidity Witness (ERB) — executable certificates demonstrating terminal rigidity and no-escape obstructions under bounded locality and capacity.

Unified Capacity–Locality Problem (UCLP): a decision framework for bounded locality, bounded information injection, and valid progress accounting in polynomial-time computation. Includes the canonical CutStrings benchmark and URF-ADMISSIBLE predicate.

Exchange Force Framework — structural exchange-force model unifying interaction, capacity, and rigidity constraints with executable consistency checks.

Flagship executable URF/Chronos implementation with verified build and test surface

Trusted base of definitions, schemas, and verification artifacts for the Unified Rigidity Framework

Capacity–Locality Certification — executable certification framework validating systems against capacity bounds and locality constraints.

Vasquez Index — canonical index and navigation hub for the Unified Rigidity Framework, publications, repositories, and executable artifacts.

Public audit trail and structured open-review index for URF manuscripts, certificates, and verification artifacts.

URC Minimal Blockchain — minimal, auditable blockchain core illustrating capacity, locality, and rigidity constraints with deterministic verification.

Biological Friction Framework — structural limits on biological dynamics from capacity, dissipation, and rigidity, with executable consistency checks.

Inacio Vasquez — public research site and documentation hub for the Unified Rigidity Framework, publications, and executable artifacts.

Description URF Application Stress Test — adversarial and scalability tests for Unified Rigidity Framework applications, validating limits under load, noise, and edge cases.

Operational Wavefunction Collapse — operational and information-theoretic framework for measurement collapse with executable consistency checks.

URF Axioms — formal axiomatization of the Unified Rigidity Framework, defining primitives, admissibility conditions, and base invariants.

NCR (ISR) — compressed decision-diagram update regime exhibiting implicit superposition with normalization-failure certificates under transcript budgets.

Public verifier for AIV executable certificates

Unified Capacity–Locality Problem (UCLP): a formal decision framework for bounded locality, information capacity, and progress accounting in polynomial-time computation. Includes the canonical CutStrings benchmark and URF-ADMISSIBLE criteria.