The One-Bit Existence Guard: A Rigorous Formalization of Absoluta's Foundational Invocation Principle

This document presents <b>"The One-Bit Existence Guard" </b>(OBEG), a minimalist, three-layer formal hierarchy designed to provide a rigorous and paradox-resistant Level 1 (L1) foundation based on an explicit "invocation-first" principle. OBEG consists of: the <b>Existence Guard Calculus</b> (EGC), an operational system for primitive "stamping" of constant symbols; <b>Guarded First-Order Logic</b> (GFOL), a sound free logic with an existence predicate E!(c) and quantifiers syntactically guarded by E!; and <b>Guard-Fused First-Order Logic</b> (GFFOL), where all contentful predicates P♯ syntactically fuse these E! guards with bare content P . Key formal results include operational semantics for EGC, a sound (and completeness-sketched) sequent calculus for GFOL, a rigorous "Syntactic Guard Invariant" for GFOL/GFFOL, and conservativity results .This OBEG formalization serves as the explicit L1 logical core for the <b>Absoluta philosophical framework</b>, which is subsequently detailed. Absoluta's L1 posits a pre-axiomatic truth: any entity exists globally (GAE, as an <code>E_global(x)=1</code> "empty shell") if it is merely invocable or formable in principle . The sole L1-derived constraint on all richer Level 2+ (L2+) constructions is the Law of Operational Existence (LOE), mandating operands be existentially validated . This L1 minimalism enables Absolute Local Freedom (PALF) for Articulating Systems to construct diverse L2+ Local Theories .The OBEG system realizes Absoluta's L1 by:Modeling Global Abstract Existence (GAE) as the set of all named constant symbols in a chosen signature L (the outer domain Do​).Modeling Local Invocation (LI) as the Articulating System's choice to include E!(c) in its set of assumptions Γ for a given theory (defining the inner domain DΓ​) .Ensuring, via guarded logic (GFOL) and fused predication (GFFOL), that substantive logical operations only apply to locally invoked constants, thus deferring paradoxes (like Russell's) to L2+ choices about content and axioms .This document first presents the formal OBEG stack and its properties, then explores the broader Absoluta philosophy it grounds. It is intended for logicians, philosophers of mathematics, and theoretical computer scientists interested in minimal foundational systems, offering a robust framework with implications for capability systems, distributed ledgers, and "<b>Existence-Centric Computing &amp; Reasoning</b>" (ECCR) .