AbstractThis document is a short orientation map to the identity-persistence program. It is not a theorem, not a proof extension, and not an exhaustive bibliography. Its purpose is to give the program enough shape that readers can navigate the formal stack, companion papers, and applied infrastructure layer without confusing their roles. The guiding question is: what must be true for something to remain itself through change? The program reduces broader questions about coherence, emergence, ontology, and persistence into a narrower formal problem: if same/not-same across recurrence is to be meaningful, non-arbitrary, and non-trivial, what structure is required? The orientation distinguishes three layers. The formal core contains the forcing theorem, mathematical object language, verdict procedure, and coding theorem for identity persistence. The companion layer explains, bounds, teaches, motivates, and applies the framework diagnostically without extending the theorem. The applied layer connects declared identity regimes to deterministic decision verification infrastructure: decision → deterministic contract → committed artifact → replay → offline verification → proof-gated execution. The note also states the program’s boundaries. It does not claim that all ontology is solved, that physics is replaced, that probability is invalid, that consciousness is resolved, or that companion papers prove the theorem. It presents the program as a bounded formal account of being-the-same-through-change, and as a practical framework for systems that must prove persistence under transformation.
Devin Bostick (Thu,) studied this question.