@krizaka/config 0.8.1 → 0.9.0

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@krizaka/config",
-  "version": "0.8.1",
-  "description": "The shared configuration of every Krizaka JavaScript repository: ESLint flat configs (base, Next.js, the four UI rules, the stack rules, no locale ternary), the « Krizaka first » covered-domains map and the dependency-cruiser preset generated from it (refused imports, cycles, unresolvable imports, dev dependencies), tsconfig bases, Prettier, EditorConfig, and the krizaka-ratchet and krizaka-known-violations debt counters.",
+  "version": "0.9.0",
+  "description": "The shared configuration of every Krizaka JavaScript repository: ESLint flat configs (base, Next.js, the four UI rules, the three stack rules, no locale ternary), the dependency-cruiser boundary, tsconfig bases, Prettier, EditorConfig, and the krizaka-ratchet debt counter.",
   "keywords": [
     "krizaka",
     "eslint-config",
@@ -10,14 +10,13 @@
     "ratchet",
     "design-system",
     "dependency-cruiser",
-    "tanstack",
-    "krizaka-first"
+    "tanstack"
   ],
-  "homepage": "https://ts.krizaka.com/config",
-  "bugs": "https://github.com/krizaka/krizaka-ts/issues",
+  "homepage": "https://ui.krizaka.com/packages/config",
+  "bugs": "https://github.com/krizaka/krizaka-ui/issues",
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/krizaka/krizaka-ts.git",
+    "url": "git+https://github.com/krizaka/krizaka-ui.git",
     "directory": "packages/config"
   },
   "license": "Apache-2.0",
@@ -33,9 +32,6 @@
     "./eslint/env-names": "./eslint/env-names.js",
     "./eslint/plugin": "./eslint/plugin.js",
     "./dependency-cruiser": "./dependency-cruiser.cjs",
-    "./covered-domains": "./covered-domains.cjs",
-    "./covered-domains.json": "./covered-domains.json",
-    "./known-violations": "./ratchet/known-violations.js",
     "./patterns": "./patterns.js",
     "./ratchet": "./ratchet/ratchet.js",
     "./prettier": "./prettier.config.js",
@@ -44,21 +40,20 @@
     "./tsconfig/next.json": "./tsconfig/next.json",
     "./tsconfig/react-native.json": "./tsconfig/react-native.json",
     "./editorconfig": "./.editorconfig",
-    "./package.json": "./package.json"
+    "./package.json": "./package.json",
+    "./conformance/account-baseline": "./conformance/account-baseline.js"
   },
   "bin": {
-    "krizaka-ratchet": "./bin/krizaka-ratchet.mjs",
-    "krizaka-known-violations": "./bin/krizaka-known-violations.mjs"
+    "krizaka-ratchet": "./bin/krizaka-ratchet.mjs"
   },
   "files": [
     "bin",
+    "conformance",
     "eslint",
     "ratchet",
     "tsconfig",
     "patterns.js",
     "dependency-cruiser.cjs",
-    "covered-domains.cjs",
-    "covered-domains.json",
     "prettier.config.js",
     ".editorconfig",
     "README.md",
@@ -66,13 +61,12 @@
   ],
   "sideEffects": false,
   "dependencies": {
-    "@eslint/js": "^9.39.0 || ^10.0.0",
-    "dependency-cruiser": "^18.6.0",
+    "@eslint/js": "^10.0.1",
     "eslint-plugin-react-hooks": "^7.1.1",
     "eslint-plugin-simple-import-sort": "^14.0.0",
     "globals": "^17.13.0",
     "tinyglobby": "^0.2.17",
-    "typescript-eslint": "^8.71.1"
+    "typescript-eslint": "^8.72.0"
   },
   "peerDependencies": {
     "eslint": "^9 || ^10",
@@ -92,14 +86,15 @@
     "@size-limit/file": "^14.2.0",
     "@types/estree": "^1.0.8",
     "@types/node": "^22.15.0",
+    "dependency-cruiser": "^18.7.0",
     "eslint": "^9.39.0",
-    "eslint-config-next": "^16.4.0",
-    "next": "^16.4.1",
-    "prettier": "^3.9.9",
+    "eslint-config-next": "^16.4.2",
+    "next": "^16.4.2",
+    "prettier": "^3.9.10",
     "publint": "^0.3.25",
     "size-limit": "^14.2.0",
     "typescript": "^5.9.0",
-    "vitest": "^4.1.11"
+    "vitest": "^5.0.5"
   },
   "engines": {
     "node": ">=22"
@@ -115,7 +110,7 @@
         "ratchet/ratchet.js",
         "patterns.js"
       ],
-      "limit": "9 kB",
+      "limit": "12.5 kB",
       "gzip": true
     }
   ],
@@ -124,7 +119,6 @@
     "typecheck": "tsc --noEmit",
     "test": "vitest run",
     "size": "size-limit",
-    "publint": "publint",
-    "check": "pnpm run lint && pnpm run test && pnpm run size && pnpm run publint"
+    "publint": "publint"
   }
 }

package/patterns.js

@@ -48,6 +48,149 @@ export const FETCH_CALL_SOURCE = String.raw`\b(?:fetch|krizakaFetch)\s*\(`;
 export const EFFECT_NAMES_SOURCE = "^use(Layout)?Effect$";
 export const FETCH_NAMES_SOURCE = "^(fetch|krizakaFetch)$";
 
+// ── Effects are for the outside world (Oussama, 2026-10-27: « bug à adresser partout ») ─────────────────────────────
+// Standard: krizaka/.github docs/standards/react-effects.md. Read by the rules `krizaka/no-async-in-effect` and
+// `krizaka/no-derived-state-in-effect` (eslint/rules.js) and by the ratchet, through `effectProblem`.
+
+/** What makes an effect load data: an await, `.then(`, `fetch(`, a Tauri `invoke(`, `api.x(`, `fooClient.x(`. */
+export const ASYNC_EFFECT_SOURCE = String.raw`\bawait\b|\.then\s*\(|\b(?:fetch|krizakaFetch|invoke)\s*\(|\bapi\.\w+|\b\w*Client\.\w+\s*\(`;
+
+/** A subscription to a system that pushes events: its callback may be async, the cleanup undoes it. */
+export const SUBSCRIBE_EFFECT_SOURCE = String.raw`\b(?:listen|once|on|addEventListener|subscribe|addListener|new\s+(?:WebSocket|EventSource|ResizeObserver|IntersectionObserver|MutationObserver|BroadcastChannel)|\w+\.on|\w+\.on[A-Z]\w*)\s*(?:<[^()]*>)?\s*\(`;
+
+/**
+ * Text with its strings, template literals and comments blanked (same length), so a keyword in a string is not read.
+ * @param {string} source
+ * @returns {string}
+ */
+export function blankStrings(source) {
+  let out = "";
+  let i = 0;
+  while (i < source.length) {
+    const [blanked, next] = blankedAt(source, i);
+    out += blanked;
+    i = next;
+  }
+  return out;
+}
+
+/**
+ * What `source` holds at `i` once blanked, and where the text goes on: a string or template literal keeps its quotes, a
+ * comment is spaces (newlines kept), any other character is itself.
+ * @param {string} source
+ * @param {number} i
+ * @returns {[string, number]}
+ */
+function blankedAt(source, i) {
+  const c = source[i];
+  if (c === '"' || c === "'" || c === "`") {
+    let j = i + 1;
+    for (; j < source.length && source[j] !== c; j += 1) if (source[j] === "\\") j += 1;
+    return [c + " ".repeat(Math.max(0, j - i - 1)) + c, j + 1];
+  }
+  if (c === "/" && source[i + 1] === "/") {
+    const end = source.indexOf("\n", i);
+    const stop = end < 0 ? source.length : end;
+    return [" ".repeat(stop - i), stop];
+  }
+  if (c === "/" && source[i + 1] === "*") {
+    const end = source.indexOf("*/", i + 2);
+    const stop = end < 0 ? source.length : end + 2;
+    return [source.slice(i, stop).replace(/[^\n]/g, " "), stop];
+  }
+  return [c ?? "", i + 1];
+}
+
+/**
+ * An effect callback without its signature (`() =>`, `async () =>`, `function () `, `cb =>`): what is left is its body.
+ * Scanned, not matched by a regular expression, so no input makes it slow.
+ * @param {string} callback
+ * @returns {string}
+ */
+function withoutSignature(callback) {
+  let i = 0;
+  const skipSpace = () => {
+    while (i < callback.length && /\s/.test(/** @type {string} */ (callback[i]))) i += 1;
+  };
+  skipSpace();
+  if (callback.startsWith("async", i) && /\s/.test(callback[i + 5] ?? "")) {
+    i += 5;
+    skipSpace();
+  }
+  const isFunction = callback.startsWith("function", i);
+  if (isFunction) {
+    i += 8;
+    while (i < callback.length && callback[i] !== "(") i += 1;
+  }
+  if (callback[i] === "(") {
+    const close = callback.indexOf(")", i);
+    if (close < 0) return callback;
+    i = close + 1;
+  } else if (!isFunction) {
+    while (i < callback.length && /\w/.test(/** @type {string} */ (callback[i]))) i += 1;
+  }
+  const afterParams = i;
+  skipSpace();
+  if (callback.startsWith("=>", i)) return callback.slice(i + 2);
+  return isFunction ? callback.slice(afterParams) : callback;
+}
+
+/**
+ * The callback of an effect call without the dependency array that follows it (`cb, [a, b]`).
+ * @param {string} args the balanced arguments of `useEffect(…)`
+ * @returns {string}
+ */
+export function withoutDependencyArray(args) {
+  let end = args.trimEnd();
+  if (end.endsWith(",")) end = end.slice(0, -1).trimEnd();
+  if (!end.endsWith("]")) return args;
+  const open = end.lastIndexOf("[");
+  if (open < 0) return args;
+  const before = end.slice(0, open).trimEnd();
+  return before.endsWith(",") ? before.slice(0, -1) : args;
+}
+
+/**
+ * Removes every `setX(…)` call (balanced) from a blanked text.
+ * @param {string} text
+ * @returns {{ rest: string, found: number }}
+ */
+function withoutSetStateCalls(text) {
+  let out = "";
+  let found = 0;
+  const re = /\bset[A-Z]\w*\s*\(/g;
+  let last = 0;
+  for (let m = re.exec(text); m; m = re.exec(text)) {
+    const open = m.index + m[0].length - 1;
+    const inner = balancedArguments(text, open);
+    out += text.slice(last, m.index);
+    last = open + inner.length + 2;
+    re.lastIndex = last;
+    found += 1;
+  }
+  return { rest: out + text.slice(last), found };
+}
+
+/**
+ * What an effect body is wrong about: `"async"` (it loads data — use `useQuery` / `useMutation`) or `"derived"` (its
+ * only statements are `setX(…)` calls — compute the value in render, or reset with a `key`), else null.
+ * A subscribe-and-cleanup effect (a push source and a `return` that undoes it) is the legitimate use and is never wrong.
+ * @param {string} body the text of the effect callback (with or without its braces)
+ * @returns {"async" | "derived" | null}
+ */
+export function effectProblem(body) {
+  // the ratchet passes the whole callback (`() => { … }`), the ESLint rule its body: strip the signature
+  const text = withoutSignature(blankStrings(body));
+  // an expression body (`() => session.onChange(…)`) returns its cleanup as well as a block that says `return`
+  const returnsCleanup = /\breturn\b/.test(text) || !/^\s*\{/.test(text);
+  if (new RegExp(SUBSCRIBE_EFFECT_SOURCE).test(text) && returnsCleanup) return null;
+  if (new RegExp(ASYNC_EFFECT_SOURCE).test(text)) return "async";
+  const { rest, found } = withoutSetStateCalls(text);
+  if (found === 0) return null;
+  const leftover = rest.replace(/\b(?:if|else)\b/g, "").replace(/\([^()]*(?:\([^()]*\)[^()]*)*\)/g, "").replace(/[\s;{}]/g, "");
+  return leftover === "" ? "derived" : null;
+}
+
 /** The headless engines that only enter through a `@krizaka/*` package. */
 export const TANSTACK_SCOPE = "@tanstack/";
 
@@ -102,40 +245,20 @@ export function balancedArguments(source, open) {
   let depth = 0;
   for (let i = open; i < source.length; i += 1) {
     const c = source[i];
-    const skipped = skipLiteralOrComment(source, i);
-    if (skipped === null) break;
-    if (skipped > i) i = skipped;
-    else if (c === "(") depth += 1;
+    if (c === '"' || c === "'" || c === "`") {
+      for (i += 1; i < source.length && source[i] !== c; i += 1) if (source[i] === "\\") i += 1;
+    } else if (c === "/" && source[i + 1] === "/") {
+      i = source.indexOf("\n", i);
+      if (i < 0) break;
+    } else if (c === "/" && source[i + 1] === "*") {
+      i = source.indexOf("*/", i + 2) + 1;
+      if (i <= 0) break;
+    } else if (c === "(") depth += 1;
     else if (c === ")" && --depth === 0) return source.slice(open + 1, i);
   }
   return source.slice(open + 1);
 }
 
-/**
- * Where a string, template or comment that starts at `i` ends (the index of its last character), `i` itself when none starts
- * there, null when a line comment or a block comment never ends.
- * @param {string} source
- * @param {number} i
- * @returns {number | null}
- */
-function skipLiteralOrComment(source, i) {
-  const c = source[i];
-  if (c === '"' || c === "'" || c === "`") {
-    let end = i + 1;
-    while (end < source.length && source[end] !== c) end += source[end] === "\\" ? 2 : 1;
-    return end;
-  }
-  if (c === "/" && source[i + 1] === "/") {
-    const end = source.indexOf("\n", i);
-    return end < 0 ? null : end;
-  }
-  if (c === "/" && source[i + 1] === "*") {
-    const end = source.indexOf("*/", i + 2);
-    return end < 0 ? null : end + 1;
-  }
-  return i;
-}
-
 // ── Selections live in the URL (Oussama, 2026-10-22: « changer les tabs doit changer les routes ») ──────────────────────
 // Read by the ESLint rule krizaka/route-state-selection and by the ratchet.
 
@@ -189,3 +312,63 @@ export function isLocalSelection(tag, before = "") {
   if (new RegExp(EPHEMERAL_SOURCE).test(tag) || new RegExp(EPHEMERAL_SOURCE).test(before)) return false;
   return LOCAL_SELECTION_PROPS.some((prop) => new RegExp(`\\b${prop}\\s*=`).test(tag));
 }
+
+// ── Every page declares its template (Oussama, 2026-10-22: sessions hand-built pages instead of composing Krizaka UI) ──────
+// Read by the ESLint rule krizaka/page-template and by the ratchet.
+
+/** The page templates of @krizaka/ui (ui.krizaka.com/templates): the site's, then the app's; `redirect` is an address kept for old links. */
+export const PAGE_TEMPLATES = Object.freeze([
+  "landing",
+  "product",
+  "how-it-works",
+  "gallery",
+  "docs-hub",
+  "docs-article",
+  "component",
+  "catalogue",
+  "longform",
+  "changelog",
+  "contact",
+  "legal",
+  "status",
+  "error",
+  "pricing",
+  "app-dashboard",
+  "app-list-detail",
+  "app-settings",
+  "app-onboarding",
+  "app-empty-first-run",
+  "app-wizard",
+  "redirect",
+]);
+
+/** The template that is not one: a page that really composes none, with its reason (the declaration `template: custom: a canvas editor`). */
+export const CUSTOM_TEMPLATE = "custom";
+
+/** A page of the Next.js App Router: `app/**\/page.tsx` (or `src/app/…`). */
+export const PAGE_FILE_SOURCE = String.raw`(?:^|[\\/])app[\\/](?:.*[\\/])?page\.[cm]?[jt]sx?$`;
+
+/** The declaration, alone on its line, as a line comment or a block comment (the rule's message shows its form). */
+// The reason never starts with the block comment's `*/`: `/* @template: custom: */` declares no reason.
+export const TEMPLATE_TAG_SOURCE = String.raw`^[ \t]*(?://|/\*+)[ \t]*@template:[ \t]*([a-z][a-z-]*)(?:[ \t]*:[ \t]*((?!\*\/)\S[^\n]*?)?)?[ \t]*(?:\*/)?[ \t]*$`;
+
+/**
+ * What is wrong with a page's template declaration, or `null` when it is fine.
+ * @param {string} source
+ * @returns {{ kind: "missing" } | { kind: "unknown", name: string } | { kind: "reason" } | null}
+ */
+export function pageTemplateProblem(source) {
+  const tag = new RegExp(TEMPLATE_TAG_SOURCE, "m").exec(source);
+  if (!tag) return { kind: "missing" };
+  const [, name, reason] = tag;
+  if (name === CUSTOM_TEMPLATE) return reason ? null : { kind: "reason" };
+  return PAGE_TEMPLATES.includes(name) ? null : { kind: "unknown", name };
+}
+
+/**
+ * True for the file of a route's page.
+ * @param {string} filename
+ */
+export function isPageFile(filename) {
+  return new RegExp(PAGE_FILE_SOURCE).test(filename);
+}

package/ratchet/ratchet.js

@@ -2,7 +2,7 @@
 // Same patterns as the ESLint rules (../patterns.js), applied to the source text: the counter sees every
 // occurrence (a class in a `cn()` argument or a constant too), so it can only be stricter than the rule.
 import { existsSync, readFileSync, writeFileSync } from "node:fs";
-import { isAbsolute, relative, resolve } from "node:path";
+import { relative, resolve } from "node:path";
 
 import { glob } from "tinyglobby";
 
@@ -12,15 +12,19 @@ import {
   CLASSNAME_TEMPLATE_SOURCE,
   countFormFields,
   EFFECT_CALL_SOURCE,
+  effectProblem,
   FETCH_CALL_SOURCE,
   importSource,
   isLocalSelection,
+  isPageFile,
   LIGHT_VARIANT_SOURCE,
+  pageTemplateProblem,
   paletteSource,
   selectionTags,
   TABLE_OR_FORM_SOURCE,
   TANSTACK_SCOPE,
   USE_CLIENT_SOURCE,
+  withoutDependencyArray,
 } from "../patterns.js";
 
 export const RATCHET_FILE = "lint-ratchet.json";
@@ -32,7 +36,7 @@ export const DEFAULT_STACK_GLOBS = Object.freeze(
 const IGNORE = ["**/node_modules/**", "**/dist/**", "**/.next/**", "**/storybook-static/**", "**/coverage/**"];
 
 /** @typedef {"palette" | "light" | "arbitraryVar" | "classNameTemplate"} UiCounterName */
-/** @typedef {"fetchInClientEffect" | "directTanstackImport" | "localTableOrForm" | "retiredImport" | "routeStateSelection"} StackCounterName */
+/** @typedef {"fetchInClientEffect" | "asyncInEffect" | "derivedStateInEffect" | "directTanstackImport" | "localTableOrForm" | "retiredImport" | "routeStateSelection" | "pageTemplate"} StackCounterName */
 /** @typedef {UiCounterName | StackCounterName} CounterName */
 /** @typedef {Record<CounterName, number>} Counters */
 /**
@@ -50,10 +54,13 @@ export const UI_COUNTERS = /** @type {const} */ (["palette", "light", "arbitrary
 /** The stack counters (the three rules of krizakaStack, and the dependencies to retire), in report order. */
 export const STACK_COUNTERS = /** @type {const} */ ([
   "fetchInClientEffect",
+  "asyncInEffect",
+  "derivedStateInEffect",
   "directTanstackImport",
   "localTableOrForm",
   "retiredImport",
   "routeStateSelection",
+  "pageTemplate",
 ]);
 /** Every counter, in report order. */
 export const COUNTERS = /** @type {const} */ ([...UI_COUNTERS, ...STACK_COUNTERS]);
@@ -91,7 +98,7 @@ export function countSource(source, allow = []) {
  * `@tanstack/*`, hand-written tables and forms of more than `maxFormFields` fields, imports of the retired dependencies.
  * @param {string} source
  * @param {{ retire?: readonly string[], maxFormFields?: number }} [options]
- * @returns {Record<StackCounterName, number>}
+ * @returns {Record<string, number>}
  */
 export function countStackSource(source, { retire = [], maxFormFields = 1 } = {}) {
   let fetchInClientEffect = 0;
@@ -101,6 +108,15 @@ export function countStackSource(source, { retire = [], maxFormFields = 1 } = {}
       fetchInClientEffect += body.match(new RegExp(FETCH_CALL_SOURCE, "g"))?.length ?? 0;
     }
   }
+  // react-effects standard: every effect (client file or not — a Vite/Tauri app has no directive) is read once
+  let asyncInEffect = 0;
+  let derivedStateInEffect = 0;
+  for (const effect of source.matchAll(new RegExp(EFFECT_CALL_SOURCE, "g"))) {
+    const body = balancedArguments(source, (effect.index ?? 0) + effect[0].length - 1);
+    const problem = effectProblem(withoutDependencyArray(body)); // the dependency array is not the callback
+    if (problem === "async") asyncInEffect += 1;
+    else if (problem === "derived") derivedStateInEffect += 1;
+  }
   let localTableOrForm = 0;
   for (const element of source.matchAll(new RegExp(TABLE_OR_FORM_SOURCE, "g"))) {
     if (element[1] === "table") localTableOrForm += 1;
@@ -111,6 +127,8 @@ export function countStackSource(source, { retire = [], maxFormFields = 1 } = {}
   }
   return {
     fetchInClientEffect,
+    asyncInEffect,
+    derivedStateInEffect,
     directTanstackImport: source.match(new RegExp(importSource([TANSTACK_SCOPE]), "g"))?.length ?? 0,
     localTableOrForm,
     retiredImport: source.match(new RegExp(importSource(retire), "g"))?.length ?? 0,
@@ -118,6 +136,15 @@ export function countStackSource(source, { retire = [], maxFormFields = 1 } = {}
   };
 }
 
+/**
+ * 1 when `file` is a page of the app router with no valid template declaration, else 0.
+ * @param {string} file
+ * @param {string} source
+ */
+export function countPages(file, source) {
+  return isPageFile(file) && pageTemplateProblem(source) ? 1 : 0;
+}
+
 /**
  * Counts the debts under `root`: the UI counters in the files of `globs`, the stack counters in those of `stackGlobs`.
  * @param {{ root: string, globs?: readonly string[], stackGlobs?: readonly string[], allow?: string[],
@@ -141,7 +168,8 @@ export async function countRepository({
   }
   for (const file of stackFiles) {
     const found = countStackSource(readFileSync(file, "utf8"), { retire, maxFormFields });
-    for (const name of STACK_COUNTERS) counters[name] += found[name];
+    for (const name of STACK_COUNTERS) counters[name] += found[name] ?? 0;
+    counters.pageTemplate += countPages(file, readFileSync(file, "utf8"));
   }
   return { counters, files: files.length, stackFiles: stackFiles.length };
 }
@@ -190,25 +218,6 @@ export class RatchetError extends Error {}
  * @property {boolean} written the ratchet file was created, lowered or completed
  */
 
-/**
- * Each counter against its recorded value: the report, and the names that went up or down.
- * @param {Counters} current
- * @param {Counters} recorded
- */
-function compareCounters(current, recorded) {
-  /** @type {RatchetResult["counters"]} */
-  const report = /** @type {any} */ ({});
-  /** @type {CounterName[]} */ const increased = [];
-  /** @type {CounterName[]} */ const decreased = [];
-  for (const name of COUNTERS) {
-    const delta = current[name] - recorded[name];
-    report[name] = { recorded: recorded[name], current: current[name], delta };
-    if (delta > 0) increased.push(name);
-    if (delta < 0) decreased.push(name);
-  }
-  return { report, increased, decreased };
-}
-
 /**
  * Runs the ratchet.
  * - `check` (default): fails when a counter is above its recorded value.
@@ -220,11 +229,6 @@ function compareCounters(current, recorded) {
  */
 export async function runRatchet({ root, mode = "check", globs, file = RATCHET_FILE }) {
   const path = resolve(root, file);
-  // the ratchet file is read and written: it stays a .json file inside the repository root (no `../`, no absolute path elsewhere)
-  const inside = relative(resolve(root), path);
-  if (!path.endsWith(".json") || inside === "" || inside.startsWith("..") || isAbsolute(inside)) {
-    throw new RatchetError(`${file}: the ratchet file must be a .json file inside ${root}.`);
-  }
   const exists = existsSync(path);
   if (mode === "init" && exists) throw new RatchetError(`${file} already exists: use --update to lower it.`);
   if (mode !== "init" && !exists) throw new RatchetError(`${file} not found in ${root}: run krizaka-ratchet --init first.`);
@@ -246,7 +250,16 @@ export async function runRatchet({ root, mode = "check", globs, file = RATCHET_F
   /** @type {CounterName[]} */ const added = recordedFile ? COUNTERS.filter((n) => recordedFile.counters[n] === undefined) : [];
   const recorded = /** @type {Counters} */ ({ ...current, ...recordedFile?.counters });
 
-  const { report, increased, decreased } = compareCounters(current, recorded);
+  /** @type {RatchetResult["counters"]} */
+  const report = /** @type {any} */ ({});
+  /** @type {CounterName[]} */ const increased = [];
+  /** @type {CounterName[]} */ const decreased = [];
+  for (const name of COUNTERS) {
+    const delta = current[name] - recorded[name];
+    report[name] = { recorded: recorded[name], current: current[name], delta };
+    if (delta > 0) increased.push(name);
+    if (delta < 0) decreased.push(name);
+  }
 
   let written = false;
   if (mode === "init") {

package/bin/krizaka-known-violations.mjs

@@ -1,35 +0,0 @@
-#!/usr/bin/env node
-// krizaka-known-violations: the known violations of dependency-cruiser, which only shrink.
-import { CONFIG_FILE, KNOWN_FILE, runKnownViolations } from "../ratchet/known-violations.js";
-
-const USAGE = `Usage: krizaka-known-violations <check|update|init> [--config ${CONFIG_FILE}] [--known ${KNOWN_FILE}] <folder…>
-
-  check    fails on a violation that is not recorded, and on a recorded one that is fixed (lock the gain with update)
-  update   removes the fixed violations from the file; never adds one
-  init     writes the file once, for an app that adopts the rules (the adoption pull request)
-
-Run it from the app's folder. Beside it, \`depcruise --ignore-known\` ignores the recorded ones.`;
-
-const args = process.argv.slice(2);
-const command = args.shift();
-/** @type {{ config?: string, known?: string, targets: string[] }} */
-const options = { targets: [] };
-for (let i = 0; i < args.length; i++) {
-  const arg = args[i] ?? "";
-  if (arg === "--config") options.config = args[++i];
-  else if (arg === "--known") options.known = args[++i];
-  else options.targets.push(arg);
-}
-
-if ((command !== "check" && command !== "update" && command !== "init") || options.targets.length === 0) {
-  console.error(USAGE);
-  process.exit(2);
-}
-try {
-  const { code, lines } = runKnownViolations(command, options);
-  for (const line of lines) (code === 0 ? console.log : console.error)(line);
-  process.exit(code);
-} catch (error) {
-  console.error(error instanceof Error ? error.message : String(error));
-  process.exit(2);
-}

package/covered-domains.cjs

@@ -1,50 +0,0 @@
-// The covered-domains map (covered-domains.json) and what is generated from it: dependency-cruiser patterns, the message
-// that names the Krizaka home, the table of the « Use Krizaka first » page. CommonJS: dependency-cruiser `require`s its
-// configs, and Node imports it from ESM (`import { coveredDomains } from "@krizaka/config/covered-domains"`).
-
-const map = require("./covered-domains.json");
-
-/** @typedef {{ id: string, title: string, home: string, use: string, refused: string[] }} CoveredDomain */
-
-/** The domains, in the order of the map. @type {readonly CoveredDomain[]} */
-const coveredDomains = Object.freeze(map.domains);
-
-/** The last thing every message says. */
-const MISSING_FUNCTION = "Missing function? add it to the package first.";
-
-/** @param {string} text */
-const escapeRegExp = (text) => text.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
-
-/**
- * The dependency-cruiser `to.path` regular expression of a refused entry. It matches the resolved file
- * (`…/node_modules/dayjs/index.js`, also under pnpm's `.pnpm/…/node_modules/`) and the module as written when it could not
- * be resolved (`dayjs`), never a local folder called `dayjs`.
- * `@scope/*` is a scope, `prefix*` a name prefix, anything else a package and its subpaths.
- * @param {string} entry
- */
-function refusedPattern(entry) {
-  const start = "(^|(^|/)node_modules/)";
-  if (entry.endsWith("/*")) return `${start}${escapeRegExp(entry.slice(0, -1))}`;
-  if (entry.endsWith("*")) return `${start}${escapeRegExp(entry.slice(0, -1))}[^/]*(/|$)`;
-  return `${start}${escapeRegExp(entry)}(/|$)`;
-}
-
-/** One pattern for a whole domain. @param {CoveredDomain} domain */
-const domainPattern = (domain) => domain.refused.map(refusedPattern).join("|");
-
-/** The message of a domain: what is refused, the Krizaka home, and what to do when the function is missing. @param {CoveredDomain} domain */
-const domainMessage = (domain) =>
-  `Krizaka first (${domain.id}): this library is refused in an app. Use ${domain.use}. ${MISSING_FUNCTION}`;
-
-/** The name of the dependency-cruiser rule of a domain. @param {CoveredDomain | string} domain */
-const ruleName = (domain) => `krizaka-first-${typeof domain === "string" ? domain : domain.id}`;
-
-/** The table of the page « Use Krizaka first » (Markdown), generated from the map. */
-function coveredDomainsMarkdown() {
-  const rows = coveredDomains.map(
-    (domain) => `| ${domain.title} | ${domain.use} | ${domain.refused.map((entry) => `\`${entry}\``).join(", ")} | \`${ruleName(domain)}\` |`,
-  );
-  return ["| Domain | Use | Refused in an app | Rule |", "| :-- | :-- | :-- | :-- |", ...rows].join("\n");
-}
-
-module.exports = { coveredDomains, domainMessage, domainPattern, coveredDomainsMarkdown, MISSING_FUNCTION, refusedPattern, ruleName };

package/covered-domains.json

@@ -1,40 +0,0 @@
-{
-  "$comment": "The covered-domains map of « Krizaka first » (krizaka-ui#609, #612; krizaka/.github docs/quality-controls.md §5.1). THE single source: the dependency-cruiser preset generates one `krizaka-first-<id>` rule per domain from it, and the page « Use Krizaka first » of ui.krizaka.com is laid out from it. `refused`: a package name (`dayjs`, also its subpaths), a prefix (`date-fns*`) or a scope (`@tanstack/*`). A Krizaka package (`@krizaka/*`, in node_modules) is the facade and is never checked. Add a domain here, never in a tool's config.",
-  "domains": [
-    {
-      "id": "dates",
-      "title": "Dates, times and local days",
-      "home": "@krizaka/intl",
-      "use": "`@krizaka/intl` (formatting, the local day with `localDay`) or `@krizaka/time` (date arithmetic, a facade created on the first real need: krizaka-ts#76)",
-      "refused": ["date-fns*", "@date-fns/*", "dayjs", "luxon", "moment", "moment-timezone"]
-    },
-    {
-      "id": "i18n",
-      "title": "Words, languages and messages",
-      "home": "@krizaka/i18n",
-      "use": "`@krizaka/i18n`",
-      "refused": ["i18next*", "react-i18next", "next-intl", "next-i18next", "react-intl", "@formatjs/*", "@lingui/*", "i18n-js", "typesafe-i18n"]
-    },
-    {
-      "id": "query",
-      "title": "Data fetching, cache, tables, forms and virtual lists",
-      "home": "@krizaka/query",
-      "use": "`@krizaka/query` for server state, and `@krizaka/ui` (`data-table`, `form`, `virtual`) or `@krizaka/pacer` for the other TanStack engines",
-      "refused": ["@tanstack/*"]
-    },
-    {
-      "id": "icons",
-      "title": "Icons",
-      "home": "@krizaka/icons",
-      "use": "`@krizaka/icons`",
-      "refused": ["lucide-react", "react-icons", "@heroicons/*"]
-    },
-    {
-      "id": "ui",
-      "title": "Interface primitives",
-      "home": "@krizaka/ui",
-      "use": "`@krizaka/ui`",
-      "refused": ["@radix-ui/*", "radix-ui"]
-    }
-  ]
-}