{
  "author": "Maclain Hunter",
  "title": "Bivalence, Energy, and Computation",
  "identifier": "hunter-bivalence-energy-computation",
  "sourceKind": "authored-foundational-record",
  "content": "P: Logos is the Ground of bivalence.\n\nQ: Using produced energy for ASR (Computation).\n\nR: Using ASR for energy production (Energy Generation).\n\n{P -> Q, P -> R} |= P -> ((Q -> R) <-> (R -> Q))\n\nQED",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T23:12:11.378Z",
  "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."
}