선언 언어 참조

규율(discipline)의 declare 블록을 작성할 때 사용하는 참조 문서입니다. 지원하는 소스, 추출 단계, 조합 연산자, 관계, 기전(mechanism)을 모두 표로 정리했습니다. 설치와 실전 예제는 규율 작성하기를, 프로젝트 설정과 강제 수준은 설정 참조를 보세요.

선언 구조

판정 항목에는 id와 declare가 필요하며, why와 enforce는 선택입니다. 항목은 소스를 관측할 수 있는 목록에 작성합니다.

declare 안의 필드	필수 여부	의미
mechanism	필수	아래 기전 표의 이름입니다. 사용할 수 있는 증거 축과 관계를 제한합니다.
scope	선택	소스 하나에 정규식을 적용해 판정할 관측을 선택합니다.
sources	선택	파일이나 세션 증거에 이름을 붙입니다.
supply	선택	소스가 없을 때의 처리를 정합니다. 지정하지 않은 소스는 error를 사용합니다.
extract	필수	추출 이름마다 비어 있지 않은 단계 목록을 지정합니다.
relate	필수	비교 조건과 진단 메시지의 목록입니다. 비어 있을 수 없습니다.
witness	선택	위반을 허용할 수 있는 추가 비교 조건입니다.

바깥의 id가 규율 이름이므로 declare 안에 discipline을 다시 쓰지 않습니다. 이름과 키는 대소문자를 구분하며, 지원하지 않는 선언 키는 거부됩니다.

다음 항목은 data/ 밖의 .db 경로를 알립니다.

disciplines:
  - id: "database-location"
    why: "데이터베이스 파일은 data/ 아래에 둡니다."
    enforce: advise
    declare:
      mechanism: "naming"
      scope: { source: "target.path", include: ['\.db$'] }
      extract:
        outside:
          - { op: "source", of: "target.path" }
          - { op: "matches", re: "^(?!data/)" }
      relate:
        - id: "location"
          relation: { op: "empty", of: "outside" }
          message: "{value}는 data/ 아래에 있어야 합니다"

적용 범위

키	의미
source	필수입니다. target.path, pre, post, command 또는 이름 붙인 file 소스 중 하나입니다.
include	정규식 문자열 목록입니다. 하나 이상 일치해야 합니다. 생략하거나 빈 목록이면 모든 문자열을 허용합니다.
exclude	정규식 문자열 목록입니다. 하나라도 일치하면 제외합니다. 생략하거나 빈 목록이면 제외하지 않습니다.
excludeIgnoreCase	선택인 불리언이며 기본값은 false입니다. exclude에만 적용됩니다.

scope가 없으면 모든 관측이 대상입니다. scope를 지정했는데 그 소스가 없으면 대상에서 제외됩니다. 패턴은 경로 glob이 아닌 정규식이며, include는 항상 대소문자를 구분합니다.

고정 소스

각 관측은 확인할 수 있는 소스를 공급합니다. 파일 변경은 각각 판정하므로 target.path, pre, post는 현재 판정하는 변경을 가리킵니다.

소스	값	공급되는 경우
target.path	저장소 기준 상대 경로 문자열	파일 대상이 있는 관측입니다.
pre	변경 전 파일 텍스트	수정, 그리고 이전 텍스트를 읽을 수 있는 삭제입니다. 생성에는 없습니다.
post	제안된 변경 후 파일 텍스트	생성과 수정입니다. 삭제에는 없습니다.
state	변경 전후의 쌍 { pre, post }	수정입니다. 파이프라인을 양쪽에 각각 적용합니다.
changes	관측한 변경 집합의 경로 배열	changeSetDisciplines에서 읽습니다. items로 개별 경로를 추출합니다.
command	셸 명령 텍스트	파일 대상이 없는 호출을 포함한 세션 셸 호출입니다. 실행되지 않는 stdin 리터럴 데이터는 제외합니다.
actor	선택 필드 agentType을 가진 객체	주체를 확인할 수 있는 세션 호스트가 공급합니다. 주 세션은 {}이며, 호스트가 주체를 공급하지 않으면 소스 자체가 없습니다.

소스가 없는 상태는 빈 문자열이나 빈 배열이 있는 상태와 다릅니다. 부재 처리는 supply로 정합니다. state는 호출 사이의 작업 진행 상태를 저장하지 않습니다. 쌍인 추출 결과를 받는 관계는 unchanged뿐입니다. 셸 stdin 처리는 명령 소스 예제에서 설명합니다.

추가 소스 종류

sources에서 새 이름마다 바인딩 하나를 지정합니다. 고정 소스 이름을 덮어쓸 수 없습니다.

종류	바인딩 예제	공급되는 값
file	en: { file: 'locales/en.json' }	파일 텍스트입니다. 경로는 저장소 기준 상대 경로이며, 앞의 /와 .. 경로 조각은 허용하지 않습니다.
sidecar	spawns: { sidecar: true }	호스트의 에이전트 생성 기록을 담은 JSON 텍스트입니다. agentType이나 items 전에 json으로 파싱합니다.
transcript	session: { transcript: true }	observedAtMs, toolCalls, userMessages를 담은 세션 스냅샷입니다.

바인딩은 { op: 'source', of: 'en' }으로 읽습니다. 현재 변경하는 파일은 제안된 post를 사용하고, 나머지 파일은 해당 표면이 관측한 프로젝트 상태에서 읽습니다. sidecar와 transcript는 sessionDisciplines에 작성하며, 호스트가 그 통로를 공급해야 합니다. 두 종류의 표식 값은 리터럴 true입니다.

공급 정책

정책	소스가 없을 때의 동작
error	기본값입니다. 판정할 수 없는 관측으로 처리해 차단합니다. 강제 수준이 advise여도 같습니다.
pass	사유 supply-pass와 함께 skipped를 기록하고 이 선언을 판정하지 않습니다.
empty	빈 항목 목록으로 판정을 계속합니다. 단일 소스에만 쓸 수 있고 state에는 쓸 수 없습니다.

supply의 키는 고정 소스나 선언에서 바인딩한 소스 이름이어야 합니다. 변경 전후 비교에서 생성과 삭제를 건너뛰려면 supply: { state: 'pass' }를 씁니다. 새로 추가한 내용만 검사하려면 supply: { pre: 'empty', post: 'empty' }를 씁니다. 잘못된 JSON은 pass나 empty를 지정해도 공급 오류입니다. 두 정책은 소스가 없는 경우에 적용됩니다.

항목과 파이프라인

추출 결과는 순서가 있는 { key, value } 항목 목록입니다. 키는 조합 연산과 키 비교에서 항목을 식별하며, 값은 값 비교 관계가 대조하는 데이터입니다. 키를 바꿔도 값은 바뀌지 않습니다.

파이프라인은 source나 조합 연산자로 시작합니다. 조합 연산자는 다른 추출 이름을 참조하며 첫 단계에만 올 수 있습니다. 참조한 추출은 존재해야 하고 순환 참조는 허용하지 않습니다. state에서 나온 쌍은 조합 연산자의 입력이 될 수 없습니다. 이후 단계는 결과를 차례로 변환합니다.

추출 단계

지원하는 단항 단계 20개입니다. 인자 예제에 표시한 키를 사용하며, 지원하지 않는 인자는 컴파일 오류가 됩니다. 별도 설명이 없으면 항목 순서를 유지합니다.

단계	인자	결과
source	of: 'post' 필수	해당 소스를 키 '0'인 항목 하나로 읽어 시작합니다. state는 쌍으로 추출합니다.
json	없음	문자열 값을 JSON으로 파싱하고 키는 유지합니다. 잘못된 JSON은 공급 오류입니다.
select	path: 'args.command' 필수	객체의 점 경로를 따라 읽습니다. 없는 경로는 제외합니다. 결과가 배열이면 위치를 키로 원소를 나누고, 단일 값이면 키를 유지합니다.
items	없음	각 배열을 한 단계 펼쳐 0부터 시작하는 위치를 키로 부여합니다. 배열이 아닌 값은 제외합니다.
keyBy	field: 'id' 필수	객체 필드의 문자열 표현을 키로 지정하고 원래 값은 유지합니다. 객체가 아니거나 필드가 없거나 null 또는 객체 값이면 제외합니다.
keyByPattern	re: '^(.+)\.ts$' 필수, i: true 선택·기본값 false	첫 정규식 일치의 캡처 그룹 1을 키로 지정합니다. 일치하지 않거나 캡처가 없으면 제외하고, 원래 값은 유지합니다.
allMatches	re: '"([^"]*)"' 필수, i: true 선택·기본값 false	문자열로 바꾼 값에서 겹치지 않는 일치마다 항목 하나를 일치 순서대로 만듭니다. 키는 캡처 그룹 1이고, 정규식에 캡처 그룹이 없으면 일치 전체입니다. 값은 일치 전체입니다. 캡처 그룹 1이 결합되지 않은 일치는 제외하며, 키가 같은 항목을 합치지 않습니다.
field	name: 'version' 필수	키를 유지하고 값을 객체의 해당 속성으로 바꿉니다. 속성이 없으면 undefined이며, 객체가 아니면 제외합니다.
filter	when: [{ field: 'succeeded', eq: true }] 필수	모든 조건을 만족하는 항목을 유지합니다. when: []는 모든 항목을 유지합니다. 아래 조건 표를 보세요.
afterLast	when: [{ field: 'name', ne: 'Bash' }] 필수	모든 조건을 만족하는 마지막 항목의 뒤에 있는 항목을 키와 함께 유지합니다. 조건은 filter와 같습니다. 조건을 만족하는 항목이 없으면 모든 항목을 유지하고, when: []이면 아무것도 남지 않습니다. 정렬하지 않습니다.
flattenKeys	없음	home.title처럼 중첩된 말단 경로를 키와 값으로 나열합니다. 번역 문구는 결과에 포함하지 않습니다.
sort	없음	값을 기준으로 안정적인 오름차순 정렬을 합니다. 모두 숫자면 수치로, 그 밖에는 문자열로 비교합니다.
lines	없음	값을 문자열로 바꿔 줄바꿈으로 나누고, 각 줄의 앞뒤 공백과 빈 줄을 제거합니다. 키는 원래 줄 번호이며 1부터 시작합니다.
matches	re: '^test:' 필수, i: true 선택·기본값 false	문자열로 바꾼 값이 정규식에 일치하는 항목을 유지합니다. 키와 값은 바뀌지 않습니다.
toolUses	names: ['Bash'], subagentType: 'reviewer' 모두 선택	세션 스냅샷에서 호출을 추출하고 관측 순번을 키로 씁니다. 지정한 필터는 모두 일치해야 합니다. 성공 여부는 자동으로 검사하지 않습니다.
userTexts	re: '^approved$' 필수, i: true 선택·기본값 false	일치하는 사용자 메시지를 관측 순번 키로 추출합니다. 값에 스냅샷의 observedAtMs도 추가합니다.
agentType	is: 'reviewer' 필수	파싱한 생성 기록 중 종류가 일치하는 항목을 위치 키로 추출합니다. 기록 배열이나 객체 하나를 받습니다.
first	없음	첫 항목과 그 키를 유지합니다. 빈 입력은 빈 상태로 남으며 정렬하지 않습니다.
drop	n: 3 (필수, 음이 아닌 정수)	앞의 항목 n개를 버리고 나머지를 키와 함께 유지합니다. 항목이 n개 이하이면 아무것도 남지 않습니다.
ageMs	없음	객체 값에 ageMs = observedAtMs - timestampMs를 추가합니다. 시간이 없거나 숫자가 아니거나 미래 관측이면 제외합니다.

items와 배열을 반환하는 select는 배열마다 별도로 번호를 매깁니다. 여러 배열을 펼치면 키가 겹칠 수 있으므로 객체 식별자로 비교해야 할 때는 keyBy를 사용하세요. flattenKeys는 일반 객체의 속성을 따라 내려갑니다. 배열은 해당 속성 경로의 말단 값으로 취급하며 배열 인덱스를 나열하지 않습니다. 빈 객체는 중첩된 경우에도 경로를 만들지 않습니다.

정규식 단계는 JavaScript 정규식을 사용합니다. 지원하는 플래그 인자는 i이며 g나 m 인자는 없습니다. 파일 전체 텍스트에서 ^는 전체의 시작을 가리킵니다. 각 줄에 적용하려면 먼저 lines를 쓰세요. keyByPattern에는 캡처 그룹이 필요하며 첫 일치만 사용합니다. 그래서 파일 전체에 쓰면 파일 하나에서 키가 하나만 나오고, 첫 일치 뒤의 일치는 키를 받지 못합니다. allMatches는 일치마다 항목을 하나씩 만들며, 일치가 줄바꿈을 넘을 수 있습니다.

추출이 담는 항목 수에 상한 두기

drop 뒤에 empty를 두면 “최대 n개”를 선언합니다. 앞의 n개를 버리고 남은 항목이 상한을 넘은 항목이며, 이 항목들이 위반 항목으로 보고됩니다. 다음 세션 규율은 마지막 편집 뒤의 넷째 테스트 실행을 거부합니다. afterLast는 셸 호출이 아니면서 성공한 마지막 호출에서 이력을 자릅니다. 세션에 그런 편집이 없으면 모든 실행을 셉니다. 판정 중인 호출도 이력에 들어 있으므로 넷째 실행이 거부됩니다.

sessionDisciplines:
  - id: "few-test-runs-per-edit"
    why: "several test runs without an edit between them repeat the same check; read the first failure."
    enforce: block
    declare:
      mechanism: "scoped-valve"
      scope: { source: "command", include: ['\bcargo\s+(test|nextest)\b'] }
      sources: { session: { transcript: true } }
      supply: { session: "pass" }
      extract:
        excessRuns:
          - { op: "source", of: "session" }
          - { op: "toolUses", names: ["Bash", "Edit", "MultiEdit", "Write", "NotebookEdit"] }
          - {
              op: "afterLast",
              when: [{ field: "name", ne: "Bash" }, { field: "succeeded", eq: true }],
            }
          - { op: "select", path: "args.command" }
          - { op: "matches", re: '\bcargo\s+(test|nextest)\b' }
          - { op: "drop", n: 3 }
      relate:
        - {
            id: "few-runs",
            relation: { op: "empty", of: "excessRuns" },
            message: "more than three test runs since the last edit",
          }
      witness:
        relate:
          - {
              id: "few-runs-valve",
              relation: { op: "empty", of: "excessRuns" },
              message: "more than three test runs since the last edit",
            }

이력 소스 위의 empty는 scoped-valve에서만 컴파일되며, 이 기전은 witness 블록을 요구합니다. witness 블록은 본체와 같은 비교를 하므로, 본체가 위반하면 이 블록의 비교도 성립하지 않아 위반을 허용하지 않습니다. command 적용 범위는 테스트 실행만 판정하므로, 상한에 이른 뒤에도 다른 셸 호출은 거부되지 않습니다.

필터 조건

조건 하나에는 field와 연산자 하나가 필요합니다. field는 점 경로가 아닌 객체의 직접 속성 이름입니다. 객체가 아닌 값은 조건을 만족하지 못합니다. when의 모든 조건이 참이어야 합니다.

연산자	예제	조건
eq	{ field: 'succeeded', eq: true }	상수와 구조적으로 같습니다.
ne	{ field: 'status', ne: 'draft' }	상수와 구조적으로 다릅니다.
size	{ field: 'errors', size: 0 }	필드가 배열이고 원소 수가 지정한 수와 같습니다.
notIn	{ field: 'status', notIn: ['draft', 'failed'] }	배열에 나열한 모든 상수와 필드 값이 다릅니다.
lte	{ field: 'ageMs', lte: 600000 }	필드가 숫자이며 지정한 수 이하입니다.
gte	{ field: 'count', gte: 1 }	필드가 숫자이며 지정한 수 이상입니다.

size, lte, gte의 인자는 숫자이고 notIn의 인자는 배열입니다. 없는 속성은 undefined이므로 ne나 notIn을 만족할 수 있습니다. 두 연산자가 속성의 존재까지 확인하지는 않습니다.

조합 연산자

피연산자는 서로 다른 추출 이름 둘입니다. onlyIn과 intersect는 키로 비교하고, union은 두 목록을 이어 붙입니다. 세 연산 모두 항목의 값을 유지하며 정렬하거나 중복을 제거하지 않습니다.

조합 연산자	구문	결과
union	{ op: 'union', of: ['a', 'b'] }	a의 모든 항목 뒤에 b의 모든 항목을 붙입니다. 중복 키도 유지합니다.
onlyIn	{ op: 'onlyIn', of: 'a', notIn: 'b' }	a 중 키가 b에 없는 항목입니다. count: true이면 b에 n번, a에 m번 나오는 키는 a의 그 키 항목 중 m − n개를 남기고, m ≤ n이면 하나도 남기지 않습니다.
intersect	{ op: 'intersect', of: ['a', 'b'] }	a 중 키가 b에도 있는 항목입니다. 값은 a의 것을 사용합니다.

키가 나온 횟수 세기

count가 없으면 onlyIn은 키를 집합으로 비교합니다. 일치한 텍스트 자체가 키이면 같은 표지는 몇 번 나와도 키가 같으므로, 파일에 건너뛴 테스트가 하나 있으면 두 번째 것은 새 키를 만들지 못하고 선언은 위반 없이 판정됩니다. count: true는 키마다 나온 횟수를 비교합니다.

extract:
  before:
    - { op: "source", of: "pre" }
    - { op: "lines" }
    - { op: "keyByPattern", re: '(it\.skip|#\[ignore)' }
  after:
    - { op: "source", of: "post" }
    - { op: "lines" }
    - { op: "keyByPattern", re: '(it\.skip|#\[ignore)' }
  added:
    - { op: "onlyIn", of: "after", notIn: "before", count: true }

키마다 어느 항목을 남길지는 이렇게 정합니다. 먼저 키가 같은 b의 항목과 값까지 같은 a의 항목을, b의 그런 항목 하나에 하나씩 지웁니다. 그 키에 대해 b에 남은 개수만큼은 a에 남은 항목을 앞에서부터 지웁니다. 그래서 바꾸지 않은 줄이 추가된 줄 대신 보고되는 일은 없습니다. 기존 줄도 함께 고쳤다면 그 값은 b의 어느 항목과도 같지 않으므로, 고친 줄과 추가된 줄 중 어느 것이 남는지는 a에서의 순서로 정해집니다. 남은 항목은 a에서의 순서를 유지합니다.

다른 추출이 고른 줄 빼기

lines는 줄마다 줄 번호를 키로 붙이므로, 같은 텍스트에서 만든 두 추출은 키를 공유합니다. 그래서 onlyIn으로 한 추출에서 다른 추출이 고른 줄을 뺄 수 있습니다. 조합 연산자 뒤에는 단항 스텝을 이어 쓸 수 있습니다. 식별자 규율이 주석 줄에서 위반을 내지 않게 하려면 다음처럼 씁니다.

extract:
  postHits:
    - { op: "source", of: "post" }
    - { op: "lines" }
    - { op: "matches", re: '\bflush(?:db|all)\b', i: true }
  postComments:
    - { op: "source", of: "post" }
    - { op: "lines" }
    - { op: "matches", re: '^(//|/\*|\*)' }
  after:
    - { op: "onlyIn", of: "postHits", notIn: "postComments" }
    - { op: "keyByPattern", re: '\b(flush(?:db|all))\b', i: true }

before도 pre에서 같은 방식으로 만들고, 평소처럼 after와 before를 비교합니다. lines는 줄마다 앞뒤 공백을 지우므로 ^는 공백이 아닌 첫 글자입니다. 같은 줄에서 코드 뒤에 붙은 주석 (x(); // flushDb)은 주석 줄이 아니므로 여전히 맞습니다. 줄 단위 정규식으로는 한 줄 안의 코드와 주석을 가를 수 없습니다.

관계

관계 7개는 모두 조건을 위반한 항목을 반환합니다. 반환 항목이 없으면 조건을 만족한 것입니다. 아래의 a, b는 파일 이름이 아닌 추출 이름입니다.

관계	구문	조건
empty	{ op: 'empty', of: 'a' }	a에 항목이 없어야 합니다. 실패하면 모든 항목을 보고합니다.
nonEmpty	{ op: 'nonEmpty', of: 'a' }	a에 항목이 하나 이상 있어야 합니다. 실패하면 추출 이름과 값 null을 보고합니다.
equal	{ op: 'equal', of: ['a', 'b'] }	값의 집합이 양방향으로 같아야 합니다. 왼쪽에만 있는 항목, 오른쪽에만 있는 항목 순으로 보고합니다.
subset	{ op: 'subset', of: 'a', in: 'b' }	a의 모든 값이 b에 있어야 합니다. 일치하지 않는 a의 항목을 보고합니다.
implies	{ op: 'implies', of: 'a', requires: 'b' }	a의 모든 키가 b에 있어야 합니다. 필요한 키가 없는 a의 항목을 보고합니다.
ordered	{ op: 'ordered', of: 'a', strict: false }	값이 오름차순이어야 합니다. strict 기본값은 false이며, true이면 이웃한 동일 값도 거부합니다. 위반한 쌍의 뒤 항목을 보고합니다.
unchanged	{ op: 'unchanged', of: 'a' }	state에서 추출한 쌍의 공통 키에서 변경 전후 값이 같아야 합니다. 추가되거나 삭제된 키는 위반으로 세지 않습니다.

equal과 subset은 값을 구조적으로 비교하며 항목의 키, 목록 순서, 중복 횟수는 무시합니다. 값 안에 있는 배열은 순서를 비교합니다. implies는 키로 비교하며 값을 무시합니다. 예를 들어 { key: 'en', value: 'home' }과 { key: 'ko', value: 'home' }은 equal을 만족하지만, 키가 다르므로 앞 항목이 뒤 항목을 implies로 요구하면 위반입니다.

ordered는 모든 값이 숫자면 수치로, 그 밖에는 문자열 표현으로 비교합니다. 정렬을 수행하지 않으며 빈 입력과 항목 하나인 입력은 통과합니다. 바로 앞에서 정렬하면 원래 입력의 순서가 올바랐는지는 확인할 수 없습니다.

쌍을 받는 관계는 unchanged뿐이고, 나머지는 단일 추출 결과를 받습니다. equal, subset, implies에 지정하는 두 추출 이름은 서로 달라야 합니다.

메시지와 선언의 증인

각 relate 항목에는 고유한 id, relation, 그리고 아래 메시지 형태 중 하나가 필요합니다.

필드	용도
message	모든 관계에서 쓸 수 있는 진단 템플릿 하나입니다.
messageBySide	{ left: '…', right: '…' }이며 equal에만 허용됩니다.

템플릿의 {key}와 {value}는 첫 위반 항목의 값으로 치환합니다. {before}는 unchanged의 변경 전 값이며, 없으면 빈 문자열입니다. 위반이 여러 개면 나머지 개수를 덧붙입니다. 객체는 JavaScript 문자열 표현으로 출력하므로 표시하려는 필드를 먼저 추출하세요. 파일 전체에 keyByPattern을 쓰면 값이 파일 전체이므로 템플릿에는 {key}를 쓰세요. allMatches를 쓰면 값은 일치한 부분입니다.

선언의 선택 블록 witness에는 선택인 extract와 필수인 relate가 있습니다. 본체의 추출을 참조할 수 있지만 본체는 증인의 추출을 참조할 수 없고, 증인의 추출 이름으로 본체의 이름을 덮어쓸 수도 없습니다. 본체가 위반하고 증인의 모든 비교가 성립하면 증언으로 허용됩니다. 증인의 공급 오류는 위반을 허용하지 않습니다. 최상위의 인간 증인(witness) 설정은 별도로 지정합니다.

기전

선언마다 기전 하나를 지정합니다. 컴파일러는 source 단계에서 축을 도출합니다. actor를 뺀 고정 소스는 change, actor는 actor, 파일과 sidecar 바인딩은 world, 대화 기록 바인딩은 history입니다. 적용 범위만으로 축이 추가되지는 않습니다. 본체의 관계와 도출한 축이 선택한 기전의 허용 범위에 들어가야 합니다. 증인의 추출 소스도 축에 포함합니다. 기전이 비교 조건을 만들어 주지는 않으므로 추출과 관계는 직접 작성해야 합니다.

기전	허용하는 축	허용하는 본체 관계	용도 또는 필수 구조
pairing	world	equal, subset	공급한 파일에서 대응하는 데이터를 비교합니다.
companion	change, world	implies	다른 추출에 대응하는 키가 있어야 합니다.
monotonic-order	change, world	ordered	나열된 값의 순서를 확인합니다.
fingerprint-sync	world	equal	추출한 지문 값을 비교합니다.
producer-owned	actor	empty, nonEmpty	관측된 작업 주체를 확인합니다.
self-absolution-ban	change	unchanged, empty	파일 자체 내용의 변경을 검사합니다.
actor-scope	actor	empty, nonEmpty	관측된 주체에 따라 작업을 제한합니다.
precedent	history, world	nonEmpty	선행 증거를 요구합니다.
phase-order	history	ordered	추출한 관측 순번을 비교합니다.
turn-locality	history	nonEmpty	지정한 시간 범위 안의 증거를 요구합니다.
stated-ground	history	nonEmpty	패턴에 일치하는 사용자 발언을 요구합니다.
controlled-vocabulary	change, world	subset	추출한 값을 허용 집합과 비교합니다.
naming	change	empty, nonEmpty	scope.source는 target.path여야 합니다.
added-only	change	empty	주로 post와 pre의 차이를 비교합니다.
one-way-marker	change	subset	선택한 값이 계속 존재하는지 확인합니다.
scoped-valve	change, actor, world, history	관계 7개 모두	선언의 witness 블록이 필수입니다.
forbidden-command	change	empty	scope.source는 command여야 합니다.

Rust 판정기는 이 기전 이름 17개를 받습니다. 기전 제약과 규율 목록 배치는 별도로 검사합니다.

선언 검증하기

pdks explain을 실행해 의도한 표면에 항목이 declare로 등록됐는지 확인하세요. 등록되지 않은 단계, 잘못된 단계 인수, 쌍·단일 불일치처럼 컴파일할 수 없는 선언은 지원하지 않는 키나 잘못된 소스·목록 조합과 마찬가지로 설정 로드 단계에서 위치와 사유를 알리며 실패합니다.

이후 해당 표면에서 위반 입력과 정상 입력을 각각 실행하세요. 번역 파일 예제를 참고할 수 있습니다. advised와 skipped도 종료 코드 0일 수 있으므로 종료 코드만으로 판단하지 마세요.