@browserlessapi/inferlo 0.0.0-stage → 0.3.0

package/dist/mcp.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mcp.js","sourceRoot":"","sources":["../src/mcp.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAI3C,MAAM,iBAAiB,GAAG,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;AASrE,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAe;IACtC,MAAM,GAAG,GAAG,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC;IACpB,IAAI,KAAK,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IAClC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC;IAC/E,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAa;IAC3C,OAAO,GAAG,CAAC,MAAM;SACd,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;SAC7B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACb,MAAM,UAAU,GAA+B,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,MAAM,GAAG,GAAG,CAAC,MAA8B,EAAE,EAAE;YAC7C,IAAI,CAAC,MAAM;gBAAE,OAAO;YACpB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAE,MAAM,CAAC,UAAyC,IAAI,EAAE,CAAC;gBAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAChH,KAAK,MAAM,CAAC,IAAK,MAAM,CAAC,QAAqB,IAAI,EAAE;gBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvE,CAAC,CAAC;QACF,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;QACxB,IAAI,CAAC,CAAC,MAAM;YAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC;;YACtC,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvG,IAAI,CAAC,CAAC,KAAK;YAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACX,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC;iBACjC,CAAC;gBACJ,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC;gBACvB,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,OAAO;YACL,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC;YACrB,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,OAAO,IAAI,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,EAAE;YACjG,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;YAClG,KAAK;SACN,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,QAAQ,CAAC,EAAW,EAAE,IAAY,EAAE,OAAe;IAC1D,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,GAAa,EAAE,GAAY,EAAE,OAAgB,EAAE,SAAoC;IACjH,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,iCAAiC,CAAC,CAAC;IAC/D,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC7B,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,4BAA4B,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;IACtH,CAAC;IACD,IAAI,OAAgB,CAAC;IACrB,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC;IAC7B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACnC,MAAM,SAAS,GAAG,KAAK,EAAE,GAA0F,EAAE,EAAE;QACrH,MAAM,cAAc,GAAG,GAAG,EAAE,EAAE,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;QACjG,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,KAAK,KAAK,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ;YAAE,OAAO,QAAQ,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QACzH,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC;YAAE,OAAO,SAAS,CAAC;QACtE,QAAQ,GAAG,CAAC,MAAM,EAAE,CAAC;YACnB,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,eAAe,IAAI,EAAE,CAAC,CAAC;gBAC5D,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,EAAE,EAAE,GAAG,CAAC,EAAE;oBACV,MAAM,EAAE;wBACN,eAAe,EAAE,iBAAiB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC;wBACzF,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE;wBAC/C,UAAU,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE;wBACpD,YAAY,EAAE,aAAa,GAAG,CAAC,IAAI,uEAAuE;qBAC3G;iBACF,CAAC;YACJ,CAAC;YACD,KAAK,MAAM;gBACT,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;YACpD,KAAK,YAAY;gBACf,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;YACpJ,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;gBAC5C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;gBAChD,IAAI,CAAC,IAAI;oBAAE,OAAO,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,iBAAiB,IAAI,EAAE,CAAC,CAAC;gBACpE,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,IAAI,EAAE,CAA4B,CAAC;gBACtE,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBACjE,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACnC,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,EAAE,EAAE,GAAG,CAAC,EAAE;oBACV,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE;iBACnG,CAAC;YACJ,CAAC;YACD;gBACE,IAAI,cAAc;oBAAE,OAAO,SAAS,CAAC;gBACrC,OAAO,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,qBAAqB,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC5E,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;IACzI,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,OAAgB,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;AAChI,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,GAAa,EAAE,IAAoB,EAAE,IAA6B,EAAE,QAAiB,EAAE,SAAoC;IACjJ,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;IACxB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAE,CAAC,CAAC,KAAK,EAAE,YAAY,EAAE,CAAC,UAAqB,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7F,IAAI,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACtB,MAAM,KAAK,GAAG,IAAI,eAAe,EAAE,CAAC;IACpC,MAAM,IAAI,GAA4B,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aAC7E,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;gBAAE,KAAK,MAAM,IAAI,IAAI,CAAC;oBAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;iBACrE,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI;gBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,CAAC;;YAAM,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC7C,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,YAAY,CAAC,QAAQ,EAAE,8BAA8B,KAAK,CAAC,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1J,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;IACxC,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,eAAe,EAAE,QAAQ,EAAE,WAAW,CAAC,EAAE,CAAC;QACzD,MAAM,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3B,CAAC;IACD,IAAI,OAA2B,CAAC;IAChC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACX,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;QACzC,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACjF,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3E,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC"}

package/dist/model.d.ts

@@ -0,0 +1,36 @@
+import { ObjectSchema, Schema, type Shape, type ShapeInput, type ShapeOutput, type PartialShape } from "./schema.ts";
+export type SystemShape = {
+    id: Schema<string>;
+    createdAt: Schema<Date, Date | string>;
+    updatedAt: Schema<Date, Date | string>;
+};
+export declare class Model<N extends string = string, S extends Shape = Shape> {
+    /** Table name, also the property name on `db` (db.tickets). */
+    readonly name: N;
+    /** Fields you defined. */
+    readonly fields: S;
+    /** Full row schema including id, createdAt and updatedAt. */
+    readonly row: ObjectSchema<SystemShape & S>;
+    /** Input schema for inserts. Fields with defaults or .optional() may be left out. */
+    readonly create: ObjectSchema<S>;
+    /** Input schema for updates. Every field optional. */
+    readonly update: ObjectSchema<PartialShape<S>>;
+    /** Type-only: the row type. Prefer Row<typeof Model>. */
+    readonly $row: ShapeOutput<SystemShape & S>;
+    readonly $create: ShapeInput<S>;
+    constructor(name: N, fields: S);
+    /** Input schema with only some fields, e.g. for a route body: Ticket.pick("title", "body"). */
+    pick<K extends keyof S & string>(...keys: K[]): ObjectSchema<Pick<S, K>>;
+    /** Input schema without some fields, e.g. Ticket.omit("ownerId"). */
+    omit<K extends keyof S & string>(...keys: K[]): ObjectSchema<Omit<S, K>>;
+}
+export type AnyModel = Model<string, any>;
+/** Row type of a model: Row<typeof Ticket>. */
+export type Row<M extends AnyModel> = M["$row"];
+/** Insert input type of a model. */
+export type CreateInput<M extends AnyModel> = M["$create"];
+/** Update input type of a model. */
+export type UpdateInput<M extends AnyModel> = Partial<M["$create"]>;
+export declare function model<const N extends string, S extends Shape>(name: N, fields: S): Model<N, S>;
+/** camelCase field name to snake_case column name. */
+export declare function columnName(field: string): string;

package/dist/model.js

@@ -0,0 +1,76 @@
+/**
+ * A model is one schema that becomes a database table, validation for create and update,
+ * TypeScript types and JSON Schema.
+ *
+ *   export const Ticket = model("tickets", {
+ *     title: t.string().max(200),
+ *     priority: t.enum(["low", "normal", "urgent"]).default("normal"),
+ *   })
+ *
+ * Every model gets id (uuid), createdAt and updatedAt automatically.
+ */
+import { InferloError } from "./errors.js";
+import { ObjectSchema, Schema, t } from "./schema.js";
+const TABLE_NAME = /^[a-z][a-z0-9_]{0,62}$/;
+const FIELD_NAME = /^[a-zA-Z][a-zA-Z0-9]{0,62}$/;
+const RESERVED = new Set(["id", "createdAt", "updatedAt"]);
+function system(schema, kind) {
+    return new Schema({ ...schema.def, system: kind });
+}
+export class Model {
+    /** Table name, also the property name on `db` (db.tickets). */
+    name;
+    /** Fields you defined. */
+    fields;
+    /** Full row schema including id, createdAt and updatedAt. */
+    row;
+    /** Input schema for inserts. Fields with defaults or .optional() may be left out. */
+    create;
+    /** Input schema for updates. Every field optional. */
+    update;
+    constructor(name, fields) {
+        if (!TABLE_NAME.test(name)) {
+            throw new InferloError("IL4005", `Model name "${name}" is not a valid table name.`, {
+                fix: 'Use lowercase letters, digits and underscores, starting with a letter, e.g. model("support_tickets", {...}).',
+            });
+        }
+        for (const key of Object.keys(fields)) {
+            if (RESERVED.has(key)) {
+                throw new InferloError("IL4006", `Model "${name}" defines "${key}", which Inferlo adds automatically.`, {
+                    fix: `Remove "${key}" from the model. Every model already has id, createdAt and updatedAt.`,
+                });
+            }
+            if (!FIELD_NAME.test(key)) {
+                throw new InferloError("IL4005", `Field "${name}.${key}" is not a valid field name.`, {
+                    fix: "Use camelCase letters and digits, e.g. ownerId. Inferlo stores it as owner_id.",
+                });
+            }
+        }
+        this.name = name;
+        this.fields = fields;
+        this.create = t.object(fields);
+        this.update = this.create.partial();
+        const systemShape = {
+            id: system(t.uuid(), "id"),
+            createdAt: system(t.date(), "createdAt"),
+            updatedAt: system(t.date(), "updatedAt"),
+        };
+        this.row = t.object({ ...systemShape, ...fields });
+    }
+    /** Input schema with only some fields, e.g. for a route body: Ticket.pick("title", "body"). */
+    pick(...keys) {
+        return this.create.pick(...keys);
+    }
+    /** Input schema without some fields, e.g. Ticket.omit("ownerId"). */
+    omit(...keys) {
+        return this.create.omit(...keys);
+    }
+}
+export function model(name, fields) {
+    return new Model(name, fields);
+}
+/** camelCase field name to snake_case column name. */
+export function columnName(field) {
+    return field.replace(/[A-Z]/g, (c) => "_" + c.toLowerCase());
+}
+//# sourceMappingURL=model.js.map

package/dist/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../src/model.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,EAA8E,MAAM,aAAa,CAAC;AAElI,MAAM,UAAU,GAAG,wBAAwB,CAAC;AAC5C,MAAM,UAAU,GAAG,6BAA6B,CAAC;AACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;AAE3D,SAAS,MAAM,CAAC,MAAwB,EAAE,IAAmB;IAC3D,OAAO,IAAI,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACrD,CAAC;AAQD,MAAM,OAAO,KAAK;IAChB,+DAA+D;IACtD,IAAI,CAAI;IACjB,0BAA0B;IACjB,MAAM,CAAI;IACnB,6DAA6D;IACpD,GAAG,CAAgC;IAC5C,qFAAqF;IAC5E,MAAM,CAAkB;IACjC,sDAAsD;IAC7C,MAAM,CAAgC;IAM/C,YAAY,IAAO,EAAE,MAAS;QAC5B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,YAAY,CAAC,QAAQ,EAAE,eAAe,IAAI,8BAA8B,EAAE;gBAClF,GAAG,EAAE,8GAA8G;aACpH,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,YAAY,CAAC,QAAQ,EAAE,UAAU,IAAI,cAAc,GAAG,sCAAsC,EAAE;oBACtG,GAAG,EAAE,WAAW,GAAG,wEAAwE;iBAC5F,CAAC,CAAC;YACL,CAAC;YACD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,YAAY,CAAC,QAAQ,EAAE,UAAU,IAAI,IAAI,GAAG,8BAA8B,EAAE;oBACpF,GAAG,EAAE,gFAAgF;iBACtF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,WAAW,GAAgB;YAC/B,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC;YAC1B,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,WAAW,CAAC;YACxC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,WAAW,CAAC;SACzC,CAAC;QACF,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,WAAW,EAAE,GAAG,MAAM,EAAqB,CAAC,CAAC;IACxE,CAAC;IAED,+FAA+F;IAC/F,IAAI,CAA6B,GAAG,IAAS;QAC3C,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,qEAAqE;IACrE,IAAI,CAA6B,GAAG,IAAS;QAC3C,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IACnC,CAAC;CACF;AAWD,MAAM,UAAU,KAAK,CAA0C,IAAO,EAAE,MAAS;IAC/E,OAAO,IAAI,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACjC,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AAC/D,CAAC"}

package/dist/openapi.d.ts

@@ -0,0 +1,6 @@
+/** OpenAPI 3.1 document generated from routes. Served at /openapi.json by default. */
+import type { App } from "./app.ts";
+export declare function buildOpenAPI(app: App<any>, options: {
+    description?: string;
+    auth: boolean;
+}): Record<string, unknown>;

package/dist/openapi.js

@@ -0,0 +1,71 @@
+import { toolName } from "./mcp.js";
+const errorSchema = {
+    type: "object",
+    properties: {
+        error: {
+            type: "object",
+            properties: {
+                code: { type: "string", examples: ["IL1001"] },
+                message: { type: "string" },
+                fix: { type: "string" },
+                details: {},
+                docs: { type: "string", format: "uri" },
+            },
+            required: ["code", "message", "docs"],
+        },
+    },
+    required: ["error"],
+};
+export function buildOpenAPI(app, options) {
+    const paths = {};
+    for (const route of app.routes) {
+        const o = route.options;
+        const openPath = route.path.replace(/:([^/]+)/g, "{$1}").replace(/\/\*$/, "/{wildcard}");
+        const parameters = [];
+        const paramProps = o.params?.toJSONSchema().properties ?? {};
+        for (const key of route.path.split("/").filter((p) => p.startsWith(":")).map((p) => p.slice(1))) {
+            parameters.push({ name: key, in: "path", required: true, schema: paramProps[key] ?? { type: "string" } });
+        }
+        if (o.query) {
+            const q = o.query.toJSONSchema();
+            const required = new Set(q.required ?? []);
+            for (const [name, schema] of Object.entries(q.properties ?? {})) {
+                parameters.push({ name, in: "query", required: required.has(name), schema });
+            }
+        }
+        const isPublic = (o.auth ?? "user") === "public";
+        const operation = {
+            operationId: route.name ?? toolName(route),
+            summary: o.summary,
+            description: o.description,
+            tags: o.tags,
+            parameters: parameters.length ? parameters : undefined,
+            requestBody: o.body ? { required: !o.body.def.optional, content: { "application/json": { schema: o.body.toJSONSchema() } } } : undefined,
+            responses: {
+                "200": { description: "Success", content: o.response ? { "application/json": { schema: o.response.toJSONSchema() } } : undefined },
+                ...(o.body || o.query || o.params ? { "422": { description: "Validation failed (IL1001)", content: { "application/json": { schema: errorSchema } } } } : {}),
+                ...(!isPublic ? { "401": { description: "Sign in required (IL3001)", content: { "application/json": { schema: errorSchema } } } } : {}),
+            },
+            security: !isPublic && options.auth ? [{ bearerAuth: [] }] : undefined,
+            "x-inferlo-auth": o.auth ?? "user",
+            "x-inferlo-tool": o.tool ? toolName(route) : undefined,
+        };
+        for (const key of Object.keys(operation))
+            if (operation[key] === undefined)
+                delete operation[key];
+        (paths[openPath] ??= {})[route.method.toLowerCase()] = operation;
+    }
+    const schemas = {};
+    for (const m of app.models)
+        schemas[m.name] = m.row.toJSONSchema();
+    return {
+        openapi: "3.1.0",
+        info: { title: app.name, version: app.version, description: options.description },
+        paths,
+        components: {
+            schemas: { ...schemas, Error: errorSchema },
+            ...(options.auth ? { securitySchemes: { bearerAuth: { type: "http", scheme: "bearer" } } } : {}),
+        },
+    };
+}
+//# sourceMappingURL=openapi.js.map

package/dist/openapi.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"openapi.js","sourceRoot":"","sources":["../src/openapi.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAGpC,MAAM,WAAW,GAAe;IAC9B,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE;gBAC9C,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE;aACxC;YACD,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC;SACtC;KACF;IACD,QAAQ,EAAE,CAAC,OAAO,CAAC;CACpB,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,GAAa,EAAE,OAAgD;IAC1F,MAAM,KAAK,GAA4C,EAAE,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;QACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;QACzF,MAAM,UAAU,GAA8B,EAAE,CAAC;QACjD,MAAM,UAAU,GAAI,CAAC,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,UAAyC,IAAI,EAAE,CAAC;QAC7F,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAChG,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC5G,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAE,CAAC,CAAC,QAAqB,IAAI,EAAE,CAAC,CAAC;YACzD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAE,CAAC,CAAC,UAAyC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAChG,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,QAAQ,CAAC;QACjD,MAAM,SAAS,GAA4B;YACzC,WAAW,EAAE,KAAK,CAAC,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC;YAC1C,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;YACtD,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS;YACxI,SAAS,EAAE;gBACT,KAAK,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE;gBAClI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,4BAA4B,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5J,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,2BAA2B,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxI;YACD,QAAQ,EAAE,CAAC,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;YACtE,gBAAgB,EAAE,CAAC,CAAC,IAAI,IAAI,MAAM;YAClC,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;SACvD,CAAC;QACF,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;YAAE,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC;QAClG,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,GAAG,SAAS,CAAC;IACnE,CAAC;IACD,MAAM,OAAO,GAA+B,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC;IACnE,OAAO;QACL,OAAO,EAAE,OAAO;QAChB,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE;QACjF,KAAK;QACL,UAAU,EAAE;YACV,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE;YAC3C,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACjG;KACF,CAAC;AACJ,CAAC"}

package/dist/route.d.ts

@@ -0,0 +1,125 @@
+/**
+ * Routes are plain values. Define them anywhere, export them, and pass the modules to createApp.
+ *
+ *   export const createTicket = route.post("/tickets", {
+ *     auth: "user",
+ *     body: Ticket.pick("title", "body"),
+ *   }).handle(({ body, user, db }) => db.tickets.insert({ ...body, ownerId: user.id }))
+ *
+ * Secure by default: routes require a signed-in user unless you set auth: "public".
+ */
+import type { AI } from "./ai/index.ts";
+import type { Db } from "./db/table.ts";
+import type { AnyModel } from "./model.ts";
+import type { AnySchema, Infer, ObjectSchema } from "./schema.ts";
+/**
+ * Register your app's models and user type once, so every handler is fully typed:
+ *
+ *   declare module "@browserlessapi/inferlo" {
+ *     interface Register { models: typeof models; user: User }
+ *   }
+ */
+export interface Register {
+}
+type Registered<K extends string, Fallback> = Register extends {
+    [P in K]: infer V;
+} ? V : Fallback;
+export type AppModels = Registered<"models", readonly AnyModel[]> extends infer M extends readonly AnyModel[] ? M : readonly AnyModel[];
+export type AppUser = Registered<"user", {
+    id: string;
+    roles?: string[];
+}>;
+export type AppDb = Db<AppModels>;
+export type Method = "GET" | "POST" | "PUT" | "PATCH" | "DELETE";
+/** "public": anyone. "user": any signed-in user. Any other string: the user must have that role. */
+export type Auth = "public" | "user" | (string & {});
+export interface ToolOptions {
+    /** Tool name for MCP clients. Defaults to the exported route name (e.g. createTicket). */
+    name?: string;
+    /** What the tool does, written for an AI model. Defaults to the route description. */
+    description?: string;
+}
+export interface RouteOptions<B extends AnySchema | undefined, Q extends ObjectSchema<any> | undefined, P extends ObjectSchema<any> | undefined> {
+    /** Who may call this route. Default "user" (signed in). */
+    auth?: Auth;
+    /** Request body schema (JSON or form). */
+    body?: B;
+    /** Query string schema. Strings are converted to numbers and booleans automatically. */
+    query?: Q;
+    /** Path parameter schema. Without it, path params are strings. */
+    params?: P;
+    /** Response schema, used for OpenAPI and MCP docs. */
+    response?: AnySchema;
+    /** One line shown in OpenAPI, describe and MCP. */
+    summary?: string;
+    description?: string;
+    tags?: string[];
+    /** Expose this route as an MCP tool for AI agents. Same auth rules apply. */
+    tool?: boolean | ToolOptions;
+}
+type PathParams<P extends string> = P extends `${string}:${infer Param}/${infer Rest}` ? {
+    [K in Param | keyof PathParams<`/${Rest}`>]: string;
+} : P extends `${string}:${infer Param}` ? {
+    [K in Param]: string;
+} : {};
+type UserFor<A> = A extends "public" ? AppUser | null : AppUser;
+export interface Context<Body, Query, Params, User> {
+    body: Body;
+    query: Query;
+    params: Params;
+    /** The signed-in user (null only on public routes with no session). */
+    user: User;
+    db: AppDb;
+    ai: AI;
+    req: Request;
+    url: URL;
+    headers: Headers;
+    /** Set the response status code. */
+    status(code: number): void;
+    /** Set a response header. */
+    header(name: string, value: string): void;
+    /** Values shared by middleware for this request. */
+    state: Record<string, unknown>;
+    /** Run work after the response is sent (logging, webhooks). Errors are logged, not thrown. */
+    waitUntil(promise: Promise<unknown>): void;
+}
+export type AnyContext = Context<any, any, any, any>;
+export type Handler<C, R> = (ctx: C) => R | Promise<R>;
+export interface RouteDef {
+    readonly kind: "inferlo.route";
+    readonly method: Method;
+    readonly path: string;
+    readonly options: RouteOptions<any, any, any>;
+    readonly handler: Handler<AnyContext, unknown>;
+    /** Export name, filled in by createApp when routes are passed as modules. */
+    name?: string;
+}
+export declare class RouteBuilder<Path extends string, B extends AnySchema | undefined, Q extends ObjectSchema<any> | undefined, P extends ObjectSchema<any> | undefined, A> {
+    readonly method: Method;
+    readonly path: Path;
+    readonly options: RouteOptions<B, Q, P>;
+    constructor(method: Method, path: Path, options: RouteOptions<B, Q, P>);
+    /** The request handler. Return data (sent as JSON), a Response, or nothing (204). */
+    handle<R>(handler: Handler<Context<B extends AnySchema ? Infer<B> : undefined, Q extends AnySchema ? Infer<Q> : Record<string, string | undefined>, P extends AnySchema ? Infer<P> : PathParams<Path>, UserFor<A>>, R>): RouteDef & {
+        readonly $response: Awaited<R>;
+    };
+}
+export declare const route: {
+    get: <const Path extends string, B extends AnySchema | undefined = undefined, Q extends ObjectSchema<any> | undefined = undefined, P extends ObjectSchema<any> | undefined = undefined, const A extends Auth = "user">(path: Path, options?: RouteOptions<B, Q, P> & {
+        auth?: A;
+    }) => RouteBuilder<Path, B, Q, P, A>;
+    post: <const Path extends string, B extends AnySchema | undefined = undefined, Q extends ObjectSchema<any> | undefined = undefined, P extends ObjectSchema<any> | undefined = undefined, const A extends Auth = "user">(path: Path, options?: RouteOptions<B, Q, P> & {
+        auth?: A;
+    }) => RouteBuilder<Path, B, Q, P, A>;
+    put: <const Path extends string, B extends AnySchema | undefined = undefined, Q extends ObjectSchema<any> | undefined = undefined, P extends ObjectSchema<any> | undefined = undefined, const A extends Auth = "user">(path: Path, options?: RouteOptions<B, Q, P> & {
+        auth?: A;
+    }) => RouteBuilder<Path, B, Q, P, A>;
+    patch: <const Path extends string, B extends AnySchema | undefined = undefined, Q extends ObjectSchema<any> | undefined = undefined, P extends ObjectSchema<any> | undefined = undefined, const A extends Auth = "user">(path: Path, options?: RouteOptions<B, Q, P> & {
+        auth?: A;
+    }) => RouteBuilder<Path, B, Q, P, A>;
+    delete: <const Path extends string, B extends AnySchema | undefined = undefined, Q extends ObjectSchema<any> | undefined = undefined, P extends ObjectSchema<any> | undefined = undefined, const A extends Auth = "user">(path: Path, options?: RouteOptions<B, Q, P> & {
+        auth?: A;
+    }) => RouteBuilder<Path, B, Q, P, A>;
+};
+export declare function isRoute(value: unknown): value is RouteDef;
+export {};

package/dist/route.js

@@ -0,0 +1,28 @@
+export class RouteBuilder {
+    method;
+    path;
+    options;
+    constructor(method, path, options) {
+        this.method = method;
+        this.path = path;
+        this.options = options;
+    }
+    /** The request handler. Return data (sent as JSON), a Response, or nothing (204). */
+    handle(handler) {
+        return { kind: "inferlo.route", method: this.method, path: this.path, options: this.options, handler: handler };
+    }
+}
+function builder(method) {
+    return (path, options = {}) => new RouteBuilder(method, path, options);
+}
+export const route = {
+    get: builder("GET"),
+    post: builder("POST"),
+    put: builder("PUT"),
+    patch: builder("PATCH"),
+    delete: builder("DELETE"),
+};
+export function isRoute(value) {
+    return typeof value === "object" && value !== null && value.kind === "inferlo.route";
+}
+//# sourceMappingURL=route.js.map

package/dist/route.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"route.js","sourceRoot":"","sources":["../src/route.ts"],"names":[],"mappings":"AAuGA,MAAM,OAAO,YAAY;IACd,MAAM,CAAS;IACf,IAAI,CAAO;IACX,OAAO,CAAwB;IAExC,YAAY,MAAc,EAAE,IAAU,EAAE,OAA8B;QACpE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IAED,qFAAqF;IACrF,MAAM,CACJ,OAQC;QAED,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAuC,EAE5I,CAAC;IACJ,CAAC;CACF;AAED,SAAS,OAAO,CAAC,MAAc;IAC7B,OAAO,CAOL,IAAU,EACV,UAAgD,EAAE,EAClD,EAAE,CAAC,IAAI,YAAY,CAAmB,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;IACrB,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC;IACnB,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC;IACvB,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;CAC1B,CAAC;AAEF,MAAM,UAAU,OAAO,CAAC,KAAc;IACpC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAK,KAAkB,CAAC,IAAI,KAAK,eAAe,CAAC;AACrG,CAAC"}

package/dist/schema.d.ts

@@ -0,0 +1,156 @@
+/**
+ * Inferlo schemas. One definition gives you runtime validation, TypeScript types,
+ * JSON Schema (for OpenAPI, MCP tools and AI structured output) and database columns.
+ *
+ *   const User = t.object({ name: t.string().max(80), age: t.int().optional() })
+ *   type User = Infer<typeof User>
+ */
+import { InferloError } from "./errors.ts";
+export type Kind = "string" | "text" | "email" | "url" | "uuid" | "ref" | "number" | "int" | "boolean" | "date" | "enum" | "literal" | "json" | "array" | "object" | "any";
+export interface Def {
+    kind: Kind;
+    optional: boolean;
+    nullable: boolean;
+    hasDefault: boolean;
+    defaultValue?: unknown;
+    min?: number;
+    max?: number;
+    pattern?: RegExp;
+    values?: readonly (string | number | boolean)[];
+    item?: AnySchema;
+    shape?: Shape;
+    unknownKeys?: "strict" | "strip";
+    refTable?: string;
+    onDelete?: "restrict" | "cascade" | "set null";
+    description?: string;
+    example?: unknown;
+    unique?: boolean;
+    index?: boolean;
+    /** Filled in by the framework (id, createdAt, updatedAt). Never accepted as input. */
+    system?: "id" | "createdAt" | "updatedAt";
+}
+export interface Issue {
+    path: (string | number)[];
+    code: string;
+    message: string;
+}
+export type ParseResult<T> = {
+    ok: true;
+    value: T;
+} | {
+    ok: false;
+    issues: Issue[];
+};
+export interface ParseOptions {
+    /** Convert strings to numbers, booleans and dates (used for query strings and path params). */
+    coerce?: boolean;
+}
+export declare class ValidationError extends InferloError {
+    readonly issues: Issue[];
+    constructor(issues: Issue[], where?: string);
+}
+export type JSONSchema = Record<string, unknown>;
+export type AnySchema = Schema<any, any>;
+export type Shape = Record<string, AnySchema>;
+/** The parsed (output) type of a schema. */
+export type Infer<S> = S extends Schema<infer O, any> ? O : never;
+/** The accepted input type of a schema (fields with defaults are optional). */
+export type InferInput<S> = S extends Schema<any, infer I> ? I : never;
+type Simplify<T> = {
+    [K in keyof T]: T[K];
+} & {};
+type OptionalKeys<T> = {
+    [K in keyof T]-?: undefined extends T[K] ? K : never;
+}[keyof T];
+type Objectify<T> = Simplify<{
+    [K in Exclude<keyof T, OptionalKeys<T>>]: T[K];
+} & {
+    [K in OptionalKeys<T>]?: T[K];
+}>;
+export type ShapeOutput<S extends Shape> = Objectify<{
+    [K in keyof S]: Infer<S[K]>;
+}>;
+export type ShapeInput<S extends Shape> = Objectify<{
+    [K in keyof S]: InferInput<S[K]>;
+}>;
+export type PartialShape<S extends Shape> = {
+    [K in keyof S]: Schema<Infer<S[K]> | undefined, InferInput<S[K]> | undefined>;
+};
+export declare class Schema<Out, In = Out> {
+    readonly def: Def;
+    /** Type-only markers. Use Infer<typeof schema> instead of reading these. */
+    readonly _output: Out;
+    readonly _input: In;
+    constructor(def: Def);
+    protected with(changes: Partial<Def>): this;
+    /** Field may be left out. */
+    optional(): Schema<Out | undefined, In | undefined>;
+    /** Field may be null. */
+    nullable(): Schema<Out | null, In | null>;
+    /** Value used when the field is left out. Pass a function for values like dates. */
+    default(value: Exclude<Out, undefined> | (() => Exclude<Out, undefined>)): Schema<Exclude<Out, undefined>, In | undefined>;
+    /** Minimum length (strings, arrays) or minimum value (numbers). */
+    min(n: number): this;
+    /** Maximum length (strings, arrays) or maximum value (numbers). */
+    max(n: number): this;
+    /** Strings must match this regular expression. */
+    regex(pattern: RegExp): this;
+    /** Shown in OpenAPI, MCP tool definitions and AI prompts. */
+    describe(description: string): this;
+    example(value: Out): this;
+    /** Database: unique column. */
+    unique(): this;
+    /** Database: add an index on this column. */
+    index(): this;
+    /** Validate and return typed data, or throw ValidationError (HTTP 422). */
+    parse(input: unknown, options?: ParseOptions): Out;
+    /** Validate without throwing. */
+    safeParse(input: unknown, options?: ParseOptions): ParseResult<Out>;
+    /** JSON Schema (draft 2020-12 compatible) for OpenAPI, MCP and AI structured output. */
+    toJSONSchema(): JSONSchema;
+}
+export declare class ObjectSchema<S extends Shape> extends Schema<ShapeOutput<S>, ShapeInput<S>> {
+    get shape(): S;
+    /** Keep only some fields. */
+    pick<K extends keyof S & string>(...keys: K[]): ObjectSchema<Pick<S, K>>;
+    /** Drop some fields. */
+    omit<K extends keyof S & string>(...keys: K[]): ObjectSchema<Omit<S, K>>;
+    /** Every field optional (for PATCH bodies). Defaults are not applied. */
+    partial(): ObjectSchema<PartialShape<S>>;
+    /** Add fields. */
+    extend<E extends Shape>(extra: E): ObjectSchema<Omit<S, keyof E> & E>;
+    /** Silently drop unknown keys instead of rejecting them (the default is to reject). */
+    strip(): this;
+}
+export declare class ArraySchema<I extends AnySchema> extends Schema<Infer<I>[], InferInput<I>[]> {
+    get item(): I;
+}
+export declare const t: {
+    /** Short text. Stored as text (or varchar(max) when .max() is set). */
+    string: () => Schema<string, string>;
+    /** Long text such as a post body. */
+    text: () => Schema<string, string>;
+    email: () => Schema<string, string>;
+    url: () => Schema<string, string>;
+    uuid: () => Schema<string, string>;
+    number: () => Schema<number, number>;
+    /** Whole number. */
+    int: () => Schema<number, number>;
+    boolean: () => Schema<boolean, boolean>;
+    /** Accepts a Date or an ISO 8601 string, always returns a Date. */
+    date: () => Schema<Date, string | Date>;
+    /** One of a fixed list of strings: t.enum(["low", "normal", "urgent"]). */
+    enum: <const V extends readonly [string, ...string[]]>(values: V) => Schema<V[number], V[number]>;
+    literal: <const V extends string | number | boolean>(value: V) => Schema<V, V>;
+    /** Any JSON value. Stored as jsonb. */
+    json: <T = unknown>() => Schema<T, T>;
+    array: <I extends AnySchema>(item: I) => ArraySchema<I>;
+    object: <S extends Shape>(shape: S) => ObjectSchema<S>;
+    /** Id of a row in another model's table: t.ref("users"). */
+    ref: (table: string, options?: {
+        onDelete?: "restrict" | "cascade" | "set null";
+    }) => Schema<string, string>;
+    any: () => Schema<unknown, unknown>;
+};
+export declare function toJSONSchema(schema: AnySchema): JSONSchema;
+export {};