@atscript/db 0.1.140 → 0.1.142

package/dist/rel.cjs

@@ -1,6 +1,6 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
-const require_nested_writer = require("./nested-writer-BZNCuqI6.cjs");
-const require_relation_loader = require("./relation-loader-6ZB_5KFq.cjs");
+const require_nested_writer = require("./nested-writer-DYsRxZ5f.cjs");
+const require_relation_loader = require("./relation-loader-CgJ8bK6X.cjs");
 exports.batchInsertNestedFrom = require_nested_writer.batchInsertNestedFrom;
 exports.batchInsertNestedTo = require_nested_writer.batchInsertNestedTo;
 exports.batchInsertNestedVia = require_nested_writer.batchInsertNestedVia;

package/dist/rel.d.cts

@@ -1,6 +1,6 @@
-import { Pt as BaseDbAdapter, bt as TTableResolver, kt as TableMetadata, q as TDbRelation, sn as TGenericLogger, wt as TWriteTableResolver, z as TDbForeignKey } from "./buckets-C-27xmtq.cjs";
+import { Dt as TWriteTableResolver, It as BaseDbAdapter, Mt as TableMetadata, St as TTableResolver, q as TDbRelation, un as TGenericLogger, z as TDbForeignKey } from "./buckets-Bv4pah66.cjs";
 import { t as DbValidationContext } from "./db-validator-plugin-BWy60OvG.cjs";
-import { n as findRemoteFK, r as resolveRelationTargetTable, t as findFKForRelation } from "./relation-helpers-DxrvS6ar.cjs";
+import { n as findRemoteFK, r as resolveRelationTargetTable, t as findFKForRelation } from "./relation-helpers-DQ_nRsV9.cjs";
 import { FilterExpr, WithRelation } from "@uniqu/core";
 import { Validator } from "@atscript/typescript/utils";
 

package/dist/rel.d.mts

@@ -1,6 +1,6 @@
-import { Pt as BaseDbAdapter, bt as TTableResolver, kt as TableMetadata, q as TDbRelation, sn as TGenericLogger, wt as TWriteTableResolver, z as TDbForeignKey } from "./buckets-BFG2RYRW.mjs";
+import { Dt as TWriteTableResolver, It as BaseDbAdapter, Mt as TableMetadata, St as TTableResolver, q as TDbRelation, un as TGenericLogger, z as TDbForeignKey } from "./buckets-CjL7F-hp.mjs";
 import { t as DbValidationContext } from "./db-validator-plugin-BWy60OvG.mjs";
-import { n as findRemoteFK, r as resolveRelationTargetTable, t as findFKForRelation } from "./relation-helpers-D3Zu0Mta.mjs";
+import { n as findRemoteFK, r as resolveRelationTargetTable, t as findFKForRelation } from "./relation-helpers-B59to_dG.mjs";
 import { Validator } from "@atscript/typescript/utils";
 import { FilterExpr, WithRelation } from "@uniqu/core";
 

package/dist/rel.mjs

@@ -1,3 +1,3 @@
-import { t as loadRelationsImpl } from "./relation-loader-CTFaZpVa.mjs";
-import { _ as resolveRelationTargetTable, a as batchPatchNestedTo, c as batchReplaceNestedTo, d as preValidateNestedFrom, f as validateBatch, g as findRemoteFK, h as findFKForRelation, i as batchPatchNestedFrom, l as batchReplaceNestedVia, n as batchInsertNestedTo, o as batchPatchNestedVia, r as batchInsertNestedVia, s as batchReplaceNestedFrom, t as batchInsertNestedFrom, u as checkDepthOverflow } from "./nested-writer-FWD5oOYh.mjs";
+import { t as loadRelationsImpl } from "./relation-loader-CuhEBzFU.mjs";
+import { _ as resolveRelationTargetTable, a as batchPatchNestedTo, c as batchReplaceNestedTo, d as preValidateNestedFrom, f as validateBatch, g as findRemoteFK, h as findFKForRelation, i as batchPatchNestedFrom, l as batchReplaceNestedVia, n as batchInsertNestedTo, o as batchPatchNestedVia, r as batchInsertNestedVia, s as batchReplaceNestedFrom, t as batchInsertNestedFrom, u as checkDepthOverflow } from "./nested-writer-BO3vhbkP.mjs";
 export { batchInsertNestedFrom, batchInsertNestedTo, batchInsertNestedVia, batchPatchNestedFrom, batchPatchNestedTo, batchPatchNestedVia, batchReplaceNestedFrom, batchReplaceNestedTo, batchReplaceNestedVia, checkDepthOverflow, findFKForRelation, findRemoteFK, loadRelationsImpl, preValidateNestedFrom, resolveRelationTargetTable, validateBatch };

package/dist/{relation-helpers-D3Zu0Mta.d.mts → relation-helpers-B59to_dG.d.mts}

@@ -1,4 +1,4 @@
-import { q as TDbRelation, z as TDbForeignKey } from "./buckets-BFG2RYRW.mjs";
+import { q as TDbRelation, z as TDbForeignKey } from "./buckets-CjL7F-hp.mjs";
 import { TAtscriptAnnotatedType } from "@atscript/typescript/utils";
 
 //#region src/rel/relation-helpers.d.ts
@@ -16,9 +16,10 @@ declare function findRemoteFK(targetTable: {
   foreignKeys: ReadonlyMap<string, TDbForeignKey>;
 }, thisTableName: string, alias?: string): TDbForeignKey | undefined;
 /**
- * Table name of an annotated type — its `@db.table`, else its type id (`""`
- * when neither is set). The rule relations, foreign keys and view plans use
- * to name a referenced table.
+ * Physical name of an annotated type — its `@db.table`, else its `@db.view`
+ * name (a view is a readable source too, since 0.1.141), else its type id
+ * (`""` when none is set). The rule relations, foreign keys and view plans
+ * use to name a referenced table or view.
  * @since 0.1.136
  */
 declare function tableNameOf(type: TAtscriptAnnotatedType | undefined): string;

package/dist/{relation-helpers-DxrvS6ar.d.cts → relation-helpers-DQ_nRsV9.d.cts}

@@ -1,4 +1,4 @@
-import { q as TDbRelation, z as TDbForeignKey } from "./buckets-C-27xmtq.cjs";
+import { q as TDbRelation, z as TDbForeignKey } from "./buckets-Bv4pah66.cjs";
 import { TAtscriptAnnotatedType } from "@atscript/typescript/utils";
 
 //#region src/rel/relation-helpers.d.ts
@@ -16,9 +16,10 @@ declare function findRemoteFK(targetTable: {
   foreignKeys: ReadonlyMap<string, TDbForeignKey>;
 }, thisTableName: string, alias?: string): TDbForeignKey | undefined;
 /**
- * Table name of an annotated type — its `@db.table`, else its type id (`""`
- * when neither is set). The rule relations, foreign keys and view plans use
- * to name a referenced table.
+ * Physical name of an annotated type — its `@db.table`, else its `@db.view`
+ * name (a view is a readable source too, since 0.1.141), else its type id
+ * (`""` when none is set). The rule relations, foreign keys and view plans
+ * use to name a referenced table or view.
  * @since 0.1.136
  */
 declare function tableNameOf(type: TAtscriptAnnotatedType | undefined): string;

package/dist/{relation-loader-6ZB_5KFq.cjs → relation-loader-CgJ8bK6X.cjs}

@@ -1,4 +1,4 @@
-const require_nested_writer = require("./nested-writer-BZNCuqI6.cjs");
+const require_nested_writer = require("./nested-writer-DYsRxZ5f.cjs");
 //#region src/rel/relation-loader.ts
 var relation_loader_exports = /* @__PURE__ */ require("./plugin.cjs").__exportAll({
 	ensureSelectIncludesFields: () => ensureSelectIncludesFields,

package/dist/{relation-loader-CTFaZpVa.mjs → relation-loader-CuhEBzFU.mjs}

@@ -1,4 +1,4 @@
-import { _ as resolveRelationTargetTable, g as findRemoteFK, h as findFKForRelation } from "./nested-writer-FWD5oOYh.mjs";
+import { _ as resolveRelationTargetTable, g as findRemoteFK, h as findFKForRelation } from "./nested-writer-BO3vhbkP.mjs";
 //#region \0rolldown/runtime.js
 var __defProp = Object.defineProperty;
 var __exportAll = (all, no_symbols) => {

package/dist/shared.cjs

@@ -1,12 +1,17 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
-const require_validation_utils = require("./validation-utils-Dg0hW6dn.cjs");
+const require_validation_utils = require("./validation-utils-DOsB4e6G.cjs");
+exports.earlierJoinTargets = require_validation_utils.earlierJoinTargets;
 exports.findFKFieldsPointingTo = require_validation_utils.findFKFieldsPointingTo;
+exports.findViewCycle = require_validation_utils.findViewCycle;
+exports.forEachFieldRef = require_validation_utils.forEachFieldRef;
 exports.getAnnotationAlias = require_validation_utils.getAnnotationAlias;
 exports.getDbTableOwner = require_validation_utils.getDbTableOwner;
 exports.getNavTargetTypeName = require_validation_utils.getNavTargetTypeName;
 exports.getParentStruct = require_validation_utils.getParentStruct;
 exports.getParentTypeName = require_validation_utils.getParentTypeName;
 exports.hasAnyViewAnnotation = require_validation_utils.hasAnyViewAnnotation;
+exports.isAliasDecl = require_validation_utils.isAliasDecl;
+exports.isDbSourceDecl = require_validation_utils.isDbSourceDecl;
 exports.joinTargets = require_validation_utils.joinTargets;
 exports.primitiveBaseType = require_validation_utils.primitiveBaseType;
 exports.refActionAnnotation = require_validation_utils.refActionAnnotation;

package/dist/shared.d.cts

@@ -1,4 +1,4 @@
-import { AnnotationSpec, AtscriptDoc, SemanticInterfaceNode, SemanticNode, SemanticPropNode, SemanticStructureNode, TAnnotationTokens, TMessages, Token } from "@atscript/core";
+import { AnnotationSpec, AtscriptDoc, SemanticInterfaceNode, SemanticNode, SemanticPropNode, SemanticQueryExprNode, SemanticQueryFieldRefNode, SemanticStructureNode, TAnnotationTokens, TMessages, TQueryScope, Token } from "@atscript/core";
 
 //#region src/shared/annotation-utils.d.ts
 /** Asserts the field carrying this annotation does not also carry any of `others`. */
@@ -43,13 +43,36 @@ declare function getAnnotationAlias(prop: SemanticNode, annotationName: string):
 declare function refActionAnnotation(name: "onDelete" | "onUpdate"): AnnotationSpec;
 //#endregion
 //#region src/shared/validation-utils.d.ts
+/** Options of {@link validateRefArgument}. */
+interface TRefArgumentOptions {
+  /**
+   * The declarations the argument may name — the same predicate its editor
+   * `refFilter` completes with (`lsp-scopes`), so a diagnostic and the
+   * completion list never disagree. A `@db.alias` declaration it rejects
+   * gets the alias-specific message.
+   * @since 0.1.141
+   */
+  accept?: (decl: SemanticNode) => boolean;
+  /** What {@link accept} demands, for the diagnostic: `Type 'X' <expected>`. */
+  expected?: string;
+}
+/** Whether a declaration node is a `@db.table` or a `@db.view` (managed or external). */
+declare function isDbSourceDecl(node: SemanticNode): boolean;
+/** Whether a declaration node is a `@db.alias` type. @since 0.1.141 */
+declare function isAliasDecl(node: SemanticNode): boolean;
 /**
  * Validate a ref annotation argument against the document's type registry.
  * Returns diagnostic messages for unknown types or fields.
  */
-declare function validateRefArgument(token: Token, doc: AtscriptDoc, options?: {
-  requireDbTable?: boolean;
-}): TMessages;
+declare function validateRefArgument(token: Token, doc: AtscriptDoc, options?: TRefArgumentOptions): TMessages;
+/**
+ * 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
+ */
+declare function findViewCycle(owner: SemanticNode, doc: AtscriptDoc): string[] | undefined;
 interface TFKFieldMatch {
   name: string;
   prop: SemanticPropNode;
@@ -67,6 +90,13 @@ declare function findFKFieldsPointingTo(doc: AtscriptDoc, iface: SemanticInterfa
 declare function viewJoins(owner: SemanticNode): TAnnotationTokens[];
 /** The target type names of `@db.view.joins` annotations. */
 declare function joinTargets(joins: readonly TAnnotationTokens[]): string[];
+/**
+ * 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
+ */
+declare function earlierJoinTargets(joins: readonly TAnnotationTokens[], join: TAnnotationTokens): string[];
 /**
  * The type names a view predicate (`@db.view.filter`, a conditional
  * `@db.agg.*`) may reference: the `@db.view.for` entry table, then every
@@ -78,14 +108,23 @@ declare function viewScopeTypes(owner: SemanticNode): string[];
  */
 declare function hasAnyViewAnnotation(node: SemanticNode): boolean;
 /**
- * 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
  */
-declare function validateQueryScope(queryToken: Token, allowedTypes: string[], unqualifiedTarget: string | null, doc: AtscriptDoc, scopeHint?: string): TMessages;
+declare function validateQueryScope(queryToken: Token, scope: TQueryScope, doc: AtscriptDoc, scopeHint?: string): TMessages;
+/**
+ * Calls `fn` for every field reference of a query expression — both operands
+ * of a field-to-field comparison included.
+ * @since 0.1.141
+ */
+declare function forEachFieldRef(expr: SemanticQueryExprNode, fn: (ref: SemanticQueryFieldRefNode) => void): void;
 //#endregion
-export { TFKFieldMatch, findFKFieldsPointingTo, getAnnotationAlias, getDbTableOwner, getNavTargetTypeName, getParentStruct, getParentTypeName, hasAnyViewAnnotation, joinTargets, primitiveBaseType, refActionAnnotation, validateExclusiveWith, validateFieldBaseType, validateQueryScope, validateRefArgument, validateSiblingStringField, viewJoins, viewScopeTypes };
+export { TFKFieldMatch, TRefArgumentOptions, earlierJoinTargets, findFKFieldsPointingTo, findViewCycle, forEachFieldRef, getAnnotationAlias, getDbTableOwner, getNavTargetTypeName, getParentStruct, getParentTypeName, hasAnyViewAnnotation, isAliasDecl, isDbSourceDecl, joinTargets, primitiveBaseType, refActionAnnotation, validateExclusiveWith, validateFieldBaseType, validateQueryScope, validateRefArgument, validateSiblingStringField, viewJoins, viewScopeTypes };

package/dist/shared.d.mts

@@ -1,4 +1,4 @@
-import { AnnotationSpec, AtscriptDoc, SemanticInterfaceNode, SemanticNode, SemanticPropNode, SemanticStructureNode, TAnnotationTokens, TMessages, Token } from "@atscript/core";
+import { AnnotationSpec, AtscriptDoc, SemanticInterfaceNode, SemanticNode, SemanticPropNode, SemanticQueryExprNode, SemanticQueryFieldRefNode, SemanticStructureNode, TAnnotationTokens, TMessages, TQueryScope, Token } from "@atscript/core";
 
 //#region src/shared/annotation-utils.d.ts
 /** Asserts the field carrying this annotation does not also carry any of `others`. */
@@ -43,13 +43,36 @@ declare function getAnnotationAlias(prop: SemanticNode, annotationName: string):
 declare function refActionAnnotation(name: "onDelete" | "onUpdate"): AnnotationSpec;
 //#endregion
 //#region src/shared/validation-utils.d.ts
+/** Options of {@link validateRefArgument}. */
+interface TRefArgumentOptions {
+  /**
+   * The declarations the argument may name — the same predicate its editor
+   * `refFilter` completes with (`lsp-scopes`), so a diagnostic and the
+   * completion list never disagree. A `@db.alias` declaration it rejects
+   * gets the alias-specific message.
+   * @since 0.1.141
+   */
+  accept?: (decl: SemanticNode) => boolean;
+  /** What {@link accept} demands, for the diagnostic: `Type 'X' <expected>`. */
+  expected?: string;
+}
+/** Whether a declaration node is a `@db.table` or a `@db.view` (managed or external). */
+declare function isDbSourceDecl(node: SemanticNode): boolean;
+/** Whether a declaration node is a `@db.alias` type. @since 0.1.141 */
+declare function isAliasDecl(node: SemanticNode): boolean;
 /**
  * Validate a ref annotation argument against the document's type registry.
  * Returns diagnostic messages for unknown types or fields.
  */
-declare function validateRefArgument(token: Token, doc: AtscriptDoc, options?: {
-  requireDbTable?: boolean;
-}): TMessages;
+declare function validateRefArgument(token: Token, doc: AtscriptDoc, options?: TRefArgumentOptions): TMessages;
+/**
+ * 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
+ */
+declare function findViewCycle(owner: SemanticNode, doc: AtscriptDoc): string[] | undefined;
 interface TFKFieldMatch {
   name: string;
   prop: SemanticPropNode;
@@ -67,6 +90,13 @@ declare function findFKFieldsPointingTo(doc: AtscriptDoc, iface: SemanticInterfa
 declare function viewJoins(owner: SemanticNode): TAnnotationTokens[];
 /** The target type names of `@db.view.joins` annotations. */
 declare function joinTargets(joins: readonly TAnnotationTokens[]): string[];
+/**
+ * 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
+ */
+declare function earlierJoinTargets(joins: readonly TAnnotationTokens[], join: TAnnotationTokens): string[];
 /**
  * The type names a view predicate (`@db.view.filter`, a conditional
  * `@db.agg.*`) may reference: the `@db.view.for` entry table, then every
@@ -78,14 +108,23 @@ declare function viewScopeTypes(owner: SemanticNode): string[];
  */
 declare function hasAnyViewAnnotation(node: SemanticNode): boolean;
 /**
- * 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
  */
-declare function validateQueryScope(queryToken: Token, allowedTypes: string[], unqualifiedTarget: string | null, doc: AtscriptDoc, scopeHint?: string): TMessages;
+declare function validateQueryScope(queryToken: Token, scope: TQueryScope, doc: AtscriptDoc, scopeHint?: string): TMessages;
+/**
+ * Calls `fn` for every field reference of a query expression — both operands
+ * of a field-to-field comparison included.
+ * @since 0.1.141
+ */
+declare function forEachFieldRef(expr: SemanticQueryExprNode, fn: (ref: SemanticQueryFieldRefNode) => void): void;
 //#endregion
-export { TFKFieldMatch, findFKFieldsPointingTo, getAnnotationAlias, getDbTableOwner, getNavTargetTypeName, getParentStruct, getParentTypeName, hasAnyViewAnnotation, joinTargets, primitiveBaseType, refActionAnnotation, validateExclusiveWith, validateFieldBaseType, validateQueryScope, validateRefArgument, validateSiblingStringField, viewJoins, viewScopeTypes };
+export { TFKFieldMatch, TRefArgumentOptions, earlierJoinTargets, findFKFieldsPointingTo, findViewCycle, forEachFieldRef, getAnnotationAlias, getDbTableOwner, getNavTargetTypeName, getParentStruct, getParentTypeName, hasAnyViewAnnotation, isAliasDecl, isDbSourceDecl, joinTargets, primitiveBaseType, refActionAnnotation, validateExclusiveWith, validateFieldBaseType, validateQueryScope, validateRefArgument, validateSiblingStringField, viewJoins, viewScopeTypes };

package/dist/shared.mjs

@@ -1,2 +1,2 @@
-import { _ as validateSiblingStringField, a as validateRefArgument, c as getAnnotationAlias, d as getParentStruct, f as getParentTypeName, g as validateFieldBaseType, h as validateExclusiveWith, i as validateQueryScope, l as getDbTableOwner, m as refActionAnnotation, n as hasAnyViewAnnotation, o as viewJoins, p as primitiveBaseType, r as joinTargets, s as viewScopeTypes, t as findFKFieldsPointingTo, u as getNavTargetTypeName } from "./validation-utils-B4h-GW4d.mjs";
-export { findFKFieldsPointingTo, getAnnotationAlias, getDbTableOwner, getNavTargetTypeName, getParentStruct, getParentTypeName, hasAnyViewAnnotation, joinTargets, primitiveBaseType, refActionAnnotation, validateExclusiveWith, validateFieldBaseType, validateQueryScope, validateRefArgument, validateSiblingStringField, viewJoins, viewScopeTypes };
+import { S as validateSiblingStringField, _ as getParentTypeName, a as hasAnyViewAnnotation, b as validateExclusiveWith, c as joinTargets, d as viewJoins, f as viewScopeTypes, g as getParentStruct, h as getNavTargetTypeName, i as forEachFieldRef, l as validateQueryScope, m as getDbTableOwner, n as findFKFieldsPointingTo, o as isAliasDecl, p as getAnnotationAlias, r as findViewCycle, s as isDbSourceDecl, t as earlierJoinTargets, u as validateRefArgument, v as primitiveBaseType, x as validateFieldBaseType, y as refActionAnnotation } from "./validation-utils-CMR4fe2M.mjs";
+export { earlierJoinTargets, findFKFieldsPointingTo, findViewCycle, forEachFieldRef, getAnnotationAlias, getDbTableOwner, getNavTargetTypeName, getParentStruct, getParentTypeName, hasAnyViewAnnotation, isAliasDecl, isDbSourceDecl, joinTargets, primitiveBaseType, refActionAnnotation, validateExclusiveWith, validateFieldBaseType, validateQueryScope, validateRefArgument, validateSiblingStringField, viewJoins, viewScopeTypes };