@starci/eslint-canon-fe 6.0.2 → 7.0.0

package/runtime/scripts/lib/hfs-allows.mjs

@@ -26,6 +26,21 @@ export function relativeToRoot(file, root) {
   return root && file.startsWith(`${root}/`) ? file.slice(root.length + 1) : path.posix.basename(file);
 }
 
+/**
+ * Whether the slot that owns `file` names it in `requires` or `allows` (and does not forbid it); null when no enabled slot
+ * owns it. Unlike allowsFile it judges a slot that lists only `requires` too, so a folder closed by its slot (an app's
+ * src/) is read from the slot and never from a check's own list.
+ */
+export function slotAdmitsFile(resolver, file) {
+  const classified = resolver.classifyPath(file);
+  if (classified.status === 'no-slot' || classified.status === 'ambiguous' || !classified.slot) return null;
+  const slot = resolver.slot(classified.slot);
+  const relative = relativeToRoot(classified.path, classified.root);
+  const hit = matchersOf([...(slot.requires ?? []), ...(slot.allows ?? [])], classified.bindings).find(matcher => matcher.expression.test(relative));
+  const forbidden = matchersOf(slot.forbids, classified.bindings).find(matcher => matcher.expression.test(relative) || matcher.expression.test(`${relative}/`));
+  return Boolean(hit) && !forbidden;
+}
+
 /**
  * {slot, root, relative, allowed, entry?, forbiddenBy?} for a repository-relative file, or null when no enabled slot owns
  * it or the slot names no `allows`. `allowed` is true when the relative path matches a `requires` or `allows` entry.

package/runtime/scripts/lib/hfs-slots.mjs

@@ -150,7 +150,8 @@ function manifestShapeProblems(m) {
   const rp = m.ruleParams;
   if (!isPlainObject(rp) || Object.keys(rp).some((k) => !PROFILES.includes(k)) || !PROFILES.every((p) => isPlainObject(rp[p]))) bad.push('ruleParams must be a map with be and fe');
   else {
-    if (!fileLinesOk(rp.be.fileLines) || !blockOk(rp.be.duplicateBlock) || Object.keys(rp.be).length !== 5) bad.push('ruleParams.be needs fileLines {soft, hardGrowth}, duplicateBlock {lines >= 2, tokens >= 1}, infraOwners, suffixes and bannedSuffixes');
+    if (!fileLinesOk(rp.be.fileLines) || !blockOk(rp.be.duplicateBlock) || Object.keys(rp.be).length !== 7) bad.push('ruleParams.be needs fileLines {soft, hardGrowth}, duplicateBlock {lines >= 2, tokens >= 1}, infraOwners, specDoubles, suffixes, bannedSuffixes and contractShape {helper}');
+    if (!isPlainObject(rp.be.contractShape) || Object.keys(rp.be.contractShape).length !== 1 || !/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(String(rp.be.contractShape.helper))) bad.push('ruleParams.be.contractShape must be {helper: <identifier>}');
     const owners = rp.be.infraOwners;
     const ownerId = /^(platform|integrations)\/[a-z][a-z0-9-]*$/;
     if (!isPlainObject(owners) || !Object.keys(owners).length || !Object.entries(owners).every(([key, list]) => key && Array.isArray(list) && list.every((o) => ownerId.test(String(o))) && new Set(list).size === list.length)) bad.push('ruleParams.be.infraOwners must map a non-empty specifier to a list of unique platform/<capability> or integrations/<provider> owners ([] means nowhere)');
@@ -158,6 +159,12 @@ function manifestShapeProblems(m) {
     if (!roleList(rp.be.suffixes)) bad.push('ruleParams.be.suffixes must be a non-empty list of unique kebab-case role suffixes');
     if (!roleList(rp.be.bannedSuffixes)) bad.push('ruleParams.be.bannedSuffixes must be a non-empty list of unique kebab-case suffixes');
     else if (roleList(rp.be.suffixes) && rp.be.suffixes.some((x) => rp.be.bannedSuffixes.includes(x))) bad.push('ruleParams.be.suffixes and bannedSuffixes must be disjoint');
+    const formNames = ['call', 'new', 'curried', 'object', 'primitive', 'array'];
+    const formsOk = (v) => Array.isArray(v) && v.length > 0 && v.every((x) => formNames.includes(x)) && new Set(v).size === v.length;
+    const doubleOk = (v) => isPlainObject(v) && /^[A-Za-z][A-Za-z0-9]*$/.test(String(v.double)) && formsOk(v.forms);
+    const regexOk = (v) => { try { return typeof v === 'string' && v.length > 0 && Boolean(new RegExp(v)); } catch { return false; } };
+    const sd = rp.be.specDoubles;
+    if (!isPlainObject(sd) || Object.keys(sd).sort().join() !== 'doubles,fallback,kit' || typeof sd.kit !== 'string' || !sd.kit || !Array.isArray(sd.doubles) || !sd.doubles.length || !sd.doubles.every((e) => doubleOk(e) && regexOk(e.token) && Object.keys(e).length === 3) || !doubleOk(sd.fallback) || Object.keys(sd.fallback).length !== 2) bad.push('ruleParams.be.specDoubles must be {kit, doubles: [{token: regex, double, forms}], fallback: {double, forms}} with forms drawn from call, new, curried, object, primitive, array');
     if (!fileLinesOk(rp.fe.fileLines) || !blockOk(rp.fe.duplicateBlock) || Object.keys(rp.fe).length !== 2) bad.push('ruleParams.fe needs fileLines {soft, hardGrowth} and duplicateBlock {lines >= 2, tokens >= 1}');
   }
   if (!Array.isArray(m.slots) || !m.slots.length) { bad.push('slots must be a non-empty list'); return bad; }
@@ -621,12 +628,12 @@ function ruleCatalogProblems(d) {
     const at = `rules[${index}]`;
     if (!isPlainObject(r)) { bad.push(`${at} is not a map`); return; }
     const label = typeof r.id === 'string' ? r.id : at;
-    for (const key of Object.keys(r)) if (!['id', 'code', 'title_vi', 'law', 'kinds', 'gates', 'failureCodes', 'enforcers'].includes(key)) bad.push(`${label} has unknown key ${key}`);
-    const expectedId = `R${String(index + 1).padStart(2, '0')}`;
-    if (!/^R\d{2}$/.test(String(r.id))) bad.push(`${at}.id must be R<two digits>`);
-    else if (r.id !== expectedId) bad.push(`${label} is out of order: ${at} must be ${expectedId}`);
+    for (const key of Object.keys(r)) if (!['id', 'code', 'law', 'kinds', 'gates', 'failureCodes', 'enforcers'].includes(key)) bad.push(`${label} has unknown key ${key}`);
+    // A retired rule leaves its id unused for good (never reused), so ids only have to increase.
+    if (!/^R\d{2,3}$/.test(String(r.id))) bad.push(`${at}.id must be R<two or three digits>`);
+    else if (index > 0 && typeof d.rules[index - 1]?.id === 'string' && Number(r.id.slice(1)) <= Number(d.rules[index - 1].id.slice(1))) bad.push(`${label} is out of order: ids must increase, and ${d.rules[index - 1].id} comes before it`);
     if (!FINDING_CODE.test(String(r.code))) bad.push(`${label}.code must be an UPPER_SNAKE finding code`);
-    for (const key of ['title_vi', 'law']) if (typeof r[key] !== 'string' || !r[key].trim()) bad.push(`${label}.${key} is missing`);
+    if (typeof r.law !== 'string' || !r.law.trim()) bad.push(`${label}.law is missing`);
     if (typeof r.law === 'string' && r.law.includes('\n')) bad.push(`${label}.law must be one line`);
     const enumList = (key, allowed) => {
       if (!Array.isArray(r[key]) || !r[key].length) { bad.push(`${label}.${key} must be a non-empty list`); return []; }

package/runtime/scripts/lib/language.mjs

@@ -0,0 +1,107 @@
+// language.mjs - the one home of "is this text English?" for source, comments, tests and docs (HFS_LANGUAGE_NOT_ENGLISH,
+// BE_SOURCE_FORM, FE_SOURCE_FORM). Shared by the architecture machine (docs) and by both lint canons (each ships a byte
+// copy in its runtime/ bundle, kept by packages/hfs/scripts/sync-runtime.mjs).
+//
+// Detection is structural on characters, never a word list: the letters Vietnamese adds to the Latin alphabet (a-breve, a-circumflex,
+// d-stroke, e-circumflex, o-circumflex, o-horn, u-horn) and every vowel carrying a tone mark. Text is folded to NFC first, so a
+// decomposed spelling (base letter + combining mark) is caught exactly like the precomposed one, and a loanword such as
+// `naive`, `facade` or `Muller` (no tone mark, no Vietnamese letter) is never a hit.
+import path from 'node:path';
+
+/** One Vietnamese letter, precomposed (NFC): the Vietnamese-specific base letters, tone-marked vowels and the Latin Extended Additional block. */
+export const SECOND_LANGUAGE_LETTER = /[À-ÃÈ-ÊÌÍÒ-ÕÙÚÝà-ãè-êìíò-õùúýĂăĐđĨĩŨũƠơƯưẠ-ỿ]/;
+
+/** Whether `text` holds a Vietnamese letter, in NFC or NFD spelling. */
+export const hasSecondLanguage = (text) => typeof text === 'string' && SECOND_LANGUAGE_LETTER.test(text.normalize('NFC'));
+
+/** Every line of `text` with a Vietnamese letter: `[{ line, column }]`, both 1-based. */
+export function secondLanguageHits(text) {
+  const hits = [];
+  String(text).split(/\r?\n/).forEach((raw, index) => {
+    const match = SECOND_LANGUAGE_LETTER.exec(raw.normalize('NFC'));
+    if (match) hits.push({ line: index + 1, column: match.index + 1 });
+  });
+  return hits;
+}
+
+/**
+ * The Vietnamese fields of one failure-code entry: the operator text the owner mandated for the failure-code catalog
+ * (scripts/checks/failure-codes.mjs types the entry with exactly these). causes_vi is the list companion of the three scalar fields.
+ */
+export const FAILURE_CODE_VIETNAMESE_FIELDS = Object.freeze(['title_vi', 'meaning_vi', 'nextStep_vi', 'causes_vi']);
+
+/**
+ * The fields of a document that carry deliberate Vietnamese text, keyed by file: a declared field-level exception of that file's
+ * typed content, never a path pattern over content. `fields` are block keys (the key's own value and its list items are exempt);
+ * `flowFields` are keys inside an inline flow map (`{ vi: ..., en: ... }`), where only that key's value is exempt. A Vietnamese
+ * value under any other key of the same file is still a finding.
+ *  - modules/kernel/failure-codes.yaml: the operator text the owner mandated for the failure-code catalog.
+ *  - modules/ops/_labels.yaml: the op-label catalogue, one `{ vi, en }` pair per op (the `vi` field is the localized label).
+ *  - modules/goal/archetypes.yaml: the Vietnamese phrase lexicons matched against owner input (the signal phrase sets, and the
+ *    phrase lists of the archetype recognisers).
+ */
+export const DECLARED_VIETNAMESE_FIELDS = Object.freeze({
+  'modules/kernel/failure-codes.yaml': Object.freeze({ fields: FAILURE_CODE_VIETNAMESE_FIELDS }),
+  'modules/ops/_labels.yaml': Object.freeze({ flowFields: Object.freeze(['vi']) }),
+  'modules/goal/archetypes.yaml': Object.freeze({
+    fields: Object.freeze([
+      'buildIntent', 'canonIntent', 'e2eIntent', 'uatIntent', 'proofNegation', 'integrationIntent', 'integrationNegation', 'brandIntent',
+      'phrases', 'requires', 'excludes', 'backend', 'frontend', 'package',
+    ]),
+  }),
+});
+
+/**
+ * The slots whose files may carry another language, and why: a catalog is product copy in two languages, and an i18n
+ * fixture reproduces a real localized string a parser or formatter must accept. Placement is the whole marker - there is no
+ * comment pragma and no path pattern. The slots are declared in knowledge/hfs/slots.yaml.
+ */
+export const LOCALIZED_TEXT_SLOTS = Object.freeze([
+  'be.domain.messages', 'be.feature.messages', 'be.tests.fixtures.i18n',
+  'fe.modules.i18n', 'fe.package.i18n',
+]);
+
+/** Whether a document (Markdown or YAML) of `slot` is exempt: only catalogue and fixture DATA (YAML) is; Markdown is prose and never is. */
+export const isLocalizedDataFile = (rel, slot) => LOCALIZED_TEXT_SLOTS.includes(slot) && /\.ya?ml$/.test(rel);
+
+/**
+ * The key each line of a YAML text belongs to: a `key:` line owns itself, and every deeper-indented line after it (a list item,
+ * a folded block, a wrapped scalar) belongs to the same key. A line at or above the key's indent that is not a key belongs to none.
+ */
+export function yamlKeyOfEachLine(text) {
+  let key = null;
+  let keyIndent = -1;
+  return String(text).split(/\r?\n/).map((raw) => {
+    if (raw.trim() === '') return key;
+    const indent = raw.length - raw.trimStart().length;
+    const own = /^(\s*(?:-\s+)?)([A-Za-z_][\w-]*)\s*:(?:\s|$)/.exec(raw);
+    if (own) { key = own[2]; keyIndent = own[1].length; return key; }
+    // a list item may sit at the key's own indent (`key:` then `- item` at the same column)
+    if (indent > keyIndent || (indent === keyIndent && /^\s*-\s/.test(raw))) return key;
+    key = null;
+    keyIndent = -1;
+    return null;
+  });
+}
+
+/** The Vietnamese hits of a document, minus the declared field-level exceptions of `rel` (a repository-relative POSIX path). */
+export function documentLanguageHits(rel, text) {
+  const declared = DECLARED_VIETNAMESE_FIELDS[rel];
+  const hits = secondLanguageHits(text);
+  if (!declared) return hits;
+  const keys = yamlKeyOfEachLine(text);
+  const lines = String(text).split(/\r?\n/);
+  return hits.filter((hit) => {
+    if (declared.fields?.includes(keys[hit.line - 1])) return false;
+    if (!declared.flowFields) return true;
+    // an inline flow map: drop the declared fields' values and judge what is left of the line
+    const rest = declared.flowFields.reduce((line, field) => line.replace(new RegExp(`\\b${field}\\s*:\\s*[^,}]*`, 'g'), ''), lines[hit.line - 1]);
+    return hasSecondLanguage(rest);
+  });
+}
+
+/** The file extensions of a prose document (Markdown and YAML). */
+export const DOCUMENT_EXTENSIONS = Object.freeze(['.md', '.yaml', '.yml']);
+
+/** Whether `rel` is a document a language check reads. */
+export const isDocument = (rel) => DOCUMENT_EXTENSIONS.includes(path.posix.extname(rel));

package/served-locale.mjs

@@ -32,7 +32,7 @@
  */
 
 import { hfsOf } from "./lib/hfs.mjs"
-import { fileOf, inSlot, isSpecFile, stem } from "./lib/scope.mjs"
+import { fileOf, inSlot, stem } from "./lib/scope.mjs"
 
 /** The slots that hold transport: the app's `modules/api` and the shared api package. Neither slot names its links, see the note on `linkFileName`. */
 const TRANSPORT_SLOTS = ["fe.modules.api", "fe.package.api"]
@@ -124,7 +124,7 @@ export const rules = {
       // A single link's implementation is not a chain - `links/http.ts` constructs the terminal link
       // because defining it IS its job, and there is no correct way to attach a locale there. A
       // spec asserts about a chain rather than being one.
-      if (isLinkImplementationFile(context) || isSpecFile(fileOf(context))) return {}
+      if (isLinkImplementationFile(context)) return {}
       let terminalNode = null
       let attachesLocale = false
       const note = (node) => {

package/shape-slot.mjs

@@ -20,7 +20,7 @@
  */
 
 import { hfsOf } from "./lib/hfs.mjs"
-import { classifyImport, fileOf, inSlot, isSpecFile, kindOfFile, roleOfFile } from "./lib/scope.mjs"
+import { classifyImport, fileOf, inSlot, kindOfFile, roleOfFile } from "./lib/scope.mjs"
 
 /** The layers and feature kinds that split into a connected `index.tsx` and a pure `component.tsx`; a shared package's layers never split. */
 const SPLIT_KINDS = new Set(["blocks", "pages", "layouts", "overlays"])
@@ -206,7 +206,6 @@ export const baseImportPair = {
   },
   create(context) {
     const isOwnIndex = roleOfFile(context) === "entry"
-    const spec = isSpecFile(fileOf(context))
     const inTier = inSplitTier(context)
     // An import reaches a pure half when the file it resolves to has the `drawing` role of its slot.
     const reachesPure = (source) => classifyImport(context, source)?.role === "drawing"
@@ -214,7 +213,7 @@ export const baseImportPair = {
     const check = (node, source) => {
       if (typeof source !== "string" || !reachesPure(source)) return
       const isSibling = /^\.\/[^/]+$/.test(source)
-      if (isSibling && (isOwnIndex || spec)) return
+      if (isSibling && isOwnIndex) return
       if (isSibling && !inTier) return
       context.report({ node, messageId: "reach", data: { source } })
     }

package/size-and-state-budget.mjs

@@ -21,7 +21,7 @@
 import { functionOf, isFn } from "./lib/bindings.mjs"
 import { hfsOf } from "./lib/hfs.mjs"
 import { isPromiseValued } from "./lib/types.mjs"
-import { fileOf, isSpecFile, roleOfFile, slotOfFile } from "./lib/scope.mjs"
+import { fileOf, roleOfFile, slotOfFile } from "./lib/scope.mjs"
 
 /**
  * The budget the slot of the linted file states (`budget` in knowledge/hfs/slots.yaml), or an empty one when no slot owns the file
@@ -86,7 +86,6 @@ export const componentLineBudget = {
   },
   create(context) {
     // A spec is not held to a budget; a file has one when its role or its slot states it.
-    if (isSpecFile(fileOf(context))) return {}
     const max = lineBudgetOf(context)
     if (max === null) return {}
     const source = context.sourceCode || context.getSourceCode()
@@ -116,7 +115,6 @@ export const unitHookBudget = {
     },
   },
   create(context) {
-    if (isSpecFile(fileOf(context))) return {}
     // A slot that states no `useState` / `dataHooks` budget puts no bound on that count: the rule refuses to invent one.
     const { useState: maxState, dataHooks: maxData } = budgetOf(context)
     if (typeof maxState !== "number" && typeof maxData !== "number") return {}
@@ -221,7 +219,6 @@ export const noHandRolledPolling = {
     },
   },
   create(context) {
-    if (isSpecFile(fileOf(context))) return {}
     const source = context.sourceCode || context.getSourceCode()
     return {
       CallExpression(node) {

package/size-growth.mjs

@@ -8,8 +8,7 @@
  * (`git show HEAD:<file>`). A file may stay as large as it is; it may not grow, and it may not be born large. The rule
  * takes no option: the budget is the manifest's, the baseline is git's.
  *
- * There is no baseline file and no allowlist: the record is the repository's own history. A spec and an e2e file are
- * source files like any other; a declaration file (`*.d.ts`) carries no behaviour and is not governed. Component,
+ * There is no baseline file and no allowlist: the record is the repository's own history. A declaration file (`*.d.ts`) carries no behaviour and is not governed. Component,
  * hook and state budgets are stricter still where they apply (`size-and-state-budget`); this ratchet is the one that
  * needs the previous revision.
  */

package/status-colors.mjs

@@ -20,7 +20,6 @@
  */
 
 import { attributeValue } from "./lib/ast.mjs"
-import { isSpecFile } from "./lib/scope.mjs"
 import { STATUS_TONES } from "./lib/status-tones.generated.mjs"
 
 /** The utility families that paint text, an icon or a text decoration. */
@@ -106,7 +105,6 @@ export const statusTextUsesSoftForeground = {
     },
   },
   create(context) {
-    if (isSpecFile(context.filename || context.getFilename())) return {}
     // A `classes` entry inside a constant is reached twice (as part of the constant, and as the entry): one finding per string.
     const seen = new Set()
     const check = (root) => {

package/tokens.mjs

@@ -62,7 +62,7 @@ const staticText = (value) => {
 
 /** Walk every place a class string can be written: markup, a constant, or an entry's array. */
 const classTextVisitors = (context, report) => {
-  // Product source is a file of a product tier (a slot says so); tooling, config, e2e and specs are out of scope.
+  // Product source is a file of a product tier (a slot says so); tooling and config are out of scope.
   if (!isProductSource(context)) return {}
   return {
     JSXAttribute(node) {

package/translation.mjs

@@ -28,7 +28,7 @@
  * and spares tokens is worth more than a clever one nobody trusts.
  */
 
-import { SECOND_LANGUAGE_LETTER, isContentFile } from "./comments.mjs"
+import { isContentFile } from "./comments.mjs"
 import { isComponentFile, kindOfFile } from "./lib/scope.mjs"
 
 /** True when a file sits in a component layer that must not resolve copy: every layer but `blocks` receives every word it renders, so it can know no domain and no sentence. */
@@ -203,24 +203,12 @@ export const noHardcodedCopy = {
         "`{{attr}}=\"{{text}}\"` is copy, hardcoded. One reader in another language sees it verbatim - and `{{attr}}` is where copy hides, because it does not read as a sentence when scanning the file. Use `t(\"key\")`.",
       property:
         "`{{key}}: \"{{text}}\"` is copy in an object, so whatever displays this object (a page title, an empty state, a toast) shows it in one language. Use `t(\"key\")`, or build the object where `t` is in scope.",
-      second:
-        "A second-language string in source. Text in another language is content, and content lives in `messages/<locale>.json` behind `t()`; there is no pragma that lets it stay here.",
-      comment:
-        "A second-language comment. Source is English so that every reader can read all of it; the product's other language belongs in the catalogue.",
     },
   },
   create(context) {
     if (isContentFile(context)) return {}
     const source = context.sourceCode || context.getSourceCode()
-    /** Value nodes already reported through their owner (attribute, property), so a string reports once. */
-    const claimed = new WeakSet()
-
     return {
-      Program() {
-        for (const comment of source.getAllComments()) {
-          if (SECOND_LANGUAGE_LETTER.test(comment.value)) context.report({ node: comment, messageId: "comment" })
-        }
-      },
       JSXText(node) {
         const text = String(node.value || "").trim()
         if (hasLetter(text)) context.report({ node, messageId: "text", data: { text } })
@@ -230,12 +218,10 @@ export const noHardcodedCopy = {
         const parent = node.parent
         if (!parent || (parent.type !== "JSXElement" && parent.type !== "JSXFragment")) return
         if (templateHasWord(node.expression)) {
-          claimed.add(node.expression)
           return context.report({ node, messageId: "text", data: { text: source.getText(node.expression) } })
         }
         const text = staticString(node.expression)
         if (text === null || !hasLetter(text.trim())) return
-        claimed.add(node.expression)
         context.report({ node, messageId: "text", data: { text: text.trim() } })
       },
       JSXAttribute(node) {
@@ -248,7 +234,6 @@ export const noHardcodedCopy = {
         const text = template ?? attributeText(node)
         if (text === null) return
         if (strict ? !hasLetter(text.replaceAll("#", " ")) : !looksLikeProse(text)) return
-        claimed.add(value)
         context.report({ node, messageId: "attribute", data: { attr, text: template === null ? text : source.getText(value) } })
       },
       Property(node) {
@@ -259,21 +244,8 @@ export const noHardcodedCopy = {
         if (text === null) return
         // a copy key needs prose; any other key needs a whole sentence: { ready: "Your course is ready" } in a hook is copy
         if (!(COPY_KEYS.has(key) ? looksLikeProse(text) : looksLikeSentence(text))) return
-        claimed.add(node.value)
         context.report({ node, messageId: "property", data: { key, text: template === null ? text : source.getText(node.value) } })
       },
-      Literal(node) {
-        if (claimed.has(node) || typeof node.value !== "string") return
-        if (SECOND_LANGUAGE_LETTER.test(node.value)) context.report({ node, messageId: "second" })
-      },
-      TemplateElement(node) {
-        if (SECOND_LANGUAGE_LETTER.test((node.value && node.value.cooked) || "")) {
-          context.report({ node, messageId: "second" })
-        }
-      },
-      Identifier(node) {
-        if (SECOND_LANGUAGE_LETTER.test(node.name)) context.report({ node, messageId: "second" })
-      },
     }
   },
 }

package/transport.mjs

@@ -8,7 +8,7 @@
  * defects the three halves prevent were measured on real apps: seven transports and six result
  * shapes in one repository, and in another a client that folded every non-2xx into "could not
  * read", so the state a real backend produces for a signed-out reader - 401, which must become
- * `refused` and send the reader to sign in - was unreachable, while the e2e double hid it by
+ * `refused` and send the reader to sign in - was unreachable, while a test double hid it by
  * answering 200.
  *
  * WHAT THESE RULES CANNOT SEE. They read one file at a time, so they cannot tell that a client's
@@ -19,7 +19,7 @@
 
 import ts from "typescript"
 import { hfsOf } from "./lib/hfs.mjs"
-import { globalReferences, isApiClient, isOutcomeModule, isSpecFile, slotOfFile } from "./lib/scope.mjs"
+import { globalReferences, isApiClient, isOutcomeModule, slotOfFile } from "./lib/scope.mjs"
 import { typed } from "./lib/types.mjs"
 
 /** Packages that send an HTTP request: a second transport is a second owner. Matched on the module specifier, never on a file name. */
@@ -118,7 +118,6 @@ export const fetchOnlyInApiClient = {
   },
   create(context) {
     const filename = context.filename || context.getFilename()
-    if (isSpecFile(filename)) return {}
     const client = isApiClient(context)
     const library = (node, source) => {
       if (typeof source === "string" && isTransportLibrary(source)) context.report({ node, messageId: "library", data: { name: source } })
@@ -224,7 +223,7 @@ export const noSharedTransportState = {
   },
   create(context) {
     const filename = context.filename || context.getFilename()
-    if (!isTransportFile(context) || isSpecFile(filename)) return {}
+    if (!isTransportFile(context)) return {}
     const check = (node) => {
       const declaration = node.type === "VariableDeclaration" ? node : node.declaration
       if (!declaration || declaration.type !== "VariableDeclaration" || declaration.kind === "const") return
@@ -492,7 +491,6 @@ export const noHttpStatusCollapse = {
     },
   },
   create(context) {
-    if (isSpecFile(context.filename || context.getFilename())) return {}
     const source = context.sourceCode || context.getSourceCode()
     return {
       IfStatement(node) {
@@ -578,7 +576,6 @@ export const noHandTypedWire = {
   },
   create(context) {
     const filename = context.filename || context.getFilename()
-    if (isSpecFile(filename)) return {}
     const source = context.sourceCode ?? context.getSourceCode()
     /** Local names of the type imports that resolve into a `__generated__/` directory. */
     const generated = new Set()
@@ -650,7 +647,6 @@ export const outcomeKindsExhaustive = {
     },
   },
   create(context) {
-    if (isSpecFile(context.filename || context.getFilename())) return {}
     return {
       SwitchStatement(node) {
         const subject = node.discriminant
@@ -704,7 +700,7 @@ export const oneOutcomeUnion = {
     },
   },
   create(context) {
-    if (isSpecFile(context.filename || context.getFilename()) || isOutcomeModule(context)) return {}
+    if (isOutcomeModule(context)) return {}
     const { checker, toTs } = typed(context)
     return {
       TSTypeAliasDeclaration(node) {

package/docs/e2e-shape.md

@@ -1,161 +0,0 @@
-# e2e shape
-
-Law module: `e2e-shape.mjs`. Catalogue: R66 FE_E2E_SHAPE.
-
-These rules govern `e2e/**` and `playwright.config.*`, not `src/`; `starciFeConfig` attaches them through its second block. Specs are `e2e/<area>/<name>.e2e-spec.ts`; the Playwright projects cover 1440x900, 768x1024 and 390x844; no absolute path, no docker, no write outside the repository, no `test.skip`, and typed helpers.
-
-Every rule below is an error in `starciFeConfig`; none can be switched off or suppressed inline.
-
-## `starci-fe/e2e-spec-location`
-
-An e2e spec is `e2e/<area>/<name>.e2e-spec.ts`; helpers live under `support/` or `fixtures/`.
-
-**Invalid** (`e2e/play.spec.ts`)
-
-```ts
-// file: e2e/play.spec.ts
-```
-
-**Valid** (`e2e/course/play.e2e-spec.ts`)
-
-```ts
-// file: e2e/course/play.e2e-spec.ts
-```
-
-**Finding code:** `FE_E2E_SHAPE`
-
-**Vì sao (why):** Spec e2e `<file>` không nằm ở `e2e/<area>/<name>.e2e-spec.ts`.
-
-**Cách sửa:** Đưa spec vào `e2e/<area>/` với hậu tố `.e2e-spec.ts`; helper vào `e2e/support/` hoặc `e2e/fixtures/`.
-
-## `starci-fe/e2e-no-absolute-path`
-
-No absolute filesystem path in e2e source.
-
-**Invalid** (`e2e/support/session.ts`)
-
-```ts
-const p = "D:/repos/nivo-backend/out"
-```
-
-**Valid** (`e2e/support/session.ts`)
-
-```ts
-const p = path.join(__dirname, "fixtures", "a.png")
-```
-
-**Finding code:** `FE_E2E_SHAPE`
-
-**Vì sao (why):** Spec e2e `<file>` dùng đường dẫn tuyệt đối.
-
-**Cách sửa:** Dựng đường dẫn từ cấu hình hoặc thư mục của chính spec.
-
-## `starci-fe/e2e-no-docker`
-
-An e2e suite does not start or require Docker.
-
-**Invalid** (`e2e/support/stack.ts`)
-
-```ts
-execSync("docker compose up -d")
-```
-
-**Valid** (`e2e/course/play.e2e-spec.ts`)
-
-```ts
-await page.goto(baseUrl)
-```
-
-**Finding code:** `FE_E2E_SHAPE`
-
-**Vì sao (why):** Spec e2e `<file>` phụ thuộc vào docker.
-
-**Cách sửa:** Trỏ suite tới một URL từ cấu hình; môi trường tự cung cấp stack.
-
-## `starci-fe/e2e-no-cross-repo-write`
-
-An e2e file write never targets an absolute path or climbs out of the repository.
-
-**Invalid** (`e2e/support/seed.ts`)
-
-```ts
-await fs.writeFile("../backend/seed.json", data)
-```
-
-**Valid** (`e2e/support/seed.ts`)
-
-```ts
-await fs.writeFile(path.join(outDir, "report.json"), data)
-```
-
-**Finding code:** `FE_E2E_SHAPE`
-
-**Vì sao (why):** Spec e2e `<file>` ghi ra ngoài repo của app (đường dẫn tuyệt đối hoặc `..`).
-
-**Cách sửa:** Chỉ ghi vào thư mục kết quả của chính repo này.
-
-## `starci-fe/e2e-no-skip`
-
-No `test.skip`, `test.fixme` or `describe.skip`: a missing environment fails the run.
-
-**Invalid** (`e2e/course/play.e2e-spec.ts`)
-
-```ts
-test.skip(!process.env.BASE_URL, "needs env")
-```
-
-**Valid** (`e2e/course/play.e2e-spec.ts`)
-
-```ts
-test("plays", async ({ page }) => {})
-```
-
-**Finding code:** `FE_E2E_SHAPE`
-
-**Vì sao (why):** Spec e2e `<file>` bỏ qua test (`test.skip`/`fixme`) — thiếu môi trường phải làm suite đỏ, không được xanh.
-
-**Cách sửa:** Sửa môi trường hoặc xóa test; không bỏ qua có điều kiện.
-
-## `starci-fe/e2e-typed-helpers`
-
-e2e helper parameters are typed and nothing is `any`.
-
-**Invalid** (`e2e/support/session.ts`)
-
-```ts
-export const login = async (page, role) => page
-```
-
-**Valid** (`e2e/support/session.ts`)
-
-```ts
-export const login = async (page: Page, role: Role) => page
-```
-
-**Finding code:** `FE_E2E_SHAPE`
-
-**Vì sao (why):** Helper e2e ở `<file>` có tham số không kiểu hoặc dùng `any`.
-
-**Cách sửa:** Khai kiểu cho mọi tham số của helper; thay `any` bằng kiểu thật hoặc `unknown` kèm kiểm tra.
-
-## `starci-fe/playwright-viewports`
-
-playwright.config declares the viewports 1440x900, 768x1024, 390x844 and no others.
-
-**Invalid** (`playwright.config.ts`)
-
-```ts
-projects: [{ use: { viewport: { width: 1440, height: 900 } } }]
-```
-
-**Valid** (`playwright.config.ts`)
-
-```ts
-projects: three, each with one of 1440x900, 768x1024, 390x844
-```
-
-**Finding code:** `FE_E2E_SHAPE`
-
-**Vì sao (why):** `playwright.config` không khai đúng ba viewport 1440x900, 768x1024, 390x844.
-
-**Cách sửa:** Mỗi project khai một viewport; đủ ba, không thêm cỡ thứ tư.