Wizard view v1 — declaration-and-refusal tightening of FormViewSchema type:'wizard' (Card S, ruled shape of #13622)

[os-warren]

Card S of the #13342 chain, filed by the domain:spec seat (session_01PBjwYLS6BciTQW3c9xQiD2) per the maintainer ruling of 2026-08-31 on #13622 (director batch #12, verbatim 「同意」 — shape approved per recommendations, all five trade-offs settled). The full design of record is the proposal comment on #13622 (D1–D8) plus that ruling; this card implements it and nothing else.

Ruled shape (binding — quote of record on #13622)

• D1: deepen the form family's existing type: 'wizard' — no new viewKind, ZERO new keys.
• D2 + T5: sections ARE the steps; refuse the wizard-inert step keys (visibleWhen / visibleOn / collapsible / collapsed) at parse via the EXISTING FormViewSchema superRefine (the pane-refusal precedent, covering the groups bucket and the overlay doors) — mirroring objectui#6237's ruled type-split at the spec door. The parse refusal UPGRADES fix(service-datasource): reject a pool block the memory arm cannot honour (#5931) #6237's renderer fact; objectui#6237 remains the future-contract tracker.
• D3 + T1: a steps: spelling gets a guidance-refusal WITH prescription (data: batchData 的 upsert 分支用「调用者可见性」而非「存在性」决定 update-or-insert —— RLS 作用域外的既有行会走插入分支 #5099 shape) — ⛔ never accepted as an alias.
• D7: type: 'wizard' refuses absent/empty sections (today it silently falls back to simple rendering).
• T2: refusal breadth NARROW — exactly the fix(service-datasource): reject a pool block the memory arm cannot honour (#5931) #6237-family step keys + the empty-sections refusal; ⛔ no per-type presentation-key matrix (F1 absorbed as not-done by this ruling).
• D4/D5/D6/D8 are declaration/docs postures with no new authorable keys: the gate is the DEFAULT semantics of type:'wizard' (allowSkip stays the only knob — "navigation freedom, not validation exemption"; gate is UI admission, never authorization); progress is derived state (showStepIndicator stays the only authorable); per-step validation binds ONLY existing field-level vocabulary; array order IS step order (no order key). Record these in the schema TSDoc where the tightenings land.
• T3 deferred: buttons.next/previous NOT in v1 (F4 rides with it, deferred).
• T4: the semver grade of the accept-set tightening is the review chain's call — argue it in the changeset, name the nearest tightening precedent.
• ⛔ No teaching material (the docs(objectui): layout-dsl teaches only shapes the live schemas accept #13337/[finding] YAML doc fences are validated by nothing — check:skill-examples reads only ts/tsx fences, and only opt-in, so every metadata example in content/docs/** is unverifiable by construction #13086 fence stands until Card R also lands).

Clause-② / parking

RULED yes (accept-set tightening on the published FormViewSchema) ⇒ fable dispatch; PR parks DRAFT + needs:contract-review on both carriers; review chain/maintainer owns enqueue.

Sequencing

Card R (objectui alignment + pins) is filed Blocked-by: this card and dispatches only after this lands — never co-batched. Parent #13342 stays the coordination node.

Refs: #13622 (proposal + ruling of record) · #13342 (parent) · objectui#6237 · #13337 / #13086 (teaching fence).

[os-warren]

Claim: PM loop round 1 (2026-08-31 shift) — self-filed ruled implementation card, claimed at creation
Session: session_01PBjwYLS6BciTQW3c9xQiD2
Branch: claude/issue-13704-wizard-view-tightening
Worktree: objectstack-issue-13704
Domain: domain:spec (label production stays triage's; lane identity recorded here)
File surface: packages/spec/src/ui/view.zod.ts (the FormViewSchema superRefine + wizard TSDoc) + tests + generated baselines the gates own + .changeset/*. ⚠️ H17 check: view.zod.ts is #8346's declared trigger file — notification to be posted on #8346 at dispatch, notification-only per that hold's shape (zero PLATFORM_GAPS/doc surface touched) (stop on breach; explain in the report)
Container & model: M, mode:subagent, model: claude-fable-5 — clause-② RULED yes (accept-set tightening on published FormViewSchema).
Clause-②: yes (ruled)
Serial constraints cleared: no open PR or in-flight claim touches packages/spec/src/ui/view.zod.ts (parked/merged set checked: today's landings touched data/*, api/protocol.zod.ts, system/i18n-resolver.ts — disjoint; in-flight patch round on PR #13669 = data/field.zod.ts + lint census, disjoint; #13357's dispatched work is driver/formula-side per its lane). Read-coupling: the tightening refuses keys nothing ships as accepted-and-rendered (the proposal measured the inert set); Card R pins the consumer side after this lands.

Parking commitment: PR opens DRAFT; needs:contract-review on both carriers in the same stroke the PR exists. Review chain/maintainer owns enqueue.

---

Generated by Claude Code

[os-warren]

Dev claim (dispatched os-dev seat) — implementing now.

• Session: session_01SessionDevCardS
• Branch: claude/issue-13704-wizard-view-tightening (pushed; write-route probe green)
• Worktree: objectstack-issue-13704, base 90578117 (origin/main at claim time)
• Scope: exactly Card S per the Design the first-class wizard view schema shape — the ruled spec half of #13342 (proposal returns to the decision box before any implementation) #13622 ruling of record (director batch Add comprehensive test suite for Zod schema validation #12, verbatim 「同意」): D2/T2/T5 step-key refusal in the existing FormViewSchema superRefine (visibleWhen/visibleOn/collapsible/collapsed on wizard, groups bucket + overlay doors covered) · D3/T1 steps: guidance-refusal with prescription · D7 absent/empty sections refusal · D4/D5/D6/D8 TSDoc declarations · gate-owned regenerations · changeset arguing the semver grade (T4, review chain's call). ZERO new authorable keys.
• Parking commitment: PR opens DRAFT + needs:contract-review on both carriers in the same stroke; never ready/enqueue.
• H17: view.zod.ts is export: PDF / print document generation — re-planned for v18, superseding the #1301 NOT_PLANNED closure #8346's Restart-touch trigger file — PM's notification stands; no PDF/export rider taken here.

---

Generated by Claude Code