@pzy560117/codex-harness 0.1.0 → 0.1.1

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/docs/design/image-to-frontend-spec.md

@@ -0,0 +1,72 @@
+# Image To Frontend Spec
+
+## 1. 输入图片
+
+| Image ID | Page ID | State | 图片路径 / 链接 | 评审结论 |
+| --- | --- | --- | --- | --- |
+| IMG-001 | ticket-list | default | `images/ticket-list-default.png` | PASS |
+| IMG-002 | ticket-list | empty | `images/ticket-list-empty.png` | PASS |
+| IMG-003 | ticket-list | loading | `images/ticket-list-loading.png` | PASS |
+| IMG-004 | ticket-list | error | `images/ticket-list-error.png` | PASS |
+| IMG-005 | ticket-list | permission_denied | `images/ticket-list-permission.png` | PASS |
+
+## 2. 页面布局规格
+
+| 区域 | 位置 | 尺寸 / 约束 | 内容 | 响应式行为 |
+| --- | --- | --- | --- | --- |
+| Header | 顶部 | 高度约 64px | 标题、说明、保存视图按钮 | mobile 保留标题，操作进菜单 |
+| Filter Bar | Header 下方 | 横向排列 | 状态、优先级、负责人、搜索 | mobile 折叠为筛选抽屉 |
+| Main Table | 主区域 | 宽度自适应 | 工单表格、状态标签、操作 | mobile 转卡片列表 |
+| Pagination | 底部 | 右对齐 | 页码、每页数量 | mobile 简化为上一页/下一页 |
+
+## 3. 组件实现映射
+
+| 图片元素 | 前端组件 | 层级 | 复用来源 | Props / 数据 | 事件 | 状态 |
+| --- | --- | --- | --- | --- | --- | --- |
+| 筛选条 | `TicketFilterBar` | feature | existing business component | `TicketFilter` | `onChange`, `onReset` | default / dirty / mobile |
+| 移动端筛选抽屉 | `TicketFilterDrawer` | feature | new business component | `TicketFilter`, `open` | `onApply`, `onClose` | mobile |
+| 保存视图弹窗 | `SavedViewModal` | feature | new business component | `CreateTicketViewRequest` | `onSubmit`, `onCancel` | default / validation-error |
+| 工单表格 | `TicketTable` | feature | table base component | `Ticket[]`, pagination | `onRetry` | default / empty / loading / error |
+| 表格基础容器 | `DataTableShell` | primitive | new reusable component | rows, columns, pagination | generic callbacks | default / empty / loading |
+
+## 4. CSS / Token 映射
+
+| 图片表现 | Token / CSS 变量 | 值 | 备注 |
+| --- | --- | --- | --- |
+| 页面背景 | `--color-bg-subtle` | `#F6F7F9` | 来自 design tokens |
+| 主面板 | `--color-bg-default` | `#FFFFFF` | |
+| 高优先级强调 | `--color-status-warning` | `#B45309` | |
+| 错误提示 | `--color-status-danger` | `#B91C1C` | |
+| 面板圆角 | `--radius-md` | `8px` | |
+
+## 5. 状态实现规格
+
+| State | 数据条件 | UI 行为 | 组件变化 | 动效 | 测试 |
+| --- | --- | --- | --- | --- | --- |
+| default | `items.length > 0` | 展示表格和分页 | `TicketTable` default | rows fade in 160ms | story / e2e / visual |
+| empty | `items.length === 0` | 展示空态和清除筛选 | `TicketTable` empty | opacity 160ms | story / e2e / visual |
+| loading | 请求中 | 展示骨架屏并禁用保存 | `TicketTable` loading | skeleton, reduced motion disables shimmer | story / visual |
+| error | 请求失败 | 展示错误和重试 | `TicketTable` error | opacity 160ms | story / e2e / visual |
+| permission_denied | role=agent | 隐藏保存视图入口 | `TicketFilterBar` permission | none | e2e |
+| mobile | viewport < 768px | 筛选进入抽屉，表格转卡片 | `TicketFilterDrawer`, `TicketCardList` | drawer 180ms | story / e2e / visual |
+
+## 6. 响应式与动效规格
+
+| Viewport | 布局 | 筛选策略 | 表格 / 列表策略 | 操作区策略 | 截图要求 |
+| --- | --- | --- | --- | --- | --- |
+| Desktop 1440x900 | Header + inline filter + table | 横向筛选条和 chip 回显 | 完整表格 | 保存按钮在 header | required |
+| Tablet 768x1024 | Header + wrapping filter + table | 筛选条换行，次要筛选进菜单 | 隐藏低优先级列 | 操作进菜单 | optional |
+| Mobile 375x812 | Header + filter drawer + cards | 筛选按钮打开抽屉 | 表格转卡片 | 保存视图进更多菜单 | required |
+
+动效规则:
+
+- 弹窗和抽屉必须支持 reduced motion。
+- 表格刷新不得造成分页、表头和筛选区位移。
+- 筛选 chip 删除按钮必须可键盘访问。
+
+## 7. 架构输入
+
+- 前端质量规则: `docs/harness/frontend-quality-rules.md`
+- 前端架构: `docs/design/frontend-architecture.md`
+- 通用能力候选: `DataTableShell`
+- 业务内保留: `TicketFilterBar`, `TicketFilterDrawer`, `SavedViewModal`, `TicketTable`

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/docs/design/screen-states.md

@@ -0,0 +1,25 @@
+# Screen States
+
+## 工单列表页
+
+- `default`: 默认表格 + 筛选条
+- `empty`: 空态插图或空态文案 + 清空筛选按钮
+- `loading`: 表格骨架屏 + 顶部筛选禁用
+- `error`: 顶部提示 + 表格区错误块 + 重试按钮
+- `permission_denied`: 保存视图按钮隐藏
+- `long_content`: 工单标题两行截断，负责人超长显示 tooltip，状态标签不换行
+- `mobile`: 筛选条进入抽屉，表格转卡片列表，分页简化为上一页/下一页
+- `reduced_motion`: 弹窗、抽屉、chip 和表格刷新取消位移动效，只保留即时状态变化
+
+## 状态到测试映射
+
+| 状态 | Story | E2E | Visual | A11y |
+| --- | --- | --- | --- | --- |
+| default | `TicketListPage/Default` | `/tickets` | desktop | smoke |
+| empty | `TicketListPage/Empty` | no results | desktop | smoke |
+| loading | `TicketListPage/Loading` | N/A | desktop | smoke |
+| error | `TicketListPage/Error` | API failure + retry | desktop | smoke |
+| permission_denied | `TicketListPage/PermissionDenied` | role=agent | desktop | smoke |
+| long_content | `TicketListPage/LongContent` | N/A | desktop | N/A |
+| mobile | `TicketListPage/Mobile` | mobile viewport | mobile | focus trap |
+| reduced_motion | `TicketListPage/ReducedMotion` | N/A | optional | smoke |

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/docs/design/ui-image-review.md

@@ -0,0 +1,38 @@
+# UI Image Review
+
+## 1. 评审对象
+
+| Image ID | Page ID | State | 图片路径 / 链接 | 版本 |
+| --- | --- | --- | --- | --- |
+| IMG-001 | ticket-list | default | `images/ticket-list-default.png` | v1 |
+| IMG-002 | ticket-list | empty | `images/ticket-list-empty.png` | v1 |
+| IMG-003 | ticket-list | loading | `images/ticket-list-loading.png` | v1 |
+| IMG-004 | ticket-list | error | `images/ticket-list-error.png` | v1 |
+| IMG-005 | ticket-list | permission_denied | `images/ticket-list-permission.png` | v1 |
+| IMG-006 | ticket-list | mobile | `images/ticket-list-mobile.png` | v1 |
+
+## 2. 需求匹配检查
+
+| Requirement ID | 图片是否体现 | 证据 | 问题 | 结论 |
+| --- | --- | --- | --- | --- |
+| FR-001 | Yes | 筛选条、表格、分页 | 无 | Pass |
+| FR-002 | Yes | 保存视图按钮和弹窗入口 | 无 | Pass |
+| FR-003 | Yes | permission 图隐藏保存入口 | 无 | Pass |
+
+## 3. 状态覆盖检查
+
+| Page ID | State | 是否有图 | 是否符合 Screen States | 问题 | 结论 |
+| --- | --- | --- | --- | --- | --- |
+| ticket-list | default | Yes | Yes | 无 | Pass |
+| ticket-list | empty | Yes | Yes | 无 | Pass |
+| ticket-list | loading | Yes | Yes | 无 | Pass |
+| ticket-list | error | Yes | Yes | 无 | Pass |
+| ticket-list | permission_denied | Yes | Yes | 无 | Pass |
+| ticket-list | mobile | Yes | Yes | 无 | Pass |
+
+## 4. 评审结论
+
+- Verdict: PASS
+- 必须重生成的图片: 无
+- 可通过编辑修复的图片: 无
+- 通过后进入: `image-to-frontend-spec.md`

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/docs/product/difficulty-research.md

@@ -0,0 +1,39 @@
+# Difficulty Research
+
+## 1. 难点总览
+
+| Difficulty ID | 难点 / 不确定点 | 来源需求 | 影响页面 / 接口 | 风险等级 | 是否阻塞 | 负责人 | 状态 |
+| --- | --- | --- | --- | --- | --- | --- | --- |
+| DR-001 | 筛选状态、保存视图和 URL 查询参数如何保持一致 | FR-001, FR-002 | ticket-list / `GET /tickets` | Medium | No | Demo | Closed |
+| DR-002 | 普通客服无保存权限时按钮隐藏还是禁用 | FR-003 | ticket-list | Low | No | Demo | Closed |
+
+## 2. 研究记录
+
+### DR-001: 筛选状态一致性
+
+- 关联需求: FR-001, FR-002
+- 关联界面: ticket-list, saved-view-modal
+- 问题描述: 筛选条件需要同时驱动列表查询、保存视图和刷新恢复。
+- 为什么现在必须研究: 如果实现阶段才决定状态来源，前端、contract 和 mock 数据会漂移。
+- 已知约束: demo 使用 OpenAPI contract 作为 API 真相源。
+
+| 方案 | 优点 | 缺点 | 风险 | 验证方式 |
+| --- | --- | --- | --- | --- |
+| URL 查询参数为主 | 可刷新恢复，便于分享当前筛选 | 保存视图时需要序列化 query | 低 | e2e 刷新后检查筛选 |
+| 组件本地状态为主 | 实现简单 | 刷新丢失，保存视图易漂移 | 中 | 不采用 |
+
+**结论**: 以 URL 查询参数和 generated client 参数为主，组件内部只保留临时输入状态。
+
+**选择理由**: 保证刷新、保存视图、mock 和真实接口使用同一组字段。
+
+**后续任务影响**: `TicketFilterBar` 的 props 使用 `TicketFilter`，stories 要覆盖 default、empty、error、long_content。
+
+**仍需确认**: 无。
+
+### DR-002: 无权限保存视图
+
+**结论**: 普通客服隐藏保存视图按钮，不展示不可用入口。
+
+**选择理由**: 保存视图不是客服核心任务，隐藏能降低误操作。
+
+**后续任务影响**: permission_denied story 中不渲染保存视图按钮，e2e 验证按钮不存在。

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/docs/product/page-inventory.md

@@ -0,0 +1,5 @@
+# Page Inventory
+
+| 页面 | 入口 | 目标 | 核心组件 |
+| --- | --- | --- | --- |
+| 工单列表页 | `/tickets` | 筛选和查看工单 | 筛选条、工单表格、保存视图弹窗 |

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/docs/product/prd-lite.md

@@ -0,0 +1,41 @@
+# Ticket Filter Demo PRD-Lite
+
+## 1. 背景
+
+- 业务背景: 客服主管需要在工单列表中快速筛选高优先级工单，并保存常用视图。
+- 当前问题: 每次进入系统都要重复配置筛选条件，效率低且容易遗漏。
+- 为什么现在做: 当前团队的工单量增长，手动筛选成本过高。
+
+## 2. 目标
+
+- 业务目标: 提升主管查看和分派工单的效率。
+- 用户目标: 可以按状态、优先级、负责人筛选工单，并保存自己的常用视图。
+- 不做什么: 不做跨用户共享视图；不做复杂图表分析。
+
+## 3. 用户与角色
+
+| 角色 | 使用场景 | 权限差异 |
+| --- | --- | --- |
+| 主管 | 筛选、保存视图、批量分派 | 可创建和删除自己的视图 |
+| 客服 | 查看工单列表 | 只能使用系统默认筛选 |
+
+## 4. 范围
+
+- In scope: 列表筛选、保存视图、空态/错误态、无权限限制
+- Out of scope: 共享视图、导出 Excel、复杂报表
+
+## 5. 页面 / 流程影响
+
+- 受影响页面: 工单列表页
+- 受影响流程: 工单查询、保存筛选视图
+- 受影响接口: `/tickets`、`/ticket-views`
+
+## 6. 成功标准
+
+- 主管可以保存视图并刷新后继续使用
+- 筛选结果可正确展示空态、加载态和错误态
+
+## 7. 风险与依赖
+
+- 主要风险: 设计稿只覆盖 happy path 会导致状态缺失
+- 外部依赖: 需要统一 OpenAPI contract 和 generated client

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/docs/product/requirement-interface-matrix.md

@@ -0,0 +1,32 @@
+# Requirement Interface Matrix
+
+## 1. 需求到界面映射
+
+| Requirement ID | 需求摘要 | 用户角色 | 关联页面 / 视图 | 页面状态 | UI 元素 / 操作 | 关联字段 | 依赖接口 | 验收标准 | 覆盖状态 |
+| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
+| FR-001 | 按状态、优先级、负责人筛选工单 | 主管 / 客服 | ticket-list | default / empty / loading / error | `TicketFilterBar` | status, priority, assigneeId | `GET /tickets` | AC-001 | Covered |
+| FR-002 | 保存当前筛选视图 | 主管 | ticket-list / saved-view-modal | default / validation-error / permission_denied | `SavedViewModal` | name, filters | `POST /ticket-views` | AC-002 | Covered |
+| FR-003 | 无权限用户不能保存视图 | 客服 | ticket-list | permission_denied | 保存视图按钮隐藏 | role | `GET /ticket-views` | AC-003 | Covered |
+
+## 2. 界面到需求反查
+
+| Page ID | 页面 / 视图 | 页面目标 | 覆盖需求 | 未覆盖需求 | 多余功能风险 | 备注 |
+| --- | --- | --- | --- | --- | --- | --- |
+| ticket-list | 工单列表页 | 筛选工单并管理个人视图 | FR-001, FR-002, FR-003 | 无 | 无导出、无共享视图 | |
+| saved-view-modal | 保存视图弹窗 | 命名并保存当前筛选条件 | FR-002 | 无 | 不支持共享给他人 | |
+
+## 3. 状态到需求映射
+
+| Page ID | State | 触发需求 / 业务规则 | 用户可见表现 | 依赖数据 / 接口 | 验收标准 | 设计图 |
+| --- | --- | --- | --- | --- | --- | --- |
+| ticket-list | default | FR-001 | 筛选条、保存视图按钮、工单表格 | `GET /tickets` | AC-001 | IMG-001 |
+| ticket-list | empty | FR-001 | 空态文案和清除筛选入口 | `GET /tickets` 返回空列表 | AC-E001 | IMG-002 |
+| ticket-list | loading | FR-001 | 表格骨架屏，筛选操作禁用 | `GET /tickets` 请求中 | AC-E002 | IMG-003 |
+| ticket-list | error | FR-001 | 内联错误提示和重试按钮 | `GET /tickets` 报错 | AC-E003 | IMG-004 |
+| ticket-list | permission_denied | FR-003 | 客服不显示保存视图入口 | 用户角色 | AC-003 | IMG-005 |
+
+## 4. 缺口清单
+
+| Gap ID | 缺口类型 | 描述 | 影响阶段 | 处理方式 | 负责人 | 截止 |
+| --- | --- | --- | --- | --- | --- | --- |
+| GAP-000 | 无 | 当前 demo 的 P0/P1 需求已有界面映射 | - | - | - | - |

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/docs/product/state-matrix.yaml

@@ -0,0 +1,14 @@
+page: ticket-list
+states:
+  default:
+    description: 显示最近工单列表和默认筛选条
+  empty:
+    description: 筛选后无结果，展示空态文案和清除筛选入口
+  loading:
+    description: 查询工单时展示骨架屏和禁用操作
+  error:
+    description: 查询失败时展示错误提示和重试按钮
+  permission_denied:
+    description: 普通客服不可见保存视图入口
+  responsive_mobile:
+    description: 移动端筛选条折叠为抽屉

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/packages/api-client/generated/model/Ticket.ts

@@ -0,0 +1,6 @@
+export type Ticket = {
+  id: string;
+  title: string;
+  status: "open" | "pending" | "resolved";
+  priority: "low" | "medium" | "high";
+};

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/packages/api-client/generated/ticket-api.ts

@@ -0,0 +1,35 @@
+/**
+ * Example generated client output.
+ * In a real project this file should be generated from contracts/openapi.yaml by Orval.
+ */
+
+export type Ticket = {
+  id: string;
+  title: string;
+  status: "open" | "pending" | "resolved";
+  priority: "low" | "medium" | "high";
+};
+
+export type ListTicketsParams = {
+  status?: Ticket["status"];
+  priority?: Ticket["priority"];
+  assigneeId?: string;
+};
+
+export async function listTickets(params: ListTicketsParams): Promise<Ticket[]> {
+  const query = new URLSearchParams(
+    Object.entries(params).reduce<Record<string, string>>((accumulator, [key, value]) => {
+      if (value) {
+        accumulator[key] = value;
+      }
+      return accumulator;
+    }, {}),
+  );
+
+  const response = await fetch(`/tickets?${query.toString()}`);
+  if (!response.ok) {
+    throw new Error(`Failed to list tickets: ${response.status}`);
+  }
+
+  return response.json();
+}

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/packages/api-client/http-client.ts

@@ -0,0 +1,8 @@
+export async function httpClient<T>(url: string, init?: RequestInit): Promise<T> {
+  const response = await fetch(url, init);
+  if (!response.ok) {
+    throw new Error(`HTTP ${response.status}`);
+  }
+
+  return response.json() as Promise<T>;
+}

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/packages/ui/TicketFilterBar.tsx

@@ -0,0 +1,72 @@
+type TicketFilter = {
+  status?: "open" | "pending" | "resolved";
+  priority?: "low" | "medium" | "high";
+  assigneeId?: string;
+};
+
+type TicketFilterBarProps = {
+  value: TicketFilter;
+  dirty?: boolean;
+  loading?: boolean;
+  onChange: (next: TicketFilter) => void;
+  onSaveView?: () => void;
+};
+
+export function TicketFilterBar({
+  value,
+  dirty = false,
+  loading = false,
+  onChange,
+  onSaveView,
+}: TicketFilterBarProps) {
+  return (
+    <section aria-label="Ticket filters">
+      <div>
+        <label>
+          Status
+          <select
+            value={value.status ?? ""}
+            disabled={loading}
+            onChange={(event) =>
+              onChange({
+                ...value,
+                status: (event.target.value || undefined) as TicketFilter["status"],
+              })
+            }
+          >
+            <option value="">All</option>
+            <option value="open">Open</option>
+            <option value="pending">Pending</option>
+            <option value="resolved">Resolved</option>
+          </select>
+        </label>
+
+        <label>
+          Priority
+          <select
+            value={value.priority ?? ""}
+            disabled={loading}
+            onChange={(event) =>
+              onChange({
+                ...value,
+                priority: (event.target.value || undefined) as TicketFilter["priority"],
+              })
+            }
+          >
+            <option value="">All</option>
+            <option value="low">Low</option>
+            <option value="medium">Medium</option>
+            <option value="high">High</option>
+          </select>
+        </label>
+      </div>
+
+      <div>
+        {dirty ? <span>Unsaved filter changes</span> : <span>Filters synced</span>}
+        <button type="button" disabled={loading || !onSaveView} onClick={onSaveView}>
+          Save view
+        </button>
+      </div>
+    </section>
+  );
+}

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/plans/features/ticket-filter.dev-plan.md

@@ -0,0 +1,48 @@
+# DEV-PLAN
+
+## 1. 基本信息
+
+- `feature_id`: `FEAT-TICKET-FILTER`
+- `title`: `工单筛选与保存视图`
+
+## 2. 真相源
+
+- Product Spec: `docs/product/prd-lite.md`
+- Design Brief: `docs/design/design-brief.md`
+- Frontend Quality Rules: `docs/harness/frontend-quality-rules.md`
+- Frontend Architecture: `docs/design/frontend-architecture.md`
+- 状态矩阵: `docs/product/state-matrix.yaml`
+- Component Map: `docs/design/component-map.md`
+- Screen States: `docs/design/screen-states.md`
+- Contract: `contracts/openapi.yaml`
+
+## 3. Phase 划分
+
+### Phase 1
+
+- 目标: 冻结 Product Spec、Design Brief、状态矩阵和前端质量等级
+- 交付物: `docs/product/*`、`docs/design/design-brief.md`
+
+### Phase 2
+
+- 目标: 完成 frontend-architecture、component-map、screen-states、contract
+- 交付物: `frontend-architecture.md`、`component-map.md`、`screen-states.md`、`openapi.yaml`
+
+### Phase 3
+
+- 目标: 实现前端组件与页面
+- 交付物: `TicketFilterBar`、`TicketFilterDrawer`、`SavedViewModal`、`TicketTable`、stories
+
+### Phase 4
+
+- 目标: 联调、E2E、visual regression、a11y smoke 和 responsive screenshots
+- 交付物: generated client、mock、测试、desktop/mobile 截图证据
+
+## 4. Task 拆分
+
+| Task ID | Phase | 目标 | 依赖 | 验证命令 | 状态 |
+| --- | --- | --- | --- | --- | --- |
+| T001 | P2 | 冻结 OpenAPI 与 generated client | P1 | contract validate | todo |
+| T002 | P3 | 实现 `TicketFilterBar`、响应式筛选抽屉与 stories | T001 | typecheck + story | todo |
+| T003 | P3 | 实现 `SavedViewModal` 与 stories | T001 | typecheck + unit | todo |
+| T004 | P4 | 联调、响应式、a11y 与视觉回归 | T002,T003 | e2e + visual + a11y smoke | todo |

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/progress.txt

@@ -0,0 +1 @@
+

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/stories/TicketFilterBar.stories.tsx

@@ -0,0 +1,33 @@
+import type { Meta, StoryObj } from "@storybook/react";
+import { TicketFilterBar } from "../packages/ui/TicketFilterBar";
+
+const meta = {
+  title: "Ticket Filter/TicketFilterBar",
+  component: TicketFilterBar,
+  args: {
+    value: {
+      status: "open",
+      priority: "high",
+    },
+    onChange: () => {},
+    onSaveView: () => {},
+  },
+} satisfies Meta<typeof TicketFilterBar>;
+
+export default meta;
+
+type Story = StoryObj<typeof meta>;
+
+export const Default: Story = {};
+
+export const Dirty: Story = {
+  args: {
+    dirty: true,
+  },
+};
+
+export const Loading: Story = {
+  args: {
+    loading: true,
+  },
+};

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/task.json

@@ -0,0 +1,54 @@
+{
+  "runtime": {
+    "driver": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\tools/harness/codex-loop.ps1",
+    "run_profile": ".codex\\task-run-profile.json"
+  },
+  "tasks": [
+    {
+      "id": "DEMO-TICKET-FILTER-001",
+      "description": "对齐工单筛选 demo 的真相源、组件样例与 generated client 样例",
+      "task_kind": "feature_impl",
+      "gate_profile": "contract_required",
+      "required_truth_sources": [
+        "product",
+        "design",
+        "plan",
+        "contract"
+      ],
+      "phase": "P2",
+      "priority": 1,
+      "dependencies": [],
+      "passes": false,
+      "context_files": [
+        "docs\\product\\prd-lite.md",
+        "docs\\product\\state-matrix.yaml",
+        "docs\\product\\requirement-interface-matrix.md",
+        "docs\\product\\difficulty-research.md",
+        "docs\\design\\design-brief.md",
+        "docs\\design\\ai-image-brief.md",
+        "docs\\design\\ui-image-review.md",
+        "docs\\design\\image-to-frontend-spec.md",
+        "docs\\design\\frontend-architecture.md",
+        "docs\\design\\component-map.md",
+        "docs\\design\\screen-states.md",
+        "plans\\features\\ticket-filter.dev-plan.md",
+        "contracts\\openapi.yaml",
+        "packages\\ui\\TicketFilterBar.tsx",
+        "stories\\TicketFilterBar.stories.tsx",
+        "packages\\api-client\\generated\\ticket-api.ts"
+      ],
+      "steps": [
+        "阅读 product、需求-界面追溯、难点研究、design、frontend architecture、AI 生图评审、图转前端规格、dev-plan 和 contract 真相源",
+        "确认组件、story、generated client 与真相源一致",
+        "如有需要补齐 demo 资产",
+        "运行 tools/harness/verify.ps1 验证 demo 闭环"
+      ],
+      "test_command": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\tools/harness/verify.ps1",
+      "acceptance": [
+        "demo 目录同时具备 product、design、frontend architecture、dev-plan、contract、component、story、generated client",
+        "tools/harness/verify.ps1 通过",
+        "trace 样例能表达 Stage 1、测试和 Stage 2 的结果"
+      ]
+    }
+  ]
+}

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/traces/DEMO-TICKET-FILTER-001-20260422-120000.json

@@ -0,0 +1,74 @@
+{
+  "task_id": "DEMO-TICKET-FILTER-001",
+  "task_session_id": "demo-session-20260422",
+  "agent": "codex",
+  "started_at": "2026-04-22T12:00:00+08:00",
+  "ended_at": "2026-04-22T12:03:00+08:00",
+  "status": "passed",
+  "test_command": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\tools/harness/verify.ps1",
+  "failed_stage": null,
+  "commands": [
+    {
+      "cmd": "codex exec --sandbox danger-full-access -C <demo-root> -",
+      "exit_code": 0
+    },
+    {
+      "cmd": "stage1 review",
+      "exit_code": 0,
+      "verdict": "PASS"
+    },
+    {
+      "cmd": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\tools/harness/verify.ps1",
+      "exit_code": 0
+    },
+    {
+      "cmd": "stage2 review",
+      "exit_code": 0,
+      "verdict": "PASS"
+    }
+  ],
+  "stage1_review": {
+    "verdict": "PASS",
+    "exit_code": 0,
+    "summary": "Stage 1 审查通过。"
+  },
+  "stage2_review": {
+    "verdict": "PASS",
+    "exit_code": 0,
+    "summary": "Stage 2 审查通过。"
+  },
+  "review_context": {
+    "product": [
+      "docs/product/prd-lite.md",
+      "docs/product/state-matrix.yaml"
+    ],
+    "design": [
+      "docs/design/design-brief.md",
+      "docs/design/component-map.md",
+      "docs/design/screen-states.md"
+    ],
+    "contracts": [
+      "contracts/openapi.yaml"
+    ],
+    "plans": [
+      "plans/features/ticket-filter.dev-plan.md"
+    ],
+    "task_context": [
+      "packages/ui/TicketFilterBar.tsx",
+      "stories/TicketFilterBar.stories.tsx",
+      "packages/api-client/generated/ticket-api.ts"
+    ]
+  },
+  "files_changed": [
+    "packages/ui/TicketFilterBar.tsx",
+    "stories/TicketFilterBar.stories.tsx",
+    "packages/api-client/generated/ticket-api.ts"
+  ],
+  "blocked_reason": null,
+  "final_message": "Demo ticket filter task passed Stage 1, verify, and Stage 2.",
+  "logs": {
+    "implementation_stdout": "traces/DEMO-TICKET-FILTER-001-implementation.log",
+    "stage1_stdout": "traces/DEMO-TICKET-FILTER-001-stage1.log",
+    "stage2_stdout": "traces/DEMO-TICKET-FILTER-001-stage2.log"
+  }
+}

package/package-source/docs/codex-harness-engineering/templates/package-assets/docs/codex-harness-engineering/examples/ticket-filter-demo/verify.ps1

@@ -0,0 +1,42 @@
+Set-StrictMode -Version Latest
+$ErrorActionPreference = "Stop"
+
+$root = Split-Path -Parent $MyInvocation.MyCommand.Path
+
+$requiredPaths = @(
+  "docs/product/prd-lite.md",
+  "docs/product/state-matrix.yaml",
+  "docs/product/requirement-interface-matrix.md",
+  "docs/product/difficulty-research.md",
+  "docs/design/design-brief.md",
+  "docs/design/ai-image-brief.md",
+  "docs/design/ui-image-review.md",
+  "docs/design/image-to-frontend-spec.md",
+  "docs/design/frontend-architecture.md",
+  "docs/design/component-map.md",
+  "docs/design/screen-states.md",
+  "plans/features/ticket-filter.dev-plan.md",
+  "contracts/openapi.yaml",
+  "contracts/orval.config.ts",
+  "packages/ui/TicketFilterBar.tsx",
+  "stories/TicketFilterBar.stories.tsx",
+  "packages/api-client/http-client.ts",
+  "packages/api-client/generated/ticket-api.ts",
+  "packages/api-client/generated/model/Ticket.ts"
+)
+
+$missing = @()
+foreach ($relativePath in $requiredPaths) {
+  $fullPath = Join-Path $root $relativePath
+  if (-not (Test-Path -LiteralPath $fullPath)) {
+    $missing += $relativePath
+  }
+}
+
+if ($missing.Count -gt 0) {
+  Write-Output "Missing required demo assets:"
+  $missing | ForEach-Object { Write-Output "- $_" }
+  exit 1
+}
+
+Write-Output "Ticket filter demo verify passed."