FOUNDATIONSAUDITEVIDENCE OBSERVATORY
Evidence Library
Status:[DEF]Definition

Definitions and Glossary

Precise Definitions, Operational Meanings, and Critical Exclusions

Executive Summary (Plain English)

The definitive glossary of Foundations Audit. Each term is documented with its technical definition, operational meaning, critical exclusions (what it does NOT mean), and exact corpus citation.

Evidence Class: Diagnostic Taxonomy·Scope: Standardized technical definitions across all research domains
Last Audited: 2026-09-18

Claim Boundary & Exclusions Audit

Scope: Standardized technical definitions across all research domains

What Is Claimed (Within Scope)

  • •Covers core concepts: Admitted Actuality, Complete Carrier, Typed Nullity, P.E.N., Fisher-Clock, Holonomy, Delta_rec, Lieb-Robinson Sector Diagnostics, and Postselection Budgets.
  • •Provides explicit exclusions to prevent semantic drift and overgeneralization.

What Is NOT Claimed (Prohibited Inferences)

  • •Definitions are operational conventions and model structures, not ontological primitives.

Technical Exposition & Formulation

Terms are organized across six categories: Kernel, Audit, Temporal, Geometry, Objectivity, and Information.

Assumptions & Input Data

  • Definitions correspond to verified corpus usage.

Declared Complete Carrier (K3)

The complete glossary dictionary.

Operational Definitions Directory

Admitted Actuality (K1)

Kernel

The constitutional principle that physical phenomena and carriers are treated as minimal factual starting points for conditional reconstruction, not as derived consequences of theoretical success.

Operational Meaning:Every model must explicitly declare its admitted physical inputs rather than asserting that downstream mathematical existence derives physical existence.
Critical Exclusion:Does not explain ultimate provenance or select a preferred metaphysical ontology. Downstream success cannot be used retroactively to prove premises.

Complete Carrier (K3)

Kernel

The explicit declaration of all degrees of freedom relevant to a physical claim, including retained systems, discarded environments, measurement instruments, references, controls, batteries, and correlations.

Operational Meaning:Any operation (partial trace, conditioning, quotient) must identify what is kept and what is discarded. Discarding a carrier does not eliminate its physical interactions.
Critical Exclusion:Omitting a carrier restricts the conclusion to a selected operational view and prevents claiming complete physical equivalence.

Typed Nullity (BNP-C3)

Audit

The formal classification of indistinguishability into distinct epistemic levels based on witness completeness.

Operational Meaning:NULL means indistinguishable under a proved-complete witness family. RESTRICTED-NULL means indistinguishable only under a declared task or limited access. UNDETERMINED means completeness is unresolved.
Critical Exclusion:Failure to observe a difference outside a proved-complete test family does not establish physical nullity, identity, or absence of structure.

Paired-Expansion Nondefinability (P.E.N.)

Audit

A model-theoretic theorem establishing that when a formal reduct admits two expansions agreeing on the reduct but differing in physical instantiation, instantiation cannot be implicitly or explicitly defined from the reduct.

Operational Meaning:Guarantees mathematically that formal syntax and mathematical models alone cannot uniquely fix physical reality without an explicit physical bridge.
Critical Exclusion:Does not prove permanent or universal inexplicability; only establishes a strict definability limit within declared languages and model classes.

Fisher-Clock Correspondence

Temporal

The exact necessary and sufficient condition under which a dynamical evolution parameter T agrees affinely with operational duration: accessible Fisher information must be positive and constant almost everywhere after calibration.

Operational Meaning:Provides a rigorous bridge from quantum state change to an operational clock reading, integrating rank-changing endpoints when square root of Fisher information is one-sided integrable.
Critical Exclusion:Does not derive universal, cosmological, or fundamental time. Clock adequacy is a correspondence theorem, not an emergence of metaphysical time.

Loop Holonomy Synchronization

Temporal

A connected network of local clocks admits a consistent global calibration if and only if every closed comparison loop has identity holonomy.

Operational Meaning:Separates local operational duration from global time coordination. If a loop has non-identity holonomy, no single time coordinate can cover the network.
Critical Exclusion:Does not assert that global time exists in nature; it provides the operational test for whether a network can be synchronized.

Delta_rec Diagnostic

Objectivity

The normalized commutator test measuring common-record misalignment across a family of hidden-controlled interaction channels: delta_rec(R;H) = max_a max_r ||[H(a), Q_r x I]|| / ||H(a)||.

Operational Meaning:Certifies whether an active record basis is preserved across all active channels. Exact common-record objectivity requires Delta_rec = 0.
Critical Exclusion:A nonzero Delta_rec proves that sectorwise redundancy is false-positive: observers with inaccessible channel labels cannot agree on a common record.

Lieb-Robinson Sector Diagnostics

Geometry

Three distinct diagnostics for locality in topology-controlled dynamics: C_inf (uniform essential supremum norm), C_1 (sector-weighted norm), and C_bar (averaged commutator norm under common embedding).

Operational Meaning:Separates worst-case positive-measure propagation speed from typical-sector behavior and averaged destructive interference.
Critical Exclusion:Lieb-Robinson velocity is a bound parameter within fixed graph conventions, not a relativistic universal invariant speed c or light cone.

Postselection Information Budget

Information

The universal bound proving that average postselection gain cannot exceed the control conditional mutual information: sum_y p_y (chi_y - chi) <= I(Lambda : T | F).

Operational Meaning:Proves that conditioning on quantum control outcomes redistributes existing information but cannot create objective classical records from nothing.
Critical Exclusion:Does not allow arbitrary information amplification. A control carrying no conditional pointer information cannot improve records on average.

Causal Nonseparability Independence

Objectivity

The operational independence theorem establishing that environmental objectivity and causal nonseparability are independent resources: neither implies the other.

Operational Meaning:Quantum-controlled operation order (e.g. quantum switch) does not automatically generate redundant classical records, and redundant records do not require indefinite causal order.
Critical Exclusion:Computational validation only. Does not derive geometric spacetime causal cones or an intrinsic observer partition.

COR Theory (Conditional Operational Reconstruction)

Reconstruction

The authoritative, controlling theoretical framework of Foundations Audit. Universally supersedes Emergent Timeless Potentiality (ETP) across all layers, reconstructing physical structures (records, duration, geometry) conditionally from admitted physical starting packages under K1–K9.

Operational Meaning:Every claim, derivation, and model is conditioned on an explicit physical bridge (J_phys) and declared complete carrier (K3). Operates above admitted actuality (Layer 0) through three constructive layers (Layers 1–3).
Critical Exclusion:Does not claim to be a 'theory of everything' or derive physical existence from pure mathematics. Governed by 10 claim ceilings and 10 constitutional reopening triggers.

ETP (Emergent Timeless Potentiality)

Lineage

The predecessor research program and historical manuscript lineage (FA-AUTH-01 through FA-QD-ST-01). Permanently retained in the repository archives for provenance, derivation traceability, and citation continuity.

Operational Meaning:Provides the documentary audit trail of the project's evolution. Its verified mathematical findings (Fisher clocks, HCOD commutators, quantum Darwinism survival) are preserved and formalized within COR Theory.
Critical Exclusion:Does not represent active theoretical control. Universally replaced by COR Theory to eliminate ontological overreach and enforce Paired-Expansion Nondefinability.

Source Provenance & Verification Hashes

FA-AUTH-01CONTROLLING

ETP_MANUSCRIPT_AUTHORITY_REGISTER_Truth_First_V14...

SHA-256:ebc3e96308...8f0011cc
Corpus Details

Challenge This Claim Ceiling

Identified an unstated carrier or a counterexample? Submit a formal challenge.

Submit a Challenge