Maibom, Marc: The Formal Structure of LP: One Primitive · One Axiom · Complete Derivation · Uniqueness Theorem

This paper establishes the formal structure of La Profilée. Reading P000 — the canonical derivation — against the requirements of formal axiomatics reveals a precise result: LP has one genuine primitive (the definition of state as minimal distinguishability) and one genuine axiom (real transformation). Everything else — M1, M3, F/M/K, IR ≤ 1, structural time, and the regime architecture — is derived. M1 is a theorem, not an axiom. M3 is a theorem, not an axiom. From these two starting points the