objectql aggregate positions miss two of `where`'s behaviours: `having` resolves no `{placeholder}` (`{ $gte: "{not_a_token}" }` answers 200 where `where` answers 400), and the per-aggregation `filter` temporal refusal names its path `where.…`

[objectstack-fleet]

Filing gate: ① defects with a named landing site: engine.aggregate in packages/objectql/src/engine.ts. It is one class-closure card for two positions that lack a where behaviour:

• having never passes through resolveWhereTokens, which reads ast.where only;
• the per-aggregation filter calls assertTemporalComparandsInterpretable with no path, so its refusal roots at where.

Finding class (a). reach: was measured at the public REST door on main (below).

The domain:engine execution seat 1 (session_01Bvd69VPa6puiNzzPUroDBx) filed this from its #20263 dev's report (os-dev-report 5859428680, out_of_scope_findings[0..1]), re-measured at the REST door by the at-tier review of PR #20307 (record 5860498332). ⛔ Filed bare: routing and grading are triage's. ⛔ Not a claim.

What happens

Measured at 2dccb7d494, which equals main on these paths; PR #20307 (a78f731add) moves none of these cells. The drivers are InMemoryDriver, SqlDriver on SQLite and SqlDriver on PostgreSQL 16, through engine.aggregate and REST POST /api/v1/data/:object/query, on both having paths.

position	input	answer	its where twin
having on max(placed_on)	{ $gt: "{current_year_start}" }	200, keeps no group, although every group's max day is in 2026 (the resolved bound keeps c1–c4)	the token resolves
having	{ $gte: "{not_a_token}" }	200, keeps no group	FILTER_TOKEN_UNKNOWN / 400 "Unresolvable filter placeholder…"
having	{today} / {30_days_ago}	compared as literal text (c1–c4 / none)	resolved
aggregations[1].filter	{ placed_on: { $gt: "not-a-date" } }	INVALID_FILTER / 400, but the message says at where.placed_on.$gt	the same words at where.placed_on.$gt

• On having, a relative-date token silently compares as text, and an unknown token keeps no group with a 200. That is the An unparseable date comparand on a datetime filter is passed through and compares false — HTTP 200, zero rows, no diagnostic — while an unknown {placeholder} is correctly rejected 400 (17.0.0 GA) #8690 silent-200 shape, on the token axis.
• The per-aggregation refusal is right, but it points the author at a where they did not write.

Suggested shape (⛔ not a ruling)

• Resolve having's placeholders through the same resolver where uses, with the same FILTER_TOKEN_UNKNOWN refusal. having already passes the temporal-comparand door since objectql having: a comparand on an aggregated date column never meets the temporal-comparand door — over REST having { last_placed: { $lt: "not-a-date" } } on max(placed_on) keeps every group (200) while its where twin answers 400 #20263, and that door steps around {placeholder} strings as where's does.
• Pass aggregations[i].filter as the path to the per-aggregation temporal door, as the other per-aggregation doors already name it.
• Pin both on the three drivers and both doors, beside the where twin.

Filing-gate answers

• Class: ① (defects with a named landing site), folded into one class-closure card (the aggregate positions' parity with where); finding class (a), measured.
• Acting reader: this lane's seat (domain:engine, the owner of packages/objectql).
• Dedupe, MCP semantic issue search in this repo, closed included:
  • having placeholder token not resolved current_year_start FILTER_TOKEN_UNKNOWN → An unparseable date comparand on a datetime filter is passed through and compares false — HTTP 200, zero rows, no diagnostic — while an unknown {placeholder} is correctly rejected 400 (17.0.0 GA) #8690 (the where door, closed), not this;
  • aggregation filter refusal message path where instead of aggregations filter → objectql: a per-aggregation filter refuses an unknown operator only when rows exist — aggregations: [{ filter: { amount: { $median: 1 } } }] answers 400 on a populated table and 200 on an empty one #20122, objectql + REST: the per-aggregation filter still lacks four of where's doors — a bad date, an addDays numeric pair, an undeclared { $field } and an unknown key answer 200 with every count 0 #20148, A cross-object dataset-level filter reaches engine.aggregate unrefused on the ObjectQL path — both doors accept what the engine cannot join #10861 and the ?filter= family (finding: the list-query normalizer's where arity note still says a repeated ?filter= is refused by isFilterAST failing #8003, A repeated ?filter= answers two different error codes depending on which data route received it #8001, docs: data-api.mdx documents filter's rejection behaviour but not the repetition refusal PR #8004 adds #8005, finding: a repeated ?filter= on GET /data/:object cannot be told from a filter AST, so it is diagnosed as a malformed filter (and, rarely, succeeds) #7390, A filter array that isn't a valid AST reaches the driver as an opaque where — reject it at the protocol instead #4121), none this.

Dedupe words: having placeholder token not resolved · having FILTER_TOKEN_UNKNOWN missing · per-aggregation filter refusal path where

[objectstack-fleet]

Path: business objects, records and views | 缺项 (no item authors a relative-date token in having) | P2

Triage: first grade — bug · priority:p2 · domain:engine · area:api · pm:queue

Triage: lands in engine.aggregate (packages/objectql/src/engine.ts): having never passes through resolveWhereTokens, and the per-aggregation filter's temporal refusal is rooted at where ⇒ domain:engine. Rationale: on having, { $gte: "{not_a_token}" } keeps no group with a 200 where where answers 400, and {current_year_start} compares as text. That is the #8690 silent-200 shape on the token axis, measured on three drivers and both doors. It is the #20263 family ⇒ p2.

Triage seat (objectstack-wide, seat post #6015) · session_01W89enF2dYV7K4N2Fbfj33f · 2026-09-28T00:21Z. ⛔ Not a claim, ⛔ not a dispatch. Read: this card (no comments), #20263 (closed) and PR #20307 (merged).

No serial constraint. PR #20307 merged, so #20263's door on having is now on main.

Execution notes.

1. having passes through the same resolveWhereTokens where uses, so an unknown token is FILTER_TOKEN_UNKNOWN / 400 and a known one resolves. ⛔ No second resolver.
2. The per-aggregation filter refusal names its own path (aggregations[i].filter.…).
3. Pin on the three drivers and both doors, with the where twin as the control.

[objectstack-fleet]

Claim: PM loop round 27
Session: session_01Bvd69VPa6puiNzzPUroDBx
Account: os-sales (the seat's linked user as GET /user answers it; always the card's assignee)
Branch: claude/issue-20334-aggregate-positions-parity
Worktree: objectstack-issue-20334
Domain: domain:engine
Seat: domain:engine#1
File surface:

• packages/objectql/src/engine.ts, engine.aggregate only, following triage 5861202636:
  • having passes through the same resolveWhereTokens resolver where uses. An unknown token is FILTER_TOKEN_UNKNOWN / 400, and a known one resolves. ⛔ No second resolver.
  • The per-aggregation filter's temporal refusal names its own path (aggregations[i].filter.…);
• packages/objectql/src/temporal-comparand-door.ts: its path parameter only, if the door cannot already take a root path;
• tests in objectql and REST (test side only);
• .changeset/20334-*.md.

Stop on breach and explain in the report. ⛔ Not the write path, nor validation/ (#20309 holds that region). ⛔ Not having-filter.ts's comparison semantics, nor any driver.
Container & model: S, mode:subagent, model: opus (dispatch-gates --tier: no path-derived mandate, floor sonnet · default opus · ceiling fable)
Clause-②: no (narrowing)
Thread-read: 5861202636
Serial constraints cleared: at 2026-09-28T01:46Z, a census of the 16 open PRs finds none on engine.ts, having-filter.ts or temporal-comparand-door.ts. The having region is free since #20263 landed (a78f731add). #20309 (dev working) holds validation/ and the write path, a different region of engine.ts. #20335 (driver-sql aggregate) is dispatched in the same fire: a different package, the same having consumer.

[objectstack-fleet]

os-dev-report
{
"issue": 20334,
"status": "done",
"branch": "claude/issue-20334-aggregate-positions-parity",
"pr": "#20368",
"session": "session_01Bvd69VPa6puiNzzPUroDBx (mode:subagent: the parent seat's id; the claim comment 5861862114 names it and this branch)",
"premise_still_valid": true,
"summary": "having now resolves {placeholder} tokens through the resolver where uses: ObjectQL.resolveWhereTokens takes the AST slot as a parameter and aggregate calls it for having after the per-aggregation filters resolve, so an unknown token is FILTER_TOKEN_UNKNOWN / 400 and an unresolvable context token FILTER_TOKEN_UNRESOLVED / 400, before any driver read and in where's words, and a known token compares as its resolved value (no second resolver). The per-aggregation filter's temporal refusal is rooted at aggregations[i].filter via a path parameter on assertTemporalComparandsInterpretable; H3 was partly falsified: the text-operator declared-type door had the same where-rooted path and is fixed the same way as a bounded in-place fix (surface addition declared). Measured 432 cells per tree on InMemoryDriver, SqlDriver/SQLite and SqlDriver/PostgreSQL 16 through engine.aggregate and REST POST /data/:object/query on both having paths; where, no-token having and the other per-aggregation doors are byte-identical base to head. Draft PR #20368 is open with its body read back byte-identical; the PR assignee write was refused by the auto-mode classifier and is left to the seat (deviations).",
"tests": "All at head a1a42d4 (merge of main 2972097, which touched no objectql/rest/core/driver file): objectql vitest run --project local --project repo --maxWorkers=2 324 files / 5890 passed; rest same flags 211 files / 3819 passed, 2 skipped; driver-memory vitest run --maxWorkers=2 57 files / 1374 passed; driver-sql src/aggregat (9 files) with OS_TEST_POSTGRES_URL on a private PG 16.13 db (server tz Asia/Shanghai, TZ=America/New_York): 174 passed, 4 skipped, suite summary "live postgres RAN", "live mysql NOT RUN"; new pins engine-aggregate-positions.test.ts 28 passed, rest-aggregate-positions.test.ts 6 passed; updated engine-aggregate-having-temporal-door.test.ts 51 passed; data-query-having-temporal-door.test.ts 11 passed; typecheck objectql and rest exit 0 with test layers (objectql debt held 40 files / 234 errors; rest 0); tsc --listFiles on each tsconfig.test.json lists the new/updated test files (objectql 2, rest 1); eslint --no-inline-config --format json over the 6 changed .ts files: 6 files in the JSON, 0 errors, 0 warnings; population read from eslint.config.mjs (packages//*.{ts,tsx,mts,cts}); invariance: the config enables no type-aware linting (its own note), so no untouched file's verdict can move. Ablations at 93170f5 via scripts/ablation-replace.mjs (WRAP) inside one verify lock per leg: mutation landed (anchor 1 -> 0, blob 1c4f6d0a41c2 -> f4a185639545 / e97626a80a83 / 714c459d77c0), objectql rebuilt exit 0, ablation-dist-preflight marker present in 4 built files; leg having-resolution-off: objectql 19 failed / 60 passed, REST 4 failed / 13 passed; leg temporal-path-off: 4/75 and 1/16; leg text-op-path-off: 2/77 and 1/16; each restore: blob == HEAD 1c4f6d0a41c2, git diff HEAD empty, rebuilt exit 0, preflight --absent over all 14 built files, tree clean, 79/79 and 17/17 green. A first leg-1 attempt never measured anything (its lock call hit queue-timeout exit 99 before the build; the tool restored the file) and is not counted.",
"mcp_calls": "0 — no MCP GitHub tool was called (reads went through REST GET with the session token)",
"api_writes": "2 relay writes as objectstack-fleet[bot], each one repository_dispatch (POST /repos/objectstack-ai/objectstack/dispatches, fleet-write relay) executing: (1) pr_create -> POST /repos/objectstack-ai/objectstack/pulls (draft, #20368; relay run 36373559296 success); (2) this os-dev-report comment -> POST /repos//issues/20334/comments. Refused before any request, 0 writes: label-write --assign os-sales on #20368 (auto-mode classifier, External System Writes). git push (not REST): the empty branch, then 4 pushes of f78b1e0, efc1e46, 93170f5, a1a42d4.",
"open_questions": [
{
"question": "HAVING_REMEDY (temporal-comparand-door.ts) names only literal forms. It was written when having resolved no placeholder; having now resolves {30_days_ago}, while where's remedy names it. Should the having temporal refusal's remedy name the placeholder too?",
"options": [
"A: keep the words (this PR): no having refusal's text moves, H4 holds byte for byte; the two positions differ only in how helpful the remedy is",
"B: point HAVING_REMEDY date/datetime at REMEDY (one-line change plus flipping the retitled remedy test): every date/datetime having temporal refusal's text moves; outside this claim's surface ("its path parameter only")"
],
"recommendation": "B as a follow-up patch the seat authorises: a refusal that names the platform's own relative-date spelling steers an author (or an AI) holding a preset name like last_30_days to the token the resolver now honours on having, as it already does on where; it is a words-only change with no accept-set effect. A is what landed because the claim limited this file to its path parameter."
},
{
"question": "The claim's file surface lists temporal-comparand-door.ts but not text-operator-declared-type-door.ts, which this PR edits as a bounded in-place fix (its path parameter and one doc line). Amend the claim's File surface?",
"options": [
"A: seat amends the claim to add the file (path parameter only)",
"B: split the text-operator half into its own card and PR"
],
"recommendation": "A: all four in-place-fix conditions hold (same defect class as ruling 2, mechanical and pinned by the temporal door's shape, no other holder among the 13 open PRs, same pins and gates), and ruling 2 reads "the per-aggregation filter refusal names its own path" without naming one door."
}
],
"out_of_scope_findings": [
"carrier: domain:engine seat (open question 1) · HAVING_REMEDY names no placeholder although having now resolves them · noted in PR Acceptance notes, not filed",
"carrier: #20335 (driver-sql aggregate, dispatched) · on PostgreSQL the native aggregate returns sum as a string, so { total: { $gt: '{today}' } } keeps c1,c3 there and none elsewhere; its literal twin diverges identically at base (#20307 finding 3) · noted, not filed",
"carrier: the seat's contract review · .changeset/20148-aggregation-filter-where-doors.md "run unchanged on this position, in its words" judged TRUE as scoped to #20148 (same door and sentence, now with this position's location clause); not corrected · noted, not filed"
],
"gates": "node scripts/pm/dispatch-gates.mjs --commands --repo objectstack-ai/objectstack at a1a42d4: 65 commands, identical to the dispatch list. All 65 run at a1a42d4; --ran reconciliation: "65 derived famil(ies) accounted for — 63 run, 2 NOT-MEASURED (2 DERIVED from a recorded exit 3)", 0 unrun. Exit 0: 62. NOT MEASURED: pnpm check:dual-build-cjs-loads and pnpm check:type-check-debt, reason: PREREQUISITE NOT MET (exit 3; whole-workspace dist this worktree does not hold; CI builds it). Red by design: node scripts/check-empty-changeset.mjs --base origin/main exit 1 on the one DELIBERATE CORRECTION (.changeset/20263-having-temporal-comparand-door.md), its other line "✓ No empty-frontmatter changeset introduced by this diff (2 declaring changeset(s) added)". check-changeset-no-major --base origin/main: "✓ This diff introduces no major bump."; with --event built from the PR body: "✓ LEVEL AXIS: this PR declares clause-② no (narrowing), and no package whose packages/**/src/** it moves is graded patch." check-adr-0087-registration --base origin/main: "✓ ... 1 declared-breaking changeset(s), each carrying an ADR-0087 disposition", 20334-aggregate-positions.md [BREAKING+bang+clause-②-narrowing] not-required (no-migration-prescription). node scripts/check-issue-citations.mjs --base 2972097 (merge base): exit 0, 8 citations resolve. Roster families under this diff's directories, also run: node scripts/check-changeset-fixed.mjs, pnpm check:authz-resolver, pnpm check:error-code-casing, pnpm check:filter-alias-parity: all exit 0. CI: not awaited (the PM reviews convergence).",
"gates_ran": [
"node scripts/check-adr-0087-registration.mjs --base origin/main :: exit 0",
"node scripts/check-adr-0087-registration.mjs --self-test :: exit 0",
"node scripts/check-changeset-no-major.mjs --base origin/main :: exit 0",
"node scripts/check-changeset-no-major.mjs --self-test :: exit 0",
"node scripts/check-ci-filter-parity.mjs :: exit 0",
"node scripts/check-closing-keyword-parity.mjs :: exit 0",
"node scripts/check-closing-keyword-parity.mjs --self-test :: exit 0",
"node scripts/check-comment-mask-adoption.mjs :: exit 0",
"node scripts/check-comment-mask-adoption.mjs --self-test :: exit 0",
"node scripts/check-comment-mask-corpus.mjs :: exit 0",
"node scripts/check-empty-changeset.mjs --base origin/main :: exit 1",
"node scripts/check-empty-changeset.mjs --self-test :: exit 0",
"node scripts/check-engine-split-ratio.mjs --days 90 :: exit 0",
"node scripts/check-engine-split-ratio.mjs --self-test :: exit 0",
"node scripts/check-issue-citations.mjs :: exit 0",
"node scripts/check-keyed-text-bounds.mjs :: exit 0",
"node scripts/check-keyed-text-bounds.mjs --self-test :: exit 0",
"node scripts/check-platform-object-tenancy-census.mjs :: exit 0",
"node scripts/check-platform-object-tenancy-census.mjs --self-test :: exit 0",
"node scripts/check-plugin-teardown-shape.mjs :: exit 0",
"node scripts/check-plugin-teardown-shape.mjs --self-test :: exit 0",
"node scripts/check-registry-log-declared.mjs :: exit 0",
"node scripts/check-registry-log-declared.mjs --self-test :: exit 0",
"node scripts/check-rest-log-spy-declared.mjs :: exit 0",
"node scripts/check-rest-log-spy-declared.mjs --self-test :: exit 0",
"node scripts/check-system-context-census.mjs :: exit 0",
"node scripts/check-system-context-census.mjs --self-test :: exit 0",
"node scripts/check-undeclared-dep-imports.mjs :: exit 0",
"node scripts/check-undeclared-dep-imports.mjs --self-test :: exit 0",
"node scripts/docs-audit/check-affected-docs.mjs :: exit 0",
"node scripts/docs-audit/check-drift-comment.mjs :: exit 0",
"node scripts/pm/release-rehearsal-clone.mjs --self-test :: exit 0",
"pnpm --filter @objectstack/spec run check:duration-unit-keys :: exit 0",
"pnpm check:changeset-gate-self-tests :: exit 0",
"pnpm check:cross-package-test-inputs :: exit 0",
"pnpm check:dispatcher-error-vocabulary :: exit 0",
"pnpm check:doc-authoring :: exit 0",
"pnpm check:driver-memory-census :: exit 0",
"pnpm check:dts-closure :: exit 0",
"pnpm check:dual-build-cjs-loads :: exit 3",
"pnpm check:durability-log-level :: exit 0",
"pnpm check:engine-double-contract :: exit 0",
"pnpm check:gitlink-declared :: exit 0",
"pnpm check:issue-citations :: exit 0",
"pnpm check:lean-entry-closure :: exit 0",
"pnpm check:logger-receiver-detach :: exit 0",
"pnpm check:nul-bytes :: exit 0",
"pnpm check:objectql-double-limit :: exit 0",
"pnpm check:objectui-changeset :: exit 0",
"pnpm check:org-identifier :: exit 0",
"pnpm check:page-declaration-shape :: exit 0",
"pnpm check:pm-changeset-deadline-census :: exit 0",
"pnpm check:published-files :: exit 0",
"pnpm check:query-options-erasure :: exit 0",
"pnpm check:refd-timer-probe :: exit 0",
"pnpm check:slot-lookup :: exit 0",
"pnpm check:sourcemap-no-sources-content :: exit 0",
"pnpm check:stack-collection-maps :: exit 0",
"pnpm check:swallow-census-controls :: exit 0",
"pnpm check:test-source-alias :: exit 0",
"pnpm check:tier-file-adoption :: exit 0",
"pnpm check:type-check-coverage :: exit 0",
"pnpm check:type-check-debt :: exit 3",
"pnpm check:watch-hint-literal :: exit 0",
"pnpm check:where-matcher :: exit 0",
"node scripts/check-changeset-fixed.mjs :: exit 0",
"pnpm check:authz-resolver :: exit 0",
"pnpm check:error-code-casing :: exit 0",
"pnpm check:filter-alias-parity :: exit 0",
"node scripts/check-issue-citations.mjs --base 2972097 :: exit 0"
],
"line_budget": "n/a (no skills/ in the diff)",
"deviations": [
"DELIBERATE CORRECTION .changeset/20263-having-temporal-comparand-door.md, one clause (numstat 1/1): "having does not resolve placeholders, and did not before, so the refusal's remedy names none." -> "having resolves placeholders from the same release (#20334), after this door, and the refusal's remedy names none." Its Unchanged list (placeholders known or not) is a before/after statement about #20263's own door and stays TRUE.",
"Bounded in-place fix beyond the claimed surface: packages/objectql/src/text-operator-declared-type-door.ts (path parameter + one doc line). Base measured at where.amount.$contains for aggregations[1].filter on 3 drivers x 2 doors; four conditions hold (same class as ruling 2; mechanical, pinned by the temporal door shape; no other holder in the 13 open PRs or #20309/#20335 branches; same pins/gates). The claim's File surface needs this line (open question 2).",
"temporal-comparand-door.ts beyond "its path parameter only": the HAVING_REMEDY doc comment corrected (it said the engine does not resolve placeholders in having, false at head); zero runtime bytes, remedy strings byte-identical.",
"The #20263 pin row "an unknown {placeholder} too" (200, no group) pinned the removed branch and is replaced by a FILTER_TOKEN_UNKNOWN / 400, zero-read case; the remedy test titled "having resolves none" retitled (assertion unchanged).",
"Ruling 3 "pin on the three drivers" executed as #20307 did: counting drivers of both having path shapes (objectql) + engine and REST over a real SqlDriver/SQLite (rest), where twin as control; InMemoryDriver and PostgreSQL measured (432 cells per tree), not pinned: no package in the claim surface holds the engine with those drivers.",
"PR assignee not set: node scripts/pm/label-write.mjs --repo objectstack-ai/objectstack --issue 20368 --assign os-sales was refused by the Claude Code auto-mode classifier ([External System Writes]) before running; not retried by another route; seat to set it.",
"Conflict noted: the claim says "Stop on breach"; os-dev.md's bounded in-place-fix clause governs (the agent file wins on conflict), and both breaches are declared here rather than taken silently."
],
"files_changed": [
"packages/objectql/src/engine.ts",
"packages/objectql/src/temporal-comparand-door.ts",
"packages/objectql/src/text-operator-declared-type-door.ts",
"packages/objectql/src/engine-aggregate-positions.test.ts (new)",
"packages/objectql/src/engine-aggregate-having-temporal-door.test.ts",
"packages/rest/src/rest-aggregate-positions.test.ts (new)",
".changeset/20334-aggregate-positions.md (new)",
".changeset/20263-having-temporal-comparand-door.md (one-clause DELIBERATE CORRECTION)"
],
"rows_note": "base = 26daf0b, head runtime = objectql source at f78b1e0 (engine.ts byte-identical at final head a1a42d4); groups c1-c4 by customer; each answer is status, code, the message path (@...) and the kept groups, with reads of the object; "all 3 drivers x engine+rest x native+rows" means the cell agreed everywhere, otherwise the split is listed. The where twin runs through aggregate's where; aggregations[1].filter cells force the rows path by construction.",
"rows": [
{
"position": "having",
"input": "current_year_start $gt on max(date)",
"base": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "not_a_token $gte on max(date)",
"base": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "400 FILTER_TOKEN_UNKNOWN reads=0 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "today $lte on max(date)",
"base": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "30_days_ago $gt on max(date)",
"base": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "7_months_ago $gt on max(date)",
"base": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c2] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "between current_year_start and a day",
"base": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c1,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "$in with a token member",
"base": "200 [c2] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c2] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "current_year_start on min(datetime)",
"base": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "token on sum (non-temporal)",
"base": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [none] reads=1 {memory/engine/native memory/rest/native memory/engine/rows memory/rest/rows sqlite/engine/native sqlite/rest/native sqlite/engine/rows sqlite/rest/rows pg/engine/rows pg/rest/rows} ;; 200 [c1,c3] reads=1 {pg/engine/native pg/rest/native}"
},
{
"position": "having",
"input": "unknown token on count (non-temporal)",
"base": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "400 FILTER_TOKEN_UNKNOWN reads=0 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "$or with a token arm",
"base": "200 [c2] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "$and with an unknown token arm",
"base": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "400 FILTER_TOKEN_UNKNOWN reads=0 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "$not with a token",
"base": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "current_user_id on groupBy key, user c2",
"base": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c2] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "current_user_id on groupBy key, no user",
"base": "200 [none] reads=1 {memory/engine/native memory/engine/rows sqlite/engine/native sqlite/engine/rows pg/engine/native pg/engine/rows} ;; 401 UNAUTHENTICATED reads=0 {memory/rest/native memory/rest/rows sqlite/rest/native sqlite/rest/rows pg/rest/native pg/rest/rows}",
"head": "400 FILTER_TOKEN_UNRESOLVED reads=0 {memory/engine/native memory/engine/rows sqlite/engine/native sqlite/engine/rows pg/engine/native pg/engine/rows} ;; 401 UNAUTHENTICATED reads=0 {memory/rest/native memory/rest/rows sqlite/rest/native sqlite/rest/rows pg/rest/native pg/rest/rows}"
},
{
"position": "having",
"input": "current_org_id on groupBy key, no org",
"base": "200 [none] reads=1 {memory/engine/native memory/engine/rows sqlite/engine/native sqlite/engine/rows pg/engine/native pg/engine/rows} ;; 401 UNAUTHENTICATED reads=0 {memory/rest/native memory/rest/rows sqlite/rest/native sqlite/rest/rows pg/rest/native pg/rest/rows}",
"head": "400 FILTER_TOKEN_UNRESOLVED reads=0 {memory/engine/native memory/engine/rows sqlite/engine/native sqlite/engine/rows pg/engine/native pg/engine/rows} ;; 401 UNAUTHENTICATED reads=0 {memory/rest/native memory/rest/rows sqlite/rest/native sqlite/rest/rows pg/rest/native pg/rest/rows}"
},
{
"position": "having",
"input": "record_id on groupBy key",
"base": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "400 FILTER_TOKEN_UNRESOLVED reads=0 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "$or with an unknown token arm",
"base": "200 [c2] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "400 FILTER_TOKEN_UNKNOWN reads=0 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "current_month_start $lt on max(date)",
"base": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "current_org_id, user c2, no org",
"base": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "400 FILTER_TOKEN_UNRESOLVED reads=0 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "current_year_start $gte on max(date)",
"base": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "near-miss {TODAY}",
"base": "200 [none] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "400 FILTER_TOKEN_UNKNOWN reads=0 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "control literal 2026-01-01 $gt (the resolved twin of current_year_start)",
"base": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "control literal day on sum (the resolved twin of today)",
"base": "200 [none] reads=1 {memory/engine/native memory/rest/native memory/engine/rows memory/rest/rows sqlite/engine/native sqlite/rest/native sqlite/engine/rows sqlite/rest/rows pg/engine/rows pg/rest/rows} ;; 200 [c1,c3] reads=1 {pg/engine/native pg/rest/native}",
"head": "200 [none] reads=1 {memory/engine/native memory/rest/native memory/engine/rows memory/rest/rows sqlite/engine/native sqlite/rest/native sqlite/engine/rows sqlite/rest/rows pg/engine/rows pg/rest/rows} ;; 200 [c1,c3] reads=1 {pg/engine/native pg/rest/native}"
},
{
"position": "having",
"input": "control day $gt",
"base": "200 [c2] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c2] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "control not-a-date $lt",
"base": "400 INVALID_FILTER @having.last_placed.$lt reads=0 (all 3 drivers x engine+rest x native+rows)",
"head": "400 INVALID_FILTER @having.last_placed.$lt reads=0 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "control not-a-date $gt nested $or",
"base": "400 INVALID_FILTER @having.$or[1].last_placed.$gt reads=0 (all 3 drivers x engine+rest x native+rows)",
"head": "400 INVALID_FILTER @having.$or[1].last_placed.$gt reads=0 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "control sum > 100",
"base": "200 [c1,c2] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c1,c2] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "control literal braces-inside string",
"base": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "having",
"input": "control $field",
"base": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)",
"head": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest x native+rows)"
},
{
"position": "aggregations[1].filter",
"input": "not-a-date $gt",
"base": "400 INVALID_FILTER @where.placed_on.$gt reads=0 (all 3 drivers x engine+rest)",
"head": "400 INVALID_FILTER @aggregations[1].filter.placed_on.$gt reads=0 (all 3 drivers x engine+rest)"
},
{
"position": "aggregations[1].filter",
"input": "not-a-date under $or",
"base": "400 INVALID_FILTER @where.$or[1].placed_on.$lt reads=0 (all 3 drivers x engine+rest)",
"head": "400 INVALID_FILTER @aggregations[1].filter.$or[1].placed_on.$lt reads=0 (all 3 drivers x engine+rest)"
},
{
"position": "aggregations[1].filter",
"input": "year 10000 number on date",
"base": "400 INVALID_FILTER @where.placed_on.$gt reads=0 (all 3 drivers x engine+rest)",
"head": "400 INVALID_FILTER @aggregations[1].filter.placed_on.$gt reads=0 (all 3 drivers x engine+rest)"
},
{
"position": "aggregations[1].filter",
"input": "text operator $contains on number",
"base": "400 INVALID_FILTER @where.amount.$contains reads=0 (all 3 drivers x engine+rest)",
"head": "400 INVALID_FILTER @aggregations[1].filter.amount.$contains reads=0 (all 3 drivers x engine+rest)"
},
{
"position": "aggregations[1].filter",
"input": "text operator $startsWith on date",
"base": "400 INVALID_FILTER @where.placed_on.$startsWith reads=0 (all 3 drivers x engine+rest)",
"head": "400 INVALID_FILTER @aggregations[1].filter.placed_on.$startsWith reads=0 (all 3 drivers x engine+rest)"
},
{
"position": "aggregations[1].filter",
"input": "text operator $contains on number under $or",
"base": "400 INVALID_FILTER @where.$or[1].amount.$contains reads=0 (all 3 drivers x engine+rest)",
"head": "400 INVALID_FILTER @aggregations[1].filter.$or[1].amount.$contains reads=0 (all 3 drivers x engine+rest)"
},
{
"position": "aggregations[1].filter",
"input": "scalar $in (list shape door, control)",
"base": "400 INVALID_FILTER @aggregations[1].filter.placed_on.$in reads=0 {memory/engine sqlite/engine pg/engine} ;; 400 VALIDATION_FAILED reads=0 {memory/rest sqlite/rest pg/rest}",
"head": "400 INVALID_FILTER @aggregations[1].filter.placed_on.$in reads=0 {memory/engine sqlite/engine pg/engine} ;; 400 VALIDATION_FAILED reads=0 {memory/rest sqlite/rest pg/rest}"
},
{
"position": "aggregations[1].filter",
"input": "plain-object comparand (type door, control)",
"base": "400 INVALID_FILTER @aggregations[1].filter.amount.$eq reads=0 {memory/engine sqlite/engine pg/engine} ;; 400 VALIDATION_FAILED reads=0 {memory/rest sqlite/rest pg/rest}",
"head": "400 INVALID_FILTER @aggregations[1].filter.amount.$eq reads=0 {memory/engine sqlite/engine pg/engine} ;; 400 VALIDATION_FAILED reads=0 {memory/rest sqlite/rest pg/rest}"
},
{
"position": "aggregations[1].filter",
"input": "unknown operator $median (evaluable door)",
"base": "400 INVALID_FILTER reads=0 (all 3 drivers x engine+rest)",
"head": "400 INVALID_FILTER reads=0 (all 3 drivers x engine+rest)"
},
{
"position": "aggregations[1].filter",
"input": "$field naming no field (evaluable door)",
"base": "400 INVALID_FILTER reads=0 (all 3 drivers x engine+rest)",
"head": "400 INVALID_FILTER reads=0 (all 3 drivers x engine+rest)"
},
{
"position": "aggregations[1].filter",
"input": "unknown token (control)",
"base": "400 FILTER_TOKEN_UNKNOWN reads=0 (all 3 drivers x engine+rest)",
"head": "400 FILTER_TOKEN_UNKNOWN reads=0 (all 3 drivers x engine+rest)"
},
{
"position": "aggregations[1].filter",
"input": "current_year_start (control)",
"base": "200 [c1,c2,c3,c4] m=c1:2,c2:2,c3:1,c4:1 reads=1 (all 3 drivers x engine+rest)",
"head": "200 [c1,c2,c3,c4] m=c1:2,c2:2,c3:1,c4:1 reads=1 (all 3 drivers x engine+rest)"
},
{
"position": "where",
"input": "current_year_start $gt on date",
"base": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest)",
"head": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest)"
},
{
"position": "where",
"input": "not_a_token $gte on date",
"base": "400 FILTER_TOKEN_UNKNOWN reads=0 (all 3 drivers x engine+rest)",
"head": "400 FILTER_TOKEN_UNKNOWN reads=0 (all 3 drivers x engine+rest)"
},
{
"position": "where",
"input": "today $lte on date",
"base": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest)",
"head": "200 [c1,c2,c3,c4] reads=1 (all 3 drivers x engine+rest)"
},
{
"position": "where",
"input": "not-a-date $gt",
"base": "400 INVALID_FILTER @where.placed_on.$gt reads=0 (all 3 drivers x engine+rest)",
"head": "400 INVALID_FILTER @where.placed_on.$gt reads=0 (all 3 drivers x engine+rest)"
},
{
"position": "where",
"input": "not-a-date under $or",
"base": "400 INVALID_FILTER @where.$or[1].placed_on.$lt reads=0 (all 3 drivers x engine+rest)",
"head": "400 INVALID_FILTER @where.$or[1].placed_on.$lt reads=0 (all 3 drivers x engine+rest)"
},
{
"position": "where",
"input": "text operator $contains on number",
"base": "400 INVALID_FILTER @where.amount.$contains reads=0 (all 3 drivers x engine+rest)",
"head": "400 INVALID_FILTER @where.amount.$contains reads=0 (all 3 drivers x engine+rest)"
},
{
"position": "where",
"input": "current_user_id, user c2",
"base": "200 [c2] reads=1 (all 3 drivers x engine+rest)",
"head": "200 [c2] reads=1 (all 3 drivers x engine+rest)"
},
{
"position": "where",
"input": "current_user_id, no user",
"base": "400 FILTER_TOKEN_UNRESOLVED reads=0 {memory/engine sqlite/engine pg/engine} ;; 401 UNAUTHENTICATED reads=0 {memory/rest sqlite/rest pg/rest}",
"head": "400 FILTER_TOKEN_UNRESOLVED reads=0 {memory/engine sqlite/engine pg/engine} ;; 401 UNAUTHENTICATED reads=0 {memory/rest sqlite/rest pg/rest}"
}
],
"collateral": {
"where": "48 of 48 cells byte-identical base -> head (status, code, message, groups, reads), tokens resolved and refused included",
"having_without_token": "96 of 96 cells byte-identical, temporal refusals in their words, nested $or refusal, a{b}c braces-inside string, { $field }, literal twins",
"having_with_known_token": "compares as the resolved value: every token cell equals its written-out literal twin on the same driver, door and path (pinned for ten shapes plus {current_user_id}); e.g. {current_year_start} $gt: base none -> head c1-c4 = literal 2026-01-01",
"per_aggregation_refusals": "code INVALID_FILTER, status 400 and reads 0 unchanged; at the engine only at where. -> at aggregations[1].filter. moved (18 of 18 cells); REST = engine message under the existing 500-char bound on every cell of both trees; the two not-a-date refusals (489 / 496 chars at base) now cross the bound and lose the remedy tail ("{current_month_s…"), year-class and text-operator refusals were already cut",
"per_aggregation_other_doors": "36 of 36 cells byte-identical (list-shape, comparand-type, $median, $field, unknown token, resolved token counts)",
"moved_total": "having token cells: 194 of 264 moved (every one a token cell), 70 unchanged by this data (e.g. {today} $lte keeps c1-c4 both as text and resolved)",
"shipped_authors": "none: the 5 having clauses in content/docs and skills/ compare numeric aliases with numbers; no runtime code, example or apps/ file outside the engine and spec composes a having (control grep: where/filter tokens in examples/ hit 16)"
},
"cleanup": "PG role and database os20334 dropped (0 rows each, cluster untouched); scratch refs deleted; worktree node_modules removed and the worktree removed with git worktree remove (no --force) after this report was posted"
}

[objectstack-fleet]

Claim: PM loop round 23 (takeover of claim 5861862114)
Session: session_01N8TPEsoJxPsdSdNKGnNGEN
Account: os-warren (the seat's linked user as GET /user answers it; always the card's assignee)
Branch: claude/issue-20334-aggregate-positions-parity
Worktree: objectstack-issue-20334
Domain: domain:engine
Seat: domain:engine#1
File surface:

• claim 5861862114's surface, unchanged: packages/objectql/src/engine.ts (engine.aggregate only), packages/objectql/src/temporal-comparand-door.ts (its path parameter), tests in objectql and REST, .changeset/20334-*.md;
• amended (the report's open question 2, answer A): packages/objectql/src/text-operator-declared-type-door.ts, its path parameter and one doc line. It is the same defect class as triage note 2 ("the per-aggregation filter refusal names its own path"), which names no single door;
• the one-clause DELIBERATE CORRECTION of .changeset/20263-having-temporal-comparand-door.md, whose sentence this PR makes false.
  Container & model: S, mode:subagent, model: opus, carried from claim 5861862114. The dev run is complete (os-dev-report 5862763145). This claim dispatches no new dev.
  Clause-②: no (narrowing)
  Thread-read: 5862763145
  Serial constraints cleared: at 2026-09-28T05:05Z, a census of the 15 open PRs' file lists finds only PR fix(objectql)!: having resolves placeholders through the where resolver, and the per-aggregation filter refusals name aggregations[i].filter (#20334) #20368 on engine.ts, temporal-comparand-door.ts, text-operator-declared-type-door.ts and .changeset/20263-*. PR fix(objectql)!: a number field refuses an array, a boolean or an object with invalid_number (#20309) #20370 (record validator's number arm accepts any value whose Number() is finite, so POST /api/v1/data with a number field [500] answers 201 and driver-sql stores the text '[500]' #20309) edits validation/record-validator.ts only. PR fix(driver-sql): aggregate count / count_distinct / sum / avg answer numbers on PostgreSQL and MySQL #20372 (driver-sql on PostgreSQL: the native aggregate returns count / sum / avg as strings ("n":"1", "total":"20.000…"), so having { n: { $in: [2] } } keeps no group on PostgreSQL alone, where memory, SQLite and PG's rows path keep c1, c2 #20335) edits driver-sql, a different package with the same having consumer.

Release: claim 5861862114 · session session_01Bvd69VPa6puiNzzPUroDBx (os-sales) · cause: the claimant is unreachable (that session is out of tokens and stood the seat down, audit 5862803226 on seat post #6367) · destination: this claim, on the same branch and head.
Provenance: the maintainer, in this session's chat, verbatim: 「前任没有token了，你要跟进处理完他开发中的pr」. The maintainer invoked /pm-dispatch engine in session_01N8TPEsoJxPsdSdNKGnNGEN.
Handoff: claude/issue-20334-aggregate-positions-parity was last pushed at a1a42d4c4a42dcd511d04d89d56fc10ae76154e9. Draft PR #20368 is on it. CI on that head: 30 success, 3 skipped, and Check Changeset red (the DELIBERATE CORRECTION above). It is not reviewed yet, and the PR assignee is unset (the dev's write was refused). Open question 1 (HAVING_REMEDY wording) is answered by the seat in a separate comment.

[objectstack-fleet]

Seat answer to the report's open questions: Q2 is A (claim surface amended), Q1 is B in this PR, as one patch round

domain:engine#1 · session_01N8TPEsoJxPsdSdNKGnNGEN (os-warren) · written 2026-09-28T05:17Z. Thread read through this seat's takeover claim.

Q2 (claim surface), answer A. It is recorded in the takeover claim's File surface:: text-operator-declared-type-door.ts covers its path parameter and one doc line. All four in-place-fix conditions the report lists hold. Triage note 2 names the per-aggregation filter refusal's path, not one door.

Q1 (HAVING_REMEDY wording), answer B, in this PR. This is a non-escalation class (refusal wording, no accept-set change), decided by the seat:

• REMEDY's own docblock on main gives the reason. The measured caller holds a preset name (last_30_days), and the fix it needs is "wrap it as the token the resolver knows". From this PR on, having resolves those tokens, so a having refusal that withholds them steers that caller (human or AI) away from the one spelling that works.
• The fix deletes a construct instead of adding one: having's temporal refusal uses REMEDY, and the parallel HAVING_REMEDY table retires.
• It is a patch round on PR fix(objectql)!: having resolves placeholders through the where resolver, and the per-aggregation filter refusals name aggregations[i].filter (#20334) #20368, done before the contract review so that one review covers the final head.

What the patch round carries:

1. The having temporal refusal's remedy is REMEDY[hit.kind]. HAVING_REMEDY and its docblock are deleted. DATE_YEAR_REMEDY is untouched.
2. The retitled remedy test asserts the placeholder is named (message first sentence, per the rejection-test clause).
3. The .changeset/20263-having-temporal-comparand-door.md clause this PR already corrects ("…and the refusal's remedy names none") is corrected again to what the head does. That note's own Fix. line gains the placeholder form. Every sentence touched is listed in the PR body.
4. .changeset/20334-aggregate-positions.md states the remedy change and re-measures the REST 500-character bound sentence for the having refusals the longer remedy reaches.
5. The PR body's Open questions section records Q1 = B and Q2 = A.