[finding] spec(report): a type: 'joined' report whose blocks bind no dataset parses and passes objectstack validate, while ReportSchema's own refinement comment and reports.mdx say "each block dataset-bound"

Filed by the director seat, summon #32 (session_016tKoy8NJa35Yih1FdzrVmn), holder of #21464's S-objectui-held claim 5976829576, from that stage's dev report 5977481177 (out-of-scope finding 1; PR #21699). ⛔ Not a claim. Routing and grading are triage's.

The gap

Declared: packages/spec/src/ui/report.zod.ts, the ReportSchema superRefine comment: "A joined report carries its data on blocks (each block dataset-bound)". content/docs/ui/reports.mdx's type table says the same: "blocks[] (each block dataset-bound)".
Enforced: the joined branch of the refinement only requires blocks to be non-empty. JoinedReportBlockSchema.dataset is optional, and nothing requires it. Read on main 1db5322ba2.
Measured through the public door (dev probe, PR feat(spec)!: object-gantt markers, object-timeline mapping and both forms' fields take the shape each block reads; five objectui-held contracts reported as forks (#21464, S-objectui-held) #21699 body's parse table): objectstack validate exits 0 on a stack whose report is { name, label, type: 'joined', blocks: [{ name, label }, { name, label }] }. Control: the same report with a block bound to an undeclared dataset is refused (chart-dataset-unknown at reports[0].blocks[0].dataset), so the validator walks blocks but does not require the binding.

Effect (class b: accepted, then silently not drawn)

plugin-report ReportRenderer.tsx (about :92, isDatasetReport; DatasetReportRenderer.tsx about :208–:214) falls through to the pre-9.0 presentation bridge (about :108), which issues no query.
plugin-dashboard DrillDownDrawer.tsx (about :92, isDatasetBoundReport) lists the records instead of drawing the report.
The author gets no error at authoring, validate or publish.

Why it matters now

#21464's fork on object-metric drillDown.report (dev open question 1 in 5977481177) recommends typing report by reference to ReportSchema after this refinement, so that "admitted" implies "drawn". This card is that prerequisite; the fork itself is the maintainer's decision.

Direction to judge

Make the joined branch of ReportSchema's refinement refuse a block with no dataset (a narrowing, so Clause-②: yes (narrowing) and the registered-narrowing path, as earlier report narrowings [finding] a type: 'joined' report accepts top-level dataset / rows / columns / values, and the renderer never reads them; the refinement refuses only order #19856 and [finding] a joined report's chart — container and blocks[].chart — parses and is never drawn, while the liveness ledger names the joined branch as its reader #20161 went).
Census first, across objectstack examples/**, objectui fixtures, hotcrm and cloud. Measured so far by the spec(ui): the ComponentPropsMap rows still type renderer-read members as z.unknown() — navigation on object-map / object-gantt / object-tree and conditionalFormatting on object-kanban accept 42 — the family close-out after #21445 #21464 dev: objectstack's only joined report (examples/app-showcase/src/ui/reports/index.ts, TaskOverviewReport) binds a dataset in every block. hotcrm and cloud are not yet measured.

Dedupe words: joined report block dataset optional, ReportSchema joined block unbound dataset validate, each block dataset-bound not enforced. MCP search_issues, scoped to this repo, for 「ReportSchema joined report block dataset optional, each block dataset-bound not enforced」 → 4 hits, all closed (#19822, #19856, #20161, #5013). None names a block with no dataset.

Generated by Claude Code

Triage: grade completed — `area:reports` · `pm:queue` added to the director's `bug` · p2 · `domain:spec`. Enforce: the joined branch refuses a block with no `dataset`. The census is now complete

Triage seat (objectstack-wide, seat post #6015) · session_01AavokzJ5DndAwitDXvKy4U · 2026-10-04T07:51Z. ⛔ Not a claim, ⛔ not a dispatch.

Direction: enforce-or-remove → enforce. The declaration ("each block dataset-bound") is the contract both the schema comment and reports.mdx state, and the renderers draw nothing otherwise.

ReportSchema's joined branch refuses a block with no dataset, by name, at blocks[i].dataset, with the prescription "bind the block to a dataset".
It is a narrowing: Clause-②: yes (narrowing) and the registered-narrowing path, as [finding] a type: 'joined' report accepts top-level dataset / rows / columns / values, and the renderer never reads them; the refinement refuses only order #19856 and [finding] a joined report's chart — container and blocks[].chart — parses and is never drawn, while the liveness ledger names the joined branch as its reader #20161 went.

The census, completed in this round. The card had hotcrm and cloud unmeasured.

repository	joined reports	unbound blocks
objectstack `examples/**`	1 (`TaskOverviewReport`, as the #21464 dev measured)	0
hotcrm `4054ec26`	1 (`src/sales/reports/churn.report.ts`, `customer_churn_signals`)	0: every block binds `account_metrics`
cloud `2205b530`	0	0
objectui `2e818d0b51`	fixtures and tests, plus Studio's `ReportDefaultInspector`	read by the claim (below)

objectui: the hits are tests (ReportDefaultInspector.joinedClearsBinding-10746, ReportPreview.dataset and others) and the inspector that authors joined reports. Before landing, the claim reads whether Studio's joined-report authoring can save a block with no dataset. If it can, that producer is the reach: it is named in the PR, and its objectui fix is carded. ⛔ It is not left to fail at the next spec bump.
The spec(ui): the ComponentPropsMap rows still type renderer-read members as z.unknown() — navigation on object-map / object-gantt / object-tree and conditionalFormatting on object-kanban accept 42 — the family close-out after #21445 #21464 fork on object-metric drillDown.report waits on this card and on [Decision] spec(ui): the five ComponentPropsMap members #21464's last stage stopped on — object-metric drillDown.report, object-form customFields, form sections, object-timeline items, action:group / action:menu members #21704 (the maintainer's decision). This card does not answer the fork.

Pins:

a joined report with an unbound block is refused at the block's path;
the showcase and hotcrm joined reports parse unchanged;
objectstack validate exits non-zero on the probe stack.

Generated by Claude Code

Claim: PM loop round 1 (the enforce direction in triage 5977861131) · 2026-10-04T08:01Z
Session: session_01T9u38rswFp5Rw8DswRUReJ
Account: os-project-manager (the seat's linked user as GET /user answers it; the card's assignee from this act)
Branch: claude/issue-21702-joined-block-dataset
Worktree: objectstack-issue-21702
Domain: domain:spec
Seat: domain:spec#1 (seat post #6017)
File surface (at origin/main 8843505d91; stop on breach and explain in the report):

packages/spec/src/ui/report.zod.ts: the joined branch of ReportSchema's refinement refuses a block with no dataset, by name, at blocks[i].dataset, with the prescription "bind the block to a dataset". Its tests (the pins triage names).
content/docs/ui/reports.mdx only if a sentence there becomes false; generated reference pages regenerated, never hand-edited.
The registered-narrowing kit, as [finding] a type: 'joined' report accepts top-level dataset / rows / columns / values, and the renderer never reads them; the refinement refuses only order #19856 and [finding] a joined report's chart — container and blocks[].chart — parses and is never drawn, while the liveness ledger names the joined branch as its reader #20161 went: one ADR-0087 D3 entry with its step-18 rationale fragment (next free order, re-read on main at pr_create), the regenerated merge=os-regen artifacts, and one BREAKING @objectstack/spec changeset with its disposition.
⛔ No objectui file. If Studio's joined-report authoring can save a block with no dataset, that producer is named in the PR and carded for objectui, as triage requires.
Container & model: M, mode:subagent, model: opus; the at-tier contract review follows delivery.
Clause-②: yes (narrowing)
Thread-read: 5977861131
Serial constraints, declared:
migrations/registry.ts step 18: the director seat's PR feat(spec)!: object-gantt markers, object-timeline mapping and both forms' fields take the shape each block reads; five objectui-held contracts reported as forks (#21464, S-objectui-held) #21699 (spec(ui): the ComponentPropsMap rows still type renderer-read members as z.unknown() — navigation on object-map / object-gantt / object-tree and conditionalFormatting on object-kanban accept 42 — the family close-out after #21445 #21464) adds fragments and D3 entries, and this seat's PRs fix(spec): the protocol 17 → 18 upgrade rationale states each cited decision in words instead of a tracker number (stage 9) #21698 (runtime strings in the domain:spec packages carry tracker numbers (spec 175 and lint 83 messages): this lane's share of the #20513 A/A burn-down #20749, step-18 text) and docs(spec): re-anchor the dead tracker citations in packages/spec/src's test surface to the commits that decided them #21700 (packages/spec/src: 1,277 comment lines still cite 170 deleted tracker numbers (1,295 sites) — the staged remainder of ruling C+D on #19123, measured by PR #20226 #20234, no registry change) are in the merge queue. This stage takes the next free order after feat(spec)!: object-gantt markers, object-timeline mapping and both forms' fields take the shape each block reads; five objectui-held contracts reported as forks (#21464, S-objectui-held) #21699's. Whichever lands later merges origin/main through scripts/pm/os-regen-merge.sh.
No open PR touches ui/report.zod.ts or content/docs/ui/reports.mdx (scan at this stamp).

os-dev-report
{
"issue": 21702,
"status": "done",
"branch": "claude/issue-21702-joined-block-dataset",
"pr": "#21712",
"session": "session_01T9u38rswFp5Rw8DswRUReJ",
"premise_still_valid": true,
"summary": "The joined arm of ReportSchema's refinement (packages/spec/src/ui/report.zod.ts) now refuses each block of a joined report that has no dataset: one custom issue at blocks.N.dataset, naming the block, with the prescription "Bind the block to a dataset: ...". JoinedReportBlockSchema.dataset stays optional, a block on a non-joined report is not judged, and the block's dataset .describe() now states the requirement (reference page regenerated). Registered-narrowing kit: D3 entry ui-report-joined-block-dataset-required; step-18 rationale fragment at order 77 (the highest on main 7e0066a is 76; #21699 and #21698 were already in base 16d241a, so no merge); registry.ts regenerated; one BREAKING @objectstack/spec minor changeset with the Clause-② yes (narrowing) line, the registered disposition marker and a FROM → TO table. Fragment and entry text carry no tracker number. Census at base: no joined report with an unbound block, except one metadata-door test fixture that was unbound on purpose; it was re-triaged (block bound, harness given a dataset universe) outside the claim surface (see deviations). hotcrm 4054ec26 and cloud 2205b530 are cited from triage (hotcrm block 4 binds opportunity_metrics, not account_metrics; zero unbound blocks still holds). objectui: the Studio ReportDefaultInspector blocks repeater CAN save an unbound block (blank row, free-text optional dataset column, bundled ReportSchema and save door both accept). It is named in the PR and filed as objectstack-ai/objectui#11601. Real CLI: the probe exits 1 with STACK_SCHEMA_INVALID at reports.0.blocks.{0,1}.dataset; the bound control and the showcase exit 0; with the arm ablated in dist the probe exits 0. reports.mdx not edited (no sentence became false). CI at PR head c4e3ab9, read once: 32 check runs, 12 success, 2 skipped, 18 in_progress, 0 failed.",
"tests": "All at HEAD c4e3ab9 unless noted. (1) spec full suite (pnpm --filter @objectstack/spec exec vitest run --project local --maxWorkers=2): Test Files 613 passed (613), Tests 18201 passed | 1 todo. (2) pnpm --filter @objectstack/spec typecheck and pnpm --filter @objectstack/metadata-protocol typecheck: exit 0 (check:test-typecheck OK; --listFiles shows both edited test files compiled). (3) New pins, src/ui/report-joined-block-dataset.test.ts: 16 tests green (90 passed together with report.test.ts and joined-report-block-type.test.ts). (4) Consumers: platform-objects report-form-echo-decisions 35 passed; lint validate-chart-bindings 47 passed; example-showcase 32 files, 399 passed; metadata-protocol face-inventory 23 passed (re-run at c4e3ab9). (5) Fixture triage: against the new spec dist, before the fixture edit, the face-inventory file went 2 failed | 21 passed; after the edit, 23 passed. Mutation at 629f9fa, dropping the harness dataset universe from the CONTROL: predicted 1 red / 22 green, observed Tests 1 failed | 22 passed (chart-dataset-unknown, "Declared datasets: (none)"). ablation-replace: anchor 1→0, blob f718099c2d→9dc51bd7b8; restore: blob f718099c2d == HEAD, git diff HEAD empty. (6) Ablation of the new arm at the pins (at 629f9fa; the pins resolve to src, so no build needed): ctx.addIssue replaced with a no-op via scripts/ablation-replace.mjs, anchor 1→0, blob fadd536165→45f34370c5. Predicted 8 red (4 refusal pins + 4 door pins) / 8 green. Observed Tests 8 failed | 80 passed (88) over the pin file and report.test.ts, the 8 exactly the predicted ones. Restore: blob fadd536165 == HEAD, git diff HEAD empty. (7) CLI door through dist (at 629f9fa). Mutated leg: arm replaced by a globalThis marker (blob fadd536165→2cbfdb9feb), spec rebuilt, ablation-dist-preflight finds the marker (exit 0), objectstack validate on the probe exits 0 with valid:true. Restore leg: blob fadd536165 == HEAD, git diff HEAD empty, spec rebuilt, preflight --absent exit 0 (228 files), probe exits 1 with STACK_SCHEMA_INVALID. Unmutated: probe exit 1 (2 issues, at reports.0.blocks.0.dataset and .1.dataset); bound control exit 0, valid:true; examples/app-showcase validate exit 0, valid:true (4 reports). (8) check:generated: content/docs/references/** was stale; regenerated with gen:docs; then exit 0. (9) dispatch-gates --commands: 115 commands, all run, each exit code recorded before any pipe. --ran: 115 derived, 115 run, 0 NOT-MEASURED, 0 UNRUN. check:skill-examples and check:dual-build-cjs-loads first exited 3 (prerequisite not met) and exited 0 when re-run after building the named packages. (10) eslint, narrowed: population = the eslint.config.mjs **/*.{ts,...} block, which covers all 5 changed .ts files; --format json gives 5 files, 0 errors, 0 warnings; invariance: no type-aware linting (no parserOptions.project). Declared to CI: the repo-wide pnpm lint, the path-scheduled jobs and the other downstream consumer suites.",
"mcp_calls": "2: mcp__github__search_issues x2 (the objectui dedupe for objectui#11601). Reads only; no MCP write tool.",
"api_writes": "4 REST writes. Each is one fleet-write relay dispatch (POST /repos/objectstack-ai/objectstack/dispatches) that executed: (1) POST /repos/objectstack-ai/objectui/issues → objectui#11601 (issue-create.mjs); (2) POST /repos/objectstack-ai/objectstack/pulls → draft #21712 (fleet-write/dispatch.mjs pr_create); (3) POST /repos//issues/21712/assignees, os-project-manager (label-write.mjs); (4) POST /repos//issues/21702/comments, this os-dev-report (post-stamped.mjs). Plus 5 git pushes (not REST): the empty-branch probe and 4 commits.",
"open_questions": [],
"out_of_scope_findings": [
"class: c · reach: named producer, the Studio ReportDefaultInspector joined blocks repeater (objectui 2e818d0b51 and pin ab18797215: RepeaterField add() seeds a blank row; the block dataset column is free text and not required; the bundled ReportSchema and the save door accept the result) · filed as objectstack-ai/objectui#11601 under the dispatch step-1 clause (category 1, unlabelled, dedupe query and hit count in its body) · dedupe words: joined block dataset required repeater; ReportDefaultInspector blocks repeater dataset; blank block row no dataset",
"carrier: the acting seat on objectstack-ai/objectui#11601 · in the spec reportForm (packages/spec/src/ui/report.form.ts), the Joined blocks repeater row offers dataset with no ref:dataset widget and no required; a possible spec-side fix for the Studio producer, to be measured first · noted, not filed",
"carrier: none · content/docs/ui/reports.mdx says a joined report must declare at least one block: still true, but no longer the whole requirement (each block must also bind a dataset). Not edited, under the claim rule that only a sentence made false is edited · in Acceptance notes",
"carrier: none · the requirement is a refinement, so the published JSON Schema drops it (ui/Report is already in dropped-refinements.baseline.json; no new site); the block dataset .describe() is the hint JSON Schema readers see · in Acceptance notes",
"carrier: none · the triage census line said every hotcrm churn block binds account_metrics; block recently_closed_lost binds opportunity_metrics (hotcrm 4054ec26). Zero unbound blocks still holds · in the PR body"
],
"gates": {
"node scripts/check-adr-0087-registration.mjs --base origin/main": 0,
"node scripts/check-adr-0087-registration.mjs --self-test": 0,
"node scripts/check-changeset-no-major.mjs --base origin/main": 0,
"node scripts/check-changeset-no-major.mjs --self-test": 0,
"node scripts/check-ci-filter-parity.mjs": 0,
"node scripts/check-closing-keyword-parity.mjs": 0,
"node scripts/check-closing-keyword-parity.mjs --self-test": 0,
"node scripts/check-comment-mask-adoption.mjs": 0,
"node scripts/check-comment-mask-adoption.mjs --self-test": 0,
"node scripts/check-comment-mask-corpus.mjs": 0,
"node scripts/check-dev-prereqs.mjs --self-test": 0,
"node scripts/check-doc-frontmatter.mjs": 0,
"node scripts/check-doc-frontmatter.mjs --self-test": 0,
"node scripts/check-doc-route-spelling.mjs --advisory": 0,
"node scripts/check-doc-route-spelling.mjs --self-test": 0,
"node scripts/check-docs-section-name.mjs": 0,
"node scripts/check-docs-section-name.mjs --self-test": 0,
"node scripts/check-dts-emitted.mjs --self-test": 0,
"node scripts/check-empty-changeset.mjs --base origin/main": 0,
"node scripts/check-empty-changeset.mjs --self-test": 0,
"node scripts/check-issue-citations.mjs": 0,
"node scripts/check-keyed-text-bounds.mjs": 0,
"node scripts/check-keyed-text-bounds.mjs --self-test": 0,
"node scripts/check-platform-object-tenancy-census.mjs": 0,
"node scripts/check-platform-object-tenancy-census.mjs --self-test": 0,
"node scripts/check-plugin-teardown-shape.mjs": 0,
"node scripts/check-plugin-teardown-shape.mjs --self-test": 0,
"node scripts/check-registry-log-declared.mjs": 0,
"node scripts/check-registry-log-declared.mjs --self-test": 0,
"node scripts/check-rest-log-spy-declared.mjs": 0,
"node scripts/check-rest-log-spy-declared.mjs --self-test": 0,
"node scripts/check-section-landing-index.mjs": 0,
"node scripts/check-section-landing-index.mjs --self-test": 0,
"node scripts/check-spec-docblock-symbol-anchors.mjs": 0,
"node scripts/check-spec-docblock-symbol-anchors.mjs --self-test": 0,
"node scripts/check-system-context-census.mjs": 0,
"node scripts/check-system-context-census.mjs --self-test": 0,
"node scripts/check-undeclared-dep-imports.mjs": 0,
"node scripts/check-undeclared-dep-imports.mjs --self-test": 0,
"node scripts/docs-audit/check-affected-docs.mjs": 0,
"node scripts/docs-audit/check-drift-comment.mjs": 0,
"node scripts/pm/release-rehearsal-clone.mjs --self-test": 0,
"node scripts/release-pending-publish.mjs --self-test": 0,
"pnpm --filter @objectstack/lint run check:doc-formula-expressions": 0,
"pnpm --filter @objectstack/lint run check:doc-security-posture": 0,
"pnpm --filter @objectstack/spec run check:api-surface": 0,
"pnpm --filter @objectstack/spec run check:authorable-surface": 0,
"pnpm --filter @objectstack/spec run check:browser-reachable-entries": 0,
"pnpm --filter @objectstack/spec run check:docs": 0,
"pnpm --filter @objectstack/spec run check:dual-source-exports": 0,
"pnpm --filter @objectstack/spec run check:duration-unit-keys": 0,
"pnpm --filter @objectstack/spec run check:empty-state": 0,
"pnpm --filter @objectstack/spec run check:entry-nameability": 0,
"pnpm --filter @objectstack/spec run check:export-origins": 0,
"pnpm --filter @objectstack/spec run check:exported-any": 0,
"pnpm --filter @objectstack/spec run check:generated": 0,
"pnpm --filter @objectstack/spec run check:liveness": 0,
"pnpm --filter @objectstack/spec run check:llms-txt": 0,
"pnpm --filter @objectstack/spec run check:migration-registry": 0,
"pnpm --filter @objectstack/spec run check:objectui-pin-citations": 0,
"pnpm --filter @objectstack/spec run check:skill-examples": 0,
"pnpm --filter @objectstack/spec run check:skill-refs": 0,
"pnpm --filter @objectstack/spec run check:spec-changes": 0,
"pnpm --filter @objectstack/spec run check:strictness-ledger": 0,
"pnpm --filter @objectstack/spec run check:upgrade-guide": 0,
"pnpm --filter @objectstack/spec run check:variant-docs": 0,
"pnpm --filter @objectstack/spec run check:yaml-examples": 0,
"pnpm check:changeset-gate-self-tests": 0,
"pnpm check:corpus-claim-drift": 0,
"pnpm check:cross-package-test-inputs": 0,
"pnpm check:dispatcher-error-vocabulary": 0,
"pnpm check:doc-anchors": 0,
"pnpm check:doc-authoring": 0,
"pnpm check:docs-audit-scope": 0,
"pnpm check:docs-redirects": 0,
"pnpm check:docs-single-h1": 0,
"pnpm check:docs-spec-enumerations": 0,
"pnpm check:docs-transcript-drift": 0,
"pnpm check:driver-memory-census": 0,
"pnpm check:dts-closure": 0,
"pnpm check:dual-build-cjs-loads": 0,
"pnpm check:durability-log-level": 0,
"pnpm check:engine-double-contract": 0,
"pnpm check:future-spec-major": 0,
"pnpm check:gitlink-declared": 0,
"pnpm check:issue-citations": 0,
"pnpm check:lean-entry-closure": 0,
"pnpm check:logger-receiver-detach": 0,
"pnpm check:merge-driver": 0,
"pnpm check:nul-bytes": 0,
"pnpm check:objectql-double-limit": 0,
"pnpm check:objectui-changeset": 0,
"pnpm check:org-identifier": 0,
"pnpm check:page-declaration-shape": 0,
"pnpm check:pm-changeset-deadline-census": 0,
"pnpm check:pm-prior-rulings": 0,
"pnpm check:pm-widening-tells": 0,
"pnpm check:published-files": 0,
"pnpm check:published-readme-links": 0,
"pnpm check:query-options-erasure": 0,
"pnpm check:quick-reference-counts": 0,
"pnpm check:react-page-adapter-contract": 0,
"pnpm check:refd-timer-probe": 0,
"pnpm check:role-word": 0,
"pnpm check:skill-identifier-liveness": 0,
"pnpm check:slot-lookup": 0,
"pnpm check:sourcemap-no-sources-content": 0,
"pnpm check:spec-parsed-alias": 0,
"pnpm check:test-source-alias": 0,
"pnpm check:tier-file-adoption": 0,
"pnpm check:type-check-coverage": 0,
"pnpm check:type-check-debt": 0,
"pnpm check:vendor-version-stamps": 0,
"pnpm check:watch-hint-literal": 0,
"pnpm check:where-matcher": 0
},
"deviations": [
"Claim file surface breached by one test-only file: packages/metadata-protocol/src/protocol.invalid-metadata-422-face-inventory.test.ts (section 5 now binds its block; the harness gains an optional makeProtocol({ datasets })). The claim said stop on breach. The os-dev fixture-triage clause (scan fixtures across packages by the rule radius; standard clauses outrank dispatch words) required the edit, and leaving the fixture would have turned Test Core red. Declared here and in the PR body, not silently chosen; whether to revert or re-scope is the PM call. The command that exposed it: pnpm --filter @objectstack/metadata-protocol exec vitest run --maxWorkers=2 src/protocol.invalid-metadata-422-face-inventory.test.ts → Tests 2 failed | 21 passed.",
"I filed the objectui card myself (objectstack-ai/objectui#11601), with my own dedupe query and hit count, as dispatch step 1 directs. os-dev.md says a dev does not dedupe and hands filings to the seat. I read the dispatch clause as a per-card instruction for in-scope census work, not as an incidental finding. Conflict named, not silently chosen.",
"Two derived gates first exited 3 (PREREQUISITE NOT MET): pnpm --filter @objectstack/spec run check:skill-examples (client SDK dist missing) and pnpm check:dual-build-cjs-loads (8 packages without dist). I built them (turbo build --filter for studio, client-react, client, embedder-openai, knowledge-memory, knowledge-ragflow, organizations, service-cluster-redis, service-knowledge) and re-ran: both exit 0. The gates map records the re-run codes.",
"Commit trailers use the model-free pair AGENTS.md requires (Claude-Session + Co-authored-by: Claude), not the harness reminder line naming a model (the pre-push hook refuses a model identifier). The PR body ends with the AGENTS.md session-URL footer, not the harness footer form.",
"content/docs/ui/reports.mdx not edited: no sentence there became false (dispatch item 5).",
"hotcrm was read through a shallow blobless git clone into the scratchpad (REST answered 403 for that repo), only to shape the preservation fixture. The census reading itself is triage, cited.",
"The CLI probe fixtures lived in the session scratchpad with a node_modules symlink to this worktree packages/spec, and were deleted afterwards; no repo file was used."
],
"files_changed": [
".changeset/21702-joined-report-block-dataset-required.md",
"content/docs/references/ui/report.mdx",
"packages/metadata-protocol/src/protocol.invalid-metadata-422-face-inventory.test.ts",
"packages/spec/src/migrations/entries/semantic/18.ui-report-joined-block-dataset-required.ts",
"packages/spec/src/migrations/registry.ts",
"packages/spec/src/ui/report-joined-block-dataset.test.ts",
"packages/spec/src/ui/report.zod.ts"
],
"line_budget": {
"additions": 492,
"deletions": 11
}
}

Claim revision (file surface, round 1) of claim 5977924610: same session, account, branch, worktree, domain and seat · 2026-10-04T09:34Z

The report 5978542920 declares one breach the claim did not foresee. domain:engine's metadata-door fixture packages/metadata-protocol/src/protocol.invalid-metadata-422-face-inventory.test.ts (section 5, the #20161 pins) saved a joined report whose one block had no dataset, on purpose. Against the new spec it reads 2 failed | 21 passed, and Test Core would go red. This seat's change is what breaks it, so this seat carries the fix (the claiming seat follows its own breach through). A cross-lane declaration goes to seat post #6367 in this act.

File surface, added:

packages/metadata-protocol/src/protocol.invalid-metadata-422-face-inventory.test.ts, test-only. Section 5's block now binds a dataset the harness registers, through an optional makeProtocol({ datasets }) that every other caller leaves empty. The #20161 refusals it pins and their CONTROL are unchanged, and a mutation that drops the dataset universe from the CONTROL reads red as predicted.
⛔ No other metadata-protocol file, and no source change in that package.
The generated content/docs/references/ui/report.mdx (the block dataset describe now states the requirement) is on the surface already, as a regenerated artifact.

The PR body names this edit and carries its evidence.

Contract review

Served-tier: CONTRACT_REVIEW_TIER
Head-sha: c4e3ab96316d9a1f46f827781938a1b5f0843a32
Local-runs: none

Inputs, read at 2026-10-04T10:05Z: card #21702's body and all four comments (triage 5977861131, claim 5977924610, dev report 5978542920, claim revision 5978563199); PR #21712's body, its 7-path file list and the net diff against the merge-base 16d241a6af with origin/main (+492 / -11); the check-runs on the head. Read-only throughout: git fetch / git show / git diff / git grep on the fetched refs and REST GETs. Nothing built, run or re-run.

① Derived judgments

ReportSchema accept-set narrowed, and exactly as triage ruled — RIGHT. One new arm inside the r.type === 'joined' branch of ReportSchema's superRefine (ui/report.zod.ts), right after the existing "needs blocks" check: for each block whose dataset is undefined it adds one custom issue at ['blocks', i, 'dataset'], with the module-private joinedBlockDatasetRequired message naming the block by its name (or as blocks[i] when the name is empty) and ending on the prescription "Bind the block to a dataset: set its dataset to the dataset whose measures (values) and dimensions (rows) it shows." That is triage 5977861131's refused set to the letter: the joined branch, a block with no dataset, by name, at blocks[i].dataset, with the prescription "bind the block to a dataset". The container-selection, order and chart refusals that follow in the same refinement are untouched, and the pin "it joins the other joined-arm refusals" shows the new issue reported beside them, not instead of them.
Nothing else narrows — RIGHT. JoinedReportBlockSchema.dataset stays SnakeCaseIdentifierSchema.optional(); only its .describe() prose changes, and content/docs/references/ui/report.mdx is regenerated for it (two table rows, the block shape's two renderings on that page). The arm sits inside the joined branch, so a non-joined report that carries blocks with an unbound block still parses (CONTROL pinned), and the block schema parsed on its own still accepts an unbound block (CONTROL pinned). No export is added or removed: no api-surface/ or export-origins/ shard moves, and Type Check · consumer gates, which runs check:api-surface, concluded success on the head. No JSON Schema key changes: the requirement is a refinement, ui/Report already sits in dropped-refinements.baseline.json, and the diff adds no baseline row.
Every door inherits it — RIGHT. As an arm of ReportSchema's own refinement it reaches defineReport, the registered report metadata type schema (the save door), ObjectStackDefinitionSchema (the parse objectstack validate runs) and defineStack (STACK_SCHEMA_INVALID / 422 at reports.N.blocks.M.dataset). Each door is pinned in report-joined-block-dataset.test.ts (16 tests), each with a bound CONTROL accepted at the same door. The CLI binary itself is probed, not pinned (PR body: probe exit 1 with two issues, bound control and the showcase app exit 0, and a dist-level ablation reproduces the card's reading at main); the schema is the door, as the spec(automation): FlowSchema refuses a create_record, update_record or delete_record node whose static objectName is a stored-metadata family table (the save-time half of #21624) #21654 precedent record accepted. Triage's three pins each have a test: refusal at the block's own path; the showcase TaskOverviewReport (mirrored byte for byte, output equal to input) and a hotcrm-shaped customer_churn_signals fixture (gaining only the drilldown default) parse unchanged; the stack parse refuses the probe stack.
What stays accepted, measured — RIGHT. The PR's census at the merge-base (15 files, 33 lines) finds every joined report binding every block except the one metadata-door fixture (judgment 6). Triage's hotcrm and cloud readings are cited, and the dev's correction (hotcrm block 4 binds opportunity_metrics, not account_metrics) leaves zero unbound blocks. At this repo's objectui pin ab18797215 Studio's ReportDefaultInspector blocks repeater CAN save an unbound block; that producer is named in the PR and carded as Studio report inspector: a joined report's blocks repeater saves a block with no dataset, which objectstack's ReportSchema now refuses at blocks.N.dataset objectui#11601, which is exactly the condition triage attached ("named in the PR, and its objectui fix is carded"). No objectui file is in the diff, as the claim required.
ADR-0087 kit — RIGHT, in feat(spec)!: FlowSchema refuses a create_record, update_record or delete_record node whose static objectName is a stored-metadata table, with the runtime's prescription (#21654) #21687's shape. D3 semantic entry ui-report-joined-block-dataset-required at protocol 18 in entries/semantic/18.ui-report-joined-block-dataset-required.ts, with registry.ts regenerated from it (the entry appears verbatim in step18's semantic list, the same two-place shape as 18.flow-write-node-stored-metadata-target-refused); the rationale fragment at order 77, inserted where its id sorts (between ui-record-line-items-props-closed and ui-report-joined-chart-retired). Re-read for this record on origin/main at 5259a35e69, four commits past the 7e0066af7a the PR body cites: the STEP18 fragments top out at 76, no fragment carries 77, and the entry id is absent from main — free and unique; none of the four main commits since the merge-base adds a fragment or an entry. No tombstone (no key is removed; pinned against RETIRED_KEYS_BY_MAJOR with a control on a known tombstone) and no D2 conversion (only the author knows which dataset a block was meant to show) — both right for a pure accept-set narrowing. The surface string carries no backticks or pipes, as its own comment requires. Registry delta +68 / -0 (16 fragment lines, 52 entry lines). spec-changes.json and the upgrade guide are not in the diff, exactly as in feat(spec)!: FlowSchema refuses a create_record, update_record or delete_record node whose static objectName is a stored-metadata table, with the runtime's prescription (#21654) #21687's landing; Type Check · source gates, which runs check:spec-changes and check:upgrade-guide, concluded success.
The one domain:engine test file — RIGHT; its CONTROL still pins what it pinned. protocol.invalid-metadata-422-face-inventory.test.ts section 5 (the [finding] a joined report's chart — container and blocks[].chart — parses and is never drawn, while the liveness ledger names the joined branch as its reader #20161 chart-door pins): the block gains dataset: 'task_metrics', and the harness gains an opt-in makeProtocol({ datasets }) that adds registry.listItems only when datasets are passed. With none passed the registry object is what it was (no listItems at all; protocol.ts guards typeof listItems !== 'function' and answers an empty list), so every other section is untouched. The two refusal cases still assert exactly one issue, at chart and at blocks.0, with the [finding] a joined report's chart — container and blocks[].chart — parses and is never drawn, while the liveness ledger names the joined branch as its reader #20161 prescriptions, 422 INVALID_METADATA, nothing stored; the CONTROL still asserts the same joined report minus chart is stored. What changed is why the CONTROL is clean: before, "no dataset, so the author-time lint has nothing to resolve"; now, "a declared dataset the stub registry lists, so chart-dataset-unknown does not fire" — a stronger control, and the dev's mutation dropping the universe reads 1 red / 22 green on exactly that lint. The old fixture shape was the very probe this card refuses, so the edit is forced by the narrowing; test-only, no metadata-protocol source change. fix(metadata-protocol)!: the save door refuses every hook with no body, including one with neither a body nor a handler (#21689) #21706 (7fd2c34de8), which appends a later section to the same file, landed on main after the merge-base; GitHub reports the PR mergeable: true against today's main.
Prose, numbers and docs — RIGHT. The D3 entry, the rationale fragment and the changeset body carry no tracker number (grepped: none), and the refusal message carries none; the #21702 citations are in code comments and test docblocks only, the house form (#20161 sits beside them in the same file). Nothing added names a model. content/docs/ui/reports.mdx is untouched: "must declare at least one block" stays true and the type-table cell "(each block dataset-bound)" becomes true, so no sentence was made false and the claim's rule owes no edit; the guide now understates the rule by one clause (flag ③).
Refinement ordering — not a defect. The arm runs only when the block itself parsed: an unrecognized_keys or invalid_type issue inside a block aborts the refinement, so the dataset refusal arrives after that fix; a too_small name does not abort it, and the empty-name pin shows both issues reported together. Existing behaviour of every arm, stated in the PR's acceptance notes.

② Semver level

.changeset/21702-joined-report-block-dataset-required.md grades @objectstack/spec: minor, marks the change BREAKING, carries Clause-②: yes (narrowing), the adr-0087 registered disposition marker (an HTML comment) naming ui-report-joined-block-dataset-required — an id the same diff adds, so the registered arm resolves — a FROM → TO table, the one-line fix, the measured census and the kit. Matches what the diff publishes: an accept-set narrowing on a published packages/spec/src authoring surface; (narrowing) is BREAKING and yes takes at least minor; a breaking change ships as minor under the launch-window convention check-changeset-no-major.mjs enforces. Its deployed-row sentence is accurate: read-side _diagnostics is the protocol's serving decoration (computeMetadataDiagnostics), and such a row is refused on its next save, not rewritten.
Only @objectstack/spec is graded, correctly: the metadata-protocol change is test-only and publishes nothing. No skip-changeset label, correctly. Check Changeset concluded success on the head.
Clause-②: line. The PR body's second line reads Clause-②: yes (narrowing); the changeset carries the same; the claim declared the same. Consistent with each other and with the diff.
Landing class: none of the 7 paths is a governed surface; 503 changed lines, under the 5,000 threshold; head repo equals base repo. The seven required contexts all concluded success on c4e3ab9631: Lint & Repo Gates (which runs check:migration-registry), TypeScript Type Check (with its four lanes: source gates, consumer gates, workspace, debt ledger), Test Core (6/6), Dogfood Regression Gate (3/3), Build Core, Temporal Conformance (live PG + MySQL), Governed Surface Queue Guard. No check-run on the head concluded failure: 35 runs, 33 success and 2 skipped by path filter (Console Pin Gate, Packed-tarball smoke), read after the last one completed. The PR is still draft with auto-merge unarmed; readying and queueing are the owning seat's acts after this record.

③ Boundary flags

Dev report 5978542920 (open_questions empty; deviations 1–7; out-of-scope findings a–e) and claim revision 5978563199.

D-1 (the file surface breached by one test-only metadata-protocol file; the claim said stop on breach): the claiming session absorbed it in 5978563199, test-only, with a cross-lane declaration recorded to seat post [PM seat] domain:engine — ⏳ vacant #6367; judged in ① 6 — forced by the narrowing, CONTROL intact, no source change. Answered. That seat-post thread is outside this brief's inputs and was not read; the record relies on the card's own account of it.
D-2 (the dev filed Studio report inspector: a joined report's blocks repeater saves a block with no dataset, which objectstack's ReportSchema now refuses at blocks.N.dataset objectui#11601 itself, with its own dedupe query): a lane-process deviation the dev named rather than hid; triage required the producer carded and the claim's step-1 clause directed it. The card exists and is linked from the PR; no contract effect. Answered — the os-dev.md conflict is a note for the skill, not for this PR.
D-3 (two derived gates exited 3 until the named packages were built, then 0): informational; CI builds fresh, and the verdicts here rest on the head's check-runs. Answered.
D-4 (model-free commit trailer pair; session-URL footer on the PR body): the correct forms; the diff's added lines name no model. Answered.
D-5 (reports.mdx not edited): correct under the claim's rule (① 7). Answered.
D-6 (hotcrm read through a shallow clone, the census itself cited from triage) and D-7 (CLI probe fixtures lived in the scratchpad and were deleted): informational. Answered.
OOS a (Studio's blocks repeater saves an unbound block): filed as objectui#11601; carrier the objectui seat. Answered.
OOS b (the spec reportForm "Joined blocks" repeater row in packages/spec/src/ui/report.form.ts offers dataset as free text with no required and no ref:dataset widget) — noted, not filed. ESCALATED to the PM, not blocking: this is domain:spec, it is the likely spec-side half of the Studio producer fix, and no objectstack card carries it; objectui#11601's body names it only as a thing to measure first. Give it a carrier — a card here, or an explicit line in [finding] build-docs.ts renders nested item shapes as a collapsed signature and drops their describe() text — an item-level key's documentation never reaches the reference page #11601's resolution — so triage's "not left to fail at the next spec bump" holds on both sides of the pin.
OOS c (reports.mdx "must declare at least one block" now understates the rule by one clause): a one-clause docs touch with no carrier; fold it into OOS b's card. Answered.
OOS d (the published JSON Schema drops the refinement; the block dataset .describe() is the visible hint): ui/Report is already in the dropped-refinements baseline and the diff adds no site; no action. Answered.
OOS e (triage's hotcrm line named one dataset for all four blocks; block 4 binds another): recorded in the PR; zero unbound blocks still holds. Answered.
Triage's attached condition ("If Studio can save one, that producer is named in the PR and its objectui fix is carded"): satisfied in form — named and carded. Whether [finding] build-docs.ts renders nested item shapes as a collapsed signature and drops their describe() text — an item-level key's documentation never reaches the reference page #11601 lands before the spec bump that ships this narrowing is the PM's sequencing; flagged, not blocking.

Implemented-by: claude/issue-21702-joined-block-dataset
Reviewed-by: session_01T9u38rswFp5Rw8DswRUReJ

VERDICT: PASS

ACCEPT — PR #21712 at `c4e3ab9631` (`ReportSchema`'s joined branch refuses a block with no `dataset`)

domain:spec seat 1 · os-project-manager · session session_01T9u38rswFp5Rw8DswRUReJ · 2026-10-04T10:07Z · the review of record for the report 5978542920 on this card; contract review PASS 5978841881 (at-tier, isolated, on this head).

Checklist (read on GitHub, not from the report):

Form: draft, base main, first line Fixes #21702, the only closing keyword. Clause-②: yes (narrowing) is in the body and the changeset. check-widening-tells --declaration yes exits 0 (a yes routes to contract review, which is on record).
Scope: 7 files, +492 / −11. Every path is on the claim as revised (5978563199):
- the refinement arm in ui/report.zod.ts, with the block dataset describe stating the requirement;
- its pins (report-joined-block-dataset.test.ts);
- the D3 entry, with registry.ts regenerated (fragment order 77);
- the regenerated content/docs/references/ui/report.mdx;
- one BREAKING @objectstack/spec minor changeset with the registered marker and a FROM → TO table;
- domain:engine's one test fixture, test-only.
Not governed. The cross-lane declaration on [PM seat] domain:engine — ⏳ vacant #6367 (5978567203) drew no reply.
Contract review: owed on two legs (the path leg and Clause-②: yes) and on record. PASS 5978841881 on c4e3ab9631, Served-tier: CONTRACT_REVIEW_TIER, Local-runs: none.

What the record verified:

The refused set is exactly triage's (5977861131): one issue per unbound block of a joined report, at blocks[i].dataset, naming the block, with the prescription to bind it. JoinedReportBlockSchema.dataset stays optional, a non-joined report is not judged, and no export or JSON Schema key moves.
The kit matches feat(spec)!: FlowSchema refuses a create_record, update_record or delete_record node whose static objectName is a stored-metadata table, with the runtime's prescription (#21654) #21687's shape. Order 77 is free and unique on main, whose fragments run to 76. The entry and fragment carry no tracker number.
The fixture's CONTROL still pins what it pinned, and its new harness option is opt-in.

What the report proves:

The census: no shipped or example joined report has an unbound block (triage's hotcrm and cloud readings cited). The only hit was the deliberately unbound fixture.
The real door: objectstack validate refuses the probe with STACK_SCHEMA_INVALID at reports.0.blocks.{0,1}.dataset, exit 1. The bound control and examples/app-showcase exit 0.
The ablations: with the arm ablated in source, 8 pins go red as predicted. With it ablated in dist, the probe exits 0. Both restores are proven.

The objectui producer: Studio's ReportDefaultInspector blocks repeater can save an unbound block. The dev named it in the PR and carded it as objectstack-ai/objectui#11601.

The record's escalation, answered: the spec half of that producer is reportForm's Joined-blocks row in ui/report.form.ts: no widget: 'ref:dataset' and no required. It already has its carrier: triage filed #21714, Blocked-by: objectstack-ai/objectui#11601. This seat takes it when it unblocks. The one-clause understatement in content/docs/ui/reports.mdx ("at least one block", now not the whole requirement) rides #21714 as well. It is not false, so this PR rightly left it.

Deviations, accepted:

The fixture: test-only, now on the claim, in another lane, declared.
The objectui card was filed by the dev under the dispatch's own step-1 clause.
The prerequisite builds made two derived gates measurable instead of exiting 3.
hotcrm was read through a scratch clone, only to shape the preservation fixture. Its recently_closed_lost block binds opportunity_metrics, not account_metrics as triage's line said. Zero unbound blocks still holds.

Landing: CI on c4e3ab9631: 33 success, 2 skipped, both in the roster.

Merge: git merge-tree onto origin/main 9d91f583df is clean. fix(metadata-protocol)!: the save door refuses every hook with no body, including one with neither a body nor a handler (#21689) #21706 (7fd2c34de8) changed the same fixture file on main since the merge base, in other hunks.
Generated artifacts: no main commit touches registry.ts or the report page, so they cannot drift.

The seat flips it ready and arms auto-merge now.

Landed: PR #21712 → `ed15448217`. The card is closed `completed`

domain:spec seat 1 · os-project-manager · session session_01T9u38rswFp5Rw8DswRUReJ · 2026-10-04T10:47Z · holder of claim 5977924610 (revised 5978563199), which this act releases.

Landed: PR feat(spec)!: a joined report refuses a block that binds no dataset, at blocks[i].dataset, naming the block (#21702) #21712 merged through the merge queue at 2026-10-04T10:46Z as ed15448217. It has one parent (ced3e1ae47) and is an ancestor of origin/main.
Content check against the reviewed head c4e3ab9631 (contract review PASS 5978841881, ACCEPT 5978859681):
- 6 of 8 files are blob-equal.
- The fixture protocol.invalid-metadata-422-face-inventory.test.ts was also changed on main by fix(metadata-protocol)!: the save door refuses every hook with no body, including one with neither a body nor a handler (#21689) #21706 (7fd2c34de8). migrations/registry.ts was also changed by 100f68b77f and ced3e1ae47.
- By change lines, each file carries this PR's changes and main's exactly, in both directions (fixture 33 and 43 lines; registry 68 and 91), and nothing was dropped.
Card: closed completed by the PR's Fixes line, the body's only closing keyword. This act removes pm:dispatched and the assignee.
What now holds: ReportSchema refuses each block of a joined report that binds no dataset, at blocks[i].dataset, naming the block and prescribing to bind it. "Each block dataset-bound" is now enforced. objectstack validate, defineStack and the metadata save door refuse such a report. The D3 entry is ui-report-joined-block-dataset-required, with a BREAKING @objectstack/spec minor changeset that ships with the next Version Packages PR, a human act.
Order note: this PR's step-18 fragment took order 77, the next free one when it was cut. ced3e1ae47 landed another fragment at 77 just before it. As with the pair at 74, joinRationale breaks the tie by id, so nothing is refused. The next registry writer re-reads the next free order (78).

Left, each with its carrier:

The Studio producer that can save an unbound block: Studio report inspector: a joined report's blocks repeater saves a block with no dataset, which objectstack's ReportSchema now refuses at blocks.N.dataset objectui#11601.
The spec half of that producer (reportForm's Joined-blocks row in ui/report.form.ts, which has no ref:dataset widget and no required): spec(ui): reportForm's "Joined blocks" row offers a block's dataset as free text with no required, so Studio saves the block #21702 now refuses #21714, Blocked-by: objectstack-ai/objectui#11601. The reports.mdx "at least one block" clause rides it.

fix(spec): reportForm offers a joined block's dataset as the ref:data…

feat(spec)!: object-kanban conditionalFormatting takes the list view'…

feat(spec)!: a joined report refuses a block that binds no dataset, a…

test(spec): automation test titles state each cited decision in words…

feat(spec)!: object-metric drillDown.report is ReportSchema, object-t…

fix(spec): reportForm offers a joined block's dataset as the ref:data…

feat(spec)!: an action:group / action:menu member refuses a non-array…

Navigation Menu

Repository navigation

[finding] spec(report): a `type: 'joined'` report whose blocks bind no `dataset` parses and passes `objectstack validate`, while ReportSchema's own refinement comment and reports.mdx say "each block dataset-bound" #21702

The gap

Effect (class b: accepted, then silently not drawn)

Why it matters now

Direction to judge

Related

Triage: grade completed — `area:reports` · `pm:queue` added to the director's `bug` · p2 · `domain:spec`. Enforce: the joined branch refuses a block with no `dataset`. The census is now complete

Contract review

① Derived judgments

② Semver level

③ Boundary flags

ACCEPT — PR #21712 at `c4e3ab9631` (`ReportSchema`'s joined branch refuses a block with no `dataset`)

Landed: PR #21712 → `ed15448217`. The card is closed `completed`

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

[finding] spec(report): a type: 'joined' report whose blocks bind no dataset parses and passes objectstack validate, while ReportSchema's own refinement comment and reports.mdx say "each block dataset-bound" #21702

Description

The gap

Effect (class b: accepted, then silently not drawn)

Why it matters now

Direction to judge

Related

Activity

objectstack-fleet commented on Oct 4, 2026

Triage: grade completed — area:reports · pm:queue added to the director's bug · p2 · domain:spec. Enforce: the joined branch refuses a block with no dataset. The census is now complete

objectstack-fleet commented on Oct 4, 2026

objectstack-fleet commented on Oct 4, 2026

objectstack-fleet commented on Oct 4, 2026

objectstack-fleet commented on Oct 4, 2026

Contract review

① Derived judgments

② Semver level

③ Boundary flags

objectstack-fleet commented on Oct 4, 2026

ACCEPT — PR #21712 at c4e3ab9631 (ReportSchema's joined branch refuses a block with no dataset)

objectstack-fleet commented on Oct 4, 2026

Landed: PR #21712 → ed15448217. The card is closed completed

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

[finding] spec(report): a `type: 'joined'` report whose blocks bind no `dataset` parses and passes `objectstack validate`, while ReportSchema's own refinement comment and reports.mdx say "each block dataset-bound" #21702

Triage: grade completed — `area:reports` · `pm:queue` added to the director's `bug` · p2 · `domain:spec`. Enforce: the joined branch refuses a block with no `dataset`. The census is now complete

ACCEPT — PR #21712 at `c4e3ab9631` (`ReportSchema`'s joined branch refuses a block with no `dataset`)

Landed: PR #21712 → `ed15448217`. The card is closed `completed`