solmate-skills 2.0.11 → 2.0.13

package/rules-workflow/resources/agent-harness-v1.schema.json

@@ -0,0 +1,432 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/solmate30/solmate-skills/agent-harness-v1.schema.json",
+  "title": "Solmate Agent Harness Contract v1",
+  "schema_version": 1,
+  "x-core-roles": [
+    "coordinator",
+    "context-reader",
+    "implementer",
+    "qa-inspector"
+  ],
+  "x-read-only-roles": [
+    "context-reader",
+    "qa-inspector"
+  ],
+  "x-state-transitions": {
+    "INTAKE": ["REQUIREMENTS_READY", "BLOCKED_DECISION", "CANCELLED"],
+    "REQUIREMENTS_READY": ["CONTEXT_LOCKED", "BLOCKED_CONTEXT", "BLOCKED_DECISION", "CANCELLED"],
+    "CONTEXT_LOCKED": ["DESIGN_READY", "BLOCKED_CONTEXT", "BLOCKED_DECISION", "CANCELLED"],
+    "DESIGN_READY": ["IMPLEMENTING", "BLOCKED_DECISION", "BLOCKED_DEPENDENCY", "DEGRADED", "CANCELLED"],
+    "IMPLEMENTING": ["CHANGE_READY", "REWORK", "BLOCKED_DECISION", "BLOCKED_DEPENDENCY", "DEGRADED", "CANCELLED"],
+    "CHANGE_READY": ["VERIFYING", "REWORK", "BLOCKED_DECISION", "BLOCKED_DEPENDENCY", "DEGRADED", "CANCELLED"],
+    "VERIFYING": ["COMPLETE", "REWORK", "BLOCKED_DECISION", "BLOCKED_DEPENDENCY", "DEGRADED", "CANCELLED"],
+    "BLOCKED_CONTEXT": ["CONTEXT_LOCKED", "CANCELLED"],
+    "BLOCKED_DECISION": ["INTAKE", "REQUIREMENTS_READY", "CONTEXT_LOCKED", "DESIGN_READY", "IMPLEMENTING", "CHANGE_READY", "VERIFYING", "CANCELLED"],
+    "BLOCKED_DEPENDENCY": ["DESIGN_READY", "IMPLEMENTING", "CHANGE_READY", "VERIFYING", "CANCELLED"],
+    "REWORK": ["IMPLEMENTING", "CANCELLED"],
+    "DEGRADED": ["DESIGN_READY", "IMPLEMENTING", "CHANGE_READY", "VERIFYING", "CANCELLED"],
+    "COMPLETE": [],
+    "CANCELLED": []
+  },
+  "x-event-evidence": {
+    "REQUIREMENTS_READY": ["artifact_refs"],
+    "CONTEXT_LOCKED": ["evidence_refs"],
+    "DESIGN_READY": ["artifact_refs"],
+    "IMPLEMENTING": ["evidence_refs"],
+    "CHANGE_READY": ["artifact_refs", "evidence_refs"],
+    "VERIFYING": ["evidence_refs"],
+    "COMPLETE": ["evidence_refs"]
+  },
+  "x-manifest-receipts": {
+    "REQUIREMENTS_READY": ["REQUIREMENTS"],
+    "CONTEXT_LOCKED": ["REQUIREMENTS", "CONTEXT"],
+    "DESIGN_READY": ["REQUIREMENTS", "CONTEXT", "DESIGN"],
+    "IMPLEMENTING": ["REQUIREMENTS", "CONTEXT", "DESIGN"],
+    "CHANGE_READY": ["REQUIREMENTS", "CONTEXT", "DESIGN", "CHANGE"],
+    "VERIFYING": ["REQUIREMENTS", "CONTEXT", "DESIGN", "CHANGE"],
+    "COMPLETE": ["REQUIREMENTS", "CONTEXT", "DESIGN", "CHANGE", "VERIFICATION"]
+  },
+  "oneOf": [
+    { "$ref": "#/$defs/manifest" },
+    { "$ref": "#/$defs/message" },
+    { "$ref": "#/$defs/event" }
+  ],
+  "$defs": {
+    "state": {
+      "type": "string",
+      "enum": [
+        "INTAKE",
+        "REQUIREMENTS_READY",
+        "CONTEXT_LOCKED",
+        "DESIGN_READY",
+        "IMPLEMENTING",
+        "CHANGE_READY",
+        "VERIFYING",
+        "COMPLETE",
+        "BLOCKED_CONTEXT",
+        "BLOCKED_DECISION",
+        "BLOCKED_DEPENDENCY",
+        "REWORK",
+        "DEGRADED",
+        "CANCELLED"
+      ]
+    },
+    "role_id": {
+      "type": "string",
+      "pattern": "^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$"
+    },
+    "project_path": {
+      "type": "string",
+      "minLength": 1,
+      "pattern": "^(?!/)(?![A-Za-z][A-Za-z0-9+.-]*:).+"
+    },
+    "project_refs": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/project_path"
+      },
+      "uniqueItems": true
+    },
+    "timestamp": {
+      "type": "string",
+      "format": "date-time",
+      "pattern": "^(?!0000)[0-9]{4}-(?:0[1-9]|1[0-2])-(?:0[1-9]|[12][0-9]|3[01])T(?:[01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9](?:\\.[0-9]+)?(?:Z|[+-](?:[01][0-9]|2[0-3]):[0-5][0-9])$"
+    },
+    "manifest": {
+      "type": "object",
+      "required": [
+        "schema_version",
+        "artifact_type",
+        "task_id",
+        "work_type",
+        "current_state",
+        "active_attempt",
+        "topology",
+        "roles",
+        "write_ownership",
+        "canonical_documents",
+        "receipts"
+      ],
+      "properties": {
+        "schema_version": {
+          "type": "integer",
+          "const": 1
+        },
+        "artifact_type": {
+          "type": "string",
+          "const": "task_manifest"
+        },
+        "task_id": {
+          "type": "string",
+          "pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
+        },
+        "work_type": {
+          "type": "string",
+          "enum": ["code", "deploy", "docs", "prototype"]
+        },
+        "current_state": {
+          "$ref": "#/$defs/state"
+        },
+        "active_attempt": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "topology": {
+          "type": "object",
+          "required": ["pattern", "reason", "agent_count", "fallback"],
+          "properties": {
+            "pattern": {
+              "type": "string",
+              "enum": ["LINEAR", "EXPERT_POOL", "FAN_OUT_FAN_IN", "PRODUCER_REVIEWER", "SUPERVISOR"]
+            },
+            "reason": {
+              "type": "string",
+              "minLength": 3
+            },
+            "agent_count": {
+              "type": "integer",
+              "minimum": 1
+            },
+            "fallback": {
+              "type": "string",
+              "minLength": 3
+            }
+          },
+          "additionalProperties": false
+        },
+        "roles": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "type": "object",
+            "required": ["role_id", "activation", "reason"],
+            "properties": {
+              "role_id": {
+                "$ref": "#/$defs/role_id"
+              },
+              "activation": {
+                "type": "string",
+                "enum": ["ACTIVE", "SKIPPED"]
+              },
+              "reason": {
+                "type": "string",
+                "minLength": 3
+              }
+            },
+            "additionalProperties": false
+          }
+        },
+        "write_ownership": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["role_id", "paths", "mode"],
+            "properties": {
+              "role_id": {
+                "$ref": "#/$defs/role_id"
+              },
+              "paths": {
+                "type": "array",
+                "minItems": 1,
+                "items": {
+                  "$ref": "#/$defs/project_path"
+                },
+                "uniqueItems": true
+              },
+              "mode": {
+                "type": "string",
+                "const": "EXCLUSIVE"
+              }
+            },
+            "additionalProperties": false
+          }
+        },
+        "canonical_documents": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "type": "object",
+            "required": ["kind", "path"],
+            "properties": {
+              "kind": {
+                "type": "string",
+                "enum": ["REQUIREMENTS", "UI", "ARCHITECTURE", "LOGIC", "BACKLOG", "QA", "DECISION", "OTHER"]
+              },
+              "path": {
+                "$ref": "#/$defs/project_path"
+              }
+            },
+            "additionalProperties": false
+          }
+        },
+        "receipts": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["type", "status", "artifact_ref"],
+            "properties": {
+              "type": {
+                "type": "string",
+                "enum": ["REQUIREMENTS", "CONTEXT", "DESIGN", "CHANGE", "VERIFICATION", "ERROR", "RELEASE_READINESS"]
+              },
+              "status": {
+                "type": "string",
+                "enum": ["PASS", "FAIL", "PENDING", "SKIPPED"]
+              },
+              "artifact_ref": {
+                "$ref": "#/$defs/project_path"
+              },
+              "reason": {
+                "type": "string",
+                "minLength": 3
+              }
+            },
+            "additionalProperties": false
+          }
+        }
+      },
+      "additionalProperties": false
+    },
+    "message": {
+      "type": "object",
+      "required": [
+        "schema_version",
+        "artifact_type",
+        "message_id",
+        "task_id",
+        "attempt",
+        "timestamp",
+        "from",
+        "to",
+        "type",
+        "status",
+        "summary",
+        "requirement_refs",
+        "artifact_refs",
+        "decision_refs",
+        "evidence_refs",
+        "blockers",
+        "next_action",
+        "retry_count"
+      ],
+      "properties": {
+        "schema_version": {
+          "type": "integer",
+          "const": 1
+        },
+        "artifact_type": {
+          "type": "string",
+          "const": "agent_message"
+        },
+        "message_id": {
+          "type": "string",
+          "pattern": "^msg-[A-Za-z0-9_-]+$"
+        },
+        "task_id": {
+          "type": "string",
+          "pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
+        },
+        "attempt": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "timestamp": {
+          "$ref": "#/$defs/timestamp"
+        },
+        "from": {
+          "$ref": "#/$defs/role_id"
+        },
+        "to": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/role_id"
+          },
+          "uniqueItems": true
+        },
+        "type": {
+          "type": "string",
+          "enum": ["REQUEST", "STATUS", "QUESTION", "DECISION_REQUIRED", "HANDOFF", "FINDING", "REWORK_REQUEST", "RESULT"]
+        },
+        "status": {
+          "type": "string",
+          "enum": ["INFO", "PENDING", "PASS", "FAIL", "BLOCKED"]
+        },
+        "summary": {
+          "type": "string",
+          "minLength": 1
+        },
+        "requirement_refs": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "pattern": "^(?:FR|NFR)-[0-9]{3}$"
+          },
+          "uniqueItems": true
+        },
+        "artifact_refs": {
+          "$ref": "#/$defs/project_refs"
+        },
+        "decision_refs": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "pattern": "^DEC-[0-9]{3}$"
+          },
+          "uniqueItems": true
+        },
+        "evidence_refs": {
+          "$ref": "#/$defs/project_refs"
+        },
+        "blockers": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "minLength": 1
+          },
+          "uniqueItems": true
+        },
+        "next_action": {
+          "type": "string",
+          "minLength": 3
+        },
+        "retry_count": {
+          "type": "integer",
+          "minimum": 0
+        }
+      },
+      "additionalProperties": false
+    },
+    "event": {
+      "type": "object",
+      "required": [
+        "schema_version",
+        "artifact_type",
+        "event_id",
+        "task_id",
+        "attempt",
+        "sequence",
+        "timestamp",
+        "actor",
+        "from",
+        "to",
+        "reason",
+        "artifact_refs",
+        "evidence_refs"
+      ],
+      "properties": {
+        "schema_version": {
+          "type": "integer",
+          "const": 1
+        },
+        "artifact_type": {
+          "type": "string",
+          "const": "state_event"
+        },
+        "event_id": {
+          "type": "string",
+          "pattern": "^evt-[A-Za-z0-9_-]+$"
+        },
+        "task_id": {
+          "type": "string",
+          "pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
+        },
+        "attempt": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "sequence": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "timestamp": {
+          "$ref": "#/$defs/timestamp"
+        },
+        "actor": {
+          "$ref": "#/$defs/role_id"
+        },
+        "from": {
+          "$ref": "#/$defs/state"
+        },
+        "to": {
+          "$ref": "#/$defs/state"
+        },
+        "reason": {
+          "type": "string",
+          "minLength": 3
+        },
+        "artifact_refs": {
+          "$ref": "#/$defs/project_refs"
+        },
+        "evidence_refs": {
+          "$ref": "#/$defs/project_refs"
+        },
+        "resume_state": {
+          "$ref": "#/$defs/state"
+        }
+      },
+      "additionalProperties": false
+    }
+  }
+}

package/verify-docs/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: verify-docs
-description: 프로젝트 문서가 5단계 구조(01~05), 메타데이터, Related Documents, Backlog Context Lock, HTML UI Preview Gate, UI-First Gate, Component & Library Planning Gate를 준수하는지 검증합니다. 문서 생성/수정 후, PR 전 사용.
+description: 프로젝트 문서가 5단계 구조, 메타데이터, Related Documents, Backlog Context Lock, UI/Component Gate, Agent Harness Receipt를 준수하는지 검증합니다. 문서 생성·수정 후 또는 PR 전에 사용합니다.
 ---
 
 # 문서 구조 검증
@@ -16,8 +16,9 @@ description: 프로젝트 문서가 5단계 구조(01~05), 메타데이터, Rela
 6. UI-First Gate
 7. Pre-Code Technical Brief
 8. Component & Library Planning Gate
-9. Rubric-First Writing
-10. rules-product Gate Out 조건
+9. Agent Harness Receipts
+10. Rubric-First Writing
+11. rules-product Gate Out 조건
 
 ## 실행 시점
 
@@ -69,6 +70,7 @@ AGENTS.md 또는 `docs/01_Concept_Design/00_COLLABORATION_GUIDE.md`를 읽어
 - [ ] 각 작업 항목에 `Related HTML Preview`가 있는가?
 - [ ] 각 작업 항목에 `Related Technical Docs`가 있는가?
 - [ ] 각 작업 항목에 `Related QA Docs`가 있는가?
+- [ ] 각 작업 항목에 `Work Type`이 `code`, `deploy`, `docs`, `prototype` 중 하나로 기록되어 있는가?
 - [ ] 각 작업 항목에 `Implementation Preconditions`가 있는가?
 - [ ] 각 작업 항목에 `Component & Library Plan`이 있는가?
 - [ ] 각 작업 항목에 `Acceptance Criteria`가 있는가?
@@ -83,6 +85,19 @@ AGENTS.md 또는 `docs/01_Concept_Design/00_COLLABORATION_GUIDE.md`를 읽어
 
 위 항목 중 하나라도 누락되면 Backlog Context Lock은 Fail로 처리한다.
 
+`code`와 `deploy` 작업은 추가로 확인한다.
+
+- [ ] Context Receipt의 상태가 PASS인가?
+- [ ] `Required References Read`가 Related 필드의 모든 실제 링크를 포함하는가?
+- [ ] Context Receipt에 Constraints와 Conflicts가 있는가?
+- [ ] Change Receipt가 구현 범위와 기본 검사를 요약하는가?
+- [ ] Done 또는 PR 준비 작업에 Verification Receipt가 있는가?
+- [ ] Verification Receipt의 상태가 PASS이고 FAIL 결과가 없는가?
+- [ ] 실행 명령, 결과, 미실행 검사 사유가 있는가?
+- [ ] Detailed Evidence가 QA 문서 또는 PR을 링크하는가?
+
+처음 5개 실제 작업의 `warning` 기간에는 Receipt 누락을 경고로 기록한다. `blocking` 전환 후에는 Context Receipt 누락이 구현을, Verification Receipt 누락이 Done·PR·배포를 차단한다.
+
 ### Step 5: HTML UI Preview Gate 검사
 
 `docs/02_UI_Screens/`와 `docs/02_UI_Screens/previews/`를 함께 확인한다.
@@ -135,7 +150,18 @@ HTML Preview가 없거나 링크·사용자 확인 기록이 누락되면 HTML U
 
 컴포넌트·라이브러리 계획이 없어 구현자가 임의 패키지 설치나 중복 컴포넌트 생성을 할 수밖에 없으면 Component & Library Planning Gate는 Fail로 처리한다.
 
-### Step 9: Rubric-First Writing 검사
+### Step 9: Agent Harness Receipt 검사
+
+대상 `code` 또는 `deploy` 작업에 대해 warning 기간에는 `--strict` 없이 실행해 발견 사항과 사용자 확인을 기록한다. blocking 전환 후에는 다음 명령을 실행한다.
+
+```bash
+npx solmate-skills preflight TASK-ID --strict
+npx solmate-skills verify TASK-ID --strict
+```
+
+blocking 모드에서 두 명령 중 하나라도 non-zero이면 Agent Harness Gate는 Fail이다. warning 모드의 WARN을 PASS로 기록하면 안 된다. `docs`와 `prototype`은 `N/A - advisory work type`으로 기록한다.
+
+### Step 10: Rubric-First Writing 검사
 
 | 레이어 | 기준 |
 |:---|:---|
@@ -145,7 +171,7 @@ HTML Preview가 없거나 링크·사용자 확인 기록이 누락되면 HTML U
 | Technical_Specs (Layer 3) | Functionality, UX (latency), Open-source 언급 (권장) |
 | Logic_Progress (Layer 4) | Functionality, UX 언급 (권장) |
 
-### Step 10: Gate Out 조건 검사
+### Step 11: Gate Out 조건 검사
 
 rules-product 기준으로 각 Phase의 필수 문서 존재 여부를 확인한다.
 
@@ -168,7 +194,7 @@ rules-product 기준으로 각 Phase의 필수 문서 존재 여부를 확인한
 - [ ] `docs/04_Logic_Progress/00_ROADMAP.md`
 - [ ] `docs/05_QA_Validation/02_QA_CHECKLIST.md`
 
-### Step 11: 검증 보고서 출력
+### Step 12: 검증 보고서 출력
 
 검사 완료 후 아래 형식으로 결과를 출력한다:
 
@@ -186,6 +212,7 @@ rules-product 기준으로 각 Phase의 필수 문서 존재 여부를 확인한
 | UI-First Gate | Pass / Fail | 화면·동선·데이터 흐름 누락 목록 |
 | Pre-Code Technical Brief | Pass / Fail | 데이터·API·상태 계약 누락 목록 |
 | Component & Library Planning Gate | Pass / Fail | 컴포넌트·라이브러리 계획 누락 목록 |
+| Agent Harness Receipts | Pass / Fail / N/A | Context·Verification Receipt 및 상세 근거 |
 | Rubric-First | Pass / Fail | |
 | Gate Out 조건 | Pass / Fail | 미충족 파일 목록 |
 

package/verify-docs/agents/openai.yaml

@@ -1,4 +1,4 @@
 interface:
   display_name: "Docs Verification"
-  short_description: "Audit docs, metadata, and HTML previews"
-  default_prompt: "Use $verify-docs to audit five-layer docs, metadata, links, and HTML UI previews."
+  short_description: "Audit docs, links, previews, and receipts"
+  default_prompt: "Use $verify-docs to audit five-layer docs, metadata, links, HTML UI previews, and Agent Harness Context and Verification Receipts."

package/verify-implementation/SKILL.md

@@ -1,15 +1,22 @@
 ---
 name: verify-implementation
-description: 프로젝트의 모든 verify 스킬을 동적으로 탐색하여 순차 실행하고, YAGNI/KISS/DRY Gate를 포함한 통합 검증 보고서를 생성합니다.
+description: 프로젝트의 모든 verify 스킬을 동적으로 탐색해 순차 실행하고, YAGNI/KISS/DRY와 독립 Agent Harness Receipt를 포함한 통합 검증 보고서를 생성합니다.
 disable-model-invocation: true
 argument-hint: "[선택사항: 특정 verify 스킬 이름]"
 ---
 
 # 구현 검증 (Master)
 
+> **Human Quick Reference**
+> - **When**: Pre-PR or pre-release full check (default verify entry point)
+> - **Invoke**: `/verify-implementation`
+> - **Prerequisites**: Changes to verify; runs verify-* skills based on `git diff`
+> - **Next**: Fix failures, then re-run; use individual verify-* skills for scoped checks
+> - **Guide**: project root `USAGE.md` (English default, Korean below; copied on install)
+
 ## 목적
 
-프로젝트에 존재하는 모든 `verify-*` 스킬을 동적으로 탐색하여 순차적으로 실행하고 통합 검증을 수행합니다. 기본 순서를 따르되, 변경 파일과 프로젝트 특성에 따라 해당 없는 스킬은 `N/A - 사유`로 기록합니다. 코드 변경이 있으면 YAGNI/KISS/DRY Gate 통과 여부를 통합 보고서에 반드시 포함합니다.
+프로젝트에 존재하는 모든 `verify-*` 스킬을 동적으로 탐색하여 순차적으로 실행하고 통합 검증을 수행합니다. 기본 순서를 따르되, 변경 파일과 프로젝트 특성에 따라 해당 없는 스킬은 `N/A - 사유`로 기록합니다. 코드 변경이 있으면 YAGNI/KISS/DRY Gate와 Agent Harness Verification Receipt 통과 여부를 통합 보고서에 반드시 포함합니다.
 
 ## 기본 실행 순서
 
@@ -55,6 +62,8 @@ Gate: Quality Gate + YAGNI/KISS/DRY Gate 진행 중
 ### Step 3: 순차 실행
 기본 실행 순서대로 각 스킬의 `Workflow`, `Exceptions`, `Related Files`를 파싱하여 개별 검사를 수행합니다. 앞 단계가 Fail이면 뒤 단계는 실행하되, 해당 Fail이 뒤 단계 판단을 왜곡하는 경우 `Blocked - 사유`로 표시합니다.
 
+`code`와 `deploy` 백로그 작업은 `rules-workflow/resources/agent-harness-contract.md`에 따라 Implementation Agent와 분리된 읽기 전용 Verification Agent가 검증한다. 검증자는 발견 사항을 수정하지 않으며, 수정 후에는 새 Verification Agent 실행으로 다시 확인한다.
+
 ### Step 4: 통합 보고서 생성
 PASS/FAIL 통계와 발견된 이슈 목록을 생성합니다.
 보고서 상단에는 `Flow Status Block`을 다시 포함하고, Gate 상태를 `통과`, `미통과`, `Blocked`, `N/A` 중 하나로 표시합니다.
@@ -64,6 +73,10 @@ PASS/FAIL 통계와 발견된 이슈 목록을 생성합니다.
 - verify-code Area 3 결과: `delete`, `stdlib`, `native`, `yagni`, `shrink` 태그 발생 여부
 - Prototype/Spike Exception: 정보성 체크로 처리했는지 여부
 - Safety Exception: 단순화 명목으로 검증·보안·에러 처리·접근성·데이터 보존을 제거하지 않았는지 여부
+- Context Receipt: 관련 문서 전체 확인 및 PASS 여부
+- Verification Receipt: 독립 검증 상태, 명령 결과, 미실행 사유, QA 문서 또는 PR 상세 근거
+
+warning 기간에는 Verification Receipt 발견 사항과 사용자 진행 승인을 보고합니다. blocking 전환 후 PASS Verification Receipt가 없거나 `npx solmate-skills verify TASK-ID --strict`가 실패하면 PR·merge·publish·deploy 차단 항목으로 보고합니다.
 
 ### Step 5: 수정 옵션 제공
 자동 수정 또는 개별 수정을 사용자에게 제안합니다.
@@ -95,6 +108,12 @@ PASS/FAIL 통계와 발견된 이슈 목록을 생성합니다.
 - Prototype/Spike Exception: Applied / Not Applied / N/A
 - Safety Exception: Pass / Fail / N/A
 
+### Agent Harness Gate
+- Context Receipt: Pass / Fail / N/A
+- Independent Verification Agent: Pass / Fail / Degraded / N/A
+- Verification Receipt: Pass / Fail / N/A
+- Detailed Evidence: QA document / PR / Missing
+
 ### 재검증 필요 항목
 - ...
 ```

package/verify-implementation/agents/openai.yaml

@@ -1,4 +1,4 @@
 interface:
   display_name: "Implementation Verification"
-  short_description: "Run all verification skills and gates"
-  default_prompt: "Use $verify-implementation to discover and run the relevant verify skills, including YAGNI/KISS/DRY gates, before PR."
+  short_description: "Run independent verification skills and gates"
+  default_prompt: "Use $verify-implementation to run relevant verify skills, confirm minimal implementation, and require independent Verification Receipt evidence before PR."

package/verify-skills/SKILL.md

@@ -14,6 +14,7 @@ argument-hint: "[선택사항: 특정 스킬 이름 또는 점검 영역]"
 
 - 새 스킬 추가 또는 기존 스킬 수정 후
 - `bin/cli.js`, `README.md`, `AGENTS.md`, `package.json` 수정 후
+- `rules-workflow/resources/`, `rules-workflow/adapters/claude/`, `bin/harness-check.js` 수정 후
 - npm 배포 또는 태그 생성 전
 - `rules-workflow` Step 17 또는 `verify-implementation` 실행 시
 
@@ -109,20 +110,26 @@ print("metadata ok" if not bad else "\n".join(bad))'
 
 ---
 
-## Check 4: README, AGENTS, package 버전 동기화
+## Check 4: README, AGENTS, USAGE, package 버전 동기화
 
 - `package.json` 버전과 README의 최신 버전 문구가 일치하는지 확인한다.
+- README가 `USAGE.md`를 링크하는지 확인한다.
+- `bin/cli.js`가 `USAGE.md`를 프로젝트 루트로 복사하는지 확인한다.
 - README와 AGENTS의 verify 목록이 실제 `verify-*` 디렉터리와 맞는지 확인한다.
 
 ```bash
 node -p "require('./package.json').version"
 grep -n "What's New in" README.md
+grep -n "USAGE.md" README.md AGENTS.md
+grep -n "PACKAGE_DOC_FILES\\|installPackageDocs" bin/cli.js
 find . -maxdepth 1 -type d -name 'verify-*' -exec basename {} \; | sort
 grep -n "verify-" README.md AGENTS.md
 ```
 
 - 체크:
   - [ ] README 최신 버전 문구가 `package.json`과 일치하는가?
+  - [ ] README·AGENTS가 `USAGE.md`를 참조하는가?
+  - [ ] CLI `install`이 `USAGE.md`를 프로젝트 루트로 복사하는가?
   - [ ] README Available Skills에 새 스킬이 반영되었는가?
   - [ ] AGENTS.md 품질 검증 목록에 새 verify 스킬이 반영되었는가?
 
@@ -144,6 +151,31 @@ npm_config_cache=/private/tmp/solmate-npm-cache npm pack --dry-run
 
 ---
 
+## Check 6: Agent Harness 검증
+
+```bash
+npm test
+node bin/cli.js list
+node bin/cli.js preflight TASK-TEST --backlog /path/to/fixture.md --strict
+node bin/cli.js validate-harness manifest /path/to/manifest.json --strict
+node bin/cli.js validate-harness events /path/to/events.jsonl --manifest /path/to/manifest.json --strict
+```
+
+- 체크:
+  - [ ] Context Receipt가 모든 Related 링크를 읽지 않으면 strict preflight가 차단되는가?
+  - [ ] Verification Receipt의 명령 결과 또는 QA/PR 근거가 없으면 strict verify가 차단되는가?
+  - [ ] warning 모드는 발견 사항을 출력하되 exit 0인가?
+  - [ ] docs/prototype 작업은 advisory인가?
+  - [ ] `install agents`가 `.claude/agents/solmate-*.md`만 추가하고 기존 에이전트를 보존하는가?
+  - [ ] `install rules-workflow`와 `install all`이 Claude 어댑터를 함께 설치하는가?
+  - [ ] Codex 지침이 지원되지 않는 `.codex/agents/` 형식을 가정하지 않고 공통 계약을 참조하는가?
+  - [ ] v1 manifest, message, events fixture가 구조화 검증을 통과하는가?
+  - [ ] 불법 상태 전환, 비-Coordinator 전환, 증거 누락, 겹치는 쓰기 소유권이 strict에서 exit 1로 차단되는가?
+  - [ ] message와 events 검사가 유효한 manifest 없이 PASS를 반환하지 않는가?
+  - [ ] 기존 Receipt fixture를 수정하지 않고 `preflight`와 `verify` 회귀 테스트가 통과하는가?
+
+---
+
 ## 보고 형식
 
 ```
@@ -156,6 +188,7 @@ npm_config_cache=/private/tmp/solmate-npm-cache npm pack --dry-run
 | agents/openai.yaml | Pass / Fail | |
 | README/AGENTS 동기화 | Pass / Fail | |
 | npm pack dry-run | Pass / Fail | |
+| Agent Harness | Pass / Fail | Receipt CLI, Claude adapters, Codex contract |
 
 ### 수정 필요 항목
 - [높음] ...