@pzy560117/codex-harness 0.1.0 → 0.1.2

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."