@pzy560117/codex-harness 0.1.2 → 0.1.4

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

@@ -1,35 +0,0 @@
-/**
- * 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

@@ -1,8 +0,0 @@
-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

@@ -1,72 +0,0 @@
-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

@@ -1,48 +0,0 @@
-# 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

@@ -1 +0,0 @@
-

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

@@ -1,33 +0,0 @@
-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

@@ -1,54 +0,0 @@
-{
-  "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

@@ -1,74 +0,0 @@
-{
-  "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

@@ -1,42 +0,0 @@
-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."