@aurorajs.dev/catalyst-cli 1.1.3 → 2.0.0

package/dist/templates/monorepo/scripts/harness-rules/lint-barrels.ts

@@ -1,8 +1,11 @@
 /**
- * lint-barrels.ts — Linter determinista para HR-BARRELS-002 y HR-BARRELS-003 (deep-path imports).
+ * lint-barrels.ts — Linter determinista para HR-BARRELS-002 y HR-BARRELS-004 (deep-path imports).
  *
- * HR-BARRELS-003 sustituye a la derogada HR-BARRELS-001 (change reduce-frontend-eager-payload,
- * task 5.5): mismos chequeos de deep-path, ahora atribuidos al id activo. El discriminante de
+ * HR-BARRELS-004 sustituye a la derogada HR-BARRELS-003 (T-45: defecto de proceso — la excepción
+ * por `import()` dinámico se había editado en sitio sobre HR-BARRELS-003 en vez de derogar+crear;
+ * ver `cliter/harness-rules/barrels.md`). HR-BARRELS-003, a su vez, sustituyó a la derogada
+ * HR-BARRELS-001 (change reduce-frontend-eager-payload, task 5.5): mismos chequeos de deep-path,
+ * ahora atribuidos al id activo. El discriminante de
  * unidad gobernada (`unitOf`) se extendió para tratar cada superficie declarada del @aurora
  * frontend (grupo o módulo, tabla D1 del design de esa change) como unidad — la tabla de alias de
  * `frontend/tsconfig.json` no puede impedir que un specifier RELATIVO escape a un fichero de
@@ -64,6 +67,13 @@ const FRONTEND_AURORA_MODULE_SURFACES = new Set([
 export interface ExtractedSpecifier {
   specifier: string;
   line: number;
+  /**
+   * 'dynamic': proviene de un `import('...')` con literal — es un límite de code-splitting
+   * deliberado (T-45, HR-BARRELS-004 caso 10): Angular emite un chunk propio por specifier
+   * concreto, así que classifyImport() lo exime de la regla POR FORMA, nunca por fichero.
+   * 'static': import/export ... from, o jest.mock() — sigue gobernado sin cambios.
+   */
+  kind: 'static' | 'dynamic';
 }
 
 /** Resultado de un chequeo 002 sobre un fichero o especificador. */
@@ -140,7 +150,7 @@ export function unitOf(absolutePath: string, repoRoot: string): string | undefin
     return undefined;
   }
 
-  // Frontend @aurora — superficies declaradas (D1 de reduce-frontend-eager-payload, HR-BARRELS-003)
+  // Frontend @aurora — superficies declaradas (D1 de reduce-frontend-eager-payload, HR-BARRELS-004)
   const frontendAuroraPrefix = path.join(repoRoot, 'frontend', 'src', '@aurora') + path.sep;
   if (absolutePath.startsWith(frontendAuroraPrefix)) {
     const relative = absolutePath.slice(frontendAuroraPrefix.length);
@@ -233,18 +243,33 @@ export function resolveSpecifier(
 
 /**
  * Prueba las extensiones/index habituales para un path base.
- * Orden: directorio con index.ts, .ts directo, /index.ts explícito.
+ *
+ * GROUP 10 (10.2): si `base` ya trae un specifier ESM explícito (termina en `/index.js` o en
+ * `.js`), el candidato de esa forma se prueba PRIMERO, mapeado a la extensión `.ts` que el
+ * compilador realmente emite (`x/index.js` → `x/index.ts`; `x.js` → `x.ts`) — el mismo mapeo
+ * que `scripts/packager/monorepo-script-paths.test.mjs` ya aplica sobre el árbol de plantillas.
+ * Esto REPARA la resolución; no afloja nada: un specifier que no resuelve en ninguna forma sigue
+ * sin resolver (fail-open intacto, D lint original).
  */
 function resolveWithExtensions(
   base: string,
   exists: (p: string) => boolean,
 ): string | undefined {
-  // Candidatos en orden de preferencia
-  const candidates = [
+  const candidates: string[] = [];
+
+  // `/index.js` (carpeta con barrel) y `.js` (fichero) son el MISMO caso aquí: ambos
+  // terminan en `.js`, y mapear ese sufijo a `.ts` da la ruta correcta en los dos —
+  // `x/index.js` → `x/index.ts`, `x.js` → `x.ts`.
+  if (base.endsWith('.js')) {
+    candidates.push(base.slice(0, -'.js'.length) + '.ts');
+  }
+
+  // Candidatos de la forma extensionless histórica, en el mismo orden de preferencia.
+  candidates.push(
     base + '/index.ts', // carpeta con index
-    base + '.ts',       // fichero con extensión
-    base,               // ruta literal (si ya tiene extensión)
-  ];
+    base + '.ts', // fichero con extensión
+    base, // ruta literal (si ya tiene extensión)
+  );
 
   for (const candidate of candidates) {
     if (exists(candidate)) return candidate;
@@ -298,8 +323,9 @@ export function extractSpecifiers(source: string): ExtractedSpecifier[] {
   //
   // Regex 1: import('<specifier>') dinámico con literal
   const DYNAMIC_RE = /\bimport\(\s*(['"])(.*?)\1\s*\)/g;
-  // Regex 2: jest.mock('<specifier>')
-  const MOCK_RE = /jest\.mock\(\s*(['"])(.*?)\1\s*[,)]/g;
+  // Regex 2: jest.mock('<specifier>') o vi.mock('<specifier>') — el backend migró a Vitest
+  // (81 ficheros) y el frontend ya tenía 12 ficheros vi.mock que la extracción jest-only nunca vio.
+  const MOCK_RE = /\b(?:jest|vi)\.mock\(\s*(['"])(.*?)\1\s*[,)]/g;
 
   // Verificamos que un "from '...'" esté precedido de import/export (no el from de otros contextos)
   // Usamos una segunda regex para confirmar el contexto del "from" encontrado.
@@ -318,6 +344,7 @@ export function extractSpecifiers(source: string): ExtractedSpecifier[] {
     results.push({
       specifier,
       line: lineAt(specifierOffset),
+      kind: 'static',
     });
   }
 
@@ -326,6 +353,7 @@ export function extractSpecifiers(source: string): ExtractedSpecifier[] {
     results.push({
       specifier: match[2],
       line: lineAt(match.index),
+      kind: 'dynamic',
     });
   }
 
@@ -334,6 +362,7 @@ export function extractSpecifiers(source: string): ExtractedSpecifier[] {
     results.push({
       specifier: match[2],
       line: lineAt(match.index),
+      kind: 'static',
     });
   }
 
@@ -348,11 +377,14 @@ export function extractSpecifiers(source: string): ExtractedSpecifier[] {
 // ---------------------------------------------------------------------------
 
 /**
- * Clasifica un import individual como 'ok' o 'violation' según HR-BARRELS-003 (D2-D4; regla
- * activa desde la derogación de HR-BARRELS-001 en reduce-frontend-eager-payload).
+ * Clasifica un import individual como 'ok' o 'violation' según HR-BARRELS-004 (D2-D4; regla
+ * activa desde la derogación de HR-BARRELS-003, T-45 — que a su vez sustituyó a la derogada
+ * HR-BARRELS-001 en reduce-frontend-eager-payload).
  *
  * Algoritmo (D2 del design):
  *   T = resolveSpecifier(specifier)
+ *   isDynamicImport              → OK (T-45: import() dinámico — chunk boundary deliberado, ver
+ *                                  HR-BARRELS-004 caso 10 en cliter/harness-rules/barrels.md)
  *   unidad(T) = undefined       → OK (target sin unidad: @api/graphql, seeds, @aurora/decorators…)
  *   unidad(T) = unidad(importer)→ OK (mismo módulo, cualquier forma)
  *   distinto                    → T debe ser carpeta con index.ts (barrel o sub-barrel)
@@ -364,7 +396,15 @@ export function classifyImport(
   tsconfigPaths: TsconfigPaths,
   exists: (absPath: string) => boolean,
   repoRoot: string,
+  isDynamicImport = false,
 ): ImportClassification {
+  // HR-BARRELS-004 caso 10: un import() dinámico con literal es el límite de code-splitting que
+  // Angular usa para emitir un chunk propio por ruta lazy (loadComponent/loadChildren). Enrutarlo
+  // por un barrel de grupo arrastraría el módulo entero al chunk — la regresión que la regla
+  // existe para evitar (change reduce-frontend-eager-payload). Exención por FORMA del import,
+  // nunca por nombre de fichero: un import ... from ESTÁTICO al mismo target sigue violando.
+  if (isDynamicImport) return 'ok';
+
   const resolved = resolveSpecifier(specifier, importerAbsPath, tsconfigPaths, exists);
   if (resolved === undefined) {
     // No se pudo resolver → no bloquear (fail-open en cero info)
@@ -436,7 +476,7 @@ export function suggestBarrel(
     }
   }
 
-  // Frontend @aurora — mismas superficies declaradas que unitOf() (task 5.8, HR-BARRELS-003):
+  // Frontend @aurora — mismas superficies declaradas que unitOf() (task 5.8, HR-BARRELS-004):
   // sin esta rama, un target aquí SÍ tiene unidad (unitOf) pero el mensaje no nombra el alias.
   const frontendAuroraPrefix = path.join(repoRoot, 'frontend', 'src', '@aurora') + path.sep;
   if (resolvedTargetPath.startsWith(frontendAuroraPrefix)) {
@@ -496,9 +536,10 @@ export const checkBarrels002 = {
 
     lines.forEach((lineText, idx) => {
       const lineNum = idx + 1;
-      // Detecta "export ... from './adapters'" (el sub-barrel completo) — caso 3 prohibido
-      // NO detecta './adapters/validate-redirect-uri' (helper puro, caso 7 permitido)
-      if (/export\s+.*\s+from\s+['"]\.\/adapters['"]/.test(lineText)) {
+      // Detecta "export ... from './adapters'" o su forma explícita './adapters/index.js'
+      // (el sub-barrel completo) — caso 3 prohibido. NO detecta './adapters/validate-redirect-uri'
+      // ni su forma explícita './adapters/validate-redirect-uri.js' (helper puro, caso 7 permitido).
+      if (/export\s+.*\s+from\s+['"]\.\/adapters(?:\/index\.js)?['"]/.test(lineText)) {
         const specMatch = lineText.match(/from\s+['"]([^'"]+)['"]/);
         const specifier = specMatch ? specMatch[1] : './adapters';
         violations.push({
@@ -509,9 +550,9 @@ export const checkBarrels002 = {
         });
         return;
       }
-      // Detecta re-export de fichero *.adapter (p.ej. './adapters/x.adapter')
-      // Pero NO detecta helpers puros (sin sufijo .adapter)
-      if (/export\s+.*\s+from\s+['"][^'"]*\.adapter['"]/.test(lineText)) {
+      // Detecta re-export de fichero *.adapter (p.ej. './adapters/x.adapter' o './adapters/x.adapter.js')
+      // Pero NO detecta helpers puros (sin sufijo .adapter, con o sin '.js' explícito)
+      if (/export\s+.*\s+from\s+['"][^'"]*\.adapter(?:\.js)?['"]/.test(lineText)) {
         const specMatch = lineText.match(/from\s+['"]([^'"]+)['"]/);
         const specifier = specMatch ? specMatch[1] : '*.adapter';
         violations.push({
@@ -538,8 +579,9 @@ export const checkBarrels002 = {
     specifier: string,
     repoRoot: string,
   ): Check002Violation[] {
-    // Solo chequear cuando el specifier termina en '/adapters'
-    if (!/^@bridges\/[^/]+\/[^/]+\/adapters$/.test(specifier)) return [];
+    // Solo chequear cuando el specifier termina en '/adapters' o en su forma explícita
+    // '/adapters/index.js'.
+    if (!/^@bridges\/[^/]+\/[^/]+\/adapters(?:\/index\.js)?$/.test(specifier)) return [];
 
     if (isCompositionRoot(importerAbsPath, repoRoot)) return [];
 
@@ -635,16 +677,16 @@ function isCompositionRoot(absPath: string, repoRoot: string): boolean {
 // ---------------------------------------------------------------------------
 
 /**
- * Lee el índice del catálogo y devuelve la severidad y estado de HR-BARRELS-003 (deep-path
- * imports; sustituye a la derogada HR-BARRELS-001, task 5.5 de reduce-frontend-eager-payload) y
- * HR-BARRELS-002 (sin cambios).
+ * Lee el índice del catálogo y devuelve la severidad y estado de HR-BARRELS-004 (deep-path
+ * imports; sustituye a la derogada HR-BARRELS-003, T-45, que a su vez sustituyó a la derogada
+ * HR-BARRELS-001, task 5.5 de reduce-frontend-eager-payload) y HR-BARRELS-002 (sin cambios).
  */
 interface RuleMeta {
   severity: 'blocking' | 'informational';
   state: string;
 }
 
-function loadRuleMeta(repoRoot: string): { rule003: RuleMeta; rule002: RuleMeta } {
+function loadRuleMeta(repoRoot: string): { rule004: RuleMeta; rule002: RuleMeta } {
   const indexPath = path.join(repoRoot, 'cliter', 'harness-rules-index.json');
   const raw = fs.readFileSync(indexPath, 'utf-8');
   const index = JSON.parse(raw) as { byId: Record<string, { severity: string; state: string }> };
@@ -661,7 +703,7 @@ function loadRuleMeta(repoRoot: string): { rule003: RuleMeta; rule002: RuleMeta
   }
 
   return {
-    rule003: toMeta('HR-BARRELS-003'),
+    rule004: toMeta('HR-BARRELS-004'),
     rule002: toMeta('HR-BARRELS-002'),
   };
 }
@@ -854,7 +896,7 @@ export function lintFile(
   }
 
   // Chequeos por especificador
-  for (const { specifier, line } of specifiers) {
+  for (const { specifier, line, kind: specifierKind } of specifiers) {
     // Chequeo 002-B: import de .../adapters fuera de composition roots
     const adapterImportViolations = checkBarrels002.checkAdaptersImportOutsideCompositionRoots(
       absolutePath,
@@ -872,13 +914,14 @@ export function lintFile(
       });
     }
 
-    // Chequeo 001: classificación de import
+    // Chequeo 001: classificación de import (T-45: 'dynamic' exime por FORMA, ver classifyImport)
     const classification = classifyImport(
       absolutePath,
       specifier,
       tsconfigPaths,
       existsOnDisk,
       repoRoot,
+      specifierKind === 'dynamic',
     );
 
     if (classification === 'violation') {
@@ -906,13 +949,13 @@ export function main(): void {
   const args = process.argv.slice(2).filter((a) => !a.startsWith('--'));
   const files = args.length > 0 ? args.map((a) => path.resolve(a)) : collectGoverned(repoRoot);
 
-  // rule003 gobierna los findings de kind '001' (deep-path): el tag interno 'kind: 001' identifica
+  // rule004 gobierna los findings de kind '001' (deep-path): el tag interno 'kind: 001' identifica
   // la FAMILIA de chequeo (heredada de HR-BARRELS-001), no el id de catálogo que la gobierna hoy.
-  const { rule003, rule002 } = loadRuleMeta(repoRoot);
+  const { rule004, rule002 } = loadRuleMeta(repoRoot);
   const tsconfigPaths = { ...loadBackendPaths(repoRoot), ...loadFrontendPaths(repoRoot) };
 
   // Apagar chequeos de reglas no activas
-  const check003Active = rule003.state === 'active';
+  const check004Active = rule004.state === 'active';
   const check002Active = rule002.state === 'active';
 
   interface FileFindings {
@@ -937,7 +980,7 @@ export function main(): void {
     const generated = isGeneratedFile(content);
     const rawFindings = lintFile(file, content, tsconfigPaths, repoRoot);
 
-    const findings001 = check003Active
+    const findings001 = check004Active
       ? (rawFindings.filter((f) => f.kind === '001') as Finding001[])
       : [];
     const findings002 = check002Active
@@ -960,9 +1003,9 @@ export function main(): void {
       ...ff.findings001.map(() => ({ kind: '001' as const, isGenerated: false })),
       ...ff.findings002.map(() => ({ kind: '002' as const, isGenerated: false })),
     ]),
-    rule003.severity,
+    rule004.severity,
     rule002.severity,
-    check003Active,
+    check004Active,
     check002Active,
   );
 
@@ -976,7 +1019,7 @@ export function main(): void {
         const relFile = path.relative(repoRoot, ff.file);
         for (const f of ff.findings001) {
           const barrel = f.suggestedBarrel ? ` → barrel sugerido: ${f.suggestedBarrel}` : '';
-          console.log(`  HR-BARRELS-003  ${relFile}:${f.line}  ${f.specifier}${barrel}`);
+          console.log(`  HR-BARRELS-004  ${relFile}:${f.line}  ${f.specifier}${barrel}`);
         }
         for (const f of ff.findings002) {
           const lineStr = f.line > 0 ? `:${f.line}` : '';
@@ -991,7 +1034,7 @@ export function main(): void {
         const relFile = path.relative(repoRoot, ff.file);
         for (const f of ff.findings001) {
           const barrel = f.suggestedBarrel ? ` → barrel sugerido: ${f.suggestedBarrel}` : '';
-          console.log(`  [generado] HR-BARRELS-003  ${relFile}:${f.line}  ${f.specifier}${barrel}`);
+          console.log(`  [generado] HR-BARRELS-004  ${relFile}:${f.line}  ${f.specifier}${barrel}`);
         }
         for (const f of ff.findings002) {
           const lineStr = f.line > 0 ? `:${f.line}` : '';