القائمة
[0.3.7] the least-fixed-point closure of everything X bundles from, walked to prims or to consumers, tagged by origin
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
يتجاوز الأمر المباشر Prompt المخصّص للمراجعة. افحص المصدر قبل تشغيله.
npx skills add https://github.com/sancovp/ee-v2 --skill 0-3-7-understand-relative-rootيبقى الأمر في سطر واحد. مرّر أفقيًا لمراجعته كاملًا قبل النسخ.
تفضّل نسخة محلية؟ نزّل الملفات المتاحة حاليًا لدى SkillsMP.
[0] the the grand argument (draft kernel v0) library — every skill a certified region of the KB; call number = home : facets
[0.1] the core subdomain of the grand argument (draft kernel v0) (117 concepts)
[0.1.3] The deployment strategy where the treasure sentence ships at depth 1 and every nightly post publicly instantia
استنادا إلى تصنيف SOC المهني
عرض SKILL.md
| name | 0.3.7-understand-relative_root |
| description | [0.3.7] the least-fixed-point closure of everything X bundles from, walked to prims or to consumers, tagged by origin |
CALL NUMBER: ee_v2_layer.relative_root
DEFINITION: the least-fixed-point closure of everything X bundles from, walked to prims or to consumers, tagged by origin lib
Invoke this skill to understand relative_root down to its primitives. The RELATIVE ROOT below is the least-fixed-point closure of everything it bundles from — the full import cone, grouped by the lib each prim comes from. Projected from a prover-typed KB (MAP/SWI-Prolog consistency gate): every reference below resolves.
connection_transport, curried_compiler, understand_skill
Projected from the the_toy_stack KB (57 concepts / 84 relations) — consistency-typed by MAP; the facet list after the colon IS the cross-lib dependency web.
(leaf — this is an actual skill.)
