La Profilée - 지속 가능성 허용 정리 - 자립형 형식적 명제

본 논문은 지속 가능성 허용 정리(PAT)를 기술하고 증명한다: 조건 1–7(세 가지 최소 의미 조건과 네 가지 표현 허용 조건)으로 정의된 전체 허용 클래스 C 내에서 — 구별 가능한 상태, 실제 변환, 결정적인 지속 가능성 판정 — 모든 허용 가능한 지속 조건은 구조적으로 R ≤ F·M·K와 동등하다. v2 버전은 이전의 세 가지 가장 약한 단계를 형식적으로 엄밀한 보조정리로 대체한다: 보조정리 2는 가산 순서 밀도가 아닌 명시적 경험적-위상학적 허용 조건(조건 4–7)에서 스칼라 표현 가능성을 근거로 삼는다; 보조정리 3은 구조적 논증이 아니라 불변성의 필요성으로 이분해를 도출한다; 보조정리 4는 최소 기저 증명으로서 삼원 역할 구조를 확립한다; S5는 명시적 분리 조건으로 곱셈성 주장을 마무리한다. 모든 대안은 문제를 단순화하거나 파편화하거나 R ≤ F·M·K로 환원된다. 네 번째 클래스는 존재하지 않는다. 허용 조건 자체가 최소임이 입증되었다: 조건 4–7 중 어느 하나라도 약화하면 전역 지속 법칙의 가능성이 사라지며 대안 공식화가 나오지 않는다.