Expand description
Module: lib Responsibility: compact diagnostic identity and public numeric error-code mapping. Does not own: rich diagnostic prose, Candid wire types, or runtime error construction. Boundary: maps rich internal diagnostic categories to stable compact public codes.
This crate intentionally contains no rich diagnostic prose or Candid wire
types. Production canister builds collapse diagnostics to numeric wire
codes before they cross the public canister boundary. Debug output is
numeric for the same reason: host tooling can recover labels from the code
table without making every wasm canister retain those labels.
Structs§
- Diagnostic
- Diagnostic
- Error
Code - ErrorCode
Enums§
- Diagnostic
Code - DiagnosticCode
- Diagnostic
Detail - DiagnosticDetail
- Diagnostic
Fact Tag - Stable semantic identity for one numeric public diagnostic fact.
- Error
Class - ErrorClass
- Error
Origin - ErrorOrigin
- Query
Error Kind - QueryErrorKind
- Query
Projection Code - QueryProjectionCode
- Query
Read Admission Code - QueryReadAdmissionCode
- Query
Result Shape Code - QueryResultShapeCode
- Runtime
Boundary Code - RuntimeBoundaryCode
- Runtime
Error Kind - RuntimeErrorKind
- Schema
DdlAdmission Code - SchemaDdlAdmissionCode
- Schema
Migration Code - Machine-readable source-migration rejection or lifecycle finding.
- SqlFeature
Code - SqlFeatureCode
- SqlLowering
Code - SqlLoweringCode
- SqlSurface
Mismatch Code - SqlSurfaceMismatchCode
- SqlWrite
Boundary Code - SqlWriteBoundaryCode
Constants§
- MAX_
PUBLIC_ DIAGNOSTIC_ FACTS - Maximum number of numeric facts carried by one public error.
Functions§
- pack_
u32_ pair - Pack two accepted
u32identities into one fact value without narrowing. - unpack_
u32_ pair - Recover the two accepted identities from one packed fact value.