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

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

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

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.

Chronos–EntropyDepth — information-theoretic limits on refinement and computation; entropy depth bounds, certificates, and executable witnesses.

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.

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

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

Public verifier for AIV executable certificates

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

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.

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

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

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

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

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

Rank Dichotomy Theorem for CAT(0) Cube Complexes (canonical)

Cycle-Local Rigidity — locality-based rigidity from cycle structure; executable witnesses and proofs of local-to-global obstruction.