メニュー
Compare ArchSig base/head measurement runs, apply gate policy, read the changed code, and turn the result into bounded source-first review questions.
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/iroha1203/AlgebraicArchitectureTheoryV2 --skill archsig-pr-reviewerコマンドは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 | archsig-pr-reviewer |
| description | Compare ArchSig base/head measurement runs, apply gate policy, read the changed code, and turn the result into bounded source-first review questions. |
Use this skill when asked to run ArchSig-assisted PR review.
archsig-measurement-packet.json.archsig-measurement-packet.json.archsig-policy-bundle/v0.5.4 for both base and head runs when
the policy, law surface, and profile are intended to remain fixed.archsig analyze for the base and head contexts when run directories are not already supplied; use --policy-bundle when the bundle is supplied and confirm the three component fingerprints.archsig compare --base-run <base> --head-run <head> --out-dir <compare>; the command derives the selected coarse-to-fine relation from the two normalized ArchMap runs.archsig gate --packet <head>/archsig-measurement-packet.json --policy <policy> --comparison <compare>/archsig-comparison-report.json --out <gate-report>.Report:
For SAGA packets, review lawDependent and lawIndependent separately. A
class-zero finding must cite the derived normalized-ArchMap context relation;
the compare report records the named reason when that relation is unavailable.