This paper formalizes a minimal reliability principle for predictive computation: prediction is valid only while admissibility conditions remain satisfied. It introduces the concept of an admissibility gate, a binary diagnostic predicate evaluated during computation that determines whether continuation is permitted. The formulation establishes a strict separation between prediction and certification and defines a certified boundary of prediction as the first point at which admissibility is lost. The framework is domain-agnostic and applies across numerical simulation, algorithmic inference, and iterative predictive systems.
Andrew John Paton (2026) studied this question.