{
  "author": "Maclain Hunter",
  "title": "XOR Self-Inverse",
  "identifier": "formal-xor-self-inverse",
  "sourceKind": "formal-theorem",
  "content": "Formal statement: ∀a ∈ MCBExponent: state(XOR(a,a)) = +1\n\nProof: (|a| + |a|) mod 2 = 0, and (-1)^0 = +1",
  "formal": "∀a ∈ MCBExponent: state(XOR(a,a)) = +1",
  "structuredAuthoredProof": "(|a| + |a|) mod 2 = 0, and (-1)^0 = +1",
  "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."
}