أنواع المحتوى
TR
تم توليد هذه الصفحة من content/docs/content-types/ — يرتبط كل قسم أدناه بمصدره الخاص.
✎ Edit TR
إن folio-assistant مستقل عن المحتوى: فالمنصة لا تعرف شيئًا عن أي ورقة بحثية أو دليل إرشادي بعينه. ويتم دعم كل نوع من أنواع المحتوى عبر محول محتوى (شفرة برمجية تعرف كيفية التحقق من ذلك النوع وبنائه وعرضه) و حزمة مهارات (الصياغة الرسمية للتأليف — ما يقوم به المؤلف والنموذج اللغوي الكبير).
تصف هذه الصفحة الصياغة الرسمية لكل نوع محتوى. وقد تم فصلها عمدًا عن أي محتوى ملموس؛ حيث تعيش المخرجات الملموسة في مستودع المحتوى الخاص بها.
الأوراق والكتب العلمية
✎ Edit TR
حزمة المهارات: authoring-math ·
المحول: paper ·
الدليل الإرشادي: كتابة ورقة بحثية
الأوراق والكتب العلمية الدقيقة حيث يُدعم النثر والرياضيات بصياغة رسمية يتم التحقق منها آليًا عبر Lean 4 وتُصيَّر باستخدام LaTeX.
الورقة البحثية هي مستند بالإضافة إلى كتل تدعم Lean. ينطبق كل ما ورد في القسم أعلاه هنا: شجرة الكتل نفسها، ومخطط
uses[]التحريري نفسه، وملفات ضمان الجودة المرافقة (QA sidecars) نفسها، ودورة الحياة نفسها — ومسار تصيير Markdown، الذي يعمل أثناء الصياغة الأولية على جهاز لا يحتوي على TeX. يوسع محولpaperمحولdocumentبرمجياً لهذا السبب تحديدًا. وما تضيفه الورقة هو الأنواع السبعة الموضحة أدناه والتي يشكل توكيدها ادعاءً رسميًا، بالإضافة إلى سلسلتي الأدوات اللتين تتحققان منها وتنضدانها.
- نموذج المصدر — المحتوى عبارة عن شجرة من الكتل المصنفة (
definition، وtheorem، وlemma، وproof، وequation، وprose، …). راجع مرجع واجهة برمجة تطبيقات TypeScript للاطلاع علىBlockوChapterوPaper. - الصياغة الرسمية — تقود مهارتا
lean-formalizationوproof-verificationنظام Lean؛ حيث يمكن تتبع كل كتلة شبيهة بالمبرهنة مقابل نظيرتها في Lean، ويكون كل تعبيرsorryقابلاً للتدقيق. - التصيير — مهارة
latex-authoringبالإضافة إلى أداتيpaper_render_pdfوpaper_render_htmlالتابعتين لمحول الورقة.
الأنواع السبعة التي لا يحصل عليها الـ folio الخاص بالمستند، والأنواع الثمانية التي يشترك فيها:
| نوع الكتلة | بادئة التسمية | هل يدعم Lean؟ | ملف التعريف |
|---|---|---|---|
definition | def: | إلزامي | paper فقط |
theorem / lemma / proposition / corollary | thm: / lem: / … | متوقع | paper فقط |
conjecture | conj: | اختياري | paper فقط |
proof | prf: | اختياري | paper فقط |
example / remark | ex: / rem: | اختياري | مشترك |
algorithm / simulator | alg: / sim: | اختياري | مشترك |
prose / equation / diagram / table | prose: / eq: / fig: / tbl: | لا ينطبق | مشترك |
الصفوف الأربعة الخاصة بـ paper فقط هي MATH_BLOCK_KINDS في
schemas/block-kinds.ts؛
أما الصفوف المشتركة فهي DOCUMENT_BLOCK_KINDS، المشتقة كمتممة حتى لا
يبقى أي نوع يُضاف لاحقًا دون تصنيف.
يستحق اثنان من تلك الصفوف نظرة فاحصة. فالنوع definition هو النقطة الأوضح
في هذا التقسيم بأكمله — فهو النوع الوحيد الذي يكون حقل lean فيه إلزاميًا وليس
اختياريًا، ولذا لا يمكن لـ folio المستند أن يحتوي عليه حتى لو سمح ملف
التعريف بذلك. وما زالت الأنواع المشتركة تعلن عن حقل lean اختياري: فالنوع
البرمجي يسمح بما يحظره ملف التعريف، ولهذا السبب تحتوي أداة content_profile_check
على قاعدة ثانية تتجاوز مجرد السؤال “هل هذا النوع مسموح به”.
مخططات المهارات ذات الصلة:
latex-authoring،
lean-formalization،
proof-verification.
أنواع أخرى — توسيع folio-assistant
✎ Edit TR
أنواع المحتوى الجديدة مواطنون من الدرجة الأولى: أضف محول محتوى وحزمة مهارات، وستحصل على دورة الحياة، والتحكم في الوصول القائم على الأدوار (RBAC)، وتوصيلات خادم MCP تلقائيًا دون عناء. راجع إضافة نوع محتوى.