@danielfgray/pg-sourcerer 0.1.0

package/dist/ir/semantic-ir.d.ts

@@ -0,0 +1,448 @@
+/**
+ * Semantic IR - Intermediate Representation of database schema
+ *
+ * This is the core data structure that plugins consume.
+ * It represents semantic intent, not code.
+ */
+import type { PgAttribute, PgClass, PgType, PgProc } from "@pg-sourcerer/pg-introspection";
+import type { SmartTags, ShapeKind } from "./smart-tags.js";
+/**
+ * Information about a domain type's underlying base type.
+ * Used for type resolution when the column type is a domain.
+ */
+export interface DomainBaseTypeInfo {
+    /** Base type name (e.g., "citext" for a domain over citext) */
+    readonly typeName: string;
+    /** Base type OID (for OID-based type mapping) */
+    readonly typeOid: number;
+    /** Base type namespace OID (for extension lookup) */
+    readonly namespaceOid: string;
+    /** Base type category (e.g., 'S' for string) */
+    readonly category: string;
+}
+/**
+ * A field within a shape - represents a column with semantic context
+ */
+export interface Field {
+    /** Inflected field name (camelCase) */
+    readonly name: string;
+    /** Original PostgreSQL column name */
+    readonly columnName: string;
+    /** Raw attribute from pg-introspection */
+    readonly pgAttribute: PgAttribute;
+    /** Can be NULL at runtime */
+    readonly nullable: boolean;
+    /** Optional in this shape (e.g., has default for insert) */
+    readonly optional: boolean;
+    /** Has DEFAULT or is GENERATED */
+    readonly hasDefault: boolean;
+    /** GENERATED ALWAYS column */
+    readonly isGenerated: boolean;
+    /** IDENTITY column */
+    readonly isIdentity: boolean;
+    /** PostgreSQL array type */
+    readonly isArray: boolean;
+    /** For arrays, the element type name */
+    readonly elementTypeName?: string;
+    /** If the column type is a domain, info about the underlying base type */
+    readonly domainBaseType?: DomainBaseTypeInfo;
+    /** Smart tags from comment */
+    readonly tags: SmartTags;
+    /** Plugin-attached data (extensible, keyed by plugin name) */
+    readonly extensions: ReadonlyMap<string, unknown>;
+    /** Permissions for the connected role */
+    readonly permissions: FieldPermissions;
+}
+/**
+ * A shape is a structure with fields - the semantic description
+ * that can become a TypeScript type, Zod schema, etc.
+ */
+export interface Shape {
+    /** e.g., "UserRow", "UserInsert" */
+    readonly name: string;
+    /** The kind of shape */
+    readonly kind: ShapeKind;
+    /** Fields in this shape */
+    readonly fields: readonly Field[];
+}
+/**
+ * Relation between entities - inferred from foreign key constraints.
+ * Contains raw constraint data; plugins derive names as needed.
+ */
+export interface Relation {
+    /** Relationship kind */
+    readonly kind: "hasMany" | "hasOne" | "belongsTo";
+    /** Target entity name (not table name) */
+    readonly targetEntity: string;
+    /** Original FK constraint name */
+    readonly constraintName: string;
+    /** Column mappings (supports composite FKs) */
+    readonly columns: readonly {
+        readonly local: string;
+        readonly foreign: string;
+    }[];
+    /** Smart tags from constraint comment */
+    readonly tags: SmartTags;
+}
+/**
+ * Primary key information
+ */
+export interface PrimaryKey {
+    /** Column names in the primary key */
+    readonly columns: readonly string[];
+    /** True if from @primaryKey tag, false if real PK constraint */
+    readonly isVirtual: boolean;
+}
+/**
+ * Index method types
+ */
+export type IndexMethod = "btree" | "gin" | "gist" | "hash" | "brin" | "spgist";
+/**
+ * Function volatility classification - affects query optimization and caching
+ */
+export type Volatility = "immutable" | "stable" | "volatile";
+/**
+ * Information about a database index
+ */
+export interface IndexDef {
+    /** PostgreSQL index name */
+    readonly name: string;
+    /** Inflected column names (camelCase) */
+    readonly columns: readonly string[];
+    /** Original PostgreSQL column names */
+    readonly columnNames: readonly string[];
+    /** True if this is a unique index */
+    readonly isUnique: boolean;
+    /** True if this is a primary key index */
+    readonly isPrimary: boolean;
+    /** True if this is a partial index (has WHERE clause) */
+    readonly isPartial: boolean;
+    /** WHERE clause for partial indexes (raw SQL) */
+    readonly predicate?: string;
+    /** Index method (btree, gin, gist, hash, brin, spgist) */
+    readonly method: IndexMethod;
+    /** True if any "column" is actually an expression (not a real column) */
+    readonly hasExpressions: boolean;
+    /** Operator class names for each indexed column (e.g., "gin_trgm_ops", "tsvector_ops") */
+    readonly opclassNames: readonly string[];
+}
+/**
+ * Permissions for a field (column) based on connected role's ACLs
+ */
+export interface FieldPermissions {
+    /** Column can be selected */
+    readonly canSelect: boolean;
+    /** Column can be used in INSERT */
+    readonly canInsert: boolean;
+    /** Column can be used in UPDATE */
+    readonly canUpdate: boolean;
+}
+/**
+ * Permissions for an entity (table/view) based on connected role's ACLs
+ */
+export interface EntityPermissions {
+    /** Table can be selected from */
+    readonly canSelect: boolean;
+    /** Rows can be inserted */
+    readonly canInsert: boolean;
+    /** Rows can be updated */
+    readonly canUpdate: boolean;
+    /** Rows can be deleted */
+    readonly canDelete: boolean;
+}
+/**
+ * All possible entity kinds
+ */
+export type EntityKind = "table" | "view" | "enum" | "domain" | "composite" | "function";
+/**
+ * Base fields shared by all entity kinds
+ */
+interface EntityBase {
+    /** Inflected entity name (PascalCase) */
+    readonly name: string;
+    /** Original PostgreSQL object name (table, view, or type name) */
+    readonly pgName: string;
+    /** PostgreSQL schema name */
+    readonly schemaName: string;
+    /** Smart tags from comment */
+    readonly tags: SmartTags;
+}
+/**
+ * A table or view entity - has shapes, relations, and permissions
+ */
+export interface TableEntity extends EntityBase {
+    /** Entity kind discriminator */
+    readonly kind: "table" | "view";
+    /** Raw class from pg-introspection */
+    readonly pgClass: PgClass;
+    /** Primary key (may be undefined for views without @primaryKey) */
+    readonly primaryKey?: PrimaryKey;
+    /** Indexes on this entity */
+    readonly indexes: readonly IndexDef[];
+    /** Shapes for this entity */
+    readonly shapes: {
+        /** Base shape (row) - always present */
+        readonly row: Shape;
+        /** Insert shape - only if different from base */
+        readonly insert?: Shape;
+        /** Update shape - only if different from insert (or base) */
+        readonly update?: Shape;
+    };
+    /** Relations to other entities */
+    readonly relations: readonly Relation[];
+    /** Permissions for the connected role */
+    readonly permissions: EntityPermissions;
+}
+/**
+ * An enum entity - represents a PostgreSQL enum type
+ */
+export interface EnumEntity extends EntityBase {
+    /** Entity kind discriminator */
+    readonly kind: "enum";
+    /** Raw type from pg-introspection */
+    readonly pgType: PgType;
+    /** Enum values in order */
+    readonly values: readonly string[];
+}
+/**
+ * A CHECK constraint on a domain type
+ */
+export interface DomainConstraint {
+    /** Constraint name */
+    readonly name: string;
+    /** Raw constraint expression (from pg_constraint.conbin decompiled) */
+    readonly expression?: string;
+}
+/**
+ * A domain entity - represents a PostgreSQL domain type (constrained wrapper over a base type)
+ */
+export interface DomainEntity extends EntityBase {
+    /** Entity kind discriminator */
+    readonly kind: "domain";
+    /** Raw type from pg-introspection */
+    readonly pgType: PgType;
+    /** Name of the underlying base type (e.g., "citext", "text") */
+    readonly baseTypeName: string;
+    /** OID of the base type (for type mapping) */
+    readonly baseTypeOid: number;
+    /** Whether the domain has a NOT NULL constraint */
+    readonly notNull: boolean;
+    /** Domain CHECK constraints */
+    readonly constraints: readonly DomainConstraint[];
+}
+/**
+ * A composite entity - represents a user-defined PostgreSQL composite type
+ *
+ * Note: Table row types (auto-generated composites with typrelid != 0) are NOT included.
+ * Only explicitly created composite types are represented here.
+ */
+export interface CompositeEntity extends EntityBase {
+    /** Entity kind discriminator */
+    readonly kind: "composite";
+    /** Raw type from pg-introspection */
+    readonly pgType: PgType;
+    /** Fields in the composite type (reuses Field interface) */
+    readonly fields: readonly Field[];
+}
+export interface FunctionArg {
+    readonly name: string;
+    readonly typeName: string;
+    readonly hasDefault: boolean;
+}
+/**
+ * A function entity - represents a PostgreSQL stored function
+ *
+ * Note: Only supports normal functions with IN parameters.
+ * Functions with OUT/INOUT parameters or RETURNS TABLE are not supported.
+ */
+export interface FunctionEntity extends EntityBase {
+    /** Entity kind discriminator */
+    readonly kind: "function";
+    /** Raw proc from pg-introspection */
+    readonly pgProc: PgProc;
+    /** Return type name (e.g., "text", "pg_catalog.int4") */
+    readonly returnTypeName: string;
+    /** True if function returns SETOF */
+    readonly returnsSet: boolean;
+    /** Number of arguments (for overload disambiguation) */
+    readonly argCount: number;
+    /** Function arguments */
+    readonly args: readonly FunctionArg[];
+    /** Volatility classification */
+    readonly volatility: Volatility;
+    /** True if function is STRICT (NULL input = NULL output) */
+    readonly isStrict: boolean;
+    /** Whether the current role can execute this function */
+    readonly canExecute: boolean;
+    /** True if function belongs to an installed extension */
+    readonly isFromExtension: boolean;
+}
+/**
+ * An entity represents a table, view, enum, domain, or composite type in the database.
+ *
+ * Use the `kind` discriminator to narrow the type:
+ * ```typescript
+ * if (entity.kind === "enum") {
+ *   // entity is EnumEntity, has .values
+ * } else if (entity.kind === "domain") {
+ *   // entity is DomainEntity, has .baseTypeName, .constraints
+ * } else if (entity.kind === "composite") {
+ *   // entity is CompositeEntity, has .fields
+ * } else {
+ *   // entity is TableEntity, has .shapes, .relations, etc.
+ * }
+ * ```
+ */
+export type Entity = TableEntity | EnumEntity | DomainEntity | CompositeEntity | FunctionEntity;
+/**
+ * Check if an entity is a table or view (has shapes, relations, etc.)
+ */
+export declare function isTableEntity(entity: Entity): entity is TableEntity;
+/**
+ * Check if an entity is an enum (has values)
+ */
+export declare function isEnumEntity(entity: Entity): entity is EnumEntity;
+/**
+ * Check if an entity is a domain (has baseTypeName, constraints)
+ */
+export declare function isDomainEntity(entity: Entity): entity is DomainEntity;
+/**
+ * Check if an entity is a composite type (has fields)
+ */
+export declare function isCompositeEntity(entity: Entity): entity is CompositeEntity;
+/**
+ * Check if an entity is a function (has args, volatility, etc.)
+ */
+export declare function isFunctionEntity(entity: Entity): entity is FunctionEntity;
+/**
+ * Capability key - colon-separated hierarchical namespace
+ * e.g., "types", "schemas", "schemas:zod", "queries:crud"
+ */
+export type CapabilityKey = string;
+/**
+ * Artifact - plugin output stored in IR for downstream plugins
+ */
+export interface Artifact {
+    /** Capability this artifact provides */
+    readonly capability: CapabilityKey;
+    /** Plugin that created this artifact */
+    readonly plugin: string;
+    /** Plugin-specific data */
+    readonly data: unknown;
+}
+/**
+ * Information about a PostgreSQL extension
+ */
+export interface ExtensionInfo {
+    /** Extension name (e.g., "citext", "postgis") */
+    readonly name: string;
+    /** Namespace OID where extension objects are installed */
+    readonly namespaceOid: string;
+    /** Extension version */
+    readonly version: string | null;
+}
+/**
+ * The complete Semantic IR
+ */
+export interface SemanticIR {
+    /** All entities (tables, views, enums) keyed by name */
+    readonly entities: ReadonlyMap<string, Entity>;
+    /** Artifacts from plugins, keyed by capability */
+    readonly artifacts: ReadonlyMap<CapabilityKey, Artifact>;
+    /** Installed PostgreSQL extensions */
+    readonly extensions: readonly ExtensionInfo[];
+    /** When introspection was performed */
+    readonly introspectedAt: Date;
+    /** PostgreSQL schemas that were introspected */
+    readonly schemas: readonly string[];
+}
+/**
+ * Mutable builder for SemanticIR - used during IR construction
+ */
+export interface SemanticIRBuilder {
+    entities: Map<string, Entity>;
+    artifacts: Map<CapabilityKey, Artifact>;
+    extensions: ExtensionInfo[];
+    introspectedAt: Date;
+    schemas: string[];
+}
+/**
+ * Create an empty IR builder
+ */
+export declare function createIRBuilder(schemas: readonly string[]): SemanticIRBuilder;
+/**
+ * Freeze a builder into an immutable IR
+ */
+export declare function freezeIR(builder: SemanticIRBuilder): SemanticIR;
+/**
+ * Get all table/view entities from the IR
+ */
+export declare function getTableEntities(ir: SemanticIR): TableEntity[];
+/**
+ * Get all enum entities from the IR
+ */
+export declare function getEnumEntities(ir: SemanticIR): EnumEntity[];
+/**
+ * Get all domain entities from the IR
+ */
+export declare function getDomainEntities(ir: SemanticIR): DomainEntity[];
+/**
+ * Get all composite entities from the IR
+ */
+export declare function getCompositeEntities(ir: SemanticIR): CompositeEntity[];
+/**
+ * Get all function entities from the IR
+ */
+export declare function getFunctionEntities(ir: SemanticIR): FunctionEntity[];
+/**
+ * A reversed relation - represents the "other side" of a belongsTo FK.
+ *
+ * If orders.user_id → users.id creates a "orders belongsTo users" relation,
+ * the reverse is "users hasMany orders".
+ */
+export interface ReverseRelation {
+    /** The kind of reverse relationship */
+    readonly kind: "hasMany" | "hasOne";
+    /** Entity name that has the FK (the "child" table) */
+    readonly sourceEntity: string;
+    /** Original constraint name */
+    readonly constraintName: string;
+    /** Column mappings (same as original, but semantically reversed) */
+    readonly columns: readonly {
+        /** Column on the target (this) entity - the referenced column */
+        readonly local: string;
+        /** Column on the source entity - the FK column */
+        readonly foreign: string;
+    }[];
+    /** Original relation this was derived from */
+    readonly originalRelation: Relation;
+}
+/**
+ * Get all reverse relations pointing TO this entity.
+ *
+ * Scans all entities for belongsTo relations targeting the given entity
+ * and returns them as hasMany relations.
+ *
+ * @example
+ * ```typescript
+ * // If orders.user_id → users.id exists as "orders belongsTo users"
+ * const reverseRels = getReverseRelations(ir, "User")
+ * // Returns: [{ kind: "hasMany", sourceEntity: "Order", ... }]
+ * ```
+ */
+export declare function getReverseRelations(ir: SemanticIR, entityName: string): readonly ReverseRelation[];
+/**
+ * Get all relations for an entity in both directions.
+ *
+ * Combines the entity's direct relations (belongsTo) with reverse relations
+ * (hasMany) from other entities pointing to this one.
+ */
+export interface AllRelations {
+    /** Direct relations from this entity (belongsTo) */
+    readonly belongsTo: readonly Relation[];
+    /** Reverse relations to this entity (hasMany) */
+    readonly hasMany: readonly ReverseRelation[];
+}
+export declare function getAllRelations(ir: SemanticIR, entityName: string): AllRelations | undefined;
+export {};
+//# sourceMappingURL=semantic-ir.d.ts.map

package/dist/ir/semantic-ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-ir.d.ts","sourceRoot":"","sources":["../../src/ir/semantic-ir.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,gCAAgC,CAAA;AAC1F,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAE3D;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,+DAA+D;IAC/D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,iDAAiD;IACjD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,qDAAqD;IACrD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,KAAK;IACpB,uCAAuC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,sCAAsC;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,0CAA0C;IAC1C,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;IAGjC,6BAA6B;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,4DAA4D;IAC5D,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,kCAAkC;IAClC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAC5B,8BAA8B;IAC9B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAA;IAC7B,sBAAsB;IACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAG5B,4BAA4B;IAC5B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,wCAAwC;IACxC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;IAGjC,0EAA0E;IAC1E,QAAQ,CAAC,cAAc,CAAC,EAAE,kBAAkB,CAAA;IAE5C,8BAA8B;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IAExB,8DAA8D;IAC9D,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAEjD,yCAAyC;IACzC,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAA;CACvC;AAED;;;GAGG;AACH,MAAM,WAAW,KAAK;IACpB,oCAAoC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,wBAAwB;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAA;CAClC;AAED;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,wBAAwB;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,QAAQ,GAAG,WAAW,CAAA;IACjD,0CAA0C;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,kCAAkC;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAE/B,+CAA+C;IAC/C,QAAQ,CAAC,OAAO,EAAE,SAAS;QACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KACzB,EAAE,CAAA;IAEH,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,sCAAsC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,gEAAgE;IAChE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B;AAED;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,CAAA;AAE/E;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,WAAW,GAAG,QAAQ,GAAG,UAAU,CAAA;AAE5D;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,yCAAyC;IACzC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,uCAAuC;IACvC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;IACvC,qCAAqC;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,0CAA0C;IAC1C,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,yDAAyD;IACzD,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,iDAAiD;IACjD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,0DAA0D;IAC1D,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;IAC5B,yEAAyE;IACzE,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;IAChC,0FAA0F;IAC1F,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,6BAA6B;IAC7B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,mCAAmC;IACnC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,mCAAmC;IACnC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,iCAAiC;IACjC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,2BAA2B;IAC3B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,0BAA0B;IAC1B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,0BAA0B;IAC1B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B;AAMD;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,GAAG,WAAW,GAAG,UAAU,CAAA;AAMxF;;GAEG;AACH,UAAU,UAAU;IAClB,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,kEAAkE;IAClE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,6BAA6B;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,8BAA8B;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CACzB;AAMD;;GAEG;AACH,MAAM,WAAW,WAAY,SAAQ,UAAU;IAC7C,gCAAgC;IAChC,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAAA;IAC/B,sCAAsC;IACtC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IAEzB,mEAAmE;IACnE,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAA;IAEhC,6BAA6B;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAA;IAErC,6BAA6B;IAC7B,QAAQ,CAAC,MAAM,EAAE;QACf,wCAAwC;QACxC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAA;QACnB,iDAAiD;QACjD,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAA;QACvB,6DAA6D;QAC7D,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAA;KACxB,CAAA;IAED,kCAAkC;IAClC,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAA;IAEvC,yCAAyC;IACzC,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAA;CACxC;AAMD;;GAEG;AACH,MAAM,WAAW,UAAW,SAAQ,UAAU;IAC5C,gCAAgC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,qCAAqC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CACnC;AAMD;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,sBAAsB;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,uEAAuE;IACvE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,YAAa,SAAQ,UAAU;IAC9C,gCAAgC;IAChC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,qCAAqC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,gEAAgE;IAChE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,8CAA8C;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,mDAAmD;IACnD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,+BAA+B;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAClD;AAMD;;;;;GAKG;AACH,MAAM,WAAW,eAAgB,SAAQ,UAAU;IACjD,gCAAgC;IAChC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,qCAAqC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAA;CAClC;AAQD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;CAC7B;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAe,SAAQ,UAAU;IAChD,gCAAgC;IAChC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,qCAAqC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,yDAAyD;IACzD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,qCAAqC;IACrC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAC5B,wDAAwD;IACxD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,yBAAyB;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAA;IACrC,gCAAgC;IAChC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;IAC/B,4DAA4D;IAC5D,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,yDAAyD;IACzD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAC5B,yDAAyD;IACzD,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAA;CAClC;AAMD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,MAAM,GAAG,WAAW,GAAG,UAAU,GAAG,YAAY,GAAG,eAAe,GAAG,cAAc,CAAA;AAM/F;;GAEG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,IAAI,WAAW,CAEnE;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,IAAI,UAAU,CAEjE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,IAAI,YAAY,CAErE;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,IAAI,eAAe,CAE3E;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,IAAI,cAAc,CAEzE;AAQD;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAA;AAElC;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,wCAAwC;IACxC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAA;IAClC,wCAAwC;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,2BAA2B;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,iDAAiD;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,0DAA0D;IAC1D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,wBAAwB;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,wDAAwD;IACxD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9C,kDAAkD;IAClD,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAA;IACxD,sCAAsC;IACtC,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAA;IAG7C,uCAAuC;IACvC,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAA;IAC7B,gDAAgD;IAChD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,SAAS,EAAE,GAAG,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAA;IACvC,UAAU,EAAE,aAAa,EAAE,CAAA;IAC3B,cAAc,EAAE,IAAI,CAAA;IACpB,OAAO,EAAE,MAAM,EAAE,CAAA;CAClB;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,iBAAiB,CAQ7E;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,OAAO,EAAE,iBAAiB,GAAG,UAAU,CAQ/D;AAMD;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,UAAU,GAAG,WAAW,EAAE,CAE9D;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,EAAE,EAAE,UAAU,GAAG,UAAU,EAAE,CAE5D;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,UAAU,GAAG,YAAY,EAAE,CAEhE;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,UAAU,GAAG,eAAe,EAAE,CAEtE;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,UAAU,GAAG,cAAc,EAAE,CAEpE;AAMD;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,uCAAuC;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,QAAQ,CAAA;IACnC,sDAAsD;IACtD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,+BAA+B;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,oEAAoE;IACpE,QAAQ,CAAC,OAAO,EAAE,SAAS;QACzB,iEAAiE;QACjE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,kDAAkD;QAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KACzB,EAAE,CAAA;IACH,8CAA8C;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAA;CACpC;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CACjC,EAAE,EAAE,UAAU,EACd,UAAU,EAAE,MAAM,GACjB,SAAS,eAAe,EAAE,CA0B5B;AAED;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,oDAAoD;IACpD,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAA;IACvC,iDAAiD;IACjD,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAA;CAC7C;AAED,wBAAgB,eAAe,CAC7B,EAAE,EAAE,UAAU,EACd,UAAU,EAAE,MAAM,GACjB,YAAY,GAAG,SAAS,CAQ1B"}

package/dist/ir/semantic-ir.js

@@ -0,0 +1,138 @@
+// ============================================================================
+// Type Guards
+// ============================================================================
+/**
+ * Check if an entity is a table or view (has shapes, relations, etc.)
+ */
+export function isTableEntity(entity) {
+    return entity.kind === "table" || entity.kind === "view";
+}
+/**
+ * Check if an entity is an enum (has values)
+ */
+export function isEnumEntity(entity) {
+    return entity.kind === "enum";
+}
+/**
+ * Check if an entity is a domain (has baseTypeName, constraints)
+ */
+export function isDomainEntity(entity) {
+    return entity.kind === "domain";
+}
+/**
+ * Check if an entity is a composite type (has fields)
+ */
+export function isCompositeEntity(entity) {
+    return entity.kind === "composite";
+}
+/**
+ * Check if an entity is a function (has args, volatility, etc.)
+ */
+export function isFunctionEntity(entity) {
+    return entity.kind === "function";
+}
+/**
+ * Create an empty IR builder
+ */
+export function createIRBuilder(schemas) {
+    return {
+        entities: new Map(),
+        artifacts: new Map(),
+        extensions: [],
+        introspectedAt: new Date(),
+        schemas: [...schemas],
+    };
+}
+/**
+ * Freeze a builder into an immutable IR
+ */
+export function freezeIR(builder) {
+    return {
+        entities: new Map(builder.entities),
+        artifacts: new Map(builder.artifacts),
+        extensions: [...builder.extensions],
+        introspectedAt: builder.introspectedAt,
+        schemas: [...builder.schemas],
+    };
+}
+// ============================================================================
+// Helper Functions
+// ============================================================================
+/**
+ * Get all table/view entities from the IR
+ */
+export function getTableEntities(ir) {
+    return [...ir.entities.values()].filter(isTableEntity);
+}
+/**
+ * Get all enum entities from the IR
+ */
+export function getEnumEntities(ir) {
+    return [...ir.entities.values()].filter(isEnumEntity);
+}
+/**
+ * Get all domain entities from the IR
+ */
+export function getDomainEntities(ir) {
+    return [...ir.entities.values()].filter(isDomainEntity);
+}
+/**
+ * Get all composite entities from the IR
+ */
+export function getCompositeEntities(ir) {
+    return [...ir.entities.values()].filter(isCompositeEntity);
+}
+/**
+ * Get all function entities from the IR
+ */
+export function getFunctionEntities(ir) {
+    return [...ir.entities.values()].filter(isFunctionEntity);
+}
+/**
+ * Get all reverse relations pointing TO this entity.
+ *
+ * Scans all entities for belongsTo relations targeting the given entity
+ * and returns them as hasMany relations.
+ *
+ * @example
+ * ```typescript
+ * // If orders.user_id → users.id exists as "orders belongsTo users"
+ * const reverseRels = getReverseRelations(ir, "User")
+ * // Returns: [{ kind: "hasMany", sourceEntity: "Order", ... }]
+ * ```
+ */
+export function getReverseRelations(ir, entityName) {
+    const results = [];
+    for (const entity of ir.entities.values()) {
+        if (!isTableEntity(entity))
+            continue;
+        for (const relation of entity.relations) {
+            if (relation.targetEntity === entityName && relation.kind === "belongsTo") {
+                results.push({
+                    // Default to hasMany; could be hasOne if unique constraint on FK
+                    // TODO: detect unique constraint on FK columns for hasOne
+                    kind: "hasMany",
+                    sourceEntity: entity.name,
+                    constraintName: relation.constraintName,
+                    // Swap local/foreign perspective
+                    columns: relation.columns.map((col) => ({
+                        local: col.foreign, // Referenced column becomes "local"
+                        foreign: col.local, // FK column becomes "foreign"
+                    })),
+                    originalRelation: relation,
+                });
+            }
+        }
+    }
+    return results;
+}
+export function getAllRelations(ir, entityName) {
+    const entity = ir.entities.get(entityName);
+    if (!entity || !isTableEntity(entity))
+        return undefined;
+    return {
+        belongsTo: entity.relations.filter((r) => r.kind === "belongsTo"),
+        hasMany: getReverseRelations(ir, entityName),
+    };
+}
+//# sourceMappingURL=semantic-ir.js.map

package/dist/ir/semantic-ir.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-ir.js","sourceRoot":"","sources":["../../src/ir/semantic-ir.ts"],"names":[],"mappings":"AA+WA,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,OAAO,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAA;AAC1D,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,OAAO,MAAM,CAAC,IAAI,KAAK,MAAM,CAAA;AAC/B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAA;AACjC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAc;IAC9C,OAAO,MAAM,CAAC,IAAI,KAAK,WAAW,CAAA;AACpC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,MAAM,CAAC,IAAI,KAAK,UAAU,CAAA;AACnC,CAAC;AAmED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,OAA0B;IACxD,OAAO;QACL,QAAQ,EAAE,IAAI,GAAG,EAAE;QACnB,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,UAAU,EAAE,EAAE;QACd,cAAc,EAAE,IAAI,IAAI,EAAE;QAC1B,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC;KACtB,CAAA;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,QAAQ,CAAC,OAA0B;IACjD,OAAO;QACL,QAAQ,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC;QACnC,SAAS,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC;QACrC,UAAU,EAAE,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC;QACnC,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC;KAC9B,CAAA;AACH,CAAC;AAED,+EAA+E;AAC/E,mBAAmB;AACnB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAc;IAC7C,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;AACxD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,EAAc;IAC5C,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;AACvD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,EAAc;IAC9C,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAA;AACzD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAc;IACjD,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAA;AAC5D,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,EAAc;IAChD,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;AAC3D,CAAC;AA8BD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CACjC,EAAc,EACd,UAAkB;IAElB,MAAM,OAAO,GAAsB,EAAE,CAAA;IAErC,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;YAAE,SAAQ;QAEpC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACxC,IAAI,QAAQ,CAAC,YAAY,KAAK,UAAU,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC1E,OAAO,CAAC,IAAI,CAAC;oBACX,iEAAiE;oBACjE,0DAA0D;oBAC1D,IAAI,EAAE,SAAS;oBACf,YAAY,EAAE,MAAM,CAAC,IAAI;oBACzB,cAAc,EAAE,QAAQ,CAAC,cAAc;oBACvC,iCAAiC;oBACjC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;wBACtC,KAAK,EAAE,GAAG,CAAC,OAAO,EAAI,oCAAoC;wBAC1D,OAAO,EAAE,GAAG,CAAC,KAAK,EAAI,8BAA8B;qBACrD,CAAC,CAAC;oBACH,gBAAgB,EAAE,QAAQ;iBAC3B,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAA;AAChB,CAAC;AAeD,MAAM,UAAU,eAAe,CAC7B,EAAc,EACd,UAAkB;IAElB,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IAC1C,IAAI,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAA;IAEvD,OAAO;QACL,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;QACjE,OAAO,EAAE,mBAAmB,CAAC,EAAE,EAAE,UAAU,CAAC;KAC7C,CAAA;AACH,CAAC"}

package/dist/ir/smart-tags.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Smart Tags - configuration extracted from PostgreSQL COMMENT ON statements
+ */
+import { Schema as S } from "effect";
+/**
+ * Shape kinds for omit filtering
+ */
+export declare const ShapeKind: S.Literal<["row", "insert", "update"]>;
+export type ShapeKind = S.Schema.Type<typeof ShapeKind>;
+/**
+ * Smart tags schema - extracted from pg_description comments
+ * Format: {"sourcerer": {...}} in the comment text
+ */
+export declare const SmartTags: S.extend<S.Struct<{
+    name: S.optional<typeof S.String>;
+    omit: S.optional<S.Union<[typeof S.Boolean, S.Array$<S.Literal<["row", "insert", "update"]>>]>>;
+    type: S.optional<typeof S.String>;
+    deprecated: S.optional<S.Union<[typeof S.Boolean, typeof S.String]>>;
+    primaryKey: S.optional<S.Array$<typeof S.String>>;
+    fieldName: S.optional<typeof S.String>;
+    foreignFieldName: S.optional<typeof S.String>;
+}>, S.Record$<typeof S.String, typeof S.Unknown>>;
+export type SmartTags = S.Schema.Type<typeof SmartTags>;
+//# sourceMappingURL=smart-tags.d.ts.map

package/dist/ir/smart-tags.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"smart-tags.d.ts","sourceRoot":"","sources":["../../src/ir/smart-tags.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEpC;;GAEG;AACH,eAAO,MAAM,SAAS,wCAAuC,CAAA;AAC7D,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,CAAA;AAEvD;;;GAGG;AACH,eAAO,MAAM,SAAS;;;;;;;;iDAwBrB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,CAAA"}

package/dist/ir/smart-tags.js

@@ -0,0 +1,30 @@
+/**
+ * Smart Tags - configuration extracted from PostgreSQL COMMENT ON statements
+ */
+import { Schema as S } from "effect";
+/**
+ * Shape kinds for omit filtering
+ */
+export const ShapeKind = S.Literal("row", "insert", "update");
+/**
+ * Smart tags schema - extracted from pg_description comments
+ * Format: {"sourcerer": {...}} in the comment text
+ */
+export const SmartTags = S.Struct({
+    // Renaming
+    name: S.optional(S.String),
+    // Omission: true = omit entirely, array = omit from specific shapes
+    omit: S.optional(S.Union(S.Boolean, S.Array(ShapeKind))),
+    // Type override (emitter-specific, passed through as string)
+    type: S.optional(S.String),
+    // Deprecation: true = deprecated, string = deprecated with message
+    deprecated: S.optional(S.Union(S.Boolean, S.String)),
+    // For views: define virtual primary key
+    primaryKey: S.optional(S.Array(S.String)),
+    // For constraints: relation naming
+    fieldName: S.optional(S.String),
+    foreignFieldName: S.optional(S.String),
+}).pipe(
+// Extension point: plugins can define additional keys
+S.extend(S.Record({ key: S.String, value: S.Unknown })));
+//# sourceMappingURL=smart-tags.js.map

package/dist/ir/smart-tags.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"smart-tags.js","sourceRoot":"","sources":["../../src/ir/smart-tags.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEpC;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;AAG7D;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,WAAW;IACX,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IAE1B,oEAAoE;IACpE,IAAI,EAAE,CAAC,CAAC,QAAQ,CACd,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CACvC;IAED,6DAA6D;IAC7D,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IAE1B,mEAAmE;IACnE,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAEpD,wCAAwC;IACxC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAEzC,mCAAmC;IACnC,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/B,gBAAgB,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;CACvC,CAAC,CAAC,IAAI;AACL,sDAAsD;AACtD,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CACxD,CAAA"}