Abstract This orientation guide maps the Identity-Persistence Program as a dependency graph rather than a linear sequence of papers. The program asks what licenses a claim that something remains the same through change. Its current architecture is organized around a sufficient regime specification: the declared structure within which identity, admissibility, transition, capacity, coding, replay, and verification become meaningful. Version 6 records the current first-generation architecture of the corpus. The formal core contains three forcing theorems: identity forcing, admissibility forcing, and sufficient regime specification forcing. These are bracketed below by the same/not-same precondition and the verdict demand, and above by the Gate: the limit of finite constraint accumulation for unique identification. The guide also locates the Coding Theorem and Recurrence Converse as the finite-regime capacity/coding pair, distinguishes formal core results from architecture papers, applications, methodology, and engineering, and records which claims are closed, closed within class, derived, open, refuted, or not claimed. The document is not itself a theorem or proof extension. It is a program guide: a map of dependencies, reading paths, status boundaries, and open frontiers. Its purpose is to prevent results proven at one layer from being mistaken for claims at another, and to clarify how the corpus now decomposes into foundational forcing, structural analysis, applied interpretation, and decision-verification infrastructure.
Devin Bostick (Sat,) studied this question.