القائمة
[0.5.6] bind a KB region to code only when its output is needed without lookup — reproduce with specialization
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
استنادا إلى تصنيف SOC المهني
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
يتجاوز الأمر المباشر Prompt المخصّص للمراجعة. افحص المصدر قبل تشغيله.
npx skills add https://github.com/sancovp/ee-v2 --skill 0-5-6-understand-recompilation-lawيبقى الأمر في سطر واحد. مرّر أفقيًا لمراجعته كاملًا قبل النسخ.
تفضّل نسخة محلية؟ نزّل الملفات المتاحة حاليًا لدى SkillsMP.
عرض SKILL.md
[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
| name | 0.5.6-understand-recompilation_law |
| description | [0.5.6] bind a KB region to code only when its output is needed without lookup — reproduce with specialization |
CALL NUMBER: law.recompilation_law
DEFINITION: bind a KB region to code only when its output is needed without lookup — reproduce with specialization
Invoke this skill to understand recompilation_law 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.
lawcollapse_principle
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.)