Crate icydb_diagnostic_code

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
ErrorCode: ErrorCode

Enums§

DiagnosticAggregateKind: Compact aggregate identity carried by DiagnosticFactTag::AggregateKind.
DiagnosticCode: DiagnosticCode
DiagnosticComponentKind: Compact storage component carried by DiagnosticFactTag::ComponentKind.
DiagnosticConstraintContext: Compact enforcement boundary carried by DiagnosticFactTag::ConstraintContext.
DiagnosticConstraintKind: Compact accepted constraint family carried by DiagnosticFactTag::ConstraintKind.
DiagnosticDecodeReason: Compact reason carried by DiagnosticFactTag::DecodeReason.
DiagnosticDetail: DiagnosticDetail
DiagnosticFactSchemaMismatch: Why one numeric fact sequence does not satisfy its owning E-code schema.
DiagnosticFactTag: Stable semantic identity for one numeric public diagnostic fact.
DiagnosticFunctionKind: Compact function identity carried by DiagnosticFactTag::FunctionKind.
DiagnosticMutationOperation: Compact operation carried by DiagnosticFactTag::MutationOperation.
DiagnosticOperatorKind: Compact operator identity carried by DiagnosticFactTag::OperatorKind.
DiagnosticTypeFamily: Compact semantic family carried by DiagnosticFactTag::TypeFamily.
ErrorClass: ErrorClass
ErrorOrigin: ErrorOrigin
QueryErrorKind: QueryErrorKind
QueryProjectionCode: QueryProjectionCode
QueryReadAdmissionCode: QueryReadAdmissionCode
QueryResultShapeCode: QueryResultShapeCode
RuntimeBoundaryCode: RuntimeBoundaryCode
RuntimeErrorKind: RuntimeErrorKind
SchemaDdlAdmissionCode: SchemaDdlAdmissionCode
SchemaMigrationCode: Machine-readable source-migration rejection or lifecycle finding.
SqlFeatureCode: SqlFeatureCode
SqlLoweringCode: SqlLoweringCode
SqlSurfaceMismatchCode: SqlSurfaceMismatchCode
SqlWriteBoundaryCode: SqlWriteBoundaryCode

Constants§

MAX_PUBLIC_DIAGNOSTIC_FACTS: Maximum number of numeric facts carried by one public error.

Functions§

pack_u32_pair: Pack two accepted u32 identities into one fact value without narrowing.
unpack_u32_pair: Recover the two accepted identities from one packed fact value.
validate_known_diagnostic_fact_schema: Validate facts already expressed with known production tag identities.
validate_raw_diagnostic_fact_schema: Validate raw host/tooling facts against their owning E-code schema.