ignotum 0.0.6 → 0.0.8

package/dist/runtime/{schema-B-jMZEbs.js → schema-DJfwfq87.js}

@@ -1,36 +1,67 @@
-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 { c as fileFormats, d as fileLimits, n as FileFormat, s as constrainedFileValue, y as GeneratedId } from "./file-BXf63ulU.js";
+import { a as PaginationCursor, i as getValueDescriptor, l as ErrorBrand, n as attachValueDescriptor, o as PaginationPageSize, r as descriptorFields } from "./descriptor-C5VA9qRl-C338iC6l.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 schemaIndexLimits = {
+	fieldsPerIndex: 8,
+	indexesPerSchema: 128,
+	indexesPerTable: 16,
+	keyBytes: 4096,
+	nameBytes: 64
+};
+const utf8ByteLength = (value) => {
+	let bytes = 0;
+	for (const character of value) {
+		const point = character.codePointAt(0) ?? 0;
+		bytes += point <= 127 ? 1 : point <= 2047 ? 2 : point <= 65535 ? 3 : 4;
+	}
+	return bytes;
+};
 const table = (fields) => {
 	const tableFields = fields;
-	return {
-		_tag: "Table",
-		descriptor: {
-			type: "object",
-			fields: descriptorFields(tableFields)
-		},
-		fields: tableFields,
-		schema: Schema.Struct(tableFields)
+	const make = (indexes) => {
+		const index = (name, fieldNames) => {
+			if (utf8ByteLength(name) > schemaIndexLimits.nameBytes) throw new Error(`Index names cannot exceed ${schemaIndexLimits.nameBytes} UTF-8 bytes.`);
+			if (name.length === 0) throw new Error("Index names cannot be empty.");
+			if (name.startsWith("$")) throw new Error("Index names beginning with '$' are reserved.");
+			if (Object.hasOwn(indexes, name)) throw new Error(`Duplicate index name '${name}'.`);
+			if (fieldNames.length > schemaIndexLimits.fieldsPerIndex) throw new Error(`Indexes cannot contain more than ${schemaIndexLimits.fieldsPerIndex} fields.`);
+			if (new Set(fieldNames).size !== fieldNames.length) throw new Error(`Index '${name}' contains duplicate fields.`);
+			for (const fieldName of fieldNames) {
+				if (!Object.hasOwn(tableFields, fieldName)) throw new Error(`Index '${name}' references unknown field '${fieldName}'.`);
+				const descriptor = getValueDescriptor(tableFields[fieldName]);
+				if (!(descriptor?.type === "boolean" || descriptor?.type === "date" || descriptor?.type === "id" || descriptor?.type === "integer" || descriptor?.type === "number" || descriptor?.type === "string" || descriptor?.type === "literal" || descriptor?.type === "literals")) throw new Error(`Index '${name}' field '${fieldName}' is not indexable.`);
+				if (descriptor.type === "literals" && !(descriptor.values.every(Schema.is(Schema.Boolean)) || descriptor.values.every(Schema.is(Schema.Finite)) || descriptor.values.every(Schema.is(Schema.String)))) throw new Error(`Index '${name}' field '${fieldName}' mixes value types.`);
+			}
+			const duplicate = Object.values(indexes).find((candidate) => candidate.fields.length === fieldNames.length && candidate.fields.every((fieldName, position) => fieldName === fieldNames[position]));
+			if (duplicate !== void 0) throw new Error(`Index '${name}' duplicates index '${duplicate.name}'.`);
+			if (Object.keys(indexes).length >= schemaIndexLimits.indexesPerTable) throw new Error(`Tables cannot declare more than ${schemaIndexLimits.indexesPerTable} indexes.`);
+			return make({
+				...indexes,
+				[name]: {
+					name,
+					fields: fieldNames
+				}
+			});
+		};
+		return {
+			_tag: "Table",
+			descriptor: {
+				type: "object",
+				fields: descriptorFields(tableFields)
+			},
+			fields: tableFields,
+			index,
+			indexes,
+			schema: Schema.Struct(tableFields)
+		};
 	};
+	return make({});
 };
 const fresh = (value) => value.pipe(Schema.annotate({}));
 const string = () => attachValueDescriptor(fresh(Schema.String), { type: "string" });
@@ -38,6 +69,19 @@ 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 file = (options = {}) => {
+	const formats = options.formats ?? fileFormats;
+	if (formats.length === 0) throw new Error("File format lists cannot be empty.");
+	Schema.decodeUnknownSync(Schema.Array(FileFormat))(formats);
+	if (new Set(formats).size !== formats.length) throw new Error("File format lists cannot contain duplicates.");
+	const maxBytes = options.maxBytes ?? fileLimits.fileBytes;
+	if (!Number.isSafeInteger(maxBytes) || maxBytes <= 0 || maxBytes > fileLimits.fileBytes) throw new Error(`File sizes must be between 1 and ${fileLimits.fileBytes} bytes.`);
+	return attachValueDescriptor(constrainedFileValue(formats, maxBytes), {
+		type: "file",
+		formats: [...formats],
+		maxBytes
+	});
+};
 const never = () => attachValueDescriptor(fresh(Schema.Never), { type: "never" });
 const nullValue = () => attachValueDescriptor(fresh(Schema.Null), { type: "null" });
 const literal = (value) => {
@@ -143,6 +187,17 @@ const union = (...members) => {
 		members: members.map(requireDescriptor)
 	});
 };
+const paginationCursor = () => attachValueDescriptor(fresh(PaginationCursor), { type: "string" });
+const pagination = () => fixedObject({
+	cursor: nullable(paginationCursor()),
+	pageSize: attachValueDescriptor(fresh(PaginationPageSize), { type: "integer" })
+});
+const page = (value) => {
+	return fixedObject({
+		items: array(value),
+		nextCursor: nullable(paginationCursor())
+	});
+};
 const error = (tag, fields) => {
 	if (tag === "InternalServerError") throw new Error("The error tag 'InternalServerError' is reserved by Ignotum.");
 	const errorFields = { ...fields };
@@ -162,6 +217,7 @@ const values = {
 	array,
 	boolean,
 	date,
+	file,
 	error,
 	id,
 	integer,
@@ -190,22 +246,44 @@ const bindValues = (definition) => {
 		};
 		return fixedObject(Struct.assign(tableFields, systemFields));
 	};
+	const boundPagination = () => {
+		return pagination();
+	};
 	return {
 		...values,
 		doc,
-		id: boundId
+		id: boundId,
+		page,
+		pagination: boundPagination
 	};
 };
 //#endregion
+//#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/index.js
 const SchemaDefinitionTypeId = Symbol.for("ignotum/schema/SchemaDefinition");
-const defineSchema = (define) => ({
-	_tag: "Schema",
-	[SchemaDefinitionTypeId]: define({
+const defineSchema = (define) => {
+	const definitions = define({
 		table,
 		values
-	})
-});
+	});
+	if (Object.values(definitions).reduce((count, definition) => count + Object.keys(definition.indexes).length, 0) > schemaIndexLimits.indexesPerSchema) throw new Error(`Schemas cannot declare more than ${schemaIndexLimits.indexesPerSchema} indexes.`);
+	return {
+		_tag: "Schema",
+		[SchemaDefinitionTypeId]: definitions
+	};
+};
 const makeFunctionBuilder = (schema, kind) => {
 	const define = (definition) => attachFunctionSchema(schema)({
 		_tag: kind,
@@ -224,4 +302,4 @@ const bindSchema = (schema) => ({
 //#endregion
 export { getFunctionSchema as i, bindSchema as n, defineSchema as r, SchemaDefinitionTypeId as t };
 
-//# sourceMappingURL=schema-B-jMZEbs.js.map
+//# sourceMappingURL=schema-DJfwfq87.js.map

package/dist/runtime/schema-DJfwfq87.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-DJfwfq87.js","names":[],"sources":["../../../contracts/dist/schema/values.js","../../../contracts/dist/runtime/schema.js","../../../contracts/dist/schema/index.js"],"sourcesContent":["import { GeneratedId } from \"../runtime/id.js\";\nimport { FileFormat, constrainedFileValue, fileFormats, fileLimits } from \"./file.js\";\nimport { a as descriptorFields, o as getValueDescriptor, r as attachValueDescriptor } from \"../descriptor-C5VA9qRl.js\";\nimport { PaginationCursor, PaginationPageSize } from \"../runtime/pagination.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 schemaIndexLimits = {\n\tfieldsPerIndex: 8,\n\tindexesPerSchema: 128,\n\tindexesPerTable: 16,\n\tkeyBytes: 4096,\n\tnameBytes: 64\n};\nconst utf8ByteLength = (value) => {\n\tlet bytes = 0;\n\tfor (const character of value) {\n\t\tconst point = character.codePointAt(0) ?? 0;\n\t\tbytes += point <= 127 ? 1 : point <= 2047 ? 2 : point <= 65535 ? 3 : 4;\n\t}\n\treturn bytes;\n};\nconst table = (fields) => {\n\tconst tableFields = fields;\n\tconst make = (indexes) => {\n\t\tconst index = (name, fieldNames) => {\n\t\t\tif (utf8ByteLength(name) > schemaIndexLimits.nameBytes) throw new Error(`Index names cannot exceed ${schemaIndexLimits.nameBytes} UTF-8 bytes.`);\n\t\t\tif (name.length === 0) throw new Error(\"Index names cannot be empty.\");\n\t\t\tif (name.startsWith(\"$\")) throw new Error(\"Index names beginning with '$' are reserved.\");\n\t\t\tif (Object.hasOwn(indexes, name)) throw new Error(`Duplicate index name '${name}'.`);\n\t\t\tif (fieldNames.length > schemaIndexLimits.fieldsPerIndex) throw new Error(`Indexes cannot contain more than ${schemaIndexLimits.fieldsPerIndex} fields.`);\n\t\t\tif (new Set(fieldNames).size !== fieldNames.length) throw new Error(`Index '${name}' contains duplicate fields.`);\n\t\t\tfor (const fieldName of fieldNames) {\n\t\t\t\tif (!Object.hasOwn(tableFields, fieldName)) throw new Error(`Index '${name}' references unknown field '${fieldName}'.`);\n\t\t\t\tconst descriptor = getValueDescriptor(tableFields[fieldName]);\n\t\t\t\tif (!(descriptor?.type === \"boolean\" || descriptor?.type === \"date\" || descriptor?.type === \"id\" || descriptor?.type === \"integer\" || descriptor?.type === \"number\" || descriptor?.type === \"string\" || descriptor?.type === \"literal\" || descriptor?.type === \"literals\")) throw new Error(`Index '${name}' field '${fieldName}' is not indexable.`);\n\t\t\t\tif (descriptor.type === \"literals\" && !(descriptor.values.every(Schema.is(Schema.Boolean)) || descriptor.values.every(Schema.is(Schema.Finite)) || descriptor.values.every(Schema.is(Schema.String)))) throw new Error(`Index '${name}' field '${fieldName}' mixes value types.`);\n\t\t\t}\n\t\t\tconst duplicate = Object.values(indexes).find((candidate) => candidate.fields.length === fieldNames.length && candidate.fields.every((fieldName, position) => fieldName === fieldNames[position]));\n\t\t\tif (duplicate !== void 0) throw new Error(`Index '${name}' duplicates index '${duplicate.name}'.`);\n\t\t\tif (Object.keys(indexes).length >= schemaIndexLimits.indexesPerTable) throw new Error(`Tables cannot declare more than ${schemaIndexLimits.indexesPerTable} indexes.`);\n\t\t\treturn make({\n\t\t\t\t...indexes,\n\t\t\t\t[name]: {\n\t\t\t\t\tname,\n\t\t\t\t\tfields: fieldNames\n\t\t\t\t}\n\t\t\t});\n\t\t};\n\t\treturn {\n\t\t\t_tag: \"Table\",\n\t\t\tdescriptor: {\n\t\t\t\ttype: \"object\",\n\t\t\t\tfields: descriptorFields(tableFields)\n\t\t\t},\n\t\t\tfields: tableFields,\n\t\t\tindex,\n\t\t\tindexes,\n\t\t\tschema: Schema.Struct(tableFields)\n\t\t};\n\t};\n\treturn make({});\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 file = (options = {}) => {\n\tconst formats = options.formats ?? fileFormats;\n\tif (formats.length === 0) throw new Error(\"File format lists cannot be empty.\");\n\tSchema.decodeUnknownSync(Schema.Array(FileFormat))(formats);\n\tif (new Set(formats).size !== formats.length) throw new Error(\"File format lists cannot contain duplicates.\");\n\tconst maxBytes = options.maxBytes ?? fileLimits.fileBytes;\n\tif (!Number.isSafeInteger(maxBytes) || maxBytes <= 0 || maxBytes > fileLimits.fileBytes) throw new Error(`File sizes must be between 1 and ${fileLimits.fileBytes} bytes.`);\n\treturn attachValueDescriptor(constrainedFileValue(formats, maxBytes), {\n\t\ttype: \"file\",\n\t\tformats: [...formats],\n\t\tmaxBytes\n\t});\n};\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 paginationCursor = () => attachValueDescriptor(fresh(PaginationCursor), { type: \"string\" });\nconst pagination = () => fixedObject({\n\tcursor: nullable(paginationCursor()),\n\tpageSize: attachValueDescriptor(fresh(PaginationPageSize), { type: \"integer\" })\n});\nconst page = (value) => {\n\treturn fixedObject({\n\t\titems: array(value),\n\t\tnextCursor: nullable(paginationCursor())\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\tfile,\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\tconst boundPagination = () => {\n\t\treturn pagination();\n\t};\n\treturn {\n\t\t...values,\n\t\tdoc,\n\t\tid: boundId,\n\t\tpage,\n\t\tpagination: boundPagination\n\t};\n};\n//#endregion\nexport { bindValues, schemaIndexLimits, table, values };\n\n//# sourceMappingURL=values.js.map","//#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 { FileFormat, FileId, FileValue, FileValueTypeId, fileFormats, fileLimits, fileMimeTypes, isFileValue } from \"./file.js\";\nimport { a as descriptorFields, i as descriptorContainsFile, n as ValueDescriptorTypeId, o as getValueDescriptor, t as ValueDescriptor } from \"../descriptor-C5VA9qRl.js\";\nimport { Result } from \"../runtime/result.js\";\nimport { bindValues, schemaIndexLimits, 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\tconst definitions = define({\n\t\ttable,\n\t\tvalues\n\t});\n\tif (Object.values(definitions).reduce((count, definition) => count + Object.keys(definition.indexes).length, 0) > schemaIndexLimits.indexesPerSchema) throw new Error(`Schemas cannot declare more than ${schemaIndexLimits.indexesPerSchema} indexes.`);\n\treturn {\n\t\t_tag: \"Schema\",\n\t\t[SchemaDefinitionTypeId]: definitions\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 { FileFormat, FileId, FileValue, FileValueTypeId, Result, SchemaDefinitionTypeId, ValueDescriptor, ValueDescriptorTypeId, bindSchema, bindValues, defineSchema, descriptorContainsFile, descriptorFields, fileFormats, fileLimits, fileMimeTypes, getValueDescriptor, isDefinedSchema, isFileValue, schemaIndexLimits, table, values };\n\n//# sourceMappingURL=index.js.map"],"mappings":";;;;AAOA,MAAM,qBAAqB,OAAO,MAAM;CACvC,OAAO;CACP,OAAO;CACP,OAAO;AACR,CAAC;AACD,MAAM,oBAAoB;CACzB,gBAAgB;CAChB,kBAAkB;CAClB,iBAAiB;CACjB,UAAU;CACV,WAAW;AACZ;AACA,MAAM,kBAAkB,UAAU;CACjC,IAAI,QAAQ;CACZ,KAAK,MAAM,aAAa,OAAO;EAC9B,MAAM,QAAQ,UAAU,YAAY,CAAC,KAAK;EAC1C,SAAS,SAAS,MAAM,IAAI,SAAS,OAAO,IAAI,SAAS,QAAQ,IAAI;CACtE;CACA,OAAO;AACR;AACA,MAAM,SAAS,WAAW;CACzB,MAAM,cAAc;CACpB,MAAM,QAAQ,YAAY;EACzB,MAAM,SAAS,MAAM,eAAe;GACnC,IAAI,eAAe,IAAI,IAAI,kBAAkB,WAAW,MAAM,IAAI,MAAM,6BAA6B,kBAAkB,UAAU,cAAc;GAC/I,IAAI,KAAK,WAAW,GAAG,MAAM,IAAI,MAAM,8BAA8B;GACrE,IAAI,KAAK,WAAW,GAAG,GAAG,MAAM,IAAI,MAAM,8CAA8C;GACxF,IAAI,OAAO,OAAO,SAAS,IAAI,GAAG,MAAM,IAAI,MAAM,yBAAyB,KAAK,GAAG;GACnF,IAAI,WAAW,SAAS,kBAAkB,gBAAgB,MAAM,IAAI,MAAM,oCAAoC,kBAAkB,eAAe,SAAS;GACxJ,IAAI,IAAI,IAAI,UAAU,CAAC,CAAC,SAAS,WAAW,QAAQ,MAAM,IAAI,MAAM,UAAU,KAAK,6BAA6B;GAChH,KAAK,MAAM,aAAa,YAAY;IACnC,IAAI,CAAC,OAAO,OAAO,aAAa,SAAS,GAAG,MAAM,IAAI,MAAM,UAAU,KAAK,8BAA8B,UAAU,GAAG;IACtH,MAAM,aAAa,mBAAmB,YAAY,UAAU;IAC5D,IAAI,EAAE,YAAY,SAAS,aAAa,YAAY,SAAS,UAAU,YAAY,SAAS,QAAQ,YAAY,SAAS,aAAa,YAAY,SAAS,YAAY,YAAY,SAAS,YAAY,YAAY,SAAS,aAAa,YAAY,SAAS,aAAa,MAAM,IAAI,MAAM,UAAU,KAAK,WAAW,UAAU,oBAAoB;IACpV,IAAI,WAAW,SAAS,cAAc,EAAE,WAAW,OAAO,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,KAAK,WAAW,OAAO,MAAM,OAAO,GAAG,OAAO,MAAM,CAAC,KAAK,WAAW,OAAO,MAAM,OAAO,GAAG,OAAO,MAAM,CAAC,IAAI,MAAM,IAAI,MAAM,UAAU,KAAK,WAAW,UAAU,qBAAqB;GACjR;GACA,MAAM,YAAY,OAAO,OAAO,OAAO,CAAC,CAAC,MAAM,cAAc,UAAU,OAAO,WAAW,WAAW,UAAU,UAAU,OAAO,OAAO,WAAW,aAAa,cAAc,WAAW,SAAS,CAAC;GACjM,IAAI,cAAc,KAAK,GAAG,MAAM,IAAI,MAAM,UAAU,KAAK,sBAAsB,UAAU,KAAK,GAAG;GACjG,IAAI,OAAO,KAAK,OAAO,CAAC,CAAC,UAAU,kBAAkB,iBAAiB,MAAM,IAAI,MAAM,mCAAmC,kBAAkB,gBAAgB,UAAU;GACrK,OAAO,KAAK;IACX,GAAG;KACF,OAAO;KACP;KACA,QAAQ;IACT;GACD,CAAC;EACF;EACA,OAAO;GACN,MAAM;GACN,YAAY;IACX,MAAM;IACN,QAAQ,iBAAiB,WAAW;GACrC;GACA,QAAQ;GACR;GACA;GACA,QAAQ,OAAO,OAAO,WAAW;EAClC;CACD;CACA,OAAO,KAAK,CAAC,CAAC;AACf;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,QAAQ,UAAU,CAAC,MAAM;CAC9B,MAAM,UAAU,QAAQ,WAAW;CACnC,IAAI,QAAQ,WAAW,GAAG,MAAM,IAAI,MAAM,oCAAoC;CAC9E,OAAO,kBAAkB,OAAO,MAAM,UAAU,CAAC,CAAC,CAAC,OAAO;CAC1D,IAAI,IAAI,IAAI,OAAO,CAAC,CAAC,SAAS,QAAQ,QAAQ,MAAM,IAAI,MAAM,8CAA8C;CAC5G,MAAM,WAAW,QAAQ,YAAY,WAAW;CAChD,IAAI,CAAC,OAAO,cAAc,QAAQ,KAAK,YAAY,KAAK,WAAW,WAAW,WAAW,MAAM,IAAI,MAAM,oCAAoC,WAAW,UAAU,QAAQ;CAC1K,OAAO,sBAAsB,qBAAqB,SAAS,QAAQ,GAAG;EACrE,MAAM;EACN,SAAS,CAAC,GAAG,OAAO;EACpB;CACD,CAAC;AACF;AACA,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,yBAAyB,sBAAsB,MAAM,gBAAgB,GAAG,EAAE,MAAM,SAAS,CAAC;AAChG,MAAM,mBAAmB,YAAY;CACpC,QAAQ,SAAS,iBAAiB,CAAC;CACnC,UAAU,sBAAsB,MAAM,kBAAkB,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/E,CAAC;AACD,MAAM,QAAQ,UAAU;CACvB,OAAO,YAAY;EAClB,OAAO,MAAM,KAAK;EAClB,YAAY,SAAS,iBAAiB,CAAC;CACxC,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;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,MAAM,wBAAwB;EAC7B,OAAO,WAAW;CACnB;CACA,OAAO;EACN,GAAG;EACH;EACA,IAAI;EACJ;EACA,YAAY;CACb;AACD;;;ACpQA,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;;;ACJ3C,MAAM,yBAAyB,OAAO,IAAI,iCAAiC;AAG3E,MAAM,gBAAgB,WAAW;CAChC,MAAM,cAAc,OAAO;EAC1B;EACA;CACD,CAAC;CACD,IAAI,OAAO,OAAO,WAAW,CAAC,CAAC,QAAQ,OAAO,eAAe,QAAQ,OAAO,KAAK,WAAW,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,kBAAkB,kBAAkB,MAAM,IAAI,MAAM,oCAAoC,kBAAkB,iBAAiB,UAAU;CACvP,OAAO;EACN,MAAM;GACL,yBAAyB;CAC3B;AACD;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,9 +1,9 @@
-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";
+import { c as Result$1, g as FileValue, h as FileMimeType, i as ErrorValue, m as FileMetadata, p as FileFormat } from "./id-Btwac71X-DGj0DQuu.js";
+import { i as defineSchema$1, n as SchemaAuthoring, t as DefinedSchema } from "./index-CF04_Dps.js";
 //#region src/server/index.d.ts
 declare const Result: typeof Result$1;
 type Result<Success, Failure extends ErrorValue> = Result$1<Success, Failure>;
 declare const defineSchema: typeof defineSchema$1;
 //#endregion
-export { type DefinedSchema, Result, type SchemaAuthoring, defineSchema };
+export { type DefinedSchema, type FileFormat, type FileMetadata, type FileMimeType, type FileValue, Result, type SchemaAuthoring, defineSchema };
 //# sourceMappingURL=server.d.ts.map

package/dist/runtime/server.js

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

package/dist/runtime/server.js.map

@@ -1 +1 @@
-{"version":3,"file":"server.js","names":["contractResult","defineContractSchema"],"sources":["../../src/server/index.ts"],"sourcesContent":["import { Result as contractResult } from \"@ignotum/contracts/runtime/result\";\nimport type { ErrorValue, Result as ContractResult } from \"@ignotum/contracts/runtime/result\";\nimport { defineSchema as defineContractSchema } from \"@ignotum/contracts/schema\";\n\nexport const Result: typeof contractResult = contractResult;\nexport type Result<Success, Failure extends ErrorValue> = ContractResult<Success, Failure>;\nexport const defineSchema: typeof defineContractSchema = defineContractSchema;\nexport type { DefinedSchema, SchemaAuthoring } from \"@ignotum/contracts/schema\";\n"],"mappings":";;;AAIA,MAAa,SAAgCA;AAE7C,MAAa,eAA4CC"}
+{"version":3,"file":"server.js","names":["contractResult","defineContractSchema"],"sources":["../../src/server/index.ts"],"sourcesContent":["import { Result as contractResult } from \"@ignotum/contracts/runtime/result\";\nimport type { ErrorValue, Result as ContractResult } from \"@ignotum/contracts/runtime/result\";\nimport { defineSchema as defineContractSchema } from \"@ignotum/contracts/schema\";\n\nexport const Result: typeof contractResult = contractResult;\nexport type Result<Success, Failure extends ErrorValue> = ContractResult<Success, Failure>;\nexport const defineSchema: typeof defineContractSchema = defineContractSchema;\nexport type {\n  DefinedSchema,\n  FileFormat,\n  FileMetadata,\n  FileMimeType,\n  FileValue,\n  SchemaAuthoring,\n} from \"@ignotum/contracts/schema\";\n"],"mappings":";;;AAIA,MAAa,SAAgCA;AAE7C,MAAa,eAA4CC"}

package/dist/runtime/sync-mIXn9eKv.d.ts

@@ -0,0 +1,8 @@
+import "./id-Btwac71X-DGj0DQuu.js";
+import { Schema } from "effect";
+//#region ../contracts/dist/runtime/sync.d.ts
+declare const FunctionAddress: Schema.TemplateLiteral<readonly ["api.", Schema.String, ".", Schema.String]>;
+type FunctionAddress = typeof FunctionAddress.Type;
+//#endregion
+export { FunctionAddress as t };
+//# sourceMappingURL=sync-mIXn9eKv.d.ts.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ignotum",
-  "version": "0.0.6",
+  "version": "0.0.8",
   "description": "Ignotum is an opinionated TypeScript application cloud.",
   "author": "Johannes Schießl",
   "repository": {
@@ -79,8 +79,8 @@
     "@effect/sql-sqlite-node": "4.0.0-rc.111",
     "redis": "6.2.1",
     "@ignotum/contracts": "1.0.0",
-    "@ignotum/runtime": "1.0.0",
     "@ignotum/deployment": "1.0.0",
+    "@ignotum/runtime": "1.0.0",
     "@ignotum/shared": "1.0.0"
   },
   "engines": {

package/src/cli/agent-files.ts

@@ -1,15 +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 api from "../../../../docs/user/api.md?raw";
+import appEntry from "../../../../docs/user/app-entry.md?raw";
+import cli from "../../../../docs/user/cli.md?raw";
+import database from "../../../../docs/user/database.md?raw";
+import deployApp from "../../../../docs/user/deploy-app.md?raw";
+import deploymentModel from "../../../../docs/user/deployment-model.md?raw";
+import deployments from "../../../../docs/user/deployments.md?raw";
+import errors from "../../../../docs/user/errors.md?raw";
+import files from "../../../../docs/user/files.md?raw";
+import functions from "../../../../docs/user/functions.md?raw";
+import generatedCode from "../../../../docs/user/generated-code.md?raw";
+import guarantees from "../../../../docs/user/guarantees.md?raw";
+import howIgnotumWorks from "../../../../docs/user/how-ignotum-works.md?raw";
 import index from "../../../../docs/user/index.md?raw";
+import indexes from "../../../../docs/user/indexes.md?raw";
 import limits from "../../../../docs/user/limits.md?raw";
-import manualSetup from "../../../../docs/user/manual-setup.md?raw";
+import localDevelopment from "../../../../docs/user/local-development.md?raw";
+import mutations from "../../../../docs/user/mutations.md?raw";
+import pagination from "../../../../docs/user/pagination.md?raw";
+import preact from "../../../../docs/user/preact.md?raw";
+import projectStructure from "../../../../docs/user/project-structure.md?raw";
+import publicAssets from "../../../../docs/user/public-assets.md?raw";
+import queries from "../../../../docs/user/queries.md?raw";
+import quickstart from "../../../../docs/user/quickstart.md?raw";
+import readingData from "../../../../docs/user/reading-data.md?raw";
 import schema from "../../../../docs/user/schema.md?raw";
-import serverFunctions from "../../../../docs/user/server-functions.md?raw";
+import styling from "../../../../docs/user/styling.md?raw";
 import values from "../../../../docs/user/values.md?raw";
+import web from "../../../../docs/user/web.md?raw";
+import writingData from "../../../../docs/user/writing-data.md?raw";
 
 export interface AppFile {
   readonly content: string;
@@ -17,23 +37,46 @@ export interface AppFile {
 }
 
 const references = [
-  ["client.md", client],
-  ["deploy.md", deploy],
-  ["dev-server.md", devServer],
-  ["getting-started.md", gettingStarted],
+  ["api.md", api],
+  ["app-entry.md", appEntry],
+  ["cli.md", cli],
+  ["database.md", database],
+  ["deploy-app.md", deployApp],
+  ["deployment-model.md", deploymentModel],
+  ["deployments.md", deployments],
+  ["errors.md", errors],
+  ["files.md", files],
+  ["functions.md", functions],
+  ["generated-code.md", generatedCode],
+  ["guarantees.md", guarantees],
+  ["how-ignotum-works.md", howIgnotumWorks],
   ["index.md", index],
+  ["indexes.md", indexes],
   ["limits.md", limits],
-  ["manual-setup.md", manualSetup],
+  ["local-development.md", localDevelopment],
+  ["mutations.md", mutations],
+  ["pagination.md", pagination],
+  ["preact.md", preact],
+  ["project-structure.md", projectStructure],
+  ["public-assets.md", publicAssets],
+  ["queries.md", queries],
+  ["quickstart.md", quickstart],
+  ["reading-data.md", readingData],
   ["schema.md", schema],
-  ["server-functions.md", serverFunctions],
+  ["styling.md", styling],
   ["values.md", values],
+  ["web.md", web],
+  ["writing-data.md", writingData],
 ] as const;
 
+const withoutFrontmatter = (content: string) =>
+  content.replace(/^---\r?\n[\s\S]*?\r?\n---\r?\n/, "");
+
 export const agentAppFiles: ReadonlyArray<AppFile> = [
   { content: agents, path: "AGENTS.md" },
   { content: skill, path: ".agents/skills/ignotum/SKILL.md" },
   ...references.map(([name, content]) => ({
-    content,
+    content: withoutFrontmatter(content),
     path: `.agents/skills/ignotum/references/${name}`,
   })),
 ];

package/src/cli/app-configuration.ts

@@ -1,16 +1,19 @@
 import { AppSlug, type ControlApp } from "@ignotum/contracts/control";
 import { AppId } from "@ignotum/contracts/runtime/identity";
+import * as Versioned from "@ignotum/contracts/versioned";
 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({
+const AppConfigurationV1 = Schema.Struct({
   formatVersion: Schema.Literal(1),
   appId: AppId,
   slug: AppSlug,
   apiUrl: Schema.URLFromString,
 });
+const AppConfigurationThroughV1 = Versioned.initial(AppConfigurationV1);
+export const AppConfiguration = AppConfigurationThroughV1;
 export type AppConfiguration = typeof AppConfiguration.Type;
 
 export class AppConfigurationInvalid extends Schema.TaggedError<AppConfigurationInvalid>()(

package/src/cli/build/server.ts

@@ -16,7 +16,15 @@ import {
 } from "@ignotum/contracts/deployment";
 import { FunctionAddress } from "@ignotum/contracts/runtime/sync";
 import type { FunctionKind } from "@ignotum/contracts/runtime/functions";
-import { isDefinedSchema, type DefinedSchema, type Tables } from "@ignotum/contracts/schema";
+import {
+  descriptorContainsFile,
+  descriptorFields,
+  getValueDescriptor,
+  isDefinedSchema,
+  ValueDescriptor,
+  type DefinedSchema,
+  type Tables,
+} from "@ignotum/contracts/schema";
 import {
   artifactReference,
   encodeCanonical,
@@ -41,17 +49,23 @@ const encodeJavaScriptString = Schema.encodeSync(Schema.fromJsonString(Schema.St
 
 const DiscoveredServerFunction = Schema.Struct({
   address: FunctionAddress,
+  args: Schema.optional(ValueDescriptor),
+  errors: Schema.optional(ValueDescriptor),
   exportName: Schema.String,
   kind: Schema.Literals(["Mutation", "Query"]),
   moduleName: Schema.String,
   modulePath: Schema.String,
+  returns: Schema.optional(ValueDescriptor),
 });
 interface DiscoveredServerFunction {
   readonly address: FunctionAddress;
+  readonly args?: ValueDescriptor;
+  readonly errors?: ValueDescriptor;
   readonly exportName: string;
   readonly kind: FunctionKind;
   readonly moduleName: string;
   readonly modulePath: string;
+  readonly returns?: ValueDescriptor;
 }
 
 const ServerDiscoveryManifest = Schema.Struct({
@@ -179,13 +193,68 @@ const discoverModuleFunctions = Effect.fn("Deploy.discoverServerModule")(functio
       continue;
     }
 
-    functions.push({
+    const args =
+      inspected.definition.args === undefined
+        ? undefined
+        : ({ type: "object", fields: descriptorFields(inspected.definition.args) } as const);
+    const returns =
+      inspected.definition.returns === undefined
+        ? undefined
+        : getValueDescriptor(inspected.definition.returns);
+    const errors =
+      inspected.definition.errors === undefined
+        ? undefined
+        : getValueDescriptor(inspected.definition.errors);
+    if (
+      (inspected.definition.returns !== undefined && returns === undefined) ||
+      (inspected.definition.errors !== undefined && errors === undefined)
+    ) {
+      return yield* InvalidServerFunctionExport.make({
+        exportName,
+        message: `${moduleName}.${exportName} uses a validator that was not created by Ignotum values.`,
+        path: modulePath,
+      });
+    }
+    if (
+      inspected.definition._tag === "Query" &&
+      args !== undefined &&
+      descriptorContainsFile(args)
+    ) {
+      return yield* InvalidServerFunctionExport.make({
+        exportName,
+        message: `${moduleName}.${exportName} cannot accept files in query arguments.`,
+        path: modulePath,
+      });
+    }
+    if (
+      inspected.definition._tag === "Mutation" &&
+      returns !== undefined &&
+      descriptorContainsFile(returns)
+    ) {
+      return yield* InvalidServerFunctionExport.make({
+        exportName,
+        message: `${moduleName}.${exportName} cannot return files from a mutation.`,
+        path: modulePath,
+      });
+    }
+    if (errors !== undefined && descriptorContainsFile(errors)) {
+      return yield* InvalidServerFunctionExport.make({
+        exportName,
+        message: `${moduleName}.${exportName} cannot include files in application errors.`,
+        path: modulePath,
+      });
+    }
+
+    const discovered = {
       address: FunctionAddress.make(`api.${moduleName}.${exportName}`),
       exportName,
       kind: inspected.definition._tag,
       moduleName,
       modulePath,
-    });
+    };
+    const withArgs = args === undefined ? discovered : { ...discovered, args };
+    const withErrors = errors === undefined ? withArgs : { ...withArgs, errors };
+    functions.push(returns === undefined ? withErrors : { ...withErrors, returns });
   }
 
   return Array.sortWith(functions, (definition) => definition.address, String.Order);
@@ -319,6 +388,7 @@ const discoverServerFunctions = Effect.fn("Deploy.discoverServerFunctionsIsolate
         appDirectory,
         nodeModulesDirectory(),
         packageRoot,
+        path.join(packageRoot, "node_modules"),
         ...workspaceProbes,
       ].map((allowedPath) => `--allow-fs-read=${allowedPath}`);
       const exitCode = yield* spawner.exitCode(
@@ -476,7 +546,7 @@ const buildServerFunction = Effect.fn("Deploy.buildServerFunction")(function* (
   const bundlePath = normalizePath(path.join("server", relativeFile));
   const sourceMapPath = normalizePath(path.join("server", relativeSourceMap));
 
-  return {
+  const artifact = {
     address: definition.address,
     kind: definition.kind,
     bundle: yield* artifactReference(bundlePath, yield* fileSystem.readFile(absoluteFile)),
@@ -484,7 +554,14 @@ const buildServerFunction = Effect.fn("Deploy.buildServerFunction")(function* (
       sourceMapPath,
       yield* fileSystem.readFile(absoluteSourceMap),
     ),
-  } satisfies ServerFunctionArtifact;
+  };
+  const withArgs =
+    definition.args === undefined ? artifact : { ...artifact, args: definition.args };
+  const withErrors =
+    definition.errors === undefined ? withArgs : { ...withArgs, errors: definition.errors };
+  return definition.returns === undefined
+    ? (withErrors satisfies ServerFunctionArtifact)
+    : ({ ...withErrors, returns: definition.returns } satisfies ServerFunctionArtifact);
 });
 
 export const buildServer = Effect.fn("Deploy.buildServer")(function* (
@@ -507,7 +584,7 @@ export const buildServer = Effect.fn("Deploy.buildServer")(function* (
     { concurrency: 4 },
   );
   const manifest = {
-    formatVersion: 1,
+    formatVersion: 2,
     schema: yield* artifactReference(schemaSnapshotPath, snapshotBytes),
     functions,
   } satisfies ServerBuildManifest;

package/src/cli/new-app.ts

@@ -207,6 +207,17 @@ Open <http://127.0.0.1:3210>.
 The app generator creates \`_generated\`. The dev server checks those files before it starts
 and updates them when the schema or server functions change.
 
+## Deploy
+
+Set \`IGNOTUM_API_TOKEN\`, then choose a unique slug on the first deployment:
+
+\`\`\`sh
+npx ignotum deploy --app my-app
+\`\`\`
+
+The command prints the hosted URL and records the app link in \`.ignotum/app.json\`. Later
+deployments use \`npx ignotum deploy\` without the \`--app\` flag.
+
 ## App files
 
 - \`server/schema.ts\` defines the database tables.
@@ -216,6 +227,7 @@ and updates them when the schema or server functions change.
 - Ignotum loads Tailwind CSS automatically. Custom CSS files are ordinary client modules.
 - \`shared/utils.ts\` contains code shared across the app.
 - \`_generated\` contains Ignotum's generated types and bindings. Do not edit it by hand.
+- \`.agents/skills/ignotum\` contains the app skill and references used by coding agents.
 
 Run the typechecker after a change:
 
@@ -224,6 +236,9 @@ npx ignotum codegen
 npx tsc --noEmit
 \`\`\`
 
+The [Ignotum documentation](https://docs.ignotum.cloud) covers schema values, indexes, queries,
+mutations, client hooks, deployment, guarantees, and hosted limits.
+
 ## Claude Code
 
 If you use Claude Code, rename \`AGENTS.md\` to \`CLAUDE.md\` and \`.agents\` to \`.claude\` so it