{
  "author": "Maclain Hunter",
  "title": "Knowing Proof and Logic",
  "identifier": "hunter-knowing-proof-logic",
  "sourceKind": "authored-foundational-record",
  "content": "P: Logic: Logic is the “Method of Reasoning” (by consistency) with Logic.\n\nQ: Proof: Proof encompasses formal and philosophical arguments that point to Logos as Truth.\n\nR: Knowing {P, Q} contradicts claims I don’t know proof/Logic {P, Q}.\n\n{(P & Q) -> R} |= P -> (Q -> R)\n\nQED",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T23:45:15.061Z",
  "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."
}