# Audit: 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.

- **Generated:** 2026-03-27
- **Reader summary:** [proof.md](proof.md)
- **Proof script:** [proof.py](proof.py)

---

## Claim Specification

| Field | Value |
|-------|-------|
| Subject | Assertion that no Arab state has ever recognized Israel |
| Compound operator | AND (all three sub-claims must hold) |
| SC1 property | Egypt signed a peace treaty with Israel in 1979 |
| SC1 operator/threshold | ≥ 1 confirming source |
| SC2 property | Jordan signed a peace treaty with Israel in 1994 |
| SC2 operator/threshold | ≥ 1 confirming source |
| SC3 property | At least 4 Arab states joined the Abraham Accords by 2023 |
| SC3 operator/threshold | ≥ 4 states confirmed |
| Operator note | ANY one sub-claim disproves "no Arab state" assertion; all three are verified for completeness |

*Source: proof.py JSON summary*

---

## Fact Registry

| ID | Type | Key / Description |
|----|------|-------------------|
| B1 | Empirical | `egypt_wiki` — Wikipedia: Egypt–Israel peace treaty signed 26 March 1979 |
| B2 | Empirical | `egypt_state_dept` — US State Dept (history.state.gov): Egypt-Israel Peace Treaty signed March 26 |
| B3 | Empirical | `jordan_wiki` — Wikipedia: Israel–Jordan peace treaty signed 26 October 1994 |
| B4 | Empirical | `jordan_accords_xref` — Wikipedia (Abraham Accords): UAE/Bahrain first Arab recognition since Jordan in 1994 |
| B5 | Empirical | `accords_britannica` — Britannica: Abraham Accords — UAE, Bahrain, Morocco bilateral agreements 2020 |
| B6 | Empirical | `accords_wiki_sudan` — Wikipedia (Abraham Accords): Sudan signed Declaration January 6, 2021 |
| A1 | Computed | SC1 — Egypt treaty confirming-source count |
| A2 | Computed | SC2 — Jordan treaty confirming-source count |
| A3 | Computed | SC3 — Abraham Accords state count by 2023 |

*Source: proof.py JSON summary*

---

## Full Evidence Table

### Type A (Computed) Facts

| ID | Fact | Method | Result |
|----|------|--------|--------|
| A1 | SC1 — Egypt treaty confirming-source count | `sum([egypt_confirm_b1, egypt_confirm_b2]) = 2` | 2 |
| A2 | SC2 — Jordan treaty confirming-source count | `sum([jordan_confirm_b3, jordan_confirm_b4]) = 2` | 2 |
| A3 | SC3 — Abraham Accords state count by 2023 | `sum([uae, bahrain, morocco, sudan confirmations]) = 4` | 4 |

*Source: proof.py JSON summary*

### Type B (Empirical) Facts

| ID | Fact | Source | URL | Quote | Status | Method | Credibility |
|----|------|--------|-----|-------|--------|--------|-------------|
| B1 | Egypt treaty 1979 | Wikipedia: Egypt–Israel peace treaty | https://en.wikipedia.org/wiki/Egypt%E2%80%93Israel_peace_treaty | "The Egypt–Israel peace treaty was signed in Washington, D.C., United States, on 26 March 1979, following the 1978 Camp David Accords." | Verified | fragment (81%) | Tier 3 (reference) |
| B2 | Egypt treaty 1979 (cross-check) | U.S. Department of State, Office of the Historian | https://history.state.gov/milestones/1977-1980/camp-david | "the Egyptian-Israeli Peace Treaty was formally signed on March 26." | Verified | full_quote | Tier 5 (government) |
| B3 | Jordan treaty 1994 | Wikipedia: Israel–Jordan peace treaty | https://en.wikipedia.org/wiki/Israel%E2%80%93Jordan_peace_treaty | "The signing ceremony took place at the southern border crossing of Arabah on 26 October 1994. Jordan was the second Arab country, after Egypt, to sign a peace accord with Israel." | Verified | full_quote | Tier 3 (reference) |
| B4 | Jordan 1994 cross-reference | Wikipedia: Abraham Accords | https://en.wikipedia.org/wiki/Abraham_Accords | "The UAE and Bahrain became the first Arab countries to formally recognize Israel since Jordan in 1994." | Verified | full_quote | Tier 3 (reference) |
| B5 | Abraham Accords UAE/Bahrain/Morocco | Encyclopaedia Britannica: Abraham Accords | https://www.britannica.com/topic/Abraham-Accords | "The accords, all of which were signed in the latter half of 2020, consist of a general declaration alongside individual bilateral agreements between Israel and each of the following countries: United Arab Emirates, Bahrain, Morocco." | Verified | fragment (80%) | Tier 3 (reference) |
| B6 | Sudan joins Abraham Accords | Wikipedia: Abraham Accords (Sudan signing) | https://en.wikipedia.org/wiki/Abraham_Accords | 'On January 6, 2021, the government of Sudan signed the "Abraham Accords Declaration" in Khartoum.' | Verified | full_quote | Tier 3 (reference) |

*Source: proof.py JSON summary*

---

## Citation Verification Details

**B1 — Wikipedia: Egypt–Israel peace treaty**
- Status: **verified**
- Method: fragment (81% coverage)
- Fetch mode: live
- Impact: N/A (fully verified)

**B2 — U.S. Department of State, Office of the Historian**
- Status: **verified**
- Method: full_quote
- Fetch mode: live
- Impact: N/A (fully verified)

**B3 — Wikipedia: Israel–Jordan peace treaty**
- Status: **verified**
- Method: full_quote
- Fetch mode: live
- Impact: N/A (fully verified)

**B4 — Wikipedia: Abraham Accords (Jordan 1994 cross-reference)**
- Status: **verified**
- Method: full_quote
- Fetch mode: live
- Impact: N/A (fully verified)

**B5 — Encyclopaedia Britannica: Abraham Accords**
- Status: **verified**
- Method: fragment (80% coverage)
- Fetch mode: live
- Impact: N/A (fully verified)

**B6 — Wikipedia: Abraham Accords (Sudan signing)**
- Status: **verified**
- Method: full_quote
- Fetch mode: live
- Impact: N/A (fully verified)

*Source: proof.py JSON summary*

---

## Computation Traces

```
[✓] B1: extracted 1979 from quote
[✓] B2: extracted March 26 from quote
SC1 Egypt confirmations: 2/2

[✓] B3: extracted 1994 from quote
[✓] B4: extracted Jordan in 1994 from quote
SC2 Jordan confirmations: 2/2

[✓] B5_uae: extracted United Arab Emirates from quote
[✓] B5_bah: extracted Bahrain from quote
[✓] B5_mor: extracted Morocco from quote
[✓] B6_sud: extracted Abraham Accords Declaration from quote
SC3 Abraham Accords states confirmed: 4/4

  compare: 2 >= 1 = True   [SC1 holds]
  compare: 2 >= 1 = True   [SC2 holds]
  compare: 4 >= 4 = True   [SC3 holds]
SC1 (Egypt 1979) holds: True
SC2 (Jordan 1994) holds: True
SC3 (≥4 Abraham Accords states by 2023) holds: True
  compare: 3 == 3 = True   [claim_holds — all 3/3 sub-claims proved]
```

Note: This is a qualitative source-counting proof. No numeric computations (ages, durations) are performed, so there are no `explain_calc()` traces. All verification is through `verify_extraction()` keyword checks and `compare()` evaluations, shown above.

*Source: proof.py inline output (execution trace)*

---

## Independent Source Agreement (Rule 6)

| Cross-check | Sources | Values compared | Agreement |
|-------------|---------|-----------------|-----------|
| SC1 Egypt 1979 | B1 (Wikipedia) vs B2 (US State Dept) — independent organizations, independent pages | B1: "signed … on 26 March 1979" / B2: "Peace Treaty was formally signed on March 26" | True |
| SC2 Jordan 1994 | B3 (Wikipedia Israel–Jordan treaty) vs B4 (Wikipedia Abraham Accords) — different Wikipedia articles | B3: "signed … on 26 October 1994" / B4: "formally recognize Israel since Jordan in 1994" | True |
| SC3 Abraham Accords states | B5 (Britannica, three bilateral states) vs B6 (Wikipedia, Sudan Declaration) — Britannica vs Wikipedia | B5: UAE=True, Bahrain=True, Morocco=True / B6: Sudan Declaration=True | True (4/4) |

*Note on SC2 independence:* B3 and B4 are from different Wikipedia articles (Israel–Jordan peace treaty vs Abraham Accords), written independently. They do not share article text. For a well-documented historical event (Jordan peace treaty 1994), two independent encyclopedia articles constitute adequate cross-check evidence.

*Source: proof.py JSON summary*

---

## Adversarial Checks (Rule 5)

**Check 1:** Was the Egypt-Israel peace treaty revoked or suspended after Sadat's assassination in 1981?
- Searched: "Egypt Israel peace treaty revoked annulled suspended after Sadat assassination"
- Finding: Treaty remained in force under Mubarak and successors. Egypt recalled its ambassador temporarily (1982–1988, 2000–2005) but never annulled the treaty.
- Breaks proof: **No**

**Check 2:** Does "normalization" in the Abraham Accords constitute formal diplomatic recognition of Israel?
- Searched: "Abraham Accords normalization not recognition argument critics 2020"
- Finding: Critics dispute the political wisdom of the accords (bypassing Palestinian concerns), but no credible source disputes that the agreements establish full diplomatic relations. Wikipedia explicitly uses "formally recognize Israel" for UAE and Bahrain.
- Breaks proof: **No**

**Check 3:** Should Sudan be excluded because its bilateral agreement remains unratified?
- Reviewed: Britannica (Sudan signed only the Declaration) and Wikipedia (Sudan signed Declaration January 6, 2021)
- Finding: Sudan signed the Abraham Accords Declaration, constituting "joining" under the proof's definition. Even excluding Sudan, five Arab states remain (Egypt, Jordan, UAE, Bahrain, Morocco), still decisively disproving the "no Arab state" assertion.
- Breaks proof: **No**

*Source: proof.py JSON summary*

---

## Source Credibility Assessment

| Fact ID | Domain | Type | Tier | Note |
|---------|--------|------|------|------|
| B1 | wikipedia.org | reference | 3 | Established reference source |
| B2 | state.gov | government | 5 | U.S. Government domain (.gov) |
| B3 | wikipedia.org | reference | 3 | Established reference source |
| B4 | wikipedia.org | reference | 3 | Established reference source |
| B5 | britannica.com | reference | 3 | Established reference source |
| B6 | wikipedia.org | reference | 3 | Established reference source |

All sources are tier 3 (established reference) or higher. No low-credibility sources were used. The most authoritative source is B2 (US State Dept, tier 5), which fully verifies the Egypt peace treaty independently.

*Source: proof.py JSON summary*

---

## Extraction Records

| Fact ID | Extracted Value | Found in Quote | Quote Snippet |
|---------|-----------------|---------------|---------------|
| B1 | "1979" | True | "The Egypt–Israel peace treaty was signed in Washington, D.C., United States, on …" |
| B2 | "March 26" | True | "the Egyptian-Israeli Peace Treaty was formally signed on March 26." |
| B3 | "1994" | True | "The signing ceremony took place at the southern border crossing of Arabah on 26 …" |
| B4 | "Jordan in 1994" | True | "The UAE and Bahrain became the first Arab countries to formally recognize Israel …" |
| B5_uae | "United Arab Emirates" | True | "The accords, all of which were signed in the latter half of 2020, consist of a g…" |
| B5_bah | "Bahrain" | True | "The accords, all of which were signed in the latter half of 2020, consist of a g…" |
| B5_mor | "Morocco" | True | "The accords, all of which were signed in the latter half of 2020, consist of a g…" |
| B6_sud | "Abraham Accords Declaration" | True | "On January 6, 2021, the government of Sudan signed the "Abraham Accords Declarat…" |

**Extraction method:** All values were verified using `verify_extraction(keyword, quote, fact_id)` from `scripts/smart_extract.py`. This checks that the keyword string (after Unicode normalization) appears within the quote text. All eight extractions returned True.

*Source: proof.py JSON summary (value, value_in_quote, quote_snippet) + author analysis (method)*

---

## Hardening Checklist

- **Rule 1 — No hand-typed values:** ✅ All keywords ("1979", "March 26", "1994", "Jordan in 1994", "United Arab Emirates", "Bahrain", "Morocco", "Abraham Accords Declaration") verified via `verify_extraction()` against quote text.
- **Rule 2 — Citation URLs fetched:** ✅ All 6 citations fetched live and verified (B1 and B5 via fragment match, B2/B3/B4/B6 via full quote).
- **Rule 3 — System time anchored:** ✅ `date.today()` used; system date confirmed to match proof generation date (2026-03-27).
- **Rule 4 — Explicit claim interpretation:** ✅ `CLAIM_FORMAL` with compound sub-claims, operator_note explaining threshold choice for each SC.
- **Rule 5 — Adversarial checks:** ✅ Three independent adversarial searches performed (treaty revocation, normalization vs recognition, Sudan unratified status). None broke the proof.
- **Rule 6 — Independent cross-checks:** ✅ SC1 cross-checked across Wikipedia (B1) and US State Dept (B2); SC2 across two independent Wikipedia articles (B3, B4); SC3 across Britannica (B5) and Wikipedia (B6).
- **Rule 7 — No hard-coded constants/formulas:** ✅ All comparisons use `compare()` from `scripts/computations.py`. No inline boolean assignments or hand-coded thresholds.
- **validate_proof.py result:** ✅ PASS — 17/17 checks passed, 0 issues, 0 warnings.

*Source: author analysis*
