소스 정보
- 저장소
- iroha1203/AlgebraicArchitectureTheoryV2
- 최근 소스 활동
- 2026년 7월 31일 23:37
- 감지된 SKILL.md 언어
- 영어
- 스타
- 6
- 포크
- 0
설치 방법
기본적으로 소스를 먼저 확인하는 Prompt가 선택됩니다. 직접 명령으로 전환하거나 로컬 사본을 다운로드할 수도 있습니다.
소스 파일 검토
설치 여부를 결정하기 전에 SKILL.md와 SkillsMP에 표시된 보조 파일을 읽어 보세요.
메뉴
기본적으로 소스를 먼저 확인하는 Prompt가 선택됩니다. 직접 명령으로 전환하거나 로컬 사본을 다운로드할 수도 있습니다.
설치 여부를 결정하기 전에 SKILL.md와 SkillsMP에 표시된 보조 파일을 읽어 보세요.
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
직접 명령은 검토 Prompt를 거치지 않습니다. 실행하기 전에 소스를 확인하세요.
npx skills add https://github.com/iroha1203/AlgebraicArchitectureTheoryV2 --skill law-policy-creater명령은 한 줄로 유지됩니다. 복사하기 전에 가로로 스크롤해 전체 내용을 확인하세요.
로컬 사본을 원하시나요? 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の最終ゲートで使う。
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.
SOC 직업 분류 기준
SKILL.md 표시 중
| 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.