@sha3/code 1.0.0

package/resources/ai/rule-catalog.json

@@ -0,0 +1,878 @@
+{
+  "version": "v2",
+  "rules": [
+    {
+      "id": "single-return",
+      "title": "Single Return",
+      "summary": "Functions and methods outside src/http/ must use a single return statement.",
+      "severity": "error",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts", "!src/http/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["source-rule-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": ["ai/examples/rules/returns-good.ts"], "bad": ["ai/examples/rules/returns-bad.ts"] },
+      "profileOverrides": [{ "key": "return_policy", "equals": "single_return_strict_no_exceptions" }]
+    },
+    {
+      "id": "async-await-only",
+      "title": "Async Await Only",
+      "summary": "Asynchronous code in src/ must use async/await instead of promise chains.",
+      "severity": "error",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["source-rule-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": ["ai/examples/rules/async-good.ts"], "bad": ["ai/examples/rules/async-bad.ts"] },
+      "profileOverrides": [{ "key": "async_style", "equals": "async_await_only" }]
+    },
+    {
+      "id": "one-public-class-per-file",
+      "title": "One Public Class Per File",
+      "summary": "Each source file may expose at most one public class.",
+      "severity": "error",
+      "kind": "architecture",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["source-rule-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": ["ai/examples/rules/class-first-good.ts"], "bad": ["ai/examples/rules/class-first-bad.ts"] },
+      "profileOverrides": [{ "key": "class_file_policy", "equals": "one_public_class_per_file" }]
+    },
+    {
+      "id": "feature-class-only",
+      "title": "Feature Files Are Class Files",
+      "summary": "Files inside src/<feature>/ must expose exactly one public class, except .types.ts files.",
+      "severity": "error",
+      "kind": "architecture",
+      "appliesTo": ["src/*/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["source-rule-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": ["ai/examples/demo/src/invoice/invoice.service.ts"], "bad": ["ai/examples/rules/class-first-bad.ts"] },
+      "profileOverrides": [{ "key": "paradigm", "equals": "class-first" }]
+    },
+    {
+      "id": "class-section-order",
+      "title": "Class Section Order",
+      "summary": "Files that expose a public class must include valid ordered @section markers, omit empty section blocks, and keep @section class directly above export class with no intervening comments.",
+      "severity": "error",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "text",
+      "implementedBy": ["source-rule-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": {
+        "good": ["ai/examples/rules/class-first-good.ts", "ai/examples/rules/constructor-good.ts"],
+        "bad": ["ai/examples/rules/class-first-bad.ts", "ai/examples/rules/constructor-bad.ts"]
+      },
+      "profileOverrides": [{ "key": "paradigm", "equals": "class-first" }]
+    },
+    {
+      "id": "canonical-config-import",
+      "title": "Canonical Config Import",
+      "summary": "Imports of config.ts must use the config identifier and include the .ts extension.",
+      "severity": "error",
+      "kind": "architecture",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["source-rule-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": ["ai/examples/demo/src/billing/billing.service.ts", "ai/examples/demo/src/invoice/invoice.service.ts"], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "domain-specific-identifiers",
+      "title": "Domain Specific Identifiers",
+      "summary": "New identifiers must avoid generic names such as data, obj, tmp, val, thing, helper, utils, and common.",
+      "severity": "error",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts", "test/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["source-rule-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": ["ai/examples/rules/functions-good.ts"], "bad": ["ai/examples/rules/functions-bad.ts"] },
+      "profileOverrides": []
+    },
+    {
+      "id": "boolean-prefix",
+      "title": "Boolean Prefix",
+      "summary": "Boolean variables and properties must start with is, has, can, or should.",
+      "severity": "error",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts", "test/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["source-rule-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": ["ai/examples/rules/functions-good.ts"], "bad": ["ai/examples/rules/functions-bad.ts"] },
+      "profileOverrides": []
+    },
+    {
+      "id": "feature-filename-role",
+      "title": "Feature File Naming",
+      "summary": "Feature files must use the feature name plus an explicit role suffix such as .service.ts or .types.ts.",
+      "severity": "error",
+      "kind": "architecture",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "filesystem",
+      "implementedBy": ["source-rule-verifier", "project-layout-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": {
+        "good": ["ai/examples/demo/src/invoice/invoice.service.ts", "ai/examples/demo/src/invoice/invoice.types.ts"],
+        "bad": ["ai/examples/rules/class-first-bad.ts"]
+      },
+      "profileOverrides": [{ "key": "architecture", "equals": "feature_folders" }]
+    },
+    {
+      "id": "no-module-functions-in-class-files",
+      "title": "No Module Functions In Class Files",
+      "summary": "Files that expose a public class must not keep helper functions at module scope; that logic must live inside the class as private or static methods.",
+      "severity": "error",
+      "kind": "architecture",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["source-rule-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": [{ "key": "paradigm", "equals": "class-first" }]
+    },
+    {
+      "id": "typescript-only",
+      "title": "TypeScript Only",
+      "summary": "Implementation and test code must stay in TypeScript files only.",
+      "severity": "error",
+      "kind": "style",
+      "appliesTo": ["src/**/*", "test/**/*"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "filesystem",
+      "implementedBy": ["project-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify", "biome"],
+      "examples": { "good": ["ai/examples/rules/functions-good.ts"], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "kebab-case-paths",
+      "title": "Kebab Case Paths",
+      "summary": "Source and test paths must use kebab-case names for files and directories unless explicitly reserved.",
+      "severity": "error",
+      "kind": "style",
+      "appliesTo": ["src/**/*", "test/**/*"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "filesystem",
+      "implementedBy": ["project-layout-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "singular-feature-folders",
+      "title": "Singular Feature Folders",
+      "summary": "Feature folder names under src/ must be singular unless they are reserved structural folders.",
+      "severity": "error",
+      "kind": "architecture",
+      "appliesTo": ["src/*"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "filesystem",
+      "implementedBy": ["project-layout-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": [{ "key": "architecture", "equals": "feature_folders" }]
+    },
+    {
+      "id": "test-file-naming",
+      "title": "Test File Naming",
+      "summary": "Tests must live under test/ and use the .test.ts suffix.",
+      "severity": "error",
+      "kind": "testing",
+      "appliesTo": ["test/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "filesystem",
+      "implementedBy": ["project-layout-verifier", "testing-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "module-constant-case",
+      "title": "Module Constant Case",
+      "summary": "Module-level constants must use SCREAMING_SNAKE_CASE except for the canonical config and logger exports.",
+      "severity": "error",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts", "test/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["typescript-style-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "local-constant-case",
+      "title": "Local Constant Case",
+      "summary": "Local constants must use camelCase names.",
+      "severity": "error",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts", "test/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["typescript-style-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "config-default-export-name",
+      "title": "Config Default Export Name",
+      "summary": "src/config.ts must export a default object named config.",
+      "severity": "error",
+      "kind": "architecture",
+      "appliesTo": ["src/config.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["typescript-style-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": ["ai/examples/demo/src/config.ts"], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "no-any",
+      "title": "No Any",
+      "summary": "Explicit any is forbidden in source and tests.",
+      "severity": "error",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts", "test/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["typescript-style-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "explicit-export-return-types",
+      "title": "Explicit Export Return Types",
+      "summary": "Exported functions and public methods of exported classes must declare explicit return types.",
+      "severity": "error",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["typescript-style-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "type-only-imports",
+      "title": "Type-only Imports",
+      "summary": "Imports used only in type positions must use import type.",
+      "severity": "error",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts", "test/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "combined",
+      "implementedBy": ["typescript-style-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "prefer-types-over-interfaces",
+      "title": "Prefer Types Over Interfaces",
+      "summary": "Interfaces are forbidden for local modeling unless they are part of the public contract exported from src/index.ts.",
+      "severity": "error",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "combined",
+      "implementedBy": ["typescript-style-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": [{ "key": "type_contract_policy", "equals": "prefer_types_over_interfaces" }]
+    },
+    {
+      "id": "control-flow-braces",
+      "title": "Control Flow Braces",
+      "summary": "if, else, for, while, and do blocks must always use braces.",
+      "severity": "error",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts", "test/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["typescript-style-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": ["ai/examples/rules/control-flow-good.ts"], "bad": ["ai/examples/rules/control-flow-bad.ts"] },
+      "profileOverrides": [{ "key": "if_requires_braces", "equals": true }]
+    },
+    {
+      "id": "concise-simple-callbacks",
+      "title": "Concise Simple Callbacks",
+      "summary": "Prefer concise arrow callbacks when Biome already keeps them concise; do not rewrite formatter-stable block callbacks just for style.",
+      "severity": "warning",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts", "test/**/*.ts"],
+      "deterministic": false,
+      "verificationMode": "heuristic",
+      "verificationSource": "combined",
+      "implementedBy": ["policy-guidance"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["guidance"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "compact-single-line-constructs",
+      "title": "Compact Single Line Constructs",
+      "summary": "Prefer compact layouts, but let Biome decide final wrapping instead of forcing single-line constructs the formatter keeps multiline.",
+      "severity": "warning",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts", "test/**/*.ts"],
+      "deterministic": false,
+      "verificationMode": "heuristic",
+      "verificationSource": "combined",
+      "implementedBy": ["policy-guidance"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["guidance"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "feature-first-layout",
+      "title": "Feature First Layout",
+      "summary": "Projects with feature modules must keep domain code under feature folders instead of mixing flat modules at src/ root.",
+      "severity": "warning",
+      "kind": "architecture",
+      "appliesTo": ["src/**/*"],
+      "deterministic": false,
+      "verificationMode": "heuristic",
+      "verificationSource": "filesystem",
+      "implementedBy": ["project-layout-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": [{ "key": "architecture", "equals": "feature_folders" }]
+    },
+    {
+      "id": "restricted-shared-boundaries",
+      "title": "Restricted Shared Boundaries",
+      "summary": "src/app and src/shared should exist only when real composition or cross-feature sharing justifies them.",
+      "severity": "warning",
+      "kind": "architecture",
+      "appliesTo": ["src/app/**", "src/shared/**"],
+      "deterministic": false,
+      "verificationMode": "heuristic",
+      "verificationSource": "combined",
+      "implementedBy": ["project-layout-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "cross-feature-entrypoint-imports",
+      "title": "Cross Feature Entrypoint Imports",
+      "summary": "Cross-feature imports must go through an explicit feature entrypoint rather than another feature's internal file.",
+      "severity": "error",
+      "kind": "architecture",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "combined",
+      "implementedBy": ["project-layout-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "types-file-justification",
+      "title": "Types File Justification",
+      "summary": "Dedicated .types.ts files should only exist when they contain substantial shared feature types.",
+      "severity": "warning",
+      "kind": "architecture",
+      "appliesTo": ["src/**/*.types.ts"],
+      "deterministic": false,
+      "verificationMode": "heuristic",
+      "verificationSource": "combined",
+      "implementedBy": ["project-layout-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "ambiguous-feature-filenames",
+      "title": "Ambiguous Feature Filenames",
+      "summary": "Feature code must not use ambiguous file names such as helpers.ts, utils.ts, or common.ts.",
+      "severity": "error",
+      "kind": "architecture",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "filesystem",
+      "implementedBy": ["project-layout-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "plain-error-default",
+      "title": "Plain Error Default",
+      "summary": "Plain Error must be used by default; custom error types require a real control-flow consumer.",
+      "severity": "warning",
+      "kind": "workflow",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": false,
+      "verificationMode": "heuristic",
+      "verificationSource": "combined",
+      "implementedBy": ["policy-guidance"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["guidance"],
+      "examples": { "good": ["ai/examples/rules/errors-good.ts"], "bad": ["ai/examples/rules/errors-bad.ts"] },
+      "profileOverrides": []
+    },
+    {
+      "id": "typed-error-must-be-used",
+      "title": "Typed Error Must Be Used",
+      "summary": "Custom error types must be consumed by logic that distinguishes them from plain failures.",
+      "severity": "error",
+      "kind": "workflow",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "combined",
+      "implementedBy": ["error-handling-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": ["ai/examples/rules/errors-good.ts"], "bad": ["ai/examples/rules/errors-bad.ts"] },
+      "profileOverrides": []
+    },
+    {
+      "id": "no-silent-catch",
+      "title": "No Silent Catch",
+      "summary": "Catch blocks must rethrow, transform, or report errors instead of silently swallowing them; reporting currently means throw, console.warn, console.error, or promise-style .catch handling.",
+      "severity": "error",
+      "kind": "workflow",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["error-handling-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": ["ai/examples/rules/errors-good.ts"], "bad": ["ai/examples/rules/errors-bad.ts"] },
+      "profileOverrides": []
+    },
+    {
+      "id": "actionable-error-messages",
+      "title": "Actionable Error Messages",
+      "summary": "Error messages should include actionable context rather than empty or generic text.",
+      "severity": "warning",
+      "kind": "workflow",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": false,
+      "verificationMode": "heuristic",
+      "verificationSource": "ast",
+      "implementedBy": ["error-handling-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["verify"],
+      "examples": { "good": ["ai/examples/rules/errors-good.ts"], "bad": ["ai/examples/rules/errors-bad.ts"] },
+      "profileOverrides": []
+    },
+    {
+      "id": "managed-files-read-only",
+      "title": "Managed Files Are Read Only",
+      "summary": "Managed contract and tooling files must not be edited during normal feature work.",
+      "severity": "audit",
+      "kind": "workflow",
+      "appliesTo": ["AGENTS.md", "ai/*.md", "ai/contract.json", "tooling config files"],
+      "deterministic": false,
+      "verificationMode": "audit",
+      "verificationSource": "git-diff",
+      "implementedBy": ["change-audit-verifier"],
+      "requiresContext": "changed-files",
+      "confidence": "medium",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "behavior-change-tests",
+      "title": "Behavior Changes Need Tests",
+      "summary": "Behavior changes must update or add tests, and tests should focus on observable behavior.",
+      "severity": "audit",
+      "kind": "testing",
+      "appliesTo": ["src/**/*.ts", "test/**/*.ts"],
+      "deterministic": false,
+      "verificationMode": "audit",
+      "verificationSource": "git-diff",
+      "implementedBy": ["testing-verifier"],
+      "requiresContext": "changed-files",
+      "confidence": "medium",
+      "enforcedBy": ["verify"],
+      "examples": { "good": ["ai/examples/rules/testing-good.ts"], "bad": ["ai/examples/rules/testing-bad.ts"] },
+      "profileOverrides": [{ "key": "testing_policy", "equals": "tests_required_for_behavior_change" }]
+    },
+    {
+      "id": "node-test-runner-only",
+      "title": "Node Test Runner Only",
+      "summary": "Test files must use node:test instead of alternative runners.",
+      "severity": "error",
+      "kind": "testing",
+      "appliesTo": ["test/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["testing-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "assert-strict-preferred",
+      "title": "Assert Strict Preferred",
+      "summary": "Tests must use node:assert/strict for assertions.",
+      "severity": "error",
+      "kind": "testing",
+      "appliesTo": ["test/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "ast",
+      "implementedBy": ["testing-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "no-ts-ignore-bypass",
+      "title": "No TS Ignore Bypass",
+      "summary": "TypeScript and Biome ignore directives must not be used to bypass real issues in source or tests.",
+      "severity": "error",
+      "kind": "testing",
+      "appliesTo": ["src/**/*.ts", "test/**/*.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "text",
+      "implementedBy": ["testing-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "test-determinism-guards",
+      "title": "Test Determinism Guards",
+      "summary": "Tests should avoid uncontrolled time, randomness, real network calls, and un-restored process.env mutation.",
+      "severity": "warning",
+      "kind": "testing",
+      "appliesTo": ["test/**/*.ts"],
+      "deterministic": false,
+      "verificationMode": "heuristic",
+      "verificationSource": "combined",
+      "implementedBy": ["testing-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "readme-sections",
+      "title": "README Required Sections",
+      "summary": "README.md must keep the required sections for setup, API, config, troubleshooting, and AI workflow.",
+      "severity": "error",
+      "kind": "documentation",
+      "appliesTo": ["README.md"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "readme",
+      "implementedBy": ["readme-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "readme-no-placeholder-language",
+      "title": "README No Placeholder Language",
+      "summary": "README content must not look like a scaffold placeholder or contain TODO-style filler text.",
+      "severity": "warning",
+      "kind": "documentation",
+      "appliesTo": ["README.md"],
+      "deterministic": false,
+      "verificationMode": "heuristic",
+      "verificationSource": "readme",
+      "implementedBy": ["readme-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "readme-config-coverage",
+      "title": "README Config Coverage",
+      "summary": "README must document each top-level configuration key exposed from src/config.ts.",
+      "severity": "error",
+      "kind": "documentation",
+      "appliesTo": ["README.md", "src/config.ts"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "combined",
+      "implementedBy": ["readme-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "readme-runnable-examples",
+      "title": "README Runnable Examples",
+      "summary": "README must include plausible runnable code or command examples instead of abstract placeholders.",
+      "severity": "warning",
+      "kind": "documentation",
+      "appliesTo": ["README.md"],
+      "deterministic": false,
+      "verificationMode": "heuristic",
+      "verificationSource": "readme",
+      "implementedBy": ["readme-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "required-scripts",
+      "title": "Required Scripts",
+      "summary": "Generated projects must expose the required standards, lint, format, typecheck, test, and check scripts.",
+      "severity": "error",
+      "kind": "workflow",
+      "appliesTo": ["package.json"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "package-json",
+      "implementedBy": ["tooling-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "standards-check-script",
+      "title": "Standards Check Script",
+      "summary": "npm run standards:check must execute code-standards verify.",
+      "severity": "error",
+      "kind": "workflow",
+      "appliesTo": ["package.json"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "package-json",
+      "implementedBy": ["tooling-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "package-exports-alignment",
+      "title": "Package Exports Alignment",
+      "summary": "Generated projects must stay aligned with @sha3/code biome and tsconfig exports.",
+      "severity": "error",
+      "kind": "workflow",
+      "appliesTo": ["package.json", "biome.json", "tsconfig.json"],
+      "deterministic": true,
+      "verificationMode": "deterministic",
+      "verificationSource": "combined",
+      "implementedBy": ["tooling-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "high",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "simplicity-audit",
+      "title": "Simplicity Audit",
+      "summary": "Projects should avoid needless layers, wrappers, and extra files when a smaller direct implementation would suffice.",
+      "severity": "audit",
+      "kind": "architecture",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": false,
+      "verificationMode": "audit",
+      "verificationSource": "combined",
+      "implementedBy": ["policy-guidance"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["guidance"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "no-speculative-abstractions",
+      "title": "No Speculative Abstractions",
+      "summary": "Factories, options types, wrappers, and helper layers should not exist without a real current consumer or complexity reduction.",
+      "severity": "warning",
+      "kind": "architecture",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": false,
+      "verificationMode": "heuristic",
+      "verificationSource": "combined",
+      "implementedBy": ["policy-guidance"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["guidance"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "single-responsibility-heuristic",
+      "title": "Single Responsibility Heuristic",
+      "summary": "Long functions and methods should be split when they appear to mix multiple responsibilities.",
+      "severity": "warning",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": false,
+      "verificationMode": "heuristic",
+      "verificationSource": "ast",
+      "implementedBy": ["typescript-style-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": [{ "key": "function_size_policy", "equals": "max_30_lines_soft" }]
+    },
+    {
+      "id": "large-class-heuristic",
+      "title": "Large Class Heuristic",
+      "summary": "Very large classes should be decomposed into smaller cohesive units instead of accumulating unrelated responsibilities in one file.",
+      "severity": "warning",
+      "kind": "architecture",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": false,
+      "verificationMode": "heuristic",
+      "verificationSource": "ast",
+      "implementedBy": ["typescript-style-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": []
+    },
+    {
+      "id": "comments-policy-audit",
+      "title": "Comments Policy Audit",
+      "summary": "Non-trivial logic should include explicit comments when the profile requires extensive comments.",
+      "severity": "audit",
+      "kind": "style",
+      "appliesTo": ["src/**/*.ts"],
+      "deterministic": false,
+      "verificationMode": "audit",
+      "verificationSource": "combined",
+      "implementedBy": ["typescript-style-verifier"],
+      "requiresContext": "full-project",
+      "confidence": "medium",
+      "enforcedBy": ["verify"],
+      "examples": { "good": [], "bad": [] },
+      "profileOverrides": [{ "key": "comments_policy", "equals": "extensive" }]
+    }
+  ]
+}