Abstract This paper consolidates the scope conditions of the Identity–Persistence Program into an executable boundary procedure. It contributes no new theorem. Instead, it applies the program’s standing claim-status grammar to recurrent questions about where the framework is licensed, where it is silent, and how it applies to itself. The procedure asks two questions: whether a declared regime covers the claim, and whether admissible evidence reaches it. These route claims to three honest outputs—a licensed verdict, UNDEFINED, or a classified non-verdict—while prohibiting verdict language without a declared license. Fourteen worked runs apply the procedure to claims concerning domain neutrality, uniqueness, universal applicability, self-grounding, ontology, experience, wagers, substrate hypotheses, and the scope of the corpus itself. The resulting characterization is deliberately asymmetric. Inside declared regimes, theorem-backed obligations attach. Outside them, withholding verdict grammar is an adopted operating discipline rather than a further theorem. The framework is therefore operationally self-applying but foundationally conditional: it can classify its own scope claims, identify the primitive it cannot internally discharge, and preserve that residue at its correct status. The paper’s methodological contribution is a compact rule for bounded inquiry: declare before evaluating; issue no claim above its evidence; and classify rather than counterfeit certainty where the declared regime or evidence boundary does not reach.
Devin Bostick (Fri,) studied this question.