@malloy-publisher/server 0.0.235 → 0.0.236

package/src/service/materialization_config_validation.spec.ts

@@ -1,99 +0,0 @@
-import { describe, expect, it } from "bun:test";
-import type { components } from "../api";
-import { materializationConfigWarnings } from "./materialization_config_validation";
-
-const source = (
-   name: string,
-   queryMetadata: Record<string, string> | null,
-): components["schemas"]["PersistSourcePlan"] => ({
-   name,
-   sourceID: `${name}@m`,
-   connectionName: "duckdb",
-   sourceEntityId: "bid",
-   sql: "SELECT 1",
-   columns: [],
-   queryMetadata,
-});
-
-describe("materializationConfigWarnings", () => {
-   it("says nothing about a clean config", () => {
-      expect(
-         materializationConfigWarnings({
-            packageMaterialization: {
-               schedule: null,
-               freshness: null,
-               queryMetadata: { team: "finance" },
-            },
-            sources: [source("orders", { team: "finance" })],
-         }),
-      ).toEqual([]);
-   });
-
-   it("passes manifest deprecations through", () => {
-      expect(
-         materializationConfigWarnings({
-            manifestWarnings: ['"scope" at the manifest root is deprecated'],
-         }),
-      ).toEqual([{ message: '"scope" at the manifest root is deprecated' }]);
-   });
-
-   it("reports a package-level property that violates the contract", () => {
-      const warnings = materializationConfigWarnings({
-         packageMaterialization: {
-            schedule: null,
-            freshness: null,
-            queryMetadata: { "team.name": "finance" },
-         },
-      });
-      expect(warnings).toHaveLength(1);
-      expect(warnings[0].message).toContain("materialization.queryMetadata");
-      expect(warnings[0].message).toContain("team.name");
-      expect(warnings[0].target).toBeUndefined();
-   });
-
-   it("reports the offending property at the source that resolves it", () => {
-      const warnings = materializationConfigWarnings({
-         sources: [source("orders", { "team.name": "finance" })],
-      });
-      expect(warnings).toHaveLength(1);
-      expect(warnings[0].target).toBe("orders");
-      expect(warnings[0].message).toContain("#@ persist queryMetadata");
-   });
-
-   it("reports a BigQuery-dropped name as a warning, not silence", () => {
-      const warnings = materializationConfigWarnings({
-         sources: [source("orders", { _team: "finance" })],
-      });
-      expect(warnings).toHaveLength(1);
-      expect(warnings[0].message).toMatch(/BigQuery/);
-   });
-
-   it("reports the problem at every level that resolves it", () => {
-      // The package declares it and both sources inherit it. Reporting each
-      // level is what lets an author find the one they can edit; identical
-      // messages are collapsed, different levels are not.
-      const warnings = materializationConfigWarnings({
-         packageMaterialization: {
-            schedule: null,
-            freshness: null,
-            queryMetadata: { "team.name": "finance" },
-         },
-         sources: [
-            source("orders", { "team.name": "finance" }),
-            source("returns", { "team.name": "finance" }),
-         ],
-      });
-      expect(warnings).toHaveLength(3);
-      expect(warnings.map((w) => w.target)).toEqual([
-         undefined,
-         "orders",
-         "returns",
-      ]);
-   });
-
-   it("ignores sources with no metadata", () => {
-      expect(
-         materializationConfigWarnings({ sources: [source("orders", null)] }),
-      ).toEqual([]);
-   });
-});

package/src/service/materialization_config_validation.ts

@@ -1,120 +0,0 @@
-/**
- * Publish-time validation of a package's materialization config.
- *
- * One module for the rules so they cannot drift between the levels a knob can be
- * declared at. Two principles, both learned from shipped bugs:
- *
- *  1. **Nothing is silently dropped.** A declaration that will not do what it
- *     says has to surface somewhere — a publish error, a publish warning, a 400,
- *     or a metered runtime drop. A `#@ persist` name that was silently ignored
- *     (source published, never materialized, no error anywhere) is why
- *     `persist_annotation_validation.ts` exists; the same rule applies here.
- *  2. **Strict at declaration, lenient at execution.** Publish and the API have a
- *     human behind them and report problems; the runtime resolve path clamps and
- *     meters instead, because metadata must never break a query or a build.
- *
- * Today this owns the `queryMetadata` rules and the manifest-shape deprecations,
- * which are ADVISORY — they surface on the package's operator warnings array.
- * They deliberately do NOT go through `Package.persistencePolicyWarnings`, which
- * is a publish REJECTION gate (and disarms the scheduler): a deprecated manifest
- * shape or a mistyped tag must not stop a package from publishing. The
- * scope/schedule/freshness coherence rules that do reject still live there;
- * moving them here is a mechanical follow-up with no behavior change.
- */
-
-import type { components } from "../api";
-import {
-   queryMetadataAdvisoryWarnings,
-   queryMetadataBudgetWarning,
-   queryMetadataViolations,
-   type QueryMetadata,
-} from "./query_metadata";
-
-type WirePackageMaterialization =
-   components["schemas"]["PackageMaterializationConfig"];
-type WirePersistSourcePlan = components["schemas"]["PersistSourcePlan"];
-
-export interface MaterializationConfigInput {
-   /** The package manifest's `materialization` block, as parsed. */
-   packageMaterialization?: WirePackageMaterialization | null;
-   /** The compiled plan's sources, carrying each one's RESOLVED metadata. */
-   sources?: WirePersistSourcePlan[];
-   /**
-    * Deprecations the manifest parse tolerated (e.g. a root-level `scope`), which
-    * a load keeps working but a publish should report.
-    */
-   manifestWarnings?: string[];
-}
-
-/** One finding, in the shape the wire package's operator warnings array uses. */
-export interface MaterializationConfigWarning {
-   /** The persist source the finding belongs to, absent for a package-level one. */
-   target?: string;
-   message: string;
-}
-
-function metadataWarnings(
-   level: string,
-   metadata: QueryMetadata | null | undefined,
-   target?: string,
-): MaterializationConfigWarning[] {
-   if (!metadata) return [];
-   const budget = queryMetadataBudgetWarning(Object.keys(metadata).length);
-   return [
-      ...queryMetadataViolations(metadata),
-      ...queryMetadataAdvisoryWarnings(metadata),
-      ...(budget ? [budget] : []),
-   ].map((message) => ({
-      // The level is in the message because a reader needs to know WHICH
-      // declaration to edit, and an inherited property has more than one.
-      message: `${level}: ${message}`,
-      ...(target ? { target } : {}),
-   }));
-}
-
-/**
- * Everything wrong or inadvisable about a package's materialization config, as
- * actionable messages. Warnings rather than errors: a package published before a
- * rule existed must keep loading, and a bad metadata property degrades
- * attribution rather than corrupting anything.
- *
- * A source's metadata is checked in its RESOLVED form (the effective bag from
- * package → model-file → `#@ persist`), because that is what will actually be
- * attached — a property inherited from the manifest is just as broken at the
- * source as it is at the package, and reporting it at both is how an author finds
- * the one they can edit.
- */
-export function materializationConfigWarnings(
-   input: MaterializationConfigInput,
-): MaterializationConfigWarning[] {
-   const warnings: MaterializationConfigWarning[] = (
-      input.manifestWarnings ?? []
-   ).map((message) => ({ message }));
-
-   warnings.push(
-      ...metadataWarnings(
-         "materialization.queryMetadata",
-         input.packageMaterialization?.queryMetadata,
-      ),
-   );
-
-   for (const source of input.sources ?? []) {
-      warnings.push(
-         ...metadataWarnings(
-            `#@ persist queryMetadata`,
-            source.queryMetadata,
-            source.name,
-         ),
-      );
-   }
-
-   // Identical findings collapse (two sources inheriting one bad package
-   // property produce one message each, not one per level per source).
-   const seen = new Set<string>();
-   return warnings.filter((warning) => {
-      const key = `${warning.target ?? ""}\u0000${warning.message}`;
-      if (seen.has(key)) return false;
-      seen.add(key);
-      return true;
-   });
-}

package/src/service/materialization_eligibility.spec.ts

@@ -1,158 +0,0 @@
-// Real-compiler contract for the materialization-eligibility gate. The gate
-// reads specific compiled-IR shapes (a Parameter's `value: null` for unbound
-// params; `refSummary.givenUsage` / `given` IR nodes for given references), so
-// it is pinned against the real compiler rather than hand-built stubs — a
-// Malloy change to either shape must fail here, not leak an ineligible source
-// (a frozen tenant-filtered table) into the tier.
-import { DuckDBConnection } from "@malloydata/db-duckdb";
-import type { PersistSource } from "@malloydata/malloy";
-import {
-   FixedConnectionMap,
-   InMemoryURLReader,
-   Runtime,
-} from "@malloydata/malloy";
-import { beforeAll, describe, expect, it } from "bun:test";
-import { MaterializationEligibilityError } from "../errors";
-import { assertMaterializationEligible } from "./materialization_eligibility";
-
-const ROOT = "file:///elig/";
-let connections: FixedConnectionMap;
-
-beforeAll(() => {
-   const duckdb = new DuckDBConnection("duckdb", ":memory:");
-   connections = new FixedConnectionMap(
-      new Map([["duckdb", duckdb]]),
-      "duckdb",
-   );
-});
-
-/** Compile a single-file model and return its persist sources by name. */
-async function persistSources(
-   model: string,
-): Promise<Record<string, PersistSource>> {
-   const urlReader = new InMemoryURLReader(
-      new Map([[`${ROOT}m.malloy`, model]]),
-   );
-   const runtime = new Runtime({ urlReader, connections });
-   const compiled = await runtime
-      .loadModel(new URL(`${ROOT}m.malloy`), { importBaseURL: new URL(ROOT) })
-      .getModel();
-   const byName: Record<string, PersistSource> = {};
-   for (const source of Object.values(compiled.getBuildPlan().sources)) {
-      byName[source.name] = source;
-   }
-   return byName;
-}
-
-describe("assertMaterializationEligible", () => {
-   it("accepts a plain persist source (no params, no givens)", async () => {
-      const sources = await persistSources(`##! experimental.persistence
-source: base is duckdb.sql("SELECT 1 AS amount, 'US' AS region")
-#@ persist name="mz_plain"
-source: mz_plain is base -> { aggregate: c is count() }`);
-      expect(sources.mz_plain).toBeDefined();
-      expect(() =>
-         assertMaterializationEligible(sources.mz_plain),
-      ).not.toThrow();
-   });
-
-   it("accepts a parameter bound to a constant", async () => {
-      const sources = await persistSources(`##! experimental.persistence
-##! experimental.parameters
-source: base is duckdb.sql("SELECT 1 AS amount, 'US' AS region")
-#@ persist name="mz_bound"
-source: mz_bound(threshold::number is 5) is base -> { aggregate: c is count() }`);
-      expect(sources.mz_bound).toBeDefined();
-      expect(() =>
-         assertMaterializationEligible(sources.mz_bound),
-      ).not.toThrow();
-   });
-
-   it("refuses a source with an unbound (free) parameter", async () => {
-      const sources = await persistSources(`##! experimental.persistence
-##! experimental.parameters
-source: base is duckdb.sql("SELECT 1 AS amount, 'US' AS region")
-#@ persist name="mz_free"
-source: mz_free(threshold::number) is base -> { aggregate: c is count() }`);
-      expect(sources.mz_free).toBeDefined();
-      expect(() => assertMaterializationEligible(sources.mz_free)).toThrow(
-         MaterializationEligibilityError,
-      );
-      expect(() => assertMaterializationEligible(sources.mz_free)).toThrow(
-         /unbound parameter/i,
-      );
-   });
-
-   it("refuses a source that references a given (RLAC security refusal)", async () => {
-      const sources = await persistSources(`##! experimental.persistence
-##! experimental.givens
-given: tenant :: string is 'acme'
-source: base is duckdb.sql("SELECT 1 AS amount, 'acme' AS tenant")
-#@ persist name="mz_given"
-source: mz_given is base -> { where: tenant = $tenant; aggregate: c is count() }`);
-      expect(sources.mz_given).toBeDefined();
-      expect(() => assertMaterializationEligible(sources.mz_given)).toThrow(
-         MaterializationEligibilityError,
-      );
-      expect(() => assertMaterializationEligible(sources.mz_given)).toThrow(
-         /given/i,
-      );
-   });
-
-   it("refuses a source protected by its own #(authorize) gate", async () => {
-      const sources = await persistSources(`##! experimental.persistence
-##! experimental.givens
-given: role :: string is 'analyst'
-source: base is duckdb.sql("SELECT 1 AS amount, 'US' AS region")
-#(authorize) "$role = 'analyst'"
-#@ persist name="mz_authz"
-source: mz_authz is base -> { aggregate: c is count() }`);
-      expect(sources.mz_authz).toBeDefined();
-      expect(() => assertMaterializationEligible(sources.mz_authz)).toThrow(
-         MaterializationEligibilityError,
-      );
-      expect(() => assertMaterializationEligible(sources.mz_authz)).toThrow(
-         /authorize/i,
-      );
-   });
-
-   it("refuses a source that reaches an #(authorize) gate through a JOIN", async () => {
-      // The gate is on the joined source, not on mz_authz_joined itself — a join
-      // must not launder an authorize-gated source into a frozen table.
-      const sources = await persistSources(`##! experimental.persistence
-##! experimental.givens
-given: role :: string is 'analyst'
-#(authorize) "$role = 'analyst'"
-source: gated is duckdb.sql("SELECT 1 AS amount, 'acme' AS tenant")
-source: joiner is duckdb.sql("SELECT 2 AS n, 'acme' AS tenant")
-#@ persist name="mz_authz_joined"
-source: mz_authz_joined is joiner extend {
-  join_one: g is gated on tenant = g.tenant
-} -> { aggregate: c is count() }`);
-      expect(sources.mz_authz_joined).toBeDefined();
-      expect(() =>
-         assertMaterializationEligible(sources.mz_authz_joined),
-      ).toThrow(MaterializationEligibilityError);
-   });
-
-   it("refuses a source that reaches a given through a JOIN (not just its own pipeline)", async () => {
-      // The given lives on a joined source, not on mz_joined's own where/fields.
-      // The compiled struct embeds the joined SourceDef, so the fail-closed walk
-      // must still reach it — a join must not launder a given-filtered source.
-      const sources = await persistSources(`##! experimental.persistence
-##! experimental.givens
-given: tenant :: string is 'acme'
-source: gated is duckdb.sql("SELECT 1 AS amount, 'acme' AS tenant") extend {
-  where: tenant = $tenant
-}
-source: joiner is duckdb.sql("SELECT 2 AS n, 'acme' AS tenant")
-#@ persist name="mz_joined"
-source: mz_joined is joiner extend {
-  join_one: g is gated on tenant = g.tenant
-} -> { aggregate: c is count() }`);
-      expect(sources.mz_joined).toBeDefined();
-      expect(() => assertMaterializationEligible(sources.mz_joined)).toThrow(
-         MaterializationEligibilityError,
-      );
-   });
-});

package/src/service/materialization_eligibility.ts

@@ -1,305 +0,0 @@
-import type { PersistSource } from "@malloydata/malloy";
-import { MaterializationEligibilityError } from "../errors";
-import { recordEligibilityRefused } from "../materialization_metrics";
-import { parseAuthorizeAnnotation } from "./authorize";
-
-/**
- * Compile-time eligibility gate for materializing a persist source into a
- * *storage* destination (a DuckDB/DuckLake tier table), as opposed to the
- * default colocated path (no `storage=`). This is a HARD REFUSE: an
- * ineligible source never builds an artifact.
- *
- * It exists because a `storage=<duckdb>` table is built once and served frozen
- * to every subsequent query. Two properties that hold for a live query — the
- * relation is recomputed per query, and per-tenant access filters bind at query
- * time — are lost the moment the relation is frozen. So a source is only
- * materializable when its relation is fully determined at build time:
- *
- *  1. **No unbound (free) parameters.** A source declaring an unbound parameter
- *     is a *template* instantiated per query — there is no single relation to
- *     freeze. Parameters bound to a constant are fine (the relation is fixed,
- *     and the bound value already distinguishes the content address).
- *  2. **No given references — a security refusal.** Givens bind at the
- *     runtime/query layer and are the documented mechanism for row-level access
- *     control (RLAC). A source filtered by a given (`where: tenant_id = $TENANT`)
- *     materialized once and served frozen would leak one tenant's rows to every
- *     tenant. This check fails closed: if the source references any given, it is
- *     refused, no exceptions.
- *  3. **No `#(authorize)` gate — a security refusal.** An authorize expression
- *     is a per-request *who-can-query* gate evaluated at query time. The served
- *     virtual shape of a materialized source carries no gate to evaluate, so a
- *     materialized authorize-gated source would be served to everyone,
- *     bypassing the gate. Fails closed and reaches a gate on a JOINED source too
- *     (a join must not launder an authorize-gated source), mirroring the
- *     transitive `#(authorize)` enforcement on the live serve path (#906).
- *
- * One further eligibility property from the design — the served source must
- * compile in DuckDB (portability) — is enforced at *build* time against the
- * captured table schema (see the DuckDB-compile gate in the build path), not
- * here: it needs the post-build authoritative schema this compile-time pass
- * does not have. This pass covers the properties determinable from the compiled
- * source alone (free parameters, given references, authorize gates), so it can
- * fail fast before any warehouse work.
- *
- * The gate reads the *compiled* source (only the compiled `ModelDef` sees
- * effective annotations, parameters, and given usage through `extend`/imports —
- * a raw-source scan would miss inherited declarations), so it must run after
- * compilation and before the build.
- *
- * @throws {MaterializationEligibilityError} (HTTP 422) naming the source and the
- *   specific reason, so the author can either fix the source or drop `storage=`.
- */
-export function assertMaterializationEligible(
-   persistSource: PersistSource,
-): void {
-   const sourceName = persistSource.name;
-
-   // Fail closed, like referencesGiven / referencesAuthorize below: an unreadable
-   // parameter surface is a refusal, not an assumed absence of free parameters.
-   let unbound: string[];
-   try {
-      unbound = unboundParameterNames(persistSource);
-   } catch (err) {
-      recordEligibilityRefused("free_parameter");
-      throw new MaterializationEligibilityError({
-         message:
-            `Source '${sourceName}' cannot be materialized into a storage ` +
-            `destination: its parameter surface could not be determined ` +
-            `(${err instanceof Error ? err.message : String(err)}), so the ` +
-            `publisher cannot prove the source has no free parameters. This is ` +
-            `refused for safety. Drop 'storage=' to serve it live from the ` +
-            `source warehouse.`,
-      });
-   }
-   if (unbound.length > 0) {
-      recordEligibilityRefused("free_parameter");
-      throw new MaterializationEligibilityError({
-         message:
-            `Source '${sourceName}' cannot be materialized into a storage ` +
-            `destination: it has unbound parameter(s) ` +
-            `${unbound.map((p) => `'${p}'`).join(", ")}. A source with a free ` +
-            `parameter is a template instantiated per query, so there is no ` +
-            `single relation to materialize. Bind the parameter to a constant, ` +
-            `or drop 'storage=' to serve it live from the source warehouse.`,
-      });
-   }
-
-   if (referencesGiven(persistSource)) {
-      recordEligibilityRefused("given");
-      throw new MaterializationEligibilityError({
-         message:
-            `Source '${sourceName}' cannot be materialized into a storage ` +
-            `destination: it references a given. Givens bind per query and are ` +
-            `used for row-level access control, so a materialized-once table ` +
-            `served to everyone would leak filtered rows across tenants. This ` +
-            `is refused for safety. Serve this source live (drop 'storage=').`,
-      });
-   }
-
-   if (referencesAuthorize(persistSource)) {
-      recordEligibilityRefused("authorize");
-      throw new MaterializationEligibilityError({
-         message:
-            `Source '${sourceName}' cannot be materialized into a storage ` +
-            `destination: it is protected by an #(authorize) gate (its own or a ` +
-            `joined source's). An authorize expression is evaluated per request; ` +
-            `a materialized-once table served frozen carries no gate, so it would ` +
-            `be served to everyone, bypassing authorization. This is refused for ` +
-            `safety. Serve this source live (drop 'storage=').`,
-      });
-   }
-}
-
-/**
- * Names of the source's parameters that are declared but not bound to a value.
- * A Malloy `Parameter` carries `value: ConstantExpr | null`; `null` is an
- * unbound (free) parameter — bound-to-constant parameters have a non-null value.
- *
- * Fail-closed like the given/authorize walks (the caller turns a throw into a
- * refusal): a parameter counts as unbound unless demonstrably bound, so a
- * compiler shift to `value: undefined` can't let a template through. A MISSING
- * `parameters` field is not an error — most sources declare none — so a renamed
- * or relocated field is the one drift this can't catch; the real-compiler
- * eligibility spec is what pins that shape.
- */
-function unboundParameterNames(persistSource: PersistSource): string[] {
-   const def = persistSource._sourceDef as unknown;
-   if (def === null || typeof def !== "object") {
-      throw new Error("compiled source definition is not readable");
-   }
-   const parameters = (def as { parameters?: unknown }).parameters;
-   if (parameters === undefined || parameters === null) return [];
-   if (typeof parameters !== "object" || Array.isArray(parameters)) {
-      throw new Error(
-         `compiled source 'parameters' has an unexpected shape (${
-            Array.isArray(parameters) ? "array" : typeof parameters
-         })`,
-      );
-   }
-   const unbound: string[] = [];
-   for (const [name, param] of Object.entries(
-      parameters as Record<string, unknown>,
-   )) {
-      const bound =
-         param !== null &&
-         typeof param === "object" &&
-         (param as { value?: unknown }).value !== null &&
-         (param as { value?: unknown }).value !== undefined;
-      if (!bound) unbound.push(name);
-   }
-   return unbound;
-}
-
-/**
- * Whether the compiled source (transitively) references any given. Fail-closed:
- * walks the compiled source definition for both of Malloy's given signals —
- * a non-empty `refSummary.givenUsage` (populated on filters and expressions by
- * the reference-tracking walker) and any `given` / `givenReference` IR node —
- * anywhere in the source's filter list, field expressions, or nested pipeline.
- *
- * A generic bounded walk (rather than reading a single well-known field) is
- * deliberate: a given can hide in a field expression or a nested view, not just
- * a top-level `where:`, and missing one is a tenant-isolation breach. The walk
- * is depth- and visited-bounded so a cyclic IR graph cannot hang it, and any
- * introspection failure is treated as "references a given" (fail closed).
- */
-function referencesGiven(persistSource: PersistSource): boolean {
-   try {
-      return walkForGiven(persistSource._sourceDef, new WeakSet(), 0);
-   } catch {
-      // Fail closed: if we cannot prove the source is given-free, refuse it.
-      return true;
-   }
-}
-
-/** Max IR depth to walk; deep enough for real sources, a hang backstop. */
-const MAX_GIVEN_WALK_DEPTH = 200;
-
-function walkForGiven(
-   node: unknown,
-   seen: WeakSet<object>,
-   depth: number,
-): boolean {
-   if (depth > MAX_GIVEN_WALK_DEPTH) {
-      // Refuse rather than risk an unbounded structure hiding a given.
-      throw new Error("given-usage walk exceeded max depth");
-   }
-   if (node === null || typeof node !== "object") return false;
-   if (seen.has(node as object)) return false;
-   seen.add(node as object);
-
-   if (Array.isArray(node)) {
-      for (const item of node) {
-         if (walkForGiven(item, seen, depth + 1)) return true;
-      }
-      return false;
-   }
-
-   const record = node as Record<string, unknown>;
-
-   // A given declaration or reference IR node.
-   const nodeKind = record.node;
-   if (nodeKind === "given" || nodeKind === "givenReference") return true;
-   if (record.givenRef !== undefined) return true;
-
-   // Reference-tracking summary: a non-empty givenUsage means this fragment
-   // reads a given (the precise, per-fragment signal). It appears either nested
-   // under refSummary (per-fragment) OR as a bare `givenUsage` on a query/struct
-   // node — treat a non-empty array in EITHER shape as a hit, so the walk stays
-   // correct if a future compiler keeps only the summary and prunes the embedded
-   // `node:'given'` leaves.
-   const refSummary = record.refSummary as
-      | { givenUsage?: unknown[] }
-      | undefined;
-   if (refSummary?.givenUsage && refSummary.givenUsage.length > 0) return true;
-   if (Array.isArray(record.givenUsage) && record.givenUsage.length > 0) {
-      return true;
-   }
-
-   for (const value of Object.values(record)) {
-      if (walkForGiven(value, seen, depth + 1)) return true;
-   }
-   return false;
-}
-
-/**
- * Whether the compiled source (transitively) carries an `#(authorize)` gate —
- * on the source itself or on any source reachable through a join. Fail-closed:
- * walks the compiled source definition for annotation notes (`blockNotes` /
- * `notes`) whose text is an authorize annotation. A join embeds the joined
- * SourceDef (with its own blockNotes), so a gate reached only through a join is
- * still found — a join must not launder an authorize-gated source, matching the
- * transitive enforcement on the live serve path (#906). Any introspection or
- * parse failure is treated as "carries a gate" (fail closed).
- *
- * Deliberately separate from `Model.collectAllReachableGates`, which answers a
- * different question: that walk collects gates to EVALUATE per request, and needs
- * their expressions and the givens they reference. This one only needs to know
- * whether any gate exists at all, at build time, with no request to evaluate
- * against — so it is a generic fail-closed scan rather than a typed collection.
- * They will not inherit each other's fixes; that is the trade accepted for
- * keeping the build-time refusal independent of the serve-time evaluator.
- */
-function referencesAuthorize(persistSource: PersistSource): boolean {
-   try {
-      return walkForAuthorize(persistSource._sourceDef, new WeakSet(), 0);
-   } catch {
-      // Fail closed: if we cannot prove the source is authorize-free, refuse it.
-      return true;
-   }
-}
-
-/** True if an annotation string is an `#(authorize)`/`##(authorize)` gate. */
-function isAuthorizeAnnotation(text: string): boolean {
-   try {
-      return parseAuthorizeAnnotation(text) !== null;
-   } catch {
-      // A malformed authorize annotation still means the author intended a gate.
-      return true;
-   }
-}
-
-function walkForAuthorize(
-   node: unknown,
-   seen: WeakSet<object>,
-   depth: number,
-): boolean {
-   if (depth > MAX_GIVEN_WALK_DEPTH) {
-      throw new Error("authorize-usage walk exceeded max depth");
-   }
-   if (node === null || typeof node !== "object") return false;
-   if (seen.has(node as object)) return false;
-   seen.add(node as object);
-
-   if (Array.isArray(node)) {
-      for (const item of node) {
-         if (walkForAuthorize(item, seen, depth + 1)) return true;
-      }
-      return false;
-   }
-
-   const record = node as Record<string, unknown>;
-
-   // Annotation notes live under `blockNotes` (source/statement) or `notes`
-   // (model/file), as either bare strings or `{ text }` objects.
-   for (const key of ["blockNotes", "notes"]) {
-      const arr = record[key];
-      if (!Array.isArray(arr)) continue;
-      for (const n of arr) {
-         const text =
-            typeof n === "string"
-               ? n
-               : n &&
-                   typeof n === "object" &&
-                   typeof (n as { text?: unknown }).text === "string"
-                 ? (n as { text: string }).text
-                 : undefined;
-         if (text !== undefined && isAuthorizeAnnotation(text)) return true;
-      }
-   }
-
-   for (const value of Object.values(record)) {
-      if (walkForAuthorize(value, seen, depth + 1)) return true;
-   }
-   return false;
-}