@harperfast/harper 5.2.0-alpha.4 → 5.2.0-alpha.6

package/dist/resources/defineTable.d.ts

@@ -0,0 +1,221 @@
+/**
+ * Code-first schema authoring (`defineTable` + `types`), the canonical model.
+ *
+ * The dev names exactly ONE thing — `Track` (singular). `defineTable` eagerly registers the
+ * table through the same `table()` factory GraphQL drives (`resources/databases.ts`) and returns
+ * the live, registered class: `Track.get/put/post/patch/update/query/search` work immediately,
+ * `new Track()` / `instanceof Track` hold, and every per-verb shape is a *projection* inferred
+ * from the one definition, discoverable as members (`Track.$record`, `Track.$insert`, …) — never
+ * a parallel name.
+ *
+ * The anchoring constraint (`--conditions=typestrip`): runtime metadata is carried as values;
+ * TypeScript types are *derived* from those values. Everything here is erasable syntax — the
+ * values survive type-stripping, the types are inferred, nothing can drift.
+ *
+ * Both authoring front-ends compile to the same typeDef shape (`{ table, database, attributes,
+ * properties, schemaDefined }`), so DDL/migration semantics are shared rather than reimplemented.
+ * Relationships take a lazy thunk (`types.relation(() => Album, { from: 'albumId' })`); the
+ * target class is resolved on first use (the same late-binding contract GraphQL's
+ * `connectPropertyType` relies on — `definition` must exist at registration, `definition.tableClass`
+ * only by query time), so forward references and cycles between tables just work AT RUNTIME.
+ *
+ * A truly MUTUAL pair (`Book.author` -> `Author`, `Author.books` -> `Book`) is a different problem
+ * at the TYPE level: TypeScript's const-initializer inference is eager, so `typeof Book` and
+ * `typeof Author` end up depending on each other and both collapse to `any` (TS7022). `relationOf`
+ * / `hasManyOf` are the escape hatch — see their doc comments below.
+ */
+import { type Table } from './databases.ts';
+export interface Flags {
+    nullable?: boolean;
+    primaryKey?: boolean;
+    serverManaged?: boolean;
+    indexed?: boolean;
+    relation?: 'one' | 'many';
+}
+/**
+ * A schema field. `_ts`/`_flags` are phantom type carriers (never present at runtime); the
+ * flag getters return a fresh field with the flag applied at both the value and type level.
+ */
+export interface Field<TS, F extends Flags = {}> {
+    readonly _ts: TS;
+    readonly _flags: F;
+    readonly kind: string;
+    readonly meta: Record<string, unknown>;
+    readonly nullable: Field<TS, F & {
+        nullable: true;
+    }>;
+    readonly indexed: Field<TS, F & {
+        indexed: true;
+    }>;
+    readonly primaryKey: Field<TS, F & {
+        primaryKey: true;
+    }>;
+}
+/** Date additionally carries the server-managed timestamp flags. */
+export interface DateField<F extends Flags = {}> extends Field<Date, F> {
+    readonly createdTime: Field<Date, F & {
+        serverManaged: true;
+    }>;
+    readonly updatedTime: Field<Date, F & {
+        serverManaged: true;
+    }>;
+}
+/** The read-record type of a related table handle. */
+type RecordOf<T> = T extends {
+    readonly $record: infer R;
+} ? R : never;
+export type RelationField<Target, Card extends 'one' | 'many'> = Field<Card extends 'many' ? RecordOf<Target>[] : RecordOf<Target>, {
+    relation: Card;
+}>;
+/**
+ * The field vocabulary the dev destructures: `const { id, string, int, date } = types`.
+ * Pure-flag builders are values (getter chains); only arg-taking builders stay functions.
+ * Every member mirrors a GraphQL directive/type so the two front-ends stay in lockstep.
+ */
+export declare const types: {
+    id: Field<string>;
+    string: Field<string>;
+    int: Field<number>;
+    float: Field<number>;
+    long: Field<number>;
+    boolean: Field<boolean>;
+    date: DateField;
+    bytes: Field<Uint8Array>;
+    any: Field<unknown>;
+    enum: <const E extends readonly string[]>(values: E) => Field<E[number]>;
+    relation: <T>(target: () => T, opts: {
+        from: string;
+    }) => RelationField<T, "one">;
+    hasMany: <T>(target: () => T, opts: {
+        to: string;
+    }) => RelationField<T, "many">;
+    /**
+     * `relation`'s escape hatch for a MUTUAL pair (`Book.author` <-> `Author.books`): TS's
+     * const-initializer inference is eager, so `typeof Book` and `typeof Author` would each depend
+     * on the other and both collapse to `any` (TS7022) if both sides used `relation`/`hasMany`.
+     * `relationOf<R>` breaks the cycle — `target` is typed `() => any` (no inference is pulled from
+     * the argument), and the related RECORD shape is supplied explicitly via `<R>`. Declare a small
+     * interface for the record once, on whichever side of the pair you close second; the runtime
+     * behavior (lazy thunk, resolved on first query-time use) is identical to `relation`.
+     */
+    relationOf: <R>(target: () => any, opts: {
+        from: string;
+    }) => RelationField<{
+        readonly $record: R;
+    }, "one">;
+    /** `hasMany`'s escape hatch for a mutual pair — see `relationOf`. */
+    hasManyOf: <R>(target: () => any, opts: {
+        to: string;
+    }) => RelationField<{
+        readonly $record: R;
+    }, "many">;
+};
+export type Shape = Record<string, Field<any, any>>;
+type TsOf<F> = F extends Field<infer TS, any> ? TS : never;
+type FlagsOf<F> = F extends Field<any, infer Fl> ? Fl : {};
+type IsNullable<F> = FlagsOf<F> extends {
+    nullable: true;
+} ? true : false;
+type IsPrimaryKey<F> = FlagsOf<F> extends {
+    primaryKey: true;
+} ? true : false;
+type IsServerManaged<F> = FlagsOf<F> extends {
+    serverManaged: true;
+} ? true : false;
+type IsIndexed<F> = FlagsOf<F> extends {
+    indexed: true;
+} ? true : false;
+type IsRelation<F> = FlagsOf<F> extends {
+    relation: 'one' | 'many';
+} ? true : false;
+/** Server-managed and relation fields are read-only on the record. */
+type IsReadOnly<F> = IsServerManaged<F> extends true ? true : IsRelation<F>;
+type Resolve<T> = {
+    [K in keyof T]: T[K];
+};
+/** The record's data fields: server-managed/relations readonly, others mutable; nullable -> optional. */
+type RecordData<S> = Resolve<{
+    readonly [K in keyof S as IsReadOnly<S[K]> extends true ? K : never]: TsOf<S[K]>;
+} & {
+    [K in keyof S as IsReadOnly<S[K]> extends false ? (IsNullable<S[K]> extends false ? K : never) : never]: TsOf<S[K]>;
+} & {
+    [K in keyof S as IsReadOnly<S[K]> extends false ? (IsNullable<S[K]> extends true ? K : never) : never]?: TsOf<S[K]>;
+}>;
+type WritableOf<S> = {
+    [K in keyof S as IsServerManaged<S[K]> extends false ? (IsRelation<S[K]> extends false ? K : never) : never]: S[K];
+};
+/** INSERT (POST): writable fields; PK OPTIONAL (server can generate it); nullable -> optional. */
+type InsertOf<S, W = WritableOf<S>> = Resolve<{
+    [K in keyof W as IsPrimaryKey<W[K]> extends false ? (IsNullable<W[K]> extends false ? K : never) : never]: TsOf<W[K]>;
+} & {
+    [K in keyof W as IsPrimaryKey<W[K]> extends true ? K : IsNullable<W[K]> extends true ? K : never]?: TsOf<W[K]>;
+}>;
+/** UPSERT (PUT): full replace — writable fields, PK REQUIRED (you're naming the row). */
+type UpsertOf<S, W = WritableOf<S>> = Resolve<{
+    [K in keyof W as IsNullable<W[K]> extends false ? K : never]: TsOf<W[K]>;
+} & {
+    [K in keyof W as IsNullable<W[K]> extends true ? K : never]?: TsOf<W[K]>;
+}>;
+/** PATCH: partial update — every writable non-PK field optional. */
+type PatchOf<S, W = WritableOf<S>> = Resolve<{
+    [K in keyof W as IsPrimaryKey<W[K]> extends true ? never : K]?: TsOf<W[K]>;
+}>;
+/** QUERY / filter: indexed fields only, all optional (the base filter grammar keys to these). */
+type QueryOf<S> = Resolve<{
+    [K in keyof S as IsIndexed<S[K]> extends true ? K : never]?: TsOf<S[K]>;
+}>;
+/** The read-only response variant — the whole record, nothing writable. */
+type ReadVariant<S> = Readonly<RecordData<S>>;
+/** The LIVE instance — what `new Track()` / `Track.update()` yield; writable fields mutable. */
+type InstanceOf<S> = RecordData<S>;
+/** The primary-key property and its value type (falls back to string|number when none declared). */
+type PkKey<S> = {
+    [K in keyof S]: IsPrimaryKey<S[K]> extends true ? K : never;
+}[keyof S];
+type IdOf<S> = [PkKey<S>] extends [never] ? string | number : TsOf<S[PkKey<S>]>;
+type MaybePromise<T> = T | Promise<T>;
+interface TypedVerbs<S extends Shape> {
+    get(id: IdOf<S>, context?: any): MaybePromise<ReadVariant<S> | undefined>;
+    put(record: UpsertOf<S>, context?: any): MaybePromise<unknown>;
+    post(record: InsertOf<S>, context?: any): MaybePromise<unknown>;
+    patch(id: IdOf<S>, changes: PatchOf<S>, context?: any): MaybePromise<unknown>;
+    update(id: IdOf<S>, updates?: PatchOf<S>, context?: any): MaybePromise<InstanceOf<S>>;
+    delete(id: IdOf<S>, context?: any): MaybePromise<unknown>;
+    search(query?: any, context?: any): AsyncIterable<ReadVariant<S>>;
+    query(query?: any, context?: any): AsyncIterable<ReadVariant<S>>;
+}
+/**
+ * The single canonical handle `defineTable` returns: the registered table class, with
+ *   • the verbs typed by the projections,
+ *   • phantom `$*` members so each projection is discoverable as `(typeof Track)['$insert']`,
+ *   • a construct signature so `Track` doubles as the instance type via `InstanceType<typeof Track>`.
+ */
+export type TableHandle<S extends Shape = Shape> = Omit<Table, 'get' | 'put' | 'post' | 'patch' | 'update' | 'delete' | 'search' | 'query'> & TypedVerbs<S> & {
+    readonly $record: ReadVariant<S>;
+    readonly $insert: InsertOf<S>;
+    readonly $upsert: UpsertOf<S>;
+    readonly $patch: PatchOf<S>;
+    readonly $query: QueryOf<S>;
+} & (new (...args: any[]) => InstanceOf<S>);
+/** `@table` directive parity — options GraphQL can declare on a type, plus the database. */
+export interface DefineTableOptions {
+    /** Database (schema) the table lives in; defaults to the `data` database. */
+    database?: string;
+    audit?: boolean;
+    replicate?: boolean;
+    sealed?: boolean;
+    expiration?: number;
+    eviction?: number;
+    scanInterval?: number;
+    splitSegments?: boolean;
+    trackDeletes?: boolean;
+    randomAccessFields?: boolean;
+}
+/**
+ * Declare AND register a table from a TypeScript value. Eager: the returned value is the live,
+ * registered table class (the same class `tables.<Name>` holds), typed by the shape — the import
+ * IS the typed handle. Defining the same table again re-asserts the schema (add/remove attributes,
+ * index changes) through the same evolution path GraphQL reloads take.
+ */
+export declare function defineTable<S extends Shape>(name: string, shape: S, options?: DefineTableOptions): TableHandle<S>;
+export {};

package/dist/resources/defineTable.js

@@ -0,0 +1,227 @@
+"use strict";
+/**
+ * Code-first schema authoring (`defineTable` + `types`), the canonical model.
+ *
+ * The dev names exactly ONE thing — `Track` (singular). `defineTable` eagerly registers the
+ * table through the same `table()` factory GraphQL drives (`resources/databases.ts`) and returns
+ * the live, registered class: `Track.get/put/post/patch/update/query/search` work immediately,
+ * `new Track()` / `instanceof Track` hold, and every per-verb shape is a *projection* inferred
+ * from the one definition, discoverable as members (`Track.$record`, `Track.$insert`, …) — never
+ * a parallel name.
+ *
+ * The anchoring constraint (`--conditions=typestrip`): runtime metadata is carried as values;
+ * TypeScript types are *derived* from those values. Everything here is erasable syntax — the
+ * values survive type-stripping, the types are inferred, nothing can drift.
+ *
+ * Both authoring front-ends compile to the same typeDef shape (`{ table, database, attributes,
+ * properties, schemaDefined }`), so DDL/migration semantics are shared rather than reimplemented.
+ * Relationships take a lazy thunk (`types.relation(() => Album, { from: 'albumId' })`); the
+ * target class is resolved on first use (the same late-binding contract GraphQL's
+ * `connectPropertyType` relies on — `definition` must exist at registration, `definition.tableClass`
+ * only by query time), so forward references and cycles between tables just work AT RUNTIME.
+ *
+ * A truly MUTUAL pair (`Book.author` -> `Author`, `Author.books` -> `Book`) is a different problem
+ * at the TYPE level: TypeScript's const-initializer inference is eager, so `typeof Book` and
+ * `typeof Author` end up depending on each other and both collapse to `any` (TS7022). `relationOf`
+ * / `hasManyOf` are the escape hatch — see their doc comments below.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.types = void 0;
+exports.defineTable = defineTable;
+const databases_ts_1 = require("./databases.js");
+const jsonSchemaTypes_ts_1 = require("./jsonSchemaTypes.js");
+// Runtime builders — getters return FRESH fields (immutable chaining; no shared-state bug).
+function makeField(kind, meta = {}) {
+    return {
+        kind,
+        meta,
+        get nullable() {
+            return makeField(kind, { ...meta, nullable: true });
+        },
+        get indexed() {
+            return makeField(kind, { ...meta, indexed: true });
+        },
+        get primaryKey() {
+            return makeField(kind, { ...meta, primaryKey: true });
+        },
+    };
+}
+function makeDateField(meta = {}) {
+    return Object.defineProperties(makeField('Date', meta), {
+        createdTime: {
+            get: () => makeField('Date', { ...meta, assignCreatedTime: true }),
+            enumerable: true,
+            configurable: true,
+        },
+        updatedTime: {
+            get: () => makeField('Date', { ...meta, assignUpdatedTime: true }),
+            enumerable: true,
+            configurable: true,
+        },
+    });
+}
+/**
+ * The field vocabulary the dev destructures: `const { id, string, int, date } = types`.
+ * Pure-flag builders are values (getter chains); only arg-taking builders stay functions.
+ * Every member mirrors a GraphQL directive/type so the two front-ends stay in lockstep.
+ */
+exports.types = {
+    id: makeField('ID'),
+    string: makeField('String'),
+    int: makeField('Int'),
+    float: makeField('Float'),
+    long: makeField('Long'),
+    boolean: makeField('Boolean'),
+    date: makeDateField(),
+    bytes: makeField('Bytes'),
+    any: makeField('Any'),
+    // Narrows the TS type to the literal union; stored as a String column. The narrowing is
+    // advisory at runtime today (the shared Table.validate has no enum case — same as GraphQL);
+    // the literal set is retained on the attribute for downstream surfaces.
+    enum: (values) => makeField('String', { enum: values }),
+    // many-to-one: this table holds the foreign key named `from`. Lazy thunk — forward refs are fine.
+    relation: (target, opts) => makeField('relation', { target, from: opts.from }),
+    // one-to-many: the related table holds the foreign key named `to`.
+    hasMany: (target, opts) => makeField('relation', { target, to: opts.to }),
+    /**
+     * `relation`'s escape hatch for a MUTUAL pair (`Book.author` <-> `Author.books`): TS's
+     * const-initializer inference is eager, so `typeof Book` and `typeof Author` would each depend
+     * on the other and both collapse to `any` (TS7022) if both sides used `relation`/`hasMany`.
+     * `relationOf<R>` breaks the cycle — `target` is typed `() => any` (no inference is pulled from
+     * the argument), and the related RECORD shape is supplied explicitly via `<R>`. Declare a small
+     * interface for the record once, on whichever side of the pair you close second; the runtime
+     * behavior (lazy thunk, resolved on first query-time use) is identical to `relation`.
+     */
+    relationOf: (target, opts) => makeField('relation', { target, from: opts.from }),
+    /** `hasMany`'s escape hatch for a mutual pair — see `relationOf`. */
+    hasManyOf: (target, opts) => makeField('relation', { target, to: opts.to }),
+};
+function memoize(fn) {
+    let value;
+    let resolved = false;
+    return () => {
+        if (!resolved) {
+            value = fn();
+            resolved = true;
+        }
+        return value;
+    };
+}
+/**
+ * Compile a shape into the same `{ table, database, attributes, properties }` typeDef
+ * `resources/graphql.ts` builds, so registration takes the identical `table()` path.
+ *
+ * Nullability parity: GraphQL leaves plain fields' `nullable` undefined and marks `!` fields
+ * `nullable: false` (it never emits `nullable: true`). We map identically — `.nullable` leaves
+ * the attribute unmarked, everything else writable is `nullable: false` — so fragments AND
+ * validation semantics match. PK and server-managed fields stay unmarked (the PK machinery and
+ * server assignment own their presence; marking them required would reject valid writes).
+ *
+ * Relations resolve lazily: `definition` exists at registration (the resolver-build contract in
+ * Table.ts) but its `tableClass` getter defers the thunk to first use, by which time the target
+ * is defined — forward references and cycles are safe.
+ */
+function compileTypeDef(name, shape, options) {
+    const attributes = [];
+    const properties = {};
+    const declared = new Set(Object.keys(shape));
+    for (const [attrName, f] of Object.entries(shape)) {
+        const meta = f.meta ?? {};
+        if (f.kind === 'relation') {
+            const resolveClass = memoize(meta.target);
+            // The definition mirrors what GraphQL's connectPropertyType attaches (the target
+            // typeDef): `type` and `attributes` feed OpenAPI's includeDefinitionInSchema (so the
+            // emitted $ref component is always defined), `tableClass` feeds the query-time
+            // resolvers. All lazy — read only after every table is defined.
+            const definition = {};
+            Object.defineProperty(definition, 'tableClass', { get: resolveClass, enumerable: true, configurable: true });
+            Object.defineProperty(definition, 'type', {
+                get: () => resolveClass().tableName,
+                enumerable: true,
+                configurable: true,
+            });
+            Object.defineProperty(definition, 'attributes', {
+                get: () => resolveClass().attributes,
+                enumerable: true,
+                configurable: true,
+            });
+            let attr;
+            if (meta.from) {
+                // many-to-one: this table holds the foreign key. Like GraphQL, the FK must be a
+                // declared field — that makes it typed, projected into `properties`, and writable
+                // in $insert/$upsert (the relation itself is a read-only projection).
+                if (!declared.has(meta.from)) {
+                    throw new Error(`Table "${name}": relation "${attrName}" references foreign key "${meta.from}", which must be declared in the shape (e.g. \`${meta.from}: id.indexed\`)`);
+                }
+                attr = { name: attrName, relationship: { from: meta.from } };
+                Object.defineProperty(attr, 'type', {
+                    get: () => resolveClass().tableName,
+                    enumerable: true,
+                    configurable: true,
+                });
+                // non-enumerable, mirroring GraphQL's connectPropertyType
+                Object.defineProperty(attr, 'definition', { value: definition, configurable: true });
+            }
+            else {
+                // one-to-many: the related table holds the foreign key
+                const elements = {};
+                Object.defineProperty(elements, 'type', {
+                    get: () => resolveClass().tableName,
+                    enumerable: true,
+                    configurable: true,
+                });
+                Object.defineProperty(elements, 'definition', { value: definition, configurable: true });
+                attr = { name: attrName, type: 'array', relationship: { to: meta.to }, elements };
+            }
+            attributes.push(attr);
+            // fragment reads the lazy `type`, so project it lazily too (memoized — cold surface)
+            let fragment;
+            Object.defineProperty(properties, attrName, {
+                get: () => (fragment ??= (0, jsonSchemaTypes_ts_1.attributeToFragment)(attr)),
+                enumerable: true,
+                configurable: true,
+            });
+            continue;
+        }
+        const attr = { name: attrName, type: f.kind };
+        if (meta.primaryKey)
+            attr.isPrimaryKey = true;
+        if (meta.indexed)
+            attr.indexed = true;
+        if (meta.assignCreatedTime)
+            attr.assignCreatedTime = true;
+        if (meta.assignUpdatedTime)
+            attr.assignUpdatedTime = true;
+        if (meta.enum)
+            attr.enum = meta.enum; // enum -> String column, literal set retained for downstream surfaces
+        if (!meta.nullable && !meta.primaryKey && !meta.assignCreatedTime && !meta.assignUpdatedTime)
+            attr.nullable = false; // required, like GraphQL `!`
+        attributes.push(attr);
+        properties[attrName] = (0, jsonSchemaTypes_ts_1.attributeToFragment)(attr);
+    }
+    const { database, ...tableOptions } = options;
+    // `schemaDefined: true` matches @table so the existing-Table re-assert in `table()` fires on
+    // every reload (DDL parity: added/removed attributes and index changes are applied).
+    return {
+        table: name,
+        type: name,
+        database: database ?? 'data',
+        attributes,
+        properties,
+        schemaDefined: true,
+        ...tableOptions,
+    };
+}
+/**
+ * Declare AND register a table from a TypeScript value. Eager: the returned value is the live,
+ * registered table class (the same class `tables.<Name>` holds), typed by the shape — the import
+ * IS the typed handle. Defining the same table again re-asserts the schema (add/remove attributes,
+ * index changes) through the same evolution path GraphQL reloads take.
+ */
+function defineTable(name, shape, options = {}) {
+    const typeDef = compileTypeDef(name, shape, options);
+    const tableClass = (0, databases_ts_1.table)(typeDef);
+    typeDef.tableClass = tableClass;
+    return tableClass;
+}
+//# sourceMappingURL=defineTable.js.map

package/dist/resources/defineTable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"defineTable.js","sourceRoot":"","sources":["../../resources/defineTable.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;;;AAwXH,kCAKC;AA3XD,iDAAmD;AACnD,6DAA2D;AA6C3D,4FAA4F;AAC5F,SAAS,SAAS,CAAC,IAAY,EAAE,OAAgC,EAAE;IAClE,OAAO;QACN,IAAI;QACJ,IAAI;QACJ,IAAI,QAAQ;YACX,OAAO,SAAS,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACrD,CAAC;QACD,IAAI,OAAO;YACV,OAAO,SAAS,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,IAAI,UAAU;YACb,OAAO,SAAS,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,CAAC;KACD,CAAC;AACH,CAAC;AACD,SAAS,aAAa,CAAC,OAAgC,EAAE;IACxD,OAAO,MAAM,CAAC,gBAAgB,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;QACvD,WAAW,EAAE;YACZ,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;YAClE,UAAU,EAAE,IAAI;YAChB,YAAY,EAAE,IAAI;SAClB;QACD,WAAW,EAAE;YACZ,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;YAClE,UAAU,EAAE,IAAI;YAChB,YAAY,EAAE,IAAI;SAClB;KACD,CAAC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACU,QAAA,KAAK,GAAG;IACpB,EAAE,EAAE,SAAS,CAAC,IAAI,CAAkB;IACpC,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAkB;IAC5C,GAAG,EAAE,SAAS,CAAC,KAAK,CAAkB;IACtC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAkB;IAC1C,IAAI,EAAE,SAAS,CAAC,MAAM,CAAkB;IACxC,OAAO,EAAE,SAAS,CAAC,SAAS,CAAmB;IAC/C,IAAI,EAAE,aAAa,EAAe;IAClC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAsB;IAC9C,GAAG,EAAE,SAAS,CAAC,KAAK,CAAmB;IACvC,wFAAwF;IACxF,4FAA4F;IAC5F,wEAAwE;IACxE,IAAI,EAAE,CAAoC,MAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAqB;IACjH,kGAAkG;IAClG,QAAQ,EAAE,CAAI,MAAe,EAAE,IAAsB,EAAE,EAAE,CACxD,SAAS,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAA4B;IAC9E,mEAAmE;IACnE,OAAO,EAAE,CAAI,MAAe,EAAE,IAAoB,EAAE,EAAE,CACrD,SAAS,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAA6B;IAC3E;;;;;;;;OAQG;IACH,UAAU,EAAE,CAAI,MAAiB,EAAE,IAAsB,EAAE,EAAE,CAC5D,SAAS,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAkD;IACpG,qEAAqE;IACrE,SAAS,EAAE,CAAI,MAAiB,EAAE,IAAoB,EAAE,EAAE,CACzD,SAAS,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAmD;CACjG,CAAC;AAyIF,SAAS,OAAO,CAAI,EAAW;IAC9B,IAAI,KAAQ,CAAC;IACb,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,OAAO,GAAG,EAAE;QACX,IAAI,CAAC,QAAQ,EAAE,CAAC;YACf,KAAK,GAAG,EAAE,EAAE,CAAC;YACb,QAAQ,GAAG,IAAI,CAAC;QACjB,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,cAAc,CAAC,IAAY,EAAE,KAAY,EAAE,OAA2B;IAC9E,MAAM,UAAU,GAAU,EAAE,CAAC;IAC7B,MAAM,UAAU,GAAwB,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAE7C,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAoB,EAAE,CAAC;QACtE,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,MAAmB,CAAC,CAAC;YACvD,iFAAiF;YACjF,qFAAqF;YACrF,+EAA+E;YAC/E,gEAAgE;YAChE,MAAM,UAAU,GAAG,EAAE,CAAC;YACtB,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7G,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,MAAM,EAAE;gBACzC,GAAG,EAAE,GAAG,EAAE,CAAC,YAAY,EAAE,CAAC,SAAS;gBACnC,UAAU,EAAE,IAAI;gBAChB,YAAY,EAAE,IAAI;aAClB,CAAC,CAAC;YACH,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,YAAY,EAAE;gBAC/C,GAAG,EAAE,GAAG,EAAE,CAAC,YAAY,EAAE,CAAC,UAAU;gBACpC,UAAU,EAAE,IAAI;gBAChB,YAAY,EAAE,IAAI;aAClB,CAAC,CAAC;YACH,IAAI,IAAS,CAAC;YACd,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACf,gFAAgF;gBAChF,kFAAkF;gBAClF,sEAAsE;gBACtE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,MAAM,IAAI,KAAK,CACd,UAAU,IAAI,gBAAgB,QAAQ,6BAA6B,IAAI,CAAC,IAAI,kDAAkD,IAAI,CAAC,IAAI,iBAAiB,CACxJ,CAAC;gBACH,CAAC;gBACD,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC7D,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE;oBACnC,GAAG,EAAE,GAAG,EAAE,CAAC,YAAY,EAAE,CAAC,SAAS;oBACnC,UAAU,EAAE,IAAI;oBAChB,YAAY,EAAE,IAAI;iBAClB,CAAC,CAAC;gBACH,0DAA0D;gBAC1D,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;YACtF,CAAC;iBAAM,CAAC;gBACP,uDAAuD;gBACvD,MAAM,QAAQ,GAAQ,EAAE,CAAC;gBACzB,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE;oBACvC,GAAG,EAAE,GAAG,EAAE,CAAC,YAAY,EAAE,CAAC,SAAS;oBACnC,UAAU,EAAE,IAAI;oBAChB,YAAY,EAAE,IAAI;iBAClB,CAAC,CAAC;gBACH,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;gBACzF,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;YACnF,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,qFAAqF;YACrF,IAAI,QAAa,CAAC;YAClB,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,QAAQ,EAAE;gBAC3C,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,QAAQ,KAAK,IAAA,wCAAmB,EAAC,IAAI,CAAC,CAAC;gBACnD,UAAU,EAAE,IAAI;gBAChB,YAAY,EAAE,IAAI;aAClB,CAAC,CAAC;YACH,SAAS;QACV,CAAC;QACD,MAAM,IAAI,GAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACnD,IAAI,IAAI,CAAC,UAAU;YAAE,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC;QAC9C,IAAI,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACtC,IAAI,IAAI,CAAC,iBAAiB;YAAE,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC;QAC1D,IAAI,IAAI,CAAC,iBAAiB;YAAE,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC;QAC1D,IAAI,IAAI,CAAC,IAAI;YAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,sEAAsE;QAC5G,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,IAAI,CAAC,iBAAiB;YAAE,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,CAAC,6BAA6B;QAClJ,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,UAAU,CAAC,QAAQ,CAAC,GAAG,IAAA,wCAAmB,EAAC,IAAI,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,EAAE,QAAQ,EAAE,GAAG,YAAY,EAAE,GAAG,OAAO,CAAC;IAC9C,6FAA6F;IAC7F,qFAAqF;IACrF,OAAO;QACN,KAAK,EAAE,IAAI;QACX,IAAI,EAAE,IAAI;QACV,QAAQ,EAAE,QAAQ,IAAI,MAAM;QAC5B,UAAU;QACV,UAAU;QACV,aAAa,EAAE,IAAI;QACnB,GAAG,YAAY;KACf,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAgB,WAAW,CAAkB,IAAY,EAAE,KAAQ,EAAE,UAA8B,EAAE;IACpG,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG,IAAA,oBAAK,EAAC,OAAO,CAAC,CAAC;IAClC,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC;IAChC,OAAO,UAA4B,CAAC;AACrC,CAAC"}

package/dist/resources/jsonSchemaTypes.d.ts

@@ -43,6 +43,8 @@ export interface AttributeLike {
     assignUpdatedTime?: boolean;
     nullable?: boolean;
     elements?: AttributeLike;
+    /** Sub-attributes of a nested object field (the same array form `Table.validate` iterates). */
+    properties?: AttributeLike[];
 }
 /**
  * Project a single attribute to its JSON Schema fragment. Recursive on the

package/dist/resources/jsonSchemaTypes.js

@@ -35,10 +35,18 @@ exports.DATA_TYPES = {
  */
 function attributeToFragment(attr) {
     const fragment = {};
-    // GraphQL parser emits list types as `prop.type === 'array'` with `.elements`
-    // describing the inner type. Map that to JSON Schema's items shape; otherwise
-    // fall through to the primitive mapping.
-    if (attr.type === 'array' && attr.elements) {
+    // A nested object field carries its sub-attributes on `.properties` (the array form the parser
+    // emits and `Table.validate` iterates) — recurse into them rather than emitting the bare GraphQL
+    // type name as a JSON-Schema `type`. GraphQL parser emits list types as `prop.type === 'array'`
+    // with `.elements`; map that to JSON Schema's items shape; otherwise fall through to the primitive
+    // mapping.
+    if (attr.properties) {
+        fragment.type = 'object';
+        fragment.properties = {};
+        for (const sub of attr.properties)
+            fragment.properties[sub.name] = attributeToFragment(sub);
+    }
+    else if (attr.type === 'array' && attr.elements) {
         fragment.type = 'array';
         fragment.items = attributeToFragment(attr.elements);
     }

package/dist/resources/jsonSchemaTypes.js.map

@@ -1 +1 @@
-{"version":3,"file":"jsonSchemaTypes.js","sourceRoot":"","sources":["../../resources/jsonSchemaTypes.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;AAyDH,kDAoBC;AAOD,sEAMC;AArEY,QAAA,UAAU,GAAmC;IACzD,GAAG,EAAE,SAAS;IACd,KAAK,EAAE,QAAQ;IACf,IAAI,EAAE,SAAS;IACf,EAAE,EAAE,QAAQ;IACZ,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,QAAQ;IACf,MAAM,EAAE,SAAS;CACjB,CAAC;AAmBF;;;;;;GAMG;AACH,SAAgB,mBAAmB,CAAC,IAAmB;IACtD,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,8EAA8E;IAC9E,8EAA8E;IAC9E,yCAAyC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,GAAG,OAAO,CAAC;QACxB,QAAQ,CAAC,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;SAAM,CAAC;QACP,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,IAAI,QAAQ;YAAE,QAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC;aAClC,IAAI,IAAI,CAAC,IAAI;YAAE,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IAC/C,CAAC;IACD,IAAI,IAAI,CAAC,WAAW;QAAE,QAAQ,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IAC9D,IAAI,IAAI,CAAC,YAAY;QAAE,QAAQ,CAAC,UAAU,GAAG,IAAI,CAAC;IAClD,IAAI,IAAI,CAAC,iBAAiB;QAAE,QAAQ,CAAC,iBAAiB,GAAG,IAAI,CAAC;IAC9D,IAAI,IAAI,CAAC,iBAAiB;QAAE,QAAQ,CAAC,iBAAiB,GAAG,IAAI,CAAC;IAC9D,IAAI,IAAI,CAAC,MAAM;QAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC;IACxC,IAAI,IAAI,CAAC,QAAQ;QAAE,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC5C,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAgB,6BAA6B,CAAC,UAA2B;IACxE,MAAM,MAAM,GAAuC,EAAE,CAAC;IACtD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC"}
+{"version":3,"file":"jsonSchemaTypes.js","sourceRoot":"","sources":["../../resources/jsonSchemaTypes.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;AA2DH,kDA0BC;AAOD,sEAMC;AA7EY,QAAA,UAAU,GAAmC;IACzD,GAAG,EAAE,SAAS;IACd,KAAK,EAAE,QAAQ;IACf,IAAI,EAAE,SAAS;IACf,EAAE,EAAE,QAAQ;IACZ,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,QAAQ;IACf,MAAM,EAAE,SAAS;CACjB,CAAC;AAqBF;;;;;;GAMG;AACH,SAAgB,mBAAmB,CAAC,IAAmB;IACtD,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,+FAA+F;IAC/F,iGAAiG;IACjG,gGAAgG;IAChG,mGAAmG;IACnG,WAAW;IACX,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACrB,QAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC;QACzB,QAAQ,CAAC,UAAU,GAAG,EAAE,CAAC;QACzB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU;YAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAC7F,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnD,QAAQ,CAAC,IAAI,GAAG,OAAO,CAAC;QACxB,QAAQ,CAAC,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;SAAM,CAAC;QACP,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,IAAI,QAAQ;YAAE,QAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC;aAClC,IAAI,IAAI,CAAC,IAAI;YAAE,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IAC/C,CAAC;IACD,IAAI,IAAI,CAAC,WAAW;QAAE,QAAQ,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IAC9D,IAAI,IAAI,CAAC,YAAY;QAAE,QAAQ,CAAC,UAAU,GAAG,IAAI,CAAC;IAClD,IAAI,IAAI,CAAC,iBAAiB;QAAE,QAAQ,CAAC,iBAAiB,GAAG,IAAI,CAAC;IAC9D,IAAI,IAAI,CAAC,iBAAiB;QAAE,QAAQ,CAAC,iBAAiB,GAAG,IAAI,CAAC;IAC9D,IAAI,IAAI,CAAC,MAAM;QAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC;IACxC,IAAI,IAAI,CAAC,QAAQ;QAAE,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC5C,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAgB,6BAA6B,CAAC,UAA2B;IACxE,MAAM,MAAM,GAAuC,EAAE,CAAC;IACtD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC"}

package/dist/resources/openApi.js

@@ -274,9 +274,19 @@ function generateJsonApi(resources, serverHttpURL) {
         });
         const tableDoc = entry.Resource.description;
         const withDoc = (sentence) => (tableDoc ? `${tableDoc} ${sentence}` : sentence);
-        const responseSchema = { type: 'object' };
-        // custom (non-table) resources have no generated schema component, so request bodies are loosely typed
+        const genericResponseSchema = { type: 'object' };
+        // custom (non-table) resources have no generated schema component, so request bodies default to
+        // loosely typed — UNLESS a request contract declares the query/body/response,
+        // in which case each verb is driven off the shared JsonSchemaFragment below.
         const genericRequestBody = { content: { 'application/json': { schema: { type: 'object' } } } };
+        const inputSchemas = entry.Resource.inputSchemas ?? {};
+        const outputSchemas = entry.Resource.outputSchemas ?? {};
+        // query params declared on the verb's contract, appended to the path params
+        const paramsFor = (verb) => [...pathParams, ...queryParametersFromFragment(inputSchemas[verb]?.query)];
+        const bodyFor = (verb) => inputSchemas[verb]?.body
+            ? { content: { 'application/json': { schema: fragmentToOpenApiSchema(inputSchemas[verb].body) } } }
+            : genericRequestBody;
+        const responseFor = (verb) => outputSchemas[verb] ? fragmentToOpenApiSchema(outputSchemas[verb]) : genericResponseSchema;
         const hasPost = prototype.post !== Resource_ts_1.Resource.prototype.post || prototype.update;
         const hasPut = typeof prototype.put === 'function';
         const hasGet = typeof prototype.get === 'function';
@@ -286,37 +296,37 @@ function generateJsonApi(resources, serverHttpURL) {
             api.paths[url] = {};
         api.paths[url].options = new Options(pathParams, security, { '200': new ResponseOptions200() }, 'retrieve information about the communication options available for a target resource or the server as a whole, without performing any resource action');
         if (hasGet) {
-            api.paths[url].get = new Get(pathParams, security, { '200': new Response200(responseSchema) }, withDoc('handle a GET request for this route'));
+            api.paths[url].get = new Get(paramsFor('get'), security, { '200': new Response200(responseFor('get')) }, withDoc('handle a GET request for this route'));
         }
         if (hasPost) {
             api.paths[url].post = {
                 description: withDoc('handle a POST request for this route'),
-                parameters: pathParams,
+                parameters: paramsFor('post'),
                 security,
-                requestBody: genericRequestBody,
-                responses: { '200': new Response200(responseSchema) },
+                requestBody: bodyFor('post'),
+                responses: { '200': new Response200(responseFor('post')) },
             };
         }
         if (hasPut) {
             api.paths[url].put = {
                 description: withDoc('handle a PUT request for this route'),
-                parameters: pathParams,
+                parameters: paramsFor('put'),
                 security,
-                requestBody: genericRequestBody,
-                responses: { '200': new Response200(responseSchema) },
+                requestBody: bodyFor('put'),
+                responses: { '200': new Response200(responseFor('put')) },
             };
         }
         if (hasPatch) {
             api.paths[url].patch = {
                 description: withDoc('handle a PATCH request for this route'),
-                parameters: pathParams,
+                parameters: paramsFor('patch'),
                 security,
-                requestBody: genericRequestBody,
-                responses: { '200': new Response200(responseSchema) },
+                requestBody: bodyFor('patch'),
+                responses: { '200': new Response200(responseFor('patch')) },
             };
         }
         if (hasDelete) {
-            api.paths[url].delete = new Delete(pathParams, security, withDoc('handle a DELETE request for this route'), {
+            api.paths[url].delete = new Delete(paramsFor('delete'), security, withDoc('handle a DELETE request for this route'), {
                 '204': new Response204(),
             });
         }
@@ -436,4 +446,50 @@ function Parameter(name, i, type) {
     this.in = i;
     this.schema = type;
 }
+/**
+ * Project a shared `JsonSchemaFragment` (from a request contract's inputSchemas/outputSchemas) into an
+ * OpenAPI schema object. The fragment vocabulary already mirrors JSON Schema, so this mostly copies the
+ * standard keys recursively and drops Harper-only metadata (primaryKey, assignCreatedTime, hidden).
+ */
+function fragmentToOpenApiSchema(fragment) {
+    if (!fragment || typeof fragment !== 'object')
+        return { type: 'object' };
+    const schema = {};
+    if (fragment.type != null)
+        schema.type = fragment.type;
+    if (fragment.format)
+        schema.format = fragment.format;
+    if (fragment.description)
+        schema.description = fragment.description;
+    if (fragment.enum)
+        schema.enum = fragment.enum;
+    if (fragment.nullable)
+        schema.nullable = true;
+    if (fragment.const !== undefined)
+        schema.const = fragment.const;
+    if (fragment.items)
+        schema.items = fragmentToOpenApiSchema(fragment.items);
+    if (fragment.properties) {
+        schema.properties = {};
+        for (const [key, sub] of Object.entries(fragment.properties))
+            schema.properties[key] = fragmentToOpenApiSchema(sub);
+        if (fragment.required)
+            schema.required = fragment.required;
+        if (fragment.additionalProperties !== undefined)
+            schema.additionalProperties = fragment.additionalProperties;
+    }
+    return schema;
+}
+/** Build OpenAPI query `Parameter`s from a contract verb's query fragment (`{ type:'object', properties }`). */
+function queryParametersFromFragment(queryFragment) {
+    if (!queryFragment?.properties)
+        return [];
+    const required = new Set(queryFragment.required ?? []);
+    return Object.entries(queryFragment.properties).map(([name, sub]) => {
+        const parameter = new Parameter(name, 'query', fragmentToOpenApiSchema(sub));
+        if (required.has(name))
+            parameter.required = true;
+        return parameter;
+    });
+}
 //# sourceMappingURL=openApi.js.map