Inacio F. Vasquez

Independent researcher building a network of executable research artifacts across structural rigidity, formal verification, and public certification.

Featured Adoption Surface — Outsider Demo Dependency Closure

urf-templates now declares the non-URF scientific-claim demo test dependency explicitly. Reference commit: 39d7eb5. Verification surface: NON_URF_OHMS_LAW_FIXED_OBSERVATION_BOUND_OK.

Foundational Core

urf-core — definitions, field registries, and coordination.
chronos-urf-rr — information-theoretic depth and witness layer.

Verification & Audit

urf-verifier — deterministic verification infrastructure.
urf-open-review-ledger — private audit/protocol staging layer; public ledger pending sanitized release.

Formal Verification Boundary

Formal Verification Boundary — public scope boundary for Lean 4, reproducible proof artifacts, SHA-256 ledger policy, HepLean/PhysLean comparison limits, mainstream-impact language, and open-problem claims.