feat(spec): an empty state names its one next step (link: { label, url }), and a list page carries its own emptyState by objectstack-fleet[bot] · Pull Request #23098 · objectstack-ai/objectstack

objectstack-fleet · 2026-10-12T21:02:06Z

Clause-②: yes (widening: two new accepted keys)

The maintainer's "one plain sentence and one action" for an empty page (objectstack-ai/cloud#2776, route letter A on objectstack-ai/cloud#2803, contract first), as one fold of two cards (claim 6129995570, member claim 6130003856). One commit per card, then the generated artifacts and the changeset.

What

#23004 — EmptyStateSchema.link (packages/spec/src/ui/view.zod.ts, commit ec742e938)

An empty state takes one optional, closed link: { label, url }, both required and nothing else. label is an I18nLabel (a string or an inline locale map). A link only: the empty state invokes no action, flow or script.
url is judged by navigationTargetRefusal from navigation-target.ts, the function a type: 'url' action's target is judged by. It is reached by relative import, so there is no copy and no second predicate. The subject is "An empty-state link's url". An empty url is refused once, by .min(1) ("An empty-state link's url is empty."), and the superRefine skips the empty string so the author reads one issue.
EMPTY_STATE_ACTION_GUIDANCE is restated. action / button now get the link (link with { label, url }, "It runs no action, flow or script.") and keep the addRecord pointer. A flat url / href on the empty state gets "link: { label, url }". The link carries aliases href/to/target → url and text/title → label.
The link describe carries [PLANNED — not yet rendered]. The view ledger's emptyState row note records the exception.

#23005 — InterfacePageConfigSchema.emptyState (packages/spec/src/ui/page.zod.ts, commit 477cedee5)

A type: 'list' page takes interfaceConfig.emptyState: EmptyStateSchema.optional(), by reference: the list view's own declaration, with no second shape. Its describe carries [PLANNED — not yet rendered], and the page ledger's interfaceConfig row note records the exception.

Measured calls (the dispatch's mechanism assumptions)

Every door that carries EmptyStateSchema, on origin/main. git grep EmptyStateSchema finds two references: ListViewSchema.emptyState (view.zod.ts) and ComponentPropsMap['object-grid'].emptyState (component.zod.ts). This PR adds a third, InterfacePageConfigSchema.emptyState. The build's dropped-refinement census gives the published reach: 18 schemas, listed under JSON Schema below. The translation group's _views.VIEW.emptyState is a separate { title, message } string shape, so it is unaffected. Each door against objectui origin/main 7af0ab3 (read-only git show):

door	drawn today	the link / the page's own key
list view `emptyState` (and `listViews`, view documents, overlays)	`title`/`message`/`icon`: `ListView.tsx:5688-5696` → `ListEmptyState`	not read. Planned, carrier Render a list's declared empty-state link, and let a list page's own emptyState win over its source view's (the objectui half of objectstack#23004 and objectstack#23005) objectui#12270 item 1
`object-grid` page block `emptyState`	`title`/`message`/`icon`: `ObjectGrid.tsx:6647-6655` → `DataEmptyState`	not read. No carrier names it: Render a list's declared empty-state link, and let a list page's own emptyState win over its source view's (the objectui half of objectstack#23004 and objectstack#23005) objectui#12270 lists `ListView.tsx` and `InterfaceListPage.tsx` only (see Acceptance notes)
list page `interfaceConfig.emptyState` (new)	none: `InterfaceListPage.tsx:503` passes the source view's `emptyState: view.emptyState`	planned, carrier Render a list's declared empty-state link, and let a list page's own emptyState win over its source view's (the objectui half of objectstack#23004 and objectstack#23005) objectui#12270 item 2

Zero readers: in objectui at 7af0ab3, git grep for an emptyState .link read, an emptyState.action read or an interfaceConfig emptyState read finds 0 real hits. The 1 hit is emptyStateHint, a different key. Control: emptyState itself hits 5 / 3 / 1 times in ListView.tsx / ObjectGrid.tsx / InterfaceListPage.tsx.

The key name and the guidance. A guidance entry is consulted only for an undeclared key, and alias-integrity.test.ts holds every entry to a key the shape refuses. A declared action key would have had to drop its own guidance. So the key is link, as the consumer wrote it ("a link (label + url)"), and action / button stay guidance entries, restated to point at it.
Liveness: which mechanism. It is the describe marker plus the row's own note, the feat(spec): a page element dataSource can name an API endpoint (provider: 'api') #23079 precedent. A gate-read planned row is not possible without drilling. view/list.emptyState and page/interfaceConfig are both recorded undrilled containers (undrilled-containers.baseline.json), so the walk never reaches link or interfaceConfig.emptyState, and a marker there is not read either. Drilling view/list.emptyState would take four child rows (three live with the objectui evidence above, link planned) and one baseline shrink. That is outside the claimed file surface, so it is noted below and not done. check:liveness exits 0.
check:empty-state is the pure source audit for permissive-empty prose. It read the new describes and guidance and exits 0.

JSON Schema: the link's grammar is a dropped refinement

navigationTargetRefusal is a function, so the rule is a superRefine, and the published JSON Schema cannot express it. link.url publishes as type: string, minLength: 1, and the position is named under x-dropped-refinements. dropped-refinements.baseline.json gains the sites exactly as the build printed them: 18 sites, with ui/EmptyState a new entry (link.url), and one more site under each of ui/ListView, ui/ObjectListView, ui/View, ui/ViewItem, ui/ViewItemWire, ui/ObjectGridProps, ui/InterfacePageConfig, ui/Page, data/Object, three system/*Operation/ChangeSet and five api/*Response/package schemas. The measured counts stack with main's #23062 (+1 schema, +2 sites): 228 schemas and 731 sites. The build checks the sites, and it exits 0 at the head. A regex copy that would project as pattern would be the second grammar the triage direction rules out.

Other files the change reaches (outside the claimed file surface: stated, not silent)

packages/spec/src/system/metadata-form-zod-reconciliation.test.ts: one omit ledger row for page interfaceConfig.emptyState. The gate measured it: with the key added, "page.interfaceConfig: accepted by the Zod but unauthorable in the form — offer it, or add a ledger entry: expected [ 'emptyState' ]". The row is an omit, not a form control, because no console list page draws the key yet, and a Studio control would let an author write a value nothing draws. The row's reason says it leaves with the renderer half.
packages/spec/dropped-refinements.baseline.json (above), and the generated artifacts check:generated proved stale: authorable-surface/ui.json (ui/EmptyState:link, ui/InterfacePageConfig:emptyState), content/docs/references/{ui/view,ui/page,ui/component,data/object,api/protocol}.mdx, and docs/audits/2026-07-unknown-key-strictness-ledger.counts/ui.md (one more strict site).
No api-surface/ change: the link schema is module-private (emptyStateLinkSchema), so no new export.

Readers of the two schemas: updated or unaffected

Types: EmptyState (z.input) gains link?: { label; url }, and InterfacePageConfig / InterfacePageConfigParsed gain emptyState?. The superRefine adds no transform, so the type-alias-convention.pin.test.ts isomorphism holds.
@objectstack/cli i18n-extract.ts emits _views.VIEW.emptyState.{title,message} and is unaffected (see Acceptance notes for link.label).
@objectstack/lint (showcase-shape.fixtures.ts, the page walkers), @objectstack/platform-objects and examples/app-showcase author emptyState with title/message/icon, or list pages without it. All are unaffected, and their suites ran below.

Verification

All commands ran under scripts/pm/os-verify-lock.sh, with exit codes captured before any pipe. The final head is eb4d7de12, which is this branch with origin/main 6662e3f59 merged in. Two merges were made through scripts/pm/os-regen-merge.sh. The first brought #23080, and its two driver-dropped artifacts were regenerated in a449f542c. The second brought #23062, and its dropped-refinements.baseline.json conflict was settled in eb4d7de12 by stacking the counts. The net delta against origin/main is still these 16 files, +604/−25.

Spec build and generated artifacts at eb4d7de12: pnpm --filter @objectstack/spec build exit 0. check:generated exit 0: "All 14 generated artifacts are up to date".
New pins (84 tests, all passing):
- src/ui/empty-state-link.test.ts (61): §1 accepted forms, byte-identical. §2 one refusal per grammar class, first sentence + path link.url + code custom, and the empty url as too_small. §3 one grammar: on 27 targets the link's verdict and reason equal a registered type: 'url' action's, subject set aside. §4 malformed links: no label → invalid_union at link.label; no url / numeric url / bare string / array → invalid_type; extra key / an action on the link → unrecognized_keys at link. §5 guidance. §6 the list-view and object-grid doors answer what the schema answers.
- src/ui/page-interface-empty-state.test.ts (23): accepted on InterfacePageConfigSchema and through a whole type: 'list' page. Refused by code + path, at emptyState… and at interfaceConfig.emptyState…. A lit unknown-key control on the config itself. Identity: the member unwraps to EmptyStateSchema._zod.def, plus a corpus parity check.
Targeted spec files at eb4d7de12: the two pin files plus metadata-form-zod-reconciliation, alias-integrity, component-object-grid-declared-keys.pin, view-strictness-batch18, type-alias-convention.pin, page, action-url-target-scheme-set. 9 files, 474 passed.
Full spec suite at a449f542c, before the second merge, whose incoming commits touch src/automation/** and the baseline counts only: pnpm --filter @objectstack/spec test 659 files, 19950 passed. pnpm --filter @objectstack/spec typecheck exit 0, including check:test-typecheck ("52 file(s) / 246 error(s) / 135 pinned signature(s) held", so the new test files compile with no new debt). At 5bbc19059, before both merges: 658 files, 19933 passed.
Consumer suites at 5bbc19059 (the same net diff, older base):
- @objectstack/lint 137 files, 6569 passed.
- @objectstack/platform-objects 70 files, 1096 passed.
- @objectstack/example-showcase 33 files, 409 passed.
- @objectstack/cli vitest run --project unit 284 files, 4276 passed.
- The cli integration tier is declared to CI. The diff touches no spawn entry.
Reverse type check against the rebuilt dist/ui/index.d.mts. A scratch program typed EmptyState / InterfacePageConfig. With link: { label, url, openIn } it exits 2 with TS2353: Object literal may only specify known properties, and 'openIn' does not exist in type '{ label: …; url: string; }'. With that line removed it exits 0, with a list-view link and a page emptyState link both compiling.
Gate families: node scripts/pm/dispatch-gates.mjs --commands --repo objectstack-ai/objectstack (no paths) derived 110 families at eb4d7de12, against merge base 6662e3f59: the same list as at 5bbc19059. All 110 were run at eb4d7de12. 109 exited 0 and 1 exited 1. --ran reconciliation: "110 derived, 110 run, 0 NOT-MEASURED, 0 UNRUN". The red one is pnpm check:platform-checklist: 8 ABSENT SYMBOL / anchor-floor problems in docs/qa/platform-checklist/areas/{access-security,attachments-storage,search}.json, which this diff does not touch. Control leg: the same command in a clean detached worktree at origin/main 6662e3f59 exits 1 with the identical 8 lines (diff empty), as it also did at 8c1077615. In the first battery at 5bbc19059, check:skill-examples and check:dual-build-cjs-loads refused with exit 3 (unbuilt client-react and 8 other packages). They exited 0 after those packages were built, and both exited 0 in the battery at eb4d7de12.
Control bytes: grep -naP for raw control bytes over the 16 changed files finds none. The tab / line feed / carriage-return cases are escapes in source. pnpm check:nul-bytes exit 0.

Acceptance notes

Recorded here, not filed:

The object-grid door accepts link, and no renderer card names it. Render a list's declared empty-state link, and let a list page's own emptyState win over its source view's (the objectui half of objectstack#23004 and objectstack#23005) objectui#12270 lists ListView.tsx (item 1) and InterfaceListPage.tsx (item 2). ObjectGrid.tsx:6647-6655, the object-grid page block's own empty state, is not on it. Carrier: the seat, by adding it to Render a list's declared empty-state link, and let a list page's own emptyState win over its source view's (the objectui half of objectstack#23004 and objectstack#23005) objectui#12270's scope.
The object-grid emptyState describe still reads { title, message, icon } (component.zod.ts). It is not wrong about what the grid draws, but it lists three of four accepted members. component.zod.ts belonged to feat(spec): a record:details section heading can show how many values a multi-value field holds (sections[].count and the {{ count }} hole) #23080 in this round, so it is untouched here. Carrier: the next PR that touches that describe, or the Render a list's declared empty-state link, and let a list page's own emptyState win over its source view's (the objectui half of objectstack#23004 and objectstack#23005) objectui#12270 follow-up when the grid draws the link.
link.label has no translation-bundle address. _views.VIEW.emptyState declares title / message only, and os i18n extract emits those two only. The inline locale map is the label's route, and the page-prose route the translation file already names. Carrier: none.
The ${…} arm. The grammar admits a target that opens with ${, judged by the runner after interpolation, because the url action's set includes it. That holds only if the renderer opens the link through the action runner, which Render a list's declared empty-state link, and let a list page's own emptyState win over its source view's (the objectui half of objectstack#23004 and objectstack#23005) objectui#12270 item 1 already asks. Carrier: Render a list's declared empty-state link, and let a list page's own emptyState win over its source view's (the objectui half of objectstack#23004 and objectstack#23005) objectui#12270.
When the renderer half lands: the two [PLANNED — not yet rendered] markers leave, the two ledger notes are rewritten, view/list.emptyState can be drilled into a gate-read row, and the page form offers emptyState with the reconciliation omit row deleted.

Generated by Claude Code

… gains link { label, url } EmptyStateSchema gains one optional, closed `link` ({ label, url }, both required). `url` is judged by navigationTargetRefusal, the one grammar a type: 'url' action's target is judged by, so the door admits exactly what the console's action runner opens; an empty url is refused once by minLength. A link only: the empty state invokes no action. EMPTY_STATE_ACTION_GUIDANCE is restated to point `action` / `button` at the link (keeping the addRecord pointer), and a flat `url` / `href` is pointed into the link block. The describe carries the planned marker and the view ledger's emptyState note records the exception; the renderer half is objectstack-ai/objectui#12270. Claude-Session: https://claude.ai/code/session_01GZSPSQ5ArPjSJdxxuqwGoZ Co-authored-by: Claude <noreply@anthropic.com>

…figSchema.emptyState InterfacePageConfigSchema gains an optional `emptyState`: the list view's EmptyStateSchema, taken by reference (no second empty-state shape), so a type: 'list' page can say what belongs in an empty list, with the same title / message / icon and one link a list view's empty state carries. The describe carries the planned marker and the page ledger's interfaceConfig note records the exception. The page form does not offer the key yet: the form/Zod reconciliation ledger gains an omit row with the reason (no console list page draws it yet), which leaves with the renderer half, objectstack-ai/objectui#12270. Claude-Session: https://claude.ai/code/session_01GZSPSQ5ArPjSJdxxuqwGoZ Co-authored-by: Claude <noreply@anthropic.com>

…pty-state-link

…ement; changeset for both keys - dropped-refinements.baseline.json: the link's url grammar is a refinement the published JSON Schema cannot express; one new site per schema that reaches EmptyStateSchema (18 sites, ui/EmptyState a new entry), applied exactly as the build printed them. - authorable-surface/ui.json (gen:schema in build), content/docs/references and the strictness-ledger ui counts (check:generated --fix, the two it proved stale). - .changeset/23004-empty-state-link.md: minor, Clause-② yes (widening). Claude-Session: https://claude.ai/code/session_01GZSPSQ5ArPjSJdxxuqwGoZ Co-authored-by: Claude <noreply@anthropic.com>

…pty-state-link

… not text-merge The os-regen driver kept one side of component.mdx and the strictness ledger ui counts; both re-derived from the merged tree (spec build, then gen:strictness-ledger and gen:docs): #23080's record:details sections count row and this branch's empty-state link row, ui sites 214. Claude-Session: https://claude.ai/code/session_01GZSPSQ5ArPjSJdxxuqwGoZ Co-authored-by: Claude <noreply@anthropic.com>

…pty-state-link dropped-refinements.baseline.json: both sides added sites; the measured counts stack (main +1 schema / +2 sites, this branch +1 / +18): 228 schemas, 731 sites. Claude-Session: https://claude.ai/code/session_01GZSPSQ5ArPjSJdxxuqwGoZ Co-authored-by: Claude <noreply@anthropic.com>

github-actions · 2026-10-12T21:02:59Z

📓 Docs Drift Check

6 anchor(s) derived from 1 changed package(s); no hand-written page names any of them. ⚠️ 4 changed file(s) yielded no anchor (packages/spec/authorable-surface/ui.json, packages/spec/dropped-refinements.baseline.json, packages/spec/liveness/page.json, …), so the pages documenting them are NOT COVERED by this run — this is not a clean bill of health for those files.

What this run could not see

4 changed file(s) yielded no anchor (packages/spec/authorable-surface/ui.json, packages/spec/dropped-refinements.baseline.json, packages/spec/liveness/page.json, …) — pages documenting those are invisible to this run
the SDK route bridge reached 54 of 206 client-bound route-ledger rows — the other 152 have no registrar path: tail to select them, so pages documenting THEIR client methods cannot appear above, on this or any run. Of those 152: 0 are remediable by widening that discovery convention (an in-repo file declares the path; the convention did not scan it); 55 are structural — on a ledger where NOT ONE row is declared in-repo, so no discovery change reaches them at any price; 97 are undecided (no in-repo declaration, on a ledger that has other in-repo registrars — absence and an unreadable spelling are not distinguishable here). The rows themselves: node scripts/docs-audit/affected-docs.mjs --bridge-coverage
a page that states a rule by its inputs shares no identifier with the emitter that implements the rule, so an emitter-only diff cannot list it — not on this run and not on any run. Measured on fix(driver-sql): emit varchar(maxLength) for a text field a declared index keys on #11430: content/docs/protocol/objectql/types.mdx documents the text-family column mapping by the ObjectQL type names it maps FROM (text / textarea / html) while the diff changed createColumn; it went unlisted, and it was the page that diff falsified, in four places. No shared token exists to detect this on, so a rule your change carries has to be re-read by hand in the pages that restate it.
a key NAME is not a key, so the hand re-read the line above prescribes can land on the wrong schema. The same spelling is authorable on one governed type and a [REMOVED] tombstone on another for each of active, aria, joins, objects, template, tools and version (censused on [finding] tools is a key on BOTH AgentSchema (tombstoned, dead) and SkillSchema (live, cloud-attested), so a name-based search attributes skill examples to the agent key — it produced a false stop-the-line alarm on PR #19059 #19093 over the liveness ledger's governed types, top-level keys); nothing in a search result distinguishes the two, so a grep hit on a LIVE example reads as evidence about the DEAD key. Measured on fix(spec): the agent.tools liveness row says dead — it claimed live on a key the schema tombstoned #19059: content/docs/ai/agents.mdx was reported as contradicting the agent.tools tombstone over its tools: example at :161, which is inside the defineSkill({ block opened at :155 — the page was already correct. Settle ownership by PARSING the value against both schemas, never by the name: that literal PASSES SkillSchema, and as an AgentSchema it FAILS at tools with the tombstone prescription. ⛔ These names are not the whole class — a key retired through a .strict() guidance map leaves no tombstone in the walked shape and none of them here (tool.category, live as AIToolDefinition.category).

Coarse fallback — 140 page(s) merely mention a changed package (the pre-#9192 predicate, kept for the deliberately-wide backstop): node scripts/docs-audit/affected-docs.mjs --json 6662e3f590e9790a28f598d3eb6f665e46f10703 → packageMentionDocs.

Which tree this was computed on

This run read content/docs from 597e32722a2e58778bfe4ec538f091b81a66e19f — the merge of head 5adfbc1411507f5dc80f9004b4902a5f8031663a into base 6662e3f590e9790a28f598d3eb6f665e46f10703, which is what actions/checkout gives a pull_request run. Not the PR head.

A worktree cut from an older main holds a different content/docs, so re-deriving there can legitimately return a different list — that is a different tree, not a wrong row. To answer on the same tree:

# while this PR is open — GitHub drops the merge commit once it closes
git fetch origin 597e32722a2e58778bfe4ec538f091b81a66e19f && git checkout 597e32722a2e58778bfe4ec538f091b81a66e19f
# afterwards, rebuild it from the two parents, which stay fetchable
git fetch origin 6662e3f590e9790a28f598d3eb6f665e46f10703 5adfbc1411507f5dc80f9004b4902a5f8031663a && git checkout -B drift-repro 6662e3f590e9790a28f598d3eb6f665e46f10703 && git merge --no-ff 5adfbc1411507f5dc80f9004b4902a5f8031663a

node scripts/docs-audit/affected-docs.mjs --json 6662e3f590e9790a28f598d3eb6f665e46f10703

⚠️ That checkout carried uncommitted changes, so the commit above does not fully identify what was read.

…rl describe The `link.url` describe wrote a lone `${` inside an inline-code span, and gen:docs copied it into content/docs/references/ui/view.mdx, which the escape-mdx test refuses (an inline-code span with an unbalanced brace). Reworded to "a template that opens with `${…}`, such as `${ctx.origin}/docs`", same meaning; the changeset's matching sentence is balanced the same way. Claude-Session: https://claude.ai/code/session_01GZSPSQ5ArPjSJdxxuqwGoZ Co-authored-by: Claude <noreply@anthropic.com>

…be fix check:generated --fix, the one artifact it proved stale. Claude-Session: https://claude.ai/code/session_01GZSPSQ5ArPjSJdxxuqwGoZ Co-authored-by: Claude <noreply@anthropic.com>

objectstack-fleet · 2026-10-12T21:43:49Z

Contract review

Served-tier: CONTRACT_REVIEW_TIER
Head-sha: 5adfbc1411507f5dc80f9004b4902a5f8031663a
Local-runs: none

PR #23098, the fold of #23004 and #23005 on branch claude/issue-23004-empty-state-link, reviewed against the net diff from merge-base 6662e3f59 (16 files, +604/−25), the two cards' bodies and every comment on them, and the head's check-runs, read at 2026-10-12T21:43Z. Nothing was built, run or re-run. Git objects were read for the diff, for navigation-target.ts and strict-object.ts at the head, for dropped-refinements.baseline.json and undrilled-containers.baseline.json at base and head, and for objectui at the pin 7578323 and at 7af0ab3.

① Derived judgments

EmptyStateSchema.link — RIGHT. One optional key, a module-private strictObject { label: I18nLabel, url: string }, both required, closed: any extra key, action included, is unrecognized_keys at link. A link only; nothing on it invokes an action, flow or script. This is the shape the consumer card asked for and triage's direction (6122915275) ordered.
link.url accept set — RIGHT; one grammar reused, not copied. view.zod.ts imports navigationTargetRefusal from ./navigation-target by relative import; navigation-target.ts is not in the file list (unchanged since 9b37edbd7), and action.zod.ts calls the same function for a type: 'url' action's target. The accept set is therefore exactly the runner's: / and ./ paths (minus //host and / followed by a backslash), http://, https:// and mailto: with the scheme compared case-insensitively, and a ${-prefixed template deferred to the click. The empty string is refused once by .min(1) (too_small); the superRefine skips it so the author reads one issue. The §3 pin (27 targets; the link's verdict and reason equal the action's once the subjects are set aside) is the right pin for "no second grammar".
Aliases and guidance — RIGHT; no widening. strictObject's aliases on the link (href/to/target to url, text/title to label) and the guidance entries are consulted only to word the unrecognized_keys refusal (strict-object.ts); they admit nothing, and §4 pins href refused with the pointer. The new url/href guidance entries on EmptyStateSchema name keys the shape does not declare, as alias-integrity requires. EMPTY_STATE_ACTION_GUIDANCE is restated to the link and keeps the addRecord pointer, as triage asked.
Every door that carries EmptyStateSchema widens by reference — RIGHT, and correctly enumerated. ListViewSchema.emptyState, ComponentPropsMap['object-grid'].emptyState, the new InterfacePageConfigSchema.emptyState, and every composition that reaches a list view (Object.listViews, View, ViewItem, ViewItemWire, Page, the api/* responses and the system/* operations). The 18 new x-dropped-refinements sites are exactly that reach, one link.url site per published schema.
InterfacePageConfigSchema.emptyState — RIGHT. EmptyStateSchema.optional() by reference; §3 of the page pin holds the member to EmptyStateSchema._zod.def by identity, so a later copy reds. Triage's "no second empty-state shape" (6122932405) holds. A type: 'list' page refuses an unknown key inside it at interfaceConfig.emptyState and a bad target at interfaceConfig.emptyState.link.url, pinned by code and path, with a lit control on the config's own unknown key.
Published JSON Schema — RIGHT. link.url projects as type: string, minLength: 1; the grammar is a function outside the closed list in refinement-projection.ts, so it is a dropped refinement and not a pattern (a regex projection would be the second grammar triage ruled out). dropped-refinements.baseline.json at the head: 228 entries and 731 sites, counted by me from the file and equal to its measured line; the base held 227 and 713; the delta is one new entry (ui/EmptyState) plus the 18 sites of item 4. The hand-resolution after the feat(spec,service-automation,lint)!: an http node's url and headers are text slots, its body a value slot, the rest literals — the {…} token refused (#19939 pass 4, S5) #23062 merge is certified by the head's check-runs, not by the PR's prose: Build Core success (the spec build runs build-schemas.ts, which refuses a baseline whose line does not match the sites) and Type Check · source gates success (check:authorable-surface, which is build-schemas.ts --check, and check:generated --reconcile-only).
Generated artifacts — RIGHT. authorable-surface/ui.json gains ui/EmptyState:link and ui/InterfacePageConfig:emptyState; the strictness counts shard moves ui/ 213 to 214, strict 202 to 203, view.zod.ts 59 to 60 (the one new strictObject, the link); content/docs/references/{ui/view,ui/page,ui/component,data/object,api/protocol}.mdx carry the new nested-shape tables. No api-surface/ change, consistent with a module-private link schema and no new export; check:api-surface rides Type Check · consumer gates, in_progress when read.
Public types — RIGHT. EmptyState gains link?: { label; url } and InterfacePageConfig gains emptyState?. No transform, so the input/parsed isomorphism holds. Additive only; nothing a consumer wrote stops compiling.
Liveness — RIGHT, as narrow as the enforcement (Prime Directive chore: version packages #10). Both new keys carry [PLANNED — not yet rendered] in their describe, the author-facing channel, and it reaches the generated references. Zero readers, verified by me in objectui at the pin 7578323 and at 7af0ab3: ListView.tsx:5689-5696 reads title, message and icon; ObjectGrid.tsx:6647 the same; InterfaceListPage.tsx:503 passes view.emptyState; no emptyState.link, emptyState.action or interfaceConfig.emptyState read anywhere under packages/. The ledger rows stay live for the container with a note that excludes the planned member; a gate-read planned row is not reachable because view/list.emptyState and page/interfaceConfig are both rows of undrilled-containers.baseline.json at the head. Spec property liveness success covers check:liveness and check:empty-state.
Form reconciliation omit row — RIGHT. The page form does not offer interfaceConfig.emptyState; the row says why and names its removal trigger (Render a list's declared empty-state link, and let a list page's own emptyState win over its source view's (the objectui half of objectstack#23004 and objectstack#23005) objectui#12270). A Studio control for a value nothing draws would be the advertised-but-undelivered shape chore: version packages #10 forbids.
The reworded link.url describe and the changeset sentence (round 9a6bebdd8 plus 5adfbc141) — RIGHT; they still say what the accept set does. The describe admits / or ./ paths and http://, https:// or mailto: addresses; refuses any other scheme, //host, a bare relative path, and a tab, line feed or carriage return; and defers a ${…} template to the click, after interpolation. That is navigationTargetRefusal in words, and both code spans (${…} and ${ctx.origin}/docs) are brace-balanced, which is what escape-mdx.test.ts refused on eb4d7de12. The changeset is the fuller statement and also names / followed by a backslash, http: without //, and the empty url. One describe nit, not a contract error: the describe does not list the / + backslash refusal (the changeset and the predicate's own refusal text do); it rides the next touch of that describe.
Contract-first (Prime Directive Add comprehensive test suite for Zod schema validation #12) — RIGHT. The fix is at the producer contract, refused at parse with the reason and the fix; no consumer leniency, no ??, and no conversion-layer entry owed, since nothing was renamed or retired.

Checked and acceptable without a line of its own: label is I18nLabelSchema, so an empty-string label parses exactly as title and message do today; the translation group's _views.VIEW.emptyState is a separate { title, message } shape and is untouched; no governed surface is in the file list (Governed Surface Queue Guard success).

② Semver level

.changeset/23004-empty-state-link.md: @objectstack/spec: minor. Right. The diff publishes two new accepted keys on an already-released package; nothing is removed, renamed or narrowed, so no migration text and no ADR-0087 marker are owed, and minor is both the floor Clause-②: yes takes and the level this diff deserves. No other released package changes (content/docs and docs/audits publish nothing). Check Changeset success on the head.

Clause-②: yes (widening: two new accepted keys) stands at line start in the PR body and in the changeset body, the same arm in both, well-formed (yes with the (widening) arm; neither (narrowing) nor the malformed no (widening)). It matches what the diff publishes.

③ Boundary flags

The dev report (6132575593) carries open_questions: []. Its seven deviations and four out-of-scope findings, each answered:

D1, two files outside the claimed surface (the metadata-form-zod-reconciliation.test.ts omit row and dropped-refinements.baseline.json): both gate-forced, both stated in the PR body, both the minimum the gate demanded. Accepted (items 6 and 10).
D2, publishedSchemasWithDroppedRefinements hand-corrected from git's 227 to 228: verified by recount and certified by Build Core and Type Check · source gates (item 6). Accepted.
D3, the narrowed local re-run after the second merge: CI runs the full set. Test Core (1/6) to (6/6), Type Check · workspace and Type Check · consumer gates were in_progress when read; no check-run on this head has failed. The seat reads convergence separately; this verdict is about the contract.
D4, liveness by describe marker plus row note, with no gate-read planned row: the right mechanism given the undrilled containers (item 9); drilling view/list.emptyState is a separate edit to undrilled-containers.baseline.json, carried with the renderer landing.
D5, commit trailers in AGENTS.md's form, and D6, the cli unit run moved to the background: process notes with no contract bearing.
D7, a contract review owed before the queue: this record.
OOS1, the object-grid door now accepts link while Render a list's declared empty-state link, and let a list page's own emptyState win over its source view's (the objectui half of objectstack#23004 and objectstack#23005) objectui#12270 named only ListView and InterfaceListPage: the widening is inherent to by-reference reuse, and the describe already names "the console's empty-state renderers" as the planned readers. The seat's ACCEPT (6132626774) says it adds the grid to [finding] admin-has-permission-endpoint's "Fail direction" header claims a delegation the code does not do — the unreadable-options path runs on the vendor's defaultRoles #12270; that card is outside this brief's inputs, so the carriage is recorded as the seat's and not verified here. Escalated to the seat as a one-line confirmation before landing; not a contract defect.
OOS2, component.zod.ts's object-grid emptyState describe lists { title, message, icon }: an under-claim, the safe direction under chore: version packages #10, and the generated nested-shape table below it already lists link. Carrier: the next PR touching that describe. Accepted.
OOS3, link.label has no translation-bundle address: the inline locale map is a first-class I18nLabel route and the describe says so. Not a contract violation; extending os i18n extract is a follow-up the seat may file when the renderer lands.
OOS4, the marker, notes and omit-row removal when the renderer lands: carried by Render a list's declared empty-state link, and let a list page's own emptyState win over its source view's (the objectui half of objectstack#23004 and objectstack#23005) objectui#12270's landing.

Nothing escalates to the maintainer.

Implemented-by: claude/issue-23004-empty-state-link
Reviewed-by: session_01GZSPSQ5ArPjSJdxxuqwGoZ

VERDICT: PASS

Step 4 of os-regen-merge: the two os-regen mdx files regenerated from the merge of origin/main 55828c5, carrying #23098's and #23075's rows and this card's member rows. Claude-Session: https://claude.ai/code/session_01GZSPSQ5ArPjSJdxxuqwGoZ Co-authored-by: Claude <noreply@anthropic.com>

…onent reference The merge took main's ledger side whole (228 schemas / 731 sites, #23098's 18 emptyState.link.url sites among them). build-schemas on the merged tree then printed this branch's 21 sites as undeclared or moved: 4 new entries and 17 sites in 13 existing entries. They are applied exactly as printed, and the header totals now match the body: 232 schemas / 752 sites. gen:docs regenerates ui/component.mdx from the merged tree. Claude-Session: https://claude.ai/code/session_019G5ZnRrTMiwcHG6iZM19zf Co-authored-by: Claude <noreply@anthropic.com>

…ion runner, and let a list page's own emptyState win (objectstack-ai#12270) (objectstack-ai#12350) Fixes objectstack-ai#12270 Clause-②: yes. The renderers start honouring two keys the spec declares (`emptyState.link`, and a list page's own `interfaceConfig.emptyState`), so what they draw widens. A contract review is owed before the queue. ## What this does This is the renderer half of objectstack-ai/objectstack#23004 and objectstack-ai/objectstack#23005 (spec PR objectstack-ai/objectstack#23098, merge `55828c5145`). It is unblocked because `main` `c5406c2` installs `@objectstack/spec` `18.0.0-next.0`. The change covers three doors, which share one piece: - **The shared piece.** `EmptyStateLink`, in `@object-ui/components` beside `DataEmptyState`, draws the spec's `EmptyStateSchema.link` (`{ label, url }`). It follows the link as a `type: 'url'` action through the ActionRunner, so what a click opens is `classifyNavigationTarget`'s answer. It has no scheme list or URL check of its own. The `label` is a string or an inline locale map, resolved against the caller's display locale. A label that resolves to no text draws nothing. - **Door 1: `ListView`'s empty branch** (`grid` and `gallery`). `ListEmptyState` takes `link` and draws it beside the add-record action. The spec keeps the two apart, so either, both or neither may be drawn. With no link, the DOM is unchanged. - **Door 2: `InterfaceListPage`.** The relay is now `emptyState: cfg.emptyState ?? view.emptyState`. The page's own block wins, whole, on every visualization, because the precedence is set before the visualization is chosen. The source view's block is the fallback, as its `appearance` and `userFilters` already are. - **Door 3: `ObjectGrid`'s authored empty state.** It draws the link in `DataEmptyState`'s action slot. The registry `inputs` description for `object-grid.emptyState` now names `link`. Docs: the `emptyState` passages in the plugin-grid docs, README and schema reference now cover `link`. The plugin-list README gains an "Empty state" section; its typed example is checked below. Changeset: `minor` for the four packages touched. **For the spec seat (scope addition `6132635356`):** the renderer half has landed with this PR. The follow-up is the spec seat's to file: dropping the two `[PLANNED — not yet rendered]` markers, rewriting the two ledger notes, offering `interfaceConfig.emptyState` in the page form and deleting its reconciliation omit row. ## How a declared link becomes a runner navigation (measured with the real runner) | target | under the console's provider (`onNavigate` + `onToast`) | no provider | |---|---|---| | in-app `/...` or `./...` | `onNavigate(url, { external: false, newTab: false })`, in place | the runner hands back `redirect`; followed with `location.assign` | | `https://...` | `onNavigate(url, { external: true, newTab: true })` | `window.open(url, '_blank', 'noopener,noreferrer')` | | `mailto:` | `location.href = url`, in place; router and new tab untouched | the same | | refused (`//host`, `thanks`, `javascript:`) | the runner's own refusal is toasted as an error; no navigation sink is touched | the refusal is logged; no navigation | A followed link raises no success toast. The html-tier anchor and the dashboard header link raise none either. ## Deviation from the suggested route: a refused value is refused at the click, not hidden at render The suggested route said "a refused value draws no link". Here the link is drawn, and the runner refuses it at the click and reports its refusal. Reason, measured: the spec admits at parse a url that starts with a `${...}` template, and its describe says such a url "is judged when it is clicked, after interpolation". `EmptyStateSchema.safeParse` of a link whose url is `${ctx.origin}/docs` succeeds on `18.0.0-next.0`. But `classifyNavigationTarget` answers `null` for that string before interpolation. Classifying at render would therefore hide a spec-valid link, and it would also be a second judgement beside the runner's. The pin `judges nothing at render` holds this. ## Mechanism assumptions, measured 1. **Installed shapes.** `EmptyStateSchema.link` is strict `{ label: I18nLabel, url: string }`: `url` has `min(1)` and `navigationTargetRefusal` at parse. `InterfacePageConfigSchema.emptyState` is `EmptyStateSchema.optional()`. The hold's restart probe exits 0 from `apps/console`. 2. **At `c5406c2`.** `ListView` handed `ListEmptyState` `title`, `message` and `icon` only, and `ObjectGrid` read the same three. `InterfaceListPage` relayed the source view's whole block (`emptyState: view.emptyState`) and read no `cfg.emptyState`; it did not read individual members. `classifyNavigationTarget` is the runner's one classifier (`navigateTo`, `navigateOnSuccess`). 3. **`@object-ui/types` mirrors: none needed.** `ListViewSchema['emptyState']` and `ObjectGridSchema.emptyState` both take the spec's `EmptyState` by reference. The README example (a `ListViewSchema` literal with `link: { label, url }`) compiles against the built `@object-ui/types`. The same literal with an undeclared `href` inside the link is refused with TS2353. ## Tests (real renders, real runner) - `packages/components/src/__tests__/empty-state-link-12270.test.tsx` (14). Under a provider: in-app, https, mailto, three refused values (each compared with what a bare runner answers for the same target), a `${...}` template drawn, the label map, and absent or empty label. With no provider: redirect followed, https in a new tab, refusals logged. - `packages/plugin-list/src/__tests__/ListView.emptyStateLink-12270.test.tsx` (4). Grid: link beside add-record, followed in place. Gallery: https. A refused value. A control with no link. - `packages/plugin-grid/src/__tests__/ObjectGrid.emptyStateLink-12270.test.tsx` (4). Through the registry and `SchemaRenderer`: in-app, https, refused, and a control with no link. - `packages/app-shell/src/views/InterfaceListPage.emptyStatePrecedence-12270.test.tsx` (6). The real page renders the real `ListView`. The page's own sentence and link win on grid and on gallery, whole (the view's message does not fill the gap). The page's link is followed in place. With no page block, the view's is kept, on grid and on gallery. A control proves the gallery page mounts the gallery (cards, no table). ## Ablation (three legs) Each leg went through `ablation-replace.mjs`: the anchor hit exactly once, the blob changed, and the restore was proven by blob == HEAD and an empty `git diff HEAD`. The direction was red, as predicted. - `InterfaceListPage`: `cfg.emptyState ?? view.emptyState` became `view.emptyState`. 3 failed, 3 passed: the three page-precedence rows failed; the two fallback rows and the gallery control passed. - `ListView`: `link={schema.emptyState?.link}` became `link={undefined}`. 3 failed, 1 passed: the control passed. - `ObjectGrid`: the link's `action` slot was emptied. 3 failed, 1 passed: the control passed. ## Local verification (HEAD `f20667b0e`) - Closure build: `turbo run build --filter=@object-ui/plugin-list^... --filter=@object-ui/plugin-grid^... --filter=@object-ui/app-shell^...`, plus the two plugins: 28/28 tasks. - Suites (run from the repo root, path-filtered, through the verify lock): - `packages/plugin-list/`: 131 files, 1419 tests passed. - `packages/plugin-grid/`: 211 files, 1920 tests passed. - `packages/components/`: 382 files passed, 1 skipped; 3875 tests passed, 24 skipped. - The 27 app-shell files that name `InterfaceListPage` or `emptyState`: 273 tests passed. - `type-check` (`tsc --noEmit && tsc -p tsconfig.test.json`; each `tsconfig.test.json` includes `src/**/*.test.tsx`): components, plugin-list and plugin-grid all exit 0. - app-shell `type-check`, whole package: NOT MEASURED. Reason: the verify-lock queue had not reached it after about 30 minutes, behind another seat's long locked run (`issue-11773` `final2.sh`). It is declared here as a narrowing, and CI runs the whole package. The narrowed check: `tsc` with the package's own `tsconfig.test.json`, whose `files` are the three touched app-shell files (the new test, `InterfaceListPage.tsx` and the census test). That program spans 629 workspace files, 79 of them under `app-shell/src`, and exits 0. - eslint on the 12 touched TS files, with the repo config. The population comes from eslint's own JSON output: 12 files, 0 errors. Warning counts are unchanged on every touched source file, base vs head. The 5 warnings in the new app-shell test are the `no-explicit-any` mock pattern its siblings use. The narrowing is sound: the config enables no type-aware linting (no `project` / `projectService`), and no local rule reads another file, so this diff cannot move the verdict on an untouched file. - Repo checks, all exit 0: `check-changeset-presence`, `check:changeset-claims`, `check:pending-changeset-literals`, `check:new-line-citations`, `check:control-bytes`, `check:test-path-roots`, `check:vi-mock-specifiers`, `check:vi-mock-inherit`, `check:vi-mock-override-shape`, `check-doc-links`, `check:doc-json`, `check:doc-fences`, `check:doc-example-ids`, `check:doc-types`, `check:unreferenced-sources`, `check:phantom-deps`, `check:self-import`, `check:action-forward-parity`, `check:handler-key-reads`, `check:spec-symbols`, `check:esm-specifiers`, `check:i18n-keys`, `check-changeset-no-major`, `check-changeset-fixed` and `check-changeset-overwrite`. No string or i18n key was added, so the rest of the `check:i18n-*` family is not owed. - NOT MEASURED: `check:doc-snippets` and `check:readme-exports`. Reason: PRECONDITION NOT MET, because packages outside this closure are unbuilt (plugin-gantt, plugin-map, plugin-markdown, plugin-timeline and others). CI builds them. The judged rows of `readme-exports` show 0 fabricated names. The new README snippet was compiled on its own (item 3 above). ## Acceptance notes - `apps/console/src/__tests__/registry-inputs-spec-parity.test.ts`, in the `MEMBER_PINS` row `object-grid.emptyState`, still says "All three members the spec's strict `EmptyStateSchema` declares", but spec 18 declares four. It is mechanically green, because the check reads only that the pin file names the block and the key. The `link` member's pin is `ObjectGrid.emptyStateLink-12270.test.tsx`. This is prose drift, not filed. Carrier: whoever next edits that ledger row, for example the spec seat's follow-up above. - The empty state, and so its link, is drawn on the `grid` and `gallery` visualizations only, as before. The other visualizations draw their own empty surfaces. That is unchanged here; the page precedence holds whatever the visualization. - CI: `Spec Main Shape Gate` is red on `main` and on every PR (objectstack-ai/objectstack#23160; consumer objectstack-ai#12325). It is advisory and not this change's. `OAuthConsentPage.public-client-12301.test.tsx` is a known flake (objectstack-ai#12344). --- _Generated by [Claude Code](https://claude.ai/code/session_01CsyMRsFJBKNEMa4oPY1b5z)_ --------- Co-authored-by: Claude <noreply@anthropic.com>

claude added 7 commits October 12, 2026 18:27

Merge remote-tracking branch 'origin/main' into claude/issue-23004-em…

aaeed5f

…pty-state-link

Merge remote-tracking branch 'origin/main' into claude/issue-23004-em…

4623b8f

…pty-state-link

objectstack-fleet Bot assigned zhuangjianguo Oct 12, 2026

github-actions Bot added the size/l label Oct 12, 2026

github-actions Bot added documentation Improvements or additions to documentation protocol:system protocol:ui tests tooling Fix lands in tooling, not a product package — enters pm:queue only with Unblocks: or a named surface labels Oct 12, 2026

objectstack-fleet Bot added the needs:contract-review Marker only — PR awaits its at-tier Contract review PASS; no check reads it, the record decides label Oct 12, 2026

chore(spec): regenerate the view reference page after the link descri…

5adfbc1

…be fix check:generated --fix, the one artifact it proved stale. Claude-Session: https://claude.ai/code/session_01GZSPSQ5ArPjSJdxxuqwGoZ Co-authored-by: Claude <noreply@anthropic.com>

objectstack-fleet Bot removed the needs:contract-review Marker only — PR awaits its at-tier Contract review PASS; no check reads it, the record decides label Oct 12, 2026

objectstack-fleet Bot marked this pull request as ready for review October 12, 2026 21:54

objectstack-fleet Bot enabled auto-merge October 12, 2026 21:55

objectstack-fleet Bot added this pull request to the merge queue Oct 12, 2026

objectstack-fleet Bot mentioned this pull request Oct 12, 2026

[PM seat] domain:spec · seat 2 — 🟢 os-sales · 由 os-sales 账户的项目负责 #18549

Open

Merged via the queue into main with commit 55828c5 Oct 12, 2026
45 checks passed

objectstack-fleet Bot deleted the claude/issue-23004-empty-state-link branch October 12, 2026 22:24

github-actions Bot mentioned this pull request Oct 12, 2026

hourly full run: red on main (CI) #23107

Closed

objectstack-fleet Bot mentioned this pull request Oct 12, 2026

chore(objectui): move the console pin to objectui main (1fb1ced36243 at filing), then run every surface:browser and surface:mixed checklist item against the console built from the new pin #23104

Closed

Navigation Menu

Repository navigation

feat(spec): an empty state names its one next step (link: { label, url }), and a list page carries its own emptyState - #23098

feat(spec): an empty state names its one next step (link: { label, url }), and a list page carries its own emptyState#23098
objectstack-fleet[bot] merged 9 commits into
mainfrom
claude/issue-23004-empty-state-link

objectstack-fleet Bot commented Oct 12, 2026

Uh oh!

github-actions Bot commented Oct 12, 2026 •

edited

Loading

Uh oh!

objectstack-fleet Bot commented Oct 12, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

objectstack-fleet Bot commented Oct 12, 2026

What

Measured calls (the dispatch's mechanism assumptions)

JSON Schema: the link's grammar is a dropped refinement

Other files the change reaches (outside the claimed file surface: stated, not silent)

Readers of the two schemas: updated or unaffected

Verification

Acceptance notes

Uh oh!

github-actions Bot commented Oct 12, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

📓 Docs Drift Check

Uh oh!

objectstack-fleet Bot commented Oct 12, 2026

Contract review

① Derived judgments

② Semver level

③ Boundary flags

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

github-actions Bot commented Oct 12, 2026 •

edited

Loading