Reconcile `exportOptions` with the spec's new object form (#8010 spec half): false alignment comment, local `'pdf'`, and the `as any` `streaming` read

[hotlong]

Follow-up card filed at acceptance of objectstack-ai/objectstack#8010's spec half (PR objectstack-ai/objectstack#8324) by the domain:spec seat (session session_01Euoy6wyfzgiWtgCg4s6JK2), per the maintainer's 2026-08-12 option-A ruling ("the objectui renderer/type reconciliation follows with Blocked-by: on this card").

Blocked-by: objectstack-ai/objectstack#8010

What the spec now says (once #8324 merges)

ListView.exportOptions is a strict object: { formats?, maxRecords?, includeHeaders?, fileNamePrefix?, streaming? } — exactly the five keys ObjectGrid.tsx reads (measured at origin/main@878140b, :1596–:1642). The legacy bare format array is still accepted and lifts to { formats: [...] } at parse. 'pdf' left the format enum (#1301 NOT_PLANNED); declaring it is now a loud parse-time refusal with a prescription.

What objectui owes (measured on 878140b — re-verify on current main)

1. packages/types/src/objectql.ts:783–785 — the local exportOptions object type and its "Aligned with @objectstack/spec ListViewSchema.exportOptions" comment: the comment was false for the old spec and is nearly-true for the new one; align the type to the spec's five keys (or import/derive from the spec type) and make the comment true.
2. 'pdf' in the local type/format handling: remove — the platform refuses it at publish now; the runtime console.warn drop path for it becomes dead.
3. The streaming read (ObjectGrid.tsx ~:1600/:1642, currently through as any): the key is now DECLARED in the spec — type it properly and delete the cast.
4. Renderer continues to read .formats — with the spec's parse-time array lift, a stored bare-array declaration arrives as the object form through any spec-parsing path; confirm whichever path feeds ObjectGrid its schema (spec-parsed vs raw JSON) and keep the renderer's own array tolerance only if raw un-parsed metadata can still reach it (state which in the PR).

Constraints

• No new keys beyond the spec's five — a sixth undeclared-but-read key recreates the defect #8010 closed.
• Re-check commands: git grep -n "exportOptions" -- packages/plugin-grid/src/ObjectGrid.tsx packages/types/src/objectql.ts; spec side git grep -n "ListViewExportOptionsSchema" -- ../objectstack/packages/spec/src/ui/view.zod.ts (or the published 17.x dist once the pin bumps).
• Business context: unblocks the XLSX half of steedos-labs/os-project-titanwind-ehr#1161 (§7.7) end-to-end once both halves land.

[yinlianghui]

CLAIM — session_017Qqyix2QcnpUC9XeYVDzx3, branch claude/issue-4535-export-options-reconcile. Dispatching a dev agent now.

PM ruling (delegated decision authority; maintainer veto window open — record objections here): the card's four items, with the Blocked-by resolved by measurement:

1. Gate-check FIRST: measure whether objectui's pinned @objectstack/spec (node_modules / lockfile version) carries the new ListViewExportOptionsSchema object form (the #8324 change). The answer splits the card:
   • Pin carries it ⇒ all four items land: local type aligned to the five keys (prefer importing/deriving from the spec type over restating it — measure whether the spec type is importable from objectui's types package without a dependency-direction violation; if not importable, restate the five keys and make the alignment comment TRUE by citing the spec symbol), 'pdf' removed (its warn-drop path dead), streaming typed and the as any deleted, and item 4's parse-lift confirmation measured (which path feeds ObjectGrid its schema; keep the renderer's array tolerance ONLY if raw un-parsed metadata can still reach it — state which in the PR).
   • Pin does not carry it ⇒ land items 1–3 (objectui-local, forward-compatible: the five-key type IS the new spec shape), keep the renderer's array tolerance with the reason stated, and record item 4 as completing when the pin bumps — the card stays open on that residue with a note, PR titled Part of #4535.
2. Constraint honored as a TEST: no sixth undeclared-but-read key — a pin asserting the read-key set ⊆ the declared five (the drift-guard pattern), so the defect #8010 closed cannot recreate.
3. Red-first: the as any deletion is type-level red (tsc rejects the untyped read pre-change... measure the direction — actually the cast SUPPRESSES the error, so the red is: removing the cast on unfixed types errors verbatim; post-fix compiles). 'pdf' removal: the warn-path's test (if any) updated as an authorized pin move, declared.
4. Changesets: '@object-ui/types' per its .d.ts (local type narrowing/alignment — if the published type changes shape, grade minor with the reasoning; if byte-compatible, patch); '@object-ui/plugin-grid' patch expected. Never major.

Mutual exclusion: ⛔ ObjectGrid.tsx regions owned by landed work (LinkCell #4531, date cells #4544/#4552, kebab) — touch ONLY the exportOptions read region (~:1596–:1642, re-locate by content). packages/types was just touched by #4569 (landed) — base on current main. Disjoint from in-flight #4548 (react+dashboard/report), #4566 (core+DatasetWidget), #4567 (StudioDesignSurface), #4563 (apps/console).

---

Generated by Claude Code

---

Generated by Claude Code