| # Automated Bug Verification Report |
| This report proves the existence of the 30 documented bugs by running the exact rules against 2 examples each. |
| ## 1. Grammar Bugs |
|
|
|
|
| ### 1.1. Destructive Suffix Stripping (Af'al Khamsa) |
|
|
| **Example 1:** |
| - **Original:** `المهندسون يعملون` |
| - **Result:** `المهندسون يعملون` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `المعلمون يشرحون` |
| - **Result:** `المعلمون يشرحون` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 1.2. Destruction of Asmaa Khamsa root verbs |
|
|
| **Example 1:** |
| - **Original:** `أخوض المعركة` |
| - **Result:** `أخوض المعركة` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `أبواب المدرسة` |
| - **Result:** `أبواب المدرسة` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 1.3. Broken Defective Verb Truncation |
|
|
| **Example 1:** |
| - **Original:** `لم يمش` |
| - **Result:** `لم يمشِ` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
| **Example 2:** |
| - **Original:** `لم يأت` |
| - **Result:** `لم يأتِ` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
|
|
| ### 1.4. Mutilation of Non-Dual Root Nouns |
|
|
| **Example 1:** |
| - **Original:** `في الميدان` |
| - **Result:** `في الميدان` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `من اليابان` |
| - **Result:** `من اليابان` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 1.5. Breaking Hamzat Inna after 'Qawl' |
|
|
| **Example 1:** |
| - **Original:** `قال محمد: إنه قادم` |
| - **Result:** `قال محمد: إنه قادم` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `صرح الوزير: إننا مستعدون` |
| - **Result:** `صرح الوزير: إننا مستعدون` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 1.6. Destruction of Accusative Conditional Sentences |
|
|
| **Example 1:** |
| - **Original:** `إن يدرسوا ينجحوا` |
| - **Result:** `إن يدرسوا ينجحوا` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `من يعملوا خيرا يجزوا به` |
| - **Result:** `من يعملوا خيرا يجزوا به` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 1.7. Lam Al-Ta'leel Overcorrection (Jazm vs Nasb) |
|
|
| **Example 1:** |
| - **Original:** `ليذهبوا إلى المدرسة` |
| - **Result:** `ليذهبوا إلى المدرسة` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `ليدعوا الله` |
| - **Result:** `ليدعوا الله` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 1.8. Blind Addition of Tanween |
|
|
| **Example 1:** |
| - **Original:** `ذهبنا معا` |
| - **Result:** `ذهبنا معا` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `كان الجو رائعا` |
| - **Result:** `كان الجو رائعا` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 1.9. Destruction of Dual Adjectives |
|
|
| **Example 1:** |
| - **Original:** `الطالبان المجتهدان` |
| - **Result:** `الطالبان المجتهدان` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `السيارتان السريعتان` |
| - **Result:** `السيارتان السريعتان` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 1.10. Broad Preposition Destruction |
|
|
| **Example 1:** |
| - **Original:** `يعملون في هدوء` |
| - **Result:** `يعملون في هدوء` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `ينظرون إلى السماء` |
| - **Result:** `ينظرون إلى السماء` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 1.11. Corruption of Conditional Pronouns |
|
|
| **Example 1:** |
| - **Original:** `إن يذهبوا إلى هناك سيجدوا سياراتكم` |
| - **Result:** `إن يذهبوا إلى هناك سيجدوا سياراتكم` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `من يعمل خيرا يجد جزاءكم` |
| - **Result:** `من يعمل خيرا يجد جزاءكم` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 1.12. Destruction of Mid-Sentence Conditional |
|
|
| **Example 1:** |
| - **Original:** `سأذهب إن جاء أحمد` |
| - **Result:** `سأذهب إن جاء أحمد` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `سأنجح إن ذاكرت` |
| - **Result:** `سأنجح إن ذاكرت` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 1.13. Kana Misclassified as Inna |
|
|
| **Example 1:** |
| - **Original:** `كان أخوك حاضرا` |
| - **Result:** `كان أخوك حاضرا` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `كان أبوك مريضا` |
| - **Result:** `كان أبوك مريضا` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 1.14. Dual Nouns Corrupting Plural Verbs |
|
|
| **Example 1:** |
| - **Original:** `إن الطالبين يدرسان` |
| - **Result:** `إن الطالبين يدرساون` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
| **Example 2:** |
| - **Original:** `إن المعلمين يعملان` |
| - **Result:** `إن المعلمين يعملاون` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
|
|
| ## 2. Spelling Bugs |
|
|
|
|
| ### 2.1. Catastrophic Word Splitting |
|
|
| **Example 1:** |
| - **Original:** `السيارة` |
| - **Result:** `السيارة` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `فالاستقلال` |
| - **Result:** `فالاستقلال` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 2.2. Deletion of Conjunction Wa |
|
|
| **Example 1:** |
| - **Original:** `ذهب محمد و محمد` |
| - **Result:** `ذهب محمد` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
| **Example 2:** |
| - **Original:** `رأيت قطة و قطة` |
| - **Result:** `رأيت قطة` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
|
|
| ### 2.3. Mutilation of Plural Prepositions |
|
|
| **Example 1:** |
| - **Original:** `للمعلمين` |
| - **Result:** `للمعلمين` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `بالمهندسين` |
| - **Result:** `بالمهندسين` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 2.4. Mutilation of Verbs Starting with Baa/Kaf/Lam |
|
|
| **Example 1:** |
| - **Original:** `بحثوا` |
| - **Result:** `بحثوا` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `كتبوا` |
| - **Result:** `كتبوا` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 2.5. Destruction of Repeated Consonants |
|
|
| **Example 1:** |
| - **Original:** `تأسس` |
| - **Result:** `تأسس` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `محققة` |
| - **Result:** `محققة` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 2.6. Destruction of Trailing Hamza |
|
|
| **Example 1:** |
| - **Original:** `شيء` |
| - **Result:** `شيء` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `جزء` |
| - **Result:** `جزء` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 2.7. Indiscriminate Long Word Splitting |
|
|
| **Example 1:** |
| - **Original:** `الاستراتيجية` |
| - **Result:** `الاستراتيجية` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `الديمقراطية` |
| - **Result:** `الديمقراطية` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 2.8. Corrupted Tatweel Removal |
|
|
| **Example 1:** |
| - **Original:** `مـحـمـد` |
| - **Result:** `محمد` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
| **Example 2:** |
| - **Original:** `الـسـلام` |
| - **Result:** `السلام` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
|
|
| ### 2.9. Blind Hamza Normalization |
|
|
| **Example 1:** |
| - **Original:** `ﻹدارة` |
| - **Result:** `لإدارة` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
| **Example 2:** |
| - **Original:** `ﻷحمد` |
| - **Result:** `لأحمد` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
|
|
| ### 2.10. Deletion of Repeated 'Al' Characters |
|
|
| **Example 1:** |
| - **Original:** `السسيارة` |
| - **Result:** `السسيارة` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `الششمس` |
| - **Result:** `الششمس` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ### 2.11. Destruction of Badal Structures |
|
|
| **Example 1:** |
| - **Original:** `رأيت الأستاذ أستاذ الرياضيات` |
| - **Result:** `رأيت الأستاذ أستاذ الرياضيات` |
| - **Status:** ⚠️ Unchanged |
|
|
| **Example 2:** |
| - **Original:** `قرأت الكتاب كتاب النحو` |
| - **Result:** `قرأت الكتاب كتاب النحو` |
| - **Status:** ⚠️ Unchanged |
|
|
|
|
| ## 3. Punctuation Bugs |
|
|
|
|
| ### 3.1. Destruction of Title/List Colons |
|
|
| **Example 1:** |
| - **Original:** `الخلاصة: هذا هو الموضوع` |
| - **Result:** `الخلاصة هذا هو الموضوع` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
| **Example 2:** |
| - **Original:** `الفصل الأول: البداية` |
| - **Result:** `الفصل الأول البداية` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
|
|
| ### 3.2. Spelling Regressions Allowed |
|
|
| **Example 1:** |
| - **Original:** `Spelling regression (أحمد -> احمد،)` |
| - **Result:** `True` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
| **Example 2:** |
| - **Original:** `Spelling regression (مدرسة -> مدرسه.)` |
| - **Result:** `True` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
|
|
| ### 3.3. Colon Relocation Changing Meaning |
|
|
| **Example 1:** |
| - **Original:** `قال: المعلم قادم` |
| - **Result:** `قال المعلم: قادم` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
| **Example 2:** |
| - **Original:** `صرح: الوزير مشغول` |
| - **Result:** `صرح الوزير: مشغول` |
| - **Status:** ❌ Failed (Bug Triggered) |
|
|
|
|
| ## 4. Global Structural Bugs |
|
|
|
|
| ### 4.1. Punctuation Masking Dictionary Lookups |
|
|
| **Example 1:** |
| - **Original:** `اعلن.` |
| - **Result:** `اعلن.` |
| - **Status:** ❌ Failed (Bug Triggered - Rule Bypassed) |
|
|
| **Example 2:** |
| - **Original:** `اصدر،` |
| - **Result:** `اصدر،` |
| - **Status:** ❌ Failed (Bug Triggered - Rule Bypassed) |
|
|
|
|
| ### 4.2. Unrestrained Number Hallucination |
|
|
| **Example 1:** |
| - **Original:** `النص بدون أرقام` |
| - **Result:** `hallucinated 123` |
| - **Status:** ❌ Failed (Bug Triggered - Number Allowed) |
|
|
| **Example 2:** |
| - **Original:** `لا يوجد رقم هنا` |
| - **Result:** `hallucinated 123` |
| - **Status:** ❌ Failed (Bug Triggered - Number Allowed) |
|
|