@starci/hfs 4.0.7 → 4.0.8

package/runtime/scripts/lib/graphql-contract.mjs

@@ -0,0 +1,429 @@
+// graphql-contract.mjs - the GraphQL a back-end contract snapshot holds and the checks a front-end document must pass
+// against it. It reads the SDL `hfs emit-contracts` writes (`be/contracts/<service>/schema.graphql`: object, input, enum,
+// scalar, interface and union types, descriptions and directives) and the executable documents a front end keeps in
+// `.graphql` files (operations with variables, field arguments, object literals, inline fragments), with no dependency:
+// the runtime ships no GraphQL library, and an app's own install is not always resolvable from where hfs runs.
+//
+// What a document is checked for: every selected field exists on its parent type, every argument it passes is declared
+// and every required argument (or required input field of an object literal) is given, an object literal names only
+// declared input fields, a variable passed to an argument has the argument's named type, a leaf field selects nothing
+// and an object field selects something, and every declared variable is used. Validation stops at the first failure of
+// each field path, so a broken document reads as a short list of named problems.
+
+const PUNCTUATORS = new Set(['{', '}', '(', ')', '[', ']', ':', '!', '=', '$', '@', '|', '&']);
+const BUILT_IN_SCALARS = new Set(['String', 'Int', 'Float', 'Boolean', 'ID']);
+
+/** The tokens of a GraphQL source: names, punctuators, `...`, strings and numbers; comments and commas are insignificant. */
+export function tokenize(source) {
+  const tokens = [];
+  let index = 0;
+  while (index < source.length) {
+    const char = source[index];
+    if (char === '#') {
+      while (index < source.length && source[index] !== '\n') index += 1;
+    } else if (/[\s,]/.test(char)) {
+      index += 1;
+    } else if (source.startsWith('...', index)) {
+      tokens.push({ kind: 'spread', value: '...' });
+      index += 3;
+    } else if (source.startsWith('"""', index)) {
+      const end = source.indexOf('"""', index + 3);
+      if (end === -1) throw new SyntaxError('unterminated block string');
+      tokens.push({ kind: 'string', value: source.slice(index + 3, end) });
+      index = end + 3;
+    } else if (char === '"') {
+      let end = index + 1;
+      while (end < source.length && source[end] !== '"') end += source[end] === '\\' ? 2 : 1;
+      tokens.push({ kind: 'string', value: source.slice(index + 1, end) });
+      index = end + 1;
+    } else if (PUNCTUATORS.has(char)) {
+      tokens.push({ kind: 'punct', value: char });
+      index += 1;
+    } else if (/[_A-Za-z]/.test(char)) {
+      const match = /^[_A-Za-z][_0-9A-Za-z]*/.exec(source.slice(index));
+      tokens.push({ kind: 'name', value: match[0] });
+      index += match[0].length;
+    } else if (/[-0-9]/.test(char)) {
+      const match = /^-?\d+(?:\.\d+)?(?:[eE][+-]?\d+)?/.exec(source.slice(index));
+      if (!match) throw new SyntaxError(`unexpected character "${char}"`);
+      tokens.push({ kind: 'number', value: match[0] });
+      index += match[0].length;
+    } else {
+      throw new SyntaxError(`unexpected character "${char}"`);
+    }
+  }
+  return tokens;
+}
+
+/** A cursor over tokens with the expectations both parsers share. */
+function cursorOf(tokens) {
+  let index = 0;
+  const cursor = {
+    peek: (offset = 0) => tokens[index + offset] ?? null,
+    next: () => {
+      const token = tokens[index];
+      if (token === undefined) throw new SyntaxError('unexpected end of document');
+      index += 1;
+      return token;
+    },
+    is: (value) => tokens[index]?.value === value && tokens[index]?.kind !== 'string',
+    done: () => index >= tokens.length,
+    take: (value) => {
+      if (!cursor.is(value)) return false;
+      index += 1;
+      return true;
+    },
+    expect: (value) => {
+      const token = cursor.next();
+      if (token.value !== value || token.kind === 'string') throw new SyntaxError(`expected "${value}", found "${token.value}"`);
+      return token;
+    },
+    name: () => {
+      const token = cursor.next();
+      if (token.kind !== 'name') throw new SyntaxError(`expected a name, found "${token.value}"`);
+      return token.value;
+    },
+  };
+  return cursor;
+}
+
+/** A type reference: `{ name, list, nonNull, item }`. */
+function parseTypeRef(cursor) {
+  let type;
+  if (cursor.take('[')) {
+    const item = parseTypeRef(cursor);
+    cursor.expect(']');
+    type = { list: true, item, name: item.name, nonNull: false };
+  } else {
+    type = { list: false, name: cursor.name(), nonNull: false };
+  }
+  if (cursor.take('!')) type = { ...type, nonNull: true };
+  return type;
+}
+
+/** Skips one value of any shape (a default value, a directive argument). */
+function skipValue(cursor) {
+  const token = cursor.next();
+  if (token.kind !== 'punct') return;
+  if (token.value === '$') return void cursor.name();
+  const close = token.value === '{' ? '}' : token.value === '[' ? ']' : null;
+  if (close === null) return;
+  while (!cursor.take(close)) {
+    if (token.value === '{') {
+      cursor.name();
+      cursor.expect(':');
+    }
+    skipValue(cursor);
+  }
+}
+
+function skipDirectives(cursor) {
+  while (cursor.take('@')) {
+    cursor.name();
+    if (cursor.take('(')) {
+      while (!cursor.take(')')) {
+        cursor.name();
+        cursor.expect(':');
+        skipValue(cursor);
+      }
+    }
+  }
+}
+
+function skipDescription(cursor) {
+  if (cursor.peek()?.kind === 'string') cursor.next();
+}
+
+/** Field or input-value definitions between braces. */
+function parseFieldDefinitions(cursor, withArguments) {
+  const fields = new Map();
+  cursor.expect('{');
+  while (!cursor.take('}')) {
+    skipDescription(cursor);
+    const name = cursor.name();
+    const args = new Map();
+    if (withArguments && cursor.take('(')) {
+      while (!cursor.take(')')) {
+        skipDescription(cursor);
+        const argName = cursor.name();
+        cursor.expect(':');
+        const type = parseTypeRef(cursor);
+        const hasDefault = cursor.take('=');
+        if (hasDefault) skipValue(cursor);
+        skipDirectives(cursor);
+        args.set(argName, { type, hasDefault });
+      }
+    }
+    cursor.expect(':');
+    const type = parseTypeRef(cursor);
+    const hasDefault = cursor.take('=');
+    if (hasDefault) skipValue(cursor);
+    skipDirectives(cursor);
+    fields.set(name, { type, args, hasDefault });
+  }
+  return fields;
+}
+
+/** The types of an SDL source: Map(name -> { kind, fields? , values? , members? }), plus the root operation type names. */
+export function parseSchema(source) {
+  const cursor = cursorOf(tokenize(source));
+  const types = new Map();
+  const roots = { query: 'Query', mutation: 'Mutation', subscription: 'Subscription' };
+  while (!cursor.done()) {
+    skipDescription(cursor);
+    const keyword = cursor.name();
+    if (keyword === 'schema' || (keyword === 'extend' && cursor.is('schema'))) {
+      if (keyword === 'extend') cursor.name();
+      skipDirectives(cursor);
+      cursor.expect('{');
+      while (!cursor.take('}')) {
+        const operation = cursor.name();
+        cursor.expect(':');
+        roots[operation] = cursor.name();
+      }
+    } else if (keyword === 'directive') {
+      cursor.expect('@');
+      cursor.name();
+      if (cursor.take('(')) parseArgumentList(cursor);
+      if (cursor.is('repeatable')) cursor.name();
+      cursor.name();
+      cursor.take('|');
+      cursor.name();
+      while (cursor.take('|')) cursor.name();
+    } else if (keyword === 'scalar') {
+      const name = cursor.name();
+      skipDirectives(cursor);
+      types.set(name, { kind: 'scalar' });
+    } else if (keyword === 'enum') {
+      const name = cursor.name();
+      skipDirectives(cursor);
+      const values = new Set();
+      cursor.expect('{');
+      while (!cursor.take('}')) {
+        skipDescription(cursor);
+        values.add(cursor.name());
+        skipDirectives(cursor);
+      }
+      types.set(name, { kind: 'enum', values });
+    } else if (keyword === 'union') {
+      const name = cursor.name();
+      skipDirectives(cursor);
+      cursor.expect('=');
+      cursor.take('|');
+      const members = [cursor.name()];
+      while (cursor.take('|')) members.push(cursor.name());
+      types.set(name, { kind: 'union', members });
+    } else if (keyword === 'type' || keyword === 'interface' || keyword === 'input') {
+      const name = cursor.name();
+      if (cursor.is('implements')) {
+        cursor.name();
+        cursor.take('&');
+        cursor.name();
+        while (cursor.take('&')) cursor.name();
+      }
+      skipDirectives(cursor);
+      const kind = keyword === 'input' ? 'input' : keyword === 'interface' ? 'interface' : 'object';
+      types.set(name, { kind, fields: parseFieldDefinitions(cursor, kind !== 'input') });
+    } else {
+      throw new SyntaxError(`unexpected "${keyword}" in a schema`);
+    }
+  }
+  return { types, roots };
+}
+
+function parseArgumentList(cursor) {
+  while (!cursor.take(')')) {
+    skipDescription(cursor);
+    cursor.name();
+    cursor.expect(':');
+    parseTypeRef(cursor);
+    if (cursor.take('=')) skipValue(cursor);
+    skipDirectives(cursor);
+  }
+}
+
+/** A value of a document: `{ kind: 'variable', name }`, `{ kind: 'object', fields: Map }`, `{ kind: 'list', items }` or a scalar. */
+function parseValue(cursor) {
+  if (cursor.take('$')) return { kind: 'variable', name: cursor.name() };
+  if (cursor.take('{')) {
+    const fields = new Map();
+    while (!cursor.take('}')) {
+      const name = cursor.name();
+      cursor.expect(':');
+      fields.set(name, parseValue(cursor));
+    }
+    return { kind: 'object', fields };
+  }
+  if (cursor.take('[')) {
+    const items = [];
+    while (!cursor.take(']')) items.push(parseValue(cursor));
+    return { kind: 'list', items };
+  }
+  const token = cursor.next();
+  return { kind: token.kind === 'name' ? 'literal-name' : 'literal', value: token.value };
+}
+
+/** A selection set: [{ kind: 'field', name, alias, args: Map, selections } | { kind: 'inline', on, selections } | { kind: 'spread', name }]. */
+function parseSelectionSet(cursor) {
+  const selections = [];
+  cursor.expect('{');
+  while (!cursor.take('}')) {
+    if (cursor.peek()?.kind === 'spread') {
+      cursor.next();
+      if (cursor.is('on')) {
+        cursor.name();
+        const on = cursor.name();
+        skipDirectives(cursor);
+        selections.push({ kind: 'inline', on, selections: parseSelectionSet(cursor) });
+      } else if (cursor.is('{') || cursor.is('@')) {
+        skipDirectives(cursor);
+        selections.push({ kind: 'inline', on: null, selections: parseSelectionSet(cursor) });
+      } else {
+        selections.push({ kind: 'spread', name: cursor.name() });
+        skipDirectives(cursor);
+      }
+      continue;
+    }
+    let name = cursor.name();
+    let alias = null;
+    if (cursor.take(':')) {
+      alias = name;
+      name = cursor.name();
+    }
+    const args = new Map();
+    if (cursor.take('(')) {
+      while (!cursor.take(')')) {
+        const argName = cursor.name();
+        cursor.expect(':');
+        args.set(argName, parseValue(cursor));
+      }
+    }
+    skipDirectives(cursor);
+    const subSelections = cursor.is('{') ? parseSelectionSet(cursor) : null;
+    selections.push({ kind: 'field', name, alias, args, selections: subSelections });
+  }
+  return selections;
+}
+
+/** The operations and fragments of an executable document. */
+export function parseDocument(source) {
+  const cursor = cursorOf(tokenize(source));
+  const operations = [];
+  const fragments = new Map();
+  while (!cursor.done()) {
+    if (cursor.is('{')) {
+      operations.push({ operation: 'query', name: null, variables: new Map(), selections: parseSelectionSet(cursor) });
+      continue;
+    }
+    const keyword = cursor.name();
+    if (keyword === 'fragment') {
+      const name = cursor.name();
+      if (!cursor.take('on')) throw new SyntaxError(`fragment ${name} names no type condition`);
+      const on = cursor.name();
+      skipDirectives(cursor);
+      fragments.set(name, { on, selections: parseSelectionSet(cursor) });
+      continue;
+    }
+    if (keyword !== 'query' && keyword !== 'mutation' && keyword !== 'subscription') throw new SyntaxError(`unexpected "${keyword}" in a document`);
+    const name = cursor.peek()?.kind === 'name' ? cursor.name() : null;
+    const variables = new Map();
+    if (cursor.take('(')) {
+      while (!cursor.take(')')) {
+        cursor.expect('$');
+        const variable = cursor.name();
+        cursor.expect(':');
+        const type = parseTypeRef(cursor);
+        if (cursor.take('=')) skipValue(cursor);
+        skipDirectives(cursor);
+        variables.set(variable, type);
+      }
+    }
+    skipDirectives(cursor);
+    operations.push({ operation: keyword, name, variables, selections: parseSelectionSet(cursor) });
+  }
+  return { operations, fragments };
+}
+
+const typeText = (type) => (type.list ? `[${typeText(type.item)}]` : type.name) + (type.nonNull ? '!' : '');
+
+/** The problems of one value against the input type it is passed as. */
+function valueProblems(schema, value, type, where, operation, used) {
+  if (value.kind === 'variable') {
+    used.add(value.name);
+    const declared = operation.variables.get(value.name);
+    if (declared === undefined) return [`${where} uses $${value.name}, which the operation does not declare`];
+    return declared.name === type.name ? [] : [`${where} takes ${typeText(type)}, but $${value.name} is ${typeText(declared)}`];
+  }
+  if (type.list && value.kind === 'list') return value.items.flatMap((item, i) => valueProblems(schema, item, type.item, `${where}[${i}]`, operation, used));
+  const named = schema.types.get(type.name);
+  if (value.kind === 'object') {
+    if (named?.kind !== 'input') return [`${where} is an object, but ${type.name} is not an input type`];
+    const problems = [];
+    for (const [field, inner] of value.fields) {
+      const declared = named.fields.get(field);
+      if (declared === undefined) problems.push(`${where} names ${field}, which the input ${type.name} does not declare (it declares ${[...named.fields.keys()].join(', ') || 'nothing'})`);
+      else problems.push(...valueProblems(schema, inner, declared.type, `${where}.${field}`, operation, used));
+    }
+    for (const [field, declared] of named.fields) {
+      if (declared.type.nonNull && !declared.hasDefault && !value.fields.has(field)) problems.push(`${where} omits ${field}, which the input ${type.name} requires`);
+    }
+    return problems;
+  }
+  return [];
+}
+
+/** The problems of one selection set against its parent type. */
+function selectionProblems(schema, document, parentName, selections, path, operation, used, visiting = new Set()) {
+  const parent = schema.types.get(parentName);
+  const problems = [];
+  for (const selection of selections) {
+    if (selection.kind === 'spread') {
+      const fragment = document.fragments.get(selection.name);
+      if (fragment === undefined) problems.push(`${path} spreads ...${selection.name}, which the document does not define`);
+      else if (!visiting.has(selection.name)) problems.push(...selectionProblems(schema, document, fragment.on, fragment.selections, path, operation, used, new Set([...visiting, selection.name])));
+      continue;
+    }
+    if (selection.kind === 'inline') {
+      problems.push(...selectionProblems(schema, document, selection.on ?? parentName, selection.selections, path, operation, used, visiting));
+      continue;
+    }
+    if (selection.name === '__typename') continue;
+    const where = `${path}.${selection.name}`;
+    const field = parent?.fields?.get(selection.name);
+    if (field === undefined) {
+      const known = parent?.fields ? [...parent.fields.keys()].join(', ') : 'nothing';
+      problems.push(`${where} is not a field of ${parentName} (it has ${known})`);
+      continue;
+    }
+    for (const [arg, value] of selection.args) {
+      const declared = field.args.get(arg);
+      if (declared === undefined) problems.push(`${where} passes ${arg}, which ${parentName}.${selection.name} does not take (it takes ${[...field.args.keys()].join(', ') || 'no argument'})`);
+      else problems.push(...valueProblems(schema, value, declared.type, `${where}(${arg})`, operation, used));
+    }
+    for (const [arg, declared] of field.args) {
+      if (declared.type.nonNull && !declared.hasDefault && !selection.args.has(arg)) problems.push(`${where} omits ${arg}, which ${parentName}.${selection.name} requires`);
+    }
+    const target = schema.types.get(field.type.name);
+    const leaf = BUILT_IN_SCALARS.has(field.type.name) || target?.kind === 'scalar' || target?.kind === 'enum';
+    if (leaf && selection.selections !== null) problems.push(`${where} is a ${field.type.name}, which selects no fields`);
+    else if (!leaf && selection.selections === null) problems.push(`${where} is a ${field.type.name}, which needs a selection of its fields`);
+    else if (!leaf) problems.push(...selectionProblems(schema, document, field.type.name, selection.selections, where, operation, used, visiting));
+  }
+  return problems;
+}
+
+/** The root fields an operation selects (no aliases followed into fragments). */
+export const rootFieldsOf = (operation) => operation.selections.filter((selection) => selection.kind === 'field').map((selection) => selection.name);
+
+/** The problems of one operation of a document against one parsed schema; empty when it is valid. */
+export function operationProblems(schema, document, operation) {
+  const rootName = schema.roots[operation.operation];
+  if (!schema.types.has(rootName)) return [`the contract has no ${operation.operation} type`];
+  const used = new Set();
+  const label = operation.name ?? `anonymous ${operation.operation}`;
+  const problems = selectionProblems(schema, document, rootName, operation.selections, label, operation, used);
+  for (const variable of operation.variables.keys()) {
+    if (!used.has(variable)) problems.push(`${label} declares $${variable}, which no argument uses`);
+  }
+  return problems;
+}

package/runtime/scripts/lib/is-main.mjs

@@ -0,0 +1,13 @@
+// is-main.mjs - is this module the process entry point (`node file.mjs`, not an import)? Compared by real path.
+import fs from 'node:fs';
+import path from 'node:path';
+import {fileURLToPath} from 'node:url';
+
+/** The real path of a file, or its resolved path when it cannot be read (a missing file is never the entry module). */
+const realPathOf = (file) => { try { return fs.realpathSync.native(path.resolve(file)); } catch { return path.resolve(file); } };
+/**
+ * True when the module at `metaUrl` is the process entry point. Both sides are compared as REAL paths: Node gives a module
+ * its symlink-resolved URL, while argv[1] keeps the path it was started with, so an entry reached through a node_modules
+ * junction or symlink (a lane worktree, an npx shim) would otherwise look like an import and silently do nothing.
+ */
+export const isMain = (metaUrl, argv = process.argv) => Boolean(argv[1]) && realPathOf(argv[1]) === realPathOf(fileURLToPath(metaUrl));

package/runtime/scripts/lib/language.mjs

@@ -1,6 +1,6 @@
 // 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).
+// copy in its runtime/ bundle, kept by scripts/hfs/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
@@ -26,7 +26,7 @@ export function secondLanguageHits(text) {
 
 /**
  * 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.
+ * (scripts/checks/check-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']);
 

package/runtime/scripts/lib/path-key.mjs

@@ -15,3 +15,5 @@ export const foldCase = (p) => (WIN ? p.toLowerCase() : p);
 export const samePath = (a, b) => foldCase(a) === foldCase(b);
 /** A path's comparable identity: absolute, forward slashes, no trailing slash, case-folded on Windows. */
 export const pathKey = (p) => foldCase(slash(path.resolve(p)).replace(/\/+$/, ''));
+/** A work-relative path in one spelling: forward slashes, no leading ./, no trailing slash. */
+export const normWork = (p) => String(p ?? '').trim().replaceAll('\\', '/').replace(/^\.\/+/, '').replace(/\/+$/, '');

package/runtime/scripts/lib/stack-declaration.mjs

@@ -1,6 +1,6 @@
 // stack-declaration.mjs - the one reader of a repository's stack declaration (.starcistacks/application-stacks.yaml): where it
-// lives, its bounded read and parse, and the stack block of one service as declared. scripts/checks/check-starcistacks.mjs (the
-// services contract) and scripts/lib/hfs-rules/stacks.mjs (the .starcistacks shape, R10) both read it here; this file imports
+// lives, its bounded read and parse, and the stack block of one service as declared. scripts/gates/starcistacks.mjs (the
+// services contract) and scripts/hfs/rules/stacks.mjs (the .starcistacks shape, R10) both read it here; this file imports
 // nothing of the kernel, so the published @starci/hfs bundle carries it without the ledger.
 import fs from 'node:fs';
 import path from 'node:path';

package/runtime/scripts/{checks/common.mjs → lib/walk.mjs}

@@ -1,23 +1,12 @@
+// walk.mjs - filesystem walking helpers: isInside (containment) and walkFiles (depth-first file listing).
 import fs from 'node:fs';
 import path from 'node:path';
-import {fileURLToPath} from 'node:url';
 
 /** Whether `target` is `root` itself or inside it (filesystem paths, either separator). */
 export function isInside(root, target) {
   const relative = path.relative(root, target);
   return relative === '' || (!relative.startsWith(`..${path.sep}`) && relative !== '..' && !path.isAbsolute(relative));
 }
-
-/** True when this module is the process entry point (`node file.mjs`, not an import). */
-/** The real path of a file, or its resolved path when it cannot be read (a missing file is never the entry module). */
-const realPathOf = (file) => { try { return fs.realpathSync.native(path.resolve(file)); } catch { return path.resolve(file); } };
-/**
- * True when the module at `metaUrl` is the process entry point. Both sides are compared as REAL paths: Node gives a module
- * its symlink-resolved URL, while argv[1] keeps the path it was started with, so an entry reached through a node_modules
- * junction or symlink (a lane worktree, an npx shim) would otherwise look like an import and silently do nothing.
- */
-export const isMain = (metaUrl, argv = process.argv) => Boolean(argv[1]) && realPathOf(argv[1]) === realPathOf(fileURLToPath(metaUrl));
-
 /**
  * Every entry under `dir` that is not a directory, depth-first; `filter` sees the entry name and full
  * path. `sorted` sorts each directory's entries by name (default: readdir order). `exclude`

package/scaffold/app.mjs

@@ -19,7 +19,7 @@
 import fs from 'node:fs';
 import path from 'node:path';
 import { spawnSync } from 'node:child_process';
-import { loadSlotManifest, resolveRepoDeclaration } from '../runtime/scripts/lib/hfs-slots.mjs';
+import { loadSlotManifest, resolveRepoDeclaration } from '../runtime/scripts/hfs/slots.mjs';
 import { parseYaml } from '../runtime/engine/yaml.mjs';
 import { TEMPLATES_DIR, renderTargets, writeTargets } from '../sync/index.mjs';
 import { ScaffoldError } from './service.mjs';

package/scaffold/service.mjs

@@ -14,8 +14,8 @@
 import fs from 'node:fs';
 import path from 'node:path';
 import { createRequire } from 'node:module';
-import { explainPath } from '../runtime/scripts/lib/hfs-check.mjs';
-import { loadSlotManifest, readRepoDeclaration } from '../runtime/scripts/lib/hfs-slots.mjs';
+import { explainPath } from '../runtime/scripts/hfs/check.mjs';
+import { loadSlotManifest, readRepoDeclaration } from '../runtime/scripts/hfs/slots.mjs';
 
 export class ScaffoldError extends Error {
   constructor(code, message) {

package/sync/hygiene.mjs

@@ -1,21 +1,21 @@
 // hfs work-hygiene: the guard for the two trees an app tracks besides source. A file under the app root's .starciwork must be
 // product content (the .starciwork/.gitignore allowlist admits it, so agent output is refused), and a file under the app root's
 // .starcistacks must not be a plaintext secret (only *.enc is sealed). It is also the secrets guard of the commit: every staged file, in
-// any tree, is read from the index and judged with the one secret judgement of `hfs check` (scripts/lib/hfs-rules/secrets.mjs: a secret by
+// any tree, is read from the index and judged with the one secret judgement of `hfs check` (scripts/hfs/rules/secrets.mjs: a secret by
 // being, an .enc that is no sops envelope, a line that matches a secret pattern), so no plaintext secret reaches the history whatever
 // .gitignore says (`git add -f`, a path tracked before a rule tightened). There is no override. The pre-commit hook judges the staged
-// files; scripts/checks/check-hfs-sync.mjs judges every tracked file.
+// files; scripts/gates/hfs-sync.mjs judges every tracked file.
 //
 // Run inside a full runtime checkout — the repository under judgment is the checkout — it also reports the
-// state-root ledger findings of that checkout's scripts/lib/hk-orphan-ledgers.mjs: LEDGER_ORPHAN_STATE_ROOT and
+// state-root ledger findings of that checkout's scripts/housekeeping/hk-orphan-ledgers.mjs: LEDGER_ORPHAN_STATE_ROOT and
 // LEDGER_LEGACY_WORK_SQLITE (COOK-BRIEF F4 handover, incident 2026-09-30). Any other repository — a product repo,
-// a bare repo — carries no scripts/checks/ledger-hygiene.mjs at its root, so that section is silently absent:
+// a bare repo — carries no scripts/housekeeping/ledger-hygiene.mjs at its root, so that section is silently absent:
 // never a crash, never machine-state findings blamed on a repository that does not own them.
 import { execFileSync } from 'node:child_process';
 import fs from 'node:fs';
 import path from 'node:path';
 import { pathToFileURL } from 'node:url';
-import { secretFileFindings } from '../runtime/scripts/lib/hfs-rules/secrets.mjs';
+import { secretFileFindings } from '../runtime/scripts/hfs/rules/secrets.mjs';
 
 const PLAINTEXT_NAME = /(^|\/)(\.env(\..*)?|[^/]*\.(pem|key|identity|age))$/;
 /** The app root's work tree and stack tree, app-relative (hfs work-hygiene runs at the app root). */
@@ -83,14 +83,14 @@ export function judge(cwd, files) {
   return { checked: files.length, findings: [...findings, ...secretGuardFindings(cwd, files, refused)] };
 }
 
-// The scripts/checks/ledger-hygiene.mjs of the checkout under judgment: the root git names for `cwd`, which carries
+// The scripts/housekeeping/ledger-hygiene.mjs of the checkout under judgment: the root git names for `cwd`, which carries
 // that script only when the repository IS a full StarCi runtime checkout (packages/hfs/sync/ sits 3 directories
-// under such a root, the same computation packages/hfs/scripts/sync-runtime.mjs uses). A product repository — or a
+// under such a root, the same computation scripts/hfs/sync-runtime.mjs uses). A product repository — or a
 // bare repo — has no such file, so the section is silently absent wherever this module happens to be installed.
 const ledgerHygieneScript = cwd => {
   try {
     const root = execFileSync('git', ['rev-parse', '--show-toplevel'], { cwd, encoding: 'utf8' }).trim();
-    return path.join(root, 'scripts', 'checks', 'ledger-hygiene.mjs');
+    return path.join(root, 'scripts', 'housekeeping', 'ledger-hygiene.mjs');
   } catch {
     return null;
   }