メニュー
Run or read current ArchSig measurement output, then translate summary, insight, viewer, manifest, compare, and gate artifacts into bounded source-level review language.
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
SOC 職業分類に基づく
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/iroha1203/AlgebraicArchitectureTheoryV2 --skill archsig-readerコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
SKILL.md を表示中
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.
| name | archsig-reader |
| description | Run or read current ArchSig measurement output, then translate summary, insight, viewer, manifest, compare, and gate artifacts into bounded source-level review language. |
Use this skill to read current archsig analyze output.
archsig analyze --archmap <archmap> --policy-bundle <bundle> --out-dir <run-dir> when a bundle is supplied. Otherwise run archsig analyze --archmap <archmap> --law-policy <policy> --measurement-profile <profile> --law-surface <law-surface> --out-dir <run-dir>.archsig-analysis-summary.json, archsig-insight-report.json, archsig-atom-viewer-data.json, archsig-run-manifest.json, and archsig-measurement-packet.json.archsig-comparison-report.json; inspect classTransport.derivedRefinement for the derived coarse-to-fine context relation and its named failure reason.archsig-gate-report.json.componentFingerprints in the packet and run manifest against the
supplied policy bundle when one was used.lawDependent conclusions from the holdsCriterion raw-value premise; read lawIndependent conclusions as separate outputs without turning them into law evidence.harmonicDebtNorm as an analytic measurement; read essentialRepairLowerBound only when the cost model is supplied.compare report.TWO_PROFILES_REPORTED_SEPARATELY as a comparison record; do not turn separate profiles into a shared class claim.