규칙 11.2

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

A divergence between targets, or between a target and the oracle, must be measured on Tint and on a WebGL2 driver before it is kept, and recorded where the emit is decided: a comment on the INTRINSICS row with the measured text, and a row of the determinism report (surface §38) where the results may differ.

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

근거

the specification text says what a compiler may do; the compiler says what it does, and the emitted text has to satisfy the compiler.

출처

#162 (“measure before you keep a design”); surface §31 (a ternary on a struct, where the ES 3.00 text and the driver disagreed); Floating Point Accuracy.

검증 방식

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

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

the compile gate for the emitted text; src/core/passes/determinism.test.ts, which requires every emitted operation to be placed in one column of the accuracy table.

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

src/core/passes/determinism.test.ts:10

설명하는 절

커밋 c66579bf의 표면 문서에서 이 규칙을 설명하는 절입니다.

함께 보기

소스

커밋 c66579bf의 규칙 원문:

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

이 페이지 편집 문제 보고