{
  "author": "Maclain Hunter",
  "title": "Substantive Energy, Energy in Form, and ASR",
  "identifier": "hunter-substantive-form-energy-asr",
  "sourceKind": "authored-foundational-record",
  "content": "P: Translating substantive energy (SE) to energy in form (EF) utilizing automated systems of reasoning or “ASR” for practical, consistent operation.\n\nQ: ASR must excel in finding logical equivalence.\n\nR: EF ≠ more actual than SE.\n\n{P -> Q, (P & Q) -> R} |= (P & Q) & R\n\nQED",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T23:12:06.343Z",
  "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."
}