ignotum 0.0.2 → 0.0.4

package/dist/runtime/schema-B-jMZEbs.js

@@ -0,0 +1,227 @@
+import { r as GeneratedId } from "./id-D570vudg.js";
+import { a as ErrorBrand, i as getValueDescriptor, n as attachValueDescriptor, r as descriptorFields } from "./descriptor-t6BOEGw9-BTHR-ZMv.js";
+import { Schema, Struct } from "effect";
+//#region ../contracts/dist/runtime/schema.js
+const FunctionSchemaTypeId = Symbol.for("ignotum/runtime/schema/FunctionSchema");
+const attachFunctionSchema = (schema) => (definition) => {
+	Object.defineProperty(definition, FunctionSchemaTypeId, {
+		configurable: false,
+		enumerable: false,
+		value: schema,
+		writable: false
+	});
+	return definition;
+};
+const getFunctionSchema = (value) => value[FunctionSchemaTypeId];
+//#endregion
+//#region ../contracts/dist/schema/values.js
+const LiteralValueSchema = Schema.Union([
+	Schema.String,
+	Schema.Finite,
+	Schema.Boolean
+]);
+const table = (fields) => {
+	const tableFields = fields;
+	return {
+		_tag: "Table",
+		descriptor: {
+			type: "object",
+			fields: descriptorFields(tableFields)
+		},
+		fields: tableFields,
+		schema: Schema.Struct(tableFields)
+	};
+};
+const fresh = (value) => value.pipe(Schema.annotate({}));
+const string = () => attachValueDescriptor(fresh(Schema.String), { type: "string" });
+const number = () => attachValueDescriptor(fresh(Schema.Finite), { type: "number" });
+const integer = () => attachValueDescriptor(fresh(Schema.Int), { type: "integer" });
+const boolean = () => attachValueDescriptor(fresh(Schema.Boolean), { type: "boolean" });
+const date = () => attachValueDescriptor(fresh(Schema.DateFromMillis), { type: "date" });
+const never = () => attachValueDescriptor(fresh(Schema.Never), { type: "never" });
+const nullValue = () => attachValueDescriptor(fresh(Schema.Null), { type: "null" });
+const literal = (value) => {
+	Schema.decodeSync(LiteralValueSchema)(value);
+	return attachValueDescriptor(Schema.Literal(value), {
+		type: "literal",
+		value
+	});
+};
+const literals = (...members) => {
+	Schema.decodeSync(Schema.Array(LiteralValueSchema))(members);
+	return attachValueDescriptor(Schema.Literals(members), {
+		type: "literals",
+		values: members
+	});
+};
+const makeIdSchema = (tableName) => {
+	const identifier = `ignotum/id/${tableName}`;
+	return attachValueDescriptor(GeneratedId.pipe(Schema.brand(identifier), Schema.annotate({ "ignotum/table": tableName })), {
+		type: "id",
+		table: tableName
+	});
+};
+const id = (tableName) => makeIdSchema(tableName);
+const requireDescriptor = (value) => {
+	const descriptor = getValueDescriptor(value);
+	if (descriptor === void 0) throw new Error("Ignotum value combinators require a values validator.");
+	return descriptor;
+};
+const array = (value) => {
+	return attachValueDescriptor(Schema.Array(value), {
+		type: "array",
+		value: requireDescriptor(value)
+	});
+};
+const assertFieldsExist = (fields, keys, operation) => {
+	for (const key of keys) if (!Object.hasOwn(fields, key)) throw new Error(`Cannot ${operation} unknown field '${String(key)}'.`);
+};
+const fixedObject = (fields) => {
+	const pick = (...keys) => {
+		assertFieldsExist(fields, keys, "pick");
+		return fixedObject(Struct.pick(fields, keys));
+	};
+	const omit = (...keys) => {
+		assertFieldsExist(fields, keys, "omit");
+		return fixedObject(Struct.omit(fields, keys));
+	};
+	const extend = (addedFields, ..._validation) => {
+		for (const key of Reflect.ownKeys(addedFields)) if (Object.hasOwn(fields, key)) throw new Error(`Cannot extend existing field '${String(key)}'.`);
+		return fixedObject(Struct.assign(fields, addedFields));
+	};
+	const override = (overriddenFields, ..._validation) => {
+		assertFieldsExist(fields, Reflect.ownKeys(overriddenFields), "override");
+		return fixedObject(Struct.assign(fields, overriddenFields));
+	};
+	const partial = () => {
+		const partialFields = Struct.map(fields, Schema.optional);
+		for (const name of Reflect.ownKeys(fields)) {
+			const field = fields[name];
+			const partialField = partialFields[name];
+			if (field === void 0 || partialField === void 0) continue;
+			attachValueDescriptor(partialField, {
+				type: "optional",
+				value: requireDescriptor(field)
+			});
+		}
+		return fixedObject(partialFields);
+	};
+	const schema = attachValueDescriptor(Schema.Struct(fields), {
+		type: "object",
+		fields: descriptorFields(fields)
+	});
+	return Object.assign(schema, {
+		extend,
+		omit,
+		override,
+		partial,
+		pick
+	});
+};
+const object = (fields) => fixedObject(fields);
+const optional = (value) => {
+	return attachValueDescriptor(Schema.optional(value), {
+		type: "optional",
+		value: requireDescriptor(value)
+	});
+};
+const nullable = (value) => {
+	return attachValueDescriptor(Schema.NullOr(value), {
+		type: "nullable",
+		value: requireDescriptor(value)
+	});
+};
+const record = (value) => {
+	return attachValueDescriptor(Schema.Record(Schema.String, value), {
+		type: "record",
+		value: requireDescriptor(value)
+	});
+};
+const union = (...members) => {
+	return attachValueDescriptor(Schema.Union(members), {
+		type: "union",
+		members: members.map(requireDescriptor)
+	});
+};
+const error = (tag, fields) => {
+	if (tag === "InternalServerError") throw new Error("The error tag 'InternalServerError' is reserved by Ignotum.");
+	const errorFields = { ...fields };
+	Reflect.deleteProperty(errorFields, "_tag");
+	const schema = Schema.TaggedStruct(tag, errorFields).pipe(Schema.brand(ErrorBrand));
+	const make = (input) => schema.make(input);
+	const definition = Object.assign(make, schema);
+	Object.setPrototypeOf(definition, Object.getPrototypeOf(schema));
+	attachValueDescriptor(definition, {
+		type: "error",
+		tag,
+		fields: descriptorFields(errorFields)
+	});
+	return definition;
+};
+const values = {
+	array,
+	boolean,
+	date,
+	error,
+	id,
+	integer,
+	literal,
+	literals,
+	never,
+	null: nullValue,
+	nullable,
+	number,
+	object,
+	optional,
+	record,
+	string,
+	union
+};
+const bindValues = (definition) => {
+	const boundId = (tableName) => makeIdSchema(tableName);
+	const doc = (tableName) => {
+		const tableDefinition = definition[tableName];
+		if (tableDefinition === void 0) throw new Error(`Unknown table '${tableName}'.`);
+		const tableFields = tableDefinition.fields;
+		const systemFields = {
+			id: boundId(tableName),
+			createdAt: date(),
+			updatedAt: date()
+		};
+		return fixedObject(Struct.assign(tableFields, systemFields));
+	};
+	return {
+		...values,
+		doc,
+		id: boundId
+	};
+};
+//#endregion
+//#region ../contracts/dist/schema/index.js
+const SchemaDefinitionTypeId = Symbol.for("ignotum/schema/SchemaDefinition");
+const defineSchema = (define) => ({
+	_tag: "Schema",
+	[SchemaDefinitionTypeId]: define({
+		table,
+		values
+	})
+});
+const makeFunctionBuilder = (schema, kind) => {
+	const define = (definition) => attachFunctionSchema(schema)({
+		_tag: kind,
+		...definition
+	});
+	return define;
+};
+const makeFunctionBuilders = (schema) => ({
+	mutation: makeFunctionBuilder(schema, "Mutation"),
+	query: makeFunctionBuilder(schema, "Query")
+});
+const bindSchema = (schema) => ({
+	values: bindValues(schema[SchemaDefinitionTypeId]),
+	...makeFunctionBuilders(schema)
+});
+//#endregion
+export { getFunctionSchema as i, bindSchema as n, defineSchema as r, SchemaDefinitionTypeId as t };
+
+//# sourceMappingURL=schema-B-jMZEbs.js.map

package/dist/runtime/schema-B-jMZEbs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-B-jMZEbs.js","names":[],"sources":["../../../contracts/dist/runtime/schema.js","../../../contracts/dist/schema/values.js","../../../contracts/dist/schema/index.js"],"sourcesContent":["//#region src/runtime/schema.ts\nconst FunctionSchemaTypeId = Symbol.for(\"ignotum/runtime/schema/FunctionSchema\");\nconst attachFunctionSchema = (schema) => (definition) => {\n\tObject.defineProperty(definition, FunctionSchemaTypeId, {\n\t\tconfigurable: false,\n\t\tenumerable: false,\n\t\tvalue: schema,\n\t\twritable: false\n\t});\n\treturn definition;\n};\nconst getFunctionSchema = (value) => value[FunctionSchemaTypeId];\n//#endregion\nexport { FunctionSchemaTypeId, attachFunctionSchema, getFunctionSchema };\n\n//# sourceMappingURL=schema.js.map","import { GeneratedId } from \"../runtime/id.js\";\nimport { a as getValueDescriptor, i as descriptorFields, r as attachValueDescriptor } from \"../descriptor-t6BOEGw9.js\";\nimport { ErrorBrand } from \"../runtime/result.js\";\nimport { Schema, Struct } from \"effect\";\n//#region src/schema/values.ts\nconst LiteralValueSchema = Schema.Union([\n\tSchema.String,\n\tSchema.Finite,\n\tSchema.Boolean\n]);\nconst table = (fields) => {\n\tconst tableFields = fields;\n\treturn {\n\t\t_tag: \"Table\",\n\t\tdescriptor: {\n\t\t\ttype: \"object\",\n\t\t\tfields: descriptorFields(tableFields)\n\t\t},\n\t\tfields: tableFields,\n\t\tschema: Schema.Struct(tableFields)\n\t};\n};\nconst fresh = (value) => value.pipe(Schema.annotate({}));\nconst string = () => attachValueDescriptor(fresh(Schema.String), { type: \"string\" });\nconst number = () => attachValueDescriptor(fresh(Schema.Finite), { type: \"number\" });\nconst integer = () => attachValueDescriptor(fresh(Schema.Int), { type: \"integer\" });\nconst boolean = () => attachValueDescriptor(fresh(Schema.Boolean), { type: \"boolean\" });\nconst date = () => attachValueDescriptor(fresh(Schema.DateFromMillis), { type: \"date\" });\nconst never = () => attachValueDescriptor(fresh(Schema.Never), { type: \"never\" });\nconst nullValue = () => attachValueDescriptor(fresh(Schema.Null), { type: \"null\" });\nconst literal = (value) => {\n\tSchema.decodeSync(LiteralValueSchema)(value);\n\treturn attachValueDescriptor(Schema.Literal(value), {\n\t\ttype: \"literal\",\n\t\tvalue\n\t});\n};\nconst literals = (...members) => {\n\tSchema.decodeSync(Schema.Array(LiteralValueSchema))(members);\n\treturn attachValueDescriptor(Schema.Literals(members), {\n\t\ttype: \"literals\",\n\t\tvalues: members\n\t});\n};\nconst makeIdSchema = (tableName) => {\n\tconst identifier = `ignotum/id/${tableName}`;\n\treturn attachValueDescriptor(GeneratedId.pipe(Schema.brand(identifier), Schema.annotate({ \"ignotum/table\": tableName })), {\n\t\ttype: \"id\",\n\t\ttable: tableName\n\t});\n};\nconst id = (tableName) => makeIdSchema(tableName);\nconst requireDescriptor = (value) => {\n\tconst descriptor = getValueDescriptor(value);\n\tif (descriptor === void 0) throw new Error(\"Ignotum value combinators require a values validator.\");\n\treturn descriptor;\n};\nconst array = (value) => {\n\treturn attachValueDescriptor(Schema.Array(value), {\n\t\ttype: \"array\",\n\t\tvalue: requireDescriptor(value)\n\t});\n};\nconst assertFieldsExist = (fields, keys, operation) => {\n\tfor (const key of keys) if (!Object.hasOwn(fields, key)) throw new Error(`Cannot ${operation} unknown field '${String(key)}'.`);\n};\nconst fixedObject = (fields) => {\n\tconst pick = (...keys) => {\n\t\tassertFieldsExist(fields, keys, \"pick\");\n\t\treturn fixedObject(Struct.pick(fields, keys));\n\t};\n\tconst omit = (...keys) => {\n\t\tassertFieldsExist(fields, keys, \"omit\");\n\t\treturn fixedObject(Struct.omit(fields, keys));\n\t};\n\tconst extend = (addedFields, ..._validation) => {\n\t\tfor (const key of Reflect.ownKeys(addedFields)) if (Object.hasOwn(fields, key)) throw new Error(`Cannot extend existing field '${String(key)}'.`);\n\t\treturn fixedObject(Struct.assign(fields, addedFields));\n\t};\n\tconst override = (overriddenFields, ..._validation) => {\n\t\tassertFieldsExist(fields, Reflect.ownKeys(overriddenFields), \"override\");\n\t\treturn fixedObject(Struct.assign(fields, overriddenFields));\n\t};\n\tconst partial = () => {\n\t\tconst partialFields = Struct.map(fields, Schema.optional);\n\t\tfor (const name of Reflect.ownKeys(fields)) {\n\t\t\tconst field = fields[name];\n\t\t\tconst partialField = partialFields[name];\n\t\t\tif (field === void 0 || partialField === void 0) continue;\n\t\t\tattachValueDescriptor(partialField, {\n\t\t\t\ttype: \"optional\",\n\t\t\t\tvalue: requireDescriptor(field)\n\t\t\t});\n\t\t}\n\t\treturn fixedObject(partialFields);\n\t};\n\tconst schema = attachValueDescriptor(Schema.Struct(fields), {\n\t\ttype: \"object\",\n\t\tfields: descriptorFields(fields)\n\t});\n\treturn Object.assign(schema, {\n\t\textend,\n\t\tomit,\n\t\toverride,\n\t\tpartial,\n\t\tpick\n\t});\n};\nconst object = (fields) => fixedObject(fields);\nconst optional = (value) => {\n\treturn attachValueDescriptor(Schema.optional(value), {\n\t\ttype: \"optional\",\n\t\tvalue: requireDescriptor(value)\n\t});\n};\nconst nullable = (value) => {\n\treturn attachValueDescriptor(Schema.NullOr(value), {\n\t\ttype: \"nullable\",\n\t\tvalue: requireDescriptor(value)\n\t});\n};\nconst record = (value) => {\n\treturn attachValueDescriptor(Schema.Record(Schema.String, value), {\n\t\ttype: \"record\",\n\t\tvalue: requireDescriptor(value)\n\t});\n};\nconst union = (...members) => {\n\treturn attachValueDescriptor(Schema.Union(members), {\n\t\ttype: \"union\",\n\t\tmembers: members.map(requireDescriptor)\n\t});\n};\nconst error = (tag, fields) => {\n\tif (tag === \"InternalServerError\") throw new Error(\"The error tag 'InternalServerError' is reserved by Ignotum.\");\n\tconst errorFields = { ...fields };\n\tReflect.deleteProperty(errorFields, \"_tag\");\n\tconst schema = Schema.TaggedStruct(tag, errorFields).pipe(Schema.brand(ErrorBrand));\n\tconst make = (input) => schema.make(input);\n\tconst definition = Object.assign(make, schema);\n\tObject.setPrototypeOf(definition, Object.getPrototypeOf(schema));\n\tattachValueDescriptor(definition, {\n\t\ttype: \"error\",\n\t\ttag,\n\t\tfields: descriptorFields(errorFields)\n\t});\n\treturn definition;\n};\nconst values = {\n\tarray,\n\tboolean,\n\tdate,\n\terror,\n\tid,\n\tinteger,\n\tliteral,\n\tliterals,\n\tnever,\n\tnull: nullValue,\n\tnullable,\n\tnumber,\n\tobject,\n\toptional,\n\trecord,\n\tstring,\n\tunion\n};\nconst bindValues = (definition) => {\n\tconst boundId = (tableName) => makeIdSchema(tableName);\n\tconst doc = (tableName) => {\n\t\tconst tableDefinition = definition[tableName];\n\t\tif (tableDefinition === void 0) throw new Error(`Unknown table '${tableName}'.`);\n\t\tconst tableFields = tableDefinition.fields;\n\t\tconst systemFields = {\n\t\t\tid: boundId(tableName),\n\t\t\tcreatedAt: date(),\n\t\t\tupdatedAt: date()\n\t\t};\n\t\treturn fixedObject(Struct.assign(tableFields, systemFields));\n\t};\n\treturn {\n\t\t...values,\n\t\tdoc,\n\t\tid: boundId\n\t};\n};\n//#endregion\nexport { bindValues, table, values };\n\n//# sourceMappingURL=values.js.map","import { a as getValueDescriptor, n as ValueDescriptorTypeId, t as ValueDescriptor } from \"../descriptor-t6BOEGw9.js\";\nimport { Result } from \"../runtime/result.js\";\nimport { bindValues, table, values } from \"./values.js\";\nimport { attachFunctionSchema } from \"../runtime/schema.js\";\nimport { Predicate } from \"effect\";\n//#region src/schema/types.ts\nconst SchemaDefinitionTypeId = Symbol.for(\"ignotum/schema/SchemaDefinition\");\n//#endregion\n//#region src/schema/definition.ts\nconst defineSchema = (define) => ({\n\t_tag: \"Schema\",\n\t[SchemaDefinitionTypeId]: define({\n\t\ttable,\n\t\tvalues\n\t})\n});\nconst isDefinedSchema = (value) => value._tag === \"Schema\" && Predicate.isObject(value[SchemaDefinitionTypeId]);\n//#endregion\n//#region src/schema/server.ts\nconst makeFunctionBuilder = (schema, kind) => {\n\tconst define = (definition) => attachFunctionSchema(schema)({\n\t\t_tag: kind,\n\t\t...definition\n\t});\n\treturn define;\n};\nconst makeFunctionBuilders = (schema) => ({\n\tmutation: makeFunctionBuilder(schema, \"Mutation\"),\n\tquery: makeFunctionBuilder(schema, \"Query\")\n});\nconst bindSchema = (schema) => ({\n\tvalues: bindValues(schema[SchemaDefinitionTypeId]),\n\t...makeFunctionBuilders(schema)\n});\n//#endregion\nexport { Result, SchemaDefinitionTypeId, ValueDescriptor, ValueDescriptorTypeId, bindSchema, bindValues, defineSchema, getValueDescriptor, isDefinedSchema, table, values };\n\n//# sourceMappingURL=index.js.map"],"mappings":";;;;AACA,MAAM,uBAAuB,OAAO,IAAI,uCAAuC;AAC/E,MAAM,wBAAwB,YAAY,eAAe;CACxD,OAAO,eAAe,YAAY,sBAAsB;EACvD,cAAc;EACd,YAAY;EACZ,OAAO;EACP,UAAU;CACX,CAAC;CACD,OAAO;AACR;AACA,MAAM,qBAAqB,UAAU,MAAM;;;ACN3C,MAAM,qBAAqB,OAAO,MAAM;CACvC,OAAO;CACP,OAAO;CACP,OAAO;AACR,CAAC;AACD,MAAM,SAAS,WAAW;CACzB,MAAM,cAAc;CACpB,OAAO;EACN,MAAM;EACN,YAAY;GACX,MAAM;GACN,QAAQ,iBAAiB,WAAW;EACrC;EACA,QAAQ;EACR,QAAQ,OAAO,OAAO,WAAW;CAClC;AACD;AACA,MAAM,SAAS,UAAU,MAAM,KAAK,OAAO,SAAS,CAAC,CAAC,CAAC;AACvD,MAAM,eAAe,sBAAsB,MAAM,OAAO,MAAM,GAAG,EAAE,MAAM,SAAS,CAAC;AACnF,MAAM,eAAe,sBAAsB,MAAM,OAAO,MAAM,GAAG,EAAE,MAAM,SAAS,CAAC;AACnF,MAAM,gBAAgB,sBAAsB,MAAM,OAAO,GAAG,GAAG,EAAE,MAAM,UAAU,CAAC;AAClF,MAAM,gBAAgB,sBAAsB,MAAM,OAAO,OAAO,GAAG,EAAE,MAAM,UAAU,CAAC;AACtF,MAAM,aAAa,sBAAsB,MAAM,OAAO,cAAc,GAAG,EAAE,MAAM,OAAO,CAAC;AACvF,MAAM,cAAc,sBAAsB,MAAM,OAAO,KAAK,GAAG,EAAE,MAAM,QAAQ,CAAC;AAChF,MAAM,kBAAkB,sBAAsB,MAAM,OAAO,IAAI,GAAG,EAAE,MAAM,OAAO,CAAC;AAClF,MAAM,WAAW,UAAU;CAC1B,OAAO,WAAW,kBAAkB,CAAC,CAAC,KAAK;CAC3C,OAAO,sBAAsB,OAAO,QAAQ,KAAK,GAAG;EACnD,MAAM;EACN;CACD,CAAC;AACF;AACA,MAAM,YAAY,GAAG,YAAY;CAChC,OAAO,WAAW,OAAO,MAAM,kBAAkB,CAAC,CAAC,CAAC,OAAO;CAC3D,OAAO,sBAAsB,OAAO,SAAS,OAAO,GAAG;EACtD,MAAM;EACN,QAAQ;CACT,CAAC;AACF;AACA,MAAM,gBAAgB,cAAc;CACnC,MAAM,aAAa,cAAc;CACjC,OAAO,sBAAsB,YAAY,KAAK,OAAO,MAAM,UAAU,GAAG,OAAO,SAAS,EAAE,iBAAiB,UAAU,CAAC,CAAC,GAAG;EACzH,MAAM;EACN,OAAO;CACR,CAAC;AACF;AACA,MAAM,MAAM,cAAc,aAAa,SAAS;AAChD,MAAM,qBAAqB,UAAU;CACpC,MAAM,aAAa,mBAAmB,KAAK;CAC3C,IAAI,eAAe,KAAK,GAAG,MAAM,IAAI,MAAM,uDAAuD;CAClG,OAAO;AACR;AACA,MAAM,SAAS,UAAU;CACxB,OAAO,sBAAsB,OAAO,MAAM,KAAK,GAAG;EACjD,MAAM;EACN,OAAO,kBAAkB,KAAK;CAC/B,CAAC;AACF;AACA,MAAM,qBAAqB,QAAQ,MAAM,cAAc;CACtD,KAAK,MAAM,OAAO,MAAM,IAAI,CAAC,OAAO,OAAO,QAAQ,GAAG,GAAG,MAAM,IAAI,MAAM,UAAU,UAAU,kBAAkB,OAAO,GAAG,EAAE,GAAG;AAC/H;AACA,MAAM,eAAe,WAAW;CAC/B,MAAM,QAAQ,GAAG,SAAS;EACzB,kBAAkB,QAAQ,MAAM,MAAM;EACtC,OAAO,YAAY,OAAO,KAAK,QAAQ,IAAI,CAAC;CAC7C;CACA,MAAM,QAAQ,GAAG,SAAS;EACzB,kBAAkB,QAAQ,MAAM,MAAM;EACtC,OAAO,YAAY,OAAO,KAAK,QAAQ,IAAI,CAAC;CAC7C;CACA,MAAM,UAAU,aAAa,GAAG,gBAAgB;EAC/C,KAAK,MAAM,OAAO,QAAQ,QAAQ,WAAW,GAAG,IAAI,OAAO,OAAO,QAAQ,GAAG,GAAG,MAAM,IAAI,MAAM,iCAAiC,OAAO,GAAG,EAAE,GAAG;EAChJ,OAAO,YAAY,OAAO,OAAO,QAAQ,WAAW,CAAC;CACtD;CACA,MAAM,YAAY,kBAAkB,GAAG,gBAAgB;EACtD,kBAAkB,QAAQ,QAAQ,QAAQ,gBAAgB,GAAG,UAAU;EACvE,OAAO,YAAY,OAAO,OAAO,QAAQ,gBAAgB,CAAC;CAC3D;CACA,MAAM,gBAAgB;EACrB,MAAM,gBAAgB,OAAO,IAAI,QAAQ,OAAO,QAAQ;EACxD,KAAK,MAAM,QAAQ,QAAQ,QAAQ,MAAM,GAAG;GAC3C,MAAM,QAAQ,OAAO;GACrB,MAAM,eAAe,cAAc;GACnC,IAAI,UAAU,KAAK,KAAK,iBAAiB,KAAK,GAAG;GACjD,sBAAsB,cAAc;IACnC,MAAM;IACN,OAAO,kBAAkB,KAAK;GAC/B,CAAC;EACF;EACA,OAAO,YAAY,aAAa;CACjC;CACA,MAAM,SAAS,sBAAsB,OAAO,OAAO,MAAM,GAAG;EAC3D,MAAM;EACN,QAAQ,iBAAiB,MAAM;CAChC,CAAC;CACD,OAAO,OAAO,OAAO,QAAQ;EAC5B;EACA;EACA;EACA;EACA;CACD,CAAC;AACF;AACA,MAAM,UAAU,WAAW,YAAY,MAAM;AAC7C,MAAM,YAAY,UAAU;CAC3B,OAAO,sBAAsB,OAAO,SAAS,KAAK,GAAG;EACpD,MAAM;EACN,OAAO,kBAAkB,KAAK;CAC/B,CAAC;AACF;AACA,MAAM,YAAY,UAAU;CAC3B,OAAO,sBAAsB,OAAO,OAAO,KAAK,GAAG;EAClD,MAAM;EACN,OAAO,kBAAkB,KAAK;CAC/B,CAAC;AACF;AACA,MAAM,UAAU,UAAU;CACzB,OAAO,sBAAsB,OAAO,OAAO,OAAO,QAAQ,KAAK,GAAG;EACjE,MAAM;EACN,OAAO,kBAAkB,KAAK;CAC/B,CAAC;AACF;AACA,MAAM,SAAS,GAAG,YAAY;CAC7B,OAAO,sBAAsB,OAAO,MAAM,OAAO,GAAG;EACnD,MAAM;EACN,SAAS,QAAQ,IAAI,iBAAiB;CACvC,CAAC;AACF;AACA,MAAM,SAAS,KAAK,WAAW;CAC9B,IAAI,QAAQ,uBAAuB,MAAM,IAAI,MAAM,6DAA6D;CAChH,MAAM,cAAc,EAAE,GAAG,OAAO;CAChC,QAAQ,eAAe,aAAa,MAAM;CAC1C,MAAM,SAAS,OAAO,aAAa,KAAK,WAAW,CAAC,CAAC,KAAK,OAAO,MAAM,UAAU,CAAC;CAClF,MAAM,QAAQ,UAAU,OAAO,KAAK,KAAK;CACzC,MAAM,aAAa,OAAO,OAAO,MAAM,MAAM;CAC7C,OAAO,eAAe,YAAY,OAAO,eAAe,MAAM,CAAC;CAC/D,sBAAsB,YAAY;EACjC,MAAM;EACN;EACA,QAAQ,iBAAiB,WAAW;CACrC,CAAC;CACD,OAAO;AACR;AACA,MAAM,SAAS;CACd;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA,MAAM;CACN;CACA;CACA;CACA;CACA;CACA;CACA;AACD;AACA,MAAM,cAAc,eAAe;CAClC,MAAM,WAAW,cAAc,aAAa,SAAS;CACrD,MAAM,OAAO,cAAc;EAC1B,MAAM,kBAAkB,WAAW;EACnC,IAAI,oBAAoB,KAAK,GAAG,MAAM,IAAI,MAAM,kBAAkB,UAAU,GAAG;EAC/E,MAAM,cAAc,gBAAgB;EACpC,MAAM,eAAe;GACpB,IAAI,QAAQ,SAAS;GACrB,WAAW,KAAK;GAChB,WAAW,KAAK;EACjB;EACA,OAAO,YAAY,OAAO,OAAO,aAAa,YAAY,CAAC;CAC5D;CACA,OAAO;EACN,GAAG;EACH;EACA,IAAI;CACL;AACD;;;ACnLA,MAAM,yBAAyB,OAAO,IAAI,iCAAiC;AAG3E,MAAM,gBAAgB,YAAY;CACjC,MAAM;EACL,yBAAyB,OAAO;EAChC;EACA;CACD,CAAC;AACF;AAIA,MAAM,uBAAuB,QAAQ,SAAS;CAC7C,MAAM,UAAU,eAAe,qBAAqB,MAAM,CAAC,CAAC;EAC3D,MAAM;EACN,GAAG;CACJ,CAAC;CACD,OAAO;AACR;AACA,MAAM,wBAAwB,YAAY;CACzC,UAAU,oBAAoB,QAAQ,UAAU;CAChD,OAAO,oBAAoB,QAAQ,OAAO;AAC3C;AACA,MAAM,cAAc,YAAY;CAC/B,QAAQ,WAAW,OAAO,uBAAuB;CACjD,GAAG,qBAAqB,MAAM;AAC/B"}

package/dist/runtime/server.d.ts

@@ -1,5 +1,5 @@
-import { r as ErrorValue, s as Result$1 } from "./result-C1ZdsM6Y.js";
-import { i as defineSchema$1, n as SchemaAuthoring, t as DefinedSchema } from "./index-BgWROoyk.js";
+import { r as ErrorValue, s as Result$1 } from "./result-BgcHn25t.js";
+import { i as defineSchema$1, n as SchemaAuthoring, t as DefinedSchema } from "./index-Dl_VQGmA.js";
 //#region src/server/index.d.ts
 declare const Result: typeof Result$1;
 type Result<Success, Failure extends ErrorValue> = Result$1<Success, Failure>;

package/dist/runtime/server.js

@@ -1,5 +1,5 @@
-import { n as Result$1 } from "./result-B2W-z2wG.js";
-import { r as defineSchema$1 } from "./schema-CNEVLF7D.js";
+import { s as Result$1 } from "./descriptor-t6BOEGw9-BTHR-ZMv.js";
+import { r as defineSchema$1 } from "./schema-B-jMZEbs.js";
 //#region src/server/index.ts
 const Result = Result$1;
 const defineSchema = defineSchema$1;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ignotum",
-  "version": "0.0.2",
+  "version": "0.0.4",
   "description": "Ignotum is an opinionated TypeScript application cloud.",
   "author": "Johannes Schießl",
   "repository": {
@@ -43,6 +43,11 @@
       "types": "./dist/runtime/internal/api.d.ts",
       "import": "./dist/runtime/internal/api.js"
     },
+    "./internal/host": {
+      "@ignotum/source": "./src/internal/host.ts",
+      "types": "./dist/runtime/internal/host.d.ts",
+      "import": "./dist/runtime/internal/host.js"
+    },
     "./internal/server": {
       "@ignotum/source": "./src/internal/server.ts",
       "types": "./dist/runtime/internal/server.d.ts",
@@ -59,19 +64,24 @@
     "registry": "https://registry.npmjs.org/"
   },
   "dependencies": {
-    "@effect/platform-node": "4.0.0-rc.111",
-    "@effect/sql-sqlite-node": "4.0.0-rc.111",
+    "@effect/platform-browser": "4.0.0-rc.111",
     "@prefresh/vite": "3.0.1",
     "@tailwindcss/vite": "4.3.3",
     "effect": "4.0.0-rc.111",
     "nanoid": "6.0.1",
+    "oxc-parser": "0.121.0",
     "preact": "10.29.8",
     "tailwindcss": "4.3.3",
     "vite": "8.2.2"
   },
   "devDependencies": {
-    "@ignotum/contracts": "0.0.0",
-    "@ignotum/runtime": "0.0.0"
+    "@effect/platform-node": "4.0.0-rc.111",
+    "@effect/sql-sqlite-node": "4.0.0-rc.111",
+    "redis": "6.2.1",
+    "@ignotum/deployment": "1.0.0",
+    "@ignotum/runtime": "1.0.0",
+    "@ignotum/contracts": "1.0.0",
+    "@ignotum/shared": "1.0.0"
   },
   "engines": {
     "node": ">=22.18.0"

package/src/cli/agent-files.ts

@@ -1,31 +1,35 @@
 import agents from "../../../../docs/agent/AGENTS.md?raw";
 import skill from "../../../../docs/agent/skills/ignotum/SKILL.md?raw";
 import client from "../../../../docs/user/client.md?raw";
+import deploy from "../../../../docs/user/deploy.md?raw";
 import devServer from "../../../../docs/user/dev-server.md?raw";
 import gettingStarted from "../../../../docs/user/getting-started.md?raw";
 import index from "../../../../docs/user/index.md?raw";
+import limits from "../../../../docs/user/limits.md?raw";
 import manualSetup from "../../../../docs/user/manual-setup.md?raw";
 import schema from "../../../../docs/user/schema.md?raw";
 import serverFunctions from "../../../../docs/user/server-functions.md?raw";
 import values from "../../../../docs/user/values.md?raw";
 
-export interface ProjectFile {
+export interface AppFile {
   readonly content: string;
   readonly path: string;
 }
 
 const references = [
   ["client.md", client],
+  ["deploy.md", deploy],
   ["dev-server.md", devServer],
   ["getting-started.md", gettingStarted],
   ["index.md", index],
+  ["limits.md", limits],
   ["manual-setup.md", manualSetup],
   ["schema.md", schema],
   ["server-functions.md", serverFunctions],
   ["values.md", values],
 ] as const;
 
-export const agentProjectFiles: ReadonlyArray<ProjectFile> = [
+export const agentAppFiles: ReadonlyArray<AppFile> = [
   { content: agents, path: "AGENTS.md" },
   { content: skill, path: ".agents/skills/ignotum/SKILL.md" },
   ...references.map(([name, content]) => ({

package/src/cli/app-configuration.ts

@@ -0,0 +1,135 @@
+import { AppSlug, type ControlApp } from "@ignotum/contracts/control";
+import { AppId } from "@ignotum/contracts/runtime/identity";
+import { Effect, FileSystem, Path, Schema } from "effect";
+import { Prompt } from "effect/unstable/cli";
+
+import { ControlApiError, ControlClient, HostedControlConfiguration } from "./control-client.js";
+
+export const AppConfiguration = Schema.Struct({
+  formatVersion: Schema.Literal(1),
+  appId: AppId,
+  slug: AppSlug,
+  apiUrl: Schema.URLFromString,
+});
+export type AppConfiguration = typeof AppConfiguration.Type;
+
+export class AppConfigurationInvalid extends Schema.TaggedError<AppConfigurationInvalid>()(
+  "AppConfigurationInvalid",
+  {
+    cause: Schema.optional(Schema.Defect()),
+    message: Schema.String,
+  },
+) {}
+
+const invalid = (message: string, cause?: unknown) =>
+  AppConfigurationInvalid.make(cause === undefined ? { message } : { cause, message });
+
+const appConfigurationPath = (appDirectory: string, path: Path.Path): string =>
+  path.join(appDirectory, ".ignotum", "app.json");
+
+const loadAppConfiguration = Effect.fn("AppConfiguration.load")(function* (appDirectory: string) {
+  const fileSystem = yield* FileSystem.FileSystem;
+  const path = yield* Path.Path;
+  const configPath = appConfigurationPath(appDirectory, path);
+  if (!(yield* fileSystem.exists(configPath))) return undefined;
+  const text = yield* fileSystem
+    .readFileString(configPath)
+    .pipe(Effect.mapError((cause) => invalid(`Could not read ${configPath}.`, cause)));
+  return yield* Schema.decodeEffect(Schema.fromJsonString(AppConfiguration))(text).pipe(
+    Effect.mapError((cause) => invalid(`${configPath} is not a valid app configuration.`, cause)),
+  );
+});
+
+const writeAppConfiguration = Effect.fn("AppConfiguration.write")(function* (
+  appDirectory: string,
+  configuration: AppConfiguration,
+) {
+  const fileSystem = yield* FileSystem.FileSystem;
+  const path = yield* Path.Path;
+  const stateDirectory = path.join(appDirectory, ".ignotum");
+  const configPath = appConfigurationPath(appDirectory, path);
+  const encoded = yield* Schema.encodeEffect(Schema.fromJsonString(AppConfiguration))(
+    configuration,
+  ).pipe(Effect.mapError((cause) => invalid("Could not encode the app configuration.", cause)));
+  yield* fileSystem
+    .makeDirectory(stateDirectory, { recursive: true })
+    .pipe(Effect.mapError((cause) => invalid(`Could not create ${stateDirectory}.`, cause)));
+  yield* Effect.scoped(
+    Effect.gen(function* () {
+      const temporaryPath = yield* fileSystem.makeTempFileScoped({
+        directory: stateDirectory,
+        prefix: ".app-",
+        suffix: ".json",
+      });
+      yield* fileSystem.writeFileString(temporaryPath, `${encoded}\n`);
+      yield* fileSystem.rename(temporaryPath, configPath);
+    }),
+  ).pipe(Effect.mapError((cause) => invalid(`Could not write ${configPath}.`, cause)));
+});
+
+const promptForSlug = Effect.fn("AppConfiguration.promptForSlug")(function* () {
+  const value = yield* Prompt.run(
+    Prompt.text({
+      message: "App slug",
+      validate: (input) =>
+        Schema.decodeEffect(AppSlug)(input).pipe(
+          Effect.map(String),
+          Effect.mapError(
+            () =>
+              "Use lowercase letters, numbers, and hyphens, with no leading or trailing hyphen.",
+          ),
+        ),
+    }),
+  );
+  return yield* Schema.decodeEffect(AppSlug)(value).pipe(
+    Effect.mapError((cause) => invalid("The app slug is invalid.", cause)),
+  );
+});
+
+const sameApp = (configured: AppConfiguration, remote: ControlApp): boolean =>
+  configured.appId === remote.id && configured.slug === remote.slug;
+
+export const configureApp = Effect.fn("AppConfiguration.configure")(function* (
+  appDirectory: string,
+  requestedSlug: AppSlug | undefined,
+) {
+  const control = yield* ControlClient;
+  const hosted = yield* HostedControlConfiguration;
+  const configured = yield* loadAppConfiguration(appDirectory);
+
+  if (configured !== undefined) {
+    if (configured.apiUrl.href !== hosted.apiUrl.href) {
+      return yield* invalid(
+        `.ignotum/app.json belongs to ${configured.apiUrl.href}, not ${hosted.apiUrl.href}.`,
+      );
+    }
+    if (requestedSlug !== undefined && requestedSlug !== configured.slug) {
+      return yield* invalid(
+        `.ignotum/app.json is already linked to '${configured.slug}', not '${requestedSlug}'.`,
+      );
+    }
+    const remote = yield* control.getApp(configured.appId);
+    if (!sameApp(configured, remote)) {
+      return yield* invalid("The stored app identity does not match the Ignotum API.");
+    }
+    return configured;
+  }
+
+  const slug = requestedSlug ?? (yield* promptForSlug());
+  const app = yield* control.getAppBySlug(slug).pipe(
+    Effect.catchTags({
+      ControlApiError: (error: ControlApiError) =>
+        error.code === "AppNotFound" ? control.createApp(slug) : Effect.fail(error),
+    }),
+  );
+  const configuration = {
+    formatVersion: 1,
+    appId: app.id,
+    slug: app.slug,
+    apiUrl: hosted.apiUrl,
+  } satisfies AppConfiguration;
+  yield* writeAppConfiguration(appDirectory, configuration);
+  return configuration;
+});
+
+export const appUrl = (slug: AppSlug): string => `https://${slug}.ignotum.app`;

package/src/cli/bin.ts

@@ -1,5 +1,28 @@
 #!/usr/bin/env node
 
+import process from "node:process";
+
+import { NodeRuntime, NodeServices } from "@effect/platform-node";
+import { Effect } from "effect";
+
 import { main } from "./command.js";
+import { runServerDiscoveryWorker } from "./build/server.js";
+
+const discoveryWorker = process.argv[2] === "__ignotum_discover_server";
 
-main();
+if (discoveryWorker) {
+  const appDirectory = process.argv[3];
+  const moduleNames = process.argv[4];
+  const outputPath = process.argv[5];
+  globalThis.fetch = () => Promise.reject(new Error("Network access is disabled during builds."));
+  (appDirectory === undefined || moduleNames === undefined || outputPath === undefined
+    ? Effect.die("Invalid isolated discovery arguments.")
+    : runServerDiscoveryWorker(appDirectory, moduleNames, outputPath)
+  ).pipe(
+    // @effect-diagnostics-next-line strictEffectProvide:off The isolated worker is a process entry point.
+    Effect.provide(NodeServices.layer),
+    NodeRuntime.runMain,
+  );
+} else {
+  main();
+}

package/src/cli/build/artifact.ts

@@ -0,0 +1,95 @@
+import { Array, Effect, Path, Predicate, Schema } from "effect";
+import { normalizePath } from "vite";
+import type { InlineConfig } from "vite";
+import { build as viteBuild } from "vite";
+
+import { BuildBoundaryViolation } from "../module-boundaries.js";
+
+const GeneratedChunk = Schema.Struct({
+  type: Schema.Literal("chunk"),
+  dynamicImports: Schema.Array(Schema.String),
+  exports: Schema.Array(Schema.String),
+  fileName: Schema.String,
+  imports: Schema.Array(Schema.String),
+  isEntry: Schema.Boolean,
+});
+export type GeneratedChunk = typeof GeneratedChunk.Type;
+
+const GeneratedAsset = Schema.Struct({
+  type: Schema.Literal("asset"),
+  fileName: Schema.String,
+});
+
+const GeneratedBuild = Schema.Struct({
+  output: Schema.Array(Schema.Union([GeneratedChunk, GeneratedAsset])),
+});
+
+const GeneratedBuilds = Schema.Union([GeneratedBuild, Schema.Array(GeneratedBuild)]);
+
+export type GeneratedBuildOutput = (typeof GeneratedBuild.Type)["output"][number];
+
+export class ViteBuildFailed extends Schema.TaggedError<ViteBuildFailed>()("ViteBuildFailed", {
+  cause: Schema.Defect(),
+  message: Schema.String,
+}) {}
+
+export class InvalidBuildOutput extends Schema.TaggedError<InvalidBuildOutput>()(
+  "InvalidBuildOutput",
+  {
+    message: Schema.String,
+  },
+) {}
+
+export const causeMessage = (cause: unknown): string =>
+  Predicate.isError(cause) ? cause.message : String(cause);
+
+export const runViteBuild = Effect.fn("Deploy.runViteBuild")(function* (
+  name: string,
+  config: InlineConfig,
+) {
+  const result = yield* Effect.tryPromise({
+    try: () => viteBuild(config),
+    catch: (cause) =>
+      Schema.is(BuildBoundaryViolation)(cause)
+        ? cause
+        : ViteBuildFailed.make({
+            cause,
+            message: `Vite could not build the ${name}: ${causeMessage(cause)}`,
+          }),
+  });
+  const decoded = yield* Schema.decodeUnknownEffect(GeneratedBuilds)(result).pipe(
+    Effect.mapError(() =>
+      InvalidBuildOutput.make({ message: `Vite returned an invalid result for the ${name}.` }),
+    ),
+  );
+  const builds = Predicate.hasProperty(decoded, "output") ? [decoded] : decoded;
+
+  return Array.flatMap(builds, (build) => build.output);
+});
+
+export const sourceMapPathTransform = Effect.fn("Deploy.sourceMapPathTransform")(function* (
+  appDirectory: string,
+) {
+  const path = yield* Path.Path;
+
+  return (relativeSourcePath: string, sourcemapPath: string): string => {
+    const normalizedSource = normalizePath(relativeSourcePath);
+    const dependencyMarker = "/node_modules/";
+    const dependencyIndex = normalizedSource.lastIndexOf(dependencyMarker);
+    if (dependencyIndex >= 0) {
+      return `ignotum://dependency/${normalizedSource.slice(dependencyIndex + dependencyMarker.length)}`;
+    }
+
+    if (normalizedSource.startsWith("\0") || normalizedSource.startsWith("virtual:")) {
+      return `ignotum://runtime/${normalizedSource.replace(/^\0|^virtual:/, "")}`;
+    }
+
+    const absoluteSource = path.resolve(path.dirname(sourcemapPath), relativeSourcePath);
+    const relativeAppPath = normalizePath(path.relative(appDirectory, absoluteSource));
+    if (relativeAppPath !== ".." && !relativeAppPath.startsWith("../")) {
+      return `ignotum://app/${relativeAppPath}`;
+    }
+
+    return `ignotum://runtime/${path.basename(normalizedSource)}`;
+  };
+});