@zmdb/schema 1.0.0-beta.1

package/dist/openapi/index.js

@@ -0,0 +1,98 @@
+import {} from '../index.js';
+import { jsonSchemaFromIR } from '../ir/index.js';
+// JSON Schema / OpenAPI generation — implementation.
+// #64 toJsonSchema scalar/enum/nullable (+ tag mapping and variant/aggregation
+// logic that the shared golden suite exercises). Build-time, no reflection.
+//
+// The scalar/variant walk used to live here as `scalarSchema` — one of the four
+// independent walkers over column metadata catalogued in `PLAN-type-first.md` §1.
+// It now delegates to `../ir`, so naming a variant and naming a derived type cannot
+// produce different documents: both are read off the same `SchemaIR`, and the emitter is
+// a pure function of it (REQ-TF-7). What is left in this file is the OpenAPI framing —
+// components, list/search envelopes, naming — which is genuinely its own concern.
+import { singularPascalCase } from '../naming/index.js';
+export function toJsonSchema(schema, variant = 'entity') {
+    if (!schema) {
+        throw new Error('toJsonSchema<T>() was not replaced at build time. It is compiled away by @zmdb/compiler ' +
+            '(the unplugin, Metro adapter, or project compiler), which did not run over this file — a type argument cannot ' +
+            'be read at runtime, so there is nothing to fall back to.');
+    }
+    return jsonSchemaFromIR(schema.ir, variant);
+}
+/**
+ * The `components.schemas` key for a table, and the target of every `$ref` that points at
+ * it: singularized, then PascalCase. `user_addresses` → `UserAddress`.
+ *
+ * Exported because it is the only way to write a `$ref` by hand that resolves against a
+ * document this module produced, and because it is the whole subject of
+ * `singularization.spec.ts` — which used to reach it by declaring twenty schemas whose only
+ * distinguishing feature was the table name.
+ */
+export function componentName(table) {
+    return singularPascalCase(table);
+}
+/**
+ * The entity schema with a `$ref` per relation: a to-one refs the target component, a to-many
+ * is an array of them.
+ *
+ * Relations reach the `entity` (response) variant only. A create or update body is columns,
+ * and a `$ref` to a whole entity in one would say the client may post a nested graph, which
+ * no write path here accepts.
+ *
+ * There used to be a second parameter — a `Record<string, RelationLike>` naming each relation
+ * and its target table — because a schema value carried no relations for this to read. It
+ * carries them now, on `schema.ir`, so a document generated from a set of schemas can no
+ * longer disagree with the tables about which relations exist. The kinds are the IR's
+ * (`oneToMany`, not `one-to-many`).
+ */
+export function toJsonSchemaWithRelations(schema, variant = 'entity') {
+    const base = toJsonSchema(schema, variant);
+    if (variant !== 'entity')
+        return base; // input bodies exclude relations
+    const properties = { ...base.properties };
+    for (const rel of schema.ir.relations) {
+        const ref = { $ref: `#/components/schemas/${componentName(rel.target)}` };
+        const toMany = rel.relation === 'oneToMany' || rel.relation === 'manyToMany';
+        properties[rel.name] = toMany ? { type: 'array', items: ref } : ref;
+    }
+    return { type: 'object', properties, required: base.required };
+}
+export function toOpenApiComponents(schemas) {
+    const out = {};
+    for (const s of [...schemas].toSorted((a, b) => a.ir.table.localeCompare(b.ir.table))) {
+        out[componentName(s.ir.table)] = toJsonSchema(s, 'entity');
+    }
+    return { schemas: out };
+}
+export function toListSchema(schema) {
+    const entity = toJsonSchema(schema, 'entity');
+    return {
+        type: 'object',
+        properties: {
+            items: { type: 'array', items: entity },
+            total: { type: 'integer' },
+            hasMore: { type: 'boolean' },
+            cursor: { type: 'string' },
+        },
+        required: ['hasMore', 'items'],
+    };
+}
+export function toSearchSchema(schema) {
+    const entity = toJsonSchema(schema, 'entity');
+    const hit = {
+        type: 'object',
+        properties: { ...entity.properties, _score: { type: 'number' } },
+        required: entity.required,
+    };
+    return {
+        type: 'object',
+        properties: {
+            items: { type: 'array', items: hit },
+            total: { type: 'integer' },
+            hasMore: { type: 'boolean' },
+            cursor: { type: 'string' },
+        },
+        required: ['hasMore', 'items'],
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/openapi/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/openapi/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAuC,MAAM,gBAAgB,CAAC;AACvF,qDAAqD;AACrD,+EAA+E;AAC/E,4EAA4E;AAC5E,EAAE;AACF,gFAAgF;AAChF,kFAAkF;AAClF,oFAAoF;AACpF,yFAAyF;AACzF,uFAAuF;AACvF,kFAAkF;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAuBxD,MAAM,UAAU,YAAY,CAAC,MAA2B,EAAE,OAAO,GAAY,QAAQ;IACnF,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CACb,0FAA0F;YACxF,gHAAgH;YAChH,0DAA0D,CAC7D,CAAC;IACJ,CAAC;IACD,OAAO,gBAAgB,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;AAC9C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;AACnC,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAA0B,EAAE,OAAO,GAAY,QAAQ;IAC/F,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,OAAO,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,CAAC,iCAAiC;IACxE,MAAM,UAAU,GAA4B,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;IACnE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,wBAAwB,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QAC1E,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,KAAK,WAAW,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,CAAC;QAC7E,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IACtE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAsC;IAGxE,MAAM,GAAG,GAAqC,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACtF,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAC1B,CAAC;AASD,MAAM,UAAU,YAAY,CAAC,MAA0B;IACrD,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9C,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE;YACvC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC5B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC3B;QACD,QAAQ,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC;KAC/B,CAAC;AACJ,CAAC;AACD,MAAM,UAAU,cAAc,CAAC,MAA0B;IACvD,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG;QACV,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,EAAE,GAAG,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;QAChE,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAC;IACF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE;YACpC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC5B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC3B;QACD,QAAQ,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC;KAC/B,CAAC;AACJ,CAAC"}

package/dist/relations/index.d.ts

@@ -0,0 +1,23 @@
+import { type SchemaIR } from '../ir/index.js';
+export interface ResolvedRelation {
+    readonly name: string;
+    /** Where the related rows live. */
+    readonly targetTable: string;
+    /** Ordered columns on the declaring table whose values the join matches. */
+    readonly parentKey: readonly string[];
+    /** Ordered columns on the target table, positionally paired with `parentKey`. */
+    readonly targetKey: readonly string[];
+    /** `true` for `oneToMany`: the relation attaches an array, empty where nothing matched. */
+    readonly toMany: boolean;
+}
+/**
+ * Resolve one relation of a table by name.
+ *
+ * Throws for a name the type does not declare — naming the ones it does, because a
+ * misspelled `populate` is the common case — and for `manyToMany`, whose `via` is a join
+ * table rather than a column: two hops cannot be expressed as one `IN`, and guessing the
+ * join table's two foreign keys from the table names either side is how a wrong query gets
+ * built quietly.
+ */
+export declare function resolveRelation(ir: SchemaIR, name: string): ResolvedRelation;
+//# sourceMappingURL=index.d.ts.map

package/dist/relations/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/relations/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE/C,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mCAAmC;IACnC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,4EAA4E;IAC5E,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,iFAAiF;IACjF,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,2FAA2F;IAC3F,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,gBAAgB,CAqC5E"}

package/dist/relations/index.js

@@ -0,0 +1,98 @@
+import {} from '../ir/index.js';
+/**
+ * Resolve one relation of a table by name.
+ *
+ * Throws for a name the type does not declare — naming the ones it does, because a
+ * misspelled `populate` is the common case — and for `manyToMany`, whose `via` is a join
+ * table rather than a column: two hops cannot be expressed as one `IN`, and guessing the
+ * join table's two foreign keys from the table names either side is how a wrong query gets
+ * built quietly.
+ */
+export function resolveRelation(ir, name) {
+    const declared = ir.relations;
+    const rel = declared.find(candidate => candidate.name === name);
+    if (!rel) {
+        const known = declared.map(candidate => candidate.name);
+        throw new Error(`unknown relation "${name}" on ${ir.table}: ` +
+            (known.length > 0 ? `the type declares ${known.join(', ')}` : 'the type declares none'));
+    }
+    if (rel.relation === 'manyToMany') {
+        throw new Error(`relation "${name}" on ${ir.table} is many-to-many through "${rel.via}", which populate ` +
+            'does not resolve — join the two tables explicitly');
+    }
+    if (rel.relation === 'oneToMany') {
+        // The inverse side: the foreign key is a column of the *target*, holding this row's key.
+        return inverseRelation(ir, name, rel, true);
+    }
+    const via = relationColumns(ir, name, rel.via);
+    if (rel.relation === 'oneToOne' && !via.every(column => ir.columns.some(candidate => candidate.name === column))) {
+        // A one-to-one pair is symmetric, so `OneToOne<'profiles', 'userId'>` does not say which
+        // of the two tables holds the key — and the answer is "the one with the column". Declared
+        // on `users`, which has no `userId`, it is the inverse side, joined from the primary key
+        // exactly as a to-many is; it just cannot match twice.
+        return inverseRelation(ir, name, rel, false);
+    }
+    // The owning side: this row holds the foreign key, and the column it points at is written
+    // down on that column, as `References<'users.id'>`.
+    return {
+        name,
+        targetTable: rel.target,
+        parentKey: via,
+        targetKey: via.map(column => referencedColumn(ir, name, rel.target, column, via.length > 1)),
+        toMany: false,
+    };
+}
+function relationColumns(ir, relation, via) {
+    const columns = via.split(',').map(column => column.trim());
+    if (columns.some(column => column.length === 0)) {
+        throw new Error(`${ir.table}.${relation}: relation via "${via}" contains an empty column name`);
+    }
+    return columns;
+}
+/** The column a foreign key points at, per its `References<'table.column'>`; `id` without one. */
+function referencedColumn(ir, relation, target, fk, requireReference) {
+    const reference = ir.columns.find(col => col.name === fk)?.references;
+    const separator = reference?.lastIndexOf('.') ?? -1;
+    if (reference !== undefined && separator > 0 && separator < reference.length - 1) {
+        return reference.slice(separator + 1);
+    }
+    if (requireReference) {
+        throw new Error(`${ir.table}.${relation}: composite relation via column "${fk}" must carry ` +
+            `References<'${target}.column'>; every via column must name its target`);
+    }
+    return 'id';
+}
+function primaryKeyOf(ir) {
+    if (ir.primaryKey.length === 0) {
+        throw new Error(`schema ${ir.table} has no primary key, so its relations have nothing to join from`);
+    }
+    return ir.primaryKey;
+}
+function relationTag(relation) {
+    switch (relation) {
+        case 'manyToOne':
+            return 'ManyToOne';
+        case 'oneToMany':
+            return 'OneToMany';
+        case 'oneToOne':
+            return 'OneToOne';
+    }
+}
+function inverseRelation(ir, name, rel, toMany) {
+    if (rel.relation !== 'oneToMany' && rel.relation !== 'oneToOne') {
+        throw new Error(`${ir.table}.${name}: ${rel.relation} is not an inverse relation`);
+    }
+    const parentKey = primaryKeyOf(ir);
+    const targetKey = relationColumns(ir, name, rel.via);
+    if (parentKey.length !== targetKey.length) {
+        const tag = relationTag(rel.relation);
+        const missing = Math.max(0, parentKey.length - targetKey.length);
+        const suggestedVia = [...parentKey.slice(0, missing), ...targetKey].join(',');
+        const targetLabel = targetKey.length === 1 ? 'column' : 'columns';
+        throw new Error(`${ir.table}.${name}: ${tag}<'${rel.target}', '${rel.via}'> supplies ${String(targetKey.length)} target ` +
+            `${targetLabel} for a ${String(parentKey.length)}-column parent key (${parentKey.join(', ')}); ` +
+            `name every column, in key order — ${tag}<'${rel.target}', '${suggestedVia}'>`);
+    }
+    return { name, targetTable: rel.target, parentKey, targetKey, toMany };
+}
+//# sourceMappingURL=index.js.map

package/dist/relations/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/relations/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,MAAM,gBAAgB,CAAC;AAc/C;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,EAAY,EAAE,IAAY;IACxD,MAAM,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC;IAC9B,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAChE,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,IAAI,KAAK,CACb,qBAAqB,IAAI,QAAQ,EAAE,CAAC,KAAK,IAAI;YAC3C,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAC1F,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CACb,aAAa,IAAI,QAAQ,EAAE,CAAC,KAAK,6BAA6B,GAAG,CAAC,GAAG,oBAAoB;YACvF,mDAAmD,CACtD,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;QACjC,yFAAyF;QACzF,OAAO,eAAe,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC;QACjH,yFAAyF;QACzF,0FAA0F;QAC1F,yFAAyF;QACzF,uDAAuD;QACvD,OAAO,eAAe,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;IACD,0FAA0F;IAC1F,oDAAoD;IACpD,OAAO;QACL,IAAI;QACJ,WAAW,EAAE,GAAG,CAAC,MAAM;QACvB,SAAS,EAAE,GAAG;QACd,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC5F,MAAM,EAAE,KAAK;KACd,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,EAAY,EAAE,QAAgB,EAAE,GAAW;IAClE,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,IAAI,QAAQ,mBAAmB,GAAG,iCAAiC,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,kGAAkG;AAClG,SAAS,gBAAgB,CACvB,EAAY,EACZ,QAAgB,EAChB,MAAc,EACd,EAAU,EACV,gBAAyB;IAEzB,MAAM,SAAS,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,UAAU,CAAC;IACtE,MAAM,SAAS,GAAG,SAAS,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjF,OAAO,SAAS,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,gBAAgB,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CACb,GAAG,EAAE,CAAC,KAAK,IAAI,QAAQ,oCAAoC,EAAE,eAAe;YAC1E,eAAe,MAAM,kDAAkD,CAC1E,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,EAAY;IAChC,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC,KAAK,iEAAiE,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,EAAE,CAAC,UAAU,CAAC;AACvB,CAAC;AAED,SAAS,WAAW,CAAC,QAAgD;IACnE,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,WAAW;YACd,OAAO,WAAW,CAAC;QACrB,KAAK,WAAW;YACd,OAAO,WAAW,CAAC;QACrB,KAAK,UAAU;YACb,OAAO,UAAU,CAAC;IACtB,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,EAAY,EACZ,IAAY,EACZ,GAAkC,EAClC,MAAe;IAEf,IAAI,GAAG,CAAC,QAAQ,KAAK,WAAW,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,IAAI,IAAI,KAAK,GAAG,CAAC,QAAQ,6BAA6B,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,SAAS,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;IACnC,MAAM,SAAS,GAAG,eAAe,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QACjE,MAAM,YAAY,GAAG,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9E,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QAClE,MAAM,IAAI,KAAK,CACb,GAAG,EAAE,CAAC,KAAK,IAAI,IAAI,KAAK,GAAG,KAAK,GAAG,CAAC,MAAM,OAAO,GAAG,CAAC,GAAG,eAAe,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU;YACvG,GAAG,WAAW,UAAU,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,uBAAuB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;YAChG,qCAAqC,GAAG,KAAK,GAAG,CAAC,MAAM,OAAO,YAAY,IAAI,CACjF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AACzE,CAAC"}

package/dist/tags/index.d.ts

@@ -0,0 +1,261 @@
+import { type SqlType } from '../index.js';
+import { type ProtoScalar, type ReferentialAction, type RelationKind } from '../ir/index.js';
+declare const zmdbTable: unique symbol;
+declare const zmdbPhysical: unique symbol;
+declare const zmdbFts: unique symbol;
+declare const zmdbShardKey: unique symbol;
+declare const zmdbSortKey: unique symbol;
+declare const zmdbRowstore: unique symbol;
+declare const zmdbSoftDelete: unique symbol;
+declare const zmdbSqlType: unique symbol;
+declare const zmdbPrimaryKey: unique symbol;
+declare const zmdbSerial: unique symbol;
+declare const zmdbUnique: unique symbol;
+declare const zmdbDefault: unique symbol;
+declare const zmdbSensitive: unique symbol;
+declare const zmdbReferences: unique symbol;
+declare const zmdbOnDelete: unique symbol;
+declare const zmdbOnUpdate: unique symbol;
+declare const zmdbForeignKey: unique symbol;
+declare const zmdbLength: unique symbol;
+declare const zmdbNumeric: unique symbol;
+declare const zmdbCodec: unique symbol;
+declare const zmdbWire: unique symbol;
+declare const zmdbRelation: unique symbol;
+declare const zmdbMin: unique symbol;
+declare const zmdbMax: unique symbol;
+declare const zmdbMinLength: unique symbol;
+declare const zmdbMaxLength: unique symbol;
+declare const zmdbPattern: unique symbol;
+declare const zmdbRule: unique symbol;
+declare const zmdbProtoField: unique symbol;
+declare const zmdbProtoScalar: unique symbol;
+/** The table an entity maps to. `interface User extends Table<'users'>`. */
+export type Table<Name extends string> = {
+    readonly [zmdbTable]?: Name;
+};
+/**
+ * The physical SQL identifier when it must override the configured naming strategy.
+ *
+ * In interface position it names the table; in a property intersection it names the
+ * column. The reflector decides which from the position, so one zero-runtime tag covers
+ * both without changing the declaration's TypeScript-facing name.
+ */
+export type Physical<Name extends string> = {
+    readonly [zmdbPhysical]?: Name;
+};
+/** The full-text-search table backing this entity (`CoreSchema.ftsTable`). */
+export type Fts<Name extends string | true> = {
+    readonly [zmdbFts]?: Name;
+};
+/** SingleStore distribution columns, in declared order. */
+export type ShardKey<Columns extends readonly string[]> = {
+    readonly [zmdbShardKey]?: Columns;
+};
+/** SingleStore columnstore sort columns, in declared order. */
+export type SortKey<Columns extends readonly string[]> = {
+    readonly [zmdbSortKey]?: Columns;
+};
+/** Select SingleStore's row-oriented table storage instead of its columnstore default. */
+export type Rowstore = {
+    readonly [zmdbRowstore]?: true;
+};
+/** The nullable timestamp column managed by repository soft delete. */
+export type SoftDelete<Column extends string> = {
+    readonly [zmdbSoftDelete]?: Column;
+};
+/**
+ * The SQL column types a declaration may name: every `SqlType` except `serial`.
+ *
+ * `serial` is not a column type. Postgres documents it as notational convenience for
+ * an `integer` with a sequence default, and that is how it is spelled here —
+ * `number & Sql<'integer'> & Serial` — which makes `Serial` the single place the fact
+ * lives, the way `| null` is the single place nullability lives (REQ-TF-2).
+ *
+ * Saying it twice was not merely redundant, it was wrong, and the way it was wrong is
+ * worth recording because nothing about the tags predicts it. Tag payloads are
+ * invariant, so the old `Sql<'serial'>` spelling was not assignable to `Sql<'integer'>` and
+ * a value read out of a serial primary key could not be written into an `integer` foreign key.
+ * `orders.create({ userId: user.id })` — the most ordinary line in a relational model —
+ * did not compile. With `serial` off the vocabulary the tags on `id` are
+ * `Sql<'integer'> & Serial & PrimaryKey`, which drops to `Sql<'integer'>` on the way in,
+ * and it does.
+ *
+ * The residue is honest and much smaller: two columns whose SQL types genuinely differ
+ * still do not interchange, so assigning a `Sql<'varchar'>` value into a `Sql<'text'>`
+ * column needs a conversion at the boundary. That is a rarer thing to write than a
+ * foreign key, and unlike the serial case the two columns really are different types.
+ */
+export type ColumnSqlType = Exclude<SqlType, 'serial'>;
+/** The abstract SQL column type. Dialects render the spelling — see `../ir`. */
+export type Sql<T extends ColumnSqlType> = {
+    readonly [zmdbSqlType]?: T;
+};
+/**
+ * A column type supplied by a database extension.
+ *
+ * The installable extension and the SQL type are separate because PostGIS installs
+ * `postgis` and provides `geometry`. Arguments are type parameters rather than a SQL
+ * fragment, so reflection can validate and render each one without parsing SQL. This is
+ * the one structural marker in the vocabulary: the frozen IR contract names
+ * `__zmdbExt` directly, so it needs neither a `declare const` nor a runtime symbol.
+ */
+export type Ext<E extends string, N extends string, A extends readonly (string | number)[] = []> = {
+    readonly __zmdbExt?: [E, N, A];
+};
+export type PrimaryKey = {
+    readonly [zmdbPrimaryKey]?: true;
+};
+/** Database-generated. Omitted from `CreateDTO` entirely, not made optional. */
+export type Serial = {
+    readonly [zmdbSerial]?: true;
+};
+export type Unique = {
+    readonly [zmdbUnique]?: true;
+};
+/** Has a database default, so it is *optional* on insert rather than absent. */
+export type HasDefault = {
+    readonly [zmdbDefault]?: true;
+};
+/** Never serialised. `ReadDTO<T>` cannot name it, so a leak is a type error. */
+export type Sensitive = {
+    readonly [zmdbSensitive]?: true;
+};
+export type References<Target extends string> = {
+    readonly [zmdbReferences]?: Target;
+};
+export { type ReferentialAction } from '../ir/index.js';
+export type OnDelete<Action extends ReferentialAction> = {
+    readonly [zmdbOnDelete]?: Action;
+};
+export type OnUpdate<Action extends ReferentialAction> = {
+    readonly [zmdbOnUpdate]?: Action;
+};
+export type ForeignKey<LocalColumns extends string, TargetTable extends string, TargetColumns extends string> = {
+    readonly [zmdbForeignKey]?: {
+        readonly columns: LocalColumns;
+        readonly targetTable: TargetTable;
+        readonly targetColumns: TargetColumns;
+    };
+};
+/** `varchar(N)`. Also emits `maxLength: N` into JSON Schema. */
+export type Length<N extends number> = {
+    readonly [zmdbLength]?: N;
+};
+/** `numeric(P, S)` precision and scale. */
+export type Numeric<P extends number, S extends number> = {
+    readonly [zmdbNumeric]?: readonly [P, S];
+};
+/** Names a `CustomType` codec that converts between the wire, app and db types. */
+export type Codec<Name extends string> = {
+    readonly [zmdbCodec]?: Name;
+};
+/**
+ * What this column looks like over the wire, when that is not what it looks like in
+ * the app.
+ *
+ * The only tag whose payload is a *type* rather than a literal, and it has to be: a
+ * codec's wire type is arbitrary — cents as a decimal string, a UUID as a string, a
+ * point as `[number, number]` — so there is nothing to name it with but the type
+ * itself. `Wire<T>` reads it; a column without it is its own wire type, which is
+ * right for everything JSON can carry natively.
+ *
+ *   amount: Money & Sql<'integer'> & Codec<'Money'> & WireAs<string>;
+ *
+ * `Sql<'timestamp'>` and `Sql<'bigint'>` do not need it. Their wire form follows from
+ * the SQL type and is built into `Wire<T>`, so writing it out would be a second place
+ * for the same fact to be wrong.
+ */
+export type WireAs<W> = {
+    readonly [zmdbWire]?: W;
+};
+/**
+ * The four cardinalities. Listed once so `AnyRelation` cannot fall behind the tags — and
+ * listed in `../ir`, where the same four exist as data for the reflection to check against.
+ * Re-exported here because this is where a reader looking at the tags expects to find it.
+ */
+export { type RelationKind } from '../ir/index.js';
+/**
+ * Matches a property carrying any relation tag, whatever its cardinality.
+ *
+ * `derive`'s `RelationKeys<T>` needs this because a relation is **not** a column:
+ * `Entity<T>` has to exclude `author` and `comments` or a join target would show up
+ * as something to `INSERT`. Written as `{ kind: RelationKind }` rather than
+ * `unknown` on purpose — an optional slot typed `unknown` is satisfied by a tag
+ * payload of any shape, including a future non-relation tag that happens to reuse
+ * the symbol, and matching on `kind` keeps the four cardinalities the whole set.
+ *
+ * Cardinality itself is deliberately *not* read back out of the tag. The declared
+ * type already says it: `author?: User & ManyToOne<…>` is to-one and
+ * `comments?: Comment[] & OneToMany<…>` is to-many, natively.
+ */
+export type AnyRelation = {
+    readonly [zmdbRelation]?: {
+        readonly kind: RelationKind;
+    };
+};
+export type ManyToOne<Target extends string, Fk extends string> = {
+    readonly [zmdbRelation]?: {
+        readonly kind: 'manyToOne';
+        readonly target: Target;
+        readonly fk: Fk;
+    };
+};
+export type OneToMany<Target extends string, Fk extends string> = {
+    readonly [zmdbRelation]?: {
+        readonly kind: 'oneToMany';
+        readonly target: Target;
+        readonly fk: Fk;
+    };
+};
+export type OneToOne<Target extends string, Fk extends string> = {
+    readonly [zmdbRelation]?: {
+        readonly kind: 'oneToOne';
+        readonly target: Target;
+        readonly fk: Fk;
+    };
+};
+export type ManyToMany<Target extends string, Through extends string> = {
+    readonly [zmdbRelation]?: {
+        readonly kind: 'manyToMany';
+        readonly target: Target;
+        readonly through: Through;
+    };
+};
+export type Min<N extends number> = {
+    readonly [zmdbMin]?: N;
+};
+export type Max<N extends number> = {
+    readonly [zmdbMax]?: N;
+};
+export type MinLength<N extends number> = {
+    readonly [zmdbMinLength]?: N;
+};
+export type MaxLength<N extends number> = {
+    readonly [zmdbMaxLength]?: N;
+};
+export type Pattern<S extends string> = {
+    readonly [zmdbPattern]?: S;
+};
+/**
+ * The named escape hatch. `ValidationRule.kind` is an open `string`, so a
+ * consumer can register a check the vocabulary does not model. The reflection
+ * records the name and emits a call to the registered predicate — it does not
+ * invent a check, and an unregistered name is a build error (plan D4).
+ */
+export type Rule<Name extends string> = {
+    readonly [zmdbRule]?: Name;
+};
+/** Protobuf field number. Required on every property of a protobuf message. */
+export type ProtoField<N extends number> = {
+    readonly [zmdbProtoField]?: N;
+};
+/** Protobuf scalar spelling where TypeScript does not determine width or signedness. */
+export type Proto<K extends ProtoScalar> = {
+    readonly [zmdbProtoScalar]?: K;
+};
+/** `Nullable<string>` is exactly `string | null`. No tag involved. */
+export type Nullable<T> = T | null;
+/** Non-null is the default; this exists for symmetry at the declaration site. */
+export type NonNull<T> = Exclude<T, null | undefined>;
+//# sourceMappingURL=index.d.ts.map

package/dist/tags/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/tags/index.ts"],"names":[],"mappings":"AAoDA,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,iBAAiB,EAAE,KAAK,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE7F,OAAO,CAAC,MAAM,SAAS,EAAE,OAAO,MAAM,CAAC;AACvC,OAAO,CAAC,MAAM,YAAY,EAAE,OAAO,MAAM,CAAC;AAC1C,OAAO,CAAC,MAAM,OAAO,EAAE,OAAO,MAAM,CAAC;AACrC,OAAO,CAAC,MAAM,YAAY,EAAE,OAAO,MAAM,CAAC;AAC1C,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AACzC,OAAO,CAAC,MAAM,YAAY,EAAE,OAAO,MAAM,CAAC;AAC1C,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAC;AAC5C,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AACzC,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAC;AAC5C,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAC;AACxC,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAC;AACxC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AACzC,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAC;AAC3C,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAC;AAC5C,OAAO,CAAC,MAAM,YAAY,EAAE,OAAO,MAAM,CAAC;AAC1C,OAAO,CAAC,MAAM,YAAY,EAAE,OAAO,MAAM,CAAC;AAC1C,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAC;AAC5C,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAC;AACxC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AACzC,OAAO,CAAC,MAAM,SAAS,EAAE,OAAO,MAAM,CAAC;AACvC,OAAO,CAAC,MAAM,QAAQ,EAAE,OAAO,MAAM,CAAC;AACtC,OAAO,CAAC,MAAM,YAAY,EAAE,OAAO,MAAM,CAAC;AAC1C,OAAO,CAAC,MAAM,OAAO,EAAE,OAAO,MAAM,CAAC;AACrC,OAAO,CAAC,MAAM,OAAO,EAAE,OAAO,MAAM,CAAC;AACrC,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAC;AAC3C,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAC;AAC3C,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AACzC,OAAO,CAAC,MAAM,QAAQ,EAAE,OAAO,MAAM,CAAC;AACtC,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAC;AAC5C,OAAO,CAAC,MAAM,eAAe,EAAE,OAAO,MAAM,CAAC;AAM7C,4EAA4E;AAC5E,MAAM,MAAM,KAAK,CAAC,IAAI,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AAEzE;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,CAAC,IAAI,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AAE/E,8EAA8E;AAC9E,MAAM,MAAM,GAAG,CAAC,IAAI,SAAS,MAAM,GAAG,IAAI,IAAI;IAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AAE5E,2DAA2D;AAC3D,MAAM,MAAM,QAAQ,CAAC,OAAO,SAAS,SAAS,MAAM,EAAE,IAAI;IAAE,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAEhG,+DAA+D;AAC/D,MAAM,MAAM,OAAO,CAAC,OAAO,SAAS,SAAS,MAAM,EAAE,IAAI;IAAE,QAAQ,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAE9F,0FAA0F;AAC1F,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AAE1D,uEAAuE;AACvE,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAQvF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AAEvD,gFAAgF;AAChF,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,aAAa,IAAI;IAAE,QAAQ,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAE1E;;;;;;;;GAQG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI;IACjG,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AAC9D,gFAAgF;AAChF,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AACtD,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AACtD,gFAAgF;AAChF,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AAC3D,gFAAgF;AAChF,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AAC5D,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AACvF,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACxD,MAAM,MAAM,QAAQ,CAAC,MAAM,SAAS,iBAAiB,IAAI;IAAE,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAC9F,MAAM,MAAM,QAAQ,CAAC,MAAM,SAAS,iBAAiB,IAAI;IAAE,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAC9F,MAAM,MAAM,UAAU,CAAC,YAAY,SAAS,MAAM,EAAE,WAAW,SAAS,MAAM,EAAE,aAAa,SAAS,MAAM,IAAI;IAC9G,QAAQ,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE;QAC1B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;QAC/B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;QAClC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;KACvC,CAAC;CACH,CAAC;AACF,gEAAgE;AAChE,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AACrE,2CAA2C;AAC3C,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,CAAC;AACvG,mFAAmF;AACnF,MAAM,MAAM,KAAK,CAAC,IAAI,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AAEzE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAMpD;;;;GAIG;AACH,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAEnD;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,WAAW,GAAG;IAAE,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;KAAE,CAAA;CAAE,CAAC;AAExF,MAAM,MAAM,SAAS,CAAC,MAAM,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,IAAI;IAChE,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAA;KAAE,CAAC;CACpG,CAAC;AACF,MAAM,MAAM,SAAS,CAAC,MAAM,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,IAAI;IAChE,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAA;KAAE,CAAC;CACpG,CAAC;AACF,MAAM,MAAM,QAAQ,CAAC,MAAM,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,IAAI;IAC/D,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAA;KAAE,CAAC;CACnG,CAAC;AACF,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,IAAI;IACtE,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;CAC/G,CAAC;AAOF,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAC/D,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAC/D,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAC3E,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAC3E,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAEvE;;;;;GAKG;AACH,MAAM,MAAM,IAAI,CAAC,IAAI,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AAMvE,+EAA+E;AAC/E,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAE7E,wFAAwF;AACxF,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,WAAW,IAAI;IAAE,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAM9E,sEAAsE;AACtE,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACnC,iFAAiF;AACjF,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,CAAC"}

package/dist/tags/index.js

@@ -0,0 +1,64 @@
+// @zmdb/schema/tags — the type-first declaration vocabulary.
+//
+// A domain type is declared as a plain interface plus these tags; everything else,
+// the DTOs, the validators, the JSON Schema, the SQL — is derived from it.
+//
+//   interface User extends Table<'users'> {
+//     id: number & Sql<'integer'> & Serial & PrimaryKey;
+//     email: string & Sql<'varchar'> & Length<255> & Unique;
+//     nickname: (string & MinLength<3>) | null;
+//   }
+//
+// Every established tag is an OPTIONAL unique-symbol slot, and all three parts carry
+// weight:
+//
+//   - `unique symbol` is un-forgeable and cannot collide with a real data
+//     property of the same name. A consumer cannot accidentally (or deliberately)
+//     synthesise `Serial` by typing a property.
+//   - `?` means no runtime value is ever required, so the tag erases completely.
+//     Zero bytes reach the output — asserted by `erasure.spec.ts`, which compiles
+//     a tagged declaration and its untagged twin and compares the emitted bytes.
+//   - an all-optional (weak) object type is not assignable from an unrelated
+//     type, which is what lets `T[K] extends Serial ? K : never` give an exact
+//     answer rather than a false positive.
+//
+// A tag only has to NAME a constraint, never prove it. There are no conditional
+// types, no recursion and no template-literal arithmetic in this file, which is
+// what makes "zero type-level computation" true by construction instead of by
+// discipline.
+//
+// There is deliberately NO tag for nullability, optionality, enums, arrays,
+// readonly-ness or nested JSON shape: TypeScript already expresses those as
+// `| null`, `?`, a literal union, `T[]`, `readonly` and a nested interface, and
+// the reflection reads them off the type directly.
+//
+// A note on duplicate installs (plan D5).
+//
+// `unique symbol` identity is nominal, so two *copies* of this module produce two
+// non-matching tags even though their source text is identical. A key filter then
+// collapses to `never`, and `never` is assignable to anything, so `CreateDTO`
+// silently stops omitting a serial column and starts requiring it. Reflection is
+// name-based and therefore immune, which would make the emitted validator disagree
+// with the derived type — that asymmetry is the real hazard, not the duplicate
+// itself.
+//
+// Nothing in this file can guard against it: a runtime check here would give the
+// tags a runtime cost, which is the one thing they must not have. The guard belongs
+// in the reflection, which can see the escaped symbol ids (`__@zmdbSerial@1` vs
+// `__@zmdbSerial@12`) that the type system distinguishes, and refuses the build
+// when one tag name resolves to two declarations. Until that lands,
+// `duplicate-install.type-test.ts` pins the failure mode exactly — using `Equal`
+// throughout, never assignability, for the reason given there.
+import {} from '../index.js';
+import {} from '../ir/index.js';
+export {} from '../ir/index.js';
+// ---------------------------------------------------------------------------
+// Relation tags — cardinality plus the column that carries the join.
+// ---------------------------------------------------------------------------
+/**
+ * The four cardinalities. Listed once so `AnyRelation` cannot fall behind the tags — and
+ * listed in `../ir`, where the same four exist as data for the reflection to check against.
+ * Re-exported here because this is where a reader looking at the tags expects to find it.
+ */
+export {} from '../ir/index.js';
+//# sourceMappingURL=index.js.map

package/dist/tags/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/tags/index.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAC7D,EAAE;AACF,mFAAmF;AACnF,2EAA2E;AAC3E,EAAE;AACF,4CAA4C;AAC5C,yDAAyD;AACzD,6DAA6D;AAC7D,gDAAgD;AAChD,MAAM;AACN,EAAE;AACF,qFAAqF;AACrF,UAAU;AACV,EAAE;AACF,0EAA0E;AAC1E,kFAAkF;AAClF,gDAAgD;AAChD,iFAAiF;AACjF,kFAAkF;AAClF,iFAAiF;AACjF,6EAA6E;AAC7E,+EAA+E;AAC/E,2CAA2C;AAC3C,EAAE;AACF,gFAAgF;AAChF,gFAAgF;AAChF,8EAA8E;AAC9E,cAAc;AACd,EAAE;AACF,4EAA4E;AAC5E,4EAA4E;AAC5E,gFAAgF;AAChF,mDAAmD;AACnD,EAAE;AACF,0CAA0C;AAC1C,EAAE;AACF,kFAAkF;AAClF,kFAAkF;AAClF,8EAA8E;AAC9E,iFAAiF;AACjF,mFAAmF;AACnF,+EAA+E;AAC/E,UAAU;AACV,EAAE;AACF,iFAAiF;AACjF,oFAAoF;AACpF,gFAAgF;AAChF,gFAAgF;AAChF,oEAAoE;AACpE,iFAAiF;AACjF,+DAA+D;AAE/D,OAAO,EAAgB,MAAM,aAAa,CAAC;AAC3C,OAAO,EAA+D,MAAM,gBAAgB,CAAC;AAuH7F,OAAO,EAA0B,MAAM,gBAAgB,CAAC;AAmCxD,8EAA8E;AAC9E,qEAAqE;AACrE,8EAA8E;AAE9E;;;;GAIG;AACH,OAAO,EAAqB,MAAM,gBAAgB,CAAC"}