| AnalysisException public API | SqlSemantics\Core | SQL that the selected language cannot accept, with the parser error as its cause. |
| Binder public API | SqlSemantics\Core | Performs the SQL semantic phase: name binding, type resolution, and NULL propagation. |
| Schema public API | SqlSemantics\Core | A closed schema snapshot. Missing declarations are errors, not invented tables. |
| SchemaBuilder public API | SqlSemantics\Core | Compatibility entry point for closed catalog binding. |
| SemanticException public API | SqlSemantics\Core | An explicit semantic failure; callers must not treat a rejected tree as bound. |
| Analyzer @visibility SqlSemantics | SqlSemantics\Core\Analysis | Analyzes the complete language independently of schema-dependent binding. |
| SchemaAnalyzer @visibility SqlSemantics | SqlSemantics\Core\Analysis | Resolves declaration SQL into immutable state used by statement binding. |
| SourceComments @visibility SqlSemantics | SqlSemantics\Core\Analysis | The comments of one parse tree, by the token each was written before. |
| TriviaReader @visibility SqlSemantics | SqlSemantics\Core\Analysis | Reads the comments out of the whitespace and comments a lexer skipped. |
| ValueReader @visibility SqlSemantics | SqlSemantics\Core\Analysis | Lowers transient parser nodes into typed SQL arguments and finite options. |
| ColumnProperties @visibility SqlSemantics | SqlSemantics\Core\Ast | Reads column properties from grammar-delimited attribute nodes. |
| ColumnReader @visibility SqlSemantics | SqlSemantics\Core\Ast | Reads declaration-level nullability, defaults, and column constraints. |
| ConstraintReader @visibility SqlSemantics | SqlSemantics\Core\Ast | Extracts integrity declarations while preserving the complete original constraint. |
| DialectParser @visibility SqlSemantics | SqlSemantics\Core\Ast | Selects and reuses the syntax parser for the semantic phase's language context. |
| Identifiers @visibility SqlSemantics | SqlSemantics\Core\Ast | Reads identifiers using token kinds and dialect-specific quoting and case rules. |
| SchemaChanges @visibility SqlSemantics | SqlSemantics\Core\Ast | Applies DROP TABLE to the local closed catalog in declaration order. |
| SchemaReader @visibility SqlSemantics | SqlSemantics\Core\Ast | Builds a schema snapshot from CREATE TABLE syntax nodes. |
| StatementList @visibility SqlSemantics | SqlSemantics\Core\Ast | Validates the parser dialect and preserves statement boundaries. |
| TokenGroups @visibility SqlSemantics | SqlSemantics\Core\Ast | Reads balanced declaration groups from tokens already classified by sql-parser. |
| Tree @visibility SqlSemantics | SqlSemantics\Core\Ast | Navigates grammar boundaries without flattening nested query or expression scopes. |
| TypeReader @visibility SqlSemantics | SqlSemantics\Core\Ast | Interprets a declared type without erasing its modifiers. |
| BoundRelation @visibility SqlSemantics | SqlSemantics\Core\Binding | A relation and the namespace visible above it. |
| ExpressionBinder @visibility SqlSemantics | SqlSemantics\Core\Binding | Lowers scalar grammar nodes by their tree structure, preserving expression boundaries. |
| ExpressionRules @visibility SqlSemantics | SqlSemantics\Core\Binding | Assigns types and NULL facts to supported scalar operations. |
| FromBinder @visibility SqlSemantics | SqlSemantics\Core\Binding | Binds relation trees, keeping ON visibility and NULL extension at their correct stages. |
| IdentitySequence @visibility SqlSemantics | SqlSemantics\Core\Binding | Allocates deterministic occurrence identities for one bound statement. |
| LiteralBinder @visibility SqlSemantics | SqlSemantics\Core\Binding | Interprets literal categories from lexer terminals, preserving their SQL spelling. |
| NullFacts @visibility SqlSemantics | SqlSemantics\Core\Binding | Conservative SQL NULL propagation, distinct from evaluating actual values. |
| ProjectionBinder @visibility SqlSemantics | SqlSemantics\Core\Binding | Binds output expressions and expands stars in declaration order. |
| Scope @visibility SqlSemantics | SqlSemantics\Core\Binding | A relation namespace and NULL-extension facts at one evaluation stage. |
| SelectBinder @visibility SqlSemantics | SqlSemantics\Core\Binding | Builds a logical SELECT with separate matching, filtering, and projection stages. |
| SelectModifiersBinder @visibility SqlSemantics | SqlSemantics\Core\Binding | Reads ordering and pagination without confusing output aliases with input names. |
| SyntaxGuard @visibility SqlSemantics | SqlSemantics\Core\Binding | Refuses semantic constructs that this implementation cannot account for. |
| TableResolver @visibility SqlSemantics | SqlSemantics\Core\Binding | Resolves a qualified table name against an explicit schema snapshot. |
| TypeResolution @visibility SqlSemantics | SqlSemantics\Core\Binding | Resolves the supported built-in common types; unknown coercions are rejected. |
| BoundSelect public API | SqlSemantics\Core\Model | A bound SELECT statement: sources, row conditions, ordered outputs, and result modifiers. |
| ColumnBinding public API | SqlSemantics\Core\Model | The particular relation occurrence and declared column a reference denotes. |
| Expression public API | SqlSemantics\Core\Model | A typed expression with original syntax, occurrence-aware lineage, and NULL provenance. |
| Join public API | SqlSemantics\Core\Model | A join with its own match predicate and NULL extension identity. |
| Ordering public API | SqlSemantics\Core\Model | A result ordering expression with explicit direction and NULL placement. |
| OutputColumn public API | SqlSemantics\Core\Model | An ordered result column; duplicate output names remain separate positions. |
| TableUse public API | SqlSemantics\Core\Model | One occurrence of a declared table in a query scope. |
| SyntaxRules @visibility SqlSemantics | SqlSemantics\Core\Policy | Maps semantic roles onto the configured grammar's node and token names. |
| ColumnDefinition public API | SqlSemantics\Core\Schema | A column declaration, before a query can change its nullability. |
| ColumnGeneration public API | SqlSemantics\Core\Schema | A typed generation clause, including identity options or its computed expression. |
| Invariant @visibility SqlSemantics | SqlSemantics\Core\Schema | Construction invariants shared by immutable catalog values. |
| TableConstraint public API | SqlSemantics\Core\Schema | A declared integrity condition, retaining its complete syntax for downstream consumers. |
| TableDefinition public API | SqlSemantics\Core\Schema | An ordered table declaration with a schema-qualified identity and integrity constraints. |
| TypeDescriptor public API | SqlSemantics\Core\Type | A database type identity, preserving declared modifiers and storage affinity. |
| Schema public API | SqlSemantics\Facade | Reads the table state needed to analyze statements against known declarations. |
| Semantics public API | SqlSemantics\Facade | Structures every statement of a selected SQL language into independent values. |
| Comments public API | SqlSemantics\Statement | The comments written before the symbols of one SQL value, by symbol position. |
| ImmutableGraph @visibility SqlSemantics | SqlSemantics\Statement | Describes whether a value graph consists entirely of final readonly objects. |
| Statement public API | SqlSemantics\Statement | A complete SQL command whose values are independent of parsing. |
| Writer public API | SqlSemantics\Statement | Separates SQL values without changing quoted content or lexical adjacency. |