Proof Engine Verification: The assertion that no Arab state has ever recognized Israel is false because Egypt signed a peace treaty in 1979, Jordan in 1994, and four additional states joined the Abraham Accords by 2023.

Automated fact-verification of the claim: "The assertion that no Arab state has ever recognized Israel is false because Egypt signed a peace treaty in 1979, Jordan in 1994, and four additional states joined the Abraham Accords by 2023." Verdict: PROVED Key Findings Egypt signed a full peace treaty with Israel in Washington, D.C. on 26 March 1979 — confirmed by the US State Dept (tier 5, B2) and Wikipedia (B1). This single fact alone disproves "no Arab state has ever recognized Israel." Jordan signed a peace treaty at the Arabah border crossing on 26 October 1994, explicitly described as "the second Arab country, after Egypt, to sign a peace accord with Israel" (B3, B4). Four Arab states joined the Abraham Accords by 2023: UAE and Bahrain (September 15 2020), Morocco (December 2020), and Sudan (Declaration, January 6 2021) — confirmed by Britannica (B5) and Wikipedia (B6). All three sub-claims hold (3/3). The "no Arab state has ever recognized Israel" assertion is false by at least six documented counterexamples. 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 Generated by Proof Engine v0.10.0.