メニュー
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コマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？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