القائمة
Read FieldSig software-field-measurement and run manifest artifacts while preserving SFT claim boundaries.
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
يتجاوز الأمر المباشر Prompt المخصّص للمراجعة. افحص المصدر قبل تشغيله.
npx skills add https://github.com/iroha1203/AlgebraicArchitectureTheoryV2 --skill fieldsig-measurement-readerيبقى الأمر في سطر واحد. مرّر أفقيًا لمراجعته كاملًا قبل النسخ.
تفضّل نسخة محلية؟ نزّل الملفات المتاحة حاليًا لدى SkillsMP.
research/goals/GOAL-ID.mdのactiveなtarget-theorem GOALで、固定targetを弱めずproof obligationをLean theorem、premise discharge、finite witness、blockerとして消化し、標準PR監査と最終math-lean-reviewまで進める。"$target-theorem-loop goal-id"、"大定理証明ループ"で使う。探索型SCORE phaseにはresearch-loopを使う。
PR作成後のレビューゲートと大定理のcompletion candidateで、最終スナップショットのAATの数学本文・GOAL・一次仕様とLean実装を、仮定放電、certificate provenance、proof-use、依存、台帳まで4本の独立査読で判定する。"$math-lean-review"、review-prの最終ゲートで使う。
Create law-policy/v0.5.4 files for current ArchSig measurement runs.
استنادا إلى تصنيف SOC المهني
عرض SKILL.md
| name | fieldsig-measurement-reader |
| description | Read FieldSig software-field-measurement and run manifest artifacts while preserving SFT claim boundaries. |
Use FieldSig artifacts as workflow and software evolution measurement evidence. Treat ArchSig inputs as JSON artifact refs, not direct structural truth.
${FIELDSIG_BIN:-fieldsig} software-field-measurement --input .fieldsig/software-field-measurement.json --out .fieldsig/software-field-measurement-validation.json
${FIELDSIG_BIN:-fieldsig} fieldsig-run-manifest --input .fieldsig/fieldsig-run-manifest.json --out .fieldsig/fieldsig-run-manifest-validation.json