{
  "author": "Maclain Hunter",
  "title": "AEP Logical Simulation",
  "identifier": "hunter-aep-logical-simulation",
  "sourceKind": "authored-foundational-record",
  "content": "P: Logic |= logical simulation (LS) done with and done by logical rules and operations (LRO) on the plane of Pure Logic\n\nQ: LS |= LS(AEP)\n\nR: [LS(AEP) :: LRO(AEP)]\n\nS: ~{P, Q, R} |= ~(P & LRO)\n\n{P, P -> Q, Q -> R, R -> S} |= (P & Q) & (R & S)\n\nQED",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T23:43:25.377Z",
  "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."
}