ignotum 0.0.7 → 0.0.8

package/dist/runtime/file-BXf63ulU.js

@@ -0,0 +1,166 @@
+import { Predicate, Schema, SchemaGetter } from "effect";
+//#region ../contracts/dist/runtime/id.js
+const IdAlphabet = "0123456789abcdefghijklmnopqrstuvwxyz";
+const IdPrefix = Schema.String.check(Schema.isPattern(/^[a-z]+$/));
+const IdPayloadPattern = /^[0-9a-z]{24}$/;
+const withPrefix = (definition, idPrefix) => Object.assign(definition, { idPrefix });
+const defineId = (prefix, brand) => {
+	const idPrefix = Schema.decodeSync(IdPrefix)(prefix);
+	return withPrefix(Schema.String.check(Schema.isPattern(new RegExp(`^${idPrefix}_[0-9a-z]{24}$`))).pipe(Schema.brand(brand)), idPrefix);
+};
+const GeneratedId = withPrefix(Schema.String.check(Schema.isPattern(IdPayloadPattern)).pipe(Schema.brand("ignotum/id")), void 0);
+const AppId = defineId("app", "ignotum/hosted/AppId");
+const DeploymentId = defineId("dep", "ignotum/hosted/DeploymentId");
+defineId("team", "ignotum/hosted/TeamId");
+const TableId = defineId("table", "ignotum/runtime/TableId");
+defineId("prn", "ignotum/control/PlatformPrincipalId");
+const InvocationId = defineId("inv", "ignotum/sync/InvocationId");
+const SubscriptionId = defineId("sub", "ignotum/sync/SubscriptionId");
+defineId("conn", "ignotum/gateway/ConnectionId");
+const RuntimeRequestNonce = defineId("nonce", "ignotum/runtime/RequestNonce");
+const RequestId = defineId("req", "ignotum/runtime/RequestId");
+defineId("lock", "ignotum/dev/DatabaseLockId");
+//#endregion
+//#region ../contracts/dist/schema/file.js
+const fileFormats = [
+	"jpeg",
+	"png",
+	"webp",
+	"avif",
+	"gif"
+];
+const FileFormat = Schema.Literals(fileFormats);
+const fileMimeTypes = {
+	avif: "image/avif",
+	gif: "image/gif",
+	jpeg: "image/jpeg",
+	png: "image/png",
+	webp: "image/webp"
+};
+const fileLimits = {
+	activeGrantsPerConnection: 1024,
+	distinctFilesPerQuerySnapshot: 256,
+	fileBytes: 10485760,
+	filesPerMutation: 8,
+	filenameBytes: 255,
+	mutationBytes: 26214400,
+	preparationLifetimeMillis: 9e5,
+	stagedBytesPerApp: 104857600
+};
+const FileId = Object.assign(Schema.String.pipe(Schema.check(Schema.isPattern(/^file_[0-9A-Za-z_-]{20,128}$/)), Schema.brand("ignotum/file/FileId")), { idPrefix: "file" });
+defineId("upload", "ignotum/file/FileUploadToken");
+defineId("grant", "ignotum/file/FileGrantToken");
+const FileValueTypeId = Symbol.for("ignotum/file/FileValue");
+const FileGrantTypeId = Symbol.for("ignotum/file/FileGrant");
+const isFileValue = (value) => Predicate.isObject(value) && Predicate.hasProperty(value, FileValueTypeId) && Predicate.isObject(value[FileValueTypeId]) && Predicate.hasProperty(value[FileValueTypeId], "id") && Schema.is(FileId)(value[FileValueTypeId].id) && Predicate.hasProperty(value, "format") && Schema.is(FileFormat)(value.format) && Predicate.hasProperty(value, "name") && Predicate.isString(value.name) && Predicate.hasProperty(value, "size") && Predicate.isNumber(value.size) && Predicate.hasProperty(value, "mimeType") && value.mimeType === fileMimeTypes[value.format];
+const buildFileValue = (id, metadata, grantUrl) => {
+	const value = {
+		format: metadata.format,
+		mimeType: fileMimeTypes[metadata.format],
+		name: metadata.name,
+		size: metadata.size
+	};
+	Object.defineProperty(value, FileValueTypeId, {
+		configurable: false,
+		enumerable: false,
+		value: Object.freeze({ id }),
+		writable: false
+	});
+	if (grantUrl !== void 0) Object.defineProperty(value, FileGrantTypeId, {
+		configurable: false,
+		enumerable: false,
+		value: grantUrl,
+		writable: false
+	});
+	return Object.freeze(value);
+};
+const makeFileValue = (id, metadata) => buildFileValue(id, metadata);
+const fileIdOf = (value) => value[FileValueTypeId].id;
+const grantFileValue = (value, url) => {
+	return buildFileValue(fileIdOf(value), value, url);
+};
+const fileGrantUrlOf = (value) => value[FileGrantTypeId];
+const EncodedFileValue = Schema.Struct({
+	$ignotum: Schema.Literal("file"),
+	id: FileId,
+	format: FileFormat,
+	name: Schema.String,
+	size: Schema.Int.check(Schema.isBetween({
+		minimum: 0,
+		maximum: fileLimits.fileBytes
+	}))
+});
+const RuntimeFileMetadata = Schema.Struct({
+	id: FileId,
+	format: FileFormat,
+	name: Schema.String,
+	size: Schema.Int.check(Schema.isBetween({
+		minimum: 0,
+		maximum: fileLimits.fileBytes
+	}))
+});
+const FilePath = Schema.Array(Schema.Union([Schema.String, Schema.Natural]));
+const RuntimeFileOccurrence = Schema.Struct({
+	path: FilePath,
+	file: RuntimeFileMetadata
+});
+const DecodedFileValue = Schema.declare(isFileValue, { title: "FileValue" });
+const FileValue = EncodedFileValue.pipe(Schema.decodeTo(DecodedFileValue, {
+	decode: SchemaGetter.transform((encoded) => makeFileValue(encoded.id, {
+		format: encoded.format,
+		name: encoded.name,
+		size: encoded.size
+	})),
+	encode: SchemaGetter.transform((value) => ({
+		$ignotum: "file",
+		format: value.format,
+		id: fileIdOf(value),
+		name: value.name,
+		size: value.size
+	}))
+}));
+const constrainedFileValue = (formats, maxBytes) => FileValue.pipe(Schema.check(Schema.makeFilter((value) => {
+	const issues = [];
+	if (!formats.includes(value.format)) issues.push({
+		path: ["format"],
+		issue: `File format '${value.format}' is not allowed by this field.`
+	});
+	if (value.size > maxBytes) issues.push({
+		path: ["size"],
+		issue: `File size ${value.size} exceeds this field's ${maxBytes} byte limit.`
+	});
+	return issues;
+})));
+const collectFileOccurrences = (value, path, occurrences) => {
+	if (isFileValue(value)) {
+		occurrences.push({
+			file: value,
+			path
+		});
+		return;
+	}
+	if (globalThis.Array.isArray(value)) {
+		for (const [index, child] of value.entries()) collectFileOccurrences(child, [...path, index], occurrences);
+		return;
+	}
+	if (!Predicate.isObject(value) || Predicate.isDate(value)) return;
+	for (const [key, child] of Object.entries(value)) collectFileOccurrences(child, [...path, key], occurrences);
+};
+const fileOccurrencesOf = (value) => {
+	const occurrences = [];
+	collectFileOccurrences(value, [], occurrences);
+	return occurrences;
+};
+const runtimeFileOccurrencesOf = (value) => fileOccurrencesOf(value).map(({ file, path }) => ({
+	path,
+	file: {
+		format: file.format,
+		id: fileIdOf(file),
+		name: file.name,
+		size: file.size
+	}
+}));
+//#endregion
+export { RuntimeRequestNonce as C, RequestId as S, TableId as T, AppId as _, RuntimeFileMetadata as a, IdAlphabet as b, fileFormats as c, fileLimits as d, fileMimeTypes as f, runtimeFileOccurrencesOf as g, makeFileValue as h, FileValue as i, fileGrantUrlOf as l, isFileValue as m, FileFormat as n, RuntimeFileOccurrence as o, grantFileValue as p, FileId as r, constrainedFileValue as s, EncodedFileValue as t, fileIdOf as u, DeploymentId as v, SubscriptionId as w, InvocationId as x, GeneratedId as y };
+
+//# sourceMappingURL=file-BXf63ulU.js.map

package/dist/runtime/file-BXf63ulU.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-BXf63ulU.js","names":[],"sources":["../../../contracts/dist/runtime/id.js","../../../contracts/dist/schema/file.js"],"sourcesContent":["import { Schema } from \"effect\";\n//#region src/runtime/id.ts\nconst IdAlphabet = \"0123456789abcdefghijklmnopqrstuvwxyz\";\nconst IdLength = 24;\nconst IdPrefix = Schema.String.check(Schema.isPattern(/^[a-z]+$/));\nconst IdPayloadPattern = /^[0-9a-z]{24}$/;\nconst withPrefix = (definition, idPrefix) => Object.assign(definition, { idPrefix });\nconst defineId = (prefix, brand) => {\n\tconst idPrefix = Schema.decodeSync(IdPrefix)(prefix);\n\treturn withPrefix(Schema.String.check(Schema.isPattern(new RegExp(`^${idPrefix}_[0-9a-z]{24}$`))).pipe(Schema.brand(brand)), idPrefix);\n};\nconst GeneratedId = withPrefix(Schema.String.check(Schema.isPattern(IdPayloadPattern)).pipe(Schema.brand(\"ignotum/id\")), void 0);\nconst AppId = defineId(\"app\", \"ignotum/hosted/AppId\");\nconst DeploymentId = defineId(\"dep\", \"ignotum/hosted/DeploymentId\");\nconst TeamId = defineId(\"team\", \"ignotum/hosted/TeamId\");\nconst TableId = defineId(\"table\", \"ignotum/runtime/TableId\");\nconst PlatformPrincipalId = defineId(\"prn\", \"ignotum/control/PlatformPrincipalId\");\nconst InvocationId = defineId(\"inv\", \"ignotum/sync/InvocationId\");\nconst SubscriptionId = defineId(\"sub\", \"ignotum/sync/SubscriptionId\");\nconst ConnectionId = defineId(\"conn\", \"ignotum/gateway/ConnectionId\");\nconst RuntimeRequestNonce = defineId(\"nonce\", \"ignotum/runtime/RequestNonce\");\nconst RequestId = defineId(\"req\", \"ignotum/runtime/RequestId\");\nconst DevDatabaseLockId = defineId(\"lock\", \"ignotum/dev/DatabaseLockId\");\n//#endregion\nexport { AppId, ConnectionId, DeploymentId, DevDatabaseLockId, GeneratedId, IdAlphabet, IdLength, InvocationId, PlatformPrincipalId, RequestId, RuntimeRequestNonce, SubscriptionId, TableId, TeamId, defineId };\n\n//# sourceMappingURL=id.js.map","import { defineId } from \"../runtime/id.js\";\nimport { Predicate, Schema, SchemaGetter } from \"effect\";\n//#region src/schema/file.ts\nconst fileFormats = [\n\t\"jpeg\",\n\t\"png\",\n\t\"webp\",\n\t\"avif\",\n\t\"gif\"\n];\nconst FileFormat = Schema.Literals(fileFormats);\nconst fileMimeTypes = {\n\tavif: \"image/avif\",\n\tgif: \"image/gif\",\n\tjpeg: \"image/jpeg\",\n\tpng: \"image/png\",\n\twebp: \"image/webp\"\n};\nconst fileLimits = {\n\tactiveGrantsPerConnection: 1024,\n\tdistinctFilesPerQuerySnapshot: 256,\n\tfileBytes: 10485760,\n\tfilesPerMutation: 8,\n\tfilenameBytes: 255,\n\tmutationBytes: 26214400,\n\tpreparationLifetimeMillis: 9e5,\n\tstagedBytesPerApp: 104857600\n};\nconst FileId = Object.assign(Schema.String.pipe(Schema.check(Schema.isPattern(/^file_[0-9A-Za-z_-]{20,128}$/)), Schema.brand(\"ignotum/file/FileId\")), { idPrefix: \"file\" });\nconst FileUploadToken = defineId(\"upload\", \"ignotum/file/FileUploadToken\");\nconst FileGrantToken = defineId(\"grant\", \"ignotum/file/FileGrantToken\");\nconst FileValueTypeId = Symbol.for(\"ignotum/file/FileValue\");\nconst FileGrantTypeId = Symbol.for(\"ignotum/file/FileGrant\");\nconst isFileValue = (value) => Predicate.isObject(value) && Predicate.hasProperty(value, FileValueTypeId) && Predicate.isObject(value[FileValueTypeId]) && Predicate.hasProperty(value[FileValueTypeId], \"id\") && Schema.is(FileId)(value[FileValueTypeId].id) && Predicate.hasProperty(value, \"format\") && Schema.is(FileFormat)(value.format) && Predicate.hasProperty(value, \"name\") && Predicate.isString(value.name) && Predicate.hasProperty(value, \"size\") && Predicate.isNumber(value.size) && Predicate.hasProperty(value, \"mimeType\") && value.mimeType === fileMimeTypes[value.format];\nconst buildFileValue = (id, metadata, grantUrl) => {\n\tconst value = {\n\t\tformat: metadata.format,\n\t\tmimeType: fileMimeTypes[metadata.format],\n\t\tname: metadata.name,\n\t\tsize: metadata.size\n\t};\n\tObject.defineProperty(value, FileValueTypeId, {\n\t\tconfigurable: false,\n\t\tenumerable: false,\n\t\tvalue: Object.freeze({ id }),\n\t\twritable: false\n\t});\n\tif (grantUrl !== void 0) Object.defineProperty(value, FileGrantTypeId, {\n\t\tconfigurable: false,\n\t\tenumerable: false,\n\t\tvalue: grantUrl,\n\t\twritable: false\n\t});\n\treturn Object.freeze(value);\n};\nconst makeFileValue = (id, metadata) => buildFileValue(id, metadata);\nconst fileIdOf = (value) => value[FileValueTypeId].id;\nconst grantFileValue = (value, url) => {\n\treturn buildFileValue(fileIdOf(value), value, url);\n};\nconst fileGrantUrlOf = (value) => value[FileGrantTypeId];\nconst EncodedFileValue = Schema.Struct({\n\t$ignotum: Schema.Literal(\"file\"),\n\tid: FileId,\n\tformat: FileFormat,\n\tname: Schema.String,\n\tsize: Schema.Int.check(Schema.isBetween({\n\t\tminimum: 0,\n\t\tmaximum: fileLimits.fileBytes\n\t}))\n});\nconst RuntimeFileMetadata = Schema.Struct({\n\tid: FileId,\n\tformat: FileFormat,\n\tname: Schema.String,\n\tsize: Schema.Int.check(Schema.isBetween({\n\t\tminimum: 0,\n\t\tmaximum: fileLimits.fileBytes\n\t}))\n});\nconst FilePath = Schema.Array(Schema.Union([Schema.String, Schema.Natural]));\nconst RuntimeFileOccurrence = Schema.Struct({\n\tpath: FilePath,\n\tfile: RuntimeFileMetadata\n});\nconst DecodedFileValue = Schema.declare(isFileValue, { title: \"FileValue\" });\nconst FileValue = EncodedFileValue.pipe(Schema.decodeTo(DecodedFileValue, {\n\tdecode: SchemaGetter.transform((encoded) => makeFileValue(encoded.id, {\n\t\tformat: encoded.format,\n\t\tname: encoded.name,\n\t\tsize: encoded.size\n\t})),\n\tencode: SchemaGetter.transform((value) => ({\n\t\t$ignotum: \"file\",\n\t\tformat: value.format,\n\t\tid: fileIdOf(value),\n\t\tname: value.name,\n\t\tsize: value.size\n\t}))\n}));\nconst constrainedFileValue = (formats, maxBytes) => FileValue.pipe(Schema.check(Schema.makeFilter((value) => {\n\tconst issues = [];\n\tif (!formats.includes(value.format)) issues.push({\n\t\tpath: [\"format\"],\n\t\tissue: `File format '${value.format}' is not allowed by this field.`\n\t});\n\tif (value.size > maxBytes) issues.push({\n\t\tpath: [\"size\"],\n\t\tissue: `File size ${value.size} exceeds this field's ${maxBytes} byte limit.`\n\t});\n\treturn issues;\n})));\nconst collectFileOccurrences = (value, path, occurrences) => {\n\tif (isFileValue(value)) {\n\t\toccurrences.push({\n\t\t\tfile: value,\n\t\t\tpath\n\t\t});\n\t\treturn;\n\t}\n\tif (globalThis.Array.isArray(value)) {\n\t\tfor (const [index, child] of value.entries()) collectFileOccurrences(child, [...path, index], occurrences);\n\t\treturn;\n\t}\n\tif (!Predicate.isObject(value) || Predicate.isDate(value)) return;\n\tfor (const [key, child] of Object.entries(value)) collectFileOccurrences(child, [...path, key], occurrences);\n};\nconst fileOccurrencesOf = (value) => {\n\tconst occurrences = [];\n\tcollectFileOccurrences(value, [], occurrences);\n\treturn occurrences;\n};\nconst runtimeFileOccurrencesOf = (value) => fileOccurrencesOf(value).map(({ file, path }) => ({\n\tpath,\n\tfile: {\n\t\tformat: file.format,\n\t\tid: fileIdOf(file),\n\t\tname: file.name,\n\t\tsize: file.size\n\t}\n}));\nconst collectEncodedFileOccurrences = (value, path, occurrences) => {\n\tif (Schema.is(EncodedFileValue)(value)) {\n\t\tconst file = Schema.decodeUnknownSync(EncodedFileValue)(value);\n\t\toccurrences.push({\n\t\t\tpath,\n\t\t\tfile: {\n\t\t\t\tformat: file.format,\n\t\t\t\tid: file.id,\n\t\t\t\tname: file.name,\n\t\t\t\tsize: file.size\n\t\t\t}\n\t\t});\n\t\treturn;\n\t}\n\tif (globalThis.Array.isArray(value)) {\n\t\tfor (const [index, child] of value.entries()) collectEncodedFileOccurrences(child, [...path, index], occurrences);\n\t\treturn;\n\t}\n\tif (!Schema.is(Schema.JsonObject)(value)) return;\n\tfor (const [key, child] of Object.entries(value)) collectEncodedFileOccurrences(child, [...path, key], occurrences);\n};\nconst encodedFileOccurrencesOf = (value) => {\n\tconst occurrences = [];\n\tcollectEncodedFileOccurrences(value, [], occurrences);\n\treturn occurrences;\n};\n//#endregion\nexport { EncodedFileValue, FileFormat, FileGrantToken, FileGrantTypeId, FileId, FilePath, FileUploadToken, FileValue, FileValueTypeId, RuntimeFileMetadata, RuntimeFileOccurrence, constrainedFileValue, encodedFileOccurrencesOf, fileFormats, fileGrantUrlOf, fileIdOf, fileLimits, fileMimeTypes, fileOccurrencesOf, grantFileValue, isFileValue, makeFileValue, runtimeFileOccurrencesOf };\n\n//# sourceMappingURL=file.js.map"],"mappings":";;AAEA,MAAM,aAAa;AAEnB,MAAM,WAAW,OAAO,OAAO,MAAM,OAAO,UAAU,UAAU,CAAC;AACjE,MAAM,mBAAmB;AACzB,MAAM,cAAc,YAAY,aAAa,OAAO,OAAO,YAAY,EAAE,SAAS,CAAC;AACnF,MAAM,YAAY,QAAQ,UAAU;CACnC,MAAM,WAAW,OAAO,WAAW,QAAQ,CAAC,CAAC,MAAM;CACnD,OAAO,WAAW,OAAO,OAAO,MAAM,OAAO,UAAU,IAAI,OAAO,IAAI,SAAS,eAAe,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,MAAM,KAAK,CAAC,GAAG,QAAQ;AACtI;AACA,MAAM,cAAc,WAAW,OAAO,OAAO,MAAM,OAAO,UAAU,gBAAgB,CAAC,CAAC,CAAC,KAAK,OAAO,MAAM,YAAY,CAAC,GAAG,KAAK,CAAC;AAC/H,MAAM,QAAQ,SAAS,OAAO,sBAAsB;AACpD,MAAM,eAAe,SAAS,OAAO,6BAA6B;AACnD,SAAS,QAAQ,uBAAuB;AACvD,MAAM,UAAU,SAAS,SAAS,yBAAyB;AAC/B,SAAS,OAAO,qCAAqC;AACjF,MAAM,eAAe,SAAS,OAAO,2BAA2B;AAChE,MAAM,iBAAiB,SAAS,OAAO,6BAA6B;AAC/C,SAAS,QAAQ,8BAA8B;AACpE,MAAM,sBAAsB,SAAS,SAAS,8BAA8B;AAC5E,MAAM,YAAY,SAAS,OAAO,2BAA2B;AACnC,SAAS,QAAQ,4BAA4B;;;ACnBvE,MAAM,cAAc;CACnB;CACA;CACA;CACA;CACA;AACD;AACA,MAAM,aAAa,OAAO,SAAS,WAAW;AAC9C,MAAM,gBAAgB;CACrB,MAAM;CACN,KAAK;CACL,MAAM;CACN,KAAK;CACL,MAAM;AACP;AACA,MAAM,aAAa;CAClB,2BAA2B;CAC3B,+BAA+B;CAC/B,WAAW;CACX,kBAAkB;CAClB,eAAe;CACf,eAAe;CACf,2BAA2B;CAC3B,mBAAmB;AACpB;AACA,MAAM,SAAS,OAAO,OAAO,OAAO,OAAO,KAAK,OAAO,MAAM,OAAO,UAAU,8BAA8B,CAAC,GAAG,OAAO,MAAM,qBAAqB,CAAC,GAAG,EAAE,UAAU,OAAO,CAAC;AAClJ,SAAS,UAAU,8BAA8B;AAClD,SAAS,SAAS,6BAA6B;AACtE,MAAM,kBAAkB,OAAO,IAAI,wBAAwB;AAC3D,MAAM,kBAAkB,OAAO,IAAI,wBAAwB;AAC3D,MAAM,eAAe,UAAU,UAAU,SAAS,KAAK,KAAK,UAAU,YAAY,OAAO,eAAe,KAAK,UAAU,SAAS,MAAM,gBAAgB,KAAK,UAAU,YAAY,MAAM,kBAAkB,IAAI,KAAK,OAAO,GAAG,MAAM,CAAC,CAAC,MAAM,gBAAgB,CAAC,EAAE,KAAK,UAAU,YAAY,OAAO,QAAQ,KAAK,OAAO,GAAG,UAAU,CAAC,CAAC,MAAM,MAAM,KAAK,UAAU,YAAY,OAAO,MAAM,KAAK,UAAU,SAAS,MAAM,IAAI,KAAK,UAAU,YAAY,OAAO,MAAM,KAAK,UAAU,SAAS,MAAM,IAAI,KAAK,UAAU,YAAY,OAAO,UAAU,KAAK,MAAM,aAAa,cAAc,MAAM;AAC1jB,MAAM,kBAAkB,IAAI,UAAU,aAAa;CAClD,MAAM,QAAQ;EACb,QAAQ,SAAS;EACjB,UAAU,cAAc,SAAS;EACjC,MAAM,SAAS;EACf,MAAM,SAAS;CAChB;CACA,OAAO,eAAe,OAAO,iBAAiB;EAC7C,cAAc;EACd,YAAY;EACZ,OAAO,OAAO,OAAO,EAAE,GAAG,CAAC;EAC3B,UAAU;CACX,CAAC;CACD,IAAI,aAAa,KAAK,GAAG,OAAO,eAAe,OAAO,iBAAiB;EACtE,cAAc;EACd,YAAY;EACZ,OAAO;EACP,UAAU;CACX,CAAC;CACD,OAAO,OAAO,OAAO,KAAK;AAC3B;AACA,MAAM,iBAAiB,IAAI,aAAa,eAAe,IAAI,QAAQ;AACnE,MAAM,YAAY,UAAU,MAAM,gBAAgB,CAAC;AACnD,MAAM,kBAAkB,OAAO,QAAQ;CACtC,OAAO,eAAe,SAAS,KAAK,GAAG,OAAO,GAAG;AAClD;AACA,MAAM,kBAAkB,UAAU,MAAM;AACxC,MAAM,mBAAmB,OAAO,OAAO;CACtC,UAAU,OAAO,QAAQ,MAAM;CAC/B,IAAI;CACJ,QAAQ;CACR,MAAM,OAAO;CACb,MAAM,OAAO,IAAI,MAAM,OAAO,UAAU;EACvC,SAAS;EACT,SAAS,WAAW;CACrB,CAAC,CAAC;AACH,CAAC;AACD,MAAM,sBAAsB,OAAO,OAAO;CACzC,IAAI;CACJ,QAAQ;CACR,MAAM,OAAO;CACb,MAAM,OAAO,IAAI,MAAM,OAAO,UAAU;EACvC,SAAS;EACT,SAAS,WAAW;CACrB,CAAC,CAAC;AACH,CAAC;AACD,MAAM,WAAW,OAAO,MAAM,OAAO,MAAM,CAAC,OAAO,QAAQ,OAAO,OAAO,CAAC,CAAC;AAC3E,MAAM,wBAAwB,OAAO,OAAO;CAC3C,MAAM;CACN,MAAM;AACP,CAAC;AACD,MAAM,mBAAmB,OAAO,QAAQ,aAAa,EAAE,OAAO,YAAY,CAAC;AAC3E,MAAM,YAAY,iBAAiB,KAAK,OAAO,SAAS,kBAAkB;CACzE,QAAQ,aAAa,WAAW,YAAY,cAAc,QAAQ,IAAI;EACrE,QAAQ,QAAQ;EAChB,MAAM,QAAQ;EACd,MAAM,QAAQ;CACf,CAAC,CAAC;CACF,QAAQ,aAAa,WAAW,WAAW;EAC1C,UAAU;EACV,QAAQ,MAAM;EACd,IAAI,SAAS,KAAK;EAClB,MAAM,MAAM;EACZ,MAAM,MAAM;CACb,EAAE;AACH,CAAC,CAAC;AACF,MAAM,wBAAwB,SAAS,aAAa,UAAU,KAAK,OAAO,MAAM,OAAO,YAAY,UAAU;CAC5G,MAAM,SAAS,CAAC;CAChB,IAAI,CAAC,QAAQ,SAAS,MAAM,MAAM,GAAG,OAAO,KAAK;EAChD,MAAM,CAAC,QAAQ;EACf,OAAO,gBAAgB,MAAM,OAAO;CACrC,CAAC;CACD,IAAI,MAAM,OAAO,UAAU,OAAO,KAAK;EACtC,MAAM,CAAC,MAAM;EACb,OAAO,aAAa,MAAM,KAAK,wBAAwB,SAAS;CACjE,CAAC;CACD,OAAO;AACR,CAAC,CAAC,CAAC;AACH,MAAM,0BAA0B,OAAO,MAAM,gBAAgB;CAC5D,IAAI,YAAY,KAAK,GAAG;EACvB,YAAY,KAAK;GAChB,MAAM;GACN;EACD,CAAC;EACD;CACD;CACA,IAAI,WAAW,MAAM,QAAQ,KAAK,GAAG;EACpC,KAAK,MAAM,CAAC,OAAO,UAAU,MAAM,QAAQ,GAAG,uBAAuB,OAAO,CAAC,GAAG,MAAM,KAAK,GAAG,WAAW;EACzG;CACD;CACA,IAAI,CAAC,UAAU,SAAS,KAAK,KAAK,UAAU,OAAO,KAAK,GAAG;CAC3D,KAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,KAAK,GAAG,uBAAuB,OAAO,CAAC,GAAG,MAAM,GAAG,GAAG,WAAW;AAC5G;AACA,MAAM,qBAAqB,UAAU;CACpC,MAAM,cAAc,CAAC;CACrB,uBAAuB,OAAO,CAAC,GAAG,WAAW;CAC7C,OAAO;AACR;AACA,MAAM,4BAA4B,UAAU,kBAAkB,KAAK,CAAC,CAAC,KAAK,EAAE,MAAM,YAAY;CAC7F;CACA,MAAM;EACL,QAAQ,KAAK;EACb,IAAI,SAAS,IAAI;EACjB,MAAM,KAAK;EACX,MAAM,KAAK;CACZ;AACD,EAAE"}

package/dist/runtime/{id-Btwac71X-DhnKYsjY.d.ts → id-Btwac71X-DGj0DQuu.d.ts}

@@ -1,11 +1,57 @@
 import { Brand, Effect, Schema } from "effect";
-//#region ../contracts/dist/value-CiN-5gJo.d.ts
+//#region ../contracts/dist/file-8gh4oKiS.d.ts
+//#region src/schema/file.d.ts
+declare const fileFormats: readonly ["jpeg", "png", "webp", "avif", "gif"];
+declare const FileFormat: Schema.Literals<readonly ["jpeg", "png", "webp", "avif", "gif"]>;
+type FileFormat = typeof FileFormat.Type;
+declare const fileMimeTypes: {
+  readonly avif: "image/avif";
+  readonly gif: "image/gif";
+  readonly jpeg: "image/jpeg";
+  readonly png: "image/png";
+  readonly webp: "image/webp";
+};
+type FileMimeType<Format extends FileFormat = FileFormat> = (typeof fileMimeTypes)[Format];
+declare const FileId: Schema.brand<Schema.String, "ignotum/file/FileId"> & {
+  readonly idPrefix: "file";
+};
+type FileId = typeof FileId.Type;
+declare const FileValueTypeId: unique symbol;
+declare const FileGrantTypeId: unique symbol;
+interface FileIdentity {
+  readonly id: FileId;
+}
+interface FileValue<Format extends FileFormat = FileFormat> {
+  readonly name: string;
+  readonly format: Format;
+  readonly mimeType: FileMimeType<Format>;
+  readonly size: number;
+  readonly [FileValueTypeId]: FileIdentity;
+  readonly [FileGrantTypeId]?: string;
+}
+interface FileMetadata<Format extends FileFormat = FileFormat> {
+  readonly name: string;
+  readonly format: Format;
+  readonly mimeType: FileMimeType<Format>;
+  readonly size: number;
+}
+declare const FileValue: Schema.decodeTo<Schema.declare<FileValue<"avif" | "gif" | "jpeg" | "png" | "webp">, FileValue<"avif" | "gif" | "jpeg" | "png" | "webp">>, Schema.Struct<{
+  readonly $ignotum: Schema.Literal<"file">;
+  readonly id: Schema.brand<Schema.String, "ignotum/file/FileId"> & {
+    readonly idPrefix: "file";
+  };
+  readonly format: Schema.Literals<readonly ["jpeg", "png", "webp", "avif", "gif"]>;
+  readonly name: Schema.String;
+  readonly size: Schema.Int;
+}>, never, never>;
+//#endregion
+//#region ../contracts/dist/value-BqGe6EhK.d.ts
 //#region src/runtime/value.d.ts
 interface TransportArray extends ReadonlyArray<TransportValue> {}
 interface TransportObject {
   readonly [key: string]: TransportValue | undefined;
 }
-type TransportValue = null | boolean | number | string | Date | TransportArray | TransportObject;
+type TransportValue = null | boolean | number | string | Date | FileValue | TransportArray | TransportObject;
 //#endregion
 //#region ../contracts/dist/runtime/result.d.ts
 //#region src/runtime/result.d.ts
@@ -123,5 +169,5 @@ declare const GeneratedId: Schema.brand<Schema.String, "ignotum/id"> & {
 };
 type GeneratedId = typeof GeneratedId.Type;
 //#endregion
-export { InternalServerError as a, Result as c, TransportObject as d, TransportValue as f, ErrorValue as i, SettledResult as l, DocumentNotFoundValue as n, Match as o, ErrorBrand as r, QueryResult as s, GeneratedId as t, documentNotFound as u };
-//# sourceMappingURL=id-Btwac71X-DhnKYsjY.d.ts.map
+export { fileFormats as _, InternalServerError as a, Result as c, TransportObject as d, TransportValue as f, FileValue as g, FileMimeType as h, ErrorValue as i, SettledResult as l, FileMetadata as m, DocumentNotFoundValue as n, Match as o, FileFormat as p, ErrorBrand as r, QueryResult as s, GeneratedId as t, documentNotFound as u };
+//# sourceMappingURL=id-Btwac71X-DGj0DQuu.d.ts.map

package/dist/runtime/{index-B5KSOjGN.d.ts → index-CF04_Dps.d.ts}

@@ -1,5 +1,5 @@
-import { c as Result, i as ErrorValue, n as DocumentNotFoundValue, r as ErrorBrand, t as GeneratedId } from "./id-Btwac71X-DhnKYsjY.js";
-import { a as ValueDescriptorCarrier, i as ValueDescriptor, n as PaginationPage, o as ValueFields, r as DescribedValue, t as PaginationOptions } from "./pagination-B1BzNkh8-BUSTbeSg.js";
+import { _ as fileFormats, c as Result, g as FileValue, i as ErrorValue, n as DocumentNotFoundValue, p as FileFormat, r as ErrorBrand, t as GeneratedId } from "./id-Btwac71X-DGj0DQuu.js";
+import { a as ValueDescriptorCarrier, i as ValueDescriptor, n as PaginationPage, o as ValueFields, r as DescribedValue, t as PaginationOptions } from "./pagination-DrOowBve-Bnipd34u.js";
 import { Brand, Effect, Schema, Struct } from "effect";
 //#region ../contracts/dist/types-DDg3XIFc.d.ts
 //#region src/schema/types.d.ts
@@ -99,6 +99,19 @@ declare const number: () => DescribedValue<Schema.Finite>;
 declare const integer: () => DescribedValue<Schema.Int>;
 declare const boolean: () => DescribedValue<Schema.Boolean>;
 declare const date: () => DescribedValue<Schema.DateFromMillis>;
+interface FileOptions<Formats extends readonly FileFormat[]> {
+  readonly formats?: Formats;
+  readonly maxBytes?: number;
+}
+declare const file: <const Formats extends readonly FileFormat[] = typeof fileFormats>(options?: FileOptions<Formats>) => DescribedValue<Schema.decodeTo<Schema.declare<FileValue<"avif" | "gif" | "jpeg" | "png" | "webp">, FileValue<"avif" | "gif" | "jpeg" | "png" | "webp">>, Schema.Struct<{
+  readonly $ignotum: Schema.Literal<"file">;
+  readonly id: Schema.brand<Schema.String, "ignotum/file/FileId"> & {
+    readonly idPrefix: "file";
+  };
+  readonly format: Schema.Literals<readonly ["jpeg", "png", "webp", "avif", "gif"]>;
+  readonly name: Schema.String;
+  readonly size: Schema.Int;
+}>, never, never>> & Schema.Schema<FileValue<Formats[number]>>;
 declare const never: () => DescribedValue<Schema.Never>;
 declare const nullValue: () => DescribedValue<Schema.Null>;
 declare const literal: <const Value extends LiteralValue>(value: Value) => DescribedValue<Schema.Literal<Value>>;
@@ -123,6 +136,7 @@ declare const values: {
   array: typeof array;
   boolean: typeof boolean;
   date: typeof date;
+  file: typeof file;
   error: typeof error;
   id: typeof id;
   integer: typeof integer;
@@ -181,6 +195,11 @@ interface ErrorSchema extends Schema.ConstraintCodec<ErrorValue, unknown, never,
 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;
@@ -234,10 +253,10 @@ interface DatabaseReader<Definition extends Tables> {
   get<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>): Result<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<void, never>;
+  delete<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>): Result<void, DocumentNotFound<Name>>;
   insert<const Name extends TableNameOf<Definition>>(name: Name, value: InsertOf<Definition[NoInfer<Name>]>): Result<Id<Name>, never>;
-  patch<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>, value: PatchOf<Definition[NoInfer<Name>]>): Result<void, never>;
-  replace<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>, value: InsertOf<Definition[NoInfer<Name>]>): Result<void, never>;
+  patch<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>, value: PatchOf<Definition[NoInfer<Name>]>): Result<void, DocumentNotFound<Name>>;
+  replace<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>, value: InsertOf<Definition[NoInfer<Name>]>): Result<void, DocumentNotFound<Name>>;
 }
 interface QueryContext<Definition extends Tables> {
   readonly db: DatabaseReader<Definition>;
@@ -268,40 +287,40 @@ type FunctionDefinition<Kind extends FunctionKind, Definition extends Tables, Ar
 interface FunctionInput<Kind extends FunctionKind, Definition extends Tables, Args extends FunctionArgs, Success, Failure extends ErrorValue> {
   readonly handler: Handler<Kind, Definition, Args, Success, Failure>;
 }
-type WithArgs<Args extends Schema.Struct.Fields> = {
-  readonly args: Args & ResolvedFunctionFields<NoInfer<Args>>;
+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<Returns extends TransportSchema> = {
-  readonly returns: Returns & ResolvedFunctionValue;
+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> {
-  <const Args extends Schema.Struct.Fields, Returns extends TransportSchema, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, Args, Returns["Type"], Errors["Type"]> & WithArgs<Args> & WithReturns<Returns> & {
-    readonly errors: Errors & ResolvedFunctionValue;
+  <const Args extends Schema.Struct.Fields, Returns extends TransportSchema, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, Args, Returns["Type"], Errors["Type"]> & WithArgs<Kind, Args> & WithReturns<Kind, Returns> & {
+    readonly errors: Errors & ResolvedFunctionValue & FileFree<Errors["Type"], "errors">;
   }): FunctionDefinition<Kind, Definition, Args, Returns, Errors, Errors["Type"]>;
-  <Returns extends TransportSchema, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, undefined, Returns["Type"], Errors["Type"]> & WithoutArgs & WithReturns<Returns> & {
-    readonly errors: Errors & ResolvedFunctionValue;
+  <Returns extends TransportSchema, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, undefined, Returns["Type"], Errors["Type"]> & WithoutArgs & WithReturns<Kind, Returns> & {
+    readonly errors: Errors & ResolvedFunctionValue & FileFree<Errors["Type"], "errors">;
   }): FunctionDefinition<Kind, Definition, undefined, Returns, Errors, Errors["Type"]>;
-  <const Args extends Schema.Struct.Fields, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, Args, void, Errors["Type"]> & WithArgs<Args> & WithoutReturns & {
-    readonly errors: Errors & ResolvedFunctionValue;
+  <const Args extends Schema.Struct.Fields, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, Args, void, Errors["Type"]> & WithArgs<Kind, Args> & WithoutReturns & {
+    readonly errors: Errors & ResolvedFunctionValue & FileFree<Errors["Type"], "errors">;
   }): FunctionDefinition<Kind, Definition, Args, undefined, Errors, Errors["Type"]>;
   <Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, undefined, void, Errors["Type"]> & WithoutArgs & WithoutReturns & {
-    readonly errors: Errors & ResolvedFunctionValue;
+    readonly errors: Errors & ResolvedFunctionValue & FileFree<Errors["Type"], "errors">;
   }): FunctionDefinition<Kind, Definition, undefined, undefined, Errors, Errors["Type"]>;
-  <const Args extends Schema.Struct.Fields, Returns extends TransportSchema, HandlerType extends Handler<Kind, Definition, Args, Returns["Type"], ErrorValue> = Handler<Kind, Definition, Args, Returns["Type"], never>>(definition: WithArgs<Args> & WithReturns<Returns> & {
+  <const Args extends Schema.Struct.Fields, Returns extends TransportSchema, HandlerType extends Handler<Kind, Definition, Args, Returns["Type"], ErrorValue> = Handler<Kind, Definition, Args, Returns["Type"], never>>(definition: WithArgs<Kind, Args> & WithReturns<Kind, Returns> & {
     readonly errors?: never;
     readonly handler: HandlerType;
   }): FunctionDefinition<Kind, Definition, Args, Returns, undefined, HandlerFailure<HandlerType>>;
-  <Returns extends TransportSchema, HandlerType extends Handler<Kind, Definition, undefined, Returns["Type"], ErrorValue> = Handler<Kind, Definition, undefined, Returns["Type"], never>>(definition: WithoutArgs & WithReturns<Returns> & {
+  <Returns extends TransportSchema, HandlerType extends Handler<Kind, Definition, undefined, Returns["Type"], ErrorValue> = Handler<Kind, Definition, undefined, Returns["Type"], never>>(definition: WithoutArgs & WithReturns<Kind, Returns> & {
     readonly errors?: never;
     readonly handler: HandlerType;
   }): FunctionDefinition<Kind, Definition, undefined, Returns, undefined, HandlerFailure<HandlerType>>;
-  <const Args extends Schema.Struct.Fields, HandlerType extends Handler<Kind, Definition, Args, void, ErrorValue> = Handler<Kind, Definition, Args, void, never>>(definition: WithArgs<Args> & WithoutReturns & {
+  <const Args extends Schema.Struct.Fields, HandlerType extends Handler<Kind, Definition, Args, void, ErrorValue> = Handler<Kind, Definition, Args, void, never>>(definition: WithArgs<Kind, Args> & WithoutReturns & {
     readonly errors?: never;
     readonly handler: HandlerType;
   }): FunctionDefinition<Kind, Definition, Args, undefined, undefined, HandlerFailure<HandlerType>>;
@@ -320,4 +339,4 @@ interface SchemaBindings<Definition extends Tables> extends FunctionBuilders<Def
 declare const bindSchema: <const Definition extends Tables>(schema: DefinedSchema<Definition>) => SchemaBindings<Definition>;
 //#endregion
 export { Document as a, SchemaDefinitionTypeId as c, defineSchema as i, SchemaAuthoring as n, Id as o, bindSchema as r, SchemaDefinitionOf as s, DefinedSchema as t };
-//# sourceMappingURL=index-B5KSOjGN.d.ts.map
+//# sourceMappingURL=index-CF04_Dps.d.ts.map

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

@@ -1,2 +1,2 @@
-import { i as functionPathOf, n as FunctionReference, r as createApi, t as Api } from "../api-Dp4J-xt-.js";
-export { Api, FunctionReference, createApi, functionPathOf };
+import { a as functionPathOf, i as createApi, n as FunctionReference, r as MutationInput, t as Api } from "../api-D9lV-5av.js";
+export { Api, FunctionReference, MutationInput, createApi, functionPathOf };

package/dist/runtime/internal/api.js

@@ -1,2 +1,2 @@
-import { n as functionPathOf, t as createApi } from "../api-DtX8qPrq.js";
+import { n as functionPathOf, t as createApi } from "../api-BTeMI5tx.js";
 export { createApi, functionPathOf };

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

@@ -1,13 +1,14 @@
-import { c as Result, d as TransportObject, f as TransportValue, i as ErrorValue, u as documentNotFound } from "../id-Btwac71X-DhnKYsjY.js";
-import { n as PaginationPage, t as PaginationOptions } from "../pagination-B1BzNkh8-BUSTbeSg.js";
-import "../pagination-BKPko9Hm.js";
+import { c as Result, d as TransportObject, f as TransportValue, i as ErrorValue, u as documentNotFound } from "../id-Btwac71X-DGj0DQuu.js";
+import "../sync-mIXn9eKv.js";
+import { n as PaginationPage, t as PaginationOptions } from "../pagination-DrOowBve-Bnipd34u.js";
+import "../pagination-BNFhAjns.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.d.ts
+//#region ../runtime/dist/guest-DjAV4yQ0.d.ts
 //#region src/guest.d.ts
 interface GuestFunctionDefinition {
   readonly _tag: FunctionKind;
@@ -43,10 +44,10 @@ interface GuestDatabaseReader {
   readonly query: (table: string) => GuestDatabaseQuery;
 }
 interface GuestDatabaseWriter extends GuestDatabaseReader {
-  readonly delete: (table: string, id: string) => Result<void, never>;
+  readonly delete: (table: string, id: string) => Result<void, ReturnType<typeof documentNotFound>>;
   readonly insert: (table: string, value: TransportObject) => Result<string, never>;
-  readonly patch: (table: string, id: string, value: TransportObject) => Result<void, never>;
-  readonly replace: (table: string, id: string, value: TransportObject) => Result<void, never>;
+  readonly patch: (table: string, id: string, value: TransportObject) => Result<void, ReturnType<typeof documentNotFound>>;
+  readonly replace: (table: string, id: string, value: TransportObject) => Result<void, ReturnType<typeof documentNotFound>>;
 }
 interface GuestQueryContext {
   readonly db: GuestDatabaseReader;

package/dist/runtime/internal/host.js

@@ -1,6 +1,6 @@
-import { r as GeneratedId } from "../id-D570vudg.js";
-import { _ as datePathsOfObject, a as PaginationCursor, c as ErrorValueSchema, g as datePathsOf, h as TransportValueSchema, m as resultFromEffect, o as PaginationPageSize, u as documentNotFound } from "../descriptor-t6BOEGw9-C1rwYIlx.js";
-import { i as getFunctionSchema, t as SchemaDefinitionTypeId } from "../schema-D9RmboaS.js";
+import { g as runtimeFileOccurrencesOf, y as GeneratedId } from "../file-BXf63ulU.js";
+import { _ as TransportValueSchema, a as PaginationCursor, f as documentNotFound, g as resultFromEffect, o as PaginationPageSize, u as ErrorValueSchema, v as datePathsOf, y as datePathsOfObject } from "../descriptor-C5VA9qRl-C338iC6l.js";
+import { i as getFunctionSchema, t as SchemaDefinitionTypeId } from "../schema-DJfwfq87.js";
 import { Effect, Predicate, Schema } from "effect";
 //#region ../contracts/dist/runtime/host.js
 const HostDocument = Schema.Struct({
@@ -101,7 +101,10 @@ const HostInserted = Schema.Struct({
 	type: Schema.Literal("Inserted"),
 	id: GeneratedId
 });
-const HostCompleted = Schema.Struct({ type: Schema.Literal("Completed") });
+const HostCompleted = Schema.Struct({
+	type: Schema.Literal("Completed"),
+	found: Schema.Boolean
+});
 Schema.Union([
 	HostDocuments,
 	HostPage,
@@ -313,10 +316,12 @@ const makeReader = (schema, call) => {
 };
 const makeWriter = (schema, call) => {
 	const reader = makeReader(schema, call);
-	const complete = (request) => callHost(call, request).pipe(Effect.map((response) => expectResponse(response, "Completed")), Effect.asVoid);
+	const complete = Effect.fn("Guest.completeWrite")(function* (table, id, request) {
+		if (expectResponse(yield* callHost(call, request), "Completed").found === false) return yield* Effect.fail(documentNotFound(table, id));
+	});
 	const writer = {
 		...reader,
-		delete: (table, id) => resultFromEffect(complete({
+		delete: (table, id) => resultFromEffect(complete(table, id, {
 			type: "Delete",
 			table,
 			id: GeneratedId.make(id)
@@ -326,13 +331,13 @@ const makeWriter = (schema, call) => {
 			table,
 			fields: encodeFields(schema, table, value)
 		}).pipe(Effect.map((response) => expectResponse(response, "Inserted").id))),
-		patch: (table, id, value) => resultFromEffect(complete({
+		patch: (table, id, value) => resultFromEffect(complete(table, id, {
 			type: "Patch",
 			table,
 			id: GeneratedId.make(id),
 			fields: encodePatchFields(schema, table, value)
 		})),
-		replace: (table, id, value) => resultFromEffect(complete({
+		replace: (table, id, value) => resultFromEffect(complete(table, id, {
 			type: "Replace",
 			table,
 			id: GeneratedId.make(id),
@@ -346,9 +351,15 @@ const encodeSuccess = Effect.fn("Guest.encodeSuccess")(function* (definition, va
 		yield* Schema.encodeUnknownEffect(Schema.Undefined)(value);
 		return { type: "Success" };
 	}
-	const result = {
+	const encoded = yield* Schema.encodeUnknownEffect(Schema.toCodecJson(definition.returns))(value);
+	const files = runtimeFileOccurrencesOf(value);
+	const result = files.length === 0 ? {
+		type: "Success",
+		value: encoded
+	} : {
 		type: "Success",
-		value: yield* Schema.encodeUnknownEffect(Schema.toCodecJson(definition.returns))(value)
+		value: encoded,
+		files
 	};
 	const dates = datePathsOf(value);
 	return dates.length === 0 ? result : {