@@ -490,11 +490,25 @@ public void A_report_row_from_an_any_measure_with_no_of_is_a_plain_nullable_bool
     [Fact]
     public void An_any_measure_with_no_of_still_compiles_through_the_real_compiler()
     {
-        var files = EmitAll(RunnerContext(LoadAnyMeasureModel()));
-        Assert.True(files.ContainsKey("CallTotals.g.cs"));
-        var tree = CSharpSyntaxTree.ParseText(files["CallTotals.g.cs"]);
-        var diagnostics = tree.GetDiagnostics().Where(d => d.Severity == DiagnosticSeverity.Error).ToList();
-        Assert.Empty(diagnostics);
+        var ctx = RunnerContext(LoadAnyMeasureModel(), Config(includeNames: true));
+        var files = new IGenerator[]
+            {
+                new EntityGenerator(), new DbContextGenerator(), new FilterAllowlistGenerator(), new NamesGenerator(),
+            }
+            .SelectMany(g => g.Generate(ctx)).ToList();
+        Assert.Contains(files, f => f.Path == "CallTotals.g.cs");
+        var trees = files
+            .Select(f => CSharpSyntaxTree.ParseText(f.Content, new CSharpParseOptions(LanguageVersion.CSharp12), path: f.Path))
+            .ToList();
+        var comp = CSharpCompilation.Create(
+            "report_any_rows_" + Guid.NewGuid().ToString("N"), trees,
+            DbContextCompileTests.BuildReferences(),
+            new CSharpCompilationOptions(OutputKind.DynamicallyLinkedLibrary));
+        var errors = comp.GetDiagnostics()
+            .Where(d => d.Severity == DiagnosticSeverity.Error)
+            .Select(d => $"{d.Location.GetLineSpan().Path}: {d.Id}: {d.GetMessage()}")
+            .ToList();
+        Assert.True(errors.Count == 0, string.Join("\n", errors));
     }
 
     // ---------------------------------------------------------------------
 
@@ -46,8 +46,9 @@ function aggFunction(agg: ReportAggregate["agg"], d: ReportDialect): string {
 }
 
 /** One aggregate (Table C): the bare aggregate, the condition by dialect, the cast, then the
- *  Table D default around all of it. */
-function aggregate(a: ReportAggregate, d: ReportDialect): string {
+ *  Table D default around all of it. `factRef` is set under `@spine`: a column of @from that is
+ *  null only on the padding row a spine row with no facts gets. */
+function aggregate(a: ReportAggregate, d: ReportDialect, factRef?: string): string {
   const refs = a.refs.map((r) => ref(r, d));
   const c = a.filter === undefined ? undefined : cond(a.filter, d);
   const fn = aggFunction(a.agg, d);
@@ -73,7 +74,11 @@ function aggregate(a: ReportAggregate, d: ReportDialect): string {
     // (every row) passes". A comparison is a boolean on Postgres and 0 / 1 / NULL elsewhere, so
     // MAX / MIN of it is the OR / AND, and a row whose predicate is NULL is skipped as bool_or skips it.
     if (c === undefined) throw new Error(`report-ddl-emit: @agg '${a.agg}' has neither @of nor a condition.`);
-    sql = `${fn}(${c})`;
+    // Under @spine the padding row's condition can still be true (`col IS NULL`), so only fact
+    // rows are aggregated, and a spine row with no facts reads null as every other measure does.
+    if (factRef === undefined) sql = `${fn}(${c})`;
+    else if (d === "postgres") sql = `${fn}(${c}) FILTER (WHERE ${ref(factRef, d)} IS NOT NULL)`;
+    else sql = `${fn}(CASE WHEN ${ref(factRef, d)} IS NOT NULL THEN ${c} END)`;
   } else {
     const x = refs[0]!;
     const distinct = a.distinct ? "DISTINCT " : "";
@@ -92,20 +97,20 @@ interface RenderedColumn {
   readonly grouped: boolean;
 }
 
-function column(c: ReportColumn, d: ReportDialect): RenderedColumn {
+function column(c: ReportColumn, d: ReportDialect, factRef: string | undefined): RenderedColumn {
   const alias = q(c.dbColAlias, d);
   switch (c.kind) {
     case "dimension":
       return { expr: ref(c.ref, d), alias, grouped: true };
     case "timeDimension":
       return { expr: truncateToGrain(ref(c.ref, d), c.grain, c.temporal, d), alias, grouped: true };
     case "aggregate":
-      return { expr: aggregate(c.aggregate, d), alias, grouped: false };
+      return { expr: aggregate(c.aggregate, d, factRef), alias, grouped: false };
     case "ratio": {
       // Each operand is its FULL Table C expression (condition and cast included), and its own
       // Table D default; the ratio's default wraps the whole quotient, which is always real.
-      const num = aggregate(c.numerator, d);
-      const den = aggregate(c.denominator, d);
+      const num = aggregate(c.numerator, d, factRef);
+      const den = aggregate(c.denominator, d, factRef);
       const top = d === "postgres" ? "NUMERIC" : d === "sqlite" ? "REAL" : undefined;
       const quotient = `${top === undefined ? num : `CAST(${num} AS ${top})`} / NULLIF(${den}, 0)`;
       const dv = c.defaultValue === undefined ? undefined : { value: c.defaultValue, real: true };
@@ -180,8 +185,15 @@ function spineFrom(spec: ReportViewSpec, depth: number, options: ReportEmitOptio
 
 export function emitReportViewDdl(spec: ReportViewSpec, options: ReportEmitOptions): string {
   const d = options.dialect;
+  // Under @spine, @from's side of the first hop's ON equality: non-null on every fact row the
+  // join keeps, null on the padding row of a spine row with no facts.
+  const first = spec.spineDepth === undefined ? undefined : spec.joinTree.joins[0];
+  const factRef =
+    first === undefined
+      ? undefined
+      : `${spec.joinTree.baseAlias}.${first.referenceHolder === "source" ? first.fkColumn : first.pkColumn}`;
   // Rendered once: a dimension's SELECT expression is its GROUP BY term, so they cannot differ.
-  const cols = spec.columns.map((c) => column(c, d));
+  const cols = spec.columns.map((c) => column(c, d, factRef));
   const select = cols.map((c) => `    ${c.expr} AS ${c.alias}`).join(",\n");
   const groupBy = cols.filter((c) => c.grouped).map((c) => c.expr);
 
 
@@ -977,6 +977,41 @@ describe("@agg any / all without @of, end to end", () => {
   });
 });
 
+describe("@agg any / all without @of under @spine", () => {
+  // A program with no weeks gets one padding row whose `label` is null, so `label IS NULL` is
+  // true on it: only fact rows are aggregated, so that program reads null, not true.
+  const unlabelled = (): Json[] => fitness([
+    rpt("AnyUnlabelled", {
+      "@from": "Week", "@spine": "Week.fkProgram", "@dimensions": ["programKey"], "@measures": ["anyUnlabelled", "allUnlabelled"],
+    }, "v_any_unlabelled"),
+  ], [], [
+    { "measure.aggregate": { name: "anyUnlabelled", "@agg": "any", "@filter": { label: { isNull: true } } } },
+    { "measure.aggregate": { name: "allUnlabelled", "@agg": "all", "@filter": { label: { isNull: true } } } },
+  ]);
+
+  test("postgres: the condition is aggregated over the fact rows only", async () => {
+    const sql = (await viewsOf(unlabelled(), "postgres"))["v_any_unlabelled"];
+    expect(sql).toContain(`    bool_or(w."label" IS NULL) FILTER (WHERE w."programId" IS NOT NULL) AS "anyUnlabelled",`);
+    expect(sql).toContain(`    bool_and(w."label" IS NULL) FILTER (WHERE w."programId" IS NOT NULL) AS "allUnlabelled"`);
+  });
+
+  test("sqlite and mysql: the padding row's condition is NULL, which MAX / MIN skip", async () => {
+    const lite = (await viewsOf(unlabelled(), "sqlite"))["v_any_unlabelled"];
+    expect(lite).toContain(`MAX(CASE WHEN w."programId" IS NOT NULL THEN w."label" IS NULL END) AS "anyUnlabelled"`);
+    expect(lite).toContain(`MIN(CASE WHEN w."programId" IS NOT NULL THEN w."label" IS NULL END) AS "allUnlabelled"`);
+    const my = (await viewsOf(unlabelled(), "mysql"))["v_any_unlabelled"];
+    expect(my).toContain("MAX(CASE WHEN w.`programId` IS NOT NULL THEN w.`label` IS NULL END) AS `anyUnlabelled`");
+  });
+
+  test("without @spine the SQL is unchanged", async () => {
+    const plain = fitness([
+      rpt("AnyUnlabelledPlain", { "@from": "Week", "@dimensions": ["programKey"], "@measures": ["anyUnlabelled"] }, "v_any_unlabelled_plain"),
+    ], [], [{ "measure.aggregate": { name: "anyUnlabelled", "@agg": "any", "@filter": { label: { isNull: true } } } }]);
+    const sql = (await viewsOf(plain, "postgres"))["v_any_unlabelled_plain"];
+    expect(sql).toContain(`    bool_or(w."label" IS NULL) AS "anyUnlabelled"`);
+  });
+});
+
 // ── A bare @of owner after @via resolves in the package of the entity @via reaches ─────
 
 describe("a via dimension's bare @of owner across packages", () => {
 
@@ -450,9 +450,10 @@ const UNLABELLED_MODEL = JSON.stringify({ "metadata.root": { package: "acme", ch
     { "dimension.attribute": { name: "programKey", "@of": "Program.id", "@via": "Week.fkProgram" } },
     { "measure.aggregate": { name: "unlabelled", "@agg": "count", "@of": "Week.id", "@filter": { label: { isNull: true } } } },
     { "measure.aggregate": { name: "unlabelledMinutes", "@agg": "sum", "@of": "Week.durationMinutes", "@filter": { label: { isNull: true } } } },
+    { "measure.aggregate": { name: "anyUnlabelled", "@agg": "any", "@filter": { label: { isNull: true } } } },
   ] } },
   { "object.report": { name: "UnlabelledWeeks", "@from": "Week", "@spine": "Week.fkProgram",
-    "@dimensions": ["programKey"], "@measures": ["unlabelled", "unlabelledMinutes"], children: [
+    "@dimensions": ["programKey"], "@measures": ["unlabelled", "unlabelledMinutes", "anyUnlabelled"], children: [
     { "source.rdb": { "@kind": "view", "@view": "v_unlabelled_weeks" } } ] } },
 ]}});
 
@@ -619,11 +620,12 @@ describe("report views — inline models on real Postgres", () => {
 
     await applyRaw(UNLABELLED_ROWS);
     // Program 3's null-extended row has a null label, and the count still reads 0: it counts
-    // the fact's id, which is null there too. The sum of nothing is null (no @default).
+    // the fact's id, which is null there too. The sum of nothing is null (no @default), and so
+    // is an `any` over no facts, though `label IS NULL` holds on the null-extended row.
     expect(await select(`SELECT * FROM "v_unlabelled_weeks" ORDER BY "programKey"`)).toEqual([
-      { programKey: "1", unlabelled: "1", unlabelledMinutes: "60" },
-      { programKey: "2", unlabelled: "0", unlabelledMinutes: null },
-      { programKey: "3", unlabelled: "0", unlabelledMinutes: null },
+      { programKey: "1", unlabelled: "1", unlabelledMinutes: "60", anyUnlabelled: "t" },
+      { programKey: "2", unlabelled: "0", unlabelledMinutes: null, anyUnlabelled: "f" },
+      { programKey: "3", unlabelled: "0", unlabelledMinutes: null, anyUnlabelled: null },
     ]);
   }, 60_000);
 
 
@@ -417,9 +417,10 @@ const UNLABELLED_MODEL = JSON.stringify({ "metadata.root": { package: "acme", ch
     { "dimension.attribute": { name: "programKey", "@of": "Program.id", "@via": "Week.fkProgram" } },
     { "measure.aggregate": { name: "unlabelled", "@agg": "count", "@of": "Week.id", "@filter": { label: { isNull: true } } } },
     { "measure.aggregate": { name: "unlabelledMinutes", "@agg": "sum", "@of": "Week.durationMinutes", "@filter": { label: { isNull: true } } } },
+    { "measure.aggregate": { name: "anyUnlabelled", "@agg": "any", "@filter": { label: { isNull: true } } } },
   ] } },
   { "object.report": { name: "UnlabelledWeeks", "@from": "Week", "@spine": "Week.fkProgram",
-    "@dimensions": ["programKey"], "@measures": ["unlabelled", "unlabelledMinutes"], children: [
+    "@dimensions": ["programKey"], "@measures": ["unlabelled", "unlabelledMinutes", "anyUnlabelled"], children: [
     { "source.rdb": { "@kind": "view", "@view": "v_unlabelled_weeks" } } ] } },
 ]}});
 
@@ -544,11 +545,12 @@ describe("report views — inline model on real SQLite", () => {
         (10, 1, 'Week 1', 30), (11, 1, 'Week 2', 60), (12, 1, 'Week 2', 90), (13, 1, NULL, 60),
         (20, 2, 'Solo', 45)`);
     // Program 3's null-extended row has a null label, and the count still reads 0: it counts
-    // the fact's id, which is null there too. The sum of nothing is null (no @default).
+    // the fact's id, which is null there too. The sum of nothing is null (no @default), and so
+    // is an `any` over no facts, though `label IS NULL` holds on the null-extended row.
     expect(await select(`SELECT * FROM "v_unlabelled_weeks" ORDER BY "programKey"`)).toEqual([
-      { programKey: 1, unlabelled: 1, unlabelledMinutes: 60 },
-      { programKey: 2, unlabelled: 0, unlabelledMinutes: null },
-      { programKey: 3, unlabelled: 0, unlabelledMinutes: null },
+      { programKey: 1, unlabelled: 1, unlabelledMinutes: 60, anyUnlabelled: 1 },
+      { programKey: 2, unlabelled: 0, unlabelledMinutes: null, anyUnlabelled: 0 },
+      { programKey: 3, unlabelled: 0, unlabelledMinutes: null, anyUnlabelled: null },
     ]);
   });