Text Generation
Transformers
Arabic
English
rootformer
nrmp
next-root-morph-prediction
classical-arabic
morphology
farahidi
sibawayh
ibn-malik
basran
andalusian-grammar
grammar-constrained-decoding
Instructions to use enver/rootformer-v20 with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- Transformers
How to use enver/rootformer-v20 with Transformers:
# Use a pipeline as a high-level helper from transformers import pipeline pipe = pipeline("text-generation", model="enver/rootformer-v20")# pip install -U transformers accelerate # Load model directly from transformers import AutoModel model = AutoModel.from_pretrained("enver/rootformer-v20", device_map="auto") - Notebooks
- Google Colab
- Kaggle
- Local Apps Settings
- vLLM
How to use enver/rootformer-v20 with vLLM:
Install from pip and serve model
# Install vLLM from pip: pip install vllm # Start the vLLM server: vllm serve "enver/rootformer-v20" # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:8000/v1/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "enver/rootformer-v20", "prompt": "Once upon a time,", "max_tokens": 512, "temperature": 0.5 }'Use Docker
docker model run hf.co/enver/rootformer-v20
- SGLang
How to use enver/rootformer-v20 with SGLang:
Install from pip and serve model
# Install SGLang from pip: pip install sglang # Start the SGLang server: python3 -m sglang.launch_server \ --model-path "enver/rootformer-v20" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "enver/rootformer-v20", "prompt": "Once upon a time,", "max_tokens": 512, "temperature": 0.5 }'Use Docker images
docker run --gpus all \ --shm-size 32g \ -p 30000:30000 \ -v ~/.cache/huggingface:/root/.cache/huggingface \ --env "HF_TOKEN=<secret>" \ --ipc=host \ lmsysorg/sglang:latest \ python3 -m sglang.launch_server \ --model-path "enver/rootformer-v20" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "enver/rootformer-v20", "prompt": "Once upon a time,", "max_tokens": 512, "temperature": 0.5 }' - Docker Model Runner
How to use enver/rootformer-v20 with Docker Model Runner:
docker model run hf.co/enver/rootformer-v20
Download basran_syntactic_engine.py from enver/rootformer-v20: direct link, hf CLI and curl.
- Browser
- Download file 37.9 kB
-
https://huggingface.co/enver/rootformer-v20/resolve/main/basran_syntactic_engine.py
- Command line
-
hf download hf://enver/rootformer-v20/basran_syntactic_engine.py
-
curl -L -o basran_syntactic_engine.py https://huggingface.co/enver/rootformer-v20/resolve/main/basran_syntactic_engine.py
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" | |