توافق الأهداف

Faber لغة واحدة لها عقود ترجمة متعددة. هذه الصفحة هي **مصفوفة قابلية الخفض المقاسة**: لكل مصطلح في corpus، ما الأهداف التي تستطيع خفضه، وبأي مستوى من الدعم.

توجد أفعال السياسة (الدعم / الإزالة / التحذير / الرفض / التأجيل) وتوجيه المسار في Codegen targets. أما هذه الصفحة فهي قائمة صفوف كبيرة قابلة للمسح — أهداف مسار التطبيقات HIR وأهداف مسار الأنظمة MIR جنبًا إلى جنب في الجدولين أدناه.

ملخص CLI المباشر: faber targets.

عرض: unknown بواسطة faber/scripta/render-matrices.py من بيانات قياس radix — لا تعدّل الملف. القياس: emit_hir_target_matrix + emit_mir_target_matrix (داخل العملية، من دون toolchains خارجية). الربط: مصطلحات corpus/index.toml → exempla.

هذه هي مصفوفة دعم grammar×target الرسمية والمولّدة. وهي تعرض قابلية الخفض — هل يستطيع الهدف X خفض إنتاج grammar Y — لكل مصطلح في corpus الأمثلة. أما دلالات وقت التشغيل (أفعال سياسة الإزالة/التحذير/التأجيل)، وعقود كل هدف، وتوجيه المسار، فتوجد في Codegen targets، الذي يربط بهذه الصفحة لعرض الصفوف.

مفتاح الرموز#

الرمز	المعنى
✓	مدعوم بالكامل — تُخفض كل exempla القابلة للتحليل للمصطلح
◐	جزئي — تُخفض بعض exempla، بينما تحتوي أخرى على فجوة مقاسة
○	مخطط — لم يُنفّذ الخفض بعد؛ تراكب منسّق (`scripta/ebnf-matrix-overrides.toml`)
✕	غير مدعوم — لا تُخفض أي exempla؛ الحقيقة الافتراضية هي أن الفجوة المقاسة حقيقية
—	غير مقاس — لا توجد exempla قابلة للتحليل لهذا المصطلح على هذا المسار

يعني ✓ أن exempla في corpus التي تستخدم هذا المصطلح تُخفض إلى الهدف. لكنه لا يضمن تطابق دلالات وقت التشغيل. فبعض الأهداف تزيل أو تحذّر بشأن تراكيب معينة (مثل أن Go يزيل أوضاع الاستعارة de/in/ex) — ومع ذلك تظهر هنا بالرمز ✓ لأنها تُخفض. راجع وثيقة السياسة لفهم هذا التفصيل.

ملخص corpus الكامل (كل المصطلحات المسجّلة)#

مسار التطبيقات (HIR → لغات المصدر الناتجة)

الهدف	قادر	قابل للتحليل	%
rust	284	286	99%
go	263	286	92%
ts	286	286	100%
faber	286	286	100%

مسار الأنظمة (MIR → مصنوعات الجهاز/IR)

الهدف	قادر	قابل للتحليل	%
llvm-text	280	286	98%
wasm-text	260	286	91%
wasm	260	286	91%
sexp-struct	226	286	79%
sexp	226	286	79%
scena	245	286	86%

الكلمات المفتاحية — مسار التطبيقات#

كلمة مفتاحية#

المصطلح	rust	go	ts	faber
`abstractus`	✓	✓	✓	✓
`ab`	✓	✓	✓	✓
`ad`	✓	✕	✓	✓
`adfirma`	✓	✓	✓	✓
`ante`	✓	✓	✓	✓
`atomic`	✕	✓	✓	✓
`argumenta`	✓	✓	✓	✓
`bivalens`	✓	✓	✓	✓
`cape`	✓	✓	✓	✓
`casu`	✓	✓	✓	✓
`cede`	✓	✓	✓	✓
`ceteri`	✓	✓	✓	✓
`ceterum`	✓	✓	✓	✓
`clausura`	✓	✓	✓	✓
`cli`	✓	✓	✓	✓
`copia`	✓	✓	✓	✓
`cura`	✓	✓	✓	✓
`curata`	✓	✓	✓	✓
`cursor`	✓	✓	✓	✓
`custodi`	✓	✓	✓	✓
`de`	✓	✓	✓	✓
`descriptio`	✓	✓	✓	✓
`discerne`	✓	✓	✓	✓
`discretio`	✓	✓	✓	✓
`dum`	✓	✓	✓	✓
`ego`	✓	✓	✓	✓
`elige`	✓	✓	✓	✓
`errata`	✓	✓	✓	✓
`est`	✓	✓	✓	✓
`ex`	✓	✓	✓	✓
`exitus`	✓	✓	✓	✓
`fac`	✓	✓	✓	✓
`falsum`	✓	✓	✓	✓
`fient`	✓	✓	✓	✓
`fiet`	✓	✓	✓	✓
`figendum`	✓	✓	✓	✓
`finge`	✓	✓	✓	✓
`fiunt`	✓	✓	✓	✓
`fixum`	✓	✓	✓	✓
`fragilis`	✓	✓	✓	✓
`fractus`	✓	✓	✓	✓
`functio`	✓	✓	✓	✓
`futura`	✓	✓	✓	✓
`futurum`	✓	✓	✓	✓
`generis`	✓	✓	✓	✓
`genus`	✓	✓	✓	✓
`iace`	✓	✓	✓	✓
`iacit`	✓	✓	✓	✓
`ignotum`	✓	✓	✓	✓
`immutata`	✓	✓	✓	✓
`implet`	✓	✓	✓	✓
`importa`	✓	✓	✓	✓
`in`	✓	✓	✓	✓
`incipiet`	✓	✓	✓	✓
`incipit`	✓	✓	✓	✓
`inter`	✓	✓	✓	✓
`intra`	✓	✓	✓	✓
`instans`	✓	✓	✓	✓
`itera`	✓	✓	✓	✓
`lege`	✓	✓	✓	✓
`lineam`	✓	✓	✓	✓
`lista`	✓	✓	✓	✓
`matrix`	✓	✕	✓	✓
`mone`	✓	✓	✓	✓
`mori`	✓	✓	✓	✓
`nexum`	✓	✓	✓	✓
`nihil`	✓	✓	✓	✓
`numquam`	✓	✓	✓	✓
`numerus`	✓	✓	✓	✓
`non`	✓	✓	✓	✓
`omitte`	✓	✓	✓	✓
`omnia`	✓	✓	✓	✓
`operandus`	✓	✓	✓	✓
`optio`	✓	✓	✓	✓
`optiones`	✓	✓	✓	✓
`ordo`	✓	✓	✓	✓
`octeti`	✓	✓	✓	✓
`implendum`	✓	✓	✓	✓
`per`	✓	✓	✓	✓
`perge`	✓	✓	✓	✓
`postpara`	✓	✓	✓	✓
`postparabit`	✓	✓	✓	✓
`prae`	✓	✓	✓	✓
`praefixum`	—	—	—	—
`praepara`	✓	✓	✓	✓
`praeparabit`	✓	✓	✓	✓
`promissum`	✓	✓	✓	✓
`privata`	✓	✓	✓	✓
`proba`	✓	✓	✓	✓
`probandum`	✓	✓	✓	✓
`protecta`	—	—	—	—
`publica`	✓	✓	✓	✓
`redde`	✓	✓	✓	✓
`reddet`	✓	✓	✓	✓
`repete`	✓	✓	✓	✓
`requirit`	✓	✓	✓	✓
`rumpe`	✓	✓	✓	✓
`scribe`	✓	✓	✓	✓
`scriptum`	✓	✓	✓	✓
`secus`	✓	✓	✓	✓
`si`	✓	✓	✓	✓
`sic`	✓	✓	✓	✓
`sin`	✓	✓	✓	✓
`sit`	✓	✓	✓	✓
`solum_in`	✓	✓	✓	✓
`solum`	✓	✓	✓	✓
`sparge`	✓	✓	✓	✓
`sponte`	✓	✓	✓	✓
`sub`	✓	✓	✓	✓
`tacet`	✓	✓	✓	✓
`tacebit`	✓	✓	✓	✓
`tabula`	✓	✓	✓	✓
`tag`	✓	✓	✓	✓
`temporis`	✓	✓	✓	✓
`tensor`	✓	✓	✓	✓
`textus`	✓	✓	✓	✓
`typus`	✓	✓	✓	✓
`ubique`	✓	✓	✓	✓
`usque`	✓	✓	✓	✓
`ut`	✓	✓	✓	✓
`varia`	✓	✓	✓	✓
`variandum`	✓	✓	✓	✓
`vector`	✓	◐	✓	✓
`vacuum`	✓	✓	✓	✓
`verum`	✓	✓	✓	✓
`vide`	✓	✓	✓	✓

العوامل — مسار التطبيقات#

مجموعة عوامل#

المصطلح	rust	go	ts	faber
`⊜`	✓	✓	✓	✓
`∧`	✓	✓	✓	✓
`·`	✓	◐	✓	✓
`×`	✓	○	✓	✓
`⊗`	✓	○	✓	✓
`⊙`	✓	◐	✓	✓
`→`	✓	✓	✓	✓
`⇥`	✓	✓	✓	✓
`←`	✓	✓	✓	✓
`↤`	✓	✓	✓	✓
`aut`	✓	✓	✓	✓
`![`	✓	✓	✓	✓
`!.`	✓	✓	✓	✓
`≠`	✓	✓	✓	✓
`!(`	✓	✓	✓	✓
`⊻`	✓	✓	✓	✓
`↦`	✓	✓	✓	✓
`⇒`	✓	✓	✓	✓
`‥`	✓	✓	✓	✓
`…`	✓	✓	✓	✓
`≡`	✓	✓	✓	✓
`=`	✓	✓	✓	✓
`et`	✓	✓	✓	✓
`≥`	✓	✓	✓	✓
`≤`	✓	✓	✓	✓
`⊖`	✓	✓	✓	✓
`modulus<u16>`	✓	✕	✓	✓
`modulus<u32>`	✓	✕	✓	✓
`modulus<u64>`	✓	✕	✓	✓
`modulus<u8>`	✓	✕	✓	✓
`non est`	✓	✓	✓	✓
`⊚`	✓	✓	✓	✓
`∨`	✓	✓	✓	✓
`∪`	✓	✓	✓	✓
`⊕`	✓	✓	✓	✓
`?[`	✓	✓	✓	✓
`?.`	✓	✓	✓	✓
`?(`	✓	✓	✓	✓
`§`	✓	✓	✓	✓
`⇐`	✓	✓	✓	✓
`⊘`	✓	✓	✓	✓
`⊛`	✓	✓	✓	✓
`¬`	✓	✓	✓	✓
`vel`	✓	✓	✓	✓
`∷`	✓	✓	✓	✓
`∴`	✓	✓	✓	✓
`ergo`	✓	✓	✓	✓

الكلمات المفتاحية — مسار الأنظمة#

كلمة مفتاحية#

المصطلح	llvm-text	wasm-text	wasm	sexp-struct	sexp	scena
`abstractus`	✓	✓	✓	✓	✓	✓
`ab`	✓	✓	✓	✓	✓	✓
`ad`	✓	✕	✕	✕	✕	✓
`adfirma`	✓	✓	✓	✓	✓	✓
`ante`	✓	✓	✓	✓	✓	✓
`atomic`	✕	✕	✕	✕	✕	✕
`argumenta`	✓	✓	✓	✓	✓	✓
`bivalens`	✓	✓	✓	✓	✓	✓
`cape`	✓	✓	✓	✓	✓	✓
`casu`	✓	✓	✓	✓	✓	✓
`cede`	✓	✓	✓	✕	✕	✓
`ceteri`	✓	✓	✓	✓	✓	✓
`ceterum`	✓	✓	✓	✓	✓	✓
`clausura`	✓	✓	✓	✓	✓	✓
`cli`	✓	✓	✓	✓	✓	✓
`copia`	✓	✓	✓	✕	✕	✓
`cura`	✓	✓	✓	✓	✓	✓
`curata`	✓	✓	✓	✓	✓	✕
`cursor`	✓	✓	✓	✕	✕	✓
`custodi`	✓	✓	✓	✓	✓	✓
`de`	✓	✓	✓	✓	✓	✓
`descriptio`	✓	✓	✓	✓	✓	✓
`discerne`	✓	✓	✓	✓	✓	✓
`discretio`	✓	✓	✓	✓	✓	✓
`dum`	✓	✓	✓	✓	✓	✓
`ego`	✓	✓	✓	✓	✓	✓
`elige`	✓	✓	✓	✓	✓	✓
`errata`	✓	✓	✓	✓	✓	✕
`est`	✓	✓	✓	✕	✕	✓
`ex`	✓	✓	✓	✓	✓	✓
`exitus`	✓	✓	✓	✓	✓	✓
`fac`	✓	✓	✓	✓	✓	✓
`falsum`	✓	✓	✓	✓	✓	✓
`fient`	✓	✓	✓	✓	✓	✓
`fiet`	✓	✓	✓	✓	✓	✓
`figendum`	✓	✓	✓	✓	✓	✓
`finge`	✓	✓	✓	✓	✓	✓
`fiunt`	✓	✓	✓	✓	✓	✓
`fixum`	✓	✓	✓	✓	✓	✓
`fragilis`	✓	✓	✓	✓	✓	✕
`fractus`	✓	✓	✓	◐	◐	✓
`functio`	✓	◐	◐	✓	✓	✓
`futura`	✓	✓	✓	✓	✓	✓
`futurum`	✓	✓	✓	✓	✓	✕
`generis`	✓	✓	✓	✓	✓	✓
`genus`	✓	✓	✓	◐	◐	✓
`iace`	✓	◐	◐	✓	✓	✓
`iacit`	✓	✓	✓	✓	✓	✓
`ignotum`	✓	✓	✓	✓	✓	✓
`immutata`	✓	✓	✓	✓	✓	✕
`implet`	✓	✓	✓	✓	✓	✓
`importa`	✓	◐	◐	◐	◐	◐
`in`	✓	✓	✓	✕	✕	✓
`incipiet`	✓	✓	✓	✓	✓	✓
`incipit`	✓	✓	✓	✓	✓	✓
`inter`	✓	✓	✓	✓	✓	✓
`intra`	✓	✓	✓	✓	✓	✓
`instans`	✓	✕	✕	✕	✕	✓
`itera`	✓	◐	◐	◐	◐	✓
`lege`	✓	✓	✓	✕	✕	✓
`lineam`	✓	✓	✓	✓	✓	✓
`lista`	✓	✓	✓	◐	◐	✓
`matrix`	✕	✕	✕	✓	✓	✕
`mone`	✓	✓	✓	✓	✓	✓
`mori`	✓	✓	✓	✕	✕	✓
`nexum`	✓	✓	✓	✓	✓	✓
`nihil`	✓	✓	✓	✓	✓	✓
`numquam`	✓	✓	✓	✕	✕	✕
`numerus`	✓	✓	✓	◐	◐	◐
`non`	✓	✓	✓	✓	✓	✓
`omitte`	✓	✓	✓	✓	✓	✕
`omnia`	✓	✓	✓	✓	✓	✓
`operandus`	✓	✓	✓	✓	✓	✓
`optio`	✓	✓	✓	✓	✓	✓
`optiones`	✓	✓	✓	✓	✓	✕
`ordo`	✓	✓	✓	✓	✓	✓
`octeti`	✓	✓	✓	✓	✓	✓
`implendum`	✓	✓	✓	✓	✓	✓
`per`	✓	✓	✓	✓	✓	✓
`perge`	✓	✓	✓	✓	✓	✓
`postpara`	✓	✓	✓	✓	✓	✕
`postparabit`	✓	✓	✓	✓	✓	✕
`prae`	✓	✓	✓	✓	✓	✕
`praefixum`	—	—	—	—	—	—
`praepara`	✓	✓	✓	✓	✓	✕
`praeparabit`	✓	✓	✓	✓	✓	✕
`promissum`	✓	✓	✓	✓	✓	✓
`privata`	✓	✓	✓	✓	✓	✓
`proba`	✓	✓	✓	✓	✓	✕
`probandum`	✓	✓	✓	✓	✓	✕
`protecta`	—	—	—	—	—	—
`publica`	✓	✓	✓	✓	✓	✓
`redde`	✓	✓	✓	✓	✓	◐
`reddet`	✓	✓	✓	✓	✓	✓
`repete`	✓	✓	✓	✓	✓	✕
`requirit`	✓	✕	✕	✓	✓	✓
`rumpe`	✓	✓	✓	✓	✓	✓
`scribe`	✓	✓	✓	✓	✓	✓
`scriptum`	✓	✓	✓	✓	✓	✓
`secus`	✓	✓	✓	✓	✓	✓
`si`	✓	✓	✓	✓	✓	✓
`sic`	✓	✓	✓	✓	✓	✓
`sin`	✓	✓	✓	✓	✓	✓
`sit`	✓	✓	✓	✓	✓	✓
`solum_in`	✓	✓	✓	✓	✓	✕
`solum`	✓	✓	✓	✓	✓	✕
`sparge`	✓	✓	✓	✓	✓	✓
`sponte`	✓	✓	✓	✓	✓	✕
`sub`	✓	✓	✓	✓	✓	✓
`tacet`	✓	✓	✓	✓	✓	✓
`tacebit`	✓	✓	✓	✓	✓	✓
`tabula`	✓	✓	✓	✕	✕	✓
`tag`	✓	✓	✓	✓	✓	✕
`temporis`	✓	✓	✓	✓	✓	✕
`tensor`	✓	✓	✓	◐	◐	◐
`textus`	✓	✓	✓	✕	✕	✓
`typus`	✓	✓	✓	✓	✓	✓
`ubique`	✓	✓	✓	✓	✓	✓
`usque`	✓	✓	✓	✓	✓	✓
`ut`	✓	✓	✓	✓	✓	✓
`varia`	✓	✓	✓	✓	✓	✓
`variandum`	✓	✓	✓	✓	✓	✓
`vector`	✓	◐	◐	◐	◐	✕
`vacuum`	✓	✓	✓	✓	✓	✓
`verum`	✓	✓	✓	✓	✓	✓
`vide`	✓	✓	✓	✓	✓	✓

العوامل — مسار الأنظمة#

مجموعة عوامل#

المصطلح	llvm-text	wasm-text	wasm	sexp-struct	sexp	scena
`⊜`	✓	✓	✓	✓	✓	✓
`∧`	✓	✓	✓	✓	✓	✓
`·`	◐	◐	◐	◐	◐	◐
`×`	✓	○	○	✓	✓	✓
`⊗`	○	○	○	✓	✓	✓
`⊙`	◐	◐	◐	○	○	◐
`→`	✓	✕	✕	✓	✓	✓
`⇥`	✓	✕	✕	✓	✓	✓
`←`	✓	✓	✓	✓	✓	✓
`↤`	✓	✓	✓	✕	✕	✓
`aut`	✓	✓	✓	✓	✓	✓
`![`	✓	✓	✓	✓	✓	✓
`!.`	✓	✓	✓	✓	✓	✓
`≠`	✓	✓	✓	✓	✓	✓
`!(`	✓	✓	✓	✓	✓	✓
`⊻`	✓	✓	✓	✓	✓	✓
`↦`	✓	◐	◐	✕	✕	✓
`⇒`	✓	✓	✓	✓	✓	✓
`‥`	✓	✓	✓	✓	✓	✓
`…`	✓	✓	✓	✓	✓	✓
`≡`	✓	✓	✓	✓	✓	✓
`=`	✓	✓	✓	✓	✓	✓
`et`	✓	✓	✓	✓	✓	✓
`≥`	✓	✓	✓	✓	✓	✓
`≤`	✓	✓	✓	✓	✓	✓
`⊖`	✓	✓	✓	✓	✓	✓
`modulus<u16>`	✓	✓	✓	✕	✕	✓
`modulus<u32>`	✓	✓	✓	◐	◐	✓
`modulus<u64>`	✓	✓	✓	◐	◐	✓
`modulus<u8>`	✓	✓	✓	✕	✕	✓
`non est`	✓	✓	✓	✓	✓	✓
`⊚`	✓	✓	✓	✓	✓	✓
`∨`	✓	✓	✓	✓	✓	✓
`∪`	✓	✓	✓	✓	✓	✓
`⊕`	✓	✓	✓	✓	✓	✓
`?[`	✓	✓	✓	✓	✓	✓
`?.`	✓	✓	✓	✓	✓	✓
`?(`	✓	✓	✓	✓	✓	✓
`§`	✓	✓	✓	✓	✓	✓
`⇐`	✓	✓	✓	✓	✓	✓
`⊘`	✓	✓	✓	✓	✓	✓
`⊛`	✓	✓	✓	✓	✓	✓
`¬`	✓	✓	✓	✓	✓	✓
`vel`	✓	✓	✓	✓	✓	✓
`∷`	✓	✓	✓	◐	◐	✓
`∴`	✓	✓	✓	✓	✓	✓
`ergo`	✓	✓	✓	✓	✓	✓

مصطلحات أخرى (`existing-home` / غير محدد)#

existing-home#

المصطلح	rust	go	ts	faber
`alias`	✓	✓	✓	✓
`arena`	✓	✓	✓	✓
`@`	✓	✓	✓	✓
`f16`	✕	✓	✓	✓
`imperia`	✓	✓	✓	✓
`imperium`	✓	✓	✓	✓
`manifest`	✓	✓	✓	✓
`metior`	✓	✓	✓	✓
`nondum`	✓	✓	✓	✓
`objectum`	✓	✓	✓	✓
`prima`	✓	✓	✓	✓
`string`	✓	✓	✓	✓
`block-string`	✓	✓	✓	✓
`summa`	✓	✓	✓	✓
`targets`	✓	✓	✓	✓
`ultima`	✓	✓	✓	✓
`versio`	✓	✓	✓	✓

توافق الأهداف

مفتاح الرموز#

ملخص corpus الكامل (كل المصطلحات المسجّلة)#

الكلمات المفتاحية — مسار التطبيقات#

كلمة مفتاحية#

العوامل — مسار التطبيقات#

مجموعة عوامل#

الكلمات المفتاحية — مسار الأنظمة#

كلمة مفتاحية#

العوامل — مسار الأنظمة#

مجموعة عوامل#

مصطلحات أخرى (existing-home / غير محدد)#

existing-home#

مصطلحات أخرى (`existing-home` / غير محدد)#