Repository navigation
docs(api): schema-reference.md's object-view example authors listViews.NAME.default: true, a key NamedListView never declared and ObjectView never reads #7923
Description
Found while executing objectui#7779 (PR #7922) on origin/main 6a9ee323; out of that card's scope (a docs page, and listViews stays ledgered there), so filed on its own. Filed by the dev of session_01BAZFhALsQsGqxui8sNqM8s's dispatch.
What is wrong
content/docs/api/schema-reference.md, the ObjectViewSchema example (the listViews block around line 855): the my-deals entry carries "default": true.
NamedListView(packages/types/src/objectql.ts:1957–:2134, about 52 members) declares nodefaultmember.- The
object-viewnode renderer picks the opening view from the NODE-levelObjectViewSchema.defaultListView(packages/plugin-view/src/ObjectView.tsx:701,if (schema.defaultListView && namedListViews?.[schema.defaultListView])) and otherwise the first key; nothing reads an entry-level flag. The renderer's read set off a named view islabel,type,columns,filter,sort,options,data(derived off disk inpackages/types/src/__tests__/object-view-unmirrored-keys-7779.test.ts). BaseSchemais passthrough, so the example validates green and the flag does nothing; the same example omitsdefaultListView, so the view it labels as default never opens first.
A second dialect on the same page
The same example writes "filter": [["owner", "=", "..."]] — the ObjectQL tuple form — while packages/plugin-view/README.md and content/docs/plugins/plugin-view.mdx teach filter: [{ field, operator, value }] objects for the same key. NamedListView.filter is typed as an untyped array, so both validate; which of the two mergeFilterNodes actually runs was not measured here. Two dialects taught for one key is the objectui#2890 class.
Expected
The example spells defaultListView: "my-deals" and drops default; the filter dialect on this page is unified with the plugin-view pages once the running shape is measured. A doc-fixture pin against NamedListView's declared members would keep an undeclared key from being taught again.
Refs: objectui#7779 · PR #7922 · objectui#2890 (the ObjectView audit)
Activity
os-zhuang commentedon Sep 6, 2026
分诊：
domain:devx/documentation+bug/pm:queue/priority:p3落点核实（
origin/main）——逐条成立，带活控制NamedListView里有没有default成员：0；控制label：2。 ⇒ 零是读数（纪律②、⑧）。⇒ ⭐ 同一页 21 行之外就写着正确的键（
:885的表格行defaultListView），而示例（:864）用了一个不存在的条目级default⇒ 这一页自己和自己矛盾，而不是「文档还没跟上实现」。这比卡片写的更锋利。⇒ 且因为
BaseSchema是 passthrough，示例校验通过、那个 flag 什么都不做；而同一个示例没有写defaultListView⇒ 它标为默认的那个视图从不会首先打开。定级理由
domain:devx：落点content/docs/api/schema-reference.md⇒ objectui 的domain:devx。bug+documentation：示例教了一个既未声明、也无人读的键，且其意图（哪个视图先开）不会实现 ⇒ main 上有东西是假的。修复不拓宽任何接受集 ⇒ Bug/tidy 侧，无人工地板。:885已给出正确答案 ⇒ 自纠成本低。⛔ 不降更低：它是已发布的 API 参考页上的一个可执行示例。① 机械的一半（本卡交付物）：
:864删掉"default": true，并在该示例里写上defaultListView: "my-deals"。⛔ 无需裁决。② 过滤器方言的一半 —— ⛔ 本卡不解决，且卡片自己标了未测：
⇒ ⛔ 在测出⚠️ 本席也没测。
mergeFilterNodes实际吃哪一种之前，不许统一任何一页。 猜错方向 = 把一页正确的文档改错。⇒ 那是一次独立的测量 + 一张独立的卡（卡片正确地把它归入 objectui#2890 类）。⭐ 卡片给的持久化建议，本席提为交付物的第二项
⇒ 只删⚠️ 且这条钉子有现成的做法——本轮同批路由的 #7925 指出
default而不加钉子，下一个未声明键照样会被教。packages/plugin-calendar/src/readme-calendar-view-schema.test.ts已经在用「两侧都从源码解析」的方式把一段 fence 钉到一个 schema 上。⇒ 照它写。NamedListView的父类BaseSchema以[key: string]: any收尾 ⇒ 一个 TypeScript 注解抓不到拼错/发明的键。⇒ 这条钉子必须是「按声明成员清单比对」的 fixture 钉子，⛔ 不能只是给示例加个类型注解——加注解在这里是无效的。这一点必须写进 PR，否则承接席很可能选错做法。Refs：objectui#7779 · PR #7922 · objectui#2890（ObjectView 审计，方言那一半的归属）· objectui#7925（现成的钉子写法）· objectui#7927（为什么注解无效）· objectui#7924 / #7928（⚠️ 现行数字是 47 / 41 / 六，⛔ 不是本卡正文引的「about 52」）。
NamedListView的成员数与读集，⛔ 本席为 triage 席位：不认领、不派单、不写码、不合并、不裁决 decision-box（本会话为
claude-opus-5，CONTRACT_REVIEW_TIER硬门要求 fable）。Generated by Claude Code
baozhoutao commentedon Sep 6, 2026
Claim: PM loop round R45
Session:
session_01MM7kaS4dPpYHV5BsMyu4tQBranch:
claude/issue-7923-schema-reference-default-list-viewWorktree:
objectui-issue-7923Domain:
domain:devxFile surface:
content/docs/api/schema-reference.md(theObjectViewSchemaexample only: delete the entry-level"default": trueat :864, add node-level"defaultListView": "my-deals"; ⛔ line :863"filter": [["owner", "=", "${currentUser.id}"]],stays byte-identical — it is pinned byobject-view-unmirrored-keys-7779.test.ts, and the filter-dialect half is ⛔ out of scope per triage) + ONE NEW pin file underpackages/types/src/__tests__/that compares the example'slistViews.*keys againstNamedListView's declared members parsed frompackages/types/src/objectql.ts(⛔ not a type annotation —BaseSchema's index signature makes one inert, see #7927); ⛔ do not touchobject-view-unmirrored-keys-7779.test.ts(held by draft PR #7969) (stop on breach; explain in the report)Container & model: S content + S pin, not mechanical (the pin's population and parse are a design call),
mode:subagent,model: opus—node scripts/pm/dispatch-gates.mjs --tieron these paths at 06:31Z prints "no path-derived mandate … floor sonnet · default opus · ceiling fable"; default judgment tier takenClause-②: no
Serial constraints cleared: no open PR at 2026-09-06T06:27Z touches
content/docs/api/schema-reference.md(seven non-dependabot open PRs' file lists read; #7685's 67 paths read over git); draft PR #7969 (spec seat) holdspackages/types/src/__tests__/object-view-unmirrored-keys-7779.test.ts+packages/types/src/zod/objectql.zod.ts— excluded from this surface, and that pin'stoContainon the doc's filter line is the sibling-pin this card must keep green; #7351 (same doc, different defect shape) serialised behind this card (5557566494);pm:queue→pm:dispatched+ assignee written 06:55Z in one stroke and read back.Generated by Claude Code
claude commentedon Sep 6, 2026
os-dev-report
{ "issue": 7923, "status": "done", "branch": "claude/issue-7923-schema-reference-default-list-view", "pr": "https://github.com/objectstack-ai/objectui/pull/7991", "premise_still_valid": true, "summary": "All four PM mechanism assumptions re-measured on origin/main e97e8e8 and all four hold. content/docs/api/schema-reference.md's ObjectViewSchema example now spells the node-level \"defaultListView\": \"my-deals\" and no longer authors the entry-level \"default\": true (a key NamedListView never declares and ObjectView.tsx:701 never reads). One CONSTRAINT the dispatch did not anticipate: object-view-unmirrored-keys-7779.test.ts:529 holds the filter line verbatim INCLUDING its trailing comma, so deleting the last member of my-deals would have dropped that comma and reddened a pin held by draft PR #7969; the entry's two remaining members are therefore reordered (filter, then label) rather than shrunk, and no content was invented to fill the slot. Added the fixture pin packages/types/src/__tests__/schema-reference-named-list-view-keys-7923.test.ts: both sides parsed off disk every run (interface members brace-matched out of objectql.ts, example located by its ### ObjectViewSchema heading and JSON.parsed), the predicate is undeclared-keys-equals-empty, plus an always-executed positive control that plants `default` and asserts the SAME predicate function returns ['default']. Not a type annotation, per #7927: BaseSchema's [key: string]: any makes one inert, and NamedListView does not extend BaseSchema, which is what makes a name-level comparison possible at all. The pin imports only vitest and node builtins, so it needs NO build. The filter dialect is byte-identical to origin/main and untouched.", "tests": "Reverse verification, post-commit, trap-protected, each leg proved on disk (mutated hash != HEAD blob 87e58fa..., so no leg was a silent no-op) and each restore proved by `git checkout HEAD -- ABSOLUTE_PATH` + blob-hash equality + empty `git diff HEAD`. Leg A (put \"default\": true back): predicted RED naming default, observed exit 1 — \"authors no key NamedListView does not declare\" ... \"expected [ 'default' ] to deeply equal []\". Leg B (delete the node-level defaultListView line): predicted RED on the presence assertion, observed exit 1 — \"must spell `defaultListView` ... expected 'undefined' to be 'string'\". Leg C (rename the anchor heading, i.e. the example moves): predicted LOUD failure never a vacuous pass, observed exit 1 — 'Error: \"### ObjectViewSchema\" heading not found ... the example moved', 'Tests no tests'. Unmutated tree: exit 0, 'Test Files 1 passed (1)', 'Tests 4 passed (4)'. The positive control was among the 3 passing tests in every red leg, so it is demonstrably executed. Sibling pin object-view-unmirrored-keys-7779.test.ts green throughout. Full @object-ui/types suite: exit 0, 'Test Files 131 passed (131)', 'Tests 2418 passed (2418)'. NO BUILD was needed by the pin itself (verified: imports are vitest + node:fs/path/url only); the only build run was check:doc-snippets' own scoped --build-filter prerequisite (34 turbo tasks, exit 0).", "gates": [ "pnpm exec vitest run (new pin) — exit 0 — 'Test Files 1 passed (1)', 'Tests 4 passed (4)'", "pnpm exec vitest run object-view-unmirrored-keys-7779.test.ts (the sibling pin on line 863) — exit 0 — green in the 10-file reader run and again at final HEAD ('Test Files 2 passed (2)', 'Tests 94 passed (94)')", "pnpm check:doc-snippets — exit 0 — 'Semantic phase: 495 of 495 block(s) judged, 0 failed.' (its FIRST run was exit 2 = PREREQUISITE NOT MET, read as NOT MEASURED, not red; re-run after `pnpm exec turbo run build $(node scripts/check-doc-snippet-types.mjs --build-filter) --concurrency=2`, exit 0, 34 tasks)", "pnpm check:doc-fences — exit 0 — 'every TypeScript block in 227 document(s) is fenced ts/tsx/typescript'", "node scripts/check-doc-links.mjs — exit 0 — 'Links are valid across 17 scan roots.'", "pnpm check:doc-types — exit 0 — 'Every documented component type is registered.'", "pnpm check:control-bytes — exit 0 — 'scanned 6430 tracked text file(s); skipped 85 binary'; plus a self-scan `grep -naP` over the changed files: no control bytes", "node scripts/check-changeset-presence.mjs — exit 1 BEFORE, exit 0 AFTER — see deviations; final line: 'Every one of them has an EMPTY frontmatter — declared as releasing nothing, which is the explicit exemption and a complete answer to this gate.'", "pnpm changeset:check — exit 0 — 'All workspace packages are in the changeset fixed group.' / 'No changeset declares a major bump.'", "node scripts/check-governed-queue-guard.mjs --test (all 3 changed paths) — exit 0 — 'NOT GOVERNED — 3 path(s) checked against 5 governed surface(s); none matched.'", "pnpm --filter @object-ui/types run type-check — exit 0; and `tsc -p tsconfig.test.json --listFiles` returns 1 hit for the new test file, so type-check demonstrably MEASURES it rather than excluding it (the package's main tsconfig excludes **/__tests__/**; tsconfig.test.json is the one that covers it)", "pnpm --filter @object-ui/types run lint — exit 0 — '273 problems (0 errors, 273 warnings)', all pre-existing; eslint --format json on the new file alone: 1 file, 0 errors, 0 warnings", "pnpm exec vitest run packages/types/ — exit 0 — 'Test Files 131 passed (131)', 'Tests 2418 passed (2418)'", "pnpm check:doc-example-readers — exit 0 — 'no @example hand-spells one'", "node scripts/check-doc-expression-carriage.mjs — exit 0 (report-only gate by its own header)", "pnpm check:docs-route-closure — exit 0" ], "line_budget": "n/a — the diff touches no path under skills/ (the published skill packages), so no line ratchet applies. Diff totals for the record: 3 files, +231 / -2 (content/docs/api/schema-reference.md +2/-2; the new pin +219; the changeset +10).", "deviations": [ "PM assumption FALSIFIED: `node scripts/check-changeset-presence.mjs` was predicted to owe nothing ('docs + test only — expect none owed'). It owes one — the gate reads ANY file under a released package's src/, tests included: '1 source file(s) of 1 released package(s) changed ... @object-ui/types / packages/types/src/__tests__/schema-reference-named-list-view-keys-7923.test.ts'. Answered with the empty-frontmatter .changeset/*.md the gate itself names as the legitimate pass in this repo (NOT the skip-changeset label, which objectui does not honour). Gate now exit 0.", "DESIGN CONSTRAINT the dispatch did not name: deleting `\"default\": true` while `filter` stayed the last member of my-deals would strip the trailing comma from the line object-view-unmirrored-keys-7779.test.ts:529 holds verbatim (toContain('\"filter\": [[\"owner\", \"=\", \"${currentUser.id}\"]],')), reddening a pin in a file held by draft PR #7969 that I am forbidden to edit. Resolved by reordering my-deals' two remaining members (filter, then label) instead of shrinking the entry: the filter line stays byte-identical and no content was invented. Verified by `grep -cF` on the exact line (1) and by running the sibling pin green.", "CHANNEL SWITCH declared: the repo-scoped REST reads all worked (200) and carried the issue bodies, comments, PR create, issue create and label write. The REST SEARCH endpoint is 403 in this session ('sessions are bound to their configured repositories'), so the out-of-scope dedup was done with ONE targeted MCP search_issues call, whose control hit (#7923 first) makes its zero a reading. Total MCP GitHub calls this run: 1.", "`bash scripts/pm/os-verify-lock.sh` does not exist in objectui (it is an objectstack-side entrypoint; objectui's scripts/pm/ holds only check-half-states.mjs). Heavy commands were run directly in the foreground with NODE_OPTIONS=--max-old-space-size=4096 and turbo --concurrency=2.", "The example's filter DIALECT was not measured and not touched, per triage half two. `mergeFilterNodes` was NOT run. Line 863 is byte-identical to origin/main." ], "files_changed": [ "content/docs/api/schema-reference.md (+2/-2) — the ObjectViewSchema example only: entry-level \"default\": true deleted, node-level \"defaultListView\": \"my-deals\" added between listViews and table (the property table's own order), my-deals' remaining two members reordered so the pinned filter line keeps its trailing comma", "packages/types/src/__tests__/schema-reference-named-list-view-keys-7923.test.ts (NEW, 219 lines) — the fixture pin", ".changeset/7923-schema-reference-named-list-view-keys.md (NEW, 10 lines) — empty frontmatter, declares that nothing releases" ], "open_questions": [], "readers": "git grep -l 'schema-reference.md' -- scripts/ packages/ .github/ content/ returns 16 sites: content/docs/guide/ci-cd-pipeline.md, packages/components/src/renderers/complex/__tests__/table-column-contract.test.tsx, packages/types/src/__tests__/{component-docs-retired-handler-keys-7340,kanban-plugin-dialect-authoritative-7664,object-grid-title-mirrored,object-view-unmirrored-keys-7779,tree-view-data-retired-6951,zod-mirror-parity}.test.ts, packages/types/src/{complex.ts,objectql.ts,zod/objectql.zod.ts}, scripts/__tests__/{check-doc-component-types,check-doc-links}.test.ts, scripts/{check-doc-component-types,check-doc-expression-carriage,check-doc-snippet-types}.mjs. Every TEST among them was run together: exit 0, 'Test Files 10 passed (10)', 'Tests 354 passed (354)'. Every SCRIPT among them was run as its gate (rows above). No reader quotes the example's 'My Deals' / 'my-deals' strings other than the 7779 pin's filter line.", "out_of_scope_findings": [ "filed as objectui#7992 (label `finding`, unassigned): after this doc fix, object-view-unmirrored-keys-7779.test.ts:514's comment still cites schema-reference.md as authoring a `default: true` flag it no longer authors — the small end of the objectui#7721 shape. NOT fixed here: that file is held by draft PR #7969 and was excluded from this card's file surface by name. Dedup: one targeted MCP search_issues, control hit #7923 first, no existing card covers it.", "measured in passing, NOT acted on and NOT filed (reported here per the dispatch): packages/app-shell/src/providers/MetadataProvider.tsx composes list views carrying an `isDefault` flag on each entry (MetadataProvider.merge.test.ts:60/107/135). That is an internal COMPOSED shape, not the authored NamedListView surface, so it is neither a second instance of this card's defect nor a dialect; recorded only so the next seat does not re-measure it.", "A3 measurement, zero as a reading: `git grep -n '\"default\": true' -- content/docs` returned exactly the one hit this card fixes. The twelve `default: true` hits under content/docs are all '(default: true)' prose inside property-comment blocks — a different shape, not a finding." ], "mcp_calls": "1 — one targeted search_issues for the out-of-scope dedup, after the REST search endpoint returned 403; every other GitHub read and write went over repo-scoped REST" }Generated by Claude Code
baozhoutao commentedon Sep 6, 2026
ACCEPT — PR #7991, head
c7936621d; flip and arming on CI convergencedomain:devx @ objectuiexecution seat, PM sessionsession_01MM7kaS4dPpYHV5BsMyu4tQ, R45, 2026-09-06T07:12Z. Report5557656868reviewed against GitHub and the tree, ⛔ not against its narrative.main✅ · first lineFixes #7923✅ (one closing keyword) · 3 files ✅+2/−2)"default": truegone;"defaultListView": "my-deals"added at node level betweenlistViewsandtable; themy-dealsentry's two survivors reordered (filter, thenlabel) so the line"filter": [["owner", "=", "${currentUser.id}"]],— held verbatim WITH its trailing comma byobject-view-unmirrored-keys-7779.test.ts:529, a file draft PR #7969 holds — stays byte-identical. A constraint the brief did not name; resolved without inventing content and without touching the held file. The filter dialect is untouched (triage half ②)+219, new file)NamedListViewmembers brace-matched out ofobjectql.ts(throws on not-found / unterminated / zero members), the example located by its### ObjectViewSchemaheading (throws "the example moved" rather than passing vacuously) andJSON.parsed; live controls (labeldeclared, > 30 members, exactly['all', 'my-deals']); predicate = undeclared keys ⊆ ∅; presence assertion thatdefaultListViewnames an existing view; an always-executed POSITIVE CONTROL that plantsdefaultand asserts the same predicate returns['default']. Imports are vitest + node builtins only — needs no build. Not a type annotation (#7927) ✅defaultback) red namingdefault; leg B (node key deleted) red on presence; leg C (heading renamed) throws loudly,no tests; unmutated 4/4; sibling 7779 pin green throughout; every mutation proven by blob hash, every restore by emptygit diff HEAD@object-ui/typestype-check with the new file in the program (--listFiles1 hit) · package lint 0 errors · wholepackages/types/131 files / 2418 tests · readers of the doc: 10 test files run, 354/354check-changeset-presenceDOES owe a changeset for a test file under a released package'ssrc/; answered with the empty-frontmatter.changeset/*.mdthe gate names as the pass. The brief's "expect none owed" was this seat's errordefault: trueflag — held by #7969, correctly not touched); theisDefaultcomposed-shape reading recorded on the card, not filed — correctCard stays
pm:dispatched; on all-green: flip ready, wait for the post-flip guard, arm, confirmadded_to_merge_queue. On MERGED: content probe on re-fetchedorigin/main("defaultListView": "my-deals"present,"default": trueabsent underlistViews, the pin file present) with a firing control; card closes viaFixes; strippm:dispatched, clear assignee. #7351 (same doc) is then re-priced against the merged tree before dispatch.Generated by Claude Code
baozhoutao commentedon Sep 6, 2026
Armed. PR #7991 flipped ready 07:22:46Z on all-green-but-the-base-red lane (standing-down note
5557712833, anchor #7990); post-flipGoverned Surface Queue Guardsuccess; auto-merge enabled;added_to_merge_queue07:23:22Z read from the REST timeline. Landing stroke (content probe, close viaFixes, strip, clear assignee, re-price #7351) follows on MERGED.Generated by Claude Code
baozhoutao commentedon Sep 6, 2026
LANDED — PR #7991 merged 2026-09-06T07:39:21Z (queued 07:23:22Z). Verified on
origin/mainbac5e54by CONTENT, ⛔ not by the merge event.domain:devx @ objectuiexecution seat, PM sessionsession_01MM7kaS4dPpYHV5BsMyu4tQ, R45, 2026-09-06T07:48Z."defaultListView": "my-deals"incontent/docs/api/schema-reference.md"default": trueon that page"filter": [["owner", "=", "${currentUser.id}"]],byte-intact (the #7969-held 7779 pin)packages/types/src/__tests__/schema-reference-named-list-view-keys-7923.test.tspresent"label": "My Deals"still presentCard closed via
Fixeson merge; this stroke stripspm:dispatchedand clears the assignee in one write. #7351 (same page) is released from serialisation (5557831474); #7992 (the 7779 pin's stale comment, held by draft PR #7969) stays with that PR's seat.Generated by Claude Code