{
  "author": "Maclain Hunter",
  "title": "Observable Formal Proof — Scientific-Test Version",
  "identifier": "hunter-observable-formal-proof-scientific-copy",
  "sourceKind": "authored-foundational-record",
  "content": "P: Logos is tautologically mirrored (in) Logic. Empiricism must be coherent to be valid.\n\nQ: Formal proof can be tested with logical rules & scientific method (SM).\n\nR: ~(P & Q) |= absurdity.\n\n{P, Q, R <-> (P & Q)} |= (P & Q) & R\n\nQED\n\nTeat hypothesis proof holds (100x) with SM.",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T23:44:37.937Z",
  "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."
}