{
  "author": "Maclain Hunter",
  "title": "Conditional Determinism",
  "identifier": "formal-conditional-determinism",
  "sourceKind": "formal-theorem",
  "content": "Formal statement: ∀c,t,e: mcbConditional(c,t,e) ∈ {t, e}\n\nProof: c.state ∈ {+1, -1} maps deterministically to branches",
  "formal": "∀c,t,e: mcbConditional(c,t,e) ∈ {t, e}",
  "structuredAuthoredProof": "c.state ∈ {+1, -1} maps deterministically to branches",
  "authoredSteps": null,
  "recordedAt": null,
  "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."
}