Module typecheck 

Runtime typechecking integrated with the project compiler.

Validation runs against an mz-deploy in-memory catalog using mz-sql directly (see catalog). See run for the algorithm.

Modules

bootstrap 🔒

Builds the shared base catalog forked by per-task typechecks.

catalog 🔒

Catalog-backed runtime typechecking.

convert 🔒

Conversions between project AST/types and the in-memory catalog’s SQL form.

error 🔒

Error types surfaced by the typechecker.

executor 🔒

Ready-queue DAG executor for parallel typechecking.

Structs

NodeValue 🔒

schema_stable is true when columns matches the cached result; dependents only re-typecheck when at least one dep is not schema-stable.

StatsCounter 🔒

Lock-free per-node decision counters aggregated across the parallel executor.

TypecheckStats 🔒

Counts of incremental typecheck behavior during a single run call.

Functions

compute_external_digests 🔒

Per-external-table digests keyed by ObjectId.to_string().

digest_columns 🔒

SHA-256 digest of a column map, deterministic across runs because the underlying BTreeMap iterates in sorted key order.

run 🔒

Full-typecheck entrypoint with incremental reuse.

typecheck_node 🔒