polydeukes 0.8.0 → 0.10.0

package/dist/docs/catalog.json

@@ -50,12 +50,12 @@
       "en": {
         "path": "how-to/connect-surfaces.md",
         "title": "Connect the surfaces",
-        "summary": "Connect Claude Code, Grok, and git; distinguish their witness paths."
+        "summary": "Connect Claude Code, Grok, Codex, and git; distinguish their witness paths."
       },
       "ko": {
         "path": "how-to/connect-surfaces.ko.md",
         "title": "표면 연결하기",
-        "summary": "Claude Code, Grok, git을 연결하고 표면별 증인 사용법을 구별합니다."
+        "summary": "Claude Code, Grok, Codex, git을 연결하고 표면별 증인 사용법을 구별합니다."
       }
     },
     {
@@ -129,12 +129,12 @@
       "bundled": true,
       "en": {
         "path": "reference/cli/covenant-check.md",
-        "title": "`pdks covenant check`",
+        "title": "pdks covenant check",
         "summary": "Judge a unified diff or an input IR from stdin, and read the exit codes."
       },
       "ko": {
         "path": "reference/cli/covenant-check.ko.md",
-        "title": "`pdks covenant check`",
+        "title": "pdks covenant check",
         "summary": "stdin의 unified diff나 입력 IR을 판정하고 종료 코드를 읽는 방법을 설명합니다."
       }
     },
@@ -145,13 +145,13 @@
       "bundled": true,
       "en": {
         "path": "reference/cli/init.md",
-        "title": "`pdks init`",
-        "summary": "Create the project scaffold, and find the Claude Code and Grok installers."
+        "title": "pdks init",
+        "summary": "Create the project scaffold, and find the Claude Code, Grok, and Codex installers."
       },
       "ko": {
         "path": "reference/cli/init.ko.md",
-        "title": "`pdks init`",
-        "summary": "프로젝트 초기 파일을 만들고, Claude Code와 Grok 설치기를 찾습니다."
+        "title": "pdks init",
+        "summary": "프로젝트 초기 파일을 만들고, Claude Code, Grok, Codex 설치기를 찾습니다."
       }
     },
     {
@@ -161,12 +161,12 @@
       "bundled": true,
       "en": {
         "path": "reference/cli/explain.md",
-        "title": "`pdks explain`",
+        "title": "pdks explain",
         "summary": "Inspect assembled registrations and their enforcement levels."
       },
       "ko": {
         "path": "reference/cli/explain.ko.md",
-        "title": "`pdks explain`",
+        "title": "pdks explain",
         "summary": "조립된 등록과 강제 수준을 확인합니다."
       }
     },
@@ -177,12 +177,12 @@
       "bundled": true,
       "en": {
         "path": "reference/cli/docs.md",
-        "title": "`pdks docs`",
+        "title": "pdks docs",
         "summary": "Search and retrieve installed documentation without network access."
       },
       "ko": {
         "path": "reference/cli/docs.ko.md",
-        "title": "`pdks docs`",
+        "title": "pdks docs",
         "summary": "네트워크 없이 설치된 문서를 검색하고 조회합니다."
       }
     },
@@ -203,105 +203,121 @@
       }
     },
     {
-      "id": "package-polydeukes",
+      "id": "declaration-language",
       "category": "reference",
       "order": 12,
       "bundled": true,
+      "en": {
+        "path": "reference/declaration-language/index.md",
+        "title": "Declaration language reference",
+        "summary": "Look up every source, extraction step, combinator, relation, and mechanism."
+      },
+      "ko": {
+        "path": "reference/declaration-language/index.ko.md",
+        "title": "선언 언어 참조",
+        "summary": "모든 소스, 추출 단계, 조합 연산, 관계, 기전의 문법과 제약을 조회합니다."
+      }
+    },
+    {
+      "id": "package-polydeukes",
+      "category": "reference",
+      "order": 13,
+      "bundled": true,
       "en": {
         "path": "reference/packages/polydeukes.md",
-        "title": "`polydeukes`",
+        "title": "polydeukes",
         "summary": "Consult the polydeukes package contract and its limits."
       },
       "ko": {
         "path": "reference/packages/polydeukes.ko.md",
-        "title": "`polydeukes`",
+        "title": "polydeukes",
         "summary": "polydeukes 패키지의 계약과 한계를 확인합니다."
       }
     },
     {
       "id": "package-core",
       "category": "reference",
-      "order": 13,
+      "order": 14,
       "bundled": true,
       "en": {
         "path": "reference/packages/core.md",
-        "title": "`@polydeukes/core`",
+        "title": "@polydeukes/core",
         "summary": "Consult the core package contract and its limits."
       },
       "ko": {
         "path": "reference/packages/core.ko.md",
-        "title": "`@polydeukes/core`",
+        "title": "@polydeukes/core",
         "summary": "core 패키지의 계약과 한계를 확인합니다."
       }
     },
     {
       "id": "package-adapter-claude-code",
       "category": "reference",
-      "order": 15,
+      "order": 16,
       "bundled": true,
       "en": {
         "path": "reference/packages/adapter-claude-code.md",
-        "title": "`@polydeukes/adapter-claude-code`",
+        "title": "@polydeukes/adapter-claude-code",
         "summary": "Install the Claude Code session surface, and consult the adapter package contract and its limits."
       },
       "ko": {
         "path": "reference/packages/adapter-claude-code.ko.md",
-        "title": "`@polydeukes/adapter-claude-code`",
+        "title": "@polydeukes/adapter-claude-code",
         "summary": "Claude Code 세션 표면을 설치하고, 어댑터 패키지의 계약과 한계를 확인합니다."
       }
     },
     {
       "id": "package-adapter-grok",
       "category": "reference",
-      "order": 16,
+      "order": 17,
       "bundled": true,
       "en": {
         "path": "reference/packages/adapter-grok.md",
-        "title": "`@polydeukes/adapter-grok`",
+        "title": "@polydeukes/adapter-grok",
         "summary": "Install the Grok session surface, and consult the adapter package contract and its limits."
       },
       "ko": {
         "path": "reference/packages/adapter-grok.ko.md",
-        "title": "`@polydeukes/adapter-grok`",
+        "title": "@polydeukes/adapter-grok",
         "summary": "Grok 세션 표면을 설치하고, 어댑터 패키지의 계약과 한계를 확인합니다."
       }
     },
     {
       "id": "package-adapter-codex",
       "category": "reference",
-      "order": 17,
+      "order": 18,
       "bundled": true,
       "en": {
         "path": "reference/packages/adapter-codex.md",
-        "title": "`@polydeukes/adapter-codex`",
+        "title": "@polydeukes/adapter-codex",
         "summary": "Install the Codex session surface, and consult how patch text becomes file-change evidence."
       },
       "ko": {
         "path": "reference/packages/adapter-codex.ko.md",
-        "title": "`@polydeukes/adapter-codex`",
+        "title": "@polydeukes/adapter-codex",
         "summary": "Codex 세션 표면을 설치하고, 패치 텍스트가 파일 변경 증거가 되는 방식을 확인합니다."
       }
     },
     {
       "id": "package-sdk-ts",
       "category": "reference",
-      "order": 25,
+      "order": 26,
       "bundled": true,
       "en": {
         "path": "reference/packages/sdk-ts.md",
-        "title": "`@polydeukes/sdk-ts`",
-        "summary": "Call the judge from TypeScript with one verb, and read the three verdicts it returns."
+        "title": "@polydeukes/sdk-ts",
+        "summary": "Call checkCovenant from TypeScript and handle its three verdicts."
       },
       "ko": {
         "path": "reference/packages/sdk-ts.ko.md",
-        "title": "`@polydeukes/sdk-ts`",
-        "summary": "TypeScript에서 동사 하나로 판정기를 부르고, 돌아오는 판정 결과 셋을 읽습니다."
+        "title": "@polydeukes/sdk-ts",
+        "summary": "TypeScript에서 checkCovenant를 호출하고 세 가지 판정 결과를 처리합니다."
       }
     },
     {
       "id": "why-polydeukes",
       "category": "explanation",
-      "order": 17,
+      "order": 18,
       "bundled": false,
       "en": {
         "path": "why-polydeukes.md",
@@ -317,7 +333,7 @@
     {
       "id": "contributing-docs",
       "category": "how-to",
-      "order": 24,
+      "order": 25,
       "bundled": false,
       "en": {
         "path": "contributing.md",
@@ -329,134 +345,6 @@
         "title": "문서에 기여하기",
         "summary": "영한 쌍, 안정 ID, 카탈로그 규칙, 문서 변경 전에 실행할 명령을 적습니다."
       }
-    },
-    {
-      "id": "post-1",
-      "category": "history",
-      "order": 18,
-      "bundled": false,
-      "en": {
-        "path": "build-in-public/2026-07-v0.1-covenant-core.md",
-        "title": "<!--",
-        "summary": "Historical development account; not a current usage reference."
-      },
-      "ko": {
-        "path": "build-in-public/2026-07-v0.1-covenant-core.ko.md",
-        "title": "<!--",
-        "summary": "당시의 개발 기록이며 현재 사용법을 설명하는 참조 문서는 아닙니다."
-      }
-    },
-    {
-      "id": "post-2",
-      "category": "history",
-      "order": 19,
-      "bundled": false,
-      "en": {
-        "path": "build-in-public/2026-08-v0.2-user-disciplines.md",
-        "title": "<!--",
-        "summary": "Historical development account; not a current usage reference."
-      },
-      "ko": {
-        "path": "build-in-public/2026-08-v0.2-user-disciplines.ko.md",
-        "title": "<!--",
-        "summary": "당시의 개발 기록이며 현재 사용법을 설명하는 참조 문서는 아닙니다."
-      }
-    },
-    {
-      "id": "post-3",
-      "category": "history",
-      "order": 20,
-      "bundled": false,
-      "en": {
-        "path": "build-in-public/2026-08-v0.3-installable-release.md",
-        "title": "<!--",
-        "summary": "Historical development account; not a current usage reference."
-      },
-      "ko": {
-        "path": "build-in-public/2026-08-v0.3-installable-release.ko.md",
-        "title": "<!--",
-        "summary": "당시의 개발 기록이며 현재 사용법을 설명하는 참조 문서는 아닙니다."
-      }
-    },
-    {
-      "id": "post-4",
-      "category": "history",
-      "order": 21,
-      "bundled": false,
-      "en": {
-        "path": "build-in-public/2026-08-v0.4-gate-closing.md",
-        "title": "<!--",
-        "summary": "Historical development account; not a current usage reference."
-      },
-      "ko": {
-        "path": "build-in-public/2026-08-v0.4-gate-closing.ko.md",
-        "title": "<!--",
-        "summary": "당시의 개발 기록이며 현재 사용법을 설명하는 참조 문서는 아닙니다."
-      }
-    },
-    {
-      "id": "post-5",
-      "category": "history",
-      "order": 22,
-      "bundled": false,
-      "en": {
-        "path": "build-in-public/2026-08-v0.5-diagnostic-pivot.md",
-        "title": "<!--",
-        "summary": "Historical development account; not a current usage reference."
-      },
-      "ko": {
-        "path": "build-in-public/2026-08-v0.5-diagnostic-pivot.ko.md",
-        "title": "<!--",
-        "summary": "당시의 개발 기록이며 현재 사용법을 설명하는 참조 문서는 아닙니다."
-      }
-    },
-    {
-      "id": "post-6",
-      "category": "history",
-      "order": 23,
-      "bundled": false,
-      "en": {
-        "path": "build-in-public/2026-09-v0.6-algebra-refoundation.md",
-        "title": "<!--",
-        "summary": "Historical development account; not a current usage reference."
-      },
-      "ko": {
-        "path": "build-in-public/2026-09-v0.6-algebra-refoundation.ko.md",
-        "title": "<!--",
-        "summary": "당시의 개발 기록이며 현재 사용법을 설명하는 참조 문서는 아닙니다."
-      }
-    },
-    {
-      "id": "post-7",
-      "category": "history",
-      "order": 24,
-      "bundled": false,
-      "en": {
-        "path": "build-in-public/2026-09-v0.6.1-docs-and-search.md",
-        "title": "<!--",
-        "summary": "Historical development account; not a current usage reference."
-      },
-      "ko": {
-        "path": "build-in-public/2026-09-v0.6.1-docs-and-search.ko.md",
-        "title": "<!--",
-        "summary": "당시의 개발 기록이며 현재 사용법을 설명하는 참조 문서는 아닙니다."
-      }
-    },
-    {
-      "id": "post-8",
-      "category": "history",
-      "order": 25,
-      "bundled": false,
-      "en": {
-        "path": "build-in-public/2026-09-v0.7-entrypoint-reshape.md",
-        "title": "<!--",
-        "summary": "Historical development account; not a current usage reference."
-      },
-      "ko": {
-        "path": "build-in-public/2026-09-v0.7-entrypoint-reshape.ko.md",
-        "title": "<!--",
-        "summary": "당시의 개발 기록이며 현재 사용법을 설명하는 참조 문서는 아닙니다."
-      }
     }
   ],
   "topics": {

package/dist/docs/concepts/judgment.ko.md

@@ -6,6 +6,8 @@ Polydeukes는 연결된 표면이 공급하는 증거를 바탕으로 선언된
 에이전트가 관행을 지켰다고 말하는 것만으로 이행을 인정하지 않습니다. 정상 판정이
 설명하는 범위도 실제로 관측한 파일, 호출, 대화 기록에 한정됩니다.
 
+관계와 추출 연산의 전체 문법은 [선언 언어 참조](../reference/declaration-language/index.ko.md)에서 확인할 수 있습니다.
+
 <a id="terms"></a>
 ## 약속, 규율, 표면
 

package/dist/docs/concepts/judgment.md

@@ -6,6 +6,8 @@ Polydeukes checks a declared practice against evidence a connected surface suppl
 infer that a practice was followed merely because an agent says so. A passing result is bounded
 by the files, calls, and history actually observed.
 
+For the complete syntax of relations and extraction steps, see the [Declaration language reference](../reference/declaration-language/index.md).
+
 <a id="terms"></a>
 ## Covenant, discipline, and surface
 

package/dist/docs/how-to/connect-surfaces.ko.md

@@ -56,23 +56,35 @@ Codex에서 개발할 때 씁니다.
    제공합니다. 먼저 `pdks init`으로 초기 파일을 만든 뒤 Codex 등록 산출물을 씁니다.
 3. Codex에서 `/hooks`로 생성된 훅을 승인합니다. 승인하기 전까지는 훅을 건너뜁니다.
 
-Codex 프로젝트에는 `.codex/hooks/covenant-pretooluse.mjs` 위임자와 `.codex/hooks.json`의 항목이
-생깁니다. 이 JSON은 덮어쓰지 않고 병합합니다. 다른 이벤트, 다른 matcher, 설치기가 모르는 키는
-그대로 둡니다. 초기 설정은 기본적으로 `.codex/hooks`를 보호합니다.
+Codex 프로젝트에는 `.codex/hooks/covenant-pretooluse.mjs` 위임자와 `.codex/hooks.json`의
+`PreToolUse`, `UserPromptSubmit`, `PostToolUse`, `SessionEnd` 항목이 생깁니다. 이 JSON은
+덮어쓰지 않고 병합합니다. 사용자 항목, 같은 항목의 다른 handler, 다른 이벤트, 설치기가 모르는
+키는 그대로 둡니다. 초기 설정은 기본적으로 `.codex/hooks`를 보호합니다.
 
 **승인은 선택이 아닙니다.** Codex는 훅 정의의 해시로 신뢰를 기록하므로, 새로 쓴 훅은 검토
 대상으로 표시되고 누군가 승인하기 전까지 건너뛰어집니다. 그때까지는 아무것도 판정되지
 않습니다. `init`은 실행할 때마다 바이트가 같은 명령 문자열을 쓰므로, 다시 설치해도 이미 받은
 승인이 무효가 되지 않습니다.
 
-Codex는 모든 파일 편집을 `apply_patch` 하나로 정규화하고, 경로 인자가 아니라 패치 텍스트를
+Codex는 훅에 도달하는 모든 파일 편집을 `apply_patch` 하나로 정규화하고, 경로 인자가 아니라 패치 텍스트를
 보냅니다. `Edit`과 `Write`는 훅 파일에 적을 수 있는 matcher 별칭이며 도구 이름으로 도착하지
 않습니다. 패치 하나가 여러 파일을 건드리면 파일마다 IR 원소 하나가 실리고, 그중 하나라도
 차단되면 호출 전체가 차단됩니다.
 
-Codex에는 대화 기록 채널이 없어서 세션 증인(witness) 밸브가 읽을 사람 메시지가 없습니다.
-의도한 편집이 차단되면 자신의 터미널에서 수행하세요. 세션 어댑터를 한 프로젝트에 둘 이상
-설치하면 호출마다 판정기가 두 번 실행될 수 있습니다.
+**승인된 훅도 Code Mode는 덮지 못합니다.** codex-cli 0.154에서 Code Mode `exec` 호출과 그
+JavaScript 안에 중첩된 도구 호출은 `PreToolUse`에 도달하지 않으므로
+([openai/codex#23411](https://github.com/openai/codex/issues/23411)), 그 경로로 이루어진 편집은
+`/hooks`에 훅이 Active로 표시되는 동안에도 판정되지도 기록되지도 않습니다. `init`이 이 사실을
+`note:` 줄로 출력하고, [패키지 레퍼런스](../reference/packages/adapter-codex.ko.md#limits)가
+다른 선언된 한계와 함께 나열합니다.
+
+Codex의 대화 기록 형식은 계속 불안정하므로 해석하지 않습니다. 대신 `UserPromptSubmit`이
+시각을 붙인 사람 메시지를, `PostToolUse`가 완료된 도구 호출을 `.polydeukes/codex-sessions/`
+아래의 어댑터 소유 파일에 기록하고 `SessionEnd`가 지웁니다. 의도한 차단을 풀려면 설정된 증인
+토큰을 첫 줄에 단독으로 보낸 뒤 호출을 다시 시도합니다. 복구 메시지가
+`UserPromptSubmit` 증거가 없다고 알리면 재시도가 증인 밸브에 닿지 못하므로 자신의 터미널을
+사용합니다. 세션 어댑터를 한 프로젝트에 둘 이상 설치하면 호출마다 판정기가 두 번 실행될 수
+있습니다.
 
 <a id="change-set-surface"></a>
 ## 변경 집합 표면

package/dist/docs/how-to/connect-surfaces.md

@@ -58,24 +58,36 @@ Use this when the project is developed in Codex.
    runs `pdks init` for the scaffold, then writes the Codex registration artifacts.
 3. Approve the generated hook with `/hooks` in Codex. Until you do, it is skipped.
 
-A Codex tree gets a delegator at `.codex/hooks/covenant-pretooluse.mjs` and an entry in
-`.codex/hooks.json`. That JSON is merged, not overwritten: other events, other matchers, and
-keys the installer does not know stay where they are. The scaffold config protects
-`.codex/hooks` by default.
+A Codex tree gets a delegator at `.codex/hooks/covenant-pretooluse.mjs` and entries for
+`PreToolUse`, `UserPromptSubmit`, `PostToolUse`, and `SessionEnd` in `.codex/hooks.json`.
+That JSON is merged, not overwritten: user entries, sibling handlers, other events, and keys
+the installer does not know stay where they are. The scaffold config protects `.codex/hooks`
+by default.
 
 **Approval is not optional.** Codex records trust against the hash of a hook's definition, so a
 newly written hook is listed for review and skipped until someone approves it — until then
 nothing is judged. `init` writes a byte-identical command string on every run, so a re-install
 does not invalidate an approval you already gave.
 
-Codex normalises every file edit into one tool, `apply_patch`, and sends the patch text rather
-than a path argument. `Edit` and `Write` are matcher aliases you may write in the hooks file;
-they never arrive as the tool name. One patch that touches several files carries one IR element
-per file, and any one of them blocking blocks the whole call.
-
-Codex supplies no transcript channel, so the session witness valve has no human message to read.
-For an intentional blocked edit, use your own terminal. Installing more than one session adapter
-in one project can run the judge twice per call.
+Codex normalises every file edit that reaches the hook into one tool, `apply_patch`, and sends
+the patch text rather than a path argument. `Edit` and `Write` are matcher aliases you may
+write in the hooks file; they never arrive as the tool name. One patch that touches several
+files carries one IR element per file, and any one of them blocking blocks the whole call.
+
+**An approved hook does not cover Code Mode.** In codex-cli 0.154 a Code Mode `exec` dispatch,
+and the tool calls nested in its JavaScript, do not reach `PreToolUse`
+([openai/codex#23411](https://github.com/openai/codex/issues/23411)), so an edit made that way
+is neither judged nor logged even while `/hooks` shows the hook Active. `init` prints this as a
+`note:` line; the [package reference](../reference/packages/adapter-codex.md#limits)
+lists it with the other declared limits.
+
+Codex's transcript format remains unstable and is never parsed. Instead, `UserPromptSubmit`
+records timestamped human messages and `PostToolUse` records completed tool calls in an
+adapter-owned file under `.polydeukes/codex-sessions/`; `SessionEnd` removes it. To release an
+intentional block, send the configured witness token alone on the first line, then retry the
+call. If the recovery message says no `UserPromptSubmit` evidence was recorded, use your own
+terminal because the retry cannot reach the witness valve. Installing more than one session
+adapter in one project can run the judge twice per call.
 
 
 <a id="change-set-surface"></a>

package/dist/docs/how-to/write-disciplines.ko.md

@@ -6,6 +6,8 @@
 증거를 고르고, 추출 과정과 관계를 적은 다음 위반과 정상 사례를 각각 실행합니다.
 관측 결과를 보고 차단이 필요하다고 판단하기 전까지는 기본 강제 수준인 `advise`를 유지합니다.
 
+관계와 추출 연산의 전체 문법은 [선언 언어 참조](../reference/declaration-language/index.ko.md)에서 확인할 수 있습니다.
+
 <a id="locale-key-pairing"></a>
 ## 번역 키 짝 맞춤
 
@@ -90,13 +92,55 @@ git restore -- locales/en.json locales/ko.json
 소스 파일이 존재한다는 이유만으로 선언이 실행되지는 않습니다. 관측된 변경 중 하나
 이상이 해당 선언의 적용 범위와 일치해야 합니다.
 
+<a id="locale-key-pairing-many"></a>
+### 번역 파일이 셋 이상일 때
+
+`equal`은 추출 결과 두 개를 비교합니다. 파일이 셋 이상이면 모든 파일의 키를 모은 합집합을
+만들고, 파일마다 `subset` 하나로 그 합집합을 모두 가지고 있는지 확인합니다. `onlyIn`은
+합집합에 아직 없는 키만 더하므로, 여러 파일에 있는 키도 그 키가 빠진 파일마다 증인 1건으로
+나옵니다. 이 방법은 `flattenKeys`가 각 항목의 키와 값에 같은 점 경로를 싣는다는 점에 기댑니다.
+`onlyIn`은 키를 비교하고 `subset`은 값을 비교하기 때문입니다. 줄 번호를 키로 삼는 `lines`처럼
+키와 값이 다른 추출에는 이 방법을 쓸 수 없습니다.
+
+`ko`·`en`·`fr` 세 파일이라면 위 예제의 `locale-key-parity` 항목을 다음으로 바꿉니다. `supply:
+'error'`는 없는 파일을 거부하므로, 위 절차를 실행하기 전에 같은 키를 가진 `locales/fr.json`도
+만듭니다(`printf '{"home":"Accueil"}\n' > locales/fr.json`).
+
+```yaml
+  - id: 'locale-key-parity'
+    why: 'every locale file must carry the same keys'
+    declare:
+      mechanism: 'pairing'
+      sources:
+        ko: { file: 'locales/ko.json' }
+        en: { file: 'locales/en.json' }
+        fr: { file: 'locales/fr.json' }
+      supply: { ko: 'error', en: 'error', fr: 'error' }
+      scope: { source: 'target.path', include: ['^locales/(ko|en|fr)\.json$'] }
+      extract:
+        ko: [{ op: 'source', of: 'ko' }, { op: 'json' }, { op: 'flattenKeys' }]
+        en: [{ op: 'source', of: 'en' }, { op: 'json' }, { op: 'flattenKeys' }]
+        fr: [{ op: 'source', of: 'fr' }, { op: 'json' }, { op: 'flattenKeys' }]
+        enNew: [{ op: 'onlyIn', of: 'en', notIn: 'ko' }]
+        koEn: [{ op: 'union', of: ['ko', 'enNew'] }]
+        frNew: [{ op: 'onlyIn', of: 'fr', notIn: 'koEn' }]
+        all: [{ op: 'union', of: ['koEn', 'frNew'] }]
+      relate:
+        - { id: 'ko-full', relation: { op: 'subset', of: 'all', in: 'ko' }, message: '{value} is missing from ko' }
+        - { id: 'en-full', relation: { op: 'subset', of: 'all', in: 'en' }, message: '{value} is missing from en' }
+        - { id: 'fr-full', relation: { op: 'subset', of: 'all', in: 'fr' }, message: '{value} is missing from fr' }
+```
+
+기준이 되는 파일은 없습니다. `ko`에만 있는 키는 `en-full`과 `fr-full`을 위반하고, `en`과
+`fr`에만 있는 키는 `ko-full` 하나만 위반합니다. 파일이 하나 늘 때마다 추출 세 개(그 파일의 키,
+`onlyIn`, 다음 `union`)와 관계 항목 하나가 늘고, 모든 관계 항목의 `of`는 그 마지막 `union`으로
+옮깁니다.
+
 <a id="which-list"></a>
 ## 어느 목록에 적는가
 
-규율 목록은 셋이고, 항목이 어느 목록에 속하는지는 소스 축이 정합니다. 기전이 정하지도 않고
-관계가 정하지도 않습니다. 같은 `companion` 기전이라도 `file` 소스 위에 서면 `disciplines`에
-있고 `changes` 위에 서면 `changeSetDisciplines`에 있습니다. 선언의 소스를 읽으면 목록이
-따라 나옵니다.
+선언이 읽는 소스에 따라 규율 목록을 선택합니다. 예를 들어 `companion` 선언이 `file`
+소스만 읽으면 `disciplines`에, `changes`를 읽으면 `changeSetDisciplines`에 적습니다.
 
 | 선언이 읽는 것 | 목록 | 예 |
 |---|---|---|
@@ -112,37 +156,30 @@ git restore -- locales/en.json locales/ko.json
 됩니다. 규칙 자체와 오류 모양은
 [설정 참조](../reference/configuration/index.ko.md#placement-rule)에 있습니다.
 
-표면이 공급해야 할 것을 본체가 읽지 않아도 실제로는 표면에 묶이는 항목이 있습니다. 대화
-기록을 읽는 밸브(`witness`)가 달린 항목은 밸브 자신의 `extract`가 대화 기록을 묶으므로 세션
-항목이 됩니다.
+목록을 고를 때는 `witness` 블록의 소스도 포함합니다. 그 블록의 `extract`가 대화 기록을
+읽으면 항목 전체를 `sessionDisciplines`에 적습니다.
 
 <a id="posture"></a>
 ## 무인 실시간 표면의 기본 자세
 
-무인 실시간 표면은 터미널 앞에 사람이 없는 어댑터 훅이나 SDK 호출자입니다. 사람이 지켜보는
-자리에는 적용되지 않는 규칙 둘이 이곳에 적용됩니다.
-
-**루프가 회차 안에서 스스로 고치지 못하는 항목을 `enforce: block`으로 올립니다.** 기준은
-"되돌릴 수 없는가"가 아닙니다. 실시간 차단의 비용은 초 단위입니다. 모델이 stderr의 사유를
-읽고 다시 시도하므로 위반이 그 회차 안에서 고쳐집니다. `advise`로 두면 같은 위반이 뒤의
-검사, 곧 테스트 실행이나 CI나 리뷰어에게까지 가서 회차 하나를 쓰며 최대 45분이 듭니다.
-"무인이니 전부 차단"이라는 뜻은 아닙니다. 차단은 회피를 낳고 회피는 텔레메트리 행을 남기지
-않으므로, 루프가 손댈 수 없는 항목은 위반이라도 기록되는 `advise`에 두는 편이 낫습니다. 이
-기준은 설정 저자의 것입니다.
-
-**밸브가 없으므로 사유가 값으로 돌아옵니다.** 실시간 무인 표면에는 증인 밸브가 없습니다.
-TTY도 사람의 턴도 없고, SDK는 증인 인자를 받지 않으며 세션을 지어내지도 않습니다. 그 자리를
-대신하는 것이 사유를 데이터로 돌려주는 일입니다. `checkCovenant`는
-`{ verdict: 'blocked', reason }`을 돌려주며 `reason`은 판정기 자신의 stderr이고,
-`{ verdict: 'upheld', advisories }`는 종료 코드 0인 실행의 권고 줄을 싣습니다. 소비자는 그
-텍스트를 사람이 나중에 읽는 자리, 곧 이슈나 로그에 적고 멈춥니다. 권고 텍스트를 모델에게
-보일지도 소비자가 정합니다. 무인 루프에는 stderr 한 줄을 읽을 사람이 없으므로, 호출자가
-전달해야 권고가 소비됩니다. 판정 결과의 모양은
-[`@polydeukes/sdk-ts` 참조](../reference/packages/sdk-ts.ko.md)에 있습니다.
-
-SDK 자신의 기본값은 실행 전체에 대한 `enforce: 'block'`이며, 이것은 표면의 강제 수준이지
-항목의 것이 아닙니다. 보호 경로와 `enforce: block` 항목이 호출을 멈추고, 나머지 위반은
-`advised`로 기록됩니다. 두 어댑터도 같은 방식으로 판정기를 스폰합니다.
+사람이 지켜보지 않는 어댑터 훅이나 SDK 호출자는 차단과 권고를 받았을 때 어떻게 처리할지
+정해야 합니다.
+
+**권고만으로는 루프가 위반을 수정하지 않을 때 `enforce: block`을 사용합니다.** 호출자는
+모델에게 사유와 재시도 방법을 전달해야 합니다. 루프가 진단에 따라 조치할 수 없는 항목은
+`advise`로 두고, 기록된 위반을 사람이 검토할 수 있게 합니다. 해당 루프의 실제 관측 결과를
+바탕으로 강제 수준을 선택하세요.
+
+**진단을 호출자에게 돌려줍니다.** `checkCovenant`는 판정기의 stderr를 담은
+`{ verdict: 'blocked', reason }` 또는 종료 코드 0인 실행의 권고를 담은
+`{ verdict: 'upheld', advisories }`를 반환합니다. SDK는 별도의 증인 인자를 받지 않습니다.
+호출자는 진단을 모델에게 전달할지, 이슈나 로그에 기록할지, 재시도하거나 중단할지 정합니다.
+권고도 호출자가 전달해야 모델이 읽을 수 있습니다.
+반환 타입은 [SDK 참조](../reference/packages/sdk-ts.ko.md#verdicts)에 있습니다.
+
+SDK는 실행 전체에 기본값 `enforce: 'block'`을 적용합니다. 이 수준에서는 보호 경로와
+`enforce: block` 항목이 호출을 멈출 수 있고, 나머지 규율 위반은 `advised`로 기록됩니다.
+세 에이전트 어댑터도 같은 설정을 사용합니다.
 
 <a id="when-to-draft"></a>
 ## 선언 대신 초안으로 남길 때