| TPZ0001 → | Unknown character → | lex |
| TPZ0002 → | Unterminated block comment → | lex |
| TPZ0003 → | Unterminated string → | lex |
| TPZ0004 → | Invalid escape sequence → | lex |
| TPZ0005 → | Stray brace in string → | lex |
| TPZ0006 → | Template indentation mismatch → | lex |
| TPZ0007 → | Source name is not NFC → | lex |
| TPZ0900 → | Compiler resource budget exceeded → | compiler |
| TPZ1001 → | Semicolon in delimiter list → | layout |
| TPZ2001 | TPZ2001 — source form cannot be parsed | 구문 분석 |
| TPZ2001 → | Unexpected token → | 구문 분석 |
| TPZ2002 → | Unknown template tag → | 구문 분석 |
| TPZ2003 → | Invalid assignment target → | 구문 분석 |
| TPZ2004 → | Invalid defer body → | 구문 분석 |
| TPZ2005 → | Malformed concurrent form → | 구문 분석 |
| TPZ2006 | Binding or-pattern is not available in this language mode | 구문 분석 |
| TPZ2007 → | Invalid exported let pattern → | 구문 분석 |
| TPZ2008 → | Reserved module form → | 구문 분석 |
| TPZ2009 → | Rejected module-adjacent form → | 구문 분석 |
| TPZ2010 → | Import after non-import item → | 구문 분석 |
| TPZ2011 → | Malformed import list → | 구문 분석 |
| TPZ2012 → | Reserved binding name → | 구문 분석 |
| TPZ2013 → | Reserved operator → | 구문 분석 |
| TPZ3001 → | Unresolved module → | 이름 해석 |
| TPZ3002 → | Entry is outside module root → | 이름 해석 |
| TPZ3003 → | Module source is too large → | 이름 해석 |
| TPZ3004 → | Module path collision → | 이름 해석 |
| TPZ3005 → | Physical path escapes root → | 이름 해석 |
| TPZ3006 → | Import cycle → | 이름 해석 |
| TPZ3007 → | Runtime statement in imported module → | 이름 해석 |
| TPZ3008 → | Module namespace collision → | 이름 해석 |
| TPZ3009 → | Name is not exported → | 이름 해석 |
| TPZ3010 → | Imported module exports nothing → | 이름 해석 |
| TPZ3011 → | Mutable export is rejected → | 이름 해석 |
| TPZ3012 → | Namespace used as value → | 이름 해석 |
| TPZ3013 → | Namespace member has wrong kind → | 이름 해석 |
| TPZ3014 → | Private type in exported surface → | 이름 해석 |
| TPZ3015 → | Assignment to imported binding → | 이름 해석 |
| TPZ3016 → | Reserved module root → | 이름 해석 |
| TPZ3017 → | Duplicate import → | 이름 해석 |
| TPZ3018 → | Initializer reads a later binding → | 이름 해석 |
| TPZ4001 → | Index out of bounds → | run |
| TPZ4002 → | Division or remainder by zero → | run |
| TPZ4003 → | Range step is zero → | run |
| TPZ4004 → | Integer overflow → | run |
| TPZ4005 → | Negative integer exponent → | run |
| TPZ4006 → | Match missed at runtime → | run |
| TPZ4007 → | Assertion failed → | run |
| TPZ4008 → | Host input failure → | run |
| TPZ4009 → | Host close failure → | run |
| TPZ4010 → | Host output failure → | run |
| TPZ4601 → | Duplicate runtime map key → | run |
| TPZ5001 → | TPZ5001 → | 검사 |
| TPZ5001 → | Runtime value guard → | run |
| TPZ5002 → | Unbound name → | 검사 |
| TPZ5003 → | Immutable binding mutation → | 검사 |
| TPZ5004 → | Wrong argument count → | 검사 |
| TPZ5005 → | Value is not callable → | 검사 |
| TPZ5006 → | Unknown member or field → | 검사 |
| TPZ5007 → | Value is not comparable or keyable → | 검사 |
| TPZ5007 → | Runtime comparison guard → | run |
| TPZ5008 → | Redeclaration → | 검사 |
| TPZ5008 | TPZ5008 — Duplicate record field | 검사 |
| TPZ5009 → | Recursion limit exceeded → | run |
| TPZ5020 → | Type could not be inferred → | 검사 |
| TPZ5021 → | Non-exhaustive match → | 검사 |
| TPZ5022 → | TPZ5022 → | 검사 |
| TPZ5023 → | Type alias cycle → | 검사 |
| TPZ5024 → | Variadic parameter is not final → | 검사 |
| TPZ5025 → | Invalid qualified type → | 검사 |
| TPZ5026 → | 일치하지 않을 수 있는 let 패턴 → | 검사 |
| TPZ5030 → | Extern declaration problem → | 이름 해석 |
| TPZ5031 → | Unsupported extern ABI type → | package |
| TPZ5032 → | Invalid extern replay or sandbox binding → | 검사 |
| TPZ5099 → | Runtime guard could not complete → | run |
| TPZ5500 → | Generated rule factory used as a value → | 검사 |
| TPZ5510 → | Wrong number of explicit type arguments → | 검사 |
| TPZ5512 → | Explicit type arguments are not allowed here → | 검사 |
| TPZ5520 → | Protocol implementation violates the orphan rule → | 검사 |
| TPZ5521 → | Duplicate protocol implementation → | 검사 |
| TPZ5522 → | Missing protocol conformance → | 검사 |
| TPZ5523 → | TPZ5523 → | 검사 |
| TPZ5524 → | TPZ5524 → | 검사 |
| TPZ5530 → | Protocol cannot be derived for this type → | 검사 |
| TPZ5533 → | Type is not JSON encodable → | 검사 |
| TPZ5534 → | Type is not JSON decodable → | 검사 |
| TPZ5602 → | Duplicate key in map literal → | 검사 |
| TPZ5610 → | Comprehension body type mismatch → | 검사 |
| TPZ5611 | Map comprehension body is not an entry | 검사 |
| TPZ5612 → | Empty comprehension needs a type → | 검사 |
| TPZ5710 → | Or-pattern alternatives bind different names → | 검사 |
| TPZ5711 → | Or-pattern binding types disagree → | 검사 |
| TPZ5712 → | Constructor name used as a pattern binding → | 검사 |
| TPZ5713 → | Unreachable match case → | 검사 |
| TPZ5720 → | Unknown loop label → | 검사 |
| TPZ5721 → | Loop break values do not agree → | 검사 |
| TPZ5801 → | Form is disallowed by the selected profile → | profile |
| TPZ6001 → | Native emitter cannot lower this construct yet → | 코드 출력 |
| TPZ6002 | Native backend declined and fell back | 코드 출력 |
| 코드 없음 | --exports-json requires check | command |
| 코드 없음 | --json is not the check diagnostic format | command |
| 코드 없음 → | Missing command → | command |
| 코드 없음 → | Named metadata commands and long options rejection → | command |
| 코드 없음 → | One JSON format selector rejection → | command |
| 코드 없음 → | One occurrence of each option rejection → | command |
| 코드 없음 → | One registry materialization command rejection → | command |
| 코드 없음 → | Separate option values rejection → | command |
| 코드 없음 → | Type checking without a mode flag rejection → | command |
| 코드 없음 → | Dependency declarations use tables rejection → | package |