@atscript/db 0.1.139 → 0.1.141

package/dist/{validation-utils-B4h-GW4d.mjs → validation-utils-CMR4fe2M.mjs}

@@ -1,3 +1,4 @@
+import { t as DB_ENTITY_ANNOTATIONS } from "./derived-rules-0sKn4f5C.mjs";
 import { AnnotationSpec, isArray, isInterface, isPrimitive, isQueryComparison, isQueryLogical, isRef, isStructure } from "@atscript/core";
 //#region src/shared/annotation-utils.ts
 /** Asserts the field carrying this annotation does not also carry any of `others`. */
@@ -177,6 +178,14 @@ function refActionAnnotation(name) {
 }
 //#endregion
 //#region src/shared/validation-utils.ts
+/** Whether a declaration node is a `@db.table` or a `@db.view` (managed or external). */
+function isDbSourceDecl(node) {
+	return DB_ENTITY_ANNOTATIONS.some((name) => node.countAnnotations(name) > 0);
+}
+/** Whether a declaration node is a `@db.alias` type. @since 0.1.141 */
+function isAliasDecl(node) {
+	return node.countAnnotations("db.alias") > 0;
+}
 /**
 * Validate a ref annotation argument against the document's type registry.
 * Returns diagnostic messages for unknown types or fields.
@@ -204,16 +213,60 @@ function validateRefArgument(token, doc, options) {
 			return messages;
 		}
 	}
-	if (options?.requireDbTable && decl.node) {
-		if (!(decl.node.countAnnotations("db.table") > 0)) messages.push({
-			severity: 1,
-			message: `Type '${typeName}' must have @db.table annotation.`,
-			range: token.range
-		});
-	}
+	if (options?.accept && decl.node && !options.accept(decl.node)) messages.push({
+		severity: 1,
+		message: isAliasDecl(decl.node) ? `Type '${typeName}' is a @db.alias — a join alias cannot be used here, reference the aliased table or view.` : `Type '${typeName}' ${options.expected ?? "is not accepted here."}`,
+		range: token.range
+	});
 	return messages;
 }
 /**
+* The declaration a view source name stands for: the named table / view, or
+* — for a `@db.alias` type — the aliased table / view. `undefined` when the
+* name does not resolve (unknown, or an import that is not loaded yet).
+* @since 0.1.141
+*/
+function resolveViewSourceDecl(name, doc) {
+	const decl = doc.getDeclarationOwnerNode(name);
+	if (!decl?.node) return;
+	const aliasTarget = getAnnotationAlias(decl.node, "db.alias");
+	if (aliasTarget !== void 0) {
+		const target = decl.doc.getDeclarationOwnerNode(aliasTarget);
+		return target?.node ? {
+			doc: target.doc,
+			node: target.node
+		} : void 0;
+	}
+	return {
+		doc: decl.doc,
+		node: decl.node
+	};
+}
+/**
+* VW9 — the dependency cycle a view closes, as the list of view names from
+* the view back to itself (`["A", "B", "A"]`), or `undefined`. Walks
+* `@db.view.for` / `@db.view.joins` of the referenced declarations across
+* documents; `@db.alias` sources resolve to their target.
+* @since 0.1.141
+*/
+function findViewCycle(owner, doc) {
+	const start = owner.id;
+	if (!start) return;
+	const visited = /* @__PURE__ */ new Set();
+	const walk = (node, nodeDoc, path) => {
+		for (const name of viewScopeTypes(node)) {
+			const source = resolveViewSourceDecl(name, nodeDoc);
+			if (!source) continue;
+			if (source.node === owner) return [...path, start];
+			if (visited.has(source.node)) continue;
+			visited.add(source.node);
+			const cycle = walk(source.node, source.doc, [...path, source.node.id ?? name]);
+			if (cycle) return cycle;
+		}
+	};
+	return walk(owner, doc, [start]);
+}
+/**
 * Find all `@db.rel.FK` fields on a type that reference `targetTypeName`.
 * Resolves `extends` to include inherited fields.
 */
@@ -265,6 +318,16 @@ function joinTargets(joins) {
 	return joins.map((a) => a.args[0]?.text).filter((t) => !!t);
 }
 /**
+* The targets of the `@db.view.joins` declared before `join` among the
+* view's `joins` ({@link viewJoins}) — what a chained join condition may
+* reference besides its target and the entry.
+* @since 0.1.141
+*/
+function earlierJoinTargets(joins, join) {
+	const position = joins.indexOf(join);
+	return joinTargets(position === -1 ? [] : joins.slice(0, position));
+}
+/**
 * The type names a view predicate (`@db.view.filter`, a conditional
 * `@db.agg.*`) may reference: the `@db.view.for` entry table, then every
 * `@db.view.joins` target.
@@ -281,19 +344,23 @@ function hasAnyViewAnnotation(node) {
 	return viewAnnotationNames.some((name) => node.countAnnotations(name) > 0);
 }
 /**
-* Validate that all type refs in a query expression are within the allowed scope.
+* Validate that all field refs in a query expression are within `scope` —
+* the same {@link TQueryScope} the editor completes (`lsp-scopes`):
+* qualified refs must name one of `scope.allowedTypes`; an unqualified ref
+* (a dotted path included) must be a field of `scope.unqualifiedTarget`, or
+* is rejected outright when that is `null`.
 *
 * @param queryToken - The query arg token (must have .queryNode)
-* @param allowedTypes - Type names allowed as qualified refs
-* @param unqualifiedTarget - Type name for resolving unqualified refs, or null to disallow them
+* @param scope - The scope of the argument
 * @param doc - The document for type lookups
 * @param scopeHint - Replaces the default "expected 'A' or 'B'" tail of the out-of-scope message
 */
-function validateQueryScope(queryToken, allowedTypes, unqualifiedTarget, doc, scopeHint) {
+function validateQueryScope(queryToken, scope, doc, scopeHint) {
 	const errors = [];
 	const queryNode = queryToken.queryNode;
 	if (!queryNode) return errors;
-	function walkFieldRef(ref) {
+	const { allowedTypes, unqualifiedTarget } = scope;
+	forEachFieldRef(queryNode.expression, (ref) => {
 		if (ref.typeRef) {
 			const typeName = ref.typeRef.text;
 			if (!allowedTypes.includes(typeName)) errors.push({
@@ -307,29 +374,27 @@ function validateQueryScope(queryToken, allowedTypes, unqualifiedTarget, doc, sc
 			range: ref.fieldRef.range
 		});
 		else {
-			const unwound = doc.unwindType(unqualifiedTarget);
-			if (unwound) {
-				const targetDef = unwound.def;
-				if (isInterface(targetDef) || isStructure(targetDef)) {
-					const struct = isInterface(targetDef) ? targetDef.getDefinition() : targetDef;
-					if (struct && isStructure(struct) && !struct.props.has(ref.fieldRef.text)) errors.push({
-						message: `Field '${ref.fieldRef.text}' does not exist on '${unqualifiedTarget}'`,
-						severity: 1,
-						range: ref.fieldRef.range
-					});
-				}
-			}
-		}
-	}
-	function walkExpr(expr) {
-		if (isQueryLogical(expr)) for (const operand of expr.operands) walkExpr(operand);
-		else if (isQueryComparison(expr)) {
-			walkFieldRef(expr.left);
-			if (expr.right && "fieldRef" in expr.right) walkFieldRef(expr.right);
+			const targetDef = doc.unwindType(unqualifiedTarget)?.def;
+			if (targetDef && (isInterface(targetDef) || isStructure(targetDef)) && !doc.unwindType(unqualifiedTarget, ref.fieldRef.text.split("."))) errors.push({
+				message: `Field '${ref.fieldRef.text}' does not exist on '${unqualifiedTarget}'`,
+				severity: 1,
+				range: ref.fieldRef.range
+			});
 		}
-	}
-	walkExpr(queryNode.expression);
+	});
 	return errors;
 }
+/**
+* Calls `fn` for every field reference of a query expression — both operands
+* of a field-to-field comparison included.
+* @since 0.1.141
+*/
+function forEachFieldRef(expr, fn) {
+	if (isQueryLogical(expr)) for (const operand of expr.operands) forEachFieldRef(operand, fn);
+	else if (isQueryComparison(expr)) {
+		fn(expr.left);
+		if (expr.right && "fieldRef" in expr.right) fn(expr.right);
+	}
+}
 //#endregion
-export { validateSiblingStringField as _, validateRefArgument as a, getAnnotationAlias as c, getParentStruct as d, getParentTypeName as f, validateFieldBaseType as g, validateExclusiveWith as h, validateQueryScope as i, getDbTableOwner as l, refActionAnnotation as m, hasAnyViewAnnotation as n, viewJoins as o, primitiveBaseType as p, joinTargets as r, viewScopeTypes as s, findFKFieldsPointingTo as t, getNavTargetTypeName as u };
+export { validateSiblingStringField as S, getParentTypeName as _, hasAnyViewAnnotation as a, validateExclusiveWith as b, joinTargets as c, viewJoins as d, viewScopeTypes as f, getParentStruct as g, getNavTargetTypeName as h, forEachFieldRef as i, validateQueryScope as l, getDbTableOwner as m, findFKFieldsPointingTo as n, isAliasDecl as o, getAnnotationAlias as p, findViewCycle as r, isDbSourceDecl as s, earlierJoinTargets as t, validateRefArgument as u, primitiveBaseType as v, validateFieldBaseType as x, refActionAnnotation as y };

package/dist/{validation-utils-Dg0hW6dn.cjs → validation-utils-DOsB4e6G.cjs}

@@ -1,3 +1,4 @@
+const require_derived_rules = require("./derived-rules-YstgIxG-.cjs");
 let _atscript_core = require("@atscript/core");
 //#region src/shared/annotation-utils.ts
 /** Asserts the field carrying this annotation does not also carry any of `others`. */
@@ -177,6 +178,14 @@ function refActionAnnotation(name) {
 }
 //#endregion
 //#region src/shared/validation-utils.ts
+/** Whether a declaration node is a `@db.table` or a `@db.view` (managed or external). */
+function isDbSourceDecl(node) {
+	return require_derived_rules.DB_ENTITY_ANNOTATIONS.some((name) => node.countAnnotations(name) > 0);
+}
+/** Whether a declaration node is a `@db.alias` type. @since 0.1.141 */
+function isAliasDecl(node) {
+	return node.countAnnotations("db.alias") > 0;
+}
 /**
 * Validate a ref annotation argument against the document's type registry.
 * Returns diagnostic messages for unknown types or fields.
@@ -204,16 +213,60 @@ function validateRefArgument(token, doc, options) {
 			return messages;
 		}
 	}
-	if (options?.requireDbTable && decl.node) {
-		if (!(decl.node.countAnnotations("db.table") > 0)) messages.push({
-			severity: 1,
-			message: `Type '${typeName}' must have @db.table annotation.`,
-			range: token.range
-		});
-	}
+	if (options?.accept && decl.node && !options.accept(decl.node)) messages.push({
+		severity: 1,
+		message: isAliasDecl(decl.node) ? `Type '${typeName}' is a @db.alias — a join alias cannot be used here, reference the aliased table or view.` : `Type '${typeName}' ${options.expected ?? "is not accepted here."}`,
+		range: token.range
+	});
 	return messages;
 }
 /**
+* The declaration a view source name stands for: the named table / view, or
+* — for a `@db.alias` type — the aliased table / view. `undefined` when the
+* name does not resolve (unknown, or an import that is not loaded yet).
+* @since 0.1.141
+*/
+function resolveViewSourceDecl(name, doc) {
+	const decl = doc.getDeclarationOwnerNode(name);
+	if (!decl?.node) return;
+	const aliasTarget = getAnnotationAlias(decl.node, "db.alias");
+	if (aliasTarget !== void 0) {
+		const target = decl.doc.getDeclarationOwnerNode(aliasTarget);
+		return target?.node ? {
+			doc: target.doc,
+			node: target.node
+		} : void 0;
+	}
+	return {
+		doc: decl.doc,
+		node: decl.node
+	};
+}
+/**
+* VW9 — the dependency cycle a view closes, as the list of view names from
+* the view back to itself (`["A", "B", "A"]`), or `undefined`. Walks
+* `@db.view.for` / `@db.view.joins` of the referenced declarations across
+* documents; `@db.alias` sources resolve to their target.
+* @since 0.1.141
+*/
+function findViewCycle(owner, doc) {
+	const start = owner.id;
+	if (!start) return;
+	const visited = /* @__PURE__ */ new Set();
+	const walk = (node, nodeDoc, path) => {
+		for (const name of viewScopeTypes(node)) {
+			const source = resolveViewSourceDecl(name, nodeDoc);
+			if (!source) continue;
+			if (source.node === owner) return [...path, start];
+			if (visited.has(source.node)) continue;
+			visited.add(source.node);
+			const cycle = walk(source.node, source.doc, [...path, source.node.id ?? name]);
+			if (cycle) return cycle;
+		}
+	};
+	return walk(owner, doc, [start]);
+}
+/**
 * Find all `@db.rel.FK` fields on a type that reference `targetTypeName`.
 * Resolves `extends` to include inherited fields.
 */
@@ -265,6 +318,16 @@ function joinTargets(joins) {
 	return joins.map((a) => a.args[0]?.text).filter((t) => !!t);
 }
 /**
+* The targets of the `@db.view.joins` declared before `join` among the
+* view's `joins` ({@link viewJoins}) — what a chained join condition may
+* reference besides its target and the entry.
+* @since 0.1.141
+*/
+function earlierJoinTargets(joins, join) {
+	const position = joins.indexOf(join);
+	return joinTargets(position === -1 ? [] : joins.slice(0, position));
+}
+/**
 * The type names a view predicate (`@db.view.filter`, a conditional
 * `@db.agg.*`) may reference: the `@db.view.for` entry table, then every
 * `@db.view.joins` target.
@@ -281,19 +344,23 @@ function hasAnyViewAnnotation(node) {
 	return viewAnnotationNames.some((name) => node.countAnnotations(name) > 0);
 }
 /**
-* Validate that all type refs in a query expression are within the allowed scope.
+* Validate that all field refs in a query expression are within `scope` —
+* the same {@link TQueryScope} the editor completes (`lsp-scopes`):
+* qualified refs must name one of `scope.allowedTypes`; an unqualified ref
+* (a dotted path included) must be a field of `scope.unqualifiedTarget`, or
+* is rejected outright when that is `null`.
 *
 * @param queryToken - The query arg token (must have .queryNode)
-* @param allowedTypes - Type names allowed as qualified refs
-* @param unqualifiedTarget - Type name for resolving unqualified refs, or null to disallow them
+* @param scope - The scope of the argument
 * @param doc - The document for type lookups
 * @param scopeHint - Replaces the default "expected 'A' or 'B'" tail of the out-of-scope message
 */
-function validateQueryScope(queryToken, allowedTypes, unqualifiedTarget, doc, scopeHint) {
+function validateQueryScope(queryToken, scope, doc, scopeHint) {
 	const errors = [];
 	const queryNode = queryToken.queryNode;
 	if (!queryNode) return errors;
-	function walkFieldRef(ref) {
+	const { allowedTypes, unqualifiedTarget } = scope;
+	forEachFieldRef(queryNode.expression, (ref) => {
 		if (ref.typeRef) {
 			const typeName = ref.typeRef.text;
 			if (!allowedTypes.includes(typeName)) errors.push({
@@ -307,37 +374,53 @@ function validateQueryScope(queryToken, allowedTypes, unqualifiedTarget, doc, sc
 			range: ref.fieldRef.range
 		});
 		else {
-			const unwound = doc.unwindType(unqualifiedTarget);
-			if (unwound) {
-				const targetDef = unwound.def;
-				if ((0, _atscript_core.isInterface)(targetDef) || (0, _atscript_core.isStructure)(targetDef)) {
-					const struct = (0, _atscript_core.isInterface)(targetDef) ? targetDef.getDefinition() : targetDef;
-					if (struct && (0, _atscript_core.isStructure)(struct) && !struct.props.has(ref.fieldRef.text)) errors.push({
-						message: `Field '${ref.fieldRef.text}' does not exist on '${unqualifiedTarget}'`,
-						severity: 1,
-						range: ref.fieldRef.range
-					});
-				}
-			}
-		}
-	}
-	function walkExpr(expr) {
-		if ((0, _atscript_core.isQueryLogical)(expr)) for (const operand of expr.operands) walkExpr(operand);
-		else if ((0, _atscript_core.isQueryComparison)(expr)) {
-			walkFieldRef(expr.left);
-			if (expr.right && "fieldRef" in expr.right) walkFieldRef(expr.right);
+			const targetDef = doc.unwindType(unqualifiedTarget)?.def;
+			if (targetDef && ((0, _atscript_core.isInterface)(targetDef) || (0, _atscript_core.isStructure)(targetDef)) && !doc.unwindType(unqualifiedTarget, ref.fieldRef.text.split("."))) errors.push({
+				message: `Field '${ref.fieldRef.text}' does not exist on '${unqualifiedTarget}'`,
+				severity: 1,
+				range: ref.fieldRef.range
+			});
 		}
-	}
-	walkExpr(queryNode.expression);
+	});
 	return errors;
 }
+/**
+* Calls `fn` for every field reference of a query expression — both operands
+* of a field-to-field comparison included.
+* @since 0.1.141
+*/
+function forEachFieldRef(expr, fn) {
+	if ((0, _atscript_core.isQueryLogical)(expr)) for (const operand of expr.operands) forEachFieldRef(operand, fn);
+	else if ((0, _atscript_core.isQueryComparison)(expr)) {
+		fn(expr.left);
+		if (expr.right && "fieldRef" in expr.right) fn(expr.right);
+	}
+}
 //#endregion
+Object.defineProperty(exports, "earlierJoinTargets", {
+	enumerable: true,
+	get: function() {
+		return earlierJoinTargets;
+	}
+});
 Object.defineProperty(exports, "findFKFieldsPointingTo", {
 	enumerable: true,
 	get: function() {
 		return findFKFieldsPointingTo;
 	}
 });
+Object.defineProperty(exports, "findViewCycle", {
+	enumerable: true,
+	get: function() {
+		return findViewCycle;
+	}
+});
+Object.defineProperty(exports, "forEachFieldRef", {
+	enumerable: true,
+	get: function() {
+		return forEachFieldRef;
+	}
+});
 Object.defineProperty(exports, "getAnnotationAlias", {
 	enumerable: true,
 	get: function() {
@@ -374,6 +457,18 @@ Object.defineProperty(exports, "hasAnyViewAnnotation", {
 		return hasAnyViewAnnotation;
 	}
 });
+Object.defineProperty(exports, "isAliasDecl", {
+	enumerable: true,
+	get: function() {
+		return isAliasDecl;
+	}
+});
+Object.defineProperty(exports, "isDbSourceDecl", {
+	enumerable: true,
+	get: function() {
+		return isDbSourceDecl;
+	}
+});
 Object.defineProperty(exports, "joinTargets", {
 	enumerable: true,
 	get: function() {

package/dist/{validator-Drb2N-YL.d.cts → validator-Bw6ks9Hy.d.cts}

@@ -78,16 +78,6 @@ type TDbPatch<T> = { [K in keyof T]?: T[K] extends Array<infer _> ? TArrayPatch<
  */
 declare function getKeyProps(def: TAtscriptAnnotatedType<TAtscriptTypeArray>): Set<string>;
 //#endregion
-//#region src/shared/object.d.ts
-/**
- * Plain object: prototype is `Object.prototype` or `null` — never a class
- * instance (`Date`, `Uint8Array`, `ObjectId`, …) and never an array.
- * Browser-safe; shared by the write paths, the HTTP shape gate and the client.
- */
-declare function isPlainObject(value: unknown): value is Record<string, unknown>;
-/** Zero-allocation emptiness check for a plain object (`{}` → `true`). */
-declare function isEmptyObject(obj: Record<string, unknown>): boolean;
-//#endregion
 //#region src/validator.d.ts
 /** Write operation mode for validator configuration. */
 type ValidatorMode = "insert" | "patch" | "replace";
@@ -148,4 +138,4 @@ interface ValidationContext {
  */
 declare function buildValidationContext(type: TAtscriptAnnotatedType<TAtscriptTypeObject>): ValidationContext;
 //#endregion
-export { DbErrorCode as _, buildValidationContext as a, isNavRelation as c, TArrayPatch as d, TDbPatch as f, DbError as g, CasMismatchError as h, buildPatchPartial as i, isEmptyObject as l, CasExhaustedError as m, ValidatorMode as n, dbPlugin as o, getKeyProps as p, buildDbValidator as r, forceNavNonOptional as s, ValidationContext as t, isPlainObject as u, bucketTimeZoneUnavailable as v };
+export { buildValidationContext as a, isNavRelation as c, getKeyProps as d, CasExhaustedError as f, bucketTimeZoneUnavailable as g, DbErrorCode as h, buildPatchPartial as i, TArrayPatch as l, DbError as m, ValidatorMode as n, dbPlugin as o, CasMismatchError as p, buildDbValidator as r, forceNavNonOptional as s, ValidationContext as t, TDbPatch as u };

package/dist/{validator-Drb2N-YL.d.mts → validator-Bw6ks9Hy.d.mts}

@@ -78,16 +78,6 @@ type TDbPatch<T> = { [K in keyof T]?: T[K] extends Array<infer _> ? TArrayPatch<
  */
 declare function getKeyProps(def: TAtscriptAnnotatedType<TAtscriptTypeArray>): Set<string>;
 //#endregion
-//#region src/shared/object.d.ts
-/**
- * Plain object: prototype is `Object.prototype` or `null` — never a class
- * instance (`Date`, `Uint8Array`, `ObjectId`, …) and never an array.
- * Browser-safe; shared by the write paths, the HTTP shape gate and the client.
- */
-declare function isPlainObject(value: unknown): value is Record<string, unknown>;
-/** Zero-allocation emptiness check for a plain object (`{}` → `true`). */
-declare function isEmptyObject(obj: Record<string, unknown>): boolean;
-//#endregion
 //#region src/validator.d.ts
 /** Write operation mode for validator configuration. */
 type ValidatorMode = "insert" | "patch" | "replace";
@@ -148,4 +138,4 @@ interface ValidationContext {
  */
 declare function buildValidationContext(type: TAtscriptAnnotatedType<TAtscriptTypeObject>): ValidationContext;
 //#endregion
-export { DbErrorCode as _, buildValidationContext as a, isNavRelation as c, TArrayPatch as d, TDbPatch as f, DbError as g, CasMismatchError as h, buildPatchPartial as i, isEmptyObject as l, CasExhaustedError as m, ValidatorMode as n, dbPlugin as o, getKeyProps as p, buildDbValidator as r, forceNavNonOptional as s, ValidationContext as t, isPlainObject as u, bucketTimeZoneUnavailable as v };
+export { buildValidationContext as a, isNavRelation as c, getKeyProps as d, CasExhaustedError as f, bucketTimeZoneUnavailable as g, DbErrorCode as h, buildPatchPartial as i, TArrayPatch as l, DbError as m, ValidatorMode as n, dbPlugin as o, CasMismatchError as p, buildDbValidator as r, forceNavNonOptional as s, ValidationContext as t, TDbPatch as u };

package/dist/{validator-Ch7UIQl9.mjs → validator-D8bPsXPN.mjs}

@@ -17,6 +17,54 @@ function isEmptyObject(obj) {
 	for (const _ in obj) return false;
 	return true;
 }
+/**
+* Finds the nearest ancestor of `path` that belongs to `set`.
+* Used by both the build pipeline (in `_classifyFields`) and
+* runtime reconstruction on the Readable.
+*/
+function findAncestorInSet(path, set) {
+	let pos = path.length;
+	while ((pos = path.lastIndexOf(".", pos - 1)) !== -1) {
+		const ancestor = path.slice(0, pos);
+		if (set.has(ancestor)) return ancestor;
+	}
+}
+/** `path` itself if it is in `set`, else its nearest ancestor in `set` ({@link findAncestorInSet}). */
+function selfOrAncestor(path, set) {
+	return set.has(path) ? path : findAncestorInSet(path, set);
+}
+/** Splits a dot-path once; an already split path is used as-is. */
+function segmentsOf(path) {
+	return typeof path === "string" ? path.split(".") : path;
+}
+/**
+* Reads a dot-path (or its segments) off a nested plain object: `undefined`
+* past a missing step, or a step that is not a plain object (arrays are not
+* descended into — no positional indexing).
+* @since 0.1.141
+*/
+function getPath(row, path) {
+	let current = row;
+	for (const seg of segmentsOf(path)) {
+		if (current === null || typeof current !== "object" || Array.isArray(current)) return;
+		current = current[seg];
+	}
+	return current;
+}
+/**
+* Deletes a dot-path (or its segments) from a nested plain object; a no-op
+* when an intermediate step is missing or not a plain object.
+* @since 0.1.141
+*/
+function deletePath(target, path) {
+	const segments = segmentsOf(path);
+	let current = target;
+	for (let i = 0; i < segments.length - 1; i++) {
+		if (current === null || typeof current !== "object" || Array.isArray(current)) return;
+		current = current[segments[i]];
+	}
+	if (current !== null && typeof current === "object" && !Array.isArray(current)) delete current[segments[segments.length - 1]];
+}
 //#endregion
 //#region src/patch/patch-types.ts
 /**
@@ -92,7 +140,7 @@ function createDbValidatorPlugin() {
 		if (isTo || isFrom || isVia) return handleNavField(ctx, def, value, dbCtx, isTo, isFrom, isVia);
 		if (value === void 0 && (dbCtx.mode === "insert" || dbCtx.mode === "replace")) {
 			const meta = def.metadata;
-			const serverManaged = meta.has("db.default") || meta.has("db.default.increment") || meta.has("db.default.uuid") || meta.has("db.default.now") || meta.has("db.column.version");
+			const serverManaged = meta.has("db.default") || meta.has("db.default.increment") || meta.has("db.default.uuid") || meta.has("db.default.now") || meta.has("db.column.version") || meta.has("db.column.derived");
 			const hasFK = meta.has("db.rel.FK");
 			if (serverManaged || hasFK) {
 				if (dbCtx.mode === "replace" && meta.has("meta.id") && !isInsideNavField(ctx.path, dbCtx.navFields)) return;
@@ -101,6 +149,10 @@ function createDbValidatorPlugin() {
 		}
 		if (dbCtx.mode === "patch") {
 			if (isDbFieldOp(value)) {
+				if (def.metadata.has("db.column.derived")) {
+					ctx.error("Field operations ($inc/$dec/$mul) are not allowed on a @db.column.derived field — it is computed from its @db.json source; patch the source leaf instead");
+					return false;
+				}
 				if (dbCtx.flatMap && !isFieldOpAllowed(ctx.path, dbCtx.flatMap, dbCtx.navFields)) {
 					ctx.error("Field operations ($inc/$dec/$mul) are not supported inside @db.json fields or nested objects without @db.patch.strategy \"merge\"");
 					return false;
@@ -400,4 +452,4 @@ function buildValidationContext(type) {
 	};
 }
 //#endregion
-export { forceNavNonOptional as a, getKeyProps as c, dbPlugin as i, isEmptyObject as l, buildPatchPartial as n, isNavRelation as o, buildValidationContext as r, createDbValidatorPlugin as s, buildDbValidator as t, isPlainObject as u };
+export { forceNavNonOptional as a, getKeyProps as c, getPath as d, isEmptyObject as f, dbPlugin as i, deletePath as l, selfOrAncestor as m, buildPatchPartial as n, isNavRelation as o, isPlainObject as p, buildValidationContext as r, createDbValidatorPlugin as s, buildDbValidator as t, findAncestorInSet as u };

package/dist/{validator-BtZbcLN2.cjs → validator-DASnXf1j.cjs}

@@ -17,6 +17,54 @@ function isEmptyObject(obj) {
 	for (const _ in obj) return false;
 	return true;
 }
+/**
+* Finds the nearest ancestor of `path` that belongs to `set`.
+* Used by both the build pipeline (in `_classifyFields`) and
+* runtime reconstruction on the Readable.
+*/
+function findAncestorInSet(path, set) {
+	let pos = path.length;
+	while ((pos = path.lastIndexOf(".", pos - 1)) !== -1) {
+		const ancestor = path.slice(0, pos);
+		if (set.has(ancestor)) return ancestor;
+	}
+}
+/** `path` itself if it is in `set`, else its nearest ancestor in `set` ({@link findAncestorInSet}). */
+function selfOrAncestor(path, set) {
+	return set.has(path) ? path : findAncestorInSet(path, set);
+}
+/** Splits a dot-path once; an already split path is used as-is. */
+function segmentsOf(path) {
+	return typeof path === "string" ? path.split(".") : path;
+}
+/**
+* Reads a dot-path (or its segments) off a nested plain object: `undefined`
+* past a missing step, or a step that is not a plain object (arrays are not
+* descended into — no positional indexing).
+* @since 0.1.141
+*/
+function getPath(row, path) {
+	let current = row;
+	for (const seg of segmentsOf(path)) {
+		if (current === null || typeof current !== "object" || Array.isArray(current)) return;
+		current = current[seg];
+	}
+	return current;
+}
+/**
+* Deletes a dot-path (or its segments) from a nested plain object; a no-op
+* when an intermediate step is missing or not a plain object.
+* @since 0.1.141
+*/
+function deletePath(target, path) {
+	const segments = segmentsOf(path);
+	let current = target;
+	for (let i = 0; i < segments.length - 1; i++) {
+		if (current === null || typeof current !== "object" || Array.isArray(current)) return;
+		current = current[segments[i]];
+	}
+	if (current !== null && typeof current === "object" && !Array.isArray(current)) delete current[segments[segments.length - 1]];
+}
 //#endregion
 //#region src/patch/patch-types.ts
 /**
@@ -92,7 +140,7 @@ function createDbValidatorPlugin() {
 		if (isTo || isFrom || isVia) return handleNavField(ctx, def, value, dbCtx, isTo, isFrom, isVia);
 		if (value === void 0 && (dbCtx.mode === "insert" || dbCtx.mode === "replace")) {
 			const meta = def.metadata;
-			const serverManaged = meta.has("db.default") || meta.has("db.default.increment") || meta.has("db.default.uuid") || meta.has("db.default.now") || meta.has("db.column.version");
+			const serverManaged = meta.has("db.default") || meta.has("db.default.increment") || meta.has("db.default.uuid") || meta.has("db.default.now") || meta.has("db.column.version") || meta.has("db.column.derived");
 			const hasFK = meta.has("db.rel.FK");
 			if (serverManaged || hasFK) {
 				if (dbCtx.mode === "replace" && meta.has("meta.id") && !isInsideNavField(ctx.path, dbCtx.navFields)) return;
@@ -101,6 +149,10 @@ function createDbValidatorPlugin() {
 		}
 		if (dbCtx.mode === "patch") {
 			if (require_ops.isDbFieldOp(value)) {
+				if (def.metadata.has("db.column.derived")) {
+					ctx.error("Field operations ($inc/$dec/$mul) are not allowed on a @db.column.derived field — it is computed from its @db.json source; patch the source leaf instead");
+					return false;
+				}
 				if (dbCtx.flatMap && !isFieldOpAllowed(ctx.path, dbCtx.flatMap, dbCtx.navFields)) {
 					ctx.error("Field operations ($inc/$dec/$mul) are not supported inside @db.json fields or nested objects without @db.patch.strategy \"merge\"");
 					return false;
@@ -430,6 +482,18 @@ Object.defineProperty(exports, "dbPlugin", {
 		return dbPlugin;
 	}
 });
+Object.defineProperty(exports, "deletePath", {
+	enumerable: true,
+	get: function() {
+		return deletePath;
+	}
+});
+Object.defineProperty(exports, "findAncestorInSet", {
+	enumerable: true,
+	get: function() {
+		return findAncestorInSet;
+	}
+});
 Object.defineProperty(exports, "forceNavNonOptional", {
 	enumerable: true,
 	get: function() {
@@ -442,6 +506,12 @@ Object.defineProperty(exports, "getKeyProps", {
 		return getKeyProps;
 	}
 });
+Object.defineProperty(exports, "getPath", {
+	enumerable: true,
+	get: function() {
+		return getPath;
+	}
+});
 Object.defineProperty(exports, "isEmptyObject", {
 	enumerable: true,
 	get: function() {
@@ -460,3 +530,9 @@ Object.defineProperty(exports, "isPlainObject", {
 		return isPlainObject;
 	}
 });
+Object.defineProperty(exports, "selfOrAncestor", {
+	enumerable: true,
+	get: function() {
+		return selfOrAncestor;
+	}
+});

package/dist/validator.cjs

@@ -1,6 +1,6 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
 const require_db_error = require("./db-error-DTkkeu5b.cjs");
-const require_validator = require("./validator-BtZbcLN2.cjs");
+const require_validator = require("./validator-DASnXf1j.cjs");
 const require_ops = require("./ops.cjs");
 exports.$cas = require_ops.$cas;
 exports.$dec = require_ops.$dec;

package/dist/validator.d.cts

@@ -1,4 +1,5 @@
 import { a as $mul, c as $update, d as TDbFieldOp, g as separateCas, h as reconcileCas, i as $insert, l as $upsert, m as isDbFieldOp, n as $dec, o as $remove, r as $inc, s as $replace, t as $cas, u as TDbCas } from "./ops-AqhV7s9o.cjs";
-import { a as buildValidationContext, c as isNavRelation, d as TArrayPatch, f as TDbPatch, g as DbError, i as buildPatchPartial, l as isEmptyObject, n as ValidatorMode, o as dbPlugin, p as getKeyProps, r as buildDbValidator, s as forceNavNonOptional, t as ValidationContext, u as isPlainObject } from "./validator-Drb2N-YL.cjs";
+import { a as isPlainObject, i as isEmptyObject } from "./object-DSN0h9lB.cjs";
+import { a as buildValidationContext, c as isNavRelation, d as getKeyProps, i as buildPatchPartial, l as TArrayPatch, m as DbError, n as ValidatorMode, o as dbPlugin, r as buildDbValidator, s as forceNavNonOptional, t as ValidationContext, u as TDbPatch } from "./validator-Bw6ks9Hy.cjs";
 import { n as createDbValidatorPlugin, t as DbValidationContext } from "./db-validator-plugin-BWy60OvG.cjs";
 export { $cas, $dec, $inc, $insert, $mul, $remove, $replace, $update, $upsert, DbError, type DbValidationContext, type TArrayPatch, type TDbCas, type TDbFieldOp, type TDbPatch, ValidationContext, ValidatorMode, buildDbValidator, buildPatchPartial, buildValidationContext, createDbValidatorPlugin, dbPlugin, forceNavNonOptional, getKeyProps, isDbFieldOp, isEmptyObject, isNavRelation, isPlainObject, reconcileCas, separateCas };