Claim Verification: "The binary operator defined by \(\text{eml}(a, b) = \exp(a) - \ln(b)\) satisfies \(\text{eml}(x, 1) = \exp(x)\) for every complex number x." — Proved

Automated fact-verification of the claim: "The binary operator defined by \(\text{eml}(a, b) = \exp(a) - \ln(b)\) satisfies \(\text{eml}(x, 1) = \exp(x)\) for every complex number x." Verdict: PROVED Files proof.py — Re-runnable Python verification script proof.md — Structured proof report proof_audit.md — Full verification audit trail proof_narrative.md — Plain-language summary proof.json — Machine-readable structured data provenance.json — W3C PROV-JSON provenance chain proof.ipynb — Jupyter Notebook (interactive re-verification) ro-crate-metadata.json — RO-Crate 1.1 research object manifest Generated by Proof Engine v1.18.0.