polydeukes 0.9.0 → 0.10.0

package/dist/docs/README.ko.md

@@ -2,34 +2,59 @@
 
 [English](./README.md) · **한국어**
 
-> AI 코딩 파트너와 함께 개발하기 위한 규율 프레임워크입니다. 궁금한 곳부터 읽으십시오.
+폴리데우케스는 AI 코딩 파트너와 함께 개발하기 위한 규율(discipline) 프레임워크입니다.
+아래에서 하려는 작업에 맞는 안내를 선택하세요.
 
+<a id="여기서-시작하십시오"></a>
 <a id="start-here"></a>
-## 여기서 시작하십시오
+## 시작하기
 
 | 하려는 것 | 읽을 문서 |
 |---|---|
-| 첫 눈에 보이는 판정을 보고 싶다 | [첫 판정](./tutorials/first-judgment.ko.md) — 설치하고 Claude Code를 배선한 뒤 보호된 편집이 판정되는 모습을 봅니다 |
-| Claude Code, Grok, Codex, git을 연결하고 싶다 | [표면 연결하기](./how-to/connect-surfaces.ko.md) — 세션과 커밋 배선, Grok와 Codex 포함 |
-| 프로젝트 설정을 다듬고 싶다 | [프로젝트 설정하기](./how-to/configure-project.ko.md) — 발견, IDE 지원, advise와 block의 선택 |
-| 실제 규율을 쓰고 싶다 | [규율 작성하기](./how-to/write-disciplines.ko.md) — 실전 선언 예제, 특히 locale key pairing |
+| 첫 판정을 확인하고 싶다 | [첫 판정](./tutorials/first-judgment.ko.md) — 설치와 Claude Code 연동을 마치고 보호 파일 편집에 대한 판정을 확인합니다 |
+| Claude Code, Grok, Codex, git을 연결하고 싶다 | [표면 연결하기](./how-to/connect-surfaces.ko.md) — 세션과 커밋 연동 설정, Grok와 Codex 포함 |
+| 프로젝트 설정을 다듬고 싶다 | [프로젝트 설정하기](./how-to/configure-project.ko.md) — 설정 파일 찾기, IDE 지원, advise와 block 선택 |
+| 실제 규율을 쓰고 싶다 | [규율 작성하기](./how-to/write-disciplines.ko.md) — 번역 키 짝 맞춤을 포함한 선언 예제 |
 | 차단이나 건너뜀에서 회복하고 싶다 | [문제 해결](./troubleshooting.ko.md) — fail-closed 상태, 증인 밸브, 로그 |
 | 이 프레임워크가 왜 있는지 알고 싶다 | [왜 폴리데우케스인가?](./why-polydeukes.ko.md) — 설계 백서 |
 | 이 문서에 기여하고 싶다 | [문서에 기여하기](./contributing.ko.md) — 영한 쌍, 안정 ID, 카탈로그, 검사 |
 
 <a id="reference"></a>
-## 레퍼런스
+## 참조
 
-설정 키, 하위 명령, 종료 코드를 설명합니다. 계획이 아니라 현재 동작을 기준으로 서술합니다.
+<a id="reference-cli"></a>
+### CLI 명령어
 
-| 문서 | 답하는 것 |
+| 명령어 | 용도 |
+|---|---|
+| [`pdks covenant check`](./reference/cli/covenant-check.ko.md) | 입력 IR이나 unified diff를 판정하고 결과와 종료 코드 확인 |
+| [`pdks init`](./reference/cli/init.ko.md) | 프로젝트 설정 생성 |
+| [`pdks explain`](./reference/cli/explain.ko.md) | 등록된 규율과 강제 수준 확인 |
+| [`pdks docs`](./reference/cli/docs.ko.md) | 설치된 문서 검색과 조회 |
+
+<a id="reference-configuration"></a>
+### 설정
+
+[설정 참조](./reference/configuration/index.ko.md)에서 `polydeukes.config.yaml`의 키와
+강제 수준, 규율 목록, 증인 설정을 확인합니다.
+
+<a id="reference-declaration-language"></a>
+### 선언 언어
+
+[선언 언어 참조](./reference/declaration-language/index.ko.md)에서 소스, 추출 단계,
+조합 연산, 관계, 기전의 전체 문법과 제약을 확인합니다.
+
+<a id="reference-packages"></a>
+### 패키지
+
+| 패키지 | 담당 기능 |
 |---|---|
-| [설정 레퍼런스](./reference/configuration/index.ko.md) | `polydeukes.config.yaml`에 무엇을 넣을 수 있고 각 키가 무엇을 하는지 |
 | [`polydeukes` (`pdks` CLI)](./reference/packages/polydeukes.ko.md) | 패키지 계약과 그 안에 있는 판정기. 서브커맨드는 [`reference/cli/`](./reference/cli/covenant-check.ko.md) |
 | [`@polydeukes/core`](./reference/packages/core.ko.md) | 프로토콜, 입력 IR, 설정 스키마, 텔레메트리 |
 | [`@polydeukes/adapter-claude-code`](./reference/packages/adapter-claude-code.ko.md) | Claude Code 세션 표면입니다. 훅 페이로드에서 입력 IR로 |
 | [`@polydeukes/adapter-grok`](./reference/packages/adapter-grok.ko.md) | Grok 세션 표면입니다. 훅 페이로드에서 입력 IR로 |
 | [`@polydeukes/adapter-codex`](./reference/packages/adapter-codex.ko.md) | Codex 세션 표면입니다. 훅 페이로드에서 입력 IR로, 패치가 건드리는 파일마다 원소 하나 |
+| [`@polydeukes/sdk-ts`](./reference/packages/sdk-ts.ko.md) | TypeScript에서 판정기를 호출하고 결과를 처리하는 방법 |
 
 <a id="shape-of-the-thing"></a>
 ## 한 페이지로 보는 구조
@@ -37,16 +62,16 @@
 폴리데우케스는 개발자나 AI 에이전트가 하려는 일을 판정하고 결과를 기록합니다.
 기본값으로는 작업을 차단하지 않습니다. 설계의 바탕은 다음 세 가지입니다.
 
-**약속은 가두기 위한 울타리가 아닙니다.** 여기서 확인하는 규율은 개발자가 이미 스스로 지켜 온 것들입니다. AI에게만큼 사람에게도 똑같이 적용되고, 프레임워크를 만든
-사람도 매일 그 판정을 받습니다.
+**약속(covenant)은 합의한 개발 관행을 검사합니다.** 같은 규율을 사람과 AI의 작업에
+적용하며, 이 프로젝트의 작성자도 일상적인 개발에서 사용합니다.
 
-**판정과 차단은 별개의 결정입니다.** 선언된 규율은 적용 범위에 해당하는 호출마다 판정합니다.
-위반했을 때 호출을 차단할지는 별도로 정합니다. 기본값으로는 사유를 기록하고 호출을 계속합니다.
-작성자는 `enforce: block`으로 차단을 선택할 수 있습니다. 별도 선택 없이 차단하는 것은
-프레임워크 자체를 보호하는 경우뿐입니다.
+**판정과 차단은 별도로 정합니다.** 선언된 규율은 적용 범위에 해당하는 호출을 판정합니다.
+기본값으로는 위반 사유를 기록하고 호출을 계속합니다. 위반을 차단하려면 항목에
+`enforce: block`을 설정합니다. 프레임워크 자체의 보호 기능은 세션 호출을 기본으로 차단합니다.
 
-**모든 판정은 행 하나를 남깁니다.** `.polydeukes/roi.log`가 판정 결과마다 한 줄씩, 낱말 여섯 개짜리 어휘로 담습니다. 이 프로젝트가 자기 결함을 찾는
-방법이 그 기록입니다. 백서에 적힌 결함들도 전부 코드를 읽어서가 아니라 행을 세어서 나왔습니다.
+**판정 결과를 기록합니다.** `.polydeukes/roi.log`에 판정 결과와 관련 정보가 쌓입니다.
+이 로그로 위반, 건너뛴 검사, 예상과 다른 결과를 조사할 수 있습니다.
+[설계 설명](./why-polydeukes.ko.md)에서는 기록을 바탕으로 프로젝트를 개선한 과정을 다룹니다.
 
 <a id="two-surfaces"></a>
 ## 두 표면

package/dist/docs/README.md

@@ -2,8 +2,8 @@
 
 **English** · [한국어](./README.ko.md)
 
-> A development discipline framework for building alongside an AI coding partner. Start where your
-question is.
+Polydeukes is a development discipline framework for building alongside an AI coding partner.
+Choose a guide for your task below.
 
 <a id="start-here"></a>
 ## Start here
@@ -21,36 +21,58 @@ question is.
 <a id="reference"></a>
 ## Reference
 
-Every key, every subcommand, every exit code. These describe the present state only — nothing here
-is aspirational.
+<a id="reference-cli"></a>
+### CLI commands
 
-| Document | Answers |
+| Command | Purpose |
+|---|---|
+| [`pdks covenant check`](./reference/cli/covenant-check.md) | Judge an input IR or unified diff; read verdicts and exit codes |
+| [`pdks init`](./reference/cli/init.md) | Create project configuration |
+| [`pdks explain`](./reference/cli/explain.md) | Inspect registered disciplines and enforcement |
+| [`pdks docs`](./reference/cli/docs.md) | Search and retrieve installed documentation |
+
+<a id="reference-configuration"></a>
+### Configuration
+
+[Configuration reference](./reference/configuration/index.md) covers `polydeukes.config.yaml`
+keys, enforcement levels, discipline lists, and witness settings.
+
+<a id="reference-declaration-language"></a>
+### Declaration language
+
+[Declaration language reference](./reference/declaration-language/index.md) lists every source,
+extraction step, combinator, relation, and mechanism with its syntax and constraints.
+
+<a id="reference-packages"></a>
+### Packages
+
+| Package | Responsibility |
 |---|---|
-| [Configuration reference](./reference/configuration/index.md) | What may go in `polydeukes.config.yaml`, and what each key does |
 | [`polydeukes` (the `pdks` CLI)](./reference/packages/polydeukes.md) | Package contract, and the judge that lives inside it; subcommands live under [`reference/cli/`](./reference/cli/covenant-check.md) |
 | [`@polydeukes/core`](./reference/packages/core.md) | The protocol, the input IR, the config schema, telemetry |
 | [`@polydeukes/adapter-claude-code`](./reference/packages/adapter-claude-code.md) | Claude Code session surface — hook payloads become the input IR |
 | [`@polydeukes/adapter-grok`](./reference/packages/adapter-grok.md) | Grok session surface — hook payloads become the input IR |
 | [`@polydeukes/adapter-codex`](./reference/packages/adapter-codex.md) | Codex session surface — hook payloads become the input IR, one element per file the patch touches |
+| [`@polydeukes/sdk-ts`](./reference/packages/sdk-ts.md) | Call the judge from TypeScript and handle its result |
 
+<a id="the-shape-of-the-thing-in-one-page"></a>
 <a id="shape-of-the-thing"></a>
-## The shape of the thing, in one page
+## How it works
 
 Polydeukes judges what a developer or an AI agent is about to do, records the verdict, and by
 default lets the work proceed. Three ideas carry the rest.
 
-**A covenant is a promise, not a fence.** The disciplines it enforces are the ones a good developer
-already imposes on themselves. They bind the human exactly as much as the AI, and the framework's
-own authors get judged by them daily.
+**Covenants check agreed development practices.** The same disciplines apply to human and AI
+work. This project's authors use them in daily development.
 
-**Judging and stopping are separate decisions.** Every declared discipline is judged on every
-matching call. What a break then does is a second question: by default it is recorded with its
-reason and the call continues. `enforce: block` is a promotion the author chooses. The only things
-that stop a call unasked are the framework's own protections.
+**Judging and stopping are separate decisions.** Every declared discipline is judged on matching
+calls. By default, a violation is recorded with its reason and the call continues. Set
+`enforce: block` on an entry to stop violations. The framework's own protections block session
+calls by default.
 
-**Every judgment leaves a row.** `.polydeukes/roi.log` holds one line per verdict, in a vocabulary
-of six words. That record is how this project finds its own defects — including the ones described
-in the whitepaper, which were all found by counting rows rather than by reading code.
+**Judgments are recorded.** `.polydeukes/roi.log` stores verdicts and their context. Use the log
+to investigate violations, skipped checks, and unexpected results. The
+[design explanation](./why-polydeukes.md) describes how these records informed the project.
 
 <a id="two-surfaces"></a>
 ## Two surfaces

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