@zmdb/core 1.0.0-beta.2

package/src/app-messaging.ts

@@ -0,0 +1,43 @@
+// zmdb/app/messaging — curated transport-neutral messaging facade.
+export {
+  EventPattern,
+  InFlight,
+  MessageCorrelationError,
+  MessagePattern,
+  MessageRemoteError,
+  MessageTimeoutError,
+  TransportUnsupportedError,
+  abortError,
+  createEventPublisher,
+  createMessageClient,
+  createMessageDispatcher,
+  decodeDelivery,
+  decodeReply,
+  encodeDelivery,
+  encodeReply,
+  getMessagePatterns,
+  reportTransportError,
+  transportExtension,
+  withinGrace,
+} from '@zmdb/app/messaging';
+export type {
+  ClientPatterns,
+  DeliveryMetadata,
+  DispatchOutcome,
+  DispatcherOptions,
+  EventPatterns,
+  EventPublisher,
+  MessageClient,
+  MessageClientOptions,
+  MessageContext,
+  MessageDispatcher,
+  MessageReply,
+  RawMessage,
+  ResolvedMessagePattern,
+  Settlement,
+  TransportCapabilities,
+  TransportErrorSink,
+  TransportRequest,
+  TransportStrategy,
+  WithHeaders,
+} from '@zmdb/app/messaging';

package/src/app-modules.ts

@@ -0,0 +1,11 @@
+// zmdb/app/modules — curated application-module facade.
+export { Module, compileModule, lazy, moduleDefOf } from '@zmdb/app/modules';
+export type {
+  CompiledModule,
+  LazyImport,
+  LazyModuleHandle,
+  LazyStatus,
+  ModuleClass,
+  ModuleDef,
+  ProviderDef,
+} from '@zmdb/app/modules';

package/src/app-observability.ts

@@ -0,0 +1,25 @@
+// zmdb/app/observability — curated dependency-free observability facade.
+export {
+  SpanKind,
+  consumerSpan,
+  fromTraceContext,
+  fromTraceparent,
+  toTraceHeaders,
+  toTraceparent,
+  tracedDriver,
+} from '@zmdb/app/observability';
+export type {
+  Attributes,
+  CommentKey,
+  CommentKeys,
+  CommentPairs,
+  ExecutingDriver,
+  Meter,
+  Observability,
+  QueryTelemetry,
+  Span,
+  SpanContext,
+  SpanOptions,
+  TraceCarrier,
+  Tracer,
+} from '@zmdb/app/observability';

package/src/app-state.ts

@@ -0,0 +1,3 @@
+// zmdb/app/state — curated branded-state facade.
+export { defineState, transition } from '@zmdb/app/state';
+export type { Brand, State } from '@zmdb/app/state';

package/src/app.ts

@@ -0,0 +1,42 @@
+// zmdb/app — curated facade over the protocol-neutral application kernel.
+export {
+  Container,
+  Inject,
+  Module,
+  UnresolvedTokenError,
+  compileModule,
+  createApplication,
+  createStateUpdatePayload,
+  defineStateTransitions,
+  defineEntityStateMachine,
+  createToken,
+  injectionsOf,
+  lazy,
+  metadataOf,
+  moduleDefOf,
+} from '@zmdb/app';
+export type {
+  Application,
+  StateTransitions,
+  AllowedTargetStates,
+  StateUpdateDTO,
+  EntityStateMachineOptions,
+  EntityStateMachine,
+  ApplicationExtension,
+  ApplicationExtensionContext,
+  ApplicationMetadata,
+  ApplicationOptions,
+  CompiledModule,
+  Constructor,
+  LazyImport,
+  LazyModuleHandle,
+  LazyStatus,
+  ModuleClass,
+  ModuleDef,
+  OnApplicationBootstrap,
+  OnModuleInit,
+  OnShutdown,
+  ProviderDef,
+  Scope,
+  Token,
+} from '@zmdb/app';

package/src/cli/index.ts

@@ -0,0 +1,28 @@
+export {
+  runCli,
+  embedMigrations,
+  exportSchema,
+  generateMigration,
+  pullDeclarations,
+  generateHttpArtifacts,
+  watchHttpArtifacts,
+  type CliEnvironment,
+  type CliResult,
+  type CheckResult,
+  type EmbedOptions,
+  type EmbedResult,
+  type ExportResult,
+  type GenerateHttpArtifactsOptions,
+  type GenerateOptions,
+  type GenerateResult,
+  type HttpArtifactGeneration,
+  type MigrateResult,
+  type PullOptions,
+  type PullResult,
+  type PushResult,
+  type RollbackResult,
+  type StatusResult,
+  type UpgradeResult,
+  type WatchHttpArtifactsOptions,
+  type ClientGenerateResult,
+} from '@zmdb/cli';

package/src/compiler.ts

@@ -0,0 +1,66 @@
+// Logic-free product facade for project compilation and compiler integrations.
+
+export { compileProject, watchCodegen, writeCompileResult, zmdbAot } from '@zmdb/compiler';
+export type {
+  ConfiguredZmdbAotOptions,
+  CodegenOptions,
+  CodegenResult,
+  CompiledArtifact,
+  CompileProjectOptions,
+  CompileResult,
+  CompilerDiagnostic,
+  WatchOptions,
+  WriteCompileResult,
+  WriteCompileResultOptions,
+} from '@zmdb/compiler';
+
+export { transformTypeChecks } from '@zmdb/compiler/unplugin';
+export type { UnpluginLike, WatchChange, ZmdbAotOptions } from '@zmdb/compiler/unplugin';
+
+export {
+  Emitter,
+  discriminantOf,
+  escapePattern,
+  expectedForConstraint,
+  expectedForDiscriminant,
+  expectedOf,
+  hasExcessCheck,
+  messageFor,
+} from '@zmdb/compiler/emit';
+export type {
+  ConstraintKeyword,
+  Discriminant,
+  DiscriminantArm,
+  EmitDiagnostic,
+  EmitOptions,
+  EmitTarget,
+} from '@zmdb/compiler/emit';
+
+export { configs, default as lintPlugin } from '@zmdb/compiler/lint';
+export type { LintRule } from '@zmdb/compiler/lint';
+
+export {
+  DEFAULT_LIMITS,
+  ReflectSession,
+  Reflector,
+  apiInstanceCount,
+  irFromType,
+  projectSourceFileNames,
+  schemaIrFromType,
+  withSession,
+} from '@zmdb/compiler/reflect';
+export type {
+  GrpcMethodIR,
+  GrpcServiceIR,
+  NamingStrategy,
+  ReflectDiagnostic,
+  ReflectLimits,
+  ReflectOptions,
+  ReflectResult,
+  SessionOptions,
+  SessionUpdate,
+  SourceFileHandle,
+} from '@zmdb/compiler/reflect';
+
+export { CALLEES, Rewriter, transformCode, transformFile } from '@zmdb/compiler/transform';
+export type { TransformContext, TransformDiagnostic, TransformResult } from '@zmdb/compiler/transform';

package/src/config/index.ts

@@ -0,0 +1,13 @@
+export { defineConfig, loadConfig, resolveConfig } from '@zmdb/compiler/config';
+export type {
+  HttpGenerationConfig,
+  IntrospectOptions,
+  LoadConfigOptions,
+  NamingStrategy,
+  ResolvedConfig,
+  ResolvedHttpContractSource,
+  ResolvedHttpGenerationConfig,
+  ToolingDriver,
+  ZmdbConfig,
+  ZmdbConfigData,
+} from '@zmdb/compiler/config';

package/src/database-cockroach.ts

@@ -0,0 +1,10 @@
+export {
+  cockroach,
+  cockroachDriver,
+  cockroachIntrospector,
+  cockroachMigrations,
+  cockroachVertical,
+  type PgConnection,
+  type PgOptions,
+  type PgQueryable,
+} from '@zmdb/cockroach';

package/src/database-mssql.ts

@@ -0,0 +1,20 @@
+export {
+  MSSQL_TYPES,
+  mssql,
+  mssqlDriver,
+  mssqlIntrospector,
+  mssqlVertical,
+  type MssqlCatalogColumnSnapshot,
+  type MssqlCatalogForeignKeySnapshot,
+  type MssqlCatalogIndexSnapshot,
+  type MssqlCatalogSchemaSnapshot,
+  type MssqlCatalogSequenceSnapshot,
+  type MssqlCatalogTableSnapshot,
+  type MssqlComputedColumn,
+  type MssqlIdentity,
+  type MssqlIntrospector,
+  type MssqlOptions,
+  type MssqlPool,
+  type MssqlRequest,
+  type MssqlTransaction,
+} from '@zmdb/mssql';

package/src/database-mysql.ts

@@ -0,0 +1,24 @@
+export {
+  createMysqlMigrations,
+  mysql,
+  mysqlDriver,
+  mysqlFamilyDriver,
+  mysqlFamilyIntrospector,
+  mysqlFamilyMigrations,
+  mysqlIntrospector,
+  mysqlSnapshot,
+  mysqlVertical,
+  type MysqlCatalogOverrides,
+  type MysqlConnection,
+  type MysqlDriver,
+  type MysqlExecutionResult,
+  type MysqlMigrationOverrides,
+  type MysqlOptions,
+  type MysqlParameter,
+  type MysqlPool,
+  type MysqlQueryable,
+  type MysqlQueryResult,
+  type MysqlResultHeader,
+  type MysqlTableDdlExtension,
+  type MysqlTableDdlHelpers,
+} from '@zmdb/mysql';

package/src/database-postgres.ts

@@ -0,0 +1,18 @@
+export {
+  POSTGRES_OUTBOX_TABLE,
+  postgres,
+  postgresDriver,
+  postgresFamilyDriver,
+  postgresFamilyIntrospector,
+  postgresFamilyMigrations,
+  postgresIntrospector,
+  postgresOutboxMigration,
+  postgresOutboxPendingIndexDdl,
+  postgresOutboxTableDdl,
+  postgresVertical,
+  type PgConnection,
+  type PgOptions,
+  type PgQueryable,
+  type PostgresCatalogOverrides,
+  type PostgresMigrationOptions,
+} from '@zmdb/postgres';

package/src/database-singlestore.ts

@@ -0,0 +1,16 @@
+export {
+  singlestore,
+  singlestoreDriver,
+  singlestoreIntrospector,
+  singlestoreMigrations,
+  singlestoreVertical,
+  type MysqlConnection,
+  type MysqlDriver,
+  type MysqlExecutionResult,
+  type MysqlOptions,
+  type MysqlParameter,
+  type MysqlPool,
+  type MysqlQueryable,
+  type MysqlQueryResult,
+  type MysqlResultHeader,
+} from '@zmdb/singlestore';

package/src/database-sqlite.ts

@@ -0,0 +1,10 @@
+export {
+  sqlite,
+  sqliteDriver,
+  sqliteIntrospector,
+  sqliteMigrations,
+  sqliteVertical,
+  type SqliteDatabase,
+  type SqliteOptions,
+  type SqliteStatement,
+} from '@zmdb/sqlite';

package/src/derive.ts

@@ -0,0 +1,27 @@
+// zmdb/derive — explicit named re-exports of the DTO suite derived from a tagged
+// type. (No `export *`: each symbol is enumerated so the compatibility surface is
+// explicit.)
+//
+// Types only; contributes nothing to a bundle.
+//
+// Four of these names — `Entity`, `CreateDTO`, `UpdateDTO`, `PrimaryKeyOf` — are also on
+// `@zmdb/core` itself. They are the same types: the root used to define schema-value twins that
+// deferred here when the value carried a phantom, and those are gone, so both paths now
+// resolve to the definitions in `@zmdb/schema/derive`. Import from whichever reads
+// better at the use site.
+export {
+  type CreateDTO,
+  type DefaultKeys,
+  type Entity,
+  type NullableKeys,
+  type PrimaryKeyKeys,
+  type PrimaryKeyOf,
+  type ReadDTO,
+  type SensitiveKeys,
+  type SerialKeys,
+  type UniqueKeys,
+  type UpdateDTO,
+  type WhereDTO,
+  type Wire,
+  type WireCreateDTO,
+} from '@zmdb/schema/derive';

package/src/dto.ts

@@ -0,0 +1,25 @@
+// zmdb/dto — explicit named re-exports of the read/query DTO family.
+// (No `export *`: each symbol is enumerated so the compatibility surface is explicit.)
+export { applyOrderBy, applyPagination, compileWhere } from '@zmdb/orm/dto';
+export { buildListResult, buildSearchResult, describeAggregate, getResult, project } from '@zmdb/schema/dto';
+export {
+  type AggFn,
+  type AggregateResult,
+  type AggregateSpec,
+  type ComputedSpec,
+  type FieldOps,
+  type GetDTO,
+  type GetOptions,
+  type ListDTO,
+  type ListResult,
+  type OffsetPage,
+  type OrderByDTO,
+  type OrderDir,
+  type PaginationDTO,
+  type Projection,
+  type SearchDTO,
+  type SearchHit,
+  type SearchResult,
+  type WhereDTO,
+} from '@zmdb/schema/dto';
+export { type OrderTarget, type WhereTarget } from '@zmdb/orm/dto';

package/src/index.ts

@@ -0,0 +1,57 @@
+// The application-facing zmdb vocabulary. This file is deliberately only
+// named re-exports: implementations remain in their owning packages, while
+// advanced surfaces live under concern-based `@zmdb/core/*` entry points.
+
+export { AssertError, assert, is, validate } from '@zmdb/validator';
+export { type ValidateResult } from '@zmdb/validator';
+
+export { Container, Inject, Module, createApplication, createToken } from '@zmdb/app';
+export type {
+  Application,
+  ApplicationExtension,
+  ApplicationExtensionContext,
+  ApplicationOptions,
+  ModuleClass,
+  Token,
+} from '@zmdb/app';
+export { Command, createCommandApp } from '@zmdb/app/commands';
+export type { CommandApp } from '@zmdb/app/commands';
+export { repositoryToken } from '@zmdb/app/data';
+export { OnEvent, createEvents } from '@zmdb/app/events';
+export { EventPattern, MessagePattern } from '@zmdb/app/messaging';
+export type { TransportStrategy } from '@zmdb/app/messaging';
+export type { Observability } from '@zmdb/app/observability';
+
+export { defineRepository, IncompleteKeyError, ValidationError } from '@zmdb/orm';
+export { type Driver, type UpdatePatch } from '@zmdb/orm';
+
+export { schemaOf } from '@zmdb/schema';
+export { type CreateDTO, type Entity, type PrimaryKeyOf, type ReadDTO, type UpdateDTO } from '@zmdb/schema';
+export { type ValidationIssue } from '@zmdb/validator';
+export {
+  type HasDefault,
+  type Max,
+  type MaxLength,
+  type Min,
+  type MinLength,
+  type Pattern,
+  type Physical,
+  type PrimaryKey,
+  type References,
+  type Sensitive,
+  type Serial,
+  type Sql,
+  type Table,
+  type Unique,
+} from '@zmdb/schema/tags';
+
+export { createApp } from '@zmdb/web/app';
+export type { WebApplication, WebApplicationOptions } from '@zmdb/web/app';
+export type { Ctx } from '@zmdb/web/context';
+export { Gateway, Subscribe } from '@zmdb/web/gateways';
+export type { WebRequest, WebResponse } from '@zmdb/web/pipeline';
+export { Controller, Delete, Get, Patch, Post, Public, Put } from '@zmdb/web/routing';
+export { Version, VersionNeutral } from '@zmdb/web/versioning';
+
+export { defineConfig } from '@zmdb/compiler/config/contract';
+export type { ZmdbConfig } from '@zmdb/compiler/config/contract';

package/src/ir.ts

@@ -0,0 +1,62 @@
+// zmdb/ir — explicit named re-exports of the schema IR: the one representation every
+// back-end consumes. (No `export *`: each symbol is enumerated so the compatibility
+// surface is explicit.)
+//
+// Plain data in, plain data out. Exported because a consumer generating its own
+// artefacts — a client SDK, a form builder, an admin UI — needs the same
+// representation the built-in emitters read, and the alternative is reverse-engineering
+// `CoreSchema`.
+export {
+  appTypeOf,
+  dbDecodedColumns,
+  decodeDbValue,
+  decodeWire,
+  decodeWireValue,
+  encodeWire,
+  encodeWireValue,
+  jsonSchemaForColumn,
+  jsonSchemaFromIR,
+  jsonSchemaFromShape,
+  jsonSchemaFromTypeIR,
+  KNOWN_CONSTRAINT_KINDS,
+  objectTypeFromIR,
+  objectTypeFromShape,
+  PROTO_SCALARS,
+  RELATION_KINDS,
+  schemaFromIR,
+  shapeOfVariant,
+  SQL_TYPES,
+  wireTypeOf,
+} from '@zmdb/schema/ir';
+export {
+  type ArrayIR,
+  type Codec,
+  type CodecRegistry,
+  type ColumnIR,
+  type ConstraintKind,
+  type Constraints,
+  type ExtensionType,
+  type JsonSchemaObject,
+  type JsonValue,
+  type Layer,
+  type LiteralIR,
+  type NullIR,
+  type ObjectIR,
+  type PropertyIR,
+  type ProtoScalar,
+  type RefIR,
+  type RelationIR,
+  type RelationKind,
+  type ScalarIR,
+  type ScalarKind,
+  type SchemaIR,
+  type ShapeColumnIR,
+  type ShapeIR,
+  type TupleIR,
+  type TypeIR,
+  type UndefinedIR,
+  type UnionIR,
+  type UnknownIR,
+  type UnsupportedIR,
+  type Variant,
+} from '@zmdb/schema/ir';

package/src/migrations.ts

@@ -0,0 +1,97 @@
+// Stable product facade for the independently usable migration engine.
+//
+// Keep this list explicit: a new implementation export must be deliberately
+// admitted to the product vocabulary rather than leaking through `export *`.
+export {
+  CHANGE_PHASES,
+  ddlType,
+  diff,
+  down,
+  downTo,
+  driverMigrationConnection,
+  emitDown,
+  emitSchemaObject,
+  emitUp,
+  ensureVersionTable,
+  planMigration,
+  rollbackTo,
+  snapshot,
+  status,
+  up,
+} from '@zmdb/migrations';
+export type {
+  AppliedMigration,
+  ChangeOp,
+  ColumnSnapshot,
+  DdlSqlType,
+  DiffOptions,
+  ExtensionSnapshot,
+  ExtensionType,
+  ForeignKeySnapshot,
+  Migration,
+  MigrationConnection,
+  MigrationDialect,
+  MigrationDriver,
+  MigrationPlan,
+  MigrationPlanDialect,
+  MigrationProject,
+  MigrationRunOptions,
+  MigrationStatus,
+  MigrationTableOptions,
+  ReferentialAction,
+  SchemaObjectOperation,
+  SchemaSnapshot,
+  SnapshotableSchema,
+  TableOptions,
+  TableSnapshot,
+} from '@zmdb/migrations';
+export { EmbeddedMigrationError, runEmbedded } from '@zmdb/migrations/embedded';
+export type { EmbeddedConnection, EmbeddedMigration } from '@zmdb/migrations/embedded';
+export {
+  applyPush,
+  checkProject,
+  embedMigrations,
+  embeddedOutputPath,
+  exportSchema,
+  generateMigration,
+  isDestructive,
+  planPush,
+  pullDeclarations,
+  renderEmbeddedModule,
+  upgradeSnapshot,
+} from '@zmdb/migrations/files';
+export type {
+  CheckFinding,
+  CheckFindingKind,
+  CheckResult,
+  EmbeddedModuleResult,
+  EmbedOptions,
+  EmbedResult,
+  ExportResult,
+  GenerateOptions,
+  GenerateResult,
+  PullExecution,
+  PullFile,
+  PullOptions,
+  PullOutputFile,
+  PullResult,
+  PullSkippedFile,
+  PushPlan,
+  PushResult,
+  UpgradeResult,
+} from '@zmdb/migrations/files';
+export { CatalogRowError, createIntrospector, detectDrift, nullableIntegerField } from '@zmdb/migrations/introspect';
+export type {
+  CatalogColumnSnapshot,
+  CatalogForeignKeySnapshot,
+  CatalogIndexColumn,
+  CatalogIndexSnapshot,
+  CatalogSchemaSnapshot,
+  CatalogTableSnapshot,
+  CatalogWarning,
+  DriftOptions,
+  DriftReport,
+  IntrospectionDriver,
+  Introspector,
+  IntrospectOptions,
+} from '@zmdb/migrations/introspect';