opencodekit 0.12.2 → 0.12.3

package/dist/template/.opencode/command/fix-types.md

@@ -1,368 +1,108 @@
 ---
-description: Fix type errors with optional bead tracking
+description: Fix TypeScript type errors
 argument-hint: "[bead-id] [--strict]"
 agent: build
 ---
 
 # Fix Type Errors
 
-## Load Beads Skill
+Resolve TypeScript errors without adding `any` everywhere.
 
-```typescript
-skill({ name: "beads" });
-```
-
-## Options
-
-- `--strict`: Also fix warnings and enable stricter checks
-
-## Phase 1: Load Context
-
-**Load skill:**
-
-```typescript
-skill({ name: "systematic-debugging" });
-```
-
-**Check for bead context:**
-
-```typescript
-bd_show({ id: "$ARGUMENTS" });
-```
-
-**Reserve files:**
-
-```typescript
-bd_reserve({
-  paths: ["src/**/*.ts", "src/**/*.tsx"],
-  reason: "Fixing type errors",
-  ttl: 600,
-});
-```
-
-## Phase 2: Detect Project & Run Type Check
-
-**Detect type check command:**
-
-```bash
-# Check package.json for type-check script
-grep -q "type-check\|typecheck" package.json && echo "npm run type-check"
-
-# Or use tsc directly
-npx tsc --noEmit
-```
-
-| Project Type | Type Check Command                         |
-| ------------ | ------------------------------------------ |
-| npm          | `npm run type-check` or `npx tsc --noEmit` |
-| bun          | `bun run typecheck`                        |
-| yarn         | `yarn type-check`                          |
-| pnpm         | `pnpm type-check`                          |
-
-**Capture initial error count:**
+## Get Current State
 
 ```bash
+npx tsc --noEmit 2>&1 | head -50
 npx tsc --noEmit 2>&1 | grep -c "error TS"
 ```
 
-```
-Type Check Status:
-━━━━━━━━━━━━━━━━━━
-
-Initial errors: [N]
-Files affected: [N]
-```
-
-## Phase 3: Use LSP for Semantic Analysis
-
-Get errors with full context:
+## Use LSP For Context
 
 ```typescript
 lsp_lsp_diagnostics({ filePath: "<file>", severity: "error" });
+lsp_lsp_hover({ filePath: "<file>", line: N, character: N });
 ```
 
-For each file with errors:
-
-```typescript
-lsp_lsp_hover({ filePath: "<file>", line: N, character: N }); // Understand types
-lsp_lsp_goto_definition({ filePath: "<file>", line: N, character: N }); // Find source
-```
-
-## Phase 4: Categorize Errors
-
-Group errors by pattern:
-
-| Category               | Error Pattern                       | Typical Fix                      |
-| ---------------------- | ----------------------------------- | -------------------------------- |
-| **Missing type**       | `implicitly has 'any' type`         | Add explicit type annotation     |
-| **Incorrect type**     | `Type 'X' is not assignable to 'Y'` | Fix type or add conversion       |
-| **Null/undefined**     | `possibly 'null' or 'undefined'`    | Add null check or optional chain |
-| **Property missing**   | `Property 'x' does not exist`       | Add to interface or fix typo     |
-| **Generic constraint** | `does not satisfy constraint`       | Fix generic or add constraint    |
-| **Import error**       | `Cannot find module`                | Fix import path or install dep   |
-| **Overload mismatch**  | `No overload matches this call`     | Check function signature         |
-| **Readonly violation** | `Cannot assign to 'x' (read-only)`  | Remove mutation or cast          |
-
-```
-Error Categories:
-━━━━━━━━━━━━━━━━
-
-- Missing types: [N]
-- Incorrect types: [N]
-- Null handling: [N]
-- Property errors: [N]
-- Other: [N]
-```
-
-## Phase 5: Estimate Complexity
-
-| Signals                                  | Estimate | Approach         |
-| ---------------------------------------- | -------- | ---------------- |
-| <10 errors, single category              | S (~10)  | Quick fix        |
-| 10-30 errors, few categories             | M (~30)  | Systematic       |
-| 30-100 errors, multiple categories       | L (~100) | Batch by pattern |
-| >100 errors or architectural type issues | XL       | Plan first       |
-
-## Phase 6: Fix Errors
-
-### Rules (MUST follow)
+## Common Fixes
 
-- ❌ **Never** use `any` just to pass type check
-- ❌ **Never** use `// @ts-ignore` without justification
-- ❌ **Never** use `as unknown as T` pattern
-- ✅ **Prefer** proper typing over type assertions
-- ✅ **Prefer** narrowing with type guards
-- ✅ **Prefer** `unknown` over `any` when type is truly unknown
-
-### Common Fixes
-
-**Missing type on parameter:**
+**Missing type:**
 
 ```typescript
 // Before
 function process(data) { ... }
-
 // After
-function process(data: ProcessInput): ProcessOutput { ... }
+function process(data: InputType): OutputType { ... }
 ```
 
-**Null/undefined handling:**
+**Null handling:**
 
 ```typescript
 // Before
 const name = user.name.toUpperCase();
-
-// After (optional chaining)
+// After
 const name = user?.name?.toUpperCase() ?? "Unknown";
-
-// After (type guard)
-if (user?.name) {
-  const name = user.name.toUpperCase();
-}
 ```
 
 **Property doesn't exist:**
 
 ```typescript
-// Before
+// Add to interface
 interface User {
   name: string;
+  email?: string; // Add missing property
 }
-user.email; // Error
-
-// After - extend interface
-interface User {
-  name: string;
-  email?: string;
-}
-```
-
-**Generic constraint:**
-
-```typescript
-// Before
-function getValue<T>(obj: T, key: string) {
-  return obj[key]; // Error
-}
-
-// After
-function getValue<T extends Record<string, unknown>>(obj: T, key: keyof T) {
-  return obj[key];
-}
-```
-
-### Batch Fixing Strategy
-
-For many errors of same type:
-
-```typescript
-// Use AST grep to find patterns
-ast - grep({ pattern: "function $NAME($PARAMS) {" }); // Find untyped functions
-```
-
-Fix one, then apply pattern to similar cases.
-
-## Phase 7: Iterate Until Clean
-
-```bash
-npx tsc --noEmit 2>&1
-```
-
-Repeat until:
-
-```
-Type Check: 0 errors ✓
 ```
 
-**Maximum iterations:** 5 passes. If still errors after 5, reassess approach.
+## Rules
 
-## Phase 8: Verification
+- ❌ Never use `any` just to pass type check
+- ❌ Never use `// @ts-ignore` without justification
+- ❌ Never use `as unknown as T`
+- ✅ Prefer proper typing over assertions
+- ✅ Prefer narrowing with type guards
+- ✅ Prefer `unknown` over `any` when truly unknown
 
-**Type check passes:**
+## Iterate Until Clean
 
 ```bash
 npx tsc --noEmit
 ```
 
-**Tests still pass:**
-
-```bash
-npm test
-```
+Repeat until 0 errors. Max 5 passes.
 
-**Lint still passes:**
+## Verify
 
 ```bash
-npm run lint
-```
-
-```
-Verification:
-━━━━━━━━━━━━━
-
-Types: 0 errors ✓
-Tests: Passing ✓
-Lint: Passing ✓
-```
-
-## Phase 9: Track Improvement
-
-```
-Type Error Resolution:
-━━━━━━━━━━━━━━━━━━━━━━
-
-Before: [N] errors
-After: 0 errors
-Reduction: 100%
-
-By category:
-- Missing types: [N] → 0
-- Null handling: [N] → 0
-- Property errors: [N] → 0
-```
-
-## Phase 10: Document Patterns
-
-If you discovered useful type patterns:
-
-```typescript
-observation({
-  type: "pattern",
-  title: "Type pattern: [name]",
-  content: `
-## Pattern
-[Description of the type pattern]
-
-## Example
-\`\`\`typescript
-[Code showing the pattern]
-\`\`\`
-
-## When to Use
-[When this pattern applies]
-  `,
-  concepts: "typescript, types, [specific pattern]",
-  bead_id: "<bead-id>",
-});
-```
-
-Update conventions if this should be standard:
-
-```typescript
-memory -
-  update({
-    file: "project/conventions",
-    content: `
-## Type Pattern: [Name]
-
-[Pattern description and example]
-  `,
-    mode: "append",
-  });
-```
-
-## Phase 11: Handle Deep Issues
-
-If type errors reveal architectural problems:
-
-```typescript
-bd_add({
-  title: "Refactor: [type issue summary]",
-  type: "task",
-  pri: 2,
-  desc: "Type errors revealed need for: [description]",
-});
+npx tsc --noEmit  # Types
+npm test          # Tests still pass
+npm run lint      # Lint still passes
 ```
 
-## Phase 12: Commit & Sync
+## Commit
 
 ```bash
 git add <files>
 git commit -m "fix(types): resolve type errors
 
-- Fixed [N] type errors
-- Categories: [list main categories]
-- No 'any' types added
-[bead-id if applicable]"
+- Fixed [N] errors
+- No 'any' types added"
 ```
 
 ```typescript
-bd_release({ _: true });
-bd_sync({ reason: "Fixed type errors" });
+bd_sync({ reason: "Sync type fixes" });
 ```
 
 ## Output
 
 ```
 Type Errors Fixed
-━━━━━━━━━━━━━━━━━
 
-Estimate: [S/M/L]
 Before: [N] errors
 After: 0 errors
 
-Categories fixed:
-- Missing types: [N]
-- Null handling: [N]
-- Property errors: [N]
-
 Verification:
-- Type check: ✓
+- Types: ✓
 - Tests: ✓
 - Lint: ✓
 
-'any' types added: 0 ✓
-Patterns documented: [N]
-
-Commit: [hash]
-```
-
-**Next steps:**
-
-```
-If part of larger task:
-  /implement <bead-id>
-
-If standalone:
-  /finish <bead-id>
+'any' added: 0 ✓
 ```