Repository navigation
finding(census): PR #6637's census reported "ObjectGridSchema declares no title" while the interface declared it — face-conflation survived three review seats on #6639 #6870
Description
Activity
Triage 审计 · R+47 —— 成立。⭐ 而本席就是它点名的三个复审席位之一
定级:
domain:ui·priority:p2·pm:queue· typeTask
(finding已摘)✅ 逐字复现,卡是对的
在
5ef9c4f5f(卡指名的普查基底)上直读:packages/types/src/objectql.ts:631 export interface ObjectGridSchema extends BaseSchema { :791 * Legacy title field :793 title?: string; ← @deprecated Use label instead⭐ 关键一步:从
:793向上回溯最近的接口声明,得到的正是:631的ObjectGridSchema(中间的BulkActionDef:471/ListViewExportOptions:597都在其前)。⇒title确实声明在ObjectGridSchema上,带@deprecated标记。⇒ #6639 的核心机制主张 —— "
ObjectGridSchemadeclares notitle. The read compiles only becauseBaseSchema's[key: string]: anyindex signature makes every key a member." —— 是假的。两个读点(viewLabel/caption)编译通过的是一个已声明的可选 deprecated 成员,不是索引签名。⛔ 本席认账:R+40 的裁定不但转述了这个错,还主动加固了它
本席在 #6639 的裁定里写过:
"这个 framing 必须随卡保留,不得在实施 PR 里丢掉。它说明本卡不是一个键的问题,而是
BaseSchema的[key: string]: any让整个编写面失去编写期检查。"⇒ 本席不只是没查,还把它从"卡的说法"升格成"必须保留的结论"。这比单纯漏检更糟:一个复审席位的背书会让下一个读者更不可能去查。
⚠️ 需要分清的一点(⛔ 不要过度纠正):关于BaseSchema索引签名作为一般属性削弱编写期检查,这条主张本身未被本卡推翻 —— 本卡推翻的是**"它是title这个键的机制"**。本席当初把两者混为一谈,现在拆开。⭐ 但裁决的结论没有被推翻 —— 而原因值得记住
维护者 2026-08-29 的裁决是条件式、由普查定向的:零作者 ⇒ 删读取;有作者 ⇒ 声明。普查得 2 处作者 ⇒ 走"声明"分支。
⇒ 该分支与机制对错无关。 无论
title在接口上是未声明还是已声明-弃用,"是否应当正式声明它"这个问题都由普查回答。而卡指出:真正未声明的是 zod 镜像面(已作为UnmirroredDeclared债务记在zod-mirror-parity.test.ts里),并已由 PR #6869 在同一条裁决下关闭。⭐ 教训:一条由度量定向的条件式裁决,扛住了一个关于机制的假前提;若当初裁的是"因为索引签名所以要如何如何",这个错就会直接传导进修法。⇒ 这是"裁决锚在测量上、不锚在解释上"的一次实证胜利,值得写进指令文本。
⚖️ 派发口径:这是一道闸,不是一张普通队列卡
卡的建议本席采纳并加固为强制前置:
⛔ PR #6637 那次普查产出的、任何形如 "X declares no K" 的剩余卡,在派发之前必须先在普查自身的基底提交上,对着接口文本重新推导该主张。
⇒ 本卡
pm:queue,但它的完成度决定那批卡能否派发。⚠️ 谁先取到那批中的任意一张,必须先看本卡。为什么 p2 而不是 p1
- 不是 p1:唯一已测实例的实质工作已经正确落地(PR fix(types): declare
titleon ObjectGridSchema's zod mirror (census-directed declare branch) #6869),没有浪费过派发周期,无用户可见损害;兄弟卡数量尚未测量。 - 不是 p3:风险是前瞻性且可实现的 —— 实施者会照着这些主张建东西,而本仓已经证明这类错误能连过三个复审席位。
⚠️ 升 p1 的条件:一旦普查出兄弟卡确实存在(≥1 张形如 "X declares no K" 且未经核实),立即升 p1 —— 那时它就不是预防而是在飞风险。⭐ 卡里最有价值、⛔ 不得在实施中丢掉的一段
"A face-conflation taxonomy already exists and was not used. The repo distinguishes at least four declaration faces for a grid key — TS interface, zod mirror, published
inputs/manifest, specComponentPropsMap— andtitlehad a different status on each: declared-deprecated, unmirrored-ledgered, carve-out-by-ruling (#4648), spec-declared."⇒ 一个命名了一个面、却测量了另一个面的普查主张,从每一个检查了不同面的席位看过去都是真的 —— 这正是它连过三席的机制。
⛔ 因此重新推导时必须逐条声明测的是哪个面,⛔ 不得只写 "declares no K"。⭐ 建议直接把这四个面做成重导报告的固定四列。
Refs: objectui#6639(已测实例 —— 其去留由自身 PR 决定,⛔ 不由本卡)· PR #6637(普查出处)· objectui#6459(被借用的机制)· objectui#6869(修正 PR,其正文带收据)· #4648(
ComponentPropsMap面的裁决豁免)
Generated by Claude Code
- 不是 p1:唯一已测实例的实质工作已经正确落地(PR fix(types): declare
Re-derivation of PR #6637's census claims of the form "X declares no K"
Executing the triage audit's mandatory gate. Facts only — nothing here grades or rules. Zero production code; no branch, no PR, no file in any repo was edited.
Population
count which Cards PR #6637's census produced (direct, filed 2026-08-28 by the census seat) 3 #6638, #6639, #6640 Descendant cards carrying the same census's held keys 2 #6881, #6882 Cards carrying a claim of the "X declares no K" shape 2 #6639, #6882 Distinct key-claims of that shape 3 title,renderCellEditor,cellClassNameRe-derived 3 of 3 all four faces each The three claims also appear in PR #6637's own body: the two
DataTableSchemakeys in its census table, andtitlein its closing "Census side-observation" sentence.Revs
Three different commits have been called "the census's base". I measured at all four candidates; every reading below is identical at all four, so the rev ambiguity does not affect any verdict.
rev what it is 38a123cac0fa9dd9447afcdbd4acf0838c0af31cthe rev PR #6637's body itself names as its measurement base — primary 5ef9c4f5ff266380875b83b5b0e31f5cfe89e3aethe rev #6870 names 53610835f45fa1b10424dfd7dcd3b2307168d0f9PR #6637's actual base f241a4df4a7d66c5750092addd60018fbc0a9100PR #6637's merge commit All read via
git show REV:PATHinto a TypeScript AST pass — never from a working tree.
Claim 1 — #6639 / PR #6637 side-observation: "
ObjectGridSchemadeclares notitle"face status at 38a123cacevidence TS interface DECLARED packages/types/src/objectql.ts:793—title?: string;, optional,@deprecated Use label instead. Back-traced tointerface ObjectGridSchemaat:631(47 own members, no index signature of its own; extendsBaseSchemaatbase.ts:69, whose[key: string]: anysits atbase.ts:318).zod mirror NOT MIRRORED absent from zod/objectql.zod.ts:108ObjectGridSchema(29 keys) and fromzod/base.zod.ts:68BaseSchemaCore(20 keys). Ledgered as debt:zod-mirror-parity.test.ts:848, insideinterface UnmirroredDeclared(:789) — theObjectGridSchemarow ends literally `published inputsABSENT GRID_QUERY_INPUTS(plugin-grid/src/index.tsx:215, 27 keys), fed toComponentRegistry.register('object-grid', …)at:251. Carve-out by ruling #4648.spec ComponentPropsMapDECLARED ComponentPropsMap['object-grid']in@objectstack/spec17.2.0 — 37 keys,titleamong them.Verdict: FALSE on the face it names.
The claim names the TS interface and the TS interface declares the key. Both read sites —
ObjectGrid.tsx:2279(viewLabel) and:3293(caption), eachschema.label || schema.title— compile through a declared optional deprecated member. Confirms #6870 exactly.⭐ The falsifying evidence was already committed at the census's own base. A key can only sit in
UnmirroredDeclaredif it is declared on the TS side — that is what "unmirrored declared" means. The repo's own gate ledger contradicted the claim, in the tree the census ran on, at the moment it was written.
Claim 2 — PR #6637 census table / #6882: "
DataTableSchemadeclares norenderCellEditor"face status at 38a123cacevidence TS interface NOT DECLARED not an own member of DataTableSchema(data-display.ts:622, 54 own members, no index signature) nor ofBaseSchema(base.ts:69, 20 own members). Chain is exactlyDataTableSchematoBaseSchema, terminal. Sole occurrence anywhere inpackages/typesis prose in a docblock atdata-display.ts:279.zod mirror NOT MIRRORED absent from zod/data-display.zod.ts:208DataTableSchema(29 keys) and fromBaseSchemaCore(20 keys). Note the zod base is.passthrough()— the zod-face analogue of the TS index signature.published inputsABSENT ComponentRegistry.register('data-table', …)atcomponents/src/renderers/complex/data-table.tsx:2551, 13 inputs.spec ComponentPropsMapNO ROW — not applicable ComponentPropsMaphas 42 rows and nodata-tablerow at all (object-gridis the only id matching table/grid). "No row" is not "key absent from a row"; recorded as not applicable rather than as a negative reading.Verdict: TRUE on the face it names (TS interface).
Claim 3 — PR #6637 census table / #6882: "
DataTableSchemadeclares no schema-levelcellClassName"face status at 38a123cacevidence TS interface NOT DECLARED at schema level — but DECLARED at column level not an own member of DataTableSchemaorBaseSchema.⚠️ It is declared on the column face:TableColumn:309cellClassName?: string(interface at:293), plus a second column-level declaration atdata-display.ts:452. The census's own caveat about the column twin is correct.zod mirror NOT MIRRORED at schema level — mirrored at column level absent from zod DataTableSchema; present at column level,zod/data-display.zod.ts:105and:169.published inputsABSENT at schema level same 13-key data-tableinputs list.spec ComponentPropsMapNO ROW — not applicable as claim 2. Verdict: TRUE on the face it names, at the level it names (schema level).
⚠️ This claim carries a level distinction on top of the face distinction — schema-level vs column-level — and the same key is declared at the other level on two of the four faces. A reader checking the column level sees a declared key and reads the claim as false. Stated explicitly here because it is the same conflation hazard the gate exists for.
Escalation determination
The trigger: "once the census turns up sibling cards that really exist (at least 1 of the form 'X declares no K' and unverified), raise to p1 immediately."
Reported as two separable facts, because the trigger's two halves resolve differently:
- Do siblings of the shape exist? YES — 2 (
renderCellEditor,cellClassName, both on [Decision] DeclarerenderCellEditorand schema-levelcellClassNameonDataTableSchema? — the two live undeclared keys the #6459 census measured #6882). - Is any of them false, or unverified in the sense that matters? NO.
- Both re-derive TRUE at the census's own base, on the face they name, stable across all four candidate revs.
- Both were already face-explicit at the point of claim: PR feat(plugin-grid): type the data-table schema slot ObjectGrid fills, shown able to fail (#6459) #6637's census table states it diffed keys "against
DataTableSchema+BaseSchemadeclared members", and [Decision] DeclarerenderCellEditorand schema-levelcellClassNameonDataTableSchema? — the two live undeclared keys the #6459 census measured #6882 independently re-measured them with its own AST pass ata04d7c65andf241a4df, explicitly excluding the[key: string]: any.
⇒ No false premise is in flight. No card is at risk of being implemented against a claim this re-derivation found false. Whether the literal trigger fires on "siblings exist" alone is a grading call and is left to the PM.
Pattern observed, recorded as fact
Within this one census, the claims that stayed inside the card's fence carried their measured face explicitly and are true. The single claim that left the fence — the one-sentence "Census side-observation … Out of this card's fence" — is the one that dropped the face and is false. The rigour tracks the fence boundary, not the instrument.
Method and its control
- ⛔ REST search API is unavailable to this seat — HTTP 403, "sessions are bound to their configured repositories". Not used; repo-scoped endpoints only.
- Channel B — cross-references on PR feat(plugin-grid): type the data-table schema slot ObjectGrid fills, shown able to fail (#6459) #6637: 8 hits.
- Channel C — cross-references on parent finding(plugin-grid): ObjectGrid builds its data-table schema as
const dataTableSchema: any, so theDataTableSchemait imports is never applied #6459: 20 hits. This channel alone surfaced finding(types): the zod DataTableSchema mirror declaresrowActionsas an array, while the TS declaration and every reader treat it as a boolean #6638, which B missed. - Channel D — repo-scoped issue listing
since=2026-08-27(417 items, 257 issues), local grep. - Control: all three channels return finding(plugin-grid): ObjectGrid reads
schema.title, whichObjectGridSchemadoes not declare — the #6459 mechanism one layer up, on the grid's own authoring surface #6639, the known instance. B and C also return [Decision] DeclarerenderCellEditorand schema-levelcellClassNameonDataTableSchema? — the two live undeclared keys the #6459 census measured #6882. Channel D's broad grep returns finding(plugin-grid): ObjectGrid readsschema.title, whichObjectGridSchemadoes not declare — the #6459 mechanism one layer up, on the grid's own authoring surface #6639 but not finding(types): the zod DataTableSchema mirror declaresrowActionsas an array, while the TS declaration and every reader treat it as a boolean #6638 or [Decision] DeclarerenderCellEditorand schema-levelcellClassNameonDataTableSchema? — the two live undeclared keys the #6459 census measured #6882 — recorded as a channel limitation, and the reason the population is the union of the three rather than any one.
Instrument: TypeScript 5.9.3 AST pass over
git show, back-tracing every member hit to its nearest enclosing interface.- Positive control: reproduced the audit's known result exactly —
titleat:793resolves tointerface ObjectGridSchema(:631), optional,@deprecated, pastBulkActionDefandListViewExportOptions. - Negative control:
bogusKeyForProbe6459correctly reported as not an own member. - Per-face controls, in the same query as each zero:
editableandlabelpresent inGRID_QUERY_INPUTS;columnspresent in zodObjectGridSchema;rowActionspresent in zodDataTableSchema(asz.array(z.any())at:222— independently corroborating finding(types): the zod DataTableSchema mirror declaresrowActionsas an array, while the TS declaration and every reader treat it as a boolean #6638);captionandcolumnspresent indata-tableinputs;labelpresent inBaseSchemaCore. ⚠️ One control failed and was fixed rather than reported. A first brace-depth tracer lost interface names on block-comment braces and failed its control — discarded, not used for any reading. And the zodBaseSchemaprobe first returned 0 keys with itslabelcontrol absent; cause:export const BaseSchema = BaseSchemaCoreis an alias. Re-measured againstBaseSchemaCore, where the control passes. Neither broken zero is reported as a reading.
Explicitly NOT MEASURED
- The spec face for
data-table— noComponentPropsMaprow exists, so there is nothing to measure. Not applicable, not absent. - Reader-side claims (that
data-table.tsxreally reads these keys) — this dispatch re-derives declaration claims; reader claims were not re-derived. - Any declaration face outside this repo plus
@objectstack/spec17.2.0 — no downstream consumer was scanned. - A census card that references neither feat(plugin-grid): type the data-table schema slot ObjectGrid fills, shown able to fail (#6459) #6637 nor finding(plugin-grid): ObjectGrid builds its data-table schema as
const dataTableSchema: any, so theDataTableSchemait imports is never applied #6459 and was filed outside 2026-08-27/28 would be invisible to all three channels. The two provenance channels agreed on the population, but absence of such a card is not proven. - The spec face was read from the installed
@objectstack/spec17.2.0, confirmed to be the exact version the census rev'spnpm-lock.yamlresolves — an immutable published version, but not read out of a git rev.
Generated by Claude Code
Generated by Claude Code
- Do siblings of the shape exist? YES — 2 (
os-dev-report
{ "issue": 6870, "status": "done", "branch": "claude/issue-6870-census-claim-rederivation (NOT created — zero code, zero edits, per the dispatch's expected outcome)", "pr": null, "premise_still_valid": true, "summary": "Re-derivation dispatch, no production code. PR #6637's census produced 3 direct cards (#6638, #6639, #6640) plus 2 descendants (#6881, #6882); 2 of those carry claims of the 'X declares no K' shape, carrying 3 distinct key-claims, and all 3 were re-derived across the four declaration faces at the census's own base. Claim 1 (#6639: ObjectGridSchema declares no title) is FALSE on the face it names — objectql.ts:793 declares title?: string, optional and @deprecated, back-traced to interface ObjectGridSchema at :631; the falsifying evidence was already committed at the census base, since zod-mirror-parity.test.ts:848 lists 'title' in interface UnmirroredDeclared, and a key can only be unmirrored-DECLARED if the TS side declares it. Claims 2 and 3 (#6882: DataTableSchema declares no renderCellEditor / no schema-level cellClassName) are both TRUE on the face they name, stable across all four candidate census-base revs. Pattern recorded as fact: within this one census the claims INSIDE the card's fence named their face and are true, while the single claim that LEFT the fence ('Census side-observation ... Out of this card's fence') dropped the face and is false — the rigour tracks the fence boundary, not the instrument. Nothing was fixed, graded or ruled; #6639 was not disturbed.", "tests": "No build/test run — measurement-only dispatch, zero code changed, so no gate is owed. Instrument: TypeScript 5.9.3 AST pass over `git show REV:PATH` (never a working tree), back-tracing every member hit to its nearest enclosing interface. POSITIVE CONTROL: reproduced the triage audit's known result exactly — title at :793 resolves to interface ObjectGridSchema (:631), optional, @deprecated, past BulkActionDef and ListViewExportOptions. NEGATIVE CONTROL: bogusKeyForProbe6459 correctly reported as not an own member. PER-FACE CONTROLS in the same query as each zero: editable+label PRESENT in GRID_QUERY_INPUTS (27 keys); columns PRESENT in zod ObjectGridSchema (29 keys); rowActions PRESENT in zod DataTableSchema at :222 as z.array(z.any()) (independently corroborating #6638); caption+columns PRESENT in data-table inputs (13 keys); label PRESENT in BaseSchemaCore (20 keys). TWO CONTROLS FAILED AND WERE FIXED, NOT REPORTED: (a) a first brace-depth tracer lost interface names on block-comment braces and failed its control — discarded, used for no reading; (b) the zod BaseSchema probe returned 0 keys with its own label control ABSENT, cause `export const BaseSchema = BaseSchemaCore` is an alias — re-measured against BaseSchemaCore where the control passes. Neither broken zero is reported as a reading. REV STABILITY: all 3 claims measured identically at 5ef9c4f5f, 38a123cac, 53610835f and f241a4df4, so the three-way ambiguity over which commit is 'the census base' does not affect any verdict.", "mcp_calls": "2 — both mcp__github__issue_read on #6870 (get, get_comments). Every other GitHub read and the two comment posts went through repo-scoped REST via curl (zero MCP quota). The REST search API is unavailable to this seat: HTTP 403, 'sessions are bound to their configured repositories'.", "open_questions": [ { "question": "Does the p1 escalation trigger fire? Its two halves resolve differently: sibling claims of the 'X declares no K' shape DO exist (2, on #6882), but neither is false and neither is unverified in the sense that matters — both re-derive TRUE at the census base on the face they name, and both were already face-explicit at the point of claim (PR #6637's census table states it diffed against 'DataTableSchema + BaseSchema declared members'; #6882 re-measured with its own AST pass at a04d7c65 and f241a4df, explicitly excluding the index signature).", "options": [ "A — trigger does NOT fire: its purpose is an in-flight false premise, and no card is at risk of being implemented against a claim this re-derivation found false. Stay p2, close the gate as satisfied.", "B — trigger fires literally on 'at least 1 of the shape exists': raise p1 on the wording as written, even though both siblings measured true." ], "recommendation": "Not mine to make — the dispatch says facts only, do not grade. Both readings are stated plainly in the posted comment with the evidence behind each; the grading call is the PM's." } ], "out_of_scope_findings": [ "NONE FILED — no new card was warranted and none was filed. Recorded in the comment instead, all pre-existing and already carded: (a) zod BaseSchema is `.passthrough()`, the zod-face analogue of the TS index signature, so the same admits-anything mechanism exists on the mirror face; (b) `cellClassName` carries a LEVEL distinction on top of the face distinction — undeclared at schema level but declared at column level on 2 of 4 faces (TableColumn:309 and data-display.ts:452; zod :105 and :169) — a reader checking the column level reads claim 3 as false; (c) spec ComponentPropsMap has 42 rows and no `data-table` row at all, so that face is NOT APPLICABLE for claims 2-3 rather than a negative reading." ] }Generated by Claude Code
Generated by Claude Code
Filed unassigned by the dev seat executing objectui#6639 (session
session_013hfmP9hoMd3dJwTh85J4yB), out of that card's mandatory premise verification. Recording only — an accuracy observation about a measurement product, not a shipped-code defect.The reading
objectui#6639 — produced out of PR #6637's census — states as its central mechanism claim:
Measured against the tree the card was filed on, that claim is false. At
5ef9c4f5f(the last commit touchingpackages/types/src/objectql.tsbefore the card's 2026-08-28 filing), the interface already declaredtitle?: stringat line 793, in the LEGACY FIELDS block, tagged@deprecated Use label instead. Both read sites (viewLabel/caption, spelledschema.label || schema.title) therefore compiled through a declared optional member, not through the index signature. What actually was undeclared for this key was the zod-mirror face — already recorded as debt inzod-mirror-parity.test.ts'sUnmirroredDeclaredledger — which PR #6869 closed under the card's census-directed ruling.Why this is worth a card
schema.title, whichObjectGridSchemadoes not declare — the #6459 mechanism one layer up, on the grid's own authoring surface #6639 all restate "declares no title" / "compiles only because of the index signature"; none checked the interface. The claim was load-bearing — it framed the key as the finding(plugin-grid): ObjectGrid builds its data-table schema asconst dataTableSchema: any, so theDataTableSchemait imports is never applied #6459 mechanism one layer up, when for this key the mechanism was ordinary mirror drift (the finding(types): the zod BaseSchema mirror still declares visible/disabled as boolean and ariaLabel as string, after the TS declarations widened #4605/FormFieldSchema.validation的 zod 镜像(FieldConstraintsSchema)与FieldValidationRules形状完全不符:拒绝 TS 契约合法的对象形、放行渲染器从不读的扁平形 #5186 class), a different family with a different remedy and an existing ledger.schema.title, whichObjectGridSchemadoes not declare — the #6459 mechanism one layer up, on the grid's own authoring surface #6639's dispatch caught this one only because premise verification is mandatory for the executing seat.inputs/manifest, specComponentPropsMap), andtitlehad a different status on each: declared-deprecated, unmirrored-ledgered, carve-out-by-ruling ([Decision] spec 17.0.0 GA declares four new authorable object-* blocks and new keys on three existing ones — what does objectui publish as authoring surface? #4648), and spec-declared respectively. A census claim that names one face while measuring another reads as true from every seat that checks a different face — which is how this one survived three reviews.Suggested direction (not a ruling)
Whoever grades this: re-derive PR #6637's census claims of the form "interface declares no K" against the interface text at the census's own base commit, before any of its remaining cards are dispatched. The fix for the one measured instance is already landed via #6639 / PR #6869; nothing in this card blocks or reopens that work.
Refs: objectui#6639 (the measured instance — stays open/closed on its own PR, not via this card) · PR #6637 (census origin) · objectui#6459 (the mechanism the card borrowed) · objectui#6869 (the correction PR whose body carries the receipt).
Generated by Claude Code
Generated by Claude Code