ignotum 0.0.13 → 0.0.14

package/dist/runtime/descriptor-DCCz5AHd-_nhlnu8U.js

@@ -0,0 +1,298 @@
+import { p as initial } from "./id-Bt9XWRGL.js";
+import { Effect, Function, Predicate, Schema } from "effect";
+//#region ../contracts/dist/runtime/pagination.js
+const PaginationCursor = Schema.String.check(Schema.isBase64Url()).pipe(Schema.brand("ignotum/runtime/PaginationCursor"));
+const PaginationPageSize = Schema.Int.check(Schema.isBetween({
+	minimum: 1,
+	maximum: 1e3
+})).pipe(Schema.brand("ignotum/runtime/PaginationPageSize"));
+Schema.Struct({
+	cursor: Schema.NullOr(PaginationCursor),
+	pageSize: PaginationPageSize
+});
+const TablePosition = Schema.Struct({
+	type: Schema.Literal("Table"),
+	createdAt: Schema.Int,
+	id: Schema.String
+});
+const IndexPosition = Schema.Struct({
+	type: Schema.Literal("Index"),
+	key: Schema.String.check(Schema.isPattern(/^(?:[0-9a-f]{2})*$/)).pipe(Schema.brand("ignotum/runtime/EncodedIndexKey"))
+});
+const PaginationPosition = Schema.Union([TablePosition, IndexPosition]);
+const CursorPayloadV1 = Schema.Struct({
+	version: Schema.Literal(1),
+	query: Schema.String,
+	position: PaginationPosition
+});
+const CursorPayload = initial(CursorPayloadV1);
+Schema.fromJsonString(CursorPayload);
+//#endregion
+//#region ../contracts/dist/descriptor-DCCz5AHd.js
+const ValueEvolutionTypeId = Symbol.for("ignotum/schema/ValueEvolution");
+const evolutionRules = (value) => value[ValueEvolutionTypeId] ?? {};
+const codec = (value) => Schema.toCodecJson(value);
+const encode = (schema, value) => Schema.decodeUnknownSync(Schema.Json)(Schema.encodeUnknownSync(codec(schema), { onExcessProperty: "error" })(value));
+const decode = (schema, value) => Schema.decodeUnknownSync(codec(schema), { onExcessProperty: "error" })(value);
+const copy = (value) => Object.create(Object.getPrototypeOf(value), Object.getOwnPropertyDescriptors(value));
+const isValueObject = Schema.is(Schema.Record(Schema.String, Schema.Unknown));
+const attachEvolution = (value, rules = {}) => {
+	Object.defineProperty(value, ValueEvolutionTypeId, {
+		configurable: true,
+		value: rules
+	});
+	return Object.assign(value, {
+		default(defaultValue) {
+			if (getValueDescriptor(value)?.type === "optional") throw new Error("Defaults require a non-optional validator. A default already allows omission on creation.");
+			const defaultJson = JSON.stringify(encode(value, defaultValue));
+			const next = copy(value);
+			const constructor = Schema.withConstructorDefault(Effect.sync(() => decode(value, JSON.parse(defaultJson))))(value);
+			Object.defineProperty(next, "ast", {
+				value: constructor.ast,
+				configurable: true
+			});
+			return attachEvolution(next, {
+				...rules,
+				defaultJson
+			});
+		},
+		renameFrom(name) {
+			if (name.length === 0 || [
+				"id",
+				"createdAt",
+				"updatedAt"
+			].includes(name)) throw new Error(`Cannot rename reserved or empty field '${name}'.`);
+			return attachEvolution(copy(value), {
+				...rules,
+				renameFrom: name
+			});
+		},
+		from(previous, convert) {
+			if (getValueDescriptor(previous) === void 0) throw new Error("Historical values must use an Ignotum values validator.");
+			return attachEvolution(copy(value), {
+				...rules,
+				previous: [...rules.previous ?? [], {
+					schema: previous,
+					convert
+				}]
+			});
+		}
+	});
+};
+const withValueChildren = (value, children) => {
+	attachEvolution(value, {
+		...evolutionRules(value),
+		children
+	});
+	return value;
+};
+const validateFieldRenames = (fields) => {
+	const sources = /* @__PURE__ */ new Set();
+	for (const [name, field] of Object.entries(fields)) {
+		const source = evolutionRules(field).renameFrom;
+		if (source === void 0) continue;
+		if (source === name || Object.hasOwn(fields, source) || sources.has(source)) throw new Error(`Rename source '${source}' conflicts with another field.`);
+		sources.add(source);
+	}
+};
+const mapChildren = (schema, value, visit, rename) => {
+	const children = evolutionRules(schema).children;
+	if (children === void 0) return value;
+	switch (children.type) {
+		case "object": {
+			if (!isValueObject(value)) return value;
+			const result = { ...value };
+			for (const [name, field] of Object.entries(children.fields)) {
+				const source = rename ? evolutionRules(field).renameFrom : void 0;
+				if (source !== void 0 && Object.hasOwn(result, source)) {
+					if (Object.hasOwn(result, name)) throw new Error(`Both '${name}' and its rename source '${source}' are present.`);
+					Object.defineProperty(result, name, {
+						value: result[source],
+						enumerable: true,
+						configurable: true,
+						writable: true
+					});
+					delete result[source];
+				}
+				const next = visit(field, Object.hasOwn(result, name) ? result[name] : void 0);
+				if (next !== void 0) Object.defineProperty(result, name, {
+					value: next,
+					enumerable: true,
+					configurable: true,
+					writable: true
+				});
+			}
+			return result;
+		}
+		case "array": return Array.isArray(value) ? value.map((item) => visit(children.value, item)) : value;
+		case "record": return isValueObject(value) ? Object.fromEntries(Object.entries(value).map(([key, item]) => [key, visit(children.value, item)])) : value;
+		case "nullable": return value === null ? value : visit(children.value, value);
+		case "optional": return value === void 0 ? value : visit(children.value, value);
+		case "union":
+			for (const member of children.members) try {
+				const result = visit(member, value);
+				if (rename) decode(member, result);
+				else encode(member, result);
+				return result;
+			} catch {}
+			return value;
+	}
+};
+/** Apply creation defaults to decoded values, without accepting historical representations. */
+const applyValueDefaults = (schema, value) => {
+	const rules = evolutionRules(schema);
+	if (value === void 0 && rules.defaultJson !== void 0) return decode(schema, JSON.parse(rules.defaultJson));
+	return mapChildren(schema, value, applyValueDefaults, false);
+};
+/** Convert a stored JSON value to the current representation, preserving already valid values. */
+const evolveStoredValue = (schema, value) => {
+	try {
+		decode(schema, value);
+		return value;
+	} catch {}
+	const rules = evolutionRules(schema);
+	if (value === void 0 && rules.defaultJson !== void 0) return JSON.parse(rules.defaultJson);
+	let failure;
+	try {
+		const next = mapChildren(schema, value, evolveStoredValue, true);
+		decode(schema, next);
+		return next;
+	} catch (cause) {
+		failure = cause;
+	}
+	const matches = [];
+	for (const previous of rules.previous ?? []) try {
+		matches.push({
+			previous,
+			value: decode(previous.schema, value)
+		});
+	} catch {}
+	if (matches.length > 1) throw new Error("More than one historical validator matches this value.");
+	const match = matches[0];
+	if (match === void 0) throw failure;
+	return encode(schema, applyValueDefaults(schema, match.previous.convert(match.value)));
+};
+const evolveStoredFields = (schema, value) => Schema.decodeUnknownSync(Schema.JsonObject)(evolveStoredValue(schema, value));
+const LiteralValue = Schema.Union([
+	Schema.String,
+	Schema.Finite,
+	Schema.Boolean
+]);
+const DescriptorField = Schema.Struct({
+	name: Schema.String,
+	value: Schema.suspend(() => ValueDescriptor)
+});
+const ValueDescriptor = Schema.Union([
+	Schema.Struct({
+		type: Schema.Literal("array"),
+		value: Schema.suspend(() => ValueDescriptor)
+	}),
+	Schema.Struct({ type: Schema.Literal("boolean") }),
+	Schema.Struct({ type: Schema.Literal("date") }),
+	Schema.Struct({
+		type: Schema.Literal("file"),
+		formats: Schema.Array(Schema.Literals([
+			"jpeg",
+			"png",
+			"webp",
+			"avif",
+			"gif"
+		])),
+		maxBytes: Schema.Int
+	}),
+	Schema.Struct({
+		type: Schema.Literal("error"),
+		tag: Schema.String,
+		fields: Schema.Array(DescriptorField)
+	}),
+	Schema.Struct({
+		type: Schema.Literal("id"),
+		table: Schema.String
+	}),
+	Schema.Struct({ type: Schema.Literal("userId") }),
+	Schema.Struct({ type: Schema.Literal("integer") }),
+	Schema.Struct({
+		type: Schema.Literal("literal"),
+		value: LiteralValue
+	}),
+	Schema.Struct({
+		type: Schema.Literal("literals"),
+		values: Schema.Array(LiteralValue)
+	}),
+	Schema.Struct({ type: Schema.Literal("never") }),
+	Schema.Struct({ type: Schema.Literal("null") }),
+	Schema.Struct({
+		type: Schema.Literal("nullable"),
+		value: Schema.suspend(() => ValueDescriptor)
+	}),
+	Schema.Struct({ type: Schema.Literal("number") }),
+	Schema.Struct({
+		type: Schema.Literal("object"),
+		fields: Schema.Array(DescriptorField)
+	}),
+	Schema.Struct({
+		type: Schema.Literal("optional"),
+		value: Schema.suspend(() => ValueDescriptor)
+	}),
+	Schema.Struct({
+		type: Schema.Literal("record"),
+		value: Schema.suspend(() => ValueDescriptor)
+	}),
+	Schema.Struct({
+		type: Schema.Literal("secret"),
+		value: Schema.suspend(() => ValueDescriptor)
+	}),
+	Schema.Struct({ type: Schema.Literal("string") }),
+	Schema.Struct({
+		type: Schema.Literal("union"),
+		members: Schema.Array(Schema.suspend(() => ValueDescriptor))
+	})
+]);
+const ValueDescriptorTypeId = Symbol.for("ignotum/schema/ValueDescriptor");
+const attachValueDescriptor = Function.dual(2, (value, descriptor) => {
+	Object.defineProperty(value, ValueDescriptorTypeId, {
+		configurable: false,
+		enumerable: false,
+		value: descriptor,
+		writable: false
+	});
+	return attachEvolution(value);
+});
+const getValueDescriptor = (value) => {
+	if (!Predicate.hasProperty(value, ValueDescriptorTypeId)) return void 0;
+	return Schema.is(ValueDescriptor)(value[ValueDescriptorTypeId]) ? value[ValueDescriptorTypeId] : void 0;
+};
+const descriptorAllowedInEnvironment = (descriptor) => {
+	switch (descriptor.type) {
+		case "error":
+		case "file":
+		case "userId":
+		case "id": return false;
+		case "array":
+		case "nullable":
+		case "optional":
+		case "record":
+		case "secret": return descriptorAllowedInEnvironment(descriptor.value);
+		case "object": return descriptor.fields.every((field) => descriptorAllowedInEnvironment(field.value));
+		case "union": return descriptor.members.every(descriptorAllowedInEnvironment);
+		default: return true;
+	}
+};
+const descriptorFields = (fields) => {
+	const entries = [];
+	for (const name of Reflect.ownKeys(fields)) {
+		if (!Predicate.isString(name)) throw new Error("Ignotum value objects only support string field names.");
+		const field = fields[name];
+		const value = field === void 0 ? void 0 : getValueDescriptor(field);
+		if (value === void 0) throw new Error(`The field '${name}' must use an Ignotum values validator.`);
+		entries.push({
+			name,
+			value
+		});
+	}
+	return entries.sort((left, right) => left.name.localeCompare(right.name));
+};
+//#endregion
+export { descriptorFields as a, validateFieldRenames as c, PaginationPageSize as d, descriptorAllowedInEnvironment as i, withValueChildren as l, applyValueDefaults as n, evolveStoredFields as o, attachValueDescriptor as r, getValueDescriptor as s, ValueDescriptor as t, PaginationCursor as u };
+
+//# sourceMappingURL=descriptor-DCCz5AHd-_nhlnu8U.js.map

package/dist/runtime/descriptor-DCCz5AHd-_nhlnu8U.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"descriptor-DCCz5AHd-_nhlnu8U.js","names":[],"sources":["../../../contracts/dist/runtime/pagination.js","../../../contracts/dist/descriptor-DCCz5AHd.js"],"sourcesContent":["import { initial } from \"../versioned.js\";\nimport { encodeCanonicalJson } from \"../json.js\";\nimport { Encoding, Result, Schema } from \"effect\";\n//#region src/runtime/pagination.ts\nconst PaginationCursor = Schema.String.check(Schema.isBase64Url()).pipe(Schema.brand(\"ignotum/runtime/PaginationCursor\"));\nconst PaginationPageSize = Schema.Int.check(Schema.isBetween({\n\tminimum: 1,\n\tmaximum: 1e3\n})).pipe(Schema.brand(\"ignotum/runtime/PaginationPageSize\"));\nconst PaginationOptions = Schema.Struct({\n\tcursor: Schema.NullOr(PaginationCursor),\n\tpageSize: PaginationPageSize\n});\nconst TablePosition = Schema.Struct({\n\ttype: Schema.Literal(\"Table\"),\n\tcreatedAt: Schema.Int,\n\tid: Schema.String\n});\nconst IndexPosition = Schema.Struct({\n\ttype: Schema.Literal(\"Index\"),\n\tkey: Schema.String.check(Schema.isPattern(/^(?:[0-9a-f]{2})*$/)).pipe(Schema.brand(\"ignotum/runtime/EncodedIndexKey\"))\n});\nconst PaginationPosition = Schema.Union([TablePosition, IndexPosition]);\nconst CursorPayloadV1 = Schema.Struct({\n\tversion: Schema.Literal(1),\n\tquery: Schema.String,\n\tposition: PaginationPosition\n});\nconst CursorPayload = initial(CursorPayloadV1);\nconst CursorPayloadJson = Schema.fromJsonString(CursorPayload);\nconst paginationQueryIdentity = (tableId, index, lower, upper, order) => encodeCanonicalJson([\n\ttableId,\n\tindex,\n\tlower ?? null,\n\tupper ?? null,\n\torder\n]);\nconst encodePaginationCursor = (query, position) => PaginationCursor.make(Encoding.encodeBase64Url(Schema.encodeSync(CursorPayloadJson)({\n\tversion: 1,\n\tquery,\n\tposition\n})));\nconst decodePaginationCursor = (cursor) => Schema.decodeSync(CursorPayloadJson)(Result.getOrThrow(Encoding.decodeBase64UrlString(cursor)));\n//#endregion\nexport { PaginationCursor, PaginationOptions, PaginationPageSize, PaginationPosition, decodePaginationCursor, encodePaginationCursor, paginationQueryIdentity };\n\n//# sourceMappingURL=pagination.js.map","import { Effect, Function, Predicate, Schema } from \"effect\";\n//#region src/schema/evolution.ts\nconst ValueEvolutionTypeId = Symbol.for(\"ignotum/schema/ValueEvolution\");\nconst evolutionRules = (value) => value[ValueEvolutionTypeId] ?? {};\nconst codec = (value) => Schema.toCodecJson(value);\nconst encode = (schema, value) => Schema.decodeUnknownSync(Schema.Json)(Schema.encodeUnknownSync(codec(schema), { onExcessProperty: \"error\" })(value));\nconst decode = (schema, value) => Schema.decodeUnknownSync(codec(schema), { onExcessProperty: \"error\" })(value);\nconst copy = (value) => Object.create(Object.getPrototypeOf(value), Object.getOwnPropertyDescriptors(value));\nconst isValueObject = Schema.is(Schema.Record(Schema.String, Schema.Unknown));\nconst attachEvolution = (value, rules = {}) => {\n\tObject.defineProperty(value, ValueEvolutionTypeId, {\n\t\tconfigurable: true,\n\t\tvalue: rules\n\t});\n\treturn Object.assign(value, {\n\t\tdefault(defaultValue) {\n\t\t\tif (getValueDescriptor(value)?.type === \"optional\") throw new Error(\"Defaults require a non-optional validator. A default already allows omission on creation.\");\n\t\t\tconst defaultJson = JSON.stringify(encode(value, defaultValue));\n\t\t\tconst next = copy(value);\n\t\t\tconst constructor = Schema.withConstructorDefault(Effect.sync(() => decode(value, JSON.parse(defaultJson))))(value);\n\t\t\tObject.defineProperty(next, \"ast\", {\n\t\t\t\tvalue: constructor.ast,\n\t\t\t\tconfigurable: true\n\t\t\t});\n\t\t\treturn attachEvolution(next, {\n\t\t\t\t...rules,\n\t\t\t\tdefaultJson\n\t\t\t});\n\t\t},\n\t\trenameFrom(name) {\n\t\t\tif (name.length === 0 || [\n\t\t\t\t\"id\",\n\t\t\t\t\"createdAt\",\n\t\t\t\t\"updatedAt\"\n\t\t\t].includes(name)) throw new Error(`Cannot rename reserved or empty field '${name}'.`);\n\t\t\treturn attachEvolution(copy(value), {\n\t\t\t\t...rules,\n\t\t\t\trenameFrom: name\n\t\t\t});\n\t\t},\n\t\tfrom(previous, convert) {\n\t\t\tif (getValueDescriptor(previous) === void 0) throw new Error(\"Historical values must use an Ignotum values validator.\");\n\t\t\treturn attachEvolution(copy(value), {\n\t\t\t\t...rules,\n\t\t\t\tprevious: [...rules.previous ?? [], {\n\t\t\t\t\tschema: previous,\n\t\t\t\t\tconvert\n\t\t\t\t}]\n\t\t\t});\n\t\t}\n\t});\n};\nconst withValueChildren = (value, children) => {\n\tattachEvolution(value, {\n\t\t...evolutionRules(value),\n\t\tchildren\n\t});\n\treturn value;\n};\nconst validateFieldRenames = (fields) => {\n\tconst sources = /* @__PURE__ */ new Set();\n\tfor (const [name, field] of Object.entries(fields)) {\n\t\tconst source = evolutionRules(field).renameFrom;\n\t\tif (source === void 0) continue;\n\t\tif (source === name || Object.hasOwn(fields, source) || sources.has(source)) throw new Error(`Rename source '${source}' conflicts with another field.`);\n\t\tsources.add(source);\n\t}\n};\nconst mapChildren = (schema, value, visit, rename) => {\n\tconst children = evolutionRules(schema).children;\n\tif (children === void 0) return value;\n\tswitch (children.type) {\n\t\tcase \"object\": {\n\t\t\tif (!isValueObject(value)) return value;\n\t\t\tconst result = { ...value };\n\t\t\tfor (const [name, field] of Object.entries(children.fields)) {\n\t\t\t\tconst source = rename ? evolutionRules(field).renameFrom : void 0;\n\t\t\t\tif (source !== void 0 && Object.hasOwn(result, source)) {\n\t\t\t\t\tif (Object.hasOwn(result, name)) throw new Error(`Both '${name}' and its rename source '${source}' are present.`);\n\t\t\t\t\tObject.defineProperty(result, name, {\n\t\t\t\t\t\tvalue: result[source],\n\t\t\t\t\t\tenumerable: true,\n\t\t\t\t\t\tconfigurable: true,\n\t\t\t\t\t\twritable: true\n\t\t\t\t\t});\n\t\t\t\t\tdelete result[source];\n\t\t\t\t}\n\t\t\t\tconst next = visit(field, Object.hasOwn(result, name) ? result[name] : void 0);\n\t\t\t\tif (next !== void 0) Object.defineProperty(result, name, {\n\t\t\t\t\tvalue: next,\n\t\t\t\t\tenumerable: true,\n\t\t\t\t\tconfigurable: true,\n\t\t\t\t\twritable: true\n\t\t\t\t});\n\t\t\t}\n\t\t\treturn result;\n\t\t}\n\t\tcase \"array\": return Array.isArray(value) ? value.map((item) => visit(children.value, item)) : value;\n\t\tcase \"record\": return isValueObject(value) ? Object.fromEntries(Object.entries(value).map(([key, item]) => [key, visit(children.value, item)])) : value;\n\t\tcase \"nullable\": return value === null ? value : visit(children.value, value);\n\t\tcase \"optional\": return value === void 0 ? value : visit(children.value, value);\n\t\tcase \"union\":\n\t\t\tfor (const member of children.members) try {\n\t\t\t\tconst result = visit(member, value);\n\t\t\t\tif (rename) decode(member, result);\n\t\t\t\telse encode(member, result);\n\t\t\t\treturn result;\n\t\t\t} catch {}\n\t\t\treturn value;\n\t}\n};\n/** Apply creation defaults to decoded values, without accepting historical representations. */\nconst applyValueDefaults = (schema, value) => {\n\tconst rules = evolutionRules(schema);\n\tif (value === void 0 && rules.defaultJson !== void 0) return decode(schema, JSON.parse(rules.defaultJson));\n\treturn mapChildren(schema, value, applyValueDefaults, false);\n};\n/** Convert a stored JSON value to the current representation, preserving already valid values. */\nconst evolveStoredValue = (schema, value) => {\n\ttry {\n\t\tdecode(schema, value);\n\t\treturn value;\n\t} catch {}\n\tconst rules = evolutionRules(schema);\n\tif (value === void 0 && rules.defaultJson !== void 0) return JSON.parse(rules.defaultJson);\n\tlet failure;\n\ttry {\n\t\tconst next = mapChildren(schema, value, evolveStoredValue, true);\n\t\tdecode(schema, next);\n\t\treturn next;\n\t} catch (cause) {\n\t\tfailure = cause;\n\t}\n\tconst matches = [];\n\tfor (const previous of rules.previous ?? []) try {\n\t\tmatches.push({\n\t\t\tprevious,\n\t\t\tvalue: decode(previous.schema, value)\n\t\t});\n\t} catch {}\n\tif (matches.length > 1) throw new Error(\"More than one historical validator matches this value.\");\n\tconst match = matches[0];\n\tif (match === void 0) throw failure;\n\treturn encode(schema, applyValueDefaults(schema, match.previous.convert(match.value)));\n};\nconst evolveStoredFields = (schema, value) => Schema.decodeUnknownSync(Schema.JsonObject)(evolveStoredValue(schema, value));\n//#endregion\n//#region src/schema/descriptor.ts\nconst LiteralValue = Schema.Union([\n\tSchema.String,\n\tSchema.Finite,\n\tSchema.Boolean\n]);\nconst DescriptorField = Schema.Struct({\n\tname: Schema.String,\n\tvalue: Schema.suspend(() => ValueDescriptor)\n});\nconst ValueDescriptor = Schema.Union([\n\tSchema.Struct({\n\t\ttype: Schema.Literal(\"array\"),\n\t\tvalue: Schema.suspend(() => ValueDescriptor)\n\t}),\n\tSchema.Struct({ type: Schema.Literal(\"boolean\") }),\n\tSchema.Struct({ type: Schema.Literal(\"date\") }),\n\tSchema.Struct({\n\t\ttype: Schema.Literal(\"file\"),\n\t\tformats: Schema.Array(Schema.Literals([\n\t\t\t\"jpeg\",\n\t\t\t\"png\",\n\t\t\t\"webp\",\n\t\t\t\"avif\",\n\t\t\t\"gif\"\n\t\t])),\n\t\tmaxBytes: Schema.Int\n\t}),\n\tSchema.Struct({\n\t\ttype: Schema.Literal(\"error\"),\n\t\ttag: Schema.String,\n\t\tfields: Schema.Array(DescriptorField)\n\t}),\n\tSchema.Struct({\n\t\ttype: Schema.Literal(\"id\"),\n\t\ttable: Schema.String\n\t}),\n\tSchema.Struct({ type: Schema.Literal(\"userId\") }),\n\tSchema.Struct({ type: Schema.Literal(\"integer\") }),\n\tSchema.Struct({\n\t\ttype: Schema.Literal(\"literal\"),\n\t\tvalue: LiteralValue\n\t}),\n\tSchema.Struct({\n\t\ttype: Schema.Literal(\"literals\"),\n\t\tvalues: Schema.Array(LiteralValue)\n\t}),\n\tSchema.Struct({ type: Schema.Literal(\"never\") }),\n\tSchema.Struct({ type: Schema.Literal(\"null\") }),\n\tSchema.Struct({\n\t\ttype: Schema.Literal(\"nullable\"),\n\t\tvalue: Schema.suspend(() => ValueDescriptor)\n\t}),\n\tSchema.Struct({ type: Schema.Literal(\"number\") }),\n\tSchema.Struct({\n\t\ttype: Schema.Literal(\"object\"),\n\t\tfields: Schema.Array(DescriptorField)\n\t}),\n\tSchema.Struct({\n\t\ttype: Schema.Literal(\"optional\"),\n\t\tvalue: Schema.suspend(() => ValueDescriptor)\n\t}),\n\tSchema.Struct({\n\t\ttype: Schema.Literal(\"record\"),\n\t\tvalue: Schema.suspend(() => ValueDescriptor)\n\t}),\n\tSchema.Struct({\n\t\ttype: Schema.Literal(\"secret\"),\n\t\tvalue: Schema.suspend(() => ValueDescriptor)\n\t}),\n\tSchema.Struct({ type: Schema.Literal(\"string\") }),\n\tSchema.Struct({\n\t\ttype: Schema.Literal(\"union\"),\n\t\tmembers: Schema.Array(Schema.suspend(() => ValueDescriptor))\n\t})\n]);\nconst ValueDescriptorTypeId = Symbol.for(\"ignotum/schema/ValueDescriptor\");\nconst attachValueDescriptor = Function.dual(2, (value, descriptor) => {\n\tObject.defineProperty(value, ValueDescriptorTypeId, {\n\t\tconfigurable: false,\n\t\tenumerable: false,\n\t\tvalue: descriptor,\n\t\twritable: false\n\t});\n\treturn attachEvolution(value);\n});\nconst getValueDescriptor = (value) => {\n\tif (!Predicate.hasProperty(value, ValueDescriptorTypeId)) return void 0;\n\treturn Schema.is(ValueDescriptor)(value[ValueDescriptorTypeId]) ? value[ValueDescriptorTypeId] : void 0;\n};\nconst descriptorContainsFile = (descriptor) => {\n\tswitch (descriptor.type) {\n\t\tcase \"file\": return true;\n\t\tcase \"array\":\n\t\tcase \"nullable\":\n\t\tcase \"optional\":\n\t\tcase \"record\":\n\t\tcase \"secret\": return descriptorContainsFile(descriptor.value);\n\t\tcase \"error\":\n\t\tcase \"object\": return descriptor.fields.some((field) => descriptorContainsFile(field.value));\n\t\tcase \"union\": return descriptor.members.some(descriptorContainsFile);\n\t\tdefault: return false;\n\t}\n};\nconst descriptorContainsSecret = (descriptor) => {\n\tswitch (descriptor.type) {\n\t\tcase \"secret\": return true;\n\t\tcase \"array\":\n\t\tcase \"nullable\":\n\t\tcase \"optional\":\n\t\tcase \"record\": return descriptorContainsSecret(descriptor.value);\n\t\tcase \"error\":\n\t\tcase \"object\": return descriptor.fields.some((field) => descriptorContainsSecret(field.value));\n\t\tcase \"union\": return descriptor.members.some(descriptorContainsSecret);\n\t\tdefault: return false;\n\t}\n};\nconst descriptorAllowedInEnvironment = (descriptor) => {\n\tswitch (descriptor.type) {\n\t\tcase \"error\":\n\t\tcase \"file\":\n\t\tcase \"userId\":\n\t\tcase \"id\": return false;\n\t\tcase \"array\":\n\t\tcase \"nullable\":\n\t\tcase \"optional\":\n\t\tcase \"record\":\n\t\tcase \"secret\": return descriptorAllowedInEnvironment(descriptor.value);\n\t\tcase \"object\": return descriptor.fields.every((field) => descriptorAllowedInEnvironment(field.value));\n\t\tcase \"union\": return descriptor.members.every(descriptorAllowedInEnvironment);\n\t\tdefault: return true;\n\t}\n};\nconst descriptorFields = (fields) => {\n\tconst entries = [];\n\tfor (const name of Reflect.ownKeys(fields)) {\n\t\tif (!Predicate.isString(name)) throw new Error(\"Ignotum value objects only support string field names.\");\n\t\tconst field = fields[name];\n\t\tconst value = field === void 0 ? void 0 : getValueDescriptor(field);\n\t\tif (value === void 0) throw new Error(`The field '${name}' must use an Ignotum values validator.`);\n\t\tentries.push({\n\t\t\tname,\n\t\t\tvalue\n\t\t});\n\t}\n\treturn entries.sort((left, right) => left.name.localeCompare(right.name));\n};\n//#endregion\nexport { descriptorContainsFile as a, getValueDescriptor as c, evolveStoredValue as d, validateFieldRenames as f, descriptorAllowedInEnvironment as i, applyValueDefaults as l, ValueDescriptorTypeId as n, descriptorContainsSecret as o, withValueChildren as p, attachValueDescriptor as r, descriptorFields as s, ValueDescriptor as t, evolveStoredFields as u };\n\n//# sourceMappingURL=descriptor-DCCz5AHd.js.map"],"mappings":";;;AAIA,MAAM,mBAAmB,OAAO,OAAO,MAAM,OAAO,YAAY,CAAC,CAAC,CAAC,KAAK,OAAO,MAAM,kCAAkC,CAAC;AACxH,MAAM,qBAAqB,OAAO,IAAI,MAAM,OAAO,UAAU;CAC5D,SAAS;CACT,SAAS;AACV,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,MAAM,oCAAoC,CAAC;AACjC,OAAO,OAAO;CACvC,QAAQ,OAAO,OAAO,gBAAgB;CACtC,UAAU;AACX,CAAC;AACD,MAAM,gBAAgB,OAAO,OAAO;CACnC,MAAM,OAAO,QAAQ,OAAO;CAC5B,WAAW,OAAO;CAClB,IAAI,OAAO;AACZ,CAAC;AACD,MAAM,gBAAgB,OAAO,OAAO;CACnC,MAAM,OAAO,QAAQ,OAAO;CAC5B,KAAK,OAAO,OAAO,MAAM,OAAO,UAAU,oBAAoB,CAAC,CAAC,CAAC,KAAK,OAAO,MAAM,iCAAiC,CAAC;AACtH,CAAC;AACD,MAAM,qBAAqB,OAAO,MAAM,CAAC,eAAe,aAAa,CAAC;AACtE,MAAM,kBAAkB,OAAO,OAAO;CACrC,SAAS,OAAO,QAAQ,CAAC;CACzB,OAAO,OAAO;CACd,UAAU;AACX,CAAC;AACD,MAAM,gBAAgB,QAAQ,eAAe;AACnB,OAAO,eAAe,aAAa;;;AC3B7D,MAAM,uBAAuB,OAAO,IAAI,+BAA+B;AACvE,MAAM,kBAAkB,UAAU,MAAM,yBAAyB,CAAC;AAClE,MAAM,SAAS,UAAU,OAAO,YAAY,KAAK;AACjD,MAAM,UAAU,QAAQ,UAAU,OAAO,kBAAkB,OAAO,IAAI,CAAC,CAAC,OAAO,kBAAkB,MAAM,MAAM,GAAG,EAAE,kBAAkB,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;AACrJ,MAAM,UAAU,QAAQ,UAAU,OAAO,kBAAkB,MAAM,MAAM,GAAG,EAAE,kBAAkB,QAAQ,CAAC,CAAC,CAAC,KAAK;AAC9G,MAAM,QAAQ,UAAU,OAAO,OAAO,OAAO,eAAe,KAAK,GAAG,OAAO,0BAA0B,KAAK,CAAC;AAC3G,MAAM,gBAAgB,OAAO,GAAG,OAAO,OAAO,OAAO,QAAQ,OAAO,OAAO,CAAC;AAC5E,MAAM,mBAAmB,OAAO,QAAQ,CAAC,MAAM;CAC9C,OAAO,eAAe,OAAO,sBAAsB;EAClD,cAAc;EACd,OAAO;CACR,CAAC;CACD,OAAO,OAAO,OAAO,OAAO;EAC3B,QAAQ,cAAc;GACrB,IAAI,mBAAmB,KAAK,CAAC,EAAE,SAAS,YAAY,MAAM,IAAI,MAAM,2FAA2F;GAC/J,MAAM,cAAc,KAAK,UAAU,OAAO,OAAO,YAAY,CAAC;GAC9D,MAAM,OAAO,KAAK,KAAK;GACvB,MAAM,cAAc,OAAO,uBAAuB,OAAO,WAAW,OAAO,OAAO,KAAK,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;GAClH,OAAO,eAAe,MAAM,OAAO;IAClC,OAAO,YAAY;IACnB,cAAc;GACf,CAAC;GACD,OAAO,gBAAgB,MAAM;IAC5B,GAAG;IACH;GACD,CAAC;EACF;EACA,WAAW,MAAM;GAChB,IAAI,KAAK,WAAW,KAAK;IACxB;IACA;IACA;GACD,CAAC,CAAC,SAAS,IAAI,GAAG,MAAM,IAAI,MAAM,0CAA0C,KAAK,GAAG;GACpF,OAAO,gBAAgB,KAAK,KAAK,GAAG;IACnC,GAAG;IACH,YAAY;GACb,CAAC;EACF;EACA,KAAK,UAAU,SAAS;GACvB,IAAI,mBAAmB,QAAQ,MAAM,KAAK,GAAG,MAAM,IAAI,MAAM,yDAAyD;GACtH,OAAO,gBAAgB,KAAK,KAAK,GAAG;IACnC,GAAG;IACH,UAAU,CAAC,GAAG,MAAM,YAAY,CAAC,GAAG;KACnC,QAAQ;KACR;IACD,CAAC;GACF,CAAC;EACF;CACD,CAAC;AACF;AACA,MAAM,qBAAqB,OAAO,aAAa;CAC9C,gBAAgB,OAAO;EACtB,GAAG,eAAe,KAAK;EACvB;CACD,CAAC;CACD,OAAO;AACR;AACA,MAAM,wBAAwB,WAAW;CACxC,MAAM,0BAA0B,IAAI,IAAI;CACxC,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,MAAM,GAAG;EACnD,MAAM,SAAS,eAAe,KAAK,CAAC,CAAC;EACrC,IAAI,WAAW,KAAK,GAAG;EACvB,IAAI,WAAW,QAAQ,OAAO,OAAO,QAAQ,MAAM,KAAK,QAAQ,IAAI,MAAM,GAAG,MAAM,IAAI,MAAM,kBAAkB,OAAO,gCAAgC;EACtJ,QAAQ,IAAI,MAAM;CACnB;AACD;AACA,MAAM,eAAe,QAAQ,OAAO,OAAO,WAAW;CACrD,MAAM,WAAW,eAAe,MAAM,CAAC,CAAC;CACxC,IAAI,aAAa,KAAK,GAAG,OAAO;CAChC,QAAQ,SAAS,MAAjB;EACC,KAAK,UAAU;GACd,IAAI,CAAC,cAAc,KAAK,GAAG,OAAO;GAClC,MAAM,SAAS,EAAE,GAAG,MAAM;GAC1B,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,SAAS,MAAM,GAAG;IAC5D,MAAM,SAAS,SAAS,eAAe,KAAK,CAAC,CAAC,aAAa,KAAK;IAChE,IAAI,WAAW,KAAK,KAAK,OAAO,OAAO,QAAQ,MAAM,GAAG;KACvD,IAAI,OAAO,OAAO,QAAQ,IAAI,GAAG,MAAM,IAAI,MAAM,SAAS,KAAK,2BAA2B,OAAO,eAAe;KAChH,OAAO,eAAe,QAAQ,MAAM;MACnC,OAAO,OAAO;MACd,YAAY;MACZ,cAAc;MACd,UAAU;KACX,CAAC;KACD,OAAO,OAAO;IACf;IACA,MAAM,OAAO,MAAM,OAAO,OAAO,OAAO,QAAQ,IAAI,IAAI,OAAO,QAAQ,KAAK,CAAC;IAC7E,IAAI,SAAS,KAAK,GAAG,OAAO,eAAe,QAAQ,MAAM;KACxD,OAAO;KACP,YAAY;KACZ,cAAc;KACd,UAAU;IACX,CAAC;GACF;GACA,OAAO;EACR;EACA,KAAK,SAAS,OAAO,MAAM,QAAQ,KAAK,IAAI,MAAM,KAAK,SAAS,MAAM,SAAS,OAAO,IAAI,CAAC,IAAI;EAC/F,KAAK,UAAU,OAAO,cAAc,KAAK,IAAI,OAAO,YAAY,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,UAAU,CAAC,KAAK,MAAM,SAAS,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI;EAClJ,KAAK,YAAY,OAAO,UAAU,OAAO,QAAQ,MAAM,SAAS,OAAO,KAAK;EAC5E,KAAK,YAAY,OAAO,UAAU,KAAK,IAAI,QAAQ,MAAM,SAAS,OAAO,KAAK;EAC9E,KAAK;GACJ,KAAK,MAAM,UAAU,SAAS,SAAS,IAAI;IAC1C,MAAM,SAAS,MAAM,QAAQ,KAAK;IAClC,IAAI,QAAQ,OAAO,QAAQ,MAAM;SAC5B,OAAO,QAAQ,MAAM;IAC1B,OAAO;GACR,QAAQ,CAAC;GACT,OAAO;CACT;AACD;;AAEA,MAAM,sBAAsB,QAAQ,UAAU;CAC7C,MAAM,QAAQ,eAAe,MAAM;CACnC,IAAI,UAAU,KAAK,KAAK,MAAM,gBAAgB,KAAK,GAAG,OAAO,OAAO,QAAQ,KAAK,MAAM,MAAM,WAAW,CAAC;CACzG,OAAO,YAAY,QAAQ,OAAO,oBAAoB,KAAK;AAC5D;;AAEA,MAAM,qBAAqB,QAAQ,UAAU;CAC5C,IAAI;EACH,OAAO,QAAQ,KAAK;EACpB,OAAO;CACR,QAAQ,CAAC;CACT,MAAM,QAAQ,eAAe,MAAM;CACnC,IAAI,UAAU,KAAK,KAAK,MAAM,gBAAgB,KAAK,GAAG,OAAO,KAAK,MAAM,MAAM,WAAW;CACzF,IAAI;CACJ,IAAI;EACH,MAAM,OAAO,YAAY,QAAQ,OAAO,mBAAmB,IAAI;EAC/D,OAAO,QAAQ,IAAI;EACnB,OAAO;CACR,SAAS,OAAO;EACf,UAAU;CACX;CACA,MAAM,UAAU,CAAC;CACjB,KAAK,MAAM,YAAY,MAAM,YAAY,CAAC,GAAG,IAAI;EAChD,QAAQ,KAAK;GACZ;GACA,OAAO,OAAO,SAAS,QAAQ,KAAK;EACrC,CAAC;CACF,QAAQ,CAAC;CACT,IAAI,QAAQ,SAAS,GAAG,MAAM,IAAI,MAAM,wDAAwD;CAChG,MAAM,QAAQ,QAAQ;CACtB,IAAI,UAAU,KAAK,GAAG,MAAM;CAC5B,OAAO,OAAO,QAAQ,mBAAmB,QAAQ,MAAM,SAAS,QAAQ,MAAM,KAAK,CAAC,CAAC;AACtF;AACA,MAAM,sBAAsB,QAAQ,UAAU,OAAO,kBAAkB,OAAO,UAAU,CAAC,CAAC,kBAAkB,QAAQ,KAAK,CAAC;AAG1H,MAAM,eAAe,OAAO,MAAM;CACjC,OAAO;CACP,OAAO;CACP,OAAO;AACR,CAAC;AACD,MAAM,kBAAkB,OAAO,OAAO;CACrC,MAAM,OAAO;CACb,OAAO,OAAO,cAAc,eAAe;AAC5C,CAAC;AACD,MAAM,kBAAkB,OAAO,MAAM;CACpC,OAAO,OAAO;EACb,MAAM,OAAO,QAAQ,OAAO;EAC5B,OAAO,OAAO,cAAc,eAAe;CAC5C,CAAC;CACD,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,SAAS,EAAE,CAAC;CACjD,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,MAAM,EAAE,CAAC;CAC9C,OAAO,OAAO;EACb,MAAM,OAAO,QAAQ,MAAM;EAC3B,SAAS,OAAO,MAAM,OAAO,SAAS;GACrC;GACA;GACA;GACA;GACA;EACD,CAAC,CAAC;EACF,UAAU,OAAO;CAClB,CAAC;CACD,OAAO,OAAO;EACb,MAAM,OAAO,QAAQ,OAAO;EAC5B,KAAK,OAAO;EACZ,QAAQ,OAAO,MAAM,eAAe;CACrC,CAAC;CACD,OAAO,OAAO;EACb,MAAM,OAAO,QAAQ,IAAI;EACzB,OAAO,OAAO;CACf,CAAC;CACD,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,QAAQ,EAAE,CAAC;CAChD,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,SAAS,EAAE,CAAC;CACjD,OAAO,OAAO;EACb,MAAM,OAAO,QAAQ,SAAS;EAC9B,OAAO;CACR,CAAC;CACD,OAAO,OAAO;EACb,MAAM,OAAO,QAAQ,UAAU;EAC/B,QAAQ,OAAO,MAAM,YAAY;CAClC,CAAC;CACD,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,OAAO,EAAE,CAAC;CAC/C,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,MAAM,EAAE,CAAC;CAC9C,OAAO,OAAO;EACb,MAAM,OAAO,QAAQ,UAAU;EAC/B,OAAO,OAAO,cAAc,eAAe;CAC5C,CAAC;CACD,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,QAAQ,EAAE,CAAC;CAChD,OAAO,OAAO;EACb,MAAM,OAAO,QAAQ,QAAQ;EAC7B,QAAQ,OAAO,MAAM,eAAe;CACrC,CAAC;CACD,OAAO,OAAO;EACb,MAAM,OAAO,QAAQ,UAAU;EAC/B,OAAO,OAAO,cAAc,eAAe;CAC5C,CAAC;CACD,OAAO,OAAO;EACb,MAAM,OAAO,QAAQ,QAAQ;EAC7B,OAAO,OAAO,cAAc,eAAe;CAC5C,CAAC;CACD,OAAO,OAAO;EACb,MAAM,OAAO,QAAQ,QAAQ;EAC7B,OAAO,OAAO,cAAc,eAAe;CAC5C,CAAC;CACD,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,QAAQ,EAAE,CAAC;CAChD,OAAO,OAAO;EACb,MAAM,OAAO,QAAQ,OAAO;EAC5B,SAAS,OAAO,MAAM,OAAO,cAAc,eAAe,CAAC;CAC5D,CAAC;AACF,CAAC;AACD,MAAM,wBAAwB,OAAO,IAAI,gCAAgC;AACzE,MAAM,wBAAwB,SAAS,KAAK,IAAI,OAAO,eAAe;CACrE,OAAO,eAAe,OAAO,uBAAuB;EACnD,cAAc;EACd,YAAY;EACZ,OAAO;EACP,UAAU;CACX,CAAC;CACD,OAAO,gBAAgB,KAAK;AAC7B,CAAC;AACD,MAAM,sBAAsB,UAAU;CACrC,IAAI,CAAC,UAAU,YAAY,OAAO,qBAAqB,GAAG,OAAO,KAAK;CACtE,OAAO,OAAO,GAAG,eAAe,CAAC,CAAC,MAAM,sBAAsB,IAAI,MAAM,yBAAyB,KAAK;AACvG;AA4BA,MAAM,kCAAkC,eAAe;CACtD,QAAQ,WAAW,MAAnB;EACC,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,MAAM,OAAO;EAClB,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,UAAU,OAAO,+BAA+B,WAAW,KAAK;EACrE,KAAK,UAAU,OAAO,WAAW,OAAO,OAAO,UAAU,+BAA+B,MAAM,KAAK,CAAC;EACpG,KAAK,SAAS,OAAO,WAAW,QAAQ,MAAM,8BAA8B;EAC5E,SAAS,OAAO;CACjB;AACD;AACA,MAAM,oBAAoB,WAAW;CACpC,MAAM,UAAU,CAAC;CACjB,KAAK,MAAM,QAAQ,QAAQ,QAAQ,MAAM,GAAG;EAC3C,IAAI,CAAC,UAAU,SAAS,IAAI,GAAG,MAAM,IAAI,MAAM,wDAAwD;EACvG,MAAM,QAAQ,OAAO;EACrB,MAAM,QAAQ,UAAU,KAAK,IAAI,KAAK,IAAI,mBAAmB,KAAK;EAClE,IAAI,UAAU,KAAK,GAAG,MAAM,IAAI,MAAM,cAAc,KAAK,wCAAwC;EACjG,QAAQ,KAAK;GACZ;GACA;EACD,CAAC;CACF;CACA,OAAO,QAAQ,MAAM,MAAM,UAAU,KAAK,KAAK,cAAc,MAAM,IAAI,CAAC;AACzE"}

package/dist/runtime/id-E7JKqQ9r.d.ts

@@ -0,0 +1 @@
+import "./pagination-CpYCaRYD-C2Rpp4Cw.js";

package/dist/runtime/index-DWU-7TIh.d.ts

@@ -0,0 +1,185 @@
+import { c as Result$1, g as FileValue, i as ErrorValue, n as DocumentNotFoundValue } from "./id-BzFHf3Wo-DGPCjgrf.js";
+import { c as IdContext, n as PaginationPage, t as PaginationOptions } from "./pagination-CpYCaRYD-C2Rpp4Cw.js";
+import { _ as table, a as Id, d as BoundValues, f as IdTargetsOf, g as UnresolvedReferencesTypeId, h as TableDefinition, i as EnvironmentType, n as Document, o as SchemaDefinitionContract, p as IndexDefinitions, t as DefinedEnv, u as emptyEnv, v as values } from "./types-C1iDP2Yf-BnkfBOQf.js";
+import { Effect, Schema } from "effect";
+//#region ../contracts/dist/schema/index.d.ts
+//#region src/schema/definition.d.ts
+type AnyTableDefinition = TableDefinition<Schema.Struct.Fields, IndexDefinitions>;
+interface Tables {
+  readonly [tableName: string]: AnyTableDefinition;
+}
+type FieldsOf<Table extends AnyTableDefinition> = Table["fields"];
+type IdTargetsOfFields<Fields extends Schema.Struct.Fields> = { readonly [FieldName in keyof Fields]: IdTargetsOf<Fields[FieldName]>; }[keyof Fields];
+declare const UnknownTableReferenceTypeId: unique symbol;
+interface UnknownTableReference<TableName extends string> {
+  readonly [UnknownTableReferenceTypeId]: `Unknown table reference: ${TableName}`;
+}
+type DefinitionReferenceValidation<Definitions extends Tables> = { readonly [TableName in keyof Definitions]: Exclude<IdTargetsOfFields<FieldsOf<Definitions[TableName]>>, keyof Definitions & string> extends (infer UnknownTarget extends string) ? [UnknownTarget] extends [never] ? unknown : UnknownTableReference<UnknownTarget> : never; };
+type TableNameOf<SchemaDefinition extends Tables> = keyof SchemaDefinition & string;
+interface DefinedSchema<SchemaDefinition extends Tables> extends SchemaDefinitionContract<SchemaDefinition> {
+  readonly _tag: "Schema";
+}
+interface SchemaAuthoring {
+  readonly table: typeof table;
+  readonly values: typeof values;
+}
+declare const defineSchema: <const Definitions extends Tables>(define: (authoring: SchemaAuthoring) => Definitions & DefinitionReferenceValidation<NoInfer<Definitions>>) => DefinedSchema<Definitions>;
+//#endregion
+//#region src/schema/server.d.ts
+type TransportSchema = Schema.ConstraintCodec<unknown, unknown, never, never>;
+interface ErrorSchema extends Schema.ConstraintCodec<ErrorValue, unknown, never, never> {
+  readonly Type: ErrorValue;
+}
+interface ResolvedFunctionValue {
+  readonly [UnresolvedReferencesTypeId]?: never;
+}
+type ContainsFile<Value> = Value extends FileValue ? true : Value extends Date ? false : Value extends ReadonlyArray<infer Item> ? true extends ContainsFile<Item> ? true : false : Value extends object ? true extends { [Key in keyof Value]-?: ContainsFile<Value[Key]>; }[keyof Value] ? true : false : false;
+declare const InvalidFilePositionTypeId: unique symbol;
+type FileFree<Value, Position extends string> = true extends ContainsFile<Value> ? {
+  readonly [InvalidFilePositionTypeId]: `Files cannot appear in ${Position}`;
+} : unknown;
+type ResolvedFunctionFields<Fields extends Schema.Struct.Fields> = { readonly [FieldName in keyof Fields]: Fields[FieldName] & ResolvedFunctionValue & TransportSchema; };
+interface ForbiddenSystemFields {
+  readonly id?: never;
+  readonly createdAt?: never;
+  readonly updatedAt?: never;
+}
+type InsertOf<Table extends Tables[string]> = Schema.Struct.MakeIn<FieldsOf<Table>> & ForbiddenSystemFields;
+type PatchOf<Table extends Tables[string]> = Partial<Schema.Struct.MakeIn<FieldsOf<Table>>> & ForbiddenSystemFields;
+type FunctionArgs = Schema.Struct.Fields | undefined;
+type FunctionReturns = TransportSchema | undefined;
+type ArgsOf<Args extends FunctionArgs> = Args extends Schema.Struct.Fields ? keyof Args extends never ? void : Schema.Struct.Type<Args> : void;
+type ReturnOf<Returns extends FunctionReturns> = Returns extends TransportSchema ? Returns["Type"] : void;
+type DocumentNotFound<TableName extends string = string> = DocumentNotFoundValue<TableName, Id<TableName>>;
+declare const IndexRangeTypeId: unique symbol;
+interface IndexRangeExpression {
+  readonly [IndexRangeTypeId]: true;
+}
+type IndexFields<Definition extends Tables, Name extends TableNameOf<Definition>, IndexName extends keyof Definition[Name]["indexes"]> = Definition[Name]["indexes"][IndexName]["fields"] extends (infer Fields extends readonly string[]) ? readonly [...Fields, "createdAt", "id"] : never;
+type IndexFieldValue<Definition extends Tables, Name extends TableNameOf<Definition>, FieldName extends string> = FieldName extends "createdAt" ? Date : FieldName extends "id" ? Id<Name> : FieldName extends keyof FieldsOf<Definition[Name]> ? FieldsOf<Definition[Name]>[FieldName]["Type"] : never;
+interface IndexLowerBound<Definition extends Tables, Name extends TableNameOf<Definition>, FieldName extends string> extends IndexRangeExpression {
+  lt(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexRangeExpression;
+  lte(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexRangeExpression;
+}
+interface IndexUpperBound<Definition extends Tables, Name extends TableNameOf<Definition>, FieldName extends string> extends IndexRangeExpression {
+  gt(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexRangeExpression;
+  gte(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexRangeExpression;
+}
+interface IndexRangeBuilder<Definition extends Tables, Name extends TableNameOf<Definition>, Fields extends readonly string[]> extends IndexRangeExpression {
+  eq<FieldName extends Fields[0]>(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexRangeBuilder<Definition, Name, Fields extends readonly [string, ...infer Rest extends string[]] ? Rest : []>;
+  gt<FieldName extends Fields[0]>(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexLowerBound<Definition, Name, FieldName>;
+  gte<FieldName extends Fields[0]>(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexLowerBound<Definition, Name, FieldName>;
+  lt<FieldName extends Fields[0]>(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexUpperBound<Definition, Name, FieldName>;
+  lte<FieldName extends Fields[0]>(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexUpperBound<Definition, Name, FieldName>;
+}
+interface OrderedDatabaseQuery<Definition extends Tables, Name extends TableNameOf<Definition>> {
+  collect(): Result$1<ReadonlyArray<Document<Definition, Name>>, never>;
+  take(count: number): Result$1<ReadonlyArray<Document<Definition, Name>>, never>;
+  first(): Result$1<Document<Definition, Name> | undefined, never>;
+  unique(): Result$1<Document<Definition, Name> | undefined, never>;
+  paginate(options: PaginationOptions): Result$1<PaginationPage<Document<Definition, Name>>, never>;
+}
+interface SelectableDatabaseQuery<Definition extends Tables, Name extends TableNameOf<Definition>> extends OrderedDatabaseQuery<Definition, Name> {
+  order(direction: "asc" | "desc"): OrderedDatabaseQuery<Definition, Name>;
+}
+interface DatabaseQuery<Definition extends Tables, Name extends TableNameOf<Definition>> extends SelectableDatabaseQuery<Definition, Name> {
+  index<const IndexName extends keyof Definition[Name]["indexes"] & string>(name: IndexName, range?: (builder: IndexRangeBuilder<Definition, Name, IndexFields<Definition, Name, IndexName>>) => IndexRangeExpression): SelectableDatabaseQuery<Definition, Name>;
+}
+interface DatabaseReader<Definition extends Tables> {
+  query<const Name extends TableNameOf<Definition>>(name: Name): DatabaseQuery<Definition, Name>;
+  find<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>): Result$1<Document<Definition, Name> | undefined, never>;
+  get<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>): Result$1<Document<Definition, Name>, DocumentNotFound<Name>>;
+}
+interface DatabaseWriter<Definition extends Tables> extends DatabaseReader<Definition> {
+  delete<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>): Result$1<void, DocumentNotFound<Name>>;
+  insert<const Name extends TableNameOf<Definition>>(name: Name, value: InsertOf<Definition[NoInfer<Name>]>): Result$1<Id<Name>, never>;
+  patch<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>, value: PatchOf<Definition[NoInfer<Name>]>): Result$1<void, DocumentNotFound<Name>>;
+  replace<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>, value: InsertOf<Definition[NoInfer<Name>]>): Result$1<void, DocumentNotFound<Name>>;
+}
+interface QueryContext<Definition extends Tables, Environment extends DefinedEnv = typeof emptyEnv> {
+  readonly db: DatabaseReader<Definition>;
+  readonly env: EnvironmentType<Environment>;
+  readonly id: IdContext;
+}
+interface MutationContext<Definition extends Tables, Environment extends DefinedEnv = typeof emptyEnv> {
+  readonly db: DatabaseWriter<Definition>;
+  readonly env: EnvironmentType<Environment>;
+  readonly id: IdContext;
+}
+type FunctionKind = "Mutation" | "Query";
+type HandlerContext<Kind extends FunctionKind, Definition extends Tables, Environment extends DefinedEnv> = Kind extends "Query" ? QueryContext<Definition, Environment> : MutationContext<Definition, Environment>;
+type Handler<Kind extends FunctionKind, Definition extends Tables, Environment extends DefinedEnv, Args extends FunctionArgs, Success, Failure extends ErrorValue> = (ctx: HandlerContext<Kind, Definition, Environment>, args: ArgsOf<Args>) => Generator<Effect.Effect<unknown, Failure, never>, Success, never>;
+type HandlerFailure<HandlerType> = HandlerType extends ((...arguments_: infer _Arguments) => Generator<infer Yielded, unknown, never>) ? Yielded extends Effect.Effect<unknown, infer Failure extends ErrorValue, never> ? Failure : never : never;
+type FunctionDefinition<Kind extends FunctionKind, Definition extends Tables, Environment extends DefinedEnv, Args extends FunctionArgs, Returns extends FunctionReturns, Errors extends ErrorSchema | undefined, Failure extends ErrorValue> = {
+  readonly _tag: Kind;
+  readonly handler: Handler<Kind, Definition, Environment, Args, ReturnOf<Returns>, Failure>;
+} & (Args extends Schema.Struct.Fields ? {
+  readonly args: Args;
+} : {
+  readonly args?: never;
+}) & (Returns extends TransportSchema ? {
+  readonly returns: Returns;
+} : {
+  readonly returns?: never;
+}) & (Errors extends ErrorSchema ? {
+  readonly errors: Errors;
+} : {
+  readonly errors?: never;
+});
+interface FunctionInput<Kind extends FunctionKind, Definition extends Tables, Environment extends DefinedEnv, Args extends FunctionArgs, Success, Failure extends ErrorValue> {
+  readonly handler: Handler<Kind, Definition, Environment, Args, Success, Failure>;
+}
+type WithArgs<Kind extends FunctionKind, Args extends Schema.Struct.Fields> = {
+  readonly args: Args & ResolvedFunctionFields<NoInfer<Args>> & (Kind extends "Query" ? FileFree<Schema.Struct.Type<Args>, "query arguments"> : unknown);
+};
+interface WithoutArgs {
+  readonly args?: never;
+}
+type WithReturns<Kind extends FunctionKind, Returns extends TransportSchema> = {
+  readonly returns: Returns & ResolvedFunctionValue & (Kind extends "Mutation" ? FileFree<Returns["Type"], "mutation returns"> : unknown);
+};
+interface WithoutReturns {
+  readonly returns?: never;
+}
+interface DefineFunction<Kind extends FunctionKind, Definition extends Tables, Environment extends DefinedEnv> {
+  <const Args extends Schema.Struct.Fields, Returns extends TransportSchema, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, Environment, Args, Returns["Type"], Errors["Type"]> & WithArgs<Kind, Args> & WithReturns<Kind, Returns> & {
+    readonly errors: Errors & ResolvedFunctionValue & FileFree<Errors["Type"], "errors">;
+  }): FunctionDefinition<Kind, Definition, Environment, Args, Returns, Errors, Errors["Type"]>;
+  <Returns extends TransportSchema, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, Environment, undefined, Returns["Type"], Errors["Type"]> & WithoutArgs & WithReturns<Kind, Returns> & {
+    readonly errors: Errors & ResolvedFunctionValue & FileFree<Errors["Type"], "errors">;
+  }): FunctionDefinition<Kind, Definition, Environment, undefined, Returns, Errors, Errors["Type"]>;
+  <const Args extends Schema.Struct.Fields, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, Environment, Args, void, Errors["Type"]> & WithArgs<Kind, Args> & WithoutReturns & {
+    readonly errors: Errors & ResolvedFunctionValue & FileFree<Errors["Type"], "errors">;
+  }): FunctionDefinition<Kind, Definition, Environment, Args, undefined, Errors, Errors["Type"]>;
+  <Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, Environment, undefined, void, Errors["Type"]> & WithoutArgs & WithoutReturns & {
+    readonly errors: Errors & ResolvedFunctionValue & FileFree<Errors["Type"], "errors">;
+  }): FunctionDefinition<Kind, Definition, Environment, undefined, undefined, Errors, Errors["Type"]>;
+  <const Args extends Schema.Struct.Fields, Returns extends TransportSchema, HandlerType extends Handler<Kind, Definition, Environment, Args, Returns["Type"], ErrorValue> = Handler<Kind, Definition, Environment, Args, Returns["Type"], never>>(definition: WithArgs<Kind, Args> & WithReturns<Kind, Returns> & {
+    readonly errors?: never;
+    readonly handler: HandlerType;
+  }): FunctionDefinition<Kind, Definition, Environment, Args, Returns, undefined, HandlerFailure<HandlerType>>;
+  <Returns extends TransportSchema, HandlerType extends Handler<Kind, Definition, Environment, undefined, Returns["Type"], ErrorValue> = Handler<Kind, Definition, Environment, undefined, Returns["Type"], never>>(definition: WithoutArgs & WithReturns<Kind, Returns> & {
+    readonly errors?: never;
+    readonly handler: HandlerType;
+  }): FunctionDefinition<Kind, Definition, Environment, undefined, Returns, undefined, HandlerFailure<HandlerType>>;
+  <const Args extends Schema.Struct.Fields, HandlerType extends Handler<Kind, Definition, Environment, Args, void, ErrorValue> = Handler<Kind, Definition, Environment, Args, void, never>>(definition: WithArgs<Kind, Args> & WithoutReturns & {
+    readonly errors?: never;
+    readonly handler: HandlerType;
+  }): FunctionDefinition<Kind, Definition, Environment, Args, undefined, undefined, HandlerFailure<HandlerType>>;
+  <HandlerType extends Handler<Kind, Definition, Environment, undefined, void, ErrorValue> = Handler<Kind, Definition, Environment, undefined, void, never>>(definition: WithoutArgs & WithoutReturns & {
+    readonly errors?: never;
+    readonly handler: HandlerType;
+  }): FunctionDefinition<Kind, Definition, Environment, undefined, undefined, undefined, HandlerFailure<HandlerType>>;
+}
+interface FunctionBuilders<Definition extends Tables, Environment extends DefinedEnv = typeof emptyEnv> {
+  readonly query: DefineFunction<"Query", Definition, Environment>;
+  readonly mutation: DefineFunction<"Mutation", Definition, Environment>;
+}
+interface SchemaBindings<Definition extends Tables, Environment extends DefinedEnv = typeof emptyEnv> extends FunctionBuilders<Definition, Environment> {
+  readonly values: BoundValues<Definition>;
+}
+declare function bindSchema<const Definition extends Tables>(schema: DefinedSchema<Definition>): SchemaBindings<Definition, typeof emptyEnv>;
+declare function bindSchema<const Definition extends Tables, const Environment extends DefinedEnv>(schema: DefinedSchema<Definition>, environment: Environment): SchemaBindings<Definition, Environment>;
+//#endregion
+export { defineSchema as i, SchemaAuthoring as n, bindSchema as r, DefinedSchema as t };
+//# sourceMappingURL=index-DWU-7TIh.d.ts.map

package/dist/runtime/internal/host.d.ts

@@ -1,16 +1,32 @@
 import { c as Result$1, d as TransportObject, f as TransportValue, i as ErrorValue, u as documentNotFound } from "../id-BzFHf3Wo-DGPCjgrf.js";
 import "../result-DKAA4gpS.js";
 import "../sync-Bs8J3fIr.js";
-import { c as IdContext, n as PaginationPage, t as PaginationOptions } from "../pagination-DnKg3dkI-r5ZUxBBx.js";
-import "../id-Dz0apuB3.js";
-import "../pagination-Dz0apuB3.js";
+import { c as IdContext, n as PaginationPage, t as PaginationOptions } from "../pagination-CpYCaRYD-C2Rpp4Cw.js";
+import "../id-E7JKqQ9r.js";
+import "../pagination-E7JKqQ9r.js";
+import { c as SchemaDefinitionTypeId } from "../types-C1iDP2Yf-BnkfBOQf.js";
 import { Effect, Schema } from "effect";
 //#region ../contracts/dist/runtime/functions.d.ts
 //#region src/runtime/functions.d.ts
 declare const FunctionKind: Schema.Literals<readonly ["Mutation", "Query"]>;
 type FunctionKind = typeof FunctionKind.Type;
 //#endregion
-//#region ../runtime/dist/guest-BN_3RI9b.d.ts
+//#region ../contracts/dist/runtime/schema.d.ts
+interface RuntimeTableDefinition {
+  readonly _tag: "Table";
+  readonly fields: Schema.Struct.Fields;
+  readonly indexes: Readonly<Record<string, {
+    readonly name: string;
+    readonly fields: readonly string[];
+  }>>;
+  readonly schema: Schema.Constraint;
+}
+interface RuntimeSchemaDefinition {
+  readonly _tag: "Schema";
+  readonly [SchemaDefinitionTypeId]: Readonly<Record<string, RuntimeTableDefinition>>;
+}
+//#endregion
+//#region ../runtime/dist/guest-3UrnzCJE.d.ts
 //#region src/guest.d.ts
 interface GuestFunctionDefinition {
   readonly _tag: FunctionKind;
@@ -60,6 +76,8 @@ interface GuestMutationContext {
   readonly id: IdContext;
 }
 declare const invoke: (definition: GuestFunctionDefinition, encodedArgs: Schema.Json, call: GuestHostCall, rawEnvironment?: Readonly<Record<string, string>>) => Promise<string>;
+/** Entry point for the isolated schema bundle. It has no host capabilities. */
+declare const evolve: (schema: RuntimeSchemaDefinition, encodedRequest: string) => string;
 //#endregion
-export { invoke };
+export { evolve, invoke };
 //# sourceMappingURL=host.d.ts.map

package/dist/runtime/internal/host.js

@@ -1,6 +1,6 @@
 import { C as TransportObjectTypeSchema, S as resultFromEffect, T as datePathsOfObject, V as runtimeFileOccurrencesOf, W as GeneratedId, g as ErrorValueSchema, s as User, u as makeIdContext, v as documentNotFound, w as datePathsOf } from "../id-Bt9XWRGL.js";
-import { o as PaginationCursor, s as PaginationPageSize } from "../descriptor-Cyo9FP9n-C0SRVXNW.js";
-import { c as getFunctionSchema, o as emptyEnv, r as decodeDefinedEnvironment, s as getFunctionEnvironment, t as SchemaDefinitionTypeId } from "../schema-1Zs03-iS.js";
+import { d as PaginationPageSize, n as applyValueDefaults, o as evolveStoredFields, u as PaginationCursor } from "../descriptor-DCCz5AHd-_nhlnu8U.js";
+import { c as getFunctionSchema, o as emptyEnv, r as decodeDefinedEnvironment, s as getFunctionEnvironment, t as SchemaDefinitionTypeId } from "../schema-DqogEydG.js";
 import { Effect, Predicate, Schema } from "effect";
 //#region ../contracts/dist/runtime/host.js
 const HostDocument = Schema.Struct({
@@ -141,7 +141,7 @@ const tableFor = (schema, table) => {
 const guestCodec = (schema) => schema;
 const encodeFields = (schema, table, fields) => {
 	const definition = tableFor(schema, table);
-	return Schema.decodeUnknownSync(Schema.JsonObject)(Schema.encodeUnknownSync(Schema.toCodecJson(guestCodec(definition.schema)), { onExcessProperty: "error" })(fields));
+	return Schema.decodeUnknownSync(Schema.JsonObject)(Schema.encodeUnknownSync(Schema.toCodecJson(guestCodec(definition.schema)), { onExcessProperty: "error" })(applyValueDefaults(definition.schema, fields)));
 };
 const encodePatchFields = (schema, table, fields) => {
 	const definition = tableFor(schema, table);
@@ -415,7 +415,27 @@ const runGuest = Effect.fn("Guest.invoke")(function* (definition, encodedArgs, c
 	}));
 });
 const invoke = (definition, encodedArgs, call, rawEnvironment = {}) => Effect.runPromise(runGuest(definition, encodedArgs, call, rawEnvironment)).then((result) => Schema.encodeSync(Schema.fromJsonString(Schema.Json))(result));
+const EvolutionRequest = Schema.Struct({
+	table: Schema.String,
+	fields: Schema.JsonObject
+});
+/** Entry point for the isolated schema bundle. It has no host capabilities. */
+const evolve = (schema, encodedRequest) => {
+	const request = Schema.decodeSync(Schema.fromJsonString(EvolutionRequest))(encodedRequest);
+	const definition = tableFor(schema, request.table);
+	try {
+		return JSON.stringify({
+			type: "Success",
+			value: { fields: evolveStoredFields(definition.schema, request.fields) }
+		});
+	} catch {
+		return JSON.stringify({
+			type: "Success",
+			value: { error: `Stored fields in '${request.table}' do not match the new schema or its conversion rules.` }
+		});
+	}
+};
 //#endregion
-export { invoke };
+export { evolve, invoke };
 
 //# sourceMappingURL=host.js.map