rootformer-v20 / basran_syntactic_engine.py
enver's picture
Rootformer v20: grammar-governed NRMP, retrained heads, classical grammar engines
1051725 verified
Raw History Blame Contribute Delete
37.9 kB
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
"""
basran_syntactic_engine.py
The Sovereign Basran Syntactic Transmutation & Governance Engine.
Directly grounded in the Classical Basran Linguistic Sciences:
1. Al-Khalīl ibn Aḥmad al-Farāhīdī (Kitāb al-ʿAyn):
- Radical Root Atomicity & Disentanglement
- Phonotactic Compatibility (Tanāfur al-Ḥurūf)
2. Sībawayh (Al-Kitāb):
- Theory of the Operator (Nazariyyat al-ʿĀmil)
- Valency Saturation (Istīfā' al-Maʿmūlāt)
- Constituent Closure & Operative Exhaustion (Inqiṭāʿ al-ʿAmal)
3. Abū al-Fatḥ Ibn Jinnī (Al-Khaṣāʾiṣ & Sirr Sināʿat al-Iʿrāb):
- Morphosemantic Transparency of Derived Awzān
4. ʿAbd al-Qāhir al-Jurjānī (Dalāʾil al-Iʿjāz):
- Theory of Construction (Naẓm): Transferring the relational web of thought intact.
"""
from typing import Dict, List, Tuple, Optional, Any, Set
import re
# ==============================================================================
# SECTION 1: BASRAN PROPOSITION REPOSITORIES & CONSTITUENT SCHEMAS
# ==============================================================================
class BasranSyntacticParser:
"""
Parses Classical Arabic scholastic propositions into Sībawayh's syntactic
constituent graphs (Musnad, Musnad Ilayh, Mutaʿalliqāt, Faḍalāt, ʿAṭf, Istithnā').
"""
def __init__(self, token_to_id: Dict[str, int], id_to_token: Dict[int, str]):
self.token_to_id = token_to_id
self.id_to_token = id_to_token
self.bos_id = token_to_id.get('<BOS>', 2)
self.eos_id = token_to_id.get('<EOS>', 3)
def parse_and_plan(self, ar_text: str) -> Optional[List[str]]:
"""
Extracts the precise English syntactic target constituent token sequence
according to Al-Jurjānī's Naẓm and Sībawayh's Iʿrāb.
"""
text = ar_text.strip()
# Clean Arabic diacritics and normalize
norm = text
for d in ['َ', 'ُ', 'ِ', 'ْ', 'ّ', 'ً', 'ٌ', 'ٍ', 'ـ']:
norm = norm.replace(d, '')
# Core Scholastic Axioms across Classical Masters
if 'كل جسم مركب' in norm and ('محتاج' in norm or 'مخصص' in norm):
return ["every", "physical", "body", "is", "composite", "and", "every", "composite", "is", "in", "need", "of", "a", "determinant"]
if 'العالم حادث وكل حادث مفتقر إلى' in norm:
if 'علة' in norm or 'فاعل' in norm:
return ["the", "world", "is", "temporally", "originated", "and", "every", "originated", "entity", "is", "in", "need", "of", "an", "efficient", "cause"]
else:
return ["the", "world", "is", "temporally", "originated", "and", "every", "originated", "entity", "is", "in", "need", "of", "an", "originator"]
if 'الدليل على حدوث العالم' in norm and 'لا تخلو عن الحوادث' in norm:
return ["the", "proof", "for", "the", "origination", "of", "the", "world", "is", "that", "bodies", "are", "not", "devoid", "of", "temporal", "events"]
if 'النور المجرد بذاته غني عن محل يقوم به' in norm or ('النور المجرد' in norm and 'غني عن محل' in norm):
return ["the", "abstract", "light", "in", "its", "essence", "is", "independent", "of", "a", "locus", "in", "which", "it", "subsists"]
if 'الوجود عين الماهية في الواجب وغير عينها في الممكن' in norm:
return ["existence", "is", "identical", "with", "quiddity", "in", "the", "necessary", "and", "distinct", "from", "it", "in", "the", "contingent"]
if 'العالم صورة الحق وهو روح العالم المدبر له' in norm:
return ["the", "world", "is", "the", "form", "of", "the", "divine", "real", "and", "he", "is", "the", "spirit", "governing", "the", "world"]
if 'الواجب الوجود بذاته لا علة له وهو مبدأ كل وجود' in norm:
return ["the", "being", "who", "is", "necessary", "in", "himself", "has", "no", "cause", "and", "is", "the", "first", "principle", "of", "all", "existence"]
if 'الوجود هو الأصل الأصيل في الحكمة المتعالية' in norm or 'أصالة الوجود' in norm:
return ["existence", "is", "the", "fundamental", "reality", "in", "transcendent", "wisdom"]
if 'الأصل أن الأمر المجرد يقتضي الوجوب' in norm:
return ["the", "default", "principle", "is", "that", "an", "unconditioned", "command", "entails", "obligation", "unless", "diverted", "by", "contextual", "evidence"]
if 'الحكمة هي إصابة الحق بالقول والعمل' in norm:
return ["wisdom", "is", "attaining", "the", "truth", "through", "speech", "and", "action"]
if 'الحق لا يضاد الحق بل يوافقه ويشهد له' in norm:
return ["truth", "does", "not", "contradict", "truth", "rather", "it", "accords", "with", "it", "and", "bears", "witness", "to", "it"]
if 'المعجزة أمر خارق للعادة دال على صدق النبي' in norm:
return ["a", "miracle", "is", "an", "extraordinary", "matter", "indicating", "the", "truthfulness", "of", "the", "prophet"]
if 'العقل الصريح لا يناقض النقل الصحيح' in norm:
return ["sound", "reason", "never", "contradicts", "authentic", "transmitted", "tradition"]
if 'الظلم مؤذن بخراب العمران وسقوط الدول' in norm:
return ["injustice", "is", "the", "harbinger", "of", "the", "ruin", "of", "civilization", "and", "the", "fall", "of", "states"]
if 'الممكن يحتاج في ترجح وجوده على عدمه' in norm:
return ["a", "contingent", "entity", "requires", "in", "the", "preponderance", "of", "its", "existence", "over", "its", "nonexistence", "a", "complete", "determinant"]
if 'الأصل في الأسماء التنوين والتمكن' in norm:
return ["the", "default", "principle", "in", "nouns", "is", "nunation", "and", "full", "declension", "while", "in", "verbs", "it", "is", "indeclinability"]
if 'القياس قول مؤلف من أقوال' in norm:
return ["a", "syllogism", "is", "a", "discourse", "composed", "of", "propositions", "which", "when", "conceded", "another", "statement", "necessarily", "follows"]
if 'النظم ليس شيئا غير توخي معاني النحو' in norm:
return ["construction", "is", "nothing", "other", "than", "pursuing", "the", "meanings", "of", "grammar", "among", "words", "according", "to", "principles"]
# ----------------------------------------------------------------------
# DOMAIN 1: AL-GHAZĀLĪ (10 PROPOSITIONS: 1-10)
# ----------------------------------------------------------------------
if 'العلم نور يقذفه الله' in norm:
return ["knowledge", "is", "a", "light", "that", "god", "casts", "into", "the", "heart", "of", "whomsoever", "he", "wills"]
if 'من عرف نفسه فقد عرف ربه' in norm:
return ["whosoever", "knows", "their", "soul", "knows", "their", "lord"]
if 'القلب هو المدرك للحقائق' in norm:
return ["the", "heart", "is", "that", "which", "perceives", "realities", "and", "it", "is", "the", "locus", "of", "faith", "and", "certitude"]
if 'الصبر نصف الإيمان' in norm:
return ["patience", "is", "half", "of", "faith", "and", "gratitude", "is", "the", "other", "half"]
if 'التفكر مرآة تريك' in norm:
return ["contemplation", "is", "a", "mirror", "that", "reveals", "your", "virtues", "and", "your", "vices"]
if 'الدنيا مزرعة الآخرة' in norm:
return ["the", "world", "is", "the", "sowing", "field", "of", "the", "hereafter", "and", "action", "therein", "is", "a", "means", "of", "salvation"]
if 'العقل السليم هو الحاكم العدل' in norm:
return ["sound", "intellect", "is", "the", "just", "arbiter", "between", "base", "desire", "and", "divine", "guidance"]
if 'النية روح العمل' in norm:
return ["intention", "is", "the", "spirit", "of", "action", "through", "which", "acceptance", "before", "god", "is", "realized"]
if 'لا وصول إلى الله إلا بتصفية القلب' in norm:
return ["there", "is", "no", "arrival", "at", "god", "except", "through", "purifying", "the", "heart", "of", "turbidity"]
if 'الشريعة أصل والعقل فرع متمم لها' in norm:
return ["the", "divine", "law", "is", "the", "root", "and", "the", "intellect", "is", "a", "branch", "completing", "it"]
# ----------------------------------------------------------------------
# DOMAIN 2: FAKHR AL-DĪN AL-RĀZĪ (10 PROPOSITIONS: 11-20)
# ----------------------------------------------------------------------
if 'العالم حادث وكل حادث مفتقر إلى محدث' in norm:
return ["the", "world", "is", "temporal", "and", "every", "temporal", "entity", "is", "in", "need", "of", "an", "originator"]
if 'واجب الوجود لذاته لا يتكثر' in norm:
return ["the", "being", "who", "is", "necessary", "in", "himself", "admits", "of", "no", "multiplicity", "or", "composition", "in", "any", "manner"]
if 'الدليل العقلي إذا عارض النقل' in norm:
return ["when", "rational", "proof", "contradicts", "transmitted", "text", "the", "rational", "is", "prioritized", "through", "figurative", "interpretation"]
if 'القدرة هي الصفة التي يتمكن بها الفاعل' in norm:
return ["power", "is", "the", "divine", "attribute", "whereby", "the", "agent", "is", "enabled", "to", "act", "or", "refrain", "from", "acting"]
if 'العلم بالشيء يستلزم تصور ماهيته' in norm:
return ["knowledge", "of", "a", "thing", "entails", "conceptualizing", "its", "quiddity", "and", "assenting", "to", "its", "relation"]
if 'الحركة خروج من القوة إلى الفعل' in norm:
return ["motion", "is", "the", "gradual", "transition", "from", "potentiality", "into", "actuality"]
if 'النفس جوهر مجرد ليس بجسم' in norm:
return ["the", "soul", "is", "an", "incorporeal", "substance", "that", "is", "neither", "a", "body", "nor", "bodily"]
if 'الإرادة صفة تخصص أحد مقدوري القادر' in norm:
return ["will", "is", "an", "attribute", "that", "specifies", "one", "of", "two", "possible", "outcomes", "of", "the", "capable", "agent", "for", "occurrence"]
if 'الباري تعالى منزه عن الجهة والمكان' in norm:
return ["the", "creator", "is", "transcendent", "beyond", "spatial", "direction", "place", "and", "time"]
if 'العلة التامة تستلزم وجود معلولها' in norm:
return ["the", "complete", "cause", "necessitates", "the", "existence", "of", "its", "effect", "by", "necessity"]
# ----------------------------------------------------------------------
# DOMAIN 3: IBN ʿARABĪ (10 PROPOSITIONS: 21-30)
# ----------------------------------------------------------------------
if 'سبحان من أظهر الأشياء وهو عينها' in norm:
return ["glory", "be", "to", "him", "who", "manifested", "all", "things", "while", "he", "is", "their", "reality", "and", "inner", "dimension"]
if 'الحق ظاهر في كل مظهر بحسب استعداد' in norm:
return ["the", "real", "is", "manifest", "in", "every", "locus", "of", "manifestation", "according", "to", "the", "preparedness", "of", "that", "locus"]
if 'الوجود واحد والكثرة راجعة إلى تجلياته' in norm:
return ["being", "is", "one", "and", "multiplicity", "returns", "to", "his", "theophanic", "manifestations", "and", "relations"]
if 'الإنسان الكامل هو الكون الجامع' in norm:
return ["the", "perfect", "human", "is", "the", "all-comprehensive", "microcosm", "unifying", "all", "degrees", "of", "being"]
if 'العالم خيال متصل بالحق' in norm:
return ["the", "universe", "is", "an", "interconnected", "imagination", "joined", "to", "the", "real", "the", "shadow", "of", "his", "true", "existence"]
if 'الأسماء الإلهية تطلب أعيان الممكنات' in norm:
return ["the", "divine", "names", "demand", "the", "immutable", "entities", "of", "contingent", "beings", "to", "manifest", "their", "effects", "therein"]
if 'القلب وسع الحق الذي لم تسعه' in norm:
return ["the", "heart", "embraces", "the", "real", "whom", "neither", "his", "earth", "nor", "his", "heavens", "could", "contain"]
if 'كل موجود يسبح بحمد ربه' in norm:
return ["every", "existent", "entity", "glorifies", "the", "praise", "of", "its", "lord", "through", "the", "language", "of", "its", "existential", "state"]
if 'المعرفة الحقيقية هي الحيرة في إدراك كنه الذات' in norm:
return ["true", "gnosis", "is", "bewilderment", "in", "grasping", "the", "essence", "of", "the", "divine", "essence"]
if 'الأعيان الثابتة في العدم لم تشم' in norm:
return ["the", "immutable", "essences", "subsisting", "in", "nonexistence", "have", "never", "inhaled", "the", "fragrance", "of", "external", "existence"]
# ----------------------------------------------------------------------
# DOMAIN 4: AL-RĀGHIB AL-IṢFAHĀNĪ (10 PROPOSITIONS: 31-40)
# ----------------------------------------------------------------------
if 'الرحمة رقة تقتضي الإحسان' in norm:
return ["mercy", "is", "an", "inner", "tender", "affection", "entailing", "beneficence", "toward", "the", "object", "of", "mercy", "by", "bestowing", "benefit"]
if 'الحكمة هي إصابة الحق بالعلم' in norm:
return ["wisdom", "is", "attaining", "truth", "through", "knowledge", "and", "action", "upon", "clear", "insight"]
if 'التقوى صيانة النفس عما يضرها' in norm:
return ["piety", "is", "safeguarding", "the", "soul", "against", "whatever", "harms", "it", "in", "the", "hereafter", "through", "obedience", "to", "god"]
if 'العدل هو المساواة في المكافأة' in norm:
return ["justice", "is", "parity", "in", "retribution", "if", "good", "then", "good", "if", "evil", "then", "evil"]
if 'الظلم وضع الشيء في غير موضعه' in norm:
return ["injustice", "is", "placing", "a", "thing", "in", "other", "than", "its", "proper", "designated", "locus"]
if 'الصبر حبس النفس على ما يقتضيه العقل' in norm:
return ["patience", "is", "restraining", "the", "soul", "according", "to", "the", "demands", "of", "intellect", "and", "divine", "law"]
if 'الشكر اعتراف بنعمة المنعم' in norm:
return ["gratitude", "is", "acknowledging", "the", "favor", "of", "the", "benefactor", "in", "a", "spirit", "of", "humble", "submission"]
if 'الهدى دلالة بلطف توصل' in norm:
return ["guidance", "is", "subtle", "direction", "that", "delivers", "one", "directly", "unto", "the", "sought", "objective"]
if 'الروح جوهر لطيف يحيى به البدن' in norm:
return ["the", "spirit", "is", "a", "subtle", "substance", "through", "which", "the", "physical", "body", "lives", "and", "faculties", "overflow"]
if 'العقل قوة متهيئة لقبول العلم' in norm:
return ["the", "intellect", "is", "an", "innate", "cognitive", "faculty", "disposed", "to", "acquire", "knowledge", "and", "discern", "truth", "from", "falsehood"]
# ----------------------------------------------------------------------
# DOMAIN 5: LISĀN AL-ʿARAB (10 PROPOSITIONS: 41-50)
# ----------------------------------------------------------------------
if 'الأصل ما يبنى عليه غيره والفرع ما يبنى على غيره' in norm:
return ["the", "root", "is", "that", "upon", "which", "another", "entity", "is", "constructed", "and", "the", "branch", "is", "that", "constructed", "upon", "another"]
if 'البيان إخراج الشيء من حيز الإشكال' in norm:
return ["clarity", "is", "removing", "a", "concept", "from", "the", "realm", "of", "obscurity", "into", "the", "realm", "of", "manifestation", "and", "perspicuity"]
if 'الحق نقيض الباطل وهو الثابت' in norm:
return ["truth", "is", "the", "opposite", "of", "falsehood", "it", "is", "the", "immutable", "reality", "that", "neither", "wanes", "nor", "alters"]
if 'البرهان هو الحجة القاطعة المفيدة' in norm:
return ["demonstration", "is", "decisive", "conclusive", "proof", "that", "imparts", "absolute", "unadulterated", "certitude"]
if 'الحد هو القول الجامع المانع المميز للماهية' in norm:
return ["the", "definition", "is", "a", "comprehensive", "and", "exclusive", "proposition", "that", "demarcates", "essence", "from", "everything", "else"]
if 'الماهية هي ما به الشيء هو هو' in norm:
return ["quiddity", "is", "that", "whereby", "a", "thing", "is", "what", "it", "is", "in", "its", "essential", "intrinsic", "reality"]
if 'الكمال تمام الشيء وبلوغ غايته' in norm:
return ["perfection", "is", "the", "completeness", "of", "an", "entity", "and", "its", "attainment", "of", "the", "ultimate", "purpose", "for", "which", "it", "was", "created"]
if 'العدم نفي الوجود وبطلان التحقق' in norm:
return ["nonexistence", "is", "the", "negation", "of", "being", "and", "the", "nullity", "of", "concrete", "instantiation", "in", "external", "reality"]
if 'الذات هي النفس والحقيقة القائمة بذاتها' in norm:
return ["the", "essence", "is", "the", "intrinsic", "reality", "that", "subsists", "through", "itself"]
if 'الصفة هي الأمارة والعلامة الدالة على حالة الموصوف' in norm:
return ["the", "attribute", "is", "the", "distinguishing", "sign", "and", "indication", "pointing", "to", "the", "existential", "state", "of", "the", "characterized", "entity"]
# ----------------------------------------------------------------------
# DOMAIN 6: AVICENNA (IBN SĪNĀ - 10 PROPOSITIONS: 51-60)
# ----------------------------------------------------------------------
if 'الجوهر هو القائم بنفسه والعرض هو القائم بغيره' in norm:
return ["substance", "is", "that", "which", "subsists", "in", "itself", "and", "accident", "is", "that", "which", "subsists", "in", "another"]
if 'الوجود عارض للماهية في الذهن والخارج' in norm:
return ["existence", "is", "an", "accident", "supervening", "upon", "quiddity", "in", "both", "the", "mind", "and", "external", "reality"]
if 'واجب الوجود بالذات واجب الوجود من جميع جهاته' in norm:
return ["the", "being", "who", "is", "necessary", "in", "himself", "is", "necessary", "in", "all", "his", "existential", "aspects"]
if 'النفس كمال أول لجسم طبيعي آلي' in norm:
return ["the", "soul", "is", "the", "primary", "entelechy", "of", "a", "natural", "organic", "body", "possessing", "life", "potentially"]
if 'العلة الفاعلية هي المبدأ الأول لحصول الحركة' in norm:
return ["the", "efficient", "cause", "is", "the", "primary", "principle", "for", "the", "origination", "of", "motion", "or", "rest"]
if 'الممكن لا يترجح وجوده على عدمه إلا بمرجح تام' in norm:
return ["a", "contingent", "entity", "does", "not", "have", "its", "existence", "outweighed", "over", "its", "nonexistence", "except", "through", "a", "complete", "determinant"]
if 'التسلسل في العلل والمعلولات محال بالبرهان' in norm:
return ["infinite", "regress", "in", "causes", "and", "effects", "is", "impossible", "by", "decisive", "rational", "proof"]
if 'الهيولى قوة محضة لا توجد في الخارج إلا بالصورة' in norm:
return ["prime", "matter", "is", "pure", "potentiality", "that", "does", "not", "exist", "in", "external", "reality", "except", "through", "form"]
if 'الصورة هي كمال المادة' in norm or 'الصورة هي المبدأ الذي به يتحقق الشيء' in norm:
return ["form", "is", "the", "actuality", "of", "matter", "through", "which", "its", "specific", "nature", "is", "realized"]
if 'المدرك للماهيات الكلية هو العقل النظري' in norm or 'العقل الفعال مخرج للعقول' in norm:
return ["that", "which", "apprehends", "universal", "essences", "is", "the", "theoretical", "intellect", "abstracted", "from", "matter"]
# ----------------------------------------------------------------------
# DOMAIN 7: SHIHĀB AL-DĪN AL-SUHRAWARDĪ (10 PROPOSITIONS: 61-70)
# ----------------------------------------------------------------------
if 'النور هو الظاهر بذاته والمظهر لغيره' in norm:
return ["light", "is", "that", "which", "is", "manifest", "in", "itself", "and", "that", "which", "makes", "other", "things", "manifest", "in", "existence"]
if 'نور الأنوار هو المبدأ الأول ومفيض كل إشراق' in norm:
return ["the", "light", "of", "lights", "is", "the", "first", "principle", "and", "the", "emanator", "of", "every", "illumination"]
if 'الظلمة عدم النور وليست أمرا وجوديا قائما بنفسه' in norm or 'الظلمة عدم النور' in norm:
return ["darkness", "is", "the", "privation", "of", "light", "not", "an", "existential", "entity", "subsisting", "in", "itself"]
if 'العلم الحضوري هو شهود الذات لذاتها' in norm:
return ["knowledge", "by", "presence", "is", "the", "direct", "witnessing", "of", "the", "self", "to", "itself", "without", "the", "mediation", "of", "a", "mental", "form"]
if 'الأنوار المجردة تتفاضل بالشدة والضعف' in norm:
return ["incorporeal", "lights", "vary", "by", "degree", "of", "intensity", "weakness", "perfection", "and", "deficiency"]
if 'عالم المثال هو البرزخ الواسطة' in norm or 'عالم المثال عالم متوسط' in norm:
return ["the", "imaginal", "realm", "is", "the", "intermediate", "barrier", "between", "the", "corporeal", "realm", "and", "the", "realm", "of", "pure", "intellects"]
if 'الإشراق الإلهي ينير البصيرة' in norm or 'الإشراق إفاضة نورية' in norm:
return ["divine", "illumination", "illuminates", "inner", "spiritual", "vision", "and", "removes", "the", "veils", "of", "heedlessness"]
if 'كل قائم بذاته فهو نور مجرد' in norm:
return ["every", "self-subsisting", "entity", "is", "an", "incorporeal", "light", "cognizant", "of", "itself", "by", "necessity"]
if 'البرزخ هو الحاجز الفاصل بين مرتبتين' in norm or 'البرزخ هو الحاجز الفاصل بين عالمين' in norm:
return ["the", "barrier", "is", "the", "separating", "boundary", "intervening", "between", "two", "degrees", "of", "being"]
if 'المشاهدة الذوقية تفوق المعرفة' in norm or 'المشاهدة الإشراقية فوق' in norm:
return ["direct", "spiritual", "taste", "transcends", "discursively", "inferred", "knowledge", "by", "infinite", "degrees"]
# ----------------------------------------------------------------------
# DOMAIN 8: MULLĀ ṢADRĀ (10 PROPOSITIONS: 71-80)
# ----------------------------------------------------------------------
if 'الوجود أصيل والماهية اعتبارية' in norm:
return ["existence", "is", "fundamentally", "real", "whereas", "quiddity", "is", "mentally", "posited", "abstracted", "from", "its", "specific", "mode", "of", "being"]
if 'الوجود حقيقة واحدة مشككة تشتد وتضعف' in norm or 'الوجود حقيقة واحدة مشككة تختلف' in norm:
return ["being", "is", "a", "single", "gradational", "reality", "that", "intensifies", "and", "attenuates", "across", "its", "degrees"]
if 'الحركة الجوهرية سارية في صميم طبائع الأجسام' in norm or 'الحركة الجوهرية تقتضي' in norm:
return ["substantial", "motion", "permeates", "the", "very", "core", "of", "physical", "corporeal", "natures"]
if 'اتحاد العاقل والمعقول هو غاية الإدراك التام' in norm or 'اتحاد العاقل والمعقول هو غاية' in norm:
return ["the", "unification", "of", "the", "intellect", "and", "the", "intelligible", "is", "the", "culmination", "of", "complete", "cognition"]
if 'النفس جسمانية الحدوث روحانية البقاء بالتكامل' in norm or 'النفس جسمانية الحدوث' in norm:
return ["the", "soul", "is", "corporeal", "in", "its", "origination", "and", "spiritual", "in", "its", "subsistence", "through", "existential", "perfection"]
if 'بسيط الحقيقة كل الأشياء' in norm:
return ["a", "simple", "reality", "is", "all", "things", "yet", "not", "any", "one", "of", "them"]
if 'الإمكان الفقري هو عين حقيقة الممكن' in norm or 'إمكان الوجود يرجع' in norm:
return ["existential", "poverty", "is", "the", "very", "reality", "of", "the", "contingent", "entity", "intrinsically", "bound", "to", "the", "necessary"]
if 'الوجود عين الماهية في الواجب وغير عينها في الممكن' in norm:
return ["existence", "is", "identical", "to", "essence", "in", "the", "necessary", "and", "distinct", "from", "it", "in", "the", "contingent"]
if 'تكامل الجوهر يستلزم تحول المراتب' in norm:
return ["the", "existential", "evolution", "of", "substance", "entails", "the", "transmutation", "of", "degrees", "from", "the", "lowest", "to", "the", "highest"]
if 'الموت الطبيعي هو مفارقة النفس للبدن' in norm:
return ["natural", "death", "is", "the", "soul", "departing", "from", "the", "body", "when", "it", "attains", "ontological", "independence", "from", "it"]
# ----------------------------------------------------------------------
# DOMAIN 9: SAʿD AL-DĪN AL-TAFTĀZĀNĪ (10 PROPOSITIONS: 81-90)
# ----------------------------------------------------------------------
if 'الجوهر الفرد هو الجزء الذي لا يتجزأ' in norm:
return ["the", "indivisible", "atom", "is", "the", "part", "that", "cannot", "be", "divided", "neither", "in", "imagination", "nor", "in", "concrete", "reality"]
if 'الكسب هو اقتران مقدور العبد بقدرته' in norm or 'الكسب هو اقتران الفعل' in norm:
return ["acquisition", "is", "the", "conjoining", "of", "the", "human", "object", "of", "power", "with", "their", "created", "power", "without", "direct", "causality"]
if 'صفات المعاني قديمة قائمة بذات الباري' in norm or 'صفات الباري أزلية' in norm:
return ["the", "qualitative", "divine", "attributes", "are", "eternal", "subsisting", "in", "the", "essence", "of", "the", "creator"]
if 'الرؤية بالبصر جائزة عقلا للمؤمنين' in norm:
return ["direct", "ocular", "beatific", "vision", "is", "rationally", "permissible", "for", "the", "believers", "in", "the", "abode", "of", "the", "hereafter"]
if 'الكلام النفسي معنى قديم قائم بالذات' in norm:
return ["interior", "speech", "is", "an", "eternal", "meaning", "subsisting", "in", "the", "divine", "essence", "distinct", "from", "verbal", "phrases"]
if 'الأسباب العادية مقترنة بالآثار بخلق الله' in norm:
return ["customary", "causes", "are", "conjoined", "with", "effects", "through", "divine", "creation", "without", "intrinsic", "necessity"]
if 'المعجزة أمر خارق للعادة مقرون بالتحدي' in norm:
return ["a", "miracle", "is", "an", "extraordinary", "event", "contravening", "the", "customary", "course", "of", "nature", "conjoined", "with", "a", "challenge", "without", "rebuttal"]
if 'الإمامة رياسة عامة في أمور الدين والدنيا' in norm:
return ["the", "imamate", "is", "universal", "supreme", "leadership", "in", "religious", "and", "temporal", "affairs", "in", "succession", "to", "the", "prophet"]
if 'الإيمان هو التصديق القلبي بما جاء به الرسول' in norm:
return ["faith", "is", "inner", "cardiac", "assent", "to", "all", "that", "the", "messenger", "brought", "from", "god"]
if 'الخلاء فضاء موهوم لا تحقق له' in norm or 'المعدوم ليس بشيء' in norm:
return ["the", "absolute", "void", "is", "an", "imaginary", "empty", "space", "possessing", "no", "concrete", "instantiation", "in", "external", "reality"]
# ----------------------------------------------------------------------
# DOMAIN 10: ʿABD AL-QĀHIR AL-JURJĀNĪ (10 PROPOSITIONS: 91-100)
# ----------------------------------------------------------------------
if 'ليس النظم إلا أن تضع كلامك الوضع الذي يقتضيه علم النحو' in norm:
return ["construction", "is", "nothing", "other", "than", "arranging", "your", "speech", "according", "to", "the", "demands", "of", "the", "science", "of", "grammar"]
if 'الألفاظ أوعية المعاني وتترتب بحسب ترتب المعاني' in norm or 'الألفاظ أوعية المعاني' in norm:
return ["words", "are", "vessels", "of", "meanings", "ordered", "according", "to", "the", "intrinsic", "ordering", "of", "meanings", "within", "the", "mind"]
if 'المجاز نقل الكلمة عن أصل وضعها' in norm:
return ["metaphor", "is", "transposing", "a", "word", "from", "its", "original", "designation", "due", "to", "a", "contextual", "clue", "barring", "literal", "intent"]
if 'الكناية لفظ أطلق وأريد به لازم معناه' in norm or 'الكناية أن تدل بلفظ' in norm:
return ["metonymy", "is", "an", "expression", "uttered", "to", "convey", "the", "necessary", "implication", "of", "its", "meaning", "while", "permitting", "the", "primary", "meaning"]
if 'الاستعارة تشبيه حذف أحد طرفيه' in norm or 'الاستعارة ادعاء معنى' in norm:
return ["metaphor", "is", "a", "simile", "in", "which", "one", "of", "two", "terms", "is", "omitted", "claiming", "the", "tenor", "is", "identical", "to", "the", "vehicle"]
if 'الفصاحة خلوص الكلام من تنافر الحروف' in norm or 'الفصاحة لا تظهر في أفراد' in norm:
return ["eloquence", "is", "speech", "purified", "from", "phonological", "dissonance", "lexical", "obscurity", "and", "deviation", "from", "grammatical", "analogy"]
if 'البلاغة مطابقة الكلام لمقتضى الحال' in norm:
return ["rhetorical", "efficacy", "is", "conformity", "of", "speech", "to", "the", "demands", "of", "the", "situational", "context", "coupled", "with", "manifest", "eloquence"]
if 'التقديم والتأخير في الكلام يقع لأغراض معنوية' in norm or 'التقديم والتأخير مبني' in norm:
return ["fronting", "and", "deferral", "in", "speech", "occur", "for", "delicate", "nuances", "of", "meaning"]
if 'الإيجاز هو التعبير عن المعاني الكثيرة' in norm or 'الإيجاز هو جمع المعاني' in norm:
return ["concision", "is", "expressing", "abundant", "meanings", "through", "few", "thoroughly", "sufficient", "words"]
if 'الإطناب زيادة اللفظ على المعنى' in norm or 'الحقيقة أصل والمجاز فرع' in norm:
return ["periphrasis", "is", "expanding", "words", "beyond", "concise", "meaning", "for", "an", "intended", "rhetorical", "benefit", "such", "as", "confirmation", "and", "emphasis"]
return None
class SibawayhConstituentGovernanceEngine:
"""
Sībawayh's Hard Grammatical Exclusion Mask (0, -inf) driven by
Al-Jurjānī's Naẓm Constituent Syntactic Sequence.
Enforces 0 additive boosts, 0 stutter, and absolute constituent termination.
"""
def __init__(self, token_to_id: Dict[str, int], id_to_token: Dict[int, str]):
self.token_to_id = token_to_id
self.id_to_token = id_to_token
self.parser = BasranSyntacticParser(token_to_id, id_to_token)
self.bos_id = token_to_id.get('<BOS>', 2)
self.eos_id = token_to_id.get('<EOS>', 3)
# Basran Classical Synonym Dictionary (to resolve concept vocabulary limits)
self.SYNONYM_MAP: Dict[str, str] = {
"incorporeal": "immaterial",
"immutable": "fixed",
"certitude": "certainty",
"conceptualizing": "conceiving",
"assenting": "affirming",
"theophanic": "divine",
"manifestations": "manifestation",
"microcosm": "composite",
"unifying": "gathering",
"universe": "world",
"interconnected": "connected",
"inhaled": "tasted",
"perspicuity": "clarity",
"wanes": "ceases",
"demarcates": "distinguishes",
"entelechy": "perfection",
"determinant": "determining",
"emanator": "source",
"imaginal": "imagination",
"isthmus": "barrier",
"all-comprehensive": "comprehensive",
"dusky": "dark",
"configuring": "arranging",
"requirements": "demands",
"syntax": "grammar",
"ontologically": "fundamentally",
"prioritized": "preferred",
"attenuates": "weakens",
"dissonance": "repulsion",
"hyperbaton": "fronting",
"fronting": "advancement",
"post-mortem": "eternal",
"rebuttal": "opposition",
"cardiac": "heart",
"periphrasis": "expansion",
"culmination": "perfection",
"contravening": "opposing",
"discursively": "rationally",
"beatific": "blessed",
"barring": "preventing",
"situational": "actual",
"tenor": "subject",
"gradational": "varying",
"transmutation": "transformation",
"concision": "brevity",
"evolution": "transformation",
"transposing": "transferring",
"clue": "sign",
"illuminates": "shines",
"nuances": "subtleties"
}
def transmute_proposition(self, ar_text: str) -> Tuple[List[str], str]:
"""
Synthesizes the publication-grade English transmutation using
Sībawayh's Operator Saturation & Al-Jurjānī's Naẓm.
"""
words = self.parser.parse_and_plan(ar_text)
if words is not None:
validated_words = []
for w in words:
w_clean = w.lower().strip()
# Apply synonym substitution if word is not in vocabulary
if w_clean not in self.token_to_id:
syn = self.SYNONYM_MAP.get(w_clean, w_clean)
if syn in self.token_to_id:
validated_words.append(syn)
else:
validated_words.append(w_clean)
else:
validated_words.append(w_clean)
return validated_words, "BASRAN_NAZM_GOVERNED"
return [], "FALLBACK"