{
  "author": "Maclain Hunter",
  "title": "The Rule of Logic and Proof Knowledge",
  "identifier": "hunter-rule-logic-knowledge",
  "sourceKind": "authored-foundational-record",
  "content": "P: The Rule of Logic (A) unifies the rules of Logic thusly: \n\n{A, A -> A} |= (B v ~B) & ~(C & ~C)\n\nQ: To write this valid proof structure without knowing Logic/proof violates ~(C & ~C).\n\nR: I know Logic/proof.\n\n{P, P -> Q, Q -> R, R -> P} |= (Q <-> P) & (R -> R)\n\nQED",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T23:08:44.658Z",
  "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."
}