Nova Spivack

Local Dynamics, Global Semantics: A Closure Engine for Semantic Nonlocality Paper 45 of the NEMS Suite

2026 · Zenodo (CERN European Organization for Nuclear Research)

We adopt a strong locality axiom at the Holds level: factorization—global satisfaction of observational propositions is the conjunction over fragments of a local predicate applied to the restricted world. This is algebraic, not geometric; no …

Certification, Realization, and Obstruction: A Universal Fiber Architecture

2026 · Zenodo (CERN European Organization for Nuclear Research)

This paper closes the editorial loop for a multi-manuscript program in machine-checked mathematics. The executive claim is that a single collapse / refinement / fiber architecture---certification at a bare carrier, strict comparison upstairs, obstruction organized …

ugp-lean: A Machine-Checked Formalization of the Universal Generative Principle

2026 · Zenodo (CERN European Organization for Nuclear Research)

The Universal Generative Principle (\ugp{}) is a deterministic arithmetic framework defined over integer ridges R_n = 2^n - 16. It produces, from first principles and without free parameters, a unique canonical seed---the triple (1,73,823)---whose orbit …