-
167RIC VERIFY defines deterministic decision verification infrastructure. It replaces logs and explanations with replayable, signed artifacts that can be independently verified offline. This paper specifies the minimal requirements for verifiable decision systems and establishes verification as a required layer for consequential AI.
-
215This paper argues that coherent explanation presupposes an identity-first order of reason: identity must precede invariant specification, invariant specification must precede observables, and probability must remain derivative. When probability or observables are treated as foundational, persistence becomes representation-relative and drift comparability collapses. A Minimal Persistence Contract is introduced, defining the conditions under which singular identity under perturbation is coherent: …Read more
-
212This paper derives constraints on admissible observables from a prior structural account of identity persistence. Treating observables as operational measurement outputs rather than ontological primitives, it shows that any intrinsic observable compatible with identity persistence must factor through an identity quotient and invariant state. Drift-stable observables are constrained to governance-compatible forms, while probabilistic descriptions arise only through coarse-graining under limited m…Read more
-
272Autonomous intelligence is not a matter of behavioral sophistication but of agency: self-initiated action with goal maintenance across action cycles by the same subject. This paper proves, within a strict scope lock, that autonomy requires persistent identity, and that persistent identity forces deterministic identity governance. The proof chain is eliminative and non-circular: (1) autonomy implies identity comparability under drift across recurrence; (2) identity-scoped recurrence forces a sing…Read more
-
280This paper proves a structural necessity result about identity persistence. Under minimal universal axioms required for identity to be meaningful and non-arbitrary (comparability, drift-bounded persistence, compositional closure, and affine gauge invariance), identity-relevant recurrence is forced to reduce to a single compact 1-DOF trunk, classified as S¹. Given S¹, invariant identity content factors through an SO(2)/O(2) harmonic family {r_k, χ_k}. The paper then proves that identity persisten…Read more
-
292This paper argues that humans and institutions do not fail to track reality because of bias, ignorance, or moral weakness, but because reality exceeds what bounded systems can stably evaluate and coordinate around. Under finite energy, time, and measurement constraints, selection must occur before full evaluation is possible. As a result, direct routing by truth becomes infeasible and is lawfully replaced by proxy systems. We formalize this process as invariant substitution under measurement opa…Read more
-
406This paper establishes a structural limit on self-verification. It proves that any bounded system governed by a scalar coherence invariant cannot internally certify its own alignment or drift state with certainty, since the measurement apparatus is subject to the same governing constraints as the state being measured. As a result, self-certification is non-convergent in principle. Alignment can be inferred only through external phase-lock and coherence persistence across independent systems. Thi…Read more
-
192This paper audits the internal consistency of ontological claims made by the Many-Worlds Interpretation of quantum mechanics. Restricting itself to premises explicitly asserted in the literature, it examines whether strict unitarity, determinism, and literal permanent branching can be jointly maintained. The analysis isolates a necessary substitution from approximate to exact orthogonality in decoherence-based branching accounts and shows that this substitution is not licensed by unitary dynamic…Read more
-
285This paper formalizes axiom-first closure as a distinct methodological class in science and philosophy. Unlike outcome-driven, benchmark-based, or accumulation-oriented approaches, axiom-first reasoning proceeds by stating necessary conditions for category membership and eliminating all structures that violate them. When successful, this method terminates ambiguity by collapsing admissible possibilities rather than ranking alternatives by performance or fit. Although axiom-first closure has play…Read more
-
230Coherence-based frameworks for identity persistence increasingly appeal to scalar invariants derived from minimal symmetry classes, most commonly SO(2). In such frameworks, identity continuity is defined by bounded drift of a scalar coherence measure, yielding a deterministic criterion for persistence and failure. As these approaches gain visibility, claims of necessity are frequently misread as claims of sufficiency. This paper introduces the Sufficiency Gate, a formal demarcation that separate…Read more
-
298Human cognition is subject to a hard energetic constraint of approximately 20 watts. This paper argues that this constraint has direct consequences for what can count as an admissible theory of mind, intelligence, or reality. Treating energetic boundedness as axiomatic, I show that cognitive systems must converge under refinement by compression, invariant discovery, and elimination. Frameworks that expand their representational requirements over time—through branching ontologies, parameter accum…Read more
-
173This paper establishes a general structural law governing coordination in persistent systems. Any system that persists over time must select among competing candidates according to a scalar invariant that determines stability. When direct evaluation of this invariant is feasible at the required coordination rate, selection proceeds by measurement. When it is not, selection must be routed through an indirect substitute mechanism. We prove that such substitution is forced under conditions of measu…Read more
Areas of Specialization
| Philosophy of Artificial Intelligence |
Areas of Interest
| Philosophy of Artificial Intelligence |