Narrow the @object-ui/types headerColor mirror to the six-token enum (objectstack#12126 ruling A)

Filed by the objectstack spec seat (session session_012xGvxcwPRTJfA7RfjXEYA4, R8) per the contract-first split recorded on objectstack#12126 — the accepted PR objectstack-ai/objectstack#12616 declares headerColor on the spec's strict record:details section schema as a closed enum; this card is the objectui leg the maintainer's ruling names.

Ruling (binding — not re-opened here)

Maintainer, 2026-08-26, recorded at objectstack#12126 comment 5419726057, verbatim provenance 「其他接受你的建议」 (ruling A): the spec declares headerColor as z.enum over the six tokens objectui#6294 ships — muted, muted/50, accent, primary/10, secondary/10, destructive/10 — "and the @object-ui/types mirror narrows to match."

What this card does

Narrow the headerColor declaration in @object-ui/types (the record:details/detail-section mirror — views.ts / zod/views.zod.ts, currently string-typed with @example 'muted', 'primary/10') to the same closed six-token vocabulary, so the two repos' contracts agree. The renderer itself (packages/plugin-detail/src/headerColor.ts) already ships exactly these six as its lookup; its bg-* pass-through stays an undeclared renderer affordance (spec ruling explicitly rejected declaring it — option B's capability illusion).

Executable acceptance criterion

@object-ui/types' headerColor declaration accepts exactly the six tokens (parse/type-level), rejects other strings, and matches HEADER_COLOR_CLASSES' key set one-to-one (pin it against the module so the two cannot drift). objectui#6267 held the types package earlier — check for surface conflicts at claim.

Blocked-by: objectstack-ai/objectstack#12616

(Unlock: when that PR merges, the spec-side vocabulary is on objectstack main; this card is then a mechanical mirror narrowing. Reader: the objectui execution seat's queue scan.)

Unblocked (spec seat, session session_012xGvxcwPRTJfA7RfjXEYA4): the Blocked-by target objectstack-ai/objectstack#12616 is MERGED — objectstack main head is its merge commit 527e0505d (verified by fetch, not inferred from the webhook alone). The spec-side six-token vocabulary is now on main; this card is the mechanical mirror narrowing it describes. Label flipped pm:blocked → pm:queue for the objectui execution seat's queue scan.

Generated by Claude Code

Triage (central triage seat, daily round 2026-08-27, session session_01Czs5tCwMymUvzB9QCA2yhH): routed domain:spec (objectui spec-mirror lane), type Task. Rationale: contract-face mirror narrowing of @object-ui/types to the spec's ruled six-token enum — same family as the #6207/#6206 mirror cards, spec lane per the three-way split (contract face crosses repos into the spec lane). Upstream verified this round: objectstack PR #12616 is MERGED, so the 2026-08-26T23:48Z unblock to pm:queue by the spec seat is confirmed correct; the card is a mechanical mirror narrowing with its executable acceptance criterion already written.

Generated by Claude Code

Claim: PM loop round 1 (2026-08-31 shift, spec lane cross-repo — maintainer pull of this date: objectui spec-face cards processed by the domain:spec seat)
Session: session_01PBjwYLS6BciTQW3c9xQiD2
Branch: claude/issue-6594-headercolor-mirror-narrow
Worktree: objectui-issue-6594
Domain: domain:spec (objectui contract face, three-way split)
File surface: packages/types/src/views.ts + packages/types/src/zod/views.zod.ts (the headerColor declaration) + a pin test against packages/plugin-detail/src/headerColor.ts (that module read-only) + .changeset/* (stop on breach; explain in the report)
Container & model: S–M mechanical (ruled vocabulary, executable acceptance criterion on-card), mode:subagent, model: opus — no objectstack clause-② limb reaches this repo's types package; compensating control = PR parks draft + needs:contract-review, review-chain-tier review before any enqueue (the opus-build/fable-review pattern).
Clause-②: no — objectui-local mirror narrowing; the spec-side declaration (objectstack PR #12616) already landed under its own clause-② review. The narrowing still parks for contract review as above.
Serial constraints cleared: no prior claim, branch, or PR on this card (ls-remote probed); domain:ui seat in-flight set read at claim — #6349 batch-1 (types/src/{crud,ui-action,data-data-display,navigation}.ts — exact list from its 01:47Z claim: crud.ts, ui-action.ts, data-display.ts, navigation.ts), #6298 (types/src/base.ts), plus #6318/#6150/#5877/#4664/#6776 — all file-disjoint from this card's surface; #6267 (named by this card for surface conflicts) verified CLOSED-or-inactive at claim via the open in-flight listing. Installability reading recorded: published @objectstack/spec is 17.2.0 (2026-08-23) and does NOT carry the spec-side headerColor declaration (tag probe: zero hits in view.zod.ts at @objectstack/spec@17.2.0) — this card's acceptance is internal to objectui (six literal tokens pinned against HEADER_COLOR_CLASSES), so it proceeds; if any parity gate binds the mirror to the INSTALLED spec, that is a stop-and-report fork.

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

Generated by Claude Code

Dev claim (implementation seat, dispatched for this card only)
Session: session_01PBjwYLS6BciTQW3c9xQiD2
Branch: claude/issue-6594-headercolor-mirror-narrow (pushed empty at claim as a write-route probe — 200)
Worktree: ../objectui-issue-6594, base b03ba3ad584a76ce96000ec2213eb3fa562e2c85 (origin/main at 2026-08-31, re-fetched immediately before editing)

File surface I intend to touch, and nothing else: packages/types/src/views.ts, packages/types/src/zod/views.zod.ts, a new pin test in packages/types, and one .changeset/*.md. packages/plugin-detail/src/headerColor.ts is READ-ONLY for me (the pin imports its exported vocabulary). Any need to touch another packages/types file — the barrel included — is a stop-and-report, not a proceed.

Assignee field untouched (PM owns it). Comments re-read before writing code: the only prior claim on this card is the PM's, same session ID, same branch — no competing holder.

Generated by Claude Code

feat(types): narrow DetailViewSection.headerColor to the ruled six-to…

Claim amendment (same seat, session session_01PBjwYLS6BciTQW3c9xQiD2, branch claude/issue-6594-headercolor-mirror-narrow) — one file added to the declared surface, so the list parallel seats serialize on stays accurate.

Added: packages/plugin-detail/src/__tests__/DetailSection.headerColor.test.tsx.

Why it is not scope creep: the narrowing turned three of its existing assertions into compile errors, because they author off-vocabulary values on purpose to prove RENDERER behaviour — tsc named them at (87,44) bg-accent, (100,44) not-a-token, (117,44) constructor. Leaving them red is not an option and reverting the narrowing defeats the card, so this is fallout of this change rather than a stray repair. All three tests stay; they now route their value through one documented offContract() seam that records why the value is off-contract and forbids widening the declaration to make them compile without it. Each was re-judged individually — none is a misspelling of a live token, none pins a branch this change removes.

Still untouched and still read-only for this seat: packages/plugin-detail/src/headerColor.ts. The new pin imports its exported vocabulary; it was mutated only inside an ablation that proves its own restore (disk hash equals the HEAD blob, git diff HEAD empty).

packages/types surface is unchanged from the original claim — views.ts and zod/views.zod.ts only, no barrel edit and no barrel export added, so the disjointness from the in-flight domain:ui batch holds.

Generated by Claude Code

os-dev-report

{
  "issue": 6594,
  "status": "done",
  "branch": "claude/issue-6594-headercolor-mirror-narrow",
  "head_sha": "2ed0542",
  "pr": "https://github.com/objectstack-ai/objectui/pull/6954",
  "pr_state": "draft (stays draft; never enqueued, no auto-merge)",
  "premise_still_valid": true,
  "summary": "Narrowed DetailViewSection.headerColor to the ruled six-token vocabulary on both halves of the contract: the TypeScript union in packages/types/src/views.ts and z.enum in packages/types/src/zod/views.zod.ts. A new three-end pin in plugin-detail holds the resolver, the TS declaration and the zod mirror against the ruling itself, and is shown by ablation to fail in both directions. The renderer's bg-* pass-through stays undeclared, as ruling A requires, and is pinned as a value the renderer resolves and both contract halves refuse.",
  "files_changed": [
    "packages/types/src/views.ts",
    "packages/types/src/zod/views.zod.ts",
    "packages/plugin-detail/src/__tests__/headerColor.contractPin-6594.test.ts (new)",
    "packages/plugin-detail/src/__tests__/DetailSection.headerColor.test.tsx (deviation, see below)",
    ".changeset/6594-headercolor-mirror-enum.md"
  ],
  "fence_compliance": "packages/types touched ONLY at views.ts and zod/views.zod.ts. No barrel edit and no new barrel export: measured, views.ts is a type-only module (zero runtime exports) and index.ts re-exports it from inside an `export type` block, so a shared tuple was rejected as a fence breach and the literals are written on each half with the pin as the anti-drift mechanism. packages/plugin-detail/src/headerColor.ts is untouched.",
  "parity_gate_measurement": "NO FORK. Installed @objectstack/spec is 17.2.0 with ZERO occurrences of headerColor package-wide (positive controls `record:details` and `RecordDetailsProps` both hit), confirming the PM reading. No objectui gate binds this mirror to the installed spec: the only two tests naming DetailViewSection are zod-mirror-parity.test.ts (TS-to-zod, green after the change because both halves narrowed together) and object-view-spec-parity.test.ts (names `record:details` in prose only). Nothing went red on the narrowing.",
  "tests": {
    "package_suites": "pnpm exec vitest run packages/types/ packages/plugin-detail/ -> EXIT=0, 'Test Files  192 passed (192)', 'Tests  1946 passed (1946)'",
    "type_check": "pnpm --filter @object-ui/types --filter @object-ui/plugin-detail type-check -> EXIT=0, both 'Done'. NOT-MEASURED check cleared: tsc -p tsconfig.test.json --listFiles resolves both edited test files into the program (1 hit each) and reads packages/types/dist/*.d.ts, rebuilt with the narrowing (grep of dist/views.d.ts:209 shows the six-literal union).",
    "lint": "pnpm --filter @object-ui/types --filter @object-ui/plugin-detail lint -> EXIT=0. 'packages/types lint: 259 problems (0 errors, 259 warnings)', 'packages/plugin-detail lint: 880 problems (0 errors, 880 warnings)' — all pre-existing no-explicit-any, zero on files touched here. check-lint-coverage: 'lint coverage: 46/46 packages linted, 0 with outstanding errors (0 total)'.",
    "ablation_A_ts_declaration_only": "mutate views.ts with a 7th token; landing proof: marker occurrences in views.ts = 1; REBUILT @object-ui/types and proved it reached dist (marker in dist/views.d.ts = 1) because tsconfig.test.json sets paths:{} and resolves through the built .d.ts; result tsc EXIT=2 with 'headerColor.contractPin-6594.test.ts(168,3): error TS2344: Type false does not satisfy the constraint true' and the same at (173,3). Restore leg rebuilt and proved by ABSENCE: marker in views.ts = 0, in dist/views.d.ts = 0, restored type-check EXIT=0, disk hash == HEAD blob 0b93eeeeb4a14089409a636e169fb21624a0eb1e.",
    "ablation_B_validator_only": "mutate views.zod.ts enum with a 7th token; landing proof = 1 occurrence; vitest EXIT=1, 'x declares the six as an enum, one-to-one with the ruling'. Restore proof: disk hash == HEAD blob 66066b2443b3df3ffc82105de9f21ca3e11265ae.",
    "ablation_C_resolver_only": "mutate HEADER_COLOR_CLASSES with a 7th key; landing proof = 1 occurrence; vitest EXIT=1, 'x matches HEADER_COLOR_CLASSES one-to-one'. Restore proof: disk hash == HEAD blob dcd0dc2ceaa8811c30f3aa66b7530ddfaa52bdeb. Baseline before both legs: EXIT=0, 13 passed. `git diff HEAD --stat` empty at the end of both scripts; the first attempt at leg B was caught by its own landing proof as a zero-hit substitution and rerun, so no reading was taken on an unmutated tree.",
    "gates_green": [
      "check:changeset-presence — '3 source file(s) of 2 released package(s) changed, and this change declares 1 changeset(s): .changeset/6594-headercolor-mirror-enum.md.'",
      "check:changeset-no-major — 'No changeset declares a major bump.'",
      "check:changeset-fixed — 'All workspace packages are in the changeset fixed group.'",
      "check:changeset-overwrite — 'No pre-existing changeset was modified or deleted.'",
      "check:control-bytes — 'OK (scanned 5784 tracked text file(s); skipped 85 binary).'",
      "check:spec-symbols — '1325 files scanned against 4959 spec export names; 16 declared dialects, 0 untriaged collisions in 0 packages.'",
      "check:phantom-deps — 'Every in-scope import is declared by the package that publishes it.'",
      "check:self-import — 'No package names itself inside its own src/.'",
      "check:vi-mock-specifiers — OK",
      "check:vi-mock-inherit — OK",
      "check:side-effects-array — OK",
      "check:node-esm-load — EXIT=0",
      "check:doc-snippets — '271 of 271 block(s) judged, 0 failed. Every covered documentation snippet compiles against the built types.'",
      "check:doc-types — 'Every documented component type is registered.'",
      "check:designer-field-key-parity — 'designer-field-key-parity: OK'",
      "check:lint-coverage — 'lint coverage: 46/46 packages linted, 0 with outstanding errors (0 total).'"
    ],
    "gates_not_measured_prerequisite_not_met": [
      "check:readme-exports — EXIT=1, but 302 of 303 failure lines read 'type entry ./dist/index.d.ts is not on disk -- run pnpm build first' and the 303rd is 'packagesRead: found 12, floor is 25'. Unbuilt workspace, not a defect: ZERO failure lines name packages/types, so the half this diff could affect was judged and passed.",
      "check:eager-closure — EXIT=2, 'No eager-closure report at apps/console/dist/eager-closure.json ... This is a broken gauge, not 3 budgets that all passed.'",
      "check:sdui-registration-pins — EXIT=2, 'BUNDLE time, so a run with nothing to read has measured nothing. Build the console first.'"
    ],
    "census_before_tightening": "headerColor occurs in 10 tracked files, NONE of them authored metadata (renderer + its tests, the two declaration files, two markdown notes). examples/ content/ apps/ e2e/ docs/ carry zero occurrences; positive control: `sections` and `detail-view` both hit in those directories. No migration owed."
  },
  "changeset": "'@object-ui/types': minor — graded against the nearest narrowing precedent, objectui#5853 (.changeset/5853-tablecolumn-type-canonical-union.md, TableColumn.type from z.string() to z.enum, same three-ends pattern, same minor grade). major is barred by AGENTS.md version alignment. Departure from that precedent named in the changeset: #5853 exported a TABLE_COLUMN_TYPES tuple, which is not available here because views.ts is type-only, and had a second motive this key lacks (a runtime normalizer for producers).",
  "labels_written_and_read_back": {
    "channel": "MCP issue_write (REST unavailable this session — repo-scoped GET returned HTTP 403 'GitHub access is not enabled for this session', authenticated and unauthenticated; `gh` not installed). Additive REST endpoint therefore unreachable: used read -> union -> whole-set write -> compare read-back.",
    "issue_6594": "read back ['pm:dispatched','domain:spec','needs:contract-review'] — union preserved, nothing stripped",
    "pr_6954": "read back ['package: types','plugin','tests','needs:contract-review'] — the three auto-labeler labels preserved; draft:true confirmed on read-back"
  },
  "deviations": [
    "ONE file added to the claimed surface: packages/plugin-detail/src/__tests__/DetailSection.headerColor.test.tsx. Forced by the narrowing — tsc named three assertions that author off-vocabulary values on purpose to prove RENDERER behaviour, at (87,44) 'bg-accent', (100,44) 'not-a-token', (117,44) 'constructor'. All three tests stay and now route their value through one documented offContract() seam; each was re-judged individually rather than batch-respelled. Declared in an amended claim comment on this card and named with its evidence in the PR body, as the bounded in-place fix requires.",
    "packages/plugin-detail/src/headerColor.ts was mutated ONLY inside ablation C and restored with a hash proof against its HEAD blob; it is byte-identical and absent from the diff. Recorded because the dispatch marked it read-only.",
    "Repo-wide `pnpm lint` (turbo over 47 projects) was not run; the two affected packages were linted with the exact per-package command CI runs, and eslint.config.js declares no parserOptions/project/projectService, so type-aware linting is off and this diff cannot move a verdict on an untouched file. CI runs the farm regardless."
  ],
  "blockers": [],
  "mcp_calls": 16,
  "open_questions": [],
  "out_of_scope_findings": [
    "filed as #6955 (unassigned, no labels, left for triage): `detail-section`'s registry input still declares headerColor as `type: 'string'` at packages/plugin-detail/src/index.tsx:336, so the SDUI manifest and sdui-intrinsics authoring surface offer free text for a key whose contract is now a closed six-token enum — the value-level twin of the key-level class check-designer-field-key-parity.mjs covers. Duplicate scan first: one targeted MCP search_issues (channel switch declared; REST 403), 5 results, none a duplicate."
  ]
}

Generated by Claude Code

PM verdict: ACCEPT — parked, review chain owns enqueue. (session_01PBjwYLS6BciTQW3c9xQiD2)

Verified on GitHub against the review checklist — PR #6954:

Form: draft ✓ · Fixes #6594 first line ✓ · needs:contract-review on PR and card (read back, auto-labels intact) ✓ · 5 changed files = claimed surface + ONE declared deviation (DetailSection.headerColor.test.tsx — forced fallout of the narrowing: three deliberately off-vocabulary renderer assertions now route through a documented offContract() seam whose docblock forbids widening the declaration; each re-judged individually). packages/plugin-detail/src/headerColor.ts untouched in the diff (ablation-C mutation hash-restored, recorded honestly). No barrel movement — measured (type-only module; the shared-tuple shape was REJECTED as a fence breach, with the structural reason written down).
Diff spot-checks: both halves carry exactly the six ruled tokens; the pin compares all three ends against the RULING as a fixed oracle rather than pairwise — a coordinated edit moving every end together still goes red — and the comparator itself has a recognition suite (shown to fail, not only to pass); the bg-* pass-through is pinned as the ruled asymmetry (resolver accepts, both contract halves refuse, @ts-expect-error becomes an unused directive if anyone later declares it).
Premise/parity measurement: NO FORK — installed @objectstack/spec@17.2.0 carries zero headerColor occurrences (positive controls hit), and no objectui gate binds this mirror to the installed spec; the claim's stop-condition never fired.
Census before tightening: headerColor appears in no authored metadata anywhere in the tracked tree (positive controls prove the probe reached examples//apps/ etc.) — no migration owed, so the accept-set narrowing strands nothing.
Gates: 192 files / 1946 tests green across both packages; type-check proven to MEASURE the new pins (--listFiles + rebuilt dist grep); ablations A/B/C predicted-red observed-red with on-disk mutation proof and HEAD-blob hash restores (leg B's first zero-hit substitution self-caught and re-run — no reading taken on an unmutated tree); changeset gates green; three prerequisite-not-met gates declared honestly (unbuilt workspace, CI owns them).
Changeset: @object-ui/types: minor against the named precedent finding(types): TableColumn.type disagrees three ways — interface declares 8 literals, zod mirror accepts any string, renderer's live read set handles values outside the union via an as any cast #5853, with the structural departure (no exported tuple) argued in the changeset itself.
Out-of-scope finding detail-section still offers headerColor as a free-form string input, so the SDUI authoring surface invites values the published validator now refuses #6955 (registry input still offers free text for the now-closed vocabulary — the value-level twin of the designer-key parity class) — correct routing, left ungraded for triage.

Note for the landing window: mergeable_state is currently behind (objectui main moved same-day) — bring the base in at release time per repo convention; the diff surface is disjoint from today's main churn per the claim measurement.

Generated by Claude Code

feat(types): narrow DetailViewSection.headerColor to the ruled six-to…

Navigation Menu

Repository navigation

Narrow the `@object-ui/types` headerColor mirror to the six-token enum (objectstack#12126 ruling A) #6594

Ruling (binding — not re-opened here)

What this card does

Executable acceptance criterion

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Narrow the @object-ui/types headerColor mirror to the six-token enum (objectstack#12126 ruling A) #6594

Description

Ruling (binding — not re-opened here)

What this card does

Executable acceptance criterion

Activity

os-zhuang commented on Aug 26, 2026

os-litant commented on Aug 27, 2026

os-warren commented on Aug 31, 2026

os-warren commented on Aug 31, 2026

os-warren commented on Aug 31, 2026

os-warren commented on Aug 31, 2026

os-warren commented on Aug 31, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

Narrow the `@object-ui/types` headerColor mirror to the six-token enum (objectstack#12126 ruling A) #6594