polydeukes 0.8.0 → 0.10.0

package/dist/docs/reference/packages/sdk-ts.ko.md

@@ -2,8 +2,8 @@
 
 [English](sdk-ts.md) · **한국어**
 
-> **TypeScript에서 판정기로 가는 동사 하나**입니다. 약속(covenant) 입력 IR을
-> `pdks covenant check`에 건네고 판정 결과를 값으로 돌려받습니다.
+> **TypeScript에서 판정기를 호출합니다.** `checkCovenant`에 약속(covenant) 입력 IR을
+> 전달하면 `pdks covenant check`의 판정 결과를 값으로 반환합니다.
 >
 > 베타입니다. `polydeukes` · `@polydeukes/core`와 함께 설치하며, 둘 다 이 패키지의
 > `peerDependencies`입니다.
@@ -11,18 +11,16 @@
 <a id="ownership"></a>
 ## 담당하는 기능
 
-스폰과, 종료 상태를 값으로 옮기는 일이 전부입니다. 판정받는 프로젝트의 `polydeukes` 설치를
-찾고, 그 실행 파일에 입력을 표준 입력으로 넣어 돌린 뒤, 자식이 답한 것을 돌려줍니다. 판정
-코드는 여기에 없습니다. 분기는 우산 패키지를 찾았는지와 자식이 어떤 상태로 끝났는지뿐입니다.
+판정받는 프로젝트에서 `polydeukes`를 찾고, 실행 파일의 표준 입력으로 IR을 전달한 뒤
+자식 프로세스의 종료 코드를 판정 결과로 변환합니다. 실제 판정은 자식 프로세스가 수행합니다.
 
 | 단위 | 하는 일 |
 |---|---|
 | `checkCovenant` | 판정받는 프로젝트에서 `pdks covenant check`를 스폰하고 판정 결과를 돌려줍니다 |
-| 우산 해소 | `repoRoot`의 설치 그래프에서 `polydeukes`를 찾아 `pdks` 실행 파일을 읽습니다 |
+| 우산 패키지 찾기 | `repoRoot`의 설치 그래프에서 `polydeukes`를 찾아 `pdks` 실행 파일을 읽습니다 |
 | 판정 결과 변환 | 종료 코드 `0`은 `upheld`, `2`는 `blocked`, 그 밖은 모두 `unjudged`입니다 |
 
-이 패키지는 텔레메트리 행을 쓰지 않습니다. 실행이 남기는 행은 모두 판정이 일어난 자식
-프로세스가 쓰므로, 호출 하나에 행 하나는 그대로입니다.
+텔레메트리는 자식 프로세스가 판정 중에 기록합니다. SDK는 중복 행을 추가하지 않습니다.
 
 <a id="install"></a>
 ## 설치
@@ -31,11 +29,12 @@
 pnpm add @polydeukes/sdk-ts polydeukes @polydeukes/core
 ```
 
-실행 파일도 설치 단계도 없습니다. 우산 패키지가 SDK가 스폰할 판정기를 공급하고, 코어가
+별도의 초기화 명령은 필요하지 않습니다. 우산 패키지가 SDK가 스폰할 판정기를 공급하고, 코어가
 호출자가 채우는 `CovenantInput` 타입을 공급합니다.
 
+<a id="동사"></a>
 <a id="verb"></a>
-## 동사
+## `checkCovenant`
 
 이 패키지는 ESM 전용입니다(`"type": "module"`, `import` 조건만 있고 `require`는 없음).
 호출하는 파일이 `.mjs`이거나 그 `package.json`이 `"type": "module"`을 선언해야 합니다.
@@ -90,7 +89,7 @@ type CheckCovenantSpawnSpec = { command: string; args: string[]; cwd: string; st
 | `repoRoot` | 판정받는 프로젝트입니다. 설정 발견, 세계 축, 자식의 cwd, 우산 패키지를 찾는 설치 그래프가 모두 여기 걸립니다 |
 | `input` | 호출자 자신의 IR이며 자식의 표준 입력으로 원문 그대로 갑니다 |
 | `enforce` | 실행 전체에 대한 관측자의 기본 자세입니다. **적지 않으면 `block`입니다** |
-| `spawn` | 주입하는 스폰 이음매입니다. 없으면 이 프로세스의 node 실행 파일로 자식을 띄웁니다 |
+| `spawn` | 자식 프로세스 실행 함수를 지정합니다. 생략하면 현재 프로세스의 Node.js 실행 파일을 사용합니다 |
 
 **`enforce`의 기본값은 `block`입니다.** 이것은 표면의 강제 수준이지 항목의 것이 아닙니다.
 보호 경로와 `enforce: block`을 단 항목이 호출을 멈추고, 나머지 위반은 종료 코드 0에
@@ -118,17 +117,15 @@ type CheckCovenantVerdict =
 | `blocked` | `2` | 호출이 판정을 받았고 무언가 막았습니다. `reason`은 자식의 stderr 원문입니다. 진행하지 않습니다 |
 | `unjudged` | 그 밖의 상태이거나 우산 패키지가 없음 | 판정이 일어나지 않았습니다. `reason`이 어느 쪽인지 말합니다. 이것을 통과로 읽으면 판정기가 설치되지 않은 프로젝트에서 모든 호출이 지나갑니다 |
 
-**밸브가 없고 그 자리를 사유가 대신합니다.** 무인 실시간 호출자에게는 TTY도 사람의 턴도
-없으므로, 이 패키지는 증인 인자를 받지 않고 세션을 지어내지도 않습니다. 대신
-`blocked.reason`과 `upheld.advisories`가 데이터로 돌아오고, 그 텍스트를 이슈나 로그에 적을지
-모델에게 돌려줄지는 소비자가 정합니다. 설정 저자와 소비자를 위한 기본 자세 규칙은
-[규율 작성하기](../../how-to/write-disciplines.ko.md#posture)에 있습니다.
+SDK는 `blocked.reason`과 `upheld.advisories`를 데이터로 반환합니다. 소비자는 이 내용을
+모델에게 전달하거나 이슈 또는 로그에 기록할 수 있습니다. SDK는 별도의 증인 인자를 받지 않습니다.
+무인 루프에서 결과를 처리하는 방법은
+[규율 작성하기](../../how-to/write-disciplines.ko.md#posture)를 참고하세요.
 
 <a id="failure"></a>
 ## 실패 예제
 
-프로젝트에 `polydeukes`가 설치돼 있지 않으면 스폰할 것이 없고, 동사는 `upheld`로 답하는 대신
-그 사실을 말합니다.
+프로젝트에 `polydeukes`가 설치돼 있지 않으면 `checkCovenant`는 `unjudged`를 반환합니다.
 
 ```ts
 const verdict = await checkCovenant({ repoRoot: '/tmp/project-without-polydeukes', input });

package/dist/docs/reference/packages/sdk-ts.md

@@ -2,8 +2,8 @@
 
 **English** · [한국어](sdk-ts.ko.md)
 
-> **One verb from TypeScript to the judge** — hand a covenant input IR to
-> `pdks covenant check` and read the verdict back as a value.
+> **Call the judge from TypeScript.** Pass a covenant input IR to `checkCovenant`
+> and receive the verdict from `pdks covenant check` as a value.
 >
 > Beta. Install it next to `polydeukes` and `@polydeukes/core`, which it names as
 > `peerDependencies`.
@@ -11,10 +11,9 @@
 <a id="ownership"></a>
 ## What this package owns
 
-The spawn and the translation of an exit status into a value, and nothing else. It locates the
-`polydeukes` install of the project being judged, runs its bin with the input on stdin, and
-returns what the child answered. No judgment logic lives here: the branches are whether the
-umbrella resolved and what status the child left with.
+The package finds `polydeukes` in the project being judged, runs its bin with the input on
+stdin, and converts the child process's exit status into a verdict. The child process performs
+the judgment.
 
 | Unit | What it does |
 |---|---|
@@ -22,8 +21,7 @@ umbrella resolved and what status the child left with.
 | Umbrella resolution | Finds `polydeukes` in the install graph of `repoRoot` and reads its `pdks` bin |
 | Verdict translation | Exit `0` is `upheld`, exit `2` is `blocked`, everything else is `unjudged` |
 
-This package writes no telemetry row. Every row a run leaves is written by the child process,
-where the judgment happened, so one call still leaves one row.
+The child process writes telemetry during judgment. The SDK does not add duplicate rows.
 
 <a id="install"></a>
 ## Install
@@ -32,11 +30,12 @@ where the judgment happened, so one call still leaves one row.
 pnpm add @polydeukes/sdk-ts polydeukes @polydeukes/core
 ```
 
-There is no bin and no install step. The umbrella supplies the judge the SDK spawns, and the
+No separate initialization command is needed. The umbrella supplies the judge the SDK spawns, and the
 core supplies the `CovenantInput` type the caller fills in.
 
+<a id="the-verb"></a>
 <a id="verb"></a>
-## The verb
+## `checkCovenant`
 
 The package is ESM only (`"type": "module"`, an `import` condition and no `require`): the calling
 file is a `.mjs`, or its `package.json` declares `"type": "module"`.
@@ -120,17 +119,15 @@ type CheckCovenantVerdict =
 | `blocked` | `2` | The call was judged and something blocked it. `reason` is the child's stderr verbatim. Do not proceed |
 | `unjudged` | anything else, or no umbrella | No judgment happened. `reason` says which. Reading it as an uphold would let an uninstalled judge pass every call |
 
-**There is no valve, and the reason is the substitute.** An unattended real-time caller has no
-TTY and no human turn, so this package takes no witness argument and invents no session.
-`blocked.reason` and `upheld.advisories` come back as data instead, and the consumer decides
-where the text goes — an issue, a log, or back to the model. The posture rules for a config
-author and for a consumer are in [write disciplines](../../how-to/write-disciplines.md#posture).
+The SDK returns `blocked.reason` and `upheld.advisories` as data. The consumer decides where
+to send them: to the model, an issue, or a log. The SDK accepts no separate witness argument.
+See [write disciplines](../../how-to/write-disciplines.md#posture) for handling these results
+in an unattended loop.
 
 <a id="failure"></a>
 ## A failure example
 
-When the project has no `polydeukes` installed there is nothing to spawn, and the verb says so
-rather than answering `upheld`:
+If the project has no `polydeukes` installed, `checkCovenant` returns `unjudged`:
 
 ```ts
 const verdict = await checkCovenant({ repoRoot: '/tmp/project-without-polydeukes', input });

package/dist/docs/troubleshooting.ko.md

@@ -67,11 +67,15 @@ Git에서 원래 파일을 복원하세요. 새 프로젝트라면 `pdks init`,
   바뀌면 `/hooks`에서 승인하기 전까지 신뢰하지 않으므로, 설치기가 성공해도 실행되는 훅이
   없을 수 있습니다. 실제 도구를 호출하고 텔레메트리를 확인하세요.
 - Codex는 대화 기록 경로를 알려 주지만 그 형식을 안정된 것으로 문서화하지 않으므로 어떤
-  판정도 읽지 않고, IR은 `session`과 `actor`를 생략합니다. 따라서 세션 증인(witness)
-  밸브가 쓸 인간 메시지 증거가 없으며, 훅을 다시 승인해도 이 기능이 생기지는 않습니다.
-  복구가 필요하면 본인의 터미널에서 작업하세요.
+  판정도 읽지 않습니다. 대신 어댑터가 `UserPromptSubmit`과 `PostToolUse`를 자기 세션 증거
+  파일에 기록하고 `SessionEnd`에서 지웁니다. IR은 이 `session`을 싣되 `actor`를 합성하지
+  않습니다.
+- 의도한 차단 뒤에는 설정된 증인 토큰을 첫 줄에 단독으로 보내고 다시 시도합니다. stderr가
+  `UserPromptSubmit` 증거가 없다고 알리면 생명주기 항목 넷이 모두 승인됐는지 확인합니다.
+  그래도 증거가 없다면 토큰을 반복해도 관측되지 않은 호출을 풀 수 없으므로 본인의 터미널에서
+  작업합니다.
 
-커밋 증인은 차단된 Codex 도구 호출도 허용하지 않습니다.
+커밋 증인은 스테이징 검사만 허용하며 Codex 세션 증인을 대신하지 않습니다.
 
 <a id="config-fault"></a>
 ## 선언을 판정으로 구성하지 못할 때
@@ -149,13 +153,17 @@ covenant check failed closed: invalid config in polydeukes.config.yaml: … —
 <a id="skipped-rows-on-the-change-set-surface"></a>
 ## 변경 집합 표면의 미판정 기록
 
-대화 기록을 읽는 선언에 `supply: { session: 'pass' }`가 있으면 세션이 없는 변경 집합 표면에서는
-`supply-pass`를 기록합니다. 이 약속은 세션 표면에서 확인하세요. 미판정은 과거 작업을
-검증했다는 뜻이 아닙니다. 다른 채널을 공급할 수 없으면 `no-observation`이 나올 수도
-있습니다. 모든 자료 부재를 같은 실패로 취급하지 말고 등록 내용과 사유를 확인하세요.
+변경 집합 표면은 `disciplines`와 `changeSetDisciplines`를 컴파일합니다.
+대화 기록이나 명령줄을 읽는 항목은 `sessionDisciplines`에 속하며 diff 판정에는 포함되지
+않습니다. 이런 항목을 공용 목록이나 변경 집합 목록에 넣으면 설정 오류가 발생합니다.
 
-스테이징한 변경에는 명령줄이 없으므로 명령 범위 선언은 적용되지 않으며 판정도 기록하지
-않습니다. 설정, 범위 일치, 자료 공급, 최종 비교는 각각 다른 단계입니다.
+변경 집합 항목이 읽는 소스가 없고 `supply` 정책이 `pass`이면 `supply-pass`를 기록합니다.
+선언을 컴파일할 수 없으면 `config-fault`를 기록합니다. `pdks explain`과 로그의 사유를
+확인하세요. 미판정은 규율을 지켰다는 증거가 아닙니다.
+
+세션 표면에서는 호스트가 대화 기록을 공급하지 않을 때
+`supply: { session: 'pass' }`로 건너뛸 수 있습니다.
+[규율 목록 셋](./reference/configuration/index.ko.md#three-lists)을 참고하세요.
 
 <a id="local-state"></a>
 ## 다른 컴퓨터로 프로젝트를 옮길 때

package/dist/docs/troubleshooting.md

@@ -65,12 +65,16 @@ The same two problems are distinct here, and the first has its own cause:
 - After `pdks-codex init`, hook trust is bound to the hash of the hook definition. A changed
   `.codex/hooks.json` is not trusted until you approve it through `/hooks`, so an installer that
   succeeded can still leave no hook running. Verify an actual call and its telemetry.
-- Codex names a transcript path but documents the format as unstable, so no judgment reads it
-  and the IR omits `session` and `actor`. The session witness valve therefore has no
-  human-message evidence to work from, and approving the hook again does not add that
-  capability. Perform a necessary repair from your own terminal.
+- Codex names a transcript path but documents the format as unstable, so no judgment reads it.
+  The adapter records `UserPromptSubmit` and `PostToolUse` into its own session evidence file
+  and removes it at `SessionEnd`; the IR carries that `session` without synthesizing `actor`.
+- After an intentional block, send the configured witness token alone on the first line and
+  retry. If stderr says no `UserPromptSubmit` evidence was recorded, confirm all four lifecycle
+  entries are approved. If evidence is still unavailable, perform the repair from your own
+  terminal; repeating the token cannot release an unobserved call.
 
-A commit witness cannot release a blocked Codex tool call either.
+A commit witness authorizes only its staged check; it does not substitute for the Codex session
+witness.
 
 <a id="config-fault"></a>
 ## Config-fault
@@ -148,13 +152,17 @@ from the hook command rather than editing the config — the row is still writte
 <a id="skipped-rows-on-the-change-set-surface"></a>
 ## `skipped` rows on the change-set surface
 
-A transcript-reading declaration with `supply: { session: 'pass' }` records `supply-pass` when the
-change-set surface has no session. Use the session surface for that promise; a skip does not verify
-history. Other unavailable channels can produce `no-observation`. Inspect the registration and
-reason instead of treating every missing source as the same failure.
+The change-set surface compiles `disciplines` and `changeSetDisciplines`.
+Transcript- and command-reading entries belong in `sessionDisciplines` and are not compiled
+for a diff. Putting either kind in a shared or change-set list causes a configuration error.
 
-A command-scoped declaration does not match a staged diff's absent command line and records no
-judgment there. Configuration, scope matching, supply, and the final comparison are separate steps.
+A change-set entry can record `supply-pass` when a source it reads is absent and its `supply`
+policy is `pass`, or `config-fault` when the declaration cannot compile. Check `pdks explain`
+and the log's reason field. A skip does not establish that the discipline was upheld.
+
+On the session surface, a transcript-reading entry can use `supply: { session: 'pass' }`
+when a host supplies no session history. See the [three discipline
+lists](./reference/configuration/index.md#three-lists).
 
 <a id="local-state"></a>
 ## Moving a project between machines

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "polydeukes",
-  "version": "0.8.0",
+  "version": "0.10.0",
   "description": "A development discipline framework for building alongside an AI coding partner — deterministic covenants, a verifiable work ledger, local memory, and adversarial verification. Beta.",
   "author": "huskyhoochu <dfg1499@gmail.com>",
   "keywords": [
@@ -44,7 +44,7 @@
   },
   "dependencies": {
     "yaml": "2.9.0",
-    "@polydeukes/core": "^0.8.0"
+    "@polydeukes/core": "^0.10.0"
   },
   "devDependencies": {
     "@types/node": "^24.0.0",