{
  "author": "Maclain Hunter",
  "title": "OR Commutativity (magnitude distinct)",
  "identifier": "formal-or-commutativity-magnitude-distinct",
  "sourceKind": "formal-theorem",
  "content": "Formal statement: ∀a,b ∈ MCBExponent, |a| ≠ |b|: OR(a,b) = OR(b,a)\n\nProof: The dominant (larger magnitude) operand determines the result",
  "formal": "∀a,b ∈ MCBExponent, |a| ≠ |b|: OR(a,b) = OR(b,a)",
  "structuredAuthoredProof": "The dominant (larger magnitude) operand determines the result",
  "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."
}