@pyreon/cli 0.15.0 → 0.16.0

package/lib/analysis/index.js.html

@@ -5386,7 +5386,7 @@ var drawChart = (function (exports) {
   </script>
   <script>
     /*<!--*/
-    const data = {"version":2,"tree":{"name":"root","children":[{"name":"index.js","children":[{"name":"src","children":[{"uid":"6e84cb74-1","name":"context.ts"},{"uid":"6e84cb74-3","name":"doctor.ts"},{"uid":"6e84cb74-5","name":"index.ts"}]}]}],"isRoot":true},"nodeParts":{"6e84cb74-1":{"renderedLength":1323,"gzipLength":627,"brotliLength":0,"metaUid":"6e84cb74-0"},"6e84cb74-3":{"renderedLength":5474,"gzipLength":1928,"brotliLength":0,"metaUid":"6e84cb74-2"},"6e84cb74-5":{"renderedLength":2212,"gzipLength":875,"brotliLength":0,"metaUid":"6e84cb74-4"}},"nodeMetas":{"6e84cb74-0":{"id":"/src/context.ts","moduleParts":{"index.js":"6e84cb74-1"},"imported":[{"uid":"6e84cb74-6"},{"uid":"6e84cb74-7"},{"uid":"6e84cb74-8"}],"importedBy":[{"uid":"6e84cb74-4"}]},"6e84cb74-2":{"id":"/src/doctor.ts","moduleParts":{"index.js":"6e84cb74-3"},"imported":[{"uid":"6e84cb74-6"},{"uid":"6e84cb74-7"},{"uid":"6e84cb74-8"}],"importedBy":[{"uid":"6e84cb74-4"}]},"6e84cb74-4":{"id":"/src/index.ts","moduleParts":{"index.js":"6e84cb74-5"},"imported":[{"uid":"6e84cb74-0"},{"uid":"6e84cb74-2"}],"importedBy":[],"isEntry":true},"6e84cb74-6":{"id":"node:fs","moduleParts":{},"imported":[],"importedBy":[{"uid":"6e84cb74-0"},{"uid":"6e84cb74-2"}]},"6e84cb74-7":{"id":"node:path","moduleParts":{},"imported":[],"importedBy":[{"uid":"6e84cb74-0"},{"uid":"6e84cb74-2"}]},"6e84cb74-8":{"id":"@pyreon/compiler","moduleParts":{},"imported":[],"importedBy":[{"uid":"6e84cb74-0"},{"uid":"6e84cb74-2"}]}},"env":{"rollup":"4.23.0"},"options":{"gzip":true,"brotli":false,"sourcemap":false}};
+    const data = {"version":2,"tree":{"name":"root","children":[{"name":"index.js","children":[{"name":"src","children":[{"uid":"599dd4cb-1","name":"context.ts"},{"uid":"599dd4cb-3","name":"doctor.ts"},{"uid":"599dd4cb-5","name":"index.ts"}]}]}],"isRoot":true},"nodeParts":{"599dd4cb-1":{"renderedLength":1323,"gzipLength":627,"brotliLength":0,"metaUid":"599dd4cb-0"},"599dd4cb-3":{"renderedLength":6054,"gzipLength":2002,"brotliLength":0,"metaUid":"599dd4cb-2"},"599dd4cb-5":{"renderedLength":2831,"gzipLength":1057,"brotliLength":0,"metaUid":"599dd4cb-4"}},"nodeMetas":{"599dd4cb-0":{"id":"/src/context.ts","moduleParts":{"index.js":"599dd4cb-1"},"imported":[{"uid":"599dd4cb-6"},{"uid":"599dd4cb-7"},{"uid":"599dd4cb-8"}],"importedBy":[{"uid":"599dd4cb-4"}]},"599dd4cb-2":{"id":"/src/doctor.ts","moduleParts":{"index.js":"599dd4cb-3"},"imported":[{"uid":"599dd4cb-6"},{"uid":"599dd4cb-7"},{"uid":"599dd4cb-8"}],"importedBy":[{"uid":"599dd4cb-4"}]},"599dd4cb-4":{"id":"/src/index.ts","moduleParts":{"index.js":"599dd4cb-5"},"imported":[{"uid":"599dd4cb-0"},{"uid":"599dd4cb-2"}],"importedBy":[],"isEntry":true},"599dd4cb-6":{"id":"node:fs","moduleParts":{},"imported":[],"importedBy":[{"uid":"599dd4cb-0"},{"uid":"599dd4cb-2"}]},"599dd4cb-7":{"id":"node:path","moduleParts":{},"imported":[],"importedBy":[{"uid":"599dd4cb-0"},{"uid":"599dd4cb-2"}]},"599dd4cb-8":{"id":"@pyreon/compiler","moduleParts":{},"imported":[],"importedBy":[{"uid":"599dd4cb-0"},{"uid":"599dd4cb-2"}]}},"env":{"rollup":"4.23.0"},"options":{"gzip":true,"brotli":false,"sourcemap":false}};
 
     const run = () => {
       const width = window.innerWidth;

package/lib/index.js

@@ -1,7 +1,7 @@
 #!/usr/bin/env node
 import * as fs from "node:fs";
 import * as path from "node:path";
-import { auditTestEnvironment, detectReactPatterns, formatTestAudit, generateContext as generateContext$1, hasReactPatterns, migrateReactCode } from "@pyreon/compiler";
+import { auditIslands, auditSsg, auditTestEnvironment, detectReactPatterns, formatIslandAudit, formatSsgAudit, formatTestAudit, generateContext as generateContext$1, hasReactPatterns, migrateReactCode } from "@pyreon/compiler";
 
 //#region src/context.ts
 /**
@@ -66,6 +66,28 @@ async function doctor(options) {
 			console.log("");
 		}
 	}
+	if (options.checkIslands) {
+		const islandsResult = auditIslands(options.cwd);
+		if (options.json) {
+			console.log("");
+			console.log(JSON.stringify({ islandAudit: islandsResult }, null, 2));
+		} else {
+			console.log("");
+			console.log(formatIslandAudit(islandsResult));
+			console.log("");
+		}
+	}
+	if (options.checkSsg) {
+		const ssgResult = auditSsg(options.cwd);
+		if (options.json) {
+			console.log("");
+			console.log(JSON.stringify({ ssgAudit: ssgResult }, null, 2));
+		} else {
+			console.log("");
+			console.log(formatSsgAudit(ssgResult));
+			console.log("");
+		}
+	}
 	return result.summary.totalErrors;
 }
 const sourceExtensions = new Set([
@@ -233,10 +255,16 @@ function printUsage() {
   pyreon <command> [options]
 
   Commands:
-    doctor [--fix] [--json] [--ci] [--audit-tests] [--audit-min-risk <level>]
+    doctor [--fix] [--json] [--ci] [--audit-tests] [--audit-min-risk <level>] [--check-islands] [--check-ssg]
                                      Scan for React patterns, bad imports, common mistakes.
                                      --audit-tests appends mock-vnode test-audit (PR #197 class).
                                      --audit-min-risk is high|medium|low (default medium).
+                                     --check-islands appends project-wide islands audit
+                                     (duplicate names, dead islands, registry drift, nested,
+                                     never-with-registry).
+                                     --check-ssg appends project-wide SSG / ISR audit
+                                     (_404.tsx placement, dynamic routes missing
+                                     getStaticPaths, non-literal revalidate exports).
     context [--out <path>]           Generate .pyreon/context.json for AI tools
 
   Options:
@@ -266,7 +294,9 @@ async function main() {
 			ci: args.includes("--ci"),
 			cwd: process.cwd(),
 			auditTests: args.includes("--audit-tests"),
-			auditMinRisk: rawRisk
+			auditMinRisk: rawRisk,
+			checkIslands: args.includes("--check-islands"),
+			checkSsg: args.includes("--check-ssg")
 		};
 		const exitCode = await doctor(options);
 		if (options.ci && exitCode > 0) process.exit(1);

package/lib/types/index.d.ts

@@ -23,6 +23,30 @@ interface DoctorOptions {
   auditTests?: boolean | undefined;
   /** Minimum risk level to include in the test-audit report. Default 'medium'. */
   auditMinRisk?: AuditRisk | undefined;
+  /**
+   * When true, run the project-wide islands audit and append the result
+   * to the doctor output. Catches cross-file foot-guns (duplicate names,
+   * dead islands, registry drift, nested islands, never-with-registry)
+   * that PR G's per-file detector and PR B's auto-registry can't reach
+   * (manual `hydrateIslands({...})` for non-Vite consumers, library
+   * authors, multi-package projects). Default false.
+   */
+  checkIslands?: boolean | undefined;
+  /**
+   * When true, run the project-wide SSG / ISR audit (M3.4) and append
+   * the result to the doctor output. Catches:
+   *  - `_404.tsx` not co-located with `_layout.tsx` (PR L5 carve-out)
+   *  - dynamic routes (`[id].tsx`) without `getStaticPaths` (PR A
+   *    silently skips them under `mode: 'ssg'`)
+   *  - `export const revalidate = X` where X isn't a numeric literal
+   *    (PR I's extractor silently drops non-literal forms)
+   *
+   * Like the islands audit, this is a "should review" signal — the exit
+   * code is unaffected (the build doesn't break) but CI can pipe
+   * `--check-ssg --json` and grep for findings.length > 0 to gate on
+   * it. Default false.
+   */
+  checkSsg?: boolean | undefined;
 }
 declare function doctor(options: DoctorOptions): Promise<number>;
 //#endregion

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pyreon/cli",
-  "version": "0.15.0",
+  "version": "0.16.0",
   "description": "CLI tools for Pyreon — doctor, generate, context",
   "homepage": "https://github.com/pyreon/pyreon/tree/main/packages/cli#readme",
   "bugs": {
@@ -46,7 +46,7 @@
     "prepublishOnly": "bun run build"
   },
   "dependencies": {
-    "@pyreon/compiler": "^0.15.0"
+    "@pyreon/compiler": "^0.16.0"
   },
   "peerDependencies": {
     "typescript": ">=5.0.0"

package/src/doctor.ts

@@ -17,9 +17,13 @@
 import * as fs from 'node:fs'
 import * as path from 'node:path'
 import {
+  auditIslands,
+  auditSsg,
   auditTestEnvironment,
   type AuditRisk,
   detectReactPatterns,
+  formatIslandAudit,
+  formatSsgAudit,
   formatTestAudit,
   hasReactPatterns,
   migrateReactCode,
@@ -41,6 +45,30 @@ export interface DoctorOptions {
   auditTests?: boolean | undefined
   /** Minimum risk level to include in the test-audit report. Default 'medium'. */
   auditMinRisk?: AuditRisk | undefined
+  /**
+   * When true, run the project-wide islands audit and append the result
+   * to the doctor output. Catches cross-file foot-guns (duplicate names,
+   * dead islands, registry drift, nested islands, never-with-registry)
+   * that PR G's per-file detector and PR B's auto-registry can't reach
+   * (manual `hydrateIslands({...})` for non-Vite consumers, library
+   * authors, multi-package projects). Default false.
+   */
+  checkIslands?: boolean | undefined
+  /**
+   * When true, run the project-wide SSG / ISR audit (M3.4) and append
+   * the result to the doctor output. Catches:
+   *  - `_404.tsx` not co-located with `_layout.tsx` (PR L5 carve-out)
+   *  - dynamic routes (`[id].tsx`) without `getStaticPaths` (PR A
+   *    silently skips them under `mode: 'ssg'`)
+   *  - `export const revalidate = X` where X isn't a numeric literal
+   *    (PR I's extractor silently drops non-literal forms)
+   *
+   * Like the islands audit, this is a "should review" signal — the exit
+   * code is unaffected (the build doesn't break) but CI can pipe
+   * `--check-ssg --json` and grep for findings.length > 0 to gate on
+   * it. Default false.
+   */
+  checkSsg?: boolean | undefined
 }
 
 interface FileResult {
@@ -90,6 +118,40 @@ export async function doctor(options: DoctorOptions): Promise<number> {
     }
   }
 
+  // Islands audit — optional follow-on pass (PR C of the islands DX
+  // roadmap). Runs the project-wide cross-file scan. Like the
+  // test-audit, this is a "should review" signal — exit code unaffected
+  // (the build doesn't break) but in CI you can pipe `--check-islands
+  // --json` and grep for findings.length > 0 to gate on it.
+  if (options.checkIslands) {
+    const islandsResult = auditIslands(options.cwd)
+    if (options.json) {
+      console.log('')
+      console.log(JSON.stringify({ islandAudit: islandsResult }, null, 2))
+    } else {
+      console.log('')
+      console.log(formatIslandAudit(islandsResult))
+      console.log('')
+    }
+  }
+
+  // M3.4 — SSG audit. Catches `_404.tsx` placement (PR L5 carve-out),
+  // dynamic-route enumerators (PR A silent skip), and non-literal
+  // revalidate exports (PR I's extractor limitation). Exit code
+  // unaffected — same "should review" treatment as islands / test
+  // audits; CI gates via `--json | jq '.ssgAudit.findings | length'`.
+  if (options.checkSsg) {
+    const ssgResult = auditSsg(options.cwd)
+    if (options.json) {
+      console.log('')
+      console.log(JSON.stringify({ ssgAudit: ssgResult }, null, 2))
+    } else {
+      console.log('')
+      console.log(formatSsgAudit(ssgResult))
+      console.log('')
+    }
+  }
+
   return result.summary.totalErrors
 }
 

package/src/index.ts

@@ -19,10 +19,16 @@ function printUsage(): void {
   pyreon <command> [options]
 
   Commands:
-    doctor [--fix] [--json] [--ci] [--audit-tests] [--audit-min-risk <level>]
+    doctor [--fix] [--json] [--ci] [--audit-tests] [--audit-min-risk <level>] [--check-islands] [--check-ssg]
                                      Scan for React patterns, bad imports, common mistakes.
                                      --audit-tests appends mock-vnode test-audit (PR #197 class).
                                      --audit-min-risk is high|medium|low (default medium).
+                                     --check-islands appends project-wide islands audit
+                                     (duplicate names, dead islands, registry drift, nested,
+                                     never-with-registry).
+                                     --check-ssg appends project-wide SSG / ISR audit
+                                     (_404.tsx placement, dynamic routes missing
+                                     getStaticPaths, non-literal revalidate exports).
     context [--out <path>]           Generate .pyreon/context.json for AI tools
 
   Options:
@@ -56,6 +62,8 @@ async function main(): Promise<void> {
       cwd: process.cwd(),
       auditTests: args.includes('--audit-tests'),
       auditMinRisk: rawRisk as DoctorOptions['auditMinRisk'],
+      checkIslands: args.includes('--check-islands'),
+      checkSsg: args.includes('--check-ssg'),
     }
     const exitCode = await doctor(options)
     if (options.ci && exitCode > 0) {

package/src/tests/doctor.test.ts

@@ -354,3 +354,128 @@ describe('doctor — --audit-tests integration', () => {
     expect(output).not.toMatch(/^## MEDIUM/m)
   })
 })
+
+// ─── --check-islands integration (PR C) ─────────────────────────────────────
+
+describe('doctor — --check-islands integration', () => {
+  let logSpy: ReturnType<typeof vi.spyOn>
+  let tmpDir: string
+
+  beforeEach(() => {
+    logSpy = vi.spyOn(console, 'log').mockImplementation(() => undefined)
+    tmpDir = makeTmpDir()
+    fs.mkdirSync(path.join(tmpDir, 'packages'), { recursive: true })
+  })
+  afterEach(() => {
+    logSpy.mockRestore()
+    fs.rmSync(tmpDir, { recursive: true, force: true })
+  })
+
+  it('does NOT print islands audit output when --check-islands is absent (default)', async () => {
+    writeFile(
+      tmpDir,
+      'packages/x/src/Counter.tsx',
+      `import { island } from '@pyreon/server'
+       export const Counter = island(() => import('./Inner'), { name: 'Counter', hydrate: 'load' })`,
+    )
+    const opts: DoctorOptions = {
+      fix: false,
+      json: false,
+      ci: false,
+      cwd: tmpDir,
+      checkIslands: false,
+    }
+    await doctor(opts)
+    const output = logSpy.mock.calls.map((c: unknown[]) => c.join(' ')).join('\n')
+    expect(output).not.toContain('Islands audit')
+  })
+
+  it('prints the islands audit when --check-islands is passed', async () => {
+    writeFile(
+      tmpDir,
+      'packages/x/src/A.tsx',
+      `import { island } from '@pyreon/server'
+       export const A = island(() => import('./AInner'), { name: 'Dup', hydrate: 'load' })`,
+    )
+    writeFile(
+      tmpDir,
+      'packages/y/src/B.tsx',
+      `import { island } from '@pyreon/server'
+       export const B = island(() => import('./BInner'), { name: 'Dup', hydrate: 'load' })`,
+    )
+    writeFile(tmpDir, 'packages/x/src/AInner.tsx', `export default () => null`)
+    writeFile(tmpDir, 'packages/y/src/BInner.tsx', `export default () => null`)
+    const opts: DoctorOptions = {
+      fix: false,
+      json: false,
+      ci: false,
+      cwd: tmpDir,
+      checkIslands: true,
+    }
+    await doctor(opts)
+    const output = logSpy.mock.calls.map((c: unknown[]) => c.join(' ')).join('\n')
+    expect(output).toContain('Islands audit')
+    expect(output).toContain('## duplicate-name')
+    // Both file locations appear in the human-readable section
+    expect(output).toContain('A.tsx')
+    expect(output).toContain('B.tsx')
+  })
+
+  it('emits machine-readable JSON when --json + --check-islands both set', async () => {
+    writeFile(
+      tmpDir,
+      'packages/x/src/Orphan.tsx',
+      `import { island } from '@pyreon/server'
+       export const Orphan = island(() => import('./Inner'), { name: 'Orphan', hydrate: 'load' })`,
+    )
+    writeFile(tmpDir, 'packages/x/src/Inner.tsx', `export default () => null`)
+    const opts: DoctorOptions = {
+      fix: false,
+      json: true,
+      ci: false,
+      cwd: tmpDir,
+      checkIslands: true,
+    }
+    await doctor(opts)
+    // Two JSON blobs logged separately — doctor result then the audit.
+    const blobs = logSpy.mock.calls
+      .map((c: unknown[]) => String(c[0] ?? ''))
+      .filter((s: string) => s.trim().startsWith('{'))
+    expect(blobs.length).toBeGreaterThanOrEqual(2)
+    const auditBlob = blobs.find((s: string) => s.includes('islandAudit'))
+    expect(auditBlob).toBeDefined()
+    const parsed = JSON.parse(auditBlob!) as {
+      islandAudit: { findings: Array<{ code: string }>; summary: { islandsDeclared: number } }
+    }
+    expect(parsed.islandAudit.summary.islandsDeclared).toBe(1)
+    // The orphan declaration should produce exactly one dead-island finding.
+    const codes = parsed.islandAudit.findings.map((f) => f.code)
+    expect(codes).toContain('dead-island')
+  })
+
+  it('emits a clean green-light section when no findings are present', async () => {
+    writeFile(
+      tmpDir,
+      'packages/x/src/Counter.tsx',
+      `import { island } from '@pyreon/server'
+       export const Counter = island(() => import('./Inner'), { name: 'Counter', hydrate: 'load' })`,
+    )
+    writeFile(tmpDir, 'packages/x/src/Inner.tsx', `export default () => null`)
+    writeFile(
+      tmpDir,
+      'packages/x/src/index.ts',
+      `export { Counter } from './Counter'`,
+    )
+    const opts: DoctorOptions = {
+      fix: false,
+      json: false,
+      ci: false,
+      cwd: tmpDir,
+      checkIslands: true,
+    }
+    await doctor(opts)
+    const output = logSpy.mock.calls.map((c: unknown[]) => c.join(' ')).join('\n')
+    expect(output).toContain('Islands audit')
+    expect(output).toContain('No island findings')
+  })
+})