@pyreon/compiler 0.14.0 → 0.16.0

package/lib/types/index.d.ts

@@ -194,6 +194,26 @@ declare function diagnoseError(error: string): ErrorDiagnosis | null;
  *                       monotonic counter.
  *  - `on-click-undefined` — `onClick={undefined}` explicitly; the runtime
  *                       used to crash on this pattern. Omit the prop.
+ *  - `signal-write-as-call` — `sig(value)` is a no-op read that ignores
+ *                       its argument; the runtime warns in dev. Static
+ *                       detector spots it pre-runtime when `sig` was
+ *                       declared as `const sig = signal(...)` /
+ *                       `computed(...)` and called with ≥1 argument.
+ *  - `static-return-null-conditional` — `if (cond) return null` at the
+ *                       top of a component body runs ONCE; signal changes
+ *                       in `cond` never re-evaluate the early-return.
+ *                       Wrap in a returned reactive accessor.
+ *  - `as-unknown-as-vnodechild` — defensive `as unknown as VNodeChild`
+ *                       cast on JSX returns is unnecessary (`JSX.Element`
+ *                       is already assignable to `VNodeChild`).
+ *  - `island-never-with-registry-entry` — an `island()` declared with
+ *                       `hydrate: 'never'` is also registered in the same
+ *                       file's `hydrateIslands({ ... })` call. The whole
+ *                       point of `'never'` is shipping zero client JS;
+ *                       registering pulls the component module into the
+ *                       client bundle graph (the runtime short-circuits
+ *                       and never calls the loader, but the bundler still
+ *                       includes the import). Drop the registry entry.
  *
  * Two-mode surface mirrors `react-intercept.ts`:
  *  - `detectPyreonPatterns(code)` — diagnostics only
@@ -214,7 +234,7 @@ declare function diagnoseError(error: string): ErrorDiagnosis | null;
  *  2. CLI `pyreon doctor`
  *  3. MCP server `validate` tool
  */
-type PyreonDiagnosticCode = 'for-missing-by' | 'for-with-key' | 'props-destructured' | 'process-dev-gate' | 'empty-theme' | 'raw-add-event-listener' | 'raw-remove-event-listener' | 'date-math-random-id' | 'on-click-undefined';
+type PyreonDiagnosticCode = 'for-missing-by' | 'for-with-key' | 'props-destructured' | 'process-dev-gate' | 'empty-theme' | 'raw-add-event-listener' | 'raw-remove-event-listener' | 'date-math-random-id' | 'on-click-undefined' | 'signal-write-as-call' | 'static-return-null-conditional' | 'as-unknown-as-vnodechild' | 'island-never-with-registry-entry';
 interface PyreonDiagnostic {
   /** Machine-readable code for filtering + programmatic handling */
   code: PyreonDiagnosticCode;
@@ -280,5 +300,92 @@ declare function formatTestAudit(result: TestAuditResult, {
   limit
 }?: AuditFormatOptions): string;
 //#endregion
-export { type AuditFormatOptions, type AuditRisk, type CompilerWarning, type ComponentInfo, type ErrorDiagnosis, type IslandInfo, type MigrationChange, type MigrationResult, type ProjectContext, type PyreonDiagnostic, type PyreonDiagnosticCode, type ReactDiagnostic, type ReactDiagnosticCode, type RouteInfo, type TestAuditEntry, type TestAuditResult, type TransformResult, auditTestEnvironment, detectPyreonPatterns, detectReactPatterns, diagnoseError, formatTestAudit, generateContext, hasPyreonPatterns, hasReactPatterns, migrateReactCode, transformJSX, transformJSX_JS };
+//#region src/island-audit.d.ts
+type IslandFindingCode = 'never-with-registry-entry' | 'duplicate-name' | 'registry-mismatch' | 'nested-island' | 'dead-island';
+interface IslandLocation {
+  /** Absolute path */
+  path: string;
+  /** Path relative to the repo root for readable reporting */
+  relPath: string;
+  /** 1-based line number */
+  line: number;
+  /** 1-based column number */
+  column: number;
+}
+interface IslandFinding {
+  code: IslandFindingCode;
+  /** One-paragraph human-readable explanation, including the fix path. */
+  message: string;
+  /** Where the finding surfaces. */
+  location: IslandLocation;
+  /**
+   * Companion locations for cross-file findings (`duplicate-name` lists
+   * the OTHER occurrence; `nested-island` lists the inner island's
+   * declaration; `never-with-registry-entry` lists the matching island
+   * declaration).
+   */
+  related?: IslandLocation[] | undefined;
+}
+interface IslandAuditResult {
+  root: string | null;
+  findings: IslandFinding[];
+  summary: {
+    filesScanned: number;
+    islandsDeclared: number;
+    registryEntries: number;
+    findingsByCode: Record<IslandFindingCode, number>;
+  };
+}
+declare function auditIslands(rootDir: string): IslandAuditResult;
+interface IslandAuditFormatOptions {
+  /** When true, emit JSON instead of markdown-ish text. */
+  json?: boolean | undefined;
+}
+declare function formatIslandAudit(result: IslandAuditResult, options?: IslandAuditFormatOptions): string;
+//#endregion
+//#region src/ssg-audit.d.ts
+type SsgFindingCode = '404-outside-layout-dir' | 'dynamic-route-missing-get-static-paths' | 'non-literal-revalidate-export';
+interface SsgLocation {
+  /** Absolute path */
+  path: string;
+  /** Path relative to the repo root for readable reporting */
+  relPath: string;
+  /** 1-based line number */
+  line: number;
+  /** 1-based column number */
+  column: number;
+}
+interface SsgFinding {
+  code: SsgFindingCode;
+  /** One-paragraph human-readable explanation, including the fix path. */
+  message: string;
+  /** Where the finding surfaces. */
+  location: SsgLocation;
+  /**
+   * Companion locations for cross-file findings. Not currently emitted
+   * by any detector but kept in the contract so future codes have the
+   * shape available without an API change.
+   */
+  related?: SsgLocation[] | undefined;
+}
+interface SsgAuditResult {
+  root: string | null;
+  findings: SsgFinding[];
+  summary: {
+    filesScanned: number;
+    routesScanned: number;
+    dynamicRoutes: number;
+    revalidateExports: number;
+    findingsByCode: Record<SsgFindingCode, number>;
+  };
+}
+declare function auditSsg(rootDir: string): SsgAuditResult;
+interface SsgAuditFormatOptions {
+  /** Filter findings to a minimum severity. Currently all SSG findings
+   *  are 'warning'-level; reserved for future severity tiers. */
+  minSeverity?: 'warning' | 'error' | undefined;
+}
+declare function formatSsgAudit(result: SsgAuditResult, _options?: SsgAuditFormatOptions): string;
+//#endregion
+export { type AuditFormatOptions, type AuditRisk, type CompilerWarning, type ComponentInfo, type ErrorDiagnosis, type IslandAuditFormatOptions, type IslandAuditResult, type IslandFinding, type IslandFindingCode, type IslandInfo, type IslandLocation, type MigrationChange, type MigrationResult, type ProjectContext, type PyreonDiagnostic, type PyreonDiagnosticCode, type ReactDiagnostic, type ReactDiagnosticCode, type RouteInfo, type SsgAuditFormatOptions, type SsgAuditResult, type SsgFinding, type SsgFindingCode, type SsgLocation, type TestAuditEntry, type TestAuditResult, type TransformResult, auditIslands, auditSsg, auditTestEnvironment, detectPyreonPatterns, detectReactPatterns, diagnoseError, formatIslandAudit, formatSsgAudit, formatTestAudit, generateContext, hasPyreonPatterns, hasReactPatterns, migrateReactCode, transformJSX, transformJSX_JS };
 //# sourceMappingURL=index2.d.ts.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pyreon/compiler",
-  "version": "0.14.0",
+  "version": "0.16.0",
   "description": "Template and JSX compiler for Pyreon",
   "homepage": "https://github.com/pyreon/pyreon/tree/main/packages/compiler#readme",
   "bugs": {
@@ -14,6 +14,7 @@
   },
   "files": [
     "lib",
+    "!lib/**/*.map",
     "src",
     "README.md",
     "LICENSE"
@@ -35,6 +36,7 @@
   },
   "scripts": {
     "build": "vl_rolldown_build",
+    "build:native": "bun scripts/build-native.ts",
     "dev": "vl_rolldown_build-watch",
     "test": "vitest run",
     "typecheck": "tsc --noEmit",
@@ -42,7 +44,23 @@
     "prepublishOnly": "bun run build"
   },
   "dependencies": {
-    "oxc-parser": "^0.123.0"
+    "oxc-parser": "^0.129.0"
+  },
+  "optionalDependencies": {
+    "@pyreon/compiler-darwin-arm64": "workspace:^",
+    "@pyreon/compiler-darwin-x64": "workspace:^",
+    "@pyreon/compiler-linux-arm64-gnu": "workspace:^",
+    "@pyreon/compiler-linux-arm64-musl": "workspace:^",
+    "@pyreon/compiler-linux-x64-gnu": "workspace:^",
+    "@pyreon/compiler-linux-x64-musl": "workspace:^",
+    "@pyreon/compiler-win32-x64-msvc": "workspace:^"
+  },
+  "devDependencies": {
+    "@pyreon/core": "^0.16.0",
+    "@pyreon/reactivity": "^0.16.0",
+    "@pyreon/runtime-dom": "^0.16.0",
+    "@pyreon/test-utils": "^0.13.3",
+    "happy-dom": "^20.8.3"
   },
   "peerDependencies": {
     "typescript": ">=5.0.0"

package/src/event-names.ts

@@ -0,0 +1,65 @@
+/**
+ * React-style → DOM event-name remap.
+ *
+ * The compiler translates JSX event handler attributes (`onClick`,
+ * `onMouseEnter`, ...) to DOM event names by stripping the `on` prefix
+ * and lowercasing. That rule covers MOST React event-name conventions
+ * because the underlying DOM event name happens to be the lowercased
+ * multi-word form (e.g. `onKeyDown` → `keydown`, `onMouseEnter` →
+ * `mouseenter`, `onPointerLeave` → `pointerleave`,
+ * `onAnimationStart` → `animationstart`, `onContextMenu` → `contextmenu`).
+ *
+ * **The exceptions** — where lowercasing produces the WRONG DOM event
+ * name — are listed in `REACT_EVENT_REMAP` below. Each entry maps the
+ * lowercased React form to the actual DOM event name.
+ *
+ * Today there is exactly ONE remap: `doubleclick → dblclick`. React
+ * inherits this mismatch from the DOM spec — `dblclick` is the canonical
+ * event name (RFC at `https://dom.spec.whatwg.org/#interface-mouseevent`),
+ * while React's component-prop convention is the `onDoubleClick` shape.
+ *
+ * **Audit completeness.** The full React event-prop list from
+ * `https://react.dev/reference/react-dom/components/common` was checked
+ * against canonical DOM event names. Every multi-word event other than
+ * `onDoubleClick` lowercases correctly:
+ *   - Pointer family: `onPointerDown` → `pointerdown`, `onGotPointerCapture` → `gotpointercapture`, …
+ *   - Mouse family: `onMouseEnter` → `mouseenter`, `onMouseLeave` → `mouseleave`, …
+ *   - Drag family: `onDragStart` → `dragstart`, `onDragEnd` → `dragend`, …
+ *   - Touch family: `onTouchStart` → `touchstart`, `onTouchEnd` → `touchend`, …
+ *   - Composition family: `onCompositionEnd` → `compositionend`, …
+ *   - Animation/transition: `onAnimationStart` → `animationstart`, `onTransitionEnd` → `transitionend`, …
+ *   - Media family: `onCanPlayThrough` → `canplaythrough`, `onLoadedData` → `loadeddata`, `onTimeUpdate` → `timeupdate`, `onVolumeChange` → `volumechange`, …
+ *   - Form family: `onContextMenu` → `contextmenu`, `onBeforeInput` → `beforeinput`, …
+ *
+ * If a future React release adds a new event-prop with a non-trivial
+ * mismatch, append the entry here. Both compiler backends (JS and Rust)
+ * read the same shape — the Rust port lives in `native/src/lib.rs` next
+ * to `emit_event_listener`. Keep them in sync.
+ *
+ * **Testing.** `packages/core/compiler/src/tests/runtime/events.test.ts`
+ * exercises this table end-to-end via a real-Chromium harness:
+ *   - `onDoubleClick fires (multi-word + delegated)` — locks in the remap.
+ *   - `onContextMenu fires (multi-word, lowercases to contextmenu)` —
+ *     locks in the no-remap default for an adjacent multi-word event.
+ *   - `event-name-remap-table sanity` — asserts that every entry in
+ *     `REACT_EVENT_REMAP` has a corresponding runtime test.
+ */
+export const REACT_EVENT_REMAP: Readonly<Record<string, string>> = Object.freeze({
+  doubleclick: 'dblclick',
+})
+
+/**
+ * Translate a React-style event prop name (`onDoubleClick`) to the
+ * canonical DOM event name (`dblclick`). Returns null for non-event
+ * attribute names (anything not starting with `on` or shorter than 3
+ * characters — single-letter `on*` props don't correspond to DOM events).
+ *
+ * The compiler uses the returned name in two emission shapes:
+ *   - Delegated events (in `DELEGATED_EVENTS`): `el.__ev_${eventName} = handler`
+ *   - Direct listeners: `el.addEventListener("${eventName}", handler)`
+ */
+export function reactEventToDom(attrName: string): string | null {
+  if (attrName.length <= 2 || !attrName.startsWith('on')) return null
+  const lower = attrName.slice(2).toLowerCase()
+  return REACT_EVENT_REMAP[lower] ?? lower
+}

package/src/index.ts

@@ -26,3 +26,20 @@ export type {
   TestAuditResult,
 } from './test-audit'
 export { auditTestEnvironment, formatTestAudit } from './test-audit'
+export type {
+  IslandAuditFormatOptions,
+  IslandAuditResult,
+  IslandFinding,
+  IslandFindingCode,
+  IslandLocation,
+} from './island-audit'
+export { auditIslands, formatIslandAudit } from './island-audit'
+// M3.4 — `pyreon doctor --check-ssg` audit.
+export type {
+  SsgAuditFormatOptions,
+  SsgAuditResult,
+  SsgFinding,
+  SsgFindingCode,
+  SsgLocation,
+} from './ssg-audit'
+export { auditSsg, formatSsgAudit } from './ssg-audit'