설정 레퍼런스

polydeukes.config.yaml의 설정 키를 절별로 설명합니다. 설정 파일의 역할, 파일을 찾지 못했을 때의 동작, 편집기 연결 방법은 폴리데우케스 설정하기에 있고, 규율이 발동할 때 판정이 어떤 모습인지는 같은 문서의 권고와 차단 중 선택하기 절에 있습니다.

관계와 추출 연산의 전체 문법은 선언 언어 참조에서 확인할 수 있습니다.

languages

필수 항목입니다. 언어 이름은 사용자 정의 키이며 typescript, python 등을 쓸 수 있습니다. 코어는 언어 이름을 하나도 내장하지 않고, 명령 문자열을 해석하지도 않습니다.

languages:
  typescript:
    productionGlob: 'packages/*/src/**/*.ts'   # 무엇이 프로덕션 소스인가
    testCmd: 'pnpm --filter {scope} test'      # {scope}는 해석 시점에 치환된다

testCmd는 함수가 아니라 템플릿 문자열입니다. 문자열의 모든 {scope}를 치환하며, 그 밖의 중괄호(${VAR}, {a,b}, awk '{print}')는 그대로 둡니다. scope를 사용하지 않는 명령(pnpm test)도 똑같이 유효합니다.

protectedPaths

선택 항목입니다. 약속(covenant)이 수정을 제한할 경로 패턴을 지정합니다. 편집 도구만이 아니라 셸 명령(sed -i, tee, 리다이렉트, heredoc, 상위 디렉터리 조작)도 같은 판정을 받습니다. 항목은 해석 시점에 정규화(공백 제거, 중복 제거)됩니다. 빈 문자열 항목은 경로 의미가 없으므로 로드 시점에 거부됩니다.

protectedPaths:
  - 'packages/core/src'
  - '.claude/hooks'

설정 파일은 자기 자신을 보호합니다. 발견된 설정 파일은 protectedPaths에 자동으로 덧붙습니다. 자기 관문을 낮추려는 편집도 다른 모든 편집과 같은 판정기를 거칩니다. 규율을 선언하는 파일이 규율 밖에 있다면 사슬 전체가 장식이 되기 때문입니다.

adapters

선택 항목입니다. 설정 파일 하나에 어댑터별 네임스페이스를 둡니다. 각 키는 어댑터 이름이며, 값은 해당 어댑터의 설정 객체입니다. 코어는 객체의 구조만 검증하고 내부 키와 값은 각 어댑터가 검증합니다. 네임스페이스 안에 알 수 없는 키가 있으면 해당 검증기가 이를 거부하고 오류 메시지에 전체 필드 경로를 표시합니다.

adapters:
  example:
    someKey: '예시 어댑터가 정의하는 값'

protectedPaths는 두 표면이 함께 쓰는 목록 하나입니다. 변경 집합 표면에만 더해지는 목록도, 설정의 표면 단위 강제 수준 키도 없습니다. 변경 집합 표면은 세션 표면과 같은 정규화 목록을 판정합니다. 위반은 세션 표면에서 종료 코드 2이고, 변경 집합 표면에서는 검사를 --enforce block으로 실행하지 않는 한 종료 코드 0에 advised로 기록됩니다. 판정기가 내는 것은 그 종료 코드뿐이며 커밋을 멈출지는 사용자의 훅 배선이 정합니다. 그래서 텔레메트리 행은 판정 결과만 기록하고 커밋이 진행됐는지는 기록하지 않습니다. 훅 배선이 종료 코드를 무시해 커밋이 진행돼도 blocked 행은 그대로 남습니다.

세션 표면(편집 시점 훅)에도 강제 수준 설정이 없습니다. 그곳에서 차단하는 것은 판정 사슬 자신의 보호입니다. 도구 축과 셸 축의 protectedPaths 변경과 언급, 세션 대화 기록, 판정할 수 없는 조립(설정 없음·무효, 빌드되지 않은 판정기, 파싱할 수 없는 페이로드, 답하지 못한 라우팅), 그리고 enforce: block으로 승격한 항목입니다. 그 밖의 모든 규율 항목은 위반 시 advised로 기록합니다.

선언은 자기 통로를 관측하는 표면에만 닿습니다. 대화 기록(transcript)을 읽는 선언은 sessionDisciplines에 적히고 변경 집합에 대해서는 컴파일되지 않으며, changes를 읽는 선언은 changeSetDisciplines에 적히고 호출 하나에 대해서는 컴파일되지 않습니다. 세 목록과 항목을 그중 하나에 놓는 규칙은 규율 목록 셋에 있습니다.

표면이 등록은 하되 호스트가 증명하지 못하는 통로는 여전히 선언의 supply 정책이 처리합니다. 세션을 싣지 않는 호스트(Grok 어댑터)에서는 sources: { session: { transcript: true } } 항목의 소스가 없는 상태가 되고, supply: { session: 'pass' }가 사유 supply-pass와 함께 skipped를 기록하며 호출을 지나가게 합니다. 이 정책이 없으면 없는 소스는 판정 불가(exit 2)이지 자동 건너뛰기가 아닙니다.

telemetry

선택입니다.

telemetry:
  logPath: '.polydeukes/roi.log'   # 생략 시 기본값. gitignore에 두는 것을 권장

정상 판정, 차단, 증언, 권고, 미판정은 각각 한 줄의 기록을 남깁니다. 텔레메트리는 의도적으로 fail-open입니다. 기록 실패가 판정을 바꾸는 일은 없습니다. 다만 경로 값 자체는 로드 시점에 검증되어, 비어 있거나 공백뿐인 logPath는 거부됩니다.

witness

선택입니다.

witness:
  token: 'pdks witness'   # 사람이 대화에 직접 입력하는 합의 문구
  ttlMinutes: 10              # 그 메시지 시점부터의 유효 시간(분)

사람이 설정된 토큰을 대화에 입력하면 증인(witness) 밸브가 열립니다. 그 메시지의 타임스탬프부터 ttlMinutes 동안 차단된 판정을 통과시킬 수 있으며, 시간이 지나면 차단이 재개됩니다. 이 섹션을 쓰면 두 키 모두 필수입니다. token은 공백을 제거한 뒤에도 값이 있어야 하고, ttlMinutes는 0보다 큰 유한한 수여야 합니다.

판정기는 밸브를 확인하기 전에 판정을 실행합니다. 차단된 판정만 witnessed로 바뀌며, 정상 판정과 권고는 기존 결과를 유지합니다.

토큰은 메시지 첫 줄에 단독으로 놓여야 합니다. 증언을 발동하는 것과 증언을 이야기하는 것은 다릅니다. 문장 안에서 토큰을 인용하거나 묻거나 설명하는 메시지는, 백틱으로 감싼 경우까지 포함해 밸브를 열지 않습니다. 첫 줄에 토큰만 있으면 발동하고, 이어지는 줄은 작업 내용으로 자유롭게 씁니다.

발동하는 메시지입니다. 첫 줄에 토큰만 두고 나머지 줄은 자유롭게 씁니다.

pdks witness

이제 훅 파일을 고쳐줘

언급일 뿐인 메시지입니다. 밸브는 닫힌 채입니다.

그런데 `pdks witness` 는 언제 만료되나요?

토큰 값 자체는 자유입니다. 어떤 문구든 쓸 수 있고, 접두사나 명령 형태를 검사하지 않습니다. 제약을 받는 것은 놓이는 자리뿐입니다.

어댑터가 토큰을 담은 메시지를 사람의 입력으로 확인해야 밸브가 열립니다. 토큰을 아는 것만으로는 증언할 수 없습니다. 밸브로 통과한 판정은 모두 witnessed로 기록됩니다.

규율 목록 셋

선언이 읽는 증거 통로(channel)에 따라 목록을 선택합니다. 표면마다 공급하는 통로가 다르므로, 해당 통로를 공급할 수 없는 표면의 목록에 항목을 적으면 로더가 거부합니다.

목록	판정하는 표면	그 목록의 선언이 읽는 것
disciplines	두 표면 모두	변경된 파일 자신(target.path · pre · post · state)과 file 소스뿐입니다. 초안(draft)도 여기에 적습니다
sessionDisciplines	세션 표면(session surface)만	command · transcript · sidecar 통로 · actor 가운데 하나 이상을 읽고 changes는 읽지 않습니다
changeSetDisciplines	변경 집합 표면(change-set surface)만	changes를 읽고 세션 통로는 읽지 않습니다

세션 표면은 호스트가 실행 전에 관측한 호출 하나입니다. 어댑터 훅이거나, 입력 IR로 SDK를 부르는 프로그램입니다. 이 표면은 명령줄과 대화 기록(transcript), 스폰 기록 통로, 주체(actor)를 싣고 끝난 변경 집합은 싣지 않습니다. 변경 집합 표면은 어떤 생산자가 끝낸 변경 집합을 판정하는 pdks covenant check --diff입니다. 이 표면은 changes를 싣고 명령줄과 대화 기록과 주체는 싣지 않습니다.

통로와 목록의 대응

통로마다 선언에 나타나는 구문 자리가 정해져 있고, 로더는 그 자리를 읽어 목록을 유도합니다.

통로	선언에 나타나는 모양	목록
transcript	sources: { session: { transcript: true } }	sessionDisciplines
channel	sources: { spawns: { sidecar: true } }	sessionDisciplines
command	scope: { source: 'command' }, 또는 어느 파이프라인의 { op: 'source', of: 'command' }	sessionDisciplines
actor	어느 파이프라인의 { op: 'source', of: 'actor' }	sessionDisciplines
changes	어느 파이프라인의 { op: 'source', of: 'changes' }	changeSetDisciplines
다섯 가운데 없음	선언이 변경된 파일과 file 소스만 읽습니다	disciplines

witness 블록 자신의 extract도 본체와 함께 훑으므로, 대화 기록을 읽는 밸브가 달린 항목은 다른 대화 기록 독자와 마찬가지로 sessionDisciplines에 들어갑니다.

배치 규칙

disciplines에는 다섯 통로를 하나도 묶지 않는 항목과 초안 전부가 들어갑니다. sessionDisciplines에는 세션 통로를 하나 이상 묶고 changes는 묶지 않는 항목이 들어갑니다. changeSetDisciplines에는 changes를 묶고 세션 통로는 묶지 않는 항목이 들어갑니다. 그 밖은 로드 시점에 두 표면 모두에서 ConfigValidationError이고, 메시지가 항목과 그 항목이 읽는 통로와 가야 할 목록을 함께 댑니다.

disciplines[7] ('merge-is-the-users-call') reads transcript, command: it belongs in sessionDisciplines

changes와 세션 통로를 함께 읽는 선언은 어느 목록에도 넣을 수 없습니다. 두 통로를 동시에 관측하는 표면이 없기 때문입니다.

sessionDisciplines[2] ('pairs-across-a-session') reads transcript, changes: no surface observes both changes and a session channel

초안은 선언을 갖지 않아 아무 통로도 묶지 않으므로 disciplines에 속하고, 표면 목록 어느 쪽에 적은 초안이든 a draft belongs in disciplines로 거부됩니다.

항목 id는 세 목록과 메타 약속 라벨 셋(self-mod · shell-mod · transcript-mod)에 걸쳐 유일합니다. 텔레메트리 라벨 공간이 하나이고, pdks explain을 비롯한 라벨 기준 판독기는 라벨만으로 항목을 찾기 때문입니다.

표면마다 무엇을 컴파일하는가

표준 입력으로 입력 IR을 읽는 pdks covenant check는 disciplines 다음에 sessionDisciplines를 컴파일하고, 같은 명령에 --diff를 주면 disciplines 다음에 changeSetDisciplines를 컴파일합니다. pdks explain은 두 표면을 모두 출력하며 표면 머리줄에 각 목록의 이름과 개수를 적으므로, 판정을 돌리지 않고도 모든 항목의 배치를 읽을 수 있습니다. 이 저장소의 실제 설정은 disciplines에 판정 항목 11개와 초안 1개, sessionDisciplines에 13개, changeSetDisciplines에 1개(docs-stay-bilingual)를 두므로, 세션 표면에 등록 24개, 변경 집합 표면에 12개가 섭니다.

disciplines:            # 두 표면 모두
  - id: 'covenant-vocabulary'
    declare:
      mechanism: 'added-only'
      scope: { source: 'target.path', include: ['^packages/'] }
      supply: { pre: 'empty', post: 'empty' }
      extract:
        before: [{ op: 'source', of: 'pre' }, { op: 'lines' }]
        after: [{ op: 'source', of: 'post' }, { op: 'lines' }]
        added: [{ op: 'onlyIn', of: 'after', notIn: 'before' }]
      relate:
        - { id: 'nothing-added', relation: { op: 'empty', of: 'added' }, message: 'adds {value}' }

sessionDisciplines:     # 세션 표면만. command를 읽습니다
  - id: 'pnpm-only'
    declare:
      mechanism: 'forbidden-command'
      scope: { source: 'command' }
      extract:
        hits:
          - { op: 'source', of: 'command' }
          - { op: 'lines' }
          - { op: 'matches', re: '\bnpm install\b' }
      relate:
        - { id: 'no-npm', relation: { op: 'empty', of: 'hits' }, message: '{value}' }

changeSetDisciplines:   # 변경 집합 표면만. changes를 읽습니다
  - id: 'docs-stay-bilingual'
    declare:
      mechanism: 'companion'
      scope: { source: 'target.path', include: ['\.md$'] }
      extract:
        en:
          - { op: 'source', of: 'target.path' }
          - { op: 'keyByPattern', re: '^(.+?)(?<!\.ko)\.md$' }
        koChanged:
          - { op: 'source', of: 'changes' }
          - { op: 'items' }
          - { op: 'keyByPattern', re: '^(.+)\.ko\.md$' }
      relate:
        - id: 'ko-follows'
          relation: { op: 'implies', of: 'en', requires: 'koChanged' }
          message: '{value} changed without {key}.ko.md'

항목을 다른 목록으로 옮기는 것이 편집의 전부입니다. 옮겨도 항목 본문은 그대로이고, 새 자리가 맞는지는 로더가 답합니다.

disciplines

선택 항목입니다. 팀이 함께 지킬 규율을 항목마다 하나씩 데이터로 선언합니다. 이 절의 내용은 세 목록 어디에 적힌 항목에도 그대로 적용되며, 항목을 어느 목록에 적는지는 배치 규칙이 정합니다. sessionDisciplines와 changeSetDisciplines는 초안 형태를 뺀 나머지에서 disciplines와 같은 항목 모양을 받습니다. 판정 항목은 declare 블록(유일한 판정 형태로, 범위(scope)를 블록 안에 지니는 선언)과 id(텔레메트리 라벨)를 가지며, 선택적으로 why(에이전트가 읽는 차단 메시지에 함께 실리는 이유)와 enforce 강제 수준을 가집니다. 닫힌 키 집합은 id · why · enforce · declare이고 그 밖의 키는 거부됩니다.

draft는 아직 판정 대상으로 전환하지 않은 항목입니다. 술어를 갖지 않는 유일한 형태입니다. { id, why, draft: true } 세 키뿐입니다. 초안(draft)은 아직 판정하지 않는 관행을 문장으로 기록합니다. 두 표면 어디에서도 판정과 텔레메트리 기록을 만들지 않고, pdks explain이 unpromoted로 표시합니다. 여기서는 why가 필수입니다(산문이 항목의 본문 전부입니다). 표식은 리터럴 true여야 합니다 — 초안은 선언하는 것이지 추론되는 것이 아니므로, 술어도 draft: true도 없는 항목은 여전히 검증 오류이고 draft: false는 죽은 데이터로 거부됩니다.

disciplines:
  - id: 'benchmark-supports-performance-claim'
    why: 'a performance claim must be supported by a fresh benchmark run during judgment.'
    draft: true

영한 문서 쌍을 함께 변경하라는 요구는 초안으로 남길 필요가 없습니다. 이미 companion으로 판정할 수 있습니다(이 저장소의 docs-stay-bilingual 항목). draft: true는 지금 문법이 표현하지 못하는 약속에만 씁니다.

why는 판정하지 않습니다. 어떤 판정도 바꾸지 않습니다. 판정이 차단을 낸 뒤 위반 메시지에 덧붙으므로, 차단을 읽는 쪽이 이 파일을 열지 않고도 같은 줄에서 근거를 얻습니다. 여러 줄에 걸친 why는 공백으로 접힙니다. 메시지는 한 줄입니다.

enforce는 항목 자신의 강제 수준입니다. 판정 항목에 선택적으로 쓸 수 있으며 값은 block 또는 advise입니다. 적지 않으면 advise입니다. advise에서는 위반이 advised 텔레메트리 이벤트로 기록되고 호출은 진행되며(exit 0), 위반 메시지는 그대로 stderr에 쓰입니다. block을 지정하면 항목의 강제 수준을 차단으로 승격합니다. 설정에는 표면 단위 강제 수준이 없으므로 항목이 선언한 수준이 설정 쪽 판단의 전부입니다. 적지 않거나 advise면 두 표면에서 advised이고, block이면 세션 표면과 --enforce block으로 실행한 커밋 검사에서 종료 코드 2입니다(변경 집합 표면의 기본 자세는 모든 판정에 대해 advise입니다). 판정할 수 없는 본체(빌드되지 않음, 적재 불가)는 강제 수준과 무관하게 차단됩니다. 초안(draft)은 enforce를 갖지 않고, 그 밖의 값은 로드 시점에 거부됩니다. pdks explain은 항목이 선언한 강제 수준(enforce: block 또는 enforce: advise)를 두 표면 모두에 표시하고 적지 않은 항목은 표시하지 않습니다. 세션 머리줄이 기본값을 말합니다.

  - id: 'hooks-stay-armed'
    why: 'a command that disarms or reroutes the git gate is a gate bypass in itself.'
    enforce: advise
    declare:
      mechanism: 'forbidden-command'
      scope: { source: 'command' }
      extract:
        hits:
          - { op: 'source', of: 'command' }
          - { op: 'lines' }
          - { op: 'matches', re: 'LEFTHOOK=(0|false|no|off)\b|core\.hooksPath' }
      relate:
        - { id: 'gates-armed', relation: { op: 'empty', of: 'hits' }, message: '{value}' }

새로 추가한 내용은 added-only로 판정합니다. 편집으로 추가되는 금지 낱말, 남겨 둔 .only, 대상이 없는 인용 등을 검사하는 선언입니다. pre와 post를 각각 줄로 나누고 일치한 문자열을 키로 지정합니다. onlyIn으로 post에만 있는 항목을 남긴 뒤, empty로 그 차이가 비어 있는지 판정합니다. 기존 일치 항목은 위반으로 세지 않으므로 선언을 도입해도 기존 코드 전체를 차단하지 않습니다. supply: empty를 지정하면 파일 생성(pre 없음)은 전체 내용을 추가한 것으로, 삭제(post 없음)는 아무것도 추가하지 않은 것으로 처리합니다. scope 블록에서는 in/except 대신 경로에 적용할 정규식을 사용합니다. 목록은 include와 exclude 둘입니다. 경로가 include 패턴 중 하나 이상에 일치하고(include가 없으면 모든 경로가 대상입니다) exclude 패턴 중 어느 것에도 일치하지 않을 때 범위 안에 듭니다. excludeIgnoreCase: true는 exclude 패턴의 대소문자 구분을 없애며, include는 항상 대소문자를 구분합니다.

disciplines:
  - id: 'no-focused-tests-in-src'
    why: 'a focused test must not land in shared source.'
    declare:
      mechanism: 'added-only'
      scope: { source: 'target.path', include: ['^src/', '^test/'] }
      supply: { pre: 'empty', post: 'empty' }
      extract:
        before:
          - { op: 'source', of: 'pre' }
          - { op: 'lines' }
          - { op: 'keyByPattern', re: '(\.only\()' }
        after:
          - { op: 'source', of: 'post' }
          - { op: 'lines' }
          - { op: 'keyByPattern', re: '(\.only\()' }
        added:
          - { op: 'onlyIn', of: 'after', notIn: 'before' }
      relate:
        - id: 'nothing-added'
          relation: { op: 'empty', of: 'added' }
          message: 'adds {key}: {value}'

키가 일치한 문자열이므로, 파일 어딘가에 이미 있는 낱말을 담은 줄은 새 위반으로 세지 않습니다. 새 낱말 둘을 담은 한 줄은 첫 일치만 드러내고, 둘째는 그 첫 일치를 고친 다음 판정에서 나옵니다. 같은 입력을 다시 판정해도 둘째가 자동으로 나오지는 않습니다.

생성 후 수정을 금지하는 경로도 선언할 수 있습니다. 한 번 만들 수는 있어도 수정도 삭제도 안 되는 파일입니다. pre가 있으면 수정이고 post가 없으면 삭제이며, 어느 쪽이든 위반입니다. 빈 내용으로 만드는 것(post: '')은 생성으로 통과합니다.

  - id: 'archived-records-stay-frozen'
    why: 'an archive that can be edited is not an archive.'
    declare:
      mechanism: 'self-absolution-ban'
      scope: { source: 'target.path', include: ['^records/archive/'] }
      supply: { pre: 'empty', post: 'empty' }
      extract:
        prior: [{ op: 'source', of: 'pre' }]
        here: [{ op: 'source', of: 'target.path' }]
        after: [{ op: 'source', of: 'post' }]
        deleted: [{ op: 'onlyIn', of: 'here', notIn: 'after' }]
        touched: [{ op: 'union', of: ['prior', 'deleted'] }]
      relate:
        - { id: 'frozen', relation: { op: 'empty', of: 'touched' }, message: '{value} is frozen' }

명령줄은 소스입니다. 세션 표면에서 셸 호출은 자기 명령줄을 고정 소스 command로 지니고, 파일을 바꾸지 않는 호출도 관측 하나입니다. 그 호출은 subject -인 자기 세계로 판정됩니다. forbidden-command 선언은 그 소스를 읽어 줄로 나누고, 패턴에 매치하는 줄만 남긴 뒤, 결과가 empty이기를 요구합니다. 범위를 command에 걸어 셸 호출만 받아들이게 합니다. Edit에는 명령줄이 없고, 세계에 없는 소스를 읽는 선언은 판정 불가이기 때문입니다. 여러 줄 명령은 줄 단위로 판정하므로 ^는 줄의 시작을 뜻하고, 줄 경계를 걸치는 패턴은 일치하지 않습니다. heredoc 본문과 herestring 단어는 소스에 들어가지 않습니다. bash는 그 바이트를 실행하지 않고 명령에 stdin 데이터로 넘기므로, 그 안에 인용된 금지 토큰은 일치하지 않고, 그 데이터가 파일 쓰기가 되는지는 셸 증거 경로가 따로 판정합니다. bash가 먼저 확장하는 텍스트는 소스에 남습니다. 인용하지 않은 구분자 아래에서 $나 백틱을 담은 본문, 치환을 담은 herestring 단어가 그것이고, 토크나이저가 끝까지 읽지 못한 줄도 그대로 남습니다. 받는 명령이 stdin으로 무엇을 하는지는 판정하지 않습니다. 해석기에 넘긴 스크립트는 bash에게는 데이터이고 해석기에게는 프로그램입니다.

  - id: 'hooks-stay-armed'
    why: 'a command that disarms or reroutes the git gate is a gate bypass in itself.'
    declare:
      mechanism: 'forbidden-command'
      scope: { source: 'command' }
      extract:
        hits:
          - { op: 'source', of: 'command' }
          - { op: 'lines' }
          - { op: 'matches', re: 'LEFTHOOK=(0|false|no|off)\b|core\.hooksPath' }
      relate:
        - { id: 'gates-armed', relation: { op: 'empty', of: 'hits' }, message: '{value}' }

선행 요구는 세션 위의 선언입니다. 대부분의 선언은 “이 변경 자체가 나쁜가”를 묻지만, precedent는 요구된 절차가 세션에서 앞서 일어났는가를 묻습니다. 변경 자체는 정당하고 빠진 것은 그 앞에 있어야 할 절차이므로, 판정 대상은 세션 이력입니다. sources: { session: { transcript: true } }가 사용자 턴과 도구 호출을 스냅샷 하나로 선언에 건네고, toolUses가 호출을 고르고, filter가 실행되어 성공한 것만 남기고, select가 명령줄을 추출하고, matches가 요구된 명령을 찾습니다. 판정은 nonEmpty입니다. 약속(covenant)이 차단한 호출, 사람이 거부한 호출, 그냥 실패한 호출은 선행 증거가 아닙니다. 패턴은 명령줄의 어느 위치에서든 일치 여부를 찾으므로, 명령을 언급만 한 줄도 증거로 셉니다. 선언된 한계입니다. supply: { session: 'pass' }는 세션을 증명하지 못하는 호스트에서 없는 세션을 처리하는 값입니다. 대화 기록을 읽는 항목은 sessionDisciplines에 적히므로 변경 집합은 그 항목을 아예 컴파일하지 않습니다.

  - id: 'dependency-needs-npm-view'
    why: 'a dependency version must be measured before it is written.'
    declare:
      mechanism: 'precedent'
      scope: { source: 'target.path', include: ['^(packages/[^/]+/)?package\.json$'] }
      sources: { session: { transcript: true } }
      supply: { session: 'pass' }
      extract:
        npmView:
          - { op: 'source', of: 'session' }
          - { op: 'toolUses', names: ['Bash'] }
          - { op: 'filter', when: [{ field: 'succeeded', eq: true }] }
          - { op: 'select', path: 'args.command' }
          - { op: 'matches', re: '\bnpm view ' }
      relate:
        - { id: 'npm-view', relation: { op: 'nonEmpty', of: 'npmView' }, message: 'no successful npm view precedes this manifest edit' }

도구 호출도 같은 방식으로 증거가 됩니다. names 없는 toolUses 뒤에 field name과 도구 이름 위의 matches를 두거나, 한 종류의 에이전트 스폰이면 toolUses에 subagentType을 줍니다. 다른 이력 기전도 같은 스냅샷을 읽습니다. phase-order는 스폰 순번 둘을 ordered로 잇고, turn-locality는 시간 창 안의 사용자 턴만 남기며(userTexts → ageMs → filter lte), stated-ground는 패턴에 맞는 사용자 턴을 요구합니다. 뒤의 둘은 보통 command에 범위를 걸어, 자기가 지키는 셸 호출만 판정되게 합니다.

줄 앵커에 주의하십시오. 선언의 lines 단계가 텍스트를 먼저 나누므로, 그 뒤의 keyByPattern이나 matches 안의 ^는 줄의 시작입니다. 값의 중간에서 끊기는 패턴, 이를테면 버전의 첫 숫자에서 멈추는 패턴은 4.0.5와 4.0.6을 같은 키로 만들어서, 버전을 올려도 added-only 차집합에 항목이 추가되지 않아 변경을 탐지하지 못합니다. 변할 수 있는 값 전체가 패턴에 포함되도록 작성하세요. 두 실패 모두 컴파일되고 판정도 돌아가며 결과는 passed이니, 새 항목은 실제 파일과 현실적인 편집을 상대로 측정하십시오.

증인과 선행 증거는 다릅니다. 선행 증거를 찾는 패턴은 실제로 요구한 작업과 단순한 언급을 구별해야 합니다. 세션 증거는 AI 자신의 표면에 있으므로 위조를 막지 못합니다. 이 설계는 검사를 만족시키는 가장 손쉬운 방법이 명령을 실제로 실행하는 것이라는 점을 전제로 합니다. 그 실행이 규율이 유도하려는 행동입니다. 그래도 패턴만으로 증거의 위조 가능성이 사라지는 것은 아닙니다. 정상 사례와 위반 사례를 함께 시험하세요.

declare는 선언 계열입니다. 판정 하나를 데이터로 적습니다. 코어가 algebra-declaration.schema.json으로 공개하는 대수 문법 judge = relate ∘ extract입니다. 블록은 선언의 scope · sources · supply · extract · relate와 선택인 witness를 지니고, 항목의 id가 선언의 이름이므로 블록은 discipline 키를 갖지 않습니다. in · except · when은 거부됩니다. scope 블록이 곧 범위입니다.

  - id: 'db-files-only-under-data'
    why: 'a *.db file may exist only under data/'
    declare:
      mechanism: 'naming'
      scope: { source: 'target.path', include: ['\.db$'] }
      extract:
        outside:
          - { op: 'source', of: 'target.path' }
          - { op: 'matches', re: '^(?!data/)' }
      relate:
        - id: 'placed'
          relation: { op: 'empty', of: 'outside' }
          message: '{value} is outside data/'

이 저장소의 실제 설정에서는 같은 기전에 _docs/knowledge/ 경로를 사용하며, 항목 ID는 sqlite-only-under-knowledge입니다.

관측 하나가 세계(world) 하나로 판정되며 소스 이름은 일곱입니다. target.path(저장소 상대 경로), pre와 post(변경이 지닌 쪽의 파일 본문. 생성에는 pre가, 삭제에는 post가 없습니다), state({ pre, post }, 수정에만 있습니다), changes(이 관측이 바꾸는 경로 전부. 세션 표면에서는 호출 하나, 변경 집합 표면에서는 staged 집합 전체), 그리고 command(셸 호출의 명령줄. 셸 호출에만 있고, 파일을 바꾸지 않는 셸 호출은 자기 세계 하나가 되므로 command에 범위를 건 선언은 그 호출을 보고 target.path에 범위를 건 선언은 보지 않습니다). changes를 읽는 선언은 changeSetDisciplines에 적히고 변경 집합 전체를 관측하는 표면에서만 컴파일됩니다. 호출 하나는 쌍의 나머지 반쪽을 실을 수 없기 때문입니다. 이 저장소의 라이브 설정은 그런 선언 하나를 싣습니다. docs-stay-bilingual은 .md/.ko.md 쌍 위의 implies이고, 한쪽만 staged된 변경 집합 표면에서 advised로 남습니다. 대상 밖 파일이 필요한 선언은 sources 블록에 이름을 붙이고(sources: { en: { file: 'locales/en.json' } }) { op: 'source', of: 'en' }로 읽습니다. 경로는 저장소 상대(선두 / 없음, .. 세그먼트 없음)이고 이름은 일곱 고정 이름과 겹칠 수 없습니다. 파일은 표면이 트리를 관측하는 방식대로 읽습니다 — 세션은 디스크, staged 커밋은 index, range는 <to> 커밋. 단 변경 자신이 만지는 파일은 변경의 post에서 읽으므로 두 표면이 같은 본문을 판정합니다. 둘째 종류 sources: { spawns: { sidecar: true } }는 경로가 아니라 세션의 스폰 기록 채널을 이름 붙입니다 — 호스트가 대화 기록(transcript) 옆에 남기는 서브에이전트 기록을 JSON 배열 하나로 공급받습니다. 채널이 어디 있는지는 표면이 아는 사실이라 값은 표지 true이고, 세션이 없는 변경 집합 표면에서는 채널이 언제나 없습니다. 셋째 종류 sources: { session: { transcript: true } }는 세션 자신의 대화 기록(transcript)을 이름 붙입니다 — 표면이 읽는 사용자 턴과 도구 호출을, 항목마다 관측 순번을 실은 스냅샷 하나로 선언에 건넵니다. 이력 단계(toolUses · userTexts · first · ageMs)가 그것을 읽고, agentType은 파싱된 사이드카를 읽습니다. agentType은 남길 에이전트 종류를 is 인자로 요구합니다({ op: 'agentType', is: 'tdd-test-writer' }). is가 없으면 그 단계는 컴파일되지 않고 해당 항목은 skip 등록으로 남습니다. 이 저장소의 라이브 설정은 그런 선언 하나를 싣습니다. tests-before-implementation은 서브에이전트 스폰 둘의 순번 위의 ordered이고 sessionDisciplines에 적혀 있습니다. 일곱째 고정 이름 actor는 관측의 주체(actor)입니다. 서브에이전트 안에서는 { agentType }, 주 세션에서는 {}, 표면이 주체를 증명하지 못하면(변경 집합 표면) 없습니다. { op: 'source', of: 'actor' } 뒤에 agentType을 select해 읽고, producer-owned · actor-scope 기전이 요구하는 actor 축을 유도합니다. 이 저장소의 라이브 설정은 각 하나씩 싣습니다(tests-are-the-writers, commits-come-from-the-main-session). supply의 키는 고정 소스 일곱이나 선언 자신의 sources 이름이어야 하고, 그 밖의 키는 거부됩니다. 변경이 지니지 않은 소스는 없는 것이고, 그것이 무슨 뜻인지는 선언의 supply 블록이 적습니다. error(기본값)는 호출을 판정 불가로 만들어 강제 수준과 무관하게 blocked로 기록하고, pass는 판정하지 않고 지나가게 하며, empty는 없는 쪽을 빈 항목 열로 읽고 판정을 계속합니다. empty가 added-only 선언이 생성을 전부 추가로, 삭제를 아무것도 더하지 않은 것으로 보게 하는 값이고, 짝 소스 state에는 적용되지 않습니다. 그래서 전후를 비교하는 선언이 파일 생성을 지나가게 하려면 supply: { state: pass }가 필요합니다.

위반은 다른 계열과 같이 기록되되 하나가 더해집니다. 텔레메트리 행이 다섯째 필드에 관계가 성립하지 않은 요소들을 싣습니다(relate 항목마다 최대 여덟, 실제 개수를 곁에 적습니다). skipped 행은 같은 자리에 사유 토큰을 대신 싣습니다. no-observation(항목이 읽는 것을 이 표면이 관측할 통로가 없음), config-fault(블록을 조립하지 못함), supply-pass(선언 자신의 supply: pass가 부재 소스를 지나가게 함) 셋입니다. 모든 선언은 mechanism도 적습니다. naming · companion · pairing 같은 카탈로그 이름 열여덟 중 하나이고, 검증기는 선언의 형상이 그 이름에 맞지 않으면 거부합니다. 소스가 유도하는 축(actor를 뺀 고정 이름은 change, actor는 actor, file·sidecar 소스는 world, transcript 소스는 history)과 관계가 그 이름이 허용하는 범위 안에 있어야 합니다. 컴파일러가 해석하지 못하는 블록(등재 표 밖의 단계 이름, 단계의 키 밖의 인자)은 stderr에 위치를 적고 아무것도 라우팅하지 않는 skip 등록이 됩니다. 선언의 범위 안으로 들어오는 셸 쓰기 가운데 판정기가 결과를 계산할 수 있는 것(리다이렉트 · heredoc · append)은 그것이 만드는 파일 변경으로 판정되고, 계산할 수 없는 것(sed -i · 불투명한 명령)은 skipped를 기록합니다. 선언 자신의 witness 블록은 사람의 증인과 함께 차단된 판정 결과를 여는 둘째 길이 됩니다.

규율을 추가할 때는 데이터를 편집하면 됩니다. 코드나 실행 연결부를 작성할 필요는 없습니다. 데이터로 표현할 수 없는 규율은 사용자 정의 판정 본체로 구현할 수 있습니다.