{
  "author": "Maclain Hunter",
  "title": "Science, Logic, and Contingencies",
  "identifier": "hunter-science-logic-contingencies",
  "sourceKind": "authored-foundational-record",
  "content": "P: logically incoherent Science -> ~(Science) |= Science <-> LOGIC\n\nQ: Tautologically, all (x) is logically derived from Logic, or it (x) won’t logically exist.\n\nR: Logic |= Logic & contingencies\n\n{R, R -> Q, (R -> Q) -> P} |= R -> ~(R & ~(Q & P))\n\nQED",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T23:11:25.229Z",
  "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."
}