규칙 11.15

11장, 대상과 오라클 테스트

A test must fail when a member of a source has no row, and when a row names a member that no source has. The sources are pinned by version, and a version bump re-bakes the table as a reviewed diff (Rule 11.4 applies: a re-bake is read, not rubber-stamped).

규칙 본문과 그 아래 항목은 설계 문서에 적힌 컴파일러 원문이라 한국어 페이지에서도 영어로 둡니다.

근거

a table nothing holds to its sources drifts the day a package updates; the API surface already works this way (src/__api__/surface.md, Rule 11.6).

출처

Rule 11.6; scripts/bake-wgsl-names.ts and surface-names.test.ts, which hold the WGSL names to the specification the same way.

검증 방식

테스트로 확인합니다. 테스트나 게이트 스크립트, CI 워크플로가 이 규칙을 가리키고, 아래 파일 가운데 하나라도 규칙을 더는 가리키지 않으면 추적 검사가 실패합니다.

컴파일러가 이 규칙을 적용하는 곳을 규칙이 직접 적은 내용입니다.

capability-coverage.test.ts, which reads the four sources at their pinned versions and the classification, and fails on an unclaimed member and on a stray row.

커밋 91c2fe31에서 이 규칙을 확인하는 파일입니다. 파일마다 규칙을 처음 가리키는 줄로 연결했습니다.

src/core/spec-conformance/capability-coverage.test.ts:43 (컴파일러의 자체 테스트가 확인)

함께 보기

소스

커밋 91c2fe31의 규칙 원문:

docs/language-design.md:1369 (설계 문서)
reqs/rules/RULE-1115.md (추적 항목)

이 페이지 편집 문제 보고