Menu
원요청 무결성 하네스의 원문 해시체인, 완전 범위 추적, 서명 권한, 2회 Clean 결박, Claude Code/Codex 등록·동등성을 결정론으로 검증합니다. request-contract 코어·어댑터·설정·스키마·review-pass를 수정한 뒤, Review/Post-test Review 및 커밋 전에 반드시 사용합니다.
Instalar com Codex ou Claude Copie este prompt, cole no Codex, Claude ou outro assistente e deixe que ele revise a página da skill e instale para você.
Baseado na classificação ocupacional SOC
세션 변경사항을 분석해 verify-* 스킬 드리프트를 탐지하고 자동 생성/업데이트합니다. issue-driven-development Sync 단계, 새 패턴/규칙 도입 후, PR 전 검증 스킬 커버리지 확인 시 반드시 사용. /manage-skills로 호출.
Stage-gated multi-AI cross-validation review with optional REQ-ID traceability. 4 stages (planning, development, test, integration) with configurable reviewers, finding consensus, and convergence loop. Fully project-agnostic and distributable.
등록된 모든 verify-* 스킬을 순차 실행해 통합 검증 보고서를 생성합니다. 기능 구현 후, PR 전, 코드 리뷰 시, issue-driven-development Review/Post-test Review 단계마다 반드시 사용. /verify-implementation으로 호출.
ADK fork chain의 upstream 동기화. naia-adk(최상위) 이하 모든 fork가 주기적으로 `git merge upstream/main`로 정식 동기화하도록 한다. selective cherry-pick으로 인한 체인 부패(divergence)를 예방. "upstream sync", "fork 동기화", "naia-adk에서 받아와", "sync-upstream" 요청 시 사용. drift(behind/merge-base 낡음) 감지→fetch→merge→버전 스탬프까지.
Claude Code / Codex / opencode 세션 기록을 열어 대화 흐름을 추출·요약한다. 다른 도구(또는 주간 한도 컷)에서 끊긴 작업을 현재 세션에서 이어하거나, 과거 세션이 무엇을 했는지 파악할 때 사용. "claude --resume <id>", "codex 세션 이어서", "opencode 세션 열어줘", "이전 세션 이어서", "저번 세션 뭐했지", "세션 기록 봐줘" 요청 시 사용.
Teach a character/persona to a Qwen3 base model with LoRA, evaluate before/after, export to GGUF, and load it into a naia container via the model-swap API. Dataset-driven and fully reusable — swap the JSONL and you get a different character (Deadpool → grumpy grandma → butler → dialect docent). Includes training-time measurement.
| name | verify-request-contract |
| description | 원요청 무결성과 세션 바인딩 하네스의 원문 해시체인, 완전 범위 추적, 서명 권한, 2회 Clean 결박, Claude Code/Codex 등록·동등성을 결정론으로 검증합니다. request-contract·session-inject 코어/어댑터·설정·스키마·review-pass를 수정한 뒤, Review/Post-test Review 및 커밋 전에 반드시 사용합니다. |
아래 순서를 그대로 실행한다. 하나라도 실패하면 PASS를 보고하지 않는다.
node -c .agents/hooks/core/request-contract.js
node -c .agents/hooks/core/request-contract-adapter.js
node -c .agents/hooks/core/request-contract-review-runner.js
node -c .agents/hooks/core/harness-core.js
node -c .claude/hooks/request-contract.js
node -c .claude/hooks/session-inject.js
node -c .codex/hooks/request-contract.cjs
node -c .codex/hooks/session-inject.cjs
node -c .codex/hooks/session-contract-gate.cjs
node -c scripts/request-contract.cjs
node -c scripts/request-contract-review-runner.cjs
node -c scripts/validate-request-contract-requirements.cjs
node -c scripts/request-contract-review-scope.cjs
node -c scripts/request-contract-review-transcript.cjs
node -c scripts/issue-review-receipt.cjs
node scripts/run-request-contract-tests.cjs
PASS 기준: 종료코드 0이며 마지막 줄에 request-contract orchestrator: PASS가 있다. orchestrator는 실제 두 native adapter 프로세스의 전체 persisted lifecycle 동등성을 누적 fault fixture와 메모리 상태를 공유하지 않는 두 번째 프로세스에서 검증한다. 검사는 동시 전역 lineage 승계와 출발/도착 chain 교차 결박 quarantine, 거부된 prompt envelope와 중복 runtime binding 차단의 원문 보존, 원문 exact-partition obligation atom과 target·criterion·REQ·UC·UC-test·FE·FE-test→implementation→evidence의 atom별 7개 간선 연결, source 변조·누락·재분류, lifecycle state/baseline 단독 변조, 재귀 Git-tree clean genesis, 수정→되돌림→재수정 occurrence, native stdin event 누락·불일치, Claude/Codex apply_patch preflight parity, native PreCompact 완료평가·압축 차단·proof 생성과 PostCompact proof/workspace 재검증, trace 전체 tombstone 불변성, exact authority source/tombstone/change mapping, 종료 지시 재활성화와 target/criterion 부분 삭제 거부, operation별 metadata 소유권과 단일 mixed pending transaction, 비종료 상태 자율 전환, 권한 challenge·counter·replay, HEAD·index·재귀 submodule 실제 바이트·전 레포 변경 추적, 현재/과거 scope-version의 완전한 불투명 관계 매핑, reviewer stdout의 원문·경로·locator·요약·digest 부재, writer host와 다른 reviewer PID+kernel identity, 코어 발급 run ID와 verdict 일치 고정 finding code, 실제 reviewer stdout과 동일한 일회성 live-runner provenance, runner 고정 시각과 거부 출력 비반사, digest-verified reviewer+bundle 익명 descriptor snapshot과 실제 PID/network/repository/home bubblewrap 격리, 설정 고정 attestor snapshot digest+review payload digest 이중서명, direct review JSON 접수 거부, 발급 후 드리프트 접수 거부, 완료 직전 변조 재검증, review-bound completion proof와 위조 success 압축 거부, manifest/bundle tampering, compaction 뒤 전역 ID 재사용 거부, bind/review/resume/session crash 복구, session 소유 lease Stop 복구와 실행 중 lease의 리뷰 차단, 동일실패 Stop 제한, terminal lock, 무작위 재시도 고정 receipt 비민감 압축을 포함한다.
orchestrator는 시작 전에 RCI-001~RCI-011 파일과 인덱스의 ID·상태·제목·원요청 지시 연결·acceptance·실재 code/test trace 경로를 검사하고, 4단계 리뷰 증거가 자유 문자열이 아니라 receipt 임을 확인한다. receipt 는 실존해야 하고, 해당 단계 최소 인원의 서로 다른 리뷰어에게서 findings 0 인 Clean 판정을 받아야 하며, 각 리뷰어의 원문 전사를 보존하고 그 바이트로 재해시·재파싱해 receipt 의 주장과 일치해야 하고, 리뷰어가 실제로 COVERED 라고 적은 요구사항만 나열해야 하며, 리뷰어가 심사한 트리의 scope_digest 와 일치해야 한다. 서로 다른 두 receipt 가 같은 전사에 기대면 한 라운드를 두 번 쓴 것으로 보고 거부한다. 음성 테스트는 합성 fixture 위에서 항상 실행되므로 receipt 저장소 상태와 무관하게 회귀를 잡는다.
리뷰 라운드를 마치면 receipt 를 발급한다.
node scripts/issue-review-receipt.cjs <review-id> "$(date -Iseconds)" <tool>:<model>=<log> ...
리뷰어에게는 node scripts/request-contract-review-scope.cjs 결과와 --list의 전체 경로를 프롬프트에 준다. 전사의 ### Scope Digest에는 digest를, ### Files Read에는 --list 경로와 모든 RCI 요구사항 경로를 축약 없이 하나씩 적게 한다. 누락 경로가 있으면 issuer가 receipt를 거부한다. issuer는 검토에 제공된 각 작업 트리 객체의 경로·유형·크기·SHA-256 목록도 receipt에 결박하며 심볼릭 링크는 링크 경로와 저장소 안 대상 바이트를 함께 해시하고 외부 대상은 거부한다. Files Read는 리뷰어의 열람 진술이며 실제 인지 과정을 기계적으로 증명하지는 않는다. opt-in 런타임에서는 이 진술에 서명할 수 있지만 일반 Git receipt는 작성자가 위조할 수 있다. 현재 작업 트리나 신규 출처 장부를 고치면 digest가 움직여 Clean 연속 기록이 리셋된다.
node -e "const core=require('./.agents/hooks/core/request-contract.js'); for(const [client,version] of [['claude','2.1.207'],['codex','0.144.1']]){if(!core.clientRegistrySupports(process.cwd(),client))throw new Error(client+': lifecycle registry mismatch');core.assertSupportedClient(process.cwd(),client,version)}"
pnpm --filter @naia-adk/artifacts-spec test
node -e "const fs=require('fs');if(fs.readdirSync('packages/artifacts-spec/schemas').filter(x=>x.endsWith('.schema.json')).length!==16)process.exit(1)"
예시는 AJV 구조 검증뿐 아니라 고정 evidence, exact source/scope/presentation digest, 테스트 공개키 authority receipt로 런타임 validator까지 통과해야 합니다. source·evidence·signature 드리프트 음성 테스트도 모두 거부되어야 합니다.
node .claude/hooks/sync-entry-points.js --check
node -e "const fs=require('fs');const a=fs.readFileSync('.agents/skills/verify-request-contract/SKILL.md'),u=fs.readFileSync('.users/skills/verify-request-contract/SKILL.md');if(!a.equals(u)||fs.readFileSync('.claude/skills/verify-request-contract','utf8').trim()!=='../../.agents/skills/verify-request-contract')process.exit(1)"
git check-ignore .agents/harness/units/probe .agents/harness/quarantine/probe .agents/harness/receipts-v2/probe .agents/harness/claims/probe .agents/harness/locks/probe .claude/git-push-approved.marker
node .agents/hooks/core/harness-session-inject.test.js
node .codex/hooks/test-session-contract-gate.cjs
node .codex/hooks/test-hook-registration.cjs
pnpm run test:harness-native
Linux CI는 별도로 bash .claude/hooks/e2e/run.sh와 bash .claude/hooks/e2e/scenario.sh를 실행한다. 이 Linux 증거를 Windows 통과로 재사용하지 않으며 Windows는 WSL, Cygwin, MSYS2, Linux VM·컨테이너를 요구하지 않는다.
| 판정 | 조건 |
|---|---|
| PASS | 1~6 모두 종료코드 0, 두 클라이언트가 7개 생명주기 이벤트를 공유, fault-injection 전부 통과 |
| FAIL | 명령 하나라도 실패, 등록 누락, 미러 차이, source/권한/review 우회 사례 하나라도 허용 |
FAIL이면 실패한 불변식과 파일을 수정하고 1번부터 전부 다시 실행한다.
enabled_by_default: false는 의도된 점진 도입이며 실패가 아니다..agents/harness/**가 gitignored인 것은 정상이다.| File | Purpose |
|---|---|
.agents/hooks/core/request-contract.js | 도구 비종속 정책·상태 코어 |
.agents/hooks/core/request-contract-adapter.js | 공통 envelope 변환 |
.agents/hooks/core/request-contract-review-runner.js | 실제 격리 실행·프로세스 증거 수집 |
.agents/hooks/core/harness-core.js | 도구 비종속 세션 바인딩·상태 주입 코어 |
.agents/hooks/core/harness-session-inject.test.js | 미바인딩 무출력·바인딩 상태 주입·변경 게이트 분리 회귀 |
.claude/hooks/request-contract.js | Claude Code 어댑터 |
.claude/hooks/session-inject.js | Claude Code 세션 상태 주입 어댑터 |
.codex/hooks/request-contract.cjs | Codex 어댑터 |
.codex/hooks/session-inject.cjs | Codex 세션 상태 주입 어댑터 |
.codex/hooks/session-contract-gate.cjs | 미바인딩 변경 차단·읽기/바인딩 허용 게이트 |
scripts/request-contract-review-runner.cjs | 허용 reviewer + 별도 attestor 실행기 |
.claude/settings.json | Claude Code 등록 |
.codex/hooks.json | Codex 등록 |
.agents/context/request-contract.json | product root·권한·보존 정책 |
.agents/context/harness.yaml | 하네스 레지스트리 SoT |
.agents/requirements/RCI-*.yaml | 원요청 무결성 요구사항과 단계별 리뷰 trace |
.agents/requirements/_index.yaml | RCI ID·제목·상태 인덱스 |
.users/context/request-contract.md | downstream 운영 문서 |
.agents/skills/review-pass/SKILL.md | 완전 bundle 기반 적대 리뷰 규약 |
packages/artifacts-spec/schemas/request-contract.schema.json | 공유 계약 스키마 |
.claude/hooks/test/run-request-contract-test.js | 결정론 fault-injection |
.claude/hooks/e2e/{run.sh,scenario.sh} | Linux 실제 조건·전체 시나리오 회귀 |
scripts/run-request-contract-tests.cjs | broad suite와 메모리 격리 parity suite 순차 실행 |
scripts/validate-request-contract-requirements.cjs | RCI 요구사항·인덱스·실재 trace 검사 + 4단계 리뷰 증거를 receipt 에 결박 |
scripts/request-contract-review-scope.cjs | 현재 변경 전체(staged/unstaged/신규), 기능 경로, RCI trace, source ledger와 scope_digest |
scripts/request-contract-review-transcript.cjs | 리뷰어 전사 파서. 절단·모순·Files Read 열람 진술 누락·프롬프트 템플릿 상속을 Clean으로 읽지 않음. 열람 진술은 책임 있는 서명 주장이지 인지 과정의 기계적 증명은 아님 |
scripts/issue-review-receipt.cjs | 전사에서 receipt 발급. 아무것도 지어내지 않음 |
.agents/requirements/reviews/ | receipt + 리뷰어 원문 전사(logs/). 커밋 대상 |
.gitignore | private runtime unit·bundle·claim·lock 커밋 방지 |