{
  "author": "Maclain Hunter",
  "title": "Observable Logic and Its Source",
  "identifier": "hunter-observable-logic-source",
  "sourceKind": "authored-foundational-record",
  "content": "P: □: Tautology, validity, consistency, and invalidity are states (x) that evidence Logic’s Source in LOGIC (z).\n\nQ: □: Atheists (y) can observe such states (x) in formal Logic, and could empirically verify the Logos (z).\n\n{P, P <-> Q, Q} |= P & Q\n\nErgo: □(P & Q)\n\nQED",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T22:14:07.559Z",
  "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."
}