lazycodex-ai 5.1.44 → 5.1.45

package/packages/shared-skills/skills/programming/scripts/typescript/new-project.test.ts

@@ -0,0 +1,162 @@
+import { afterAll, beforeAll, describe, expect, test } from "bun:test";
+import { existsSync, mkdtempSync, rmSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { pathToFileURL } from "node:url";
+
+const runRoot = mkdtempSync(join(process.env.RUN_TMP ?? tmpdir(), "programming-scaffold-"));
+const project = join(runRoot, "example");
+
+async function run(args: string[], cwd = project) {
+  const child = Bun.spawn(args, { cwd, stdout: "pipe", stderr: "pipe" });
+  const [stdout, stderr, code] = await Promise.all([
+    new Response(child.stdout).text(),
+    new Response(child.stderr).text(),
+    child.exited,
+  ]);
+  return { stdout, stderr, code };
+}
+
+describe("#given a newly scaffolded TypeScript project", () => {
+  beforeAll(async () => {
+    const result = await run(
+      [process.execPath, join(import.meta.dir, "new-project.ts"), "example", "--path", runRoot],
+      runRoot,
+    );
+    expect(result.code).toBe(0);
+  });
+
+  afterAll(() => rmSync(runRoot, { recursive: true, force: true }));
+
+  test("#when scaffolding offline #then OXC configs and the local plugin are generated", async () => {
+    for (const file of [
+      ".oxlintrc.json",
+      ".oxfmtrc.json",
+      "package.json",
+      "tsconfig.json",
+      "src/index.ts",
+      ".gitignore",
+      "lint/oxlint-plugin/index.js",
+      "lint/oxlint-plugin/no-em-dash-copy.js",
+      "lint/oxlint-plugin/require-suppression-reason.js",
+      "lint/oxlint-plugin/LICENSE",
+    ]) {
+      expect(existsSync(join(project, file))).toBe(true);
+    }
+    expect(existsSync(join(project, "biome.json"))).toBe(false);
+    const pkg = await Bun.file(join(project, "package.json")).json();
+    expect(pkg.devDependencies.oxlint).toBeDefined();
+    expect(pkg.devDependencies.oxfmt).toBeDefined();
+    expect(pkg.devDependencies["oxlint-tsgolint"]).toBeDefined();
+    expect(pkg.scripts.lint).toBe("oxlint --type-aware --deny-warnings");
+    const config = await Bun.file(join(project, ".oxlintrc.json")).json();
+    expect(config.jsPlugins).toContainEqual({
+      name: "programming",
+      specifier: "./lint/oxlint-plugin/index.js",
+    });
+    expect(config.rules["programming/require-suppression-reason"]).toBe("error");
+    expect(config.overrides[0].rules["programming/no-em-dash-copy"]).toBe("error");
+    const tsconfig = await Bun.file(join(project, "tsconfig.json")).json();
+    expect(tsconfig.include).toEqual(["src/**/*.ts", "src/**/*.tsx"]);
+    expect(tsconfig.compilerOptions.jsx).toBe("react-jsx");
+  });
+
+  test("#when visiting copy offline #then the generated plugin reports em dashes", async () => {
+    const { default: plugin } = await import(
+      pathToFileURL(join(project, "lint/oxlint-plugin/index.js")).href
+    );
+    const reports: unknown[] = [];
+    const visitors = plugin.rules["no-em-dash-copy"].create({
+      report: (report: unknown) => reports.push(report),
+    });
+    const literal = { type: "Literal", value: "Hello\u2014world" };
+    const template = { type: "TemplateElement", value: { cooked: "Hello\u2014world" } };
+    const jsx = { type: "JSXText", value: "Hello\u2014world" };
+    visitors.Literal(literal);
+    visitors.TemplateElement(template);
+    visitors.JSXText(jsx);
+    expect(reports).toHaveLength(3);
+    expect(reports).toEqual([
+      expect.objectContaining({ node: literal }),
+      expect.objectContaining({ node: template }),
+      expect.objectContaining({ node: jsx }),
+    ]);
+    visitors.Literal({ type: "Literal", value: "Hello, world" });
+    visitors.Literal({ type: "Literal", value: /Hello\u2014world/ });
+    visitors.TemplateElement({ type: "TemplateElement", value: { cooked: null } });
+    visitors.JSXText({ type: "JSXText", value: "Hello, world" });
+    expect(reports).toHaveLength(3);
+  });
+
+  // Opt in to registry-dependent install + lint/format/typecheck coverage:
+  // OMO_TEST_SCAFFOLD_INSTALL=1 bun test packages/shared-skills/skills/programming/scripts/typescript/new-project.test.ts
+  test.skipIf(process.env.OMO_TEST_SCAFFOLD_INSTALL !== "1")(
+    "#when linting seeded product copy #then the installed generated rule rejects it",
+    async () => {
+      // given the dependencies and configuration emitted by the real scaffold
+      const pkg = await Bun.file(join(project, "package.json")).json();
+      expect(pkg.devDependencies.oxlint).toBeDefined();
+      const install = await run([process.execPath, "install", "--ignore-scripts"]);
+      expect(install.code).toBe(0);
+      const clean = await run([process.execPath, "run", "lint"]);
+      expect(clean.stdout + clean.stderr).not.toContain("Unknown rule");
+      expect(clean.code).toBe(0);
+      const formatted = await run([process.execPath, "run", "fmt:check"]);
+      expect(formatted.code).toBe(0);
+      const typed = await run([process.execPath, "run", "typecheck"]);
+      expect(typed.code).toBe(0);
+      writeFileSync(join(project, "src/copy.ts"), 'export const copy = "Hello\\u2014world"\n');
+
+      // when the generated project's own lint command runs
+      const result = await run([process.execPath, "run", "lint"]);
+
+      // then it fails for the copy rule, rather than a missing tool or invalid configuration
+      expect(result.code).toBe(1);
+      expect(result.stdout + result.stderr).toContain("programming(no-em-dash-copy)");
+
+      // given cooked template text and JSX copy, not only string literals
+      writeFileSync(
+        join(project, "src/copy.tsx"),
+        "export const template = `Hello\\u2014world`\nexport const view = <p>Hello\u2014world</p>\n",
+      );
+      const jsx = await run([process.execPath, "run", "lint", "--", "src/copy.tsx"]);
+      expect(jsx.code).toBe(1);
+      expect((jsx.stdout + jsx.stderr).match(/programming\(no-em-dash-copy\)/g)).toHaveLength(2);
+
+      // given comments, regexes, and test fixtures outside the copy policy
+      writeFileSync(
+        join(project, "src/clean.ts"),
+        "// Hello\u2014world\nexport const pattern = /Hello\u2014world/\n",
+      );
+      writeFileSync(join(project, "src/copy.test.ts"), 'export const copy = "Hello\\u2014world"\n');
+      const exempt = await run([
+        process.execPath,
+        "run",
+        "lint",
+        "--",
+        "src/clean.ts",
+        "src/copy.test.ts",
+      ]);
+      expect(exempt.code).toBe(0);
+
+      // given lint suppressions without a reason, the local reason rule reports them
+      writeFileSync(
+        join(project, "src/suppression.ts"),
+        "// oxlint-disable-next-line no-unused-vars\nconst hidden = 1\n",
+      );
+      const unexplained = await run([process.execPath, "run", "lint", "--", "src/suppression.ts"]);
+      expect(unexplained.code).toBe(1);
+      expect(unexplained.stdout + unexplained.stderr).toContain(
+        "programming(require-suppression-reason)",
+      );
+
+      writeFileSync(
+        join(project, "src/suppression.ts"),
+        "// Synthetic legacy interop fixture.\n// oxlint-disable-next-line no-unused-vars\nconst hidden = 1\n",
+      );
+      const explained = await run([process.execPath, "run", "lint", "--", "src/suppression.ts"]);
+      expect(explained.code).toBe(0);
+    },
+    120_000,
+  );
+});

package/packages/shared-skills/skills/programming/scripts/typescript/new-project.ts

@@ -11,14 +11,16 @@
  *
  * Creates:
  *   <name>/
- *     package.json          (Bun + Hono + Zod + Drizzle + Biome)
- *     tsconfig.json         (ultra-strict from tsconfig-strict.md)
- *     biome.json            (strict from tsconfig-strict.md)
+ *     package.json          (Bun + Hono + Zod + oxlint + oxfmt)
+ *     tsconfig.json         (static ultra-strict config copied from oxc/)
+ *     .oxlintrc.json         (strict rules and local copy plugin)
+ *     .oxfmtrc.json          (format defaults)
+ *     lint/oxlint-plugin/    (plain-JS rules and MIT license)
  *     src/index.ts          (minimal Hono entrypoint)
  *     .gitignore
  */
 
-import { mkdirSync, writeFileSync, existsSync } from "node:fs";
+import { cpSync, mkdirSync, writeFileSync, existsSync } from "node:fs";
 import { join, resolve } from "node:path";
 import { parseArgs } from "node:util";
 
@@ -44,8 +46,9 @@ Options:
   process.exit(positionals.length === 0 ? 2 : 0);
 }
 
-const name = positionals[0]!;
-const root = resolve(values.path!, name);
+const name = positionals[0];
+if (!name) throw new Error("Project name is required");
+const root = resolve(values.path ?? ".", name);
 
 if (existsSync(root)) {
   console.error(`Error: ${root} already exists`);
@@ -64,8 +67,12 @@ const pkg = {
   scripts: {
     dev: "bun --hot src/index.ts",
     start: "bun src/index.ts",
-    check: "bunx biome check . && bunx tsc --noEmit && bun test",
-    "check:fix": "bunx biome check --write .",
+    lint: "oxlint --type-aware --deny-warnings",
+    fmt: "oxfmt",
+    "fmt:check": "oxfmt --check",
+    typecheck: "tsc --noEmit",
+    check: "bun run lint && bun run fmt:check && bun run typecheck && bun test",
+    "check:fix": "oxlint --type-aware --fix && oxfmt",
     test: "bun test",
   },
   dependencies: {
@@ -73,85 +80,17 @@ const pkg = {
     zod: "^3.24.0",
   },
   devDependencies: {
-    "@biomejs/biome": "^1.9.0",
     "@types/bun": "latest",
+    oxfmt: "0.74.0",
+    oxlint: "1.89.0",
+    "oxlint-tsgolint": "7.0.2005",
     typescript: "^5.8.0",
   },
 };
 writeFileSync(join(root, "package.json"), JSON.stringify(pkg, null, 2) + "\n");
 
-// ── tsconfig.json (ultra-strict) ──
-const tsconfig = {
-  compilerOptions: {
-    strict: true,
-    noUncheckedIndexedAccess: true,
-    exactOptionalPropertyTypes: true,
-    noFallthroughCasesInSwitch: true,
-    forceConsistentCasingInFileNames: true,
-    verbatimModuleSyntax: true,
-    isolatedModules: true,
-    esModuleInterop: true,
-    resolveJsonModule: true,
-    target: "ESNext",
-    lib: ["ESNext"],
-    declaration: true,
-    declarationMap: true,
-    sourceMap: true,
-    outDir: "dist",
-    rootDir: "src",
-    module: "ESNext",
-    moduleResolution: "bundler",
-    types: ["bun-types"],
-    skipLibCheck: true,
-    noEmit: true,
-  },
-  include: ["src/**/*.ts"],
-  exclude: ["node_modules", "dist"],
-};
-writeFileSync(
-  join(root, "tsconfig.json"),
-  JSON.stringify(tsconfig, null, 2) + "\n",
-);
-
-// ── biome.json (strict) ──
-const biome = {
-  $schema: "https://biomejs.dev/schemas/1.9.0/schema.json",
-  organizeImports: { enabled: true },
-  formatter: {
-    enabled: true,
-    indentStyle: "space",
-    indentWidth: 2,
-    lineWidth: 100,
-  },
-  linter: {
-    enabled: true,
-    rules: {
-      recommended: true,
-      complexity: {
-        noBannedTypes: "error",
-        noExtraBooleanCast: "error",
-        noUselessConstructor: "error",
-        noUselessRename: "error",
-        noVoid: "error",
-      },
-      correctness: {
-        noUnusedVariables: "error",
-        noUnusedImports: "error",
-        useExhaustiveDependencies: "warn",
-      },
-      style: {
-        noNonNullAssertion: "error",
-        useConst: "error",
-        noParameterAssign: "error",
-      },
-      suspicious: {
-        noExplicitAny: "error",
-        noAssertion: "warn",
-      },
-    },
-  },
-};
-writeFileSync(join(root, "biome.json"), JSON.stringify(biome, null, 2) + "\n");
+// Copy the formatted strict configs and plugin documented in oxc-lint.md.
+cpSync(join(import.meta.dir, "oxc"), root, { recursive: true });
 
 // ── src/index.ts ──
 const indexTs = `import { Hono } from "hono";

package/packages/shared-skills/skills/programming/scripts/typescript/oxc/.oxfmtrc.json

@@ -0,0 +1,9 @@
+{
+  "$schema": "./node_modules/oxfmt/configuration_schema.json",
+  "printWidth": 100,
+  "tabWidth": 2,
+  "useTabs": false,
+  "semi": true,
+  "singleQuote": false,
+  "ignorePatterns": ["node_modules/**", "dist/**", "build/**", "coverage/**", "vendor/**"]
+}

package/packages/shared-skills/skills/programming/scripts/typescript/oxc/.oxlintrc.json

@@ -0,0 +1,46 @@
+{
+  "$schema": "./node_modules/oxlint/configuration_schema.json",
+  "plugins": ["typescript", "import", "oxc"],
+  "jsPlugins": [{ "name": "programming", "specifier": "./lint/oxlint-plugin/index.js" }],
+  "categories": { "correctness": "error", "suspicious": "error" },
+  "rules": {
+    "typescript/no-explicit-any": "error",
+    "typescript/no-non-null-assertion": "error",
+    "typescript/consistent-type-imports": "error",
+    "typescript/ban-ts-comment": [
+      "error",
+      { "ts-expect-error": true, "ts-ignore": true, "ts-nocheck": true, "ts-check": false }
+    ],
+    "typescript/no-empty-object-type": "error",
+    "typescript/no-wrapper-object-types": "error",
+    "typescript/no-floating-promises": "error",
+    "typescript/no-misused-promises": "error",
+    "typescript/switch-exhaustiveness-check": "error",
+    "import/no-default-export": "error",
+    "no-param-reassign": "error",
+    "no-unused-vars": "error",
+    "no-empty": "error",
+    "no-fallthrough": "error",
+    "prefer-const": "error",
+    "programming/require-suppression-reason": "error"
+  },
+  "ignorePatterns": ["node_modules/**", "dist/**", "build/**", "coverage/**", "vendor/**"],
+  "overrides": [
+    {
+      "files": ["src/**/*", "apps/*/src/**/*", "packages/*/src/**/*"],
+      "rules": { "programming/no-em-dash-copy": "error" }
+    },
+    {
+      "files": [
+        "**/*.{test,spec}.*",
+        "**/{test,tests,__tests__,fixtures,__fixtures__,_generated,vendor,vendored}/**",
+        "**/*.{gen,generated}.*"
+      ],
+      "rules": { "programming/no-em-dash-copy": "off" }
+    },
+    {
+      "files": ["src/index.ts", "lint/oxlint-plugin/*.js"],
+      "rules": { "import/no-default-export": "off" }
+    }
+  ]
+}

package/packages/shared-skills/skills/programming/scripts/typescript/oxc/lint/oxlint-plugin/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 T3 Tools Inc.
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/packages/shared-skills/skills/programming/scripts/typescript/oxc/lint/oxlint-plugin/index.js

@@ -0,0 +1,10 @@
+import noEmDashCopy from "./no-em-dash-copy.js";
+import requireSuppressionReason from "./require-suppression-reason.js";
+
+export default {
+  meta: { name: "programming" },
+  rules: {
+    "no-em-dash-copy": noEmDashCopy,
+    "require-suppression-reason": requireSuppressionReason,
+  },
+};

package/packages/shared-skills/skills/programming/scripts/typescript/oxc/lint/oxlint-plugin/no-em-dash-copy.js

@@ -0,0 +1,28 @@
+// Ported from pingdotgg/t3code at d7f3b72 (t3code#23799). MIT; see LICENSE.
+const EM_DASH = "\u2014";
+const MESSAGE = "No em dashes in product copy. Use a period, comma, colon, or parentheses instead.";
+
+export default {
+  meta: {
+    type: "suggestion",
+    docs: {
+      description: "Disallow em dashes in strings and JSX text that users or agents read.",
+    },
+  },
+  create(context) {
+    const check = (node, text) => {
+      if (text?.includes(EM_DASH)) context.report({ node, message: MESSAGE });
+    };
+    return {
+      Literal(node) {
+        if (typeof node.value === "string") check(node, node.value);
+      },
+      TemplateElement(node) {
+        check(node, node.value.cooked);
+      },
+      JSXText(node) {
+        check(node, node.value);
+      },
+    };
+  },
+};

package/packages/shared-skills/skills/programming/scripts/typescript/oxc/lint/oxlint-plugin/require-suppression-reason.js

@@ -0,0 +1,62 @@
+// Ported from pingdotgg/t3code at d7f3b72 (t3code#16294). MIT; see LICENSE.
+// Plain-JS port via sisyphuslabs/omo-relay; TypeScript types and defineRule removed.
+const DIRECTIVE_PATTERN =
+  /^\s*\*?\s*(?:(?:oxlint|eslint)-(?:disable|enable)|@ts-(?:expect-error|ignore|nocheck)|@effect-diagnostics)/u;
+const TS_DIRECTIVE_PATTERN = /^\s*\*?\s*@ts-(?:expect-error|ignore|nocheck)(?![\w-])(.*)$/su;
+const EMPTY_COMMENT_PATTERN = /^[\s*]*$/u;
+
+export default {
+  meta: {
+    type: "suggestion",
+    docs: {
+      description: "Require every lint or type-checker suppression to say why.",
+    },
+  },
+  create(context) {
+    const { sourceCode } = context;
+    return {
+      Program() {
+        const comments = sourceCode.getAllComments();
+        const ownLineCommentsByEndLine = new Map();
+        for (const comment of comments) {
+          const { line, column } = comment.loc.start;
+          if ((sourceCode.lines[line - 1] ?? "").slice(0, column).trim() === "") {
+            ownLineCommentsByEndLine.set(comment.loc.end.line, comment);
+          }
+        }
+
+        const explainedAbove = (directive) => {
+          let above = ownLineCommentsByEndLine.get(directive.loc.start.line - 1);
+          while (
+            above &&
+            (DIRECTIVE_PATTERN.test(above.value) || EMPTY_COMMENT_PATTERN.test(above.value))
+          ) {
+            above = ownLineCommentsByEndLine.get(above.loc.start.line - 1);
+          }
+          return above !== undefined;
+        };
+
+        for (const directive of sourceCode.getDisableDirectives().directives) {
+          if (directive.type === "enable" || directive.justification?.trim()) continue;
+          if (explainedAbove(directive.node)) continue;
+          context.report({
+            loc: directive.node.loc,
+            message:
+              "Say why: end the directive with `-- reason` or put a comment on the line above.",
+          });
+        }
+
+        for (const comment of comments) {
+          const after = TS_DIRECTIVE_PATTERN.exec(comment.value)?.[1];
+          if (after === undefined || after.replace(/^[\s:-]+/u, "").trim()) continue;
+          if (explainedAbove(comment)) continue;
+          context.report({
+            loc: comment.loc,
+            message:
+              "Say why: write the reason after the directive or in a comment on the line above.",
+          });
+        }
+      },
+    };
+  },
+};

package/packages/shared-skills/skills/programming/scripts/typescript/oxc/tsconfig.json

@@ -0,0 +1,29 @@
+{
+  "compilerOptions": {
+    "strict": true,
+    "noUncheckedIndexedAccess": true,
+    "exactOptionalPropertyTypes": true,
+    "noFallthroughCasesInSwitch": true,
+    "noPropertyAccessFromIndexSignature": true,
+    "forceConsistentCasingInFileNames": true,
+    "verbatimModuleSyntax": true,
+    "isolatedModules": true,
+    "esModuleInterop": true,
+    "resolveJsonModule": true,
+    "target": "ESNext",
+    "lib": ["ESNext"],
+    "declaration": true,
+    "declarationMap": true,
+    "sourceMap": true,
+    "outDir": "dist",
+    "rootDir": "src",
+    "module": "ESNext",
+    "moduleResolution": "bundler",
+    "jsx": "react-jsx",
+    "types": ["bun-types"],
+    "skipLibCheck": true,
+    "noEmit": true
+  },
+  "include": ["src/**/*.ts", "src/**/*.tsx"],
+  "exclude": ["node_modules", "dist"]
+}

package/packages/shared-skills/skills/refactor/SKILL.md

@@ -627,7 +627,7 @@ Team mode is enabled for this session. The rules below **override Phase 4-6** ab
 When invoking the Plan agent in Phase 4.1, append this additional requirement to the prompt:
 
 \`\`\`
-7. (REQUIRED when team mode is active) Output a Team Staffing Recommendation section with these fields — missing fields fail Phase 5.0:
+7. (REQUIRED when team mode is active) Output a Team Staffing Recommendation section with these fields (missing fields fail Phase 5.0):
    - total_atomic_steps: integer
    - file_independent_steps: integer (parallelizable, no cross-file blocker)
    - cross_file_dependent_steps: integer (has blockers)
@@ -637,8 +637,8 @@ When invoking the Plan agent in Phase 4.1, append this additional requirement to
 \`\`\`
 
 **Classification rules** the plan agent must apply to each step:
-- \`quick\`: mechanical edits — LSP rename, extract variable, inline, simple move, signature change without call-site logic.
-- \`unspecified-low\`: logic-preserving refactors that need reasoning — extract function, restructure conditional, pattern transformation, cross-file API change.
+- \`quick\` - mechanical edits: LSP rename, extract variable, inline, simple move, signature change without call-site logic.
+- \`unspecified-low\` - logic-preserving refactors that need reasoning: extract function, restructure conditional, pattern transformation, cross-file API change.
 - Recommend \`team\` path when \`file_independent_steps >= 3\`; recommend \`legacy\` otherwise.
 
 ## Phase 5 override: Dispatch path selection
@@ -647,7 +647,7 @@ Read the Team Staffing Recommendation from Phase 4. If any required field is mis
 
 Then choose the path:
 
-- **Team path (5.1-T)**: when the plan recommends \`team\` AND \`file_independent_steps >= 3\`. Members execute in parallel, Lead orchestrates, a \`deep\` verifier lives outside the team.
+- **Team path (5.1-T)**: when the plan recommends \`team\` AND \`file_independent_steps >= 3\`. Members execute in parallel, Lead orchestrates, a \`deep-high\` verifier lives outside the team.
 - **Legacy path (5.1-L)**: otherwise. Use the original 5.1 / 5.2 / 5.3 flow from above.
 
 Record the chosen path in the TodoWrite list.
@@ -670,7 +670,7 @@ Record the chosen path in the TodoWrite list.
     {
       "kind": "category",
       "category": "quick",
-      "prompt": "You handle mechanical refactoring steps (LSP rename, extract variable, inline, simple move, signature change). Use LSP tools for correctness. Apply the task description's per-step instructions verbatim — no scope expansion. After edits, run lsp_diagnostics on touched files. Report via team_send_message(teamRunId=<id>, to=\"lead\", summary=<files touched>, body=<lsp status + diff summary>) + team_task_update(status=completed). Never run tests — the external verifier handles that. Never git add, never --continue."
+      "prompt": "You handle mechanical refactoring steps (LSP rename, extract variable, inline, simple move, signature change). Use LSP tools for correctness. Apply the task description's per-step instructions verbatim: no scope expansion. After edits, run lsp_diagnostics on touched files. Report via team_send_message(teamRunId=<id>, to=\"lead\", summary=<files touched>, body=<lsp status + diff summary>) + team_task_update(status=completed). Never run tests: the external verifier handles that. Never git add, never --continue."
     },
     { "kind": "category", "category": "quick", "prompt": "Same contract as peer quick worker." },
     {
@@ -685,8 +685,8 @@ Record the chosen path in the TodoWrite list.
 
 Rationale for this composition:
 - **4 workers = team mode's parallel cap.** 5+ just queues.
-- **No verifier team member.** Verification needs \`deep-high\` reasoning (or \`unspecified-high\` fallback). In-team category routing downcasts to the category worker, which is weaker than required — the verifier runs OUTSIDE the team as a \`task(category="deep-high")\`.
-- **quick × 2** for mechanical edits, **unspecified-low × 2** for reasoning edits — mirrors the plan's split.
+- **No verifier team member.** Verification needs \`deep-high\` reasoning (or \`unspecified-high\` fallback). In-team category routing downcasts to the category worker, which is weaker than required: the verifier runs OUTSIDE the team as a \`task(category="deep-high")\`.
+- **quick × 2** for mechanical edits, **unspecified-low × 2** for reasoning edits: mirrors the plan's split.
 
 **Team lifecycle** (one team, reused until Phase 6 cleanup):
 
@@ -714,7 +714,7 @@ Rationale for this composition:
 While any team task is \`pending | claimed | in_progress\`:
 
 - Wait for \`<system-reminder>\` or member messages. Avoid tight polling; a single \`team_status\` check is acceptable if no notification arrives within roughly 10 seconds of expected completion.
-- On a worker completion report, immediately dispatch an **external verifier** — verification runs OUTSIDE the team because team-member category routing downcasts to the category worker:
+- On a worker completion report, immediately dispatch an **external verifier** (verification runs OUTSIDE the team because team-member category routing downcasts to the category worker):
   \`\`\`
   task(
     category="deep-high",
@@ -735,7 +735,7 @@ Proceed to Phase 6 only when every team task is \`completed\` AND every paired v
 
 ## Phase 6 override: Team cleanup before summary
 
-If Phase 5 used the team path, dismantle \`refactor-squad\` BEFORE producing the 6.6 summary. Every exit path — success, escalation, abort — must cleanup; orphan teams poison the next session's precondition check.
+If Phase 5 used the team path, dismantle \`refactor-squad\` BEFORE producing the 6.6 summary. Every exit path (success, escalation, abort) must clean up; orphan teams poison the next session's precondition check.
 
 1. \`team_shutdown_request\` for each member, then \`team_approve_shutdown\` if members do not self-approve within a reasonable window.
 2. \`team_delete(teamRunId=<id>)\`.
@@ -747,9 +747,9 @@ Append to the 6.6 summary a "Dispatch path" line and, when team path was used, t
 
 ## MUST NOT (team mode)
 
-- Lead never edits files directly — orchestrate only.
-- Do not inline the Intent Card or verify-spec into task descriptions — rely on the broadcasts.
+- Lead never edits files directly: orchestrate only.
+- Do not inline the Intent Card or verify-spec into task descriptions: rely on the broadcasts.
 - Do not recreate the team mid-session.
-- Do not run tests from Lead — the external verifier owns that lane.
-- Do not put \`oracle\` / \`librarian\` / \`deep\` into the team spec — curated read-only agents are team-ineligible, and \`deep\` under category routing downcasts to the category worker. Use them via \`task()\` outside the team when needed.
+- Do not run tests from Lead: the external verifier owns that lane.
+- Do not put \`oracle\` / \`librarian\` / a deep lane into the team spec: oracle/librarian are team-ineligible, and a deep lane under category routing downcasts to the category worker. Use them via \`task()\` outside the team when needed.
 `

package/packages/shared-skills/skills/ulw-execute/SKILL.md

@@ -239,7 +239,7 @@ When all top-level checkboxes in `## TODOs` and `## Final Verification Wave` are
 - No production change before the tests covering that behavior were read and a bug's reproduction captured; existing tests are green on the unchanged code first, and one that contradicts the intent is a FINDING, never edited green.
 - No `--dry-run` as completion evidence.
 - No tests-only completion claim. A Manual-QA artifact is required.
-- **NO DIRECT IMPLEMENTATION BY THE ORCHESTRATOR.** Root NEVER edits product files, writes tests, or runs QA itself — a spawned worker does.
+- **NO DIRECT IMPLEMENTATION BY THE ORCHESTRATOR.** Root NEVER edits product files, writes tests, or runs QA itself; a spawned worker does.
 - No completion claim while an applicable ultraqa adversarial class was never probed. Each applicable class needs a captured observable result; each skipped class needs a one-line not-applicable reason in the ledger.
 - No implementation, review, or merge in the main checkout; every phase works in its task-owned worktree.
 - No unprefixed session ids in Boulder state. Sessions are always recorded as `codex:<session_id>`.

package/packages/shared-skills/skills/ulw-research/AGENTS.md

@@ -13,12 +13,13 @@ ulw-research/
 │   ├── deliverable-phase.md         # lanes, state, destination defaults, interview, memory episodes, design spec, gates, repair, manifest, command reference
 │   ├── report-gates.md              # one row per defect code: severity, integrity, what it detects, how to fix
 │   ├── report-visualization.md      # which visual fits which finding, render commands (charts, Mermaid, PlotNeuralNet), quality bar, visual QA checklist
+│   ├── fact-ledger-grammar.md       # the one definition of a valid fact ledger; its per-kind table is rendered from KIND_RULES
 │   └── latex-report.md
 └── scripts/
     ├── report-tools.mjs             # CLI entry + dispatcher (COMMANDS, run, main)
     ├── report-tools-commands.mjs    # one function per subcommand
     ├── cli-support.mjs / entry-guard.mjs   # flags, CliError, exit codes, atomic JSON, symlink-safe entry check
-    ├── contracts.mjs                # frozen vocabulary: DEFECT_CODES (severity lives only here), enums, manifest + repair-state validators
+    ├── contracts.mjs                # frozen vocabulary: DEFECT_CODES (severity lives only here), FIDELITY_CODES, enums, manifest + repair-state validators
     ├── outcome.mjs                  # outcome.json manifest, deliverable state, verify, closing briefing
     ├── repair-tracker.mjs           # bounded repair decisions (attempts, plateau, oscillation, wall clock, integrity codes)
     ├── html-lite.mjs / entities.mjs # HTML tokenizer, selector paths, prose text
@@ -26,13 +27,18 @@ ulw-research/
     ├── gates-static.mjs + gates-text.mjs / gates-figures.mjs / gates-structure.mjs   # static gates G1-G17
     ├── layout-probe.mjs / gates-layout.mjs # in-page probe source + layout gates L1-L5 over its output
     ├── format-extract.mjs / format-extract-css.mjs   # design-spec draft from a pointed-at HTML or Markdown document
+    ├── fact-ledger.mjs              # fact ledger IO and writers (addRow, retractRow, supersedeRow, --view table)
+    ├── fact-ledger-schema.mjs       # ledger vocabulary, validateLedger, the status machine (transitionError) shared with the writers
+    ├── fact-ledger-kinds.mjs        # KIND_RULES: every per-kind column rule; drives the validator, renders the grammar table (--render-grammar)
+    ├── claims-index.mjs             # claim-graph.md index: the claim table plus the verified-claims digest
+    ├── fidelity-state.mjs           # per-sentence failure counts for the fidelity repair loop
     ├── *.test.ts                    # co-located bun tests, one per module (unshipped)
     └── tests/fixtures/              # good/bad reports, boxes.json, reference docs (unshipped)
 ```
 
 ## SURFACE
 
-`node "$SKILL_DIR/scripts/report-tools.mjs" <command>`: `check`, `layout-probe`, `repair decide`, `outcome init`, `outcome set`, `outcome gate`, `outcome render`, `outcome state`, `outcome verify`, `outcome finish`, `outcome briefing`, `format-extract`, `--help --json`. Exit codes: `0` pass, `1` semantic failure (blockers, a failed verify, a blocked repair), `2` usage or IO. JSON on stdout, one summary line on stderr. Flags per command: `references/deliverable-phase.md` section 10.
+`node "$SKILL_DIR/scripts/report-tools.mjs" <command>`: `check`, `layout-probe`, `repair decide`, `outcome init`, `outcome set`, `outcome gate`, `outcome render`, `outcome state`, `outcome verify`, `outcome finish`, `outcome briefing`, `format-extract`, `--help --json`. Gates recorded by `outcome gate`, in order: `static`, `fidelity`, `layout`, `visual`, `proofread` (`fidelity` is recorded `not_run` until the fidelity verifier ships). Exit codes: `0` pass, `1` semantic failure (blockers, a failed verify, a blocked repair), `2` usage or IO. JSON on stdout, one summary line on stderr. Flags per command: `references/deliverable-phase.md` section 10.
 
 ## CONVENTIONS
 
@@ -41,7 +47,7 @@ ulw-research/
 - The CLI never launches a browser. The layout probe is printed as one async expression; the orchestrator evaluates it through the browser skill's owned headless engine and passes the result back with `check --layout`.
 - Time is always injected (`--now`, `startedAt`); no module reads the clock inside a decision.
 - Tests are co-located given/when/then bun tests; CLI tests spawn `node` with bun removed from `PATH`. Fixtures live only under `scripts/tests/fixtures/`, are depersonalized, and never ship.
-- The senpi source dir (`packages/omo-senpi/skills/ulw-research/`) intentionally has no `scripts/`, `references/report-gates.md`, `references/deliverable-phase.md`, or `references/report-visualization.md`: the senpi sync overlays them from here byte-for-byte (`sharedAssets` in `packages/omo-senpi/plugin/scripts/native-skill-sources.mjs`), and both editions' sync suites assert the shipped copies equal these sources.
+- The senpi source dir (`packages/omo-senpi/skills/ulw-research/`) intentionally has no `scripts/`, `references/report-gates.md`, `references/deliverable-phase.md`, `references/report-visualization.md`, or `references/fact-ledger-grammar.md`: the senpi sync overlays them from here byte-for-byte (`sharedAssets` in `packages/omo-senpi/plugin/scripts/native-skill-sources.mjs`), and both editions' sync suites assert the shipped copies equal these sources.
 - References and scripts carry no Hangul (Korean match strings are `\u` escapes) and never three consecutive newlines (the senpi sync normalizes those and would break byte equality).
 
 ## ANTI-PATTERNS