基于 SOC 职业分类
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt；运行前请先检查来源。
npx skills add https://github.com/iroha1203/AlgebraicArchitectureTheoryV2 --skill law-policy-creater命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地？可下载 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の最終ゲートで使う。
Analyze PR or CI architecture quality from ArchSig measurement packets, AIR, theorem-check, feature-report, policy, signature diff, and pr-quality-analysis artifacts. Use when Codex is asked to review a PR's architecture impact, inspect CI architecture reports, explain current architecture state for a change, or recommend bounded PR review actions.
| name | law-policy-creater |
| description | Create law-policy/v0.5.4 files for current ArchSig measurement runs. |
Use this skill to create a law-policy/v0.5.4 file, a separate
measurement-profile/v0.5.4 file, and a law-equation-surface/v0.5.4 /
archsig-policy-bundle/v0.5.4 input set for an AG run.
basisLedger entries and policy basis refs.archsig measurement-profile --measurement-profile <profile> --out <report>.archsig law-policy --law-policy <policy> --measurement-profile <profile> --law-surface <law-surface> --out <report>.archsig policy-bundle --law-policy <policy> --law-surface <law-surface> --measurement-profile <profile> --out <bundle>.archsig analyze --archmap <archmap> --policy-bundle <bundle> --out-dir <run-dir>.For the executable fixture workflow, use
references/schema-guide.md and references/law-surface-examples.md.
For ag.law-conflict-tor, use an explicit policies[].lawPair with exactly two
distinct law ids; law-id naming conventions are not selectors.
The bundle is the reproducibility record: its three component references and
canonical fingerprints must be preserved with the run.
Gate decisions belong in archsig gate policy, not in analyze flags.
For ag.saga-grounded, author quotientSheafCondition on the law-equation
surface. The selected law also
requires the law's witnessVariables and forbiddenSupportGenerators; these
generate the finite quotient and cannot be replaced by conclusion fields.
Compare class-zero transport is derived from the selected normalized ArchMap
cover/context relation; do not author a separate transport artifact.