@starci/hfs 4.11.21 → 4.12.0

package/runtime/scripts/hfs/architecture/reachability.mjs

@@ -1,313 +1,330 @@
-/**
- * HFS check 3, reachability (knowledge/hfs/slots.yaml rules BE_FEATURE_NOT_COMPOSED, FE_OWNER_REACHABLE):
- *   BE  every feature owner (be.feature) and every capability owner (be.domain, be.integrations, be.platform) must be
- *       composed into an app root: reachable from an app entry file (apps/<app>/src, the be.app.* owners) through runtime
- *       imports and re-exports. A type-only import composes nothing. A module reached only through a reached module
- *       is reached. An owner no root reaches is dead code: no process ever serves it.
- *   FE  every page/layout/overlay feature (fe.feature) must be mounted: reachable by runtime imports from a file of
- *       its app's route tree (apps/<app>/src/app, slot fe.route); and every string-literal href/redirect/router target
- *       must resolve to a route of that app (page.tsx / route.ts under src/app, route groups and [locale] transparent).
- * Only literals are judged: a computed href is counted as skipped, never guessed at.
- */
 import { byCodeUnit } from '../../lib/list.mjs';
-
 export const REACHABILITY_RULE_IDS = ['BE_FEATURE_NOT_COMPOSED', 'FE_OWNER_REACHABLE', 'FE_HREF_RESOLVES'];
-
 const BE_CAPABILITY_SLOTS = new Set(['be.domain', 'be.integrations', 'be.platform', 'be.platform.logging']);
 const TEST_FILE = /(?:\.(?:spec|test|stories|e2e-spec)\.[cm]?[jt]sx?$)|(?:(?:^|\/)__tests__\/)/;
 const ROUTE_FILE = /^(?:page|route)\.(?:tsx|ts|jsx|js)$/;
 const PLACEHOLDER = '\u0000';
 const REGEX_SPECIALS = /[.*+?^${}()|[\]\\]/g;
-const ESCAPE_MATCH = String.raw`\$&`;
-
+const ESCAPE_MATCH = String.raw `\$&`;
 /** Breadth-first reach over runtime, non-type-only edges (re-exports included) from `roots`. */
 function reachFrom(graph, roots) {
-  const forward = new Map();
-  for (const edge of graph.edges) {
-    if (!edge.runtime) continue;
-    if (!forward.has(edge.from)) forward.set(edge.from, []);
-    forward.get(edge.from).push(edge.to);
-  }
-  const reached = new Set(roots);
-  const queue = [...roots];
-  while (queue.length) {
-    for (const next of forward.get(queue.shift()) ?? []) {
-      if (reached.has(next)) continue;
-      reached.add(next);
-      queue.push(next);
+    const forward = new Map();
+    for (const edge of graph.edges) {
+        if (!edge.runtime)
+            continue;
+        if (!forward.has(edge.from))
+            forward.set(edge.from, []);
+        forward.get(edge.from)?.push(edge.to);
     }
-  }
-  return reached;
+    const reached = new Set(roots);
+    const queue = [...roots];
+    while (queue.length) {
+        for (const next of forward.get(queue.shift()) ?? []) {
+            if (reached.has(next))
+                continue;
+            reached.add(next);
+            queue.push(next);
+        }
+    }
+    return reached;
 }
-
 function ownerFiles(graph) {
-  const byUnit = new Map();
-  for (const [rel, node] of graph.files) {
-    if (!node.owner) continue;
-    const key = `${node.owner.slot}:${node.owner.root}`;
-    if (!byUnit.has(key)) byUnit.set(key, []);
-    byUnit.get(key).push(rel);
-  }
-  return byUnit;
+    const byUnit = new Map();
+    for (const [rel, node] of graph.files) {
+        if (!node.owner)
+            continue;
+        const key = `${node.owner.slot}:${node.owner.root}`;
+        if (!byUnit.has(key))
+            byUnit.set(key, []);
+        byUnit.get(key)?.push(rel);
+    }
+    return byUnit;
 }
-
 /** The file that stands for an owner in a finding: its public entry when the graph holds one, else its first file. */
 function entryOf(root, files) {
-  const base = root.replace(/\/$/, '');
-  const entry = new RegExp(String.raw`^${base.replace(REGEX_SPECIALS, ESCAPE_MATCH)}/index\.[tj]sx?$`);
-  return files.find(rel => entry.test(rel)) ?? [...files].sort(byCodeUnit)[0];
+    const base = root.replace(/\/$/, '');
+    const entry = new RegExp(String.raw `^${base.replace(REGEX_SPECIALS, ESCAPE_MATCH)}/index\.[tj]sx?$`);
+    return files.find(rel => entry.test(rel)) ?? [...files].sort(byCodeUnit)[0];
 }
-
 function backendAppRoots(byUnit) {
-  const rootFiles = [];
-  const appRoots = new Set();
-  for (const [key, files] of byUnit) {
-    const slot = key.slice(0, key.indexOf(':'));
-    if (!slot.startsWith('be.app.')) continue;
-    appRoots.add(key.slice(key.indexOf(':') + 1));
-    for (const rel of files) if (!TEST_FILE.test(rel)) rootFiles.push(rel);
-  }
-  return { rootFiles, roots: [...appRoots].sort(byCodeUnit) };
+    const rootFiles = [];
+    const appRoots = new Set();
+    for (const [key, files] of byUnit) {
+        const slot = key.slice(0, key.indexOf(':'));
+        if (!slot.startsWith('be.app.'))
+            continue;
+        appRoots.add(key.slice(key.indexOf(':') + 1));
+        for (const rel of files)
+            if (!TEST_FILE.test(rel))
+                rootFiles.push(rel);
+    }
+    return { rootFiles, roots: [...appRoots].sort(byCodeUnit) };
 }
-
 function reportUncomposedBackendOwners(byUnit, reached, roots, counts, violations) {
-  for (const [key, files] of [...byUnit].sort(([a], [b]) => a.localeCompare(b))) {
-    const slot = key.slice(0, key.indexOf(':'));
-    const root = key.slice(key.indexOf(':') + 1);
-    const feature = slot === 'be.feature';
-    if (!feature && !BE_CAPABILITY_SLOTS.has(slot)) continue;
-    counts[feature ? 'features' : 'modules'] += 1;
-    if (files.some(rel => reached.has(rel))) continue;
-    counts.notComposed += 1;
-    const label = root.replace(/\/$/, '');
-    violations.push({
-      ruleId: 'BE_FEATURE_NOT_COMPOSED',
-      path: entryOf(root, files), owner: label, slot, appRoots: roots,
-      message: `${feature ? 'Feature' : 'Module'} ${label} is not composed into any app: no runtime import path leads from ${roots.join(', ')} to it (a type-only import composes nothing), so it is dead code that no process serves.`,
-    });
-  }
+    for (const [key, files] of [...byUnit].sort(([a], [b]) => a.localeCompare(b))) {
+        const slot = key.slice(0, key.indexOf(':'));
+        const root = key.slice(key.indexOf(':') + 1);
+        const feature = slot === 'be.feature';
+        if (!feature && !BE_CAPABILITY_SLOTS.has(slot))
+            continue;
+        counts[feature ? 'features' : 'modules'] += 1;
+        if (files.some(rel => reached.has(rel)))
+            continue;
+        counts.notComposed += 1;
+        const label = root.replace(/\/$/, '');
+        violations.push({
+            ruleId: 'BE_FEATURE_NOT_COMPOSED',
+            path: entryOf(root, files), owner: label, slot, appRoots: roots,
+            message: `${feature ? 'Feature' : 'Module'} ${label} is not composed into any app: no runtime import path leads from ${roots.join(', ')} to it (a type-only import composes nothing), so it is dead code that no process serves.`,
+        });
+    }
 }
-
 function checkBackend(graph) {
-  const byUnit = ownerFiles(graph);
-  const { rootFiles, roots } = backendAppRoots(byUnit);
-  const counts = { features: 0, modules: 0, appRoots: roots.length, notComposed: 0 };
-  if (!roots.length) return { violations: [], coverage: { status: 'unavailable', reason: 'no be.app.* owner instance holds a source file, so there is no app root to compose into', ...counts } };
-  const reached = reachFrom(graph, rootFiles);
-  const violations = [];
-  reportUncomposedBackendOwners(byUnit, reached, roots, counts, violations);
-  reportUncomposedTransports(graph, reached, roots, counts, violations);
-  return { violations, coverage: { status: 'checked', ...counts } };
+    const byUnit = ownerFiles(graph);
+    const { rootFiles, roots } = backendAppRoots(byUnit);
+    const counts = { features: 0, modules: 0, appRoots: roots.length, notComposed: 0 };
+    if (!roots.length)
+        return { violations: [], coverage: { status: 'unavailable', reason: 'no be.app.* owner instance holds a source file, so there is no app root to compose into', ...counts } };
+    const reached = reachFrom(graph, rootFiles);
+    const violations = [];
+    reportUncomposedBackendOwners(byUnit, reached, roots, counts, violations);
+    reportUncomposedTransports(graph, reached, roots, counts, violations);
+    return { violations, coverage: { status: 'checked', ...counts } };
 }
-
 /** A reached feature does not compose its other transport modules. Judge each module's runtime path. */
 function reportUncomposedTransports(graph, reached, roots, counts, violations) {
-  for (const [rel, node] of graph.files) {
-    if (!node.owner || !rel.startsWith('src/features/') || TEST_FILE.test(rel)) continue;
-    if (!/\/transport\/[^/]+\/[^/]+\.module\.[cm]?[jt]sx?$/.test(rel) || reached.has(rel)) continue;
-    counts.notComposed += 1;
-    violations.push({
-      ruleId: 'BE_FEATURE_NOT_COMPOSED', path: rel, owner: node.owner.root, slot: node.slot, appRoots: roots,
-      message: `Transport module ${rel} is not composed into any app: no runtime import path leads from ${roots.join(', ')} to it (a type-only import composes nothing).`,
-    });
-  }
+    for (const [rel, node] of graph.files) {
+        if (!node.owner || !rel.startsWith('src/features/') || TEST_FILE.test(rel))
+            continue;
+        if (!/\/transport\/[^/]+\/[^/]+\.module\.[cm]?[jt]sx?$/.test(rel) || reached.has(rel))
+            continue;
+        counts.notComposed += 1;
+        violations.push({
+            ruleId: 'BE_FEATURE_NOT_COMPOSED', path: rel, owner: node.owner.root, slot: node.slot, appRoots: roots,
+            message: `Transport module ${rel} is not composed into any app: no runtime import path leads from ${roots.join(', ')} to it (a type-only import composes nothing).`,
+        });
+    }
 }
-
 /** Route table of one app: arrays of segments, each {kind:'static'|'dyn'|'catch'|'optcatch', text}. */
 function routeSegmentsOf(parts) {
-  const segments = [];
-  let usable = true;
-  for (const part of parts) {
-    if (/^\([^.)][^)]*\)$/.test(part)) continue;            // route group
-    if (part.startsWith('@')) continue;                      // parallel slot: no URL segment
-    if (part.startsWith('_') || /^\(\.+\)/.test(part)) { usable = false; break; } // private folder, intercepting route
-    segments.push(part);
-  }
-  if (!usable) return null;
-  if (segments[0] === '[locale]') segments.shift();
-  return segments;
+    const segments = [];
+    let usable = true;
+    for (const part of parts) {
+        if (/^\([^.)][^)]*\)$/.test(part))
+            continue; // route group
+        if (part.startsWith('@'))
+            continue; // parallel slot: no URL segment
+        if (part.startsWith('_') || /^\(\.+\)/.test(part)) {
+            usable = false;
+            break;
+        } // private folder, intercepting route
+        segments.push(part);
+    }
+    if (!usable)
+        return null;
+    if (segments[0] === '[locale]')
+        segments.shift();
+    return segments;
 }
-
 function routeSegmentOf(part) {
-  if (/^\[\[\.\.\..+\]\]$/.test(part)) return { kind: 'optcatch', text: part };
-  if (/^\[\.\.\..+\]$/.test(part)) return { kind: 'catch', text: part };
-  if (/^\[.+\]$/.test(part)) return { kind: 'dyn', text: part };
-  return { kind: 'static', text: part };
+    if (/^\[\[\.\.\..+\]\]$/.test(part))
+        return { kind: 'optcatch', text: part };
+    if (/^\[\.\.\..+\]$/.test(part))
+        return { kind: 'catch', text: part };
+    if (/^\[.+\]$/.test(part))
+        return { kind: 'dyn', text: part };
+    return { kind: 'static', text: part };
 }
-
 function routeTable(graph, app) {
-  const prefix = `apps/${app}/src/app/`;
-  const routes = [];
-  for (const rel of graph.files.keys()) {
-    if (!rel.startsWith(prefix)) continue;
-    const parts = rel.slice(prefix.length).split('/');
-    if (!ROUTE_FILE.test(parts.at(-1))) continue;
-    const segments = routeSegmentsOf(parts.slice(0, -1));
-    if (segments === null) continue;
-    routes.push(segments.map(routeSegmentOf));
-  }
-  return routes;
+    const prefix = `apps/${app}/src/app/`;
+    const routes = [];
+    for (const rel of graph.files.keys()) {
+        if (!rel.startsWith(prefix))
+            continue;
+        const parts = rel.slice(prefix.length).split('/');
+        if (!ROUTE_FILE.test(parts.at(-1)))
+            continue;
+        const segments = routeSegmentsOf(parts.slice(0, -1));
+        if (segments === null)
+            continue;
+        routes.push(segments.map(routeSegmentOf));
+    }
+    return routes;
 }
-
 /** One href segment (may contain PLACEHOLDER for a template expression) against one route segment. */
 function segmentMatches(hrefSegment, routeSegment) {
-  if (!hrefSegment.includes(PLACEHOLDER)) return routeSegment.kind === 'dyn' || routeSegment.text === hrefSegment;
-  if (routeSegment.kind === 'dyn' || routeSegment.kind === 'catch' || routeSegment.kind === 'optcatch') return true;
-  const parts = hrefSegment.split(PLACEHOLDER).map(part => part.replace(/[.*+?^${}()|[\]\\]/g, String.raw`\$&`));
-  return new RegExp(`^${parts.join('.*')}$`).test(routeSegment.text);
+    if (!hrefSegment.includes(PLACEHOLDER))
+        return routeSegment.kind === 'dyn' || routeSegment.text === hrefSegment;
+    if (routeSegment.kind === 'dyn' || routeSegment.kind === 'catch' || routeSegment.kind === 'optcatch')
+        return true;
+    const parts = hrefSegment.split(PLACEHOLDER).map(part => part.replace(/[.*+?^${}()|[\]\\]/g, String.raw `\$&`));
+    return new RegExp(`^${parts.join('.*')}$`).test(routeSegment.text);
 }
-
 function matchRoute(hrefSegments, route, at = 0, from = 0) {
-  if (from === route.length) return at === hrefSegments.length;
-  const routeSegment = route[from];
-  if (routeSegment.kind === 'optcatch' && matchRoute(hrefSegments, route, at, from + 1)) return true;
-  if (routeSegment.kind === 'catch' || routeSegment.kind === 'optcatch') {
-    for (let take = 1; at + take <= hrefSegments.length; take += 1) if (matchRoute(hrefSegments, route, at + take, from + 1)) return true;
-    return false;
-  }
-  if (at >= hrefSegments.length || !segmentMatches(hrefSegments[at], routeSegment)) return false;
-  return matchRoute(hrefSegments, route, at + 1, from + 1);
+    if (from === route.length)
+        return at === hrefSegments.length;
+    const routeSegment = route[from];
+    if (routeSegment.kind === 'optcatch' && matchRoute(hrefSegments, route, at, from + 1))
+        return true;
+    if (routeSegment.kind === 'catch' || routeSegment.kind === 'optcatch') {
+        for (let take = 1; at + take <= hrefSegments.length; take += 1)
+            if (matchRoute(hrefSegments, route, at + take, from + 1))
+                return true;
+        return false;
+    }
+    if (at >= hrefSegments.length || !segmentMatches(hrefSegments[at], routeSegment))
+        return false;
+    return matchRoute(hrefSegments, route, at + 1, from + 1);
 }
-
 function hrefResolves(href, routes) {
-  const cut = href.search(/[?#]/);
-  const pathOnly = cut === -1 ? href : href.slice(0, cut);
-  const segments = pathOnly.split('/').slice(1).filter(segment => segment !== '');
-  const candidates = [segments];
-  // A leading locale (a literal `en`/`vi-VN` or a bare template expression) is what [locale] carries: try without it too.
-  if (segments.length && (/^[a-z]{2}(?:-[a-zA-Z]{2})?$/.test(segments[0]) || segments[0] === PLACEHOLDER)) candidates.push(segments.slice(1));
-  return candidates.some(candidate => routes.some(route => matchRoute(candidate, route)));
+    const cut = href.search(/[?#]/);
+    const pathOnly = cut === -1 ? href : href.slice(0, cut);
+    const segments = pathOnly.split('/').slice(1).filter(segment => segment !== '');
+    const candidates = [segments];
+    // A leading locale (a literal `en`/`vi-VN` or a bare template expression) is what [locale] carries: try without it too.
+    if (segments.length && (/^[a-z]{2}(?:-[a-zA-Z]{2})?$/.test(segments[0]) || segments[0] === PLACEHOLDER))
+        candidates.push(segments.slice(1));
+    return candidates.some(candidate => routes.some(route => matchRoute(candidate, route)));
 }
-
 /** The text of a string-ish expression with PLACEHOLDER for each ${...}; null when it is not a literal we can read. */
 function literalText(ts, node) {
-  if (!node) return null;
-  while (ts.isParenthesizedExpression(node) || ts.isAsExpression(node) || ts.isNonNullExpression?.(node)) node = node.expression;
-  if (ts.isStringLiteralLike(node)) return node.text;                 // includes NoSubstitutionTemplateLiteral
-  if (ts.isTemplateExpression(node)) return node.head.text + node.templateSpans.map(span => PLACEHOLDER + span.literal.text).join('');
-  return null;
+    if (!node)
+        return null;
+    while (ts.isParenthesizedExpression(node) || ts.isAsExpression(node) || ts.isNonNullExpression?.(node))
+        node = node.expression;
+    if (ts.isStringLiteralLike(node))
+        return node.text; // includes NoSubstitutionTemplateLiteral
+    if (ts.isTemplateExpression(node))
+        return node.head.text + node.templateSpans.map(span => PLACEHOLDER + span.literal.text).join('');
+    return null;
 }
-
 const NAVIGATION_CALLS = new Set(['redirect', 'permanentRedirect']);
 const ROUTER_METHODS = new Set(['push', 'replace', 'prefetch']);
-
 /** Every href-like target in a source file: {node, text|null (null = computed)}. */
 function jsxHrefTarget(ts, node) {
-  if (!ts.isJsxAttribute(node) || !ts.isIdentifier(node.name) || node.name.text !== 'href' || !node.initializer) return null;
-  const value = ts.isJsxExpression(node.initializer) ? node.initializer.expression : node.initializer;
-  return { node: value ?? node, text: value ? literalText(ts, value) : null };
+    if (!ts.isJsxAttribute(node) || !ts.isIdentifier(node.name) || node.name.text !== 'href' || !node.initializer)
+        return null;
+    const value = ts.isJsxExpression(node.initializer) ? node.initializer.expression : node.initializer;
+    return { node: value ?? node, text: value ? literalText(ts, value) : null };
 }
-
 function routerNameOf(ts, callee) {
-  if (ts.isPropertyAccessExpression(callee) && ts.isIdentifier(callee.expression)) return callee.expression.text;
-  if (ts.isPropertyAccessExpression(callee) && ts.isPropertyAccessExpression(callee.expression)) return callee.expression.name.text;
-  return '';
+    if (ts.isPropertyAccessExpression(callee) && ts.isIdentifier(callee.expression))
+        return callee.expression.text;
+    if (ts.isPropertyAccessExpression(callee) && ts.isPropertyAccessExpression(callee.expression))
+        return callee.expression.name.text;
+    return '';
 }
-
 function isNavigationTarget(ts, callee) {
-  const routerName = routerNameOf(ts, callee);
-  return (ts.isIdentifier(callee) && NAVIGATION_CALLS.has(callee.text))
-    || (ts.isPropertyAccessExpression(callee) && ROUTER_METHODS.has(callee.name.text) && /router$/i.test(routerName));
+    const routerName = routerNameOf(ts, callee);
+    return (ts.isIdentifier(callee) && NAVIGATION_CALLS.has(callee.text))
+        || (ts.isPropertyAccessExpression(callee) && ROUTER_METHODS.has(callee.name.text) && /router$/i.test(routerName));
 }
-
 function callHrefTarget(ts, node) {
-  if (!ts.isCallExpression(node) || !node.arguments.length) return null;
-  const callee = node.expression;
-  if (!isNavigationTarget(ts, callee)) return null;
-  return { node: node.arguments[0], text: literalText(ts, node.arguments[0]) };
+    if (!ts.isCallExpression(node) || !node.arguments.length)
+        return null;
+    const callee = node.expression;
+    if (!isNavigationTarget(ts, callee))
+        return null;
+    return { node: node.arguments[0], text: literalText(ts, node.arguments[0]) };
 }
-
 function hrefTargetOf(ts, node) {
-  return jsxHrefTarget(ts, node) ?? callHrefTarget(ts, node);
+    return jsxHrefTarget(ts, node) ?? callHrefTarget(ts, node);
 }
-
 function hrefTargets(ts, sourceFile) {
-  const found = [];
-  const visit = node => {
-    const target = hrefTargetOf(ts, node);
-    if (target) found.push(target);
-    ts.forEachChild(node, visit);
-  };
-  visit(sourceFile);
-  return found;
+    const found = [];
+    const visit = (node) => {
+        const target = hrefTargetOf(ts, node);
+        if (target)
+            found.push(target);
+        ts.forEachChild(node, visit);
+    };
+    visit(sourceFile);
+    return found;
 }
-
 function appRouteRoots(graph) {
-  const apps = new Map();
-  for (const [rel, node] of graph.files) {
-    if (node.slot !== 'fe.route') continue;
-    const app = /^apps\/([^/]+)\/src\/app\//.exec(rel)?.[1];
-    if (!app) continue;
-    if (!apps.has(app)) apps.set(app, []);
-    apps.get(app).push(rel);
-  }
-  return apps;
+    const apps = new Map();
+    for (const [rel, node] of graph.files) {
+        if (node.slot !== 'fe.route')
+            continue;
+        const app = /^apps\/([^/]+)\/src\/app\//.exec(rel)?.[1];
+        if (!app)
+            continue;
+        if (!apps.has(app))
+            apps.set(app, []);
+        apps.get(app)?.push(rel);
+    }
+    return apps;
 }
-
 function reportUnreachableFrontendFeatures(byUnit, reachedByApp, counts, violations) {
-  for (const [key, files] of [...byUnit].sort(([a], [b]) => a.localeCompare(b))) {
-    if (!key.startsWith('fe.feature:')) continue;
-    const root = key.slice('fe.feature:'.length);
-    const app = /^apps\/([^/]+)\//.exec(root)?.[1];
-    counts.pages += 1;
-    const reached = reachedByApp.get(app);
-    if (reached && files.some(rel => reached.has(rel))) { counts.mounted += 1; continue; }
-    const label = root.replace(/\/$/, '');
-    violations.push({
-      ruleId: 'FE_OWNER_REACHABLE', path: entryOf(root, files), owner: label, app,
-      message: `${label} is not mounted: no runtime import path leads from a route file under apps/${app}/src/app to it (a type-only import mounts nothing), so the page is never shown.`,
-    });
-  }
+    for (const [key, files] of [...byUnit].sort(([a], [b]) => a.localeCompare(b))) {
+        if (!key.startsWith('fe.feature:'))
+            continue;
+        const root = key.slice('fe.feature:'.length);
+        const app = /^apps\/([^/]+)\//.exec(root)?.[1];
+        counts.pages += 1;
+        const reached = reachedByApp.get(app);
+        if (reached && files.some(rel => reached.has(rel))) {
+            counts.mounted += 1;
+            continue;
+        }
+        const label = root.replace(/\/$/, '');
+        violations.push({
+            ruleId: 'FE_OWNER_REACHABLE', path: entryOf(root, files), owner: label, app,
+            message: `${label} is not mounted: no runtime import path leads from a route file under apps/${app}/src/app to it (a type-only import mounts nothing), so the page is never shown.`,
+        });
+    }
 }
-
 function routeApps(graph, apps) {
-  return [...new Set([...apps.keys(), ...[...graph.files.keys()].map(rel => /^apps\/([^/]+)\/src\//.exec(rel)?.[1]).filter(Boolean)])].sort(byCodeUnit);
+    return [...new Set([...apps.keys(), ...[...graph.files.keys()].map(rel => /^apps\/([^/]+)\/src\//.exec(rel)?.[1]).filter((app) => Boolean(app))])].sort(byCodeUnit);
 }
-
 function hrefNeedsSkipping(text, routes) {
-  if (text === null || !text.startsWith('/') || text.startsWith('//') || !routes.length) return true;
-  const hrefPath = text.split(/[?#]/)[0];
-  return /\.[A-Za-z0-9]{1,6}$/.test(hrefPath.split('/').at(-1)); // static asset
+    if (text === null || !text.startsWith('/') || text.startsWith('//') || !routes.length)
+        return true;
+    const hrefPath = text.split(/[?#]/)[0];
+    return /\.[A-Za-z0-9]{1,6}$/.test(hrefPath.split('/').at(-1)); // static asset
 }
-
 function reportUnresolvedHref(app, rel, node, target, prefix, violations) {
-  const point = node.sourceFile.getLineAndCharacterOfPosition(target.node.getStart(node.sourceFile));
-  const shown = target.text.split(PLACEHOLDER).join('${…}');
-  violations.push({
-    ruleId: 'FE_HREF_RESOLVES', path: rel, line: point.line + 1, column: point.character + 1, app, href: shown,
-    message: `href "${shown}" matches no route of app ${app}: no page.tsx or route.ts under ${prefix}app serves that path.`,
-  });
+    const point = node.sourceFile.getLineAndCharacterOfPosition(target.node.getStart(node.sourceFile));
+    const shown = target.text.split(PLACEHOLDER).join('${…}');
+    violations.push({
+        ruleId: 'FE_HREF_RESOLVES', path: rel, line: point.line + 1, column: point.character + 1, app, href: shown,
+        message: `href "${shown}" matches no route of app ${app}: no page.tsx or route.ts under ${prefix}app serves that path.`,
+    });
 }
-
 function inspectAppHrefTargets(app, graph, ts, routes, counts, violations) {
-  const prefix = `apps/${app}/src/`;
-  for (const [rel, node] of graph.files) {
-    if (!rel.startsWith(prefix) || TEST_FILE.test(rel)) continue;
-    for (const target of hrefTargets(ts, node.sourceFile)) {
-      counts.hrefs += 1;
-      if (hrefNeedsSkipping(target.text, routes)) { counts.hrefsSkipped += 1; continue; }
-      if (hrefResolves(target.text, routes)) { counts.hrefsResolved += 1; continue; }
-      reportUnresolvedHref(app, rel, node, target, prefix, violations);
+    const prefix = `apps/${app}/src/`;
+    for (const [rel, node] of graph.files) {
+        if (!rel.startsWith(prefix) || TEST_FILE.test(rel))
+            continue;
+        for (const target of hrefTargets(ts, node.sourceFile)) {
+            counts.hrefs += 1;
+            if (hrefNeedsSkipping(target.text, routes)) {
+                counts.hrefsSkipped += 1;
+                continue;
+            }
+            if (hrefResolves(target.text, routes)) {
+                counts.hrefsResolved += 1;
+                continue;
+            }
+            reportUnresolvedHref(app, rel, node, target, prefix, violations);
+        }
     }
-  }
 }
-
-function checkFrontend(config, context, graph) {
-  const ts = context.ts ?? context.loaded.ts;
-  const byUnit = ownerFiles(graph);
-  const apps = appRouteRoots(graph);
-  const counts = { pages: 0, mounted: 0, hrefs: 0, hrefsResolved: 0, hrefsSkipped: 0, routes: 0 };
-  const violations = [];
-  const reachedByApp = new Map([...apps].map(([app, roots]) => [app, reachFrom(graph, roots)]));
-  reportUnreachableFrontendFeatures(byUnit, reachedByApp, counts, violations);
-  for (const app of routeApps(graph, apps)) {
-    const routes = routeTable(graph, app);
-    counts.routes += routes.length;
-    inspectAppHrefTargets(app, graph, ts, routes, counts, violations);
-  }
-  return { violations, coverage: { status: 'checked', ...counts } };
+function checkFrontend(_config, context, graph) {
+    const ts = context.ts ?? context.loaded.ts;
+    const byUnit = ownerFiles(graph);
+    const apps = appRouteRoots(graph);
+    const counts = { pages: 0, mounted: 0, hrefs: 0, hrefsResolved: 0, hrefsSkipped: 0, routes: 0 };
+    const violations = [];
+    const reachedByApp = new Map([...apps].map(([app, roots]) => [app, reachFrom(graph, roots)]));
+    reportUnreachableFrontendFeatures(byUnit, reachedByApp, counts, violations);
+    for (const app of routeApps(graph, apps)) {
+        const routes = routeTable(graph, app);
+        counts.routes += routes.length;
+        inspectAppHrefTargets(app, graph, ts, routes, counts, violations);
+    }
+    return { violations, coverage: { status: 'checked', ...counts } };
 }
-
-export function checkReachability({ config, context, graph } = {}) {
-  return graph.profile === 'be' ? checkBackend(graph) : checkFrontend(config, context, graph);
+export function checkReachability({ config, context, graph }) {
+    return graph.profile === 'be' ? checkBackend(graph) : checkFrontend(config, context, graph);
 }

package/runtime/scripts/hfs/architecture/register-once.d.mts

@@ -0,0 +1,18 @@
+import type { CheckResult, HfsCheckInput } from './context-map.mjs';
+/**
+ * R45 `register-once` (BE_MODULE_SHAPE), the module graph read from the app roots (owner rule of 2026-09-30, the
+ * reference's `CodingModule imports DeviceModule` shape). Each capability has one representative module: the only module
+ * of the capability an app registers, once, in `apps/<app>/src/app.module.ts` as `X.register({ isGlobal: true, ... })`, or in a
+ * composition group `apps/<app>/src/compose/<area>.ts` the root spreads (an app root here means the root and its groups).
+ * It may split itself into sub-modules imported as `imports: [Sub.register({})]`; a sub-module is never in an app and has one
+ * importer, its parent. Over every `@Module` class of the program:
+ *
+ *   - a module in an app root's imports (a `X.register(...)` call or a listed class, helpers of the root included) is
+ *     listed once there, is imported by no other module, and, when it is a capability module of src/modules, is registered
+ *     with the literal `isGlobal: true` (a bare capability class is not a registration);
+ *   - a module imported by a non-app module (as `Sub.register({})`) has exactly one importer and appears in no app root; the one exception is
+ *     the feature case: a feature's application module is imported by each protocol module of the same feature;
+ *   - `isGlobal: true` appears only in an app root.
+ */
+export declare const REGISTER_ONCE_RULE_IDS: string[];
+export declare function checkRegisterOnce(input: HfsCheckInput): CheckResult;