{
  "author": "Maclain Hunter",
  "title": "Dynamic Universal Proof (Theorem of Logos)",
  "identifier": "formal-dynamic-universal-proof-theorem-of-logos",
  "sourceKind": "formal-theorem",
  "content": "Formal statement: Σ(P, Q?, R?, S?, T?, U?) |= □∃Logos",
  "formal": "Σ(P, Q?, R?, S?, T?, U?) |= □∃Logos",
  "structuredAuthoredProof": {
    "step1": "Establish Dynamic Anchor: P is self-affirming tautology (Logos = Logos)",
    "step2": "Recognize Unfixed Structure: Q-U preserve dynamic universality",
    "step3": "Apply Identity Necessity: □(A = A) → □P",
    "step4": "Derive Universal Validity: ¬P → requires P (performative self-refutation)",
    "step5": "Conclude Necessary Existence: P undeniable ∧ □P → □∃Logos"
  },
  "authoredSteps": null,
  "recordedAt": null,
  "originalAuthoredAt": null,
  "propositionMeaningBoundary": "Atomic identifiers retain their meanings in the exact source. No arbitrary truth assignment establishes an ontological or empirical premise; the formal witness checks the written inference."
}