メニュー
SkillsMP は iroha1203/AlgebraicArchitectureTheoryV2 から 19 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
収集済み skill 19 件中 19 件を表示しています。
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.
原文の言語: 英語
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…
原文の言語: 英語
Create bounded IntentMap artifacts from Epic, PRD, Spec, Issue, or proposal text. Use when Codex is asked to draft, generate, update, or validate an intentmap/v0.5.0 JSON file, extract product or planning intent, or record missing decisions or ambiguous…
原文の言語: 英語
Review ArchSig AAT Observable Bundle artifacts and translate AAT concept evidence into bounded design review actions. Use when Codex is asked to review AAT-facing ArchSig artifacts, explain invariant/witness/signature/operation/boundary evidence, or decide…
原文の言語: 英語
Run or read current ArchSig measurement output, then translate summary, insight, viewer, manifest, compare, and gate artifacts into bounded source-level review language.
原文の言語: 英語
GitHub Issueを指定または優先順から選び、タスク型とsource of truthを確定して実装・検証・commit・push・PR作成・CI確認まで進める。"$issue-to-pr"、"Issue番号を対応して"、"次のIssueを選んでPRまで"で使う。PRのマージやPRD全体の反復にはreview-pr / prd-loopを使う。
すべての実装PRが完了した後に、PRD全文から達成条件・拘束条件・must-not-remainを抽出し、一次証拠と独立査読で最終完了可否を判定する。"$prd-completion-review path/to/prd.md"、prd-loopの最終確認で使う。完了まで実装する依頼にはprd-loopを使う。
research/goals/<goal-id>.mdのactiveなscore-phase GOALで、独立候補探索、ライバル比較、Lean検証または証拠固定、SCORE監査、PRレビュー、phase判定を反復する。"$research-loop goal-id"、"探索研究ループ"で使う。target-theorem GOALにはtarget-theorem-loopを使う。
実装完了後の最終スナップショットを対象に、GitHub PR番号を受け取り、Issue・変更責務を確認し、対応する敵対レビューSKILLへ委譲して内容レビューを統合し、監査コメントを投稿する。CI確認とマージ実行は呼び出し側の責務。"$review-pr PR-number"、最終PRレビュー、内容のマージ可否判定で使う。
ArchSig / FieldSigなどrepository toolingのtag・差分・workflowを確認し、英語release notes、GitHub draft release、publish後assetとchecksumを検証する。"$tool-release vX.Y.Z"、tooling release準備で使う。publishと未作成tagのpushはユーザー確認後だけ行う。
実装完了後のdocs-only差分やPR packetを対象に、docs/sft、非数学docs/note、PRD、README、.codex/skills、Lean差分を含まないdocs/aat台帳のclaim・整合・情報密度・冗長記述を4観点で非編集レビューする。"$docs-review"単独で明示されたdrift点検では保守を行う。数学本文・GOAL・数学claimはmath-lean-reviewを使う。
PRDを不変入力として、ギャップ分析、Issue化、実装PR、敵対レビュー、マージ、台帳同期、独立最終レビューを完了または明示停止条件まで反復する。"$prd-loop path/to/prd.md"、"PRDを完了まで回して"で使う。完了可否のレビューだけならprd-completion-review、単一Issueの実装ならissue-to-prを使う。
Compare ArchSig base/head measurement runs, apply gate policy, read the changed code, and turn the result into bounded source-first review questions.
原文の言語: 英語
ArchSig / FieldSig tooling、docs/tool、schema catalogの実装完了後の最終差分を4観点で敵対レビューし、編集せず合否を返す。"$tool-review"、review-prの最終ゲート、リリース前監査で使う。
指定docsやproof obligationから未実装・未証明・未整理タスクを抽出し、既存Issueとの重複、依存、親子関係、source of truth、タスク型を確認してGitHub Issueを作る。"$issue-creater"、"create issue"、docsからIssueを起票する依頼で使う。実装やPR作成には使わない。
website/ と docs/website の実装完了後の最終差分を4観点で敵対レビューし、編集せず合否を返す。"$website-review"、review-prの最終ゲート、公開前のweb品質監査で使う。
Read FieldSig software-field-measurement and run manifest artifacts while preserving SFT claim boundaries.
原文の言語: 英語