@pyreon/compiler 0.13.1 → 0.14.0

package/lib/types/index.d.ts

@@ -18,20 +18,15 @@
  *    values, and all children are text nodes or other static JSX nodes.
  *
  * Template emission:
- *  - JSX element trees with ≥ 2 DOM elements (no components, no spread attrs)
- *    are compiled to `_tpl(html, bindFn)` calls instead of nested `h()` calls.
+ *  - JSX element trees with ≥ 1 DOM elements (no components, no spread attrs on
+ *    inner elements) are compiled to `_tpl(html, bindFn)` calls instead of nested
+ *    `h()` calls.
  *  - The HTML string is parsed once via <template>.innerHTML, then cloneNode(true)
  *    for each instance (~5-10x faster than sequential createElement calls).
  *  - Static attributes are baked into the HTML string; dynamic attributes and
  *    text content use renderEffect in the bind function.
  *
- * Implementation: TypeScript parser for positions + magic-string replacements.
- * No extra runtime dependencies — `typescript` is already in devDependencies.
- *
- * Known limitation (v0): expressions inside *nested* JSX within a child
- * expression container are not individually wrapped. They are still reactive
- * because the outer wrapper re-evaluates the whole subtree, just at a coarser
- * granularity. Fine-grained nested wrapping is planned for a future pass.
+ * Implementation: Rust native binary (napi-rs) when available, JS fallback via oxc-parser.
  */
 interface CompilerWarning {
   /** Warning message */
@@ -54,14 +49,27 @@ interface TransformResult {
 interface TransformOptions {
   /**
    * Compile for server-side rendering. When true, the compiler skips the
-   * `_tpl()` template optimization (which mutates a real DOM via
-   * `document.createElement` etc.) and falls back to plain `h()` calls so
-   * `@pyreon/runtime-server` can walk the VNode tree. Client builds keep
-   * the `_tpl()` fast path. Default: false.
+   * `_tpl()` template optimization and falls back to plain `h()` calls so
+   * `@pyreon/runtime-server` can walk the VNode tree. Default: false.
    */
   ssr?: boolean;
+  /**
+   * Known signal variable names from resolved imports.
+   * The Vite plugin maintains a cross-module signal export registry and
+   * passes imported signal names here so the compiler can auto-call them
+   * in JSX even though the `signal()` declaration is in another file.
+   *
+   * @example
+   * // store.ts: export const count = signal(0)
+   * // component.tsx: import { count } from './store'
+   * transformJSX(code, 'component.tsx', { knownSignals: ['count'] })
+   * // {count} in JSX → {() => count()}
+   */
+  knownSignals?: string[];
 }
 declare function transformJSX(code: string, filename?: string, options?: TransformOptions): TransformResult;
+/** JS fallback implementation — used when the native binary isn't available. */
+declare function transformJSX_JS(code: string, filename?: string, options?: TransformOptions): TransformResult;
 //#endregion
 //#region src/project-scanner.d.ts
 /**
@@ -154,5 +162,123 @@ interface ErrorDiagnosis {
 /** Diagnose an error message and return structured fix information */
 declare function diagnoseError(error: string): ErrorDiagnosis | null;
 //#endregion
-export { type CompilerWarning, type ComponentInfo, type ErrorDiagnosis, type IslandInfo, type MigrationChange, type MigrationResult, type ProjectContext, type ReactDiagnostic, type ReactDiagnosticCode, type RouteInfo, type TransformResult, detectReactPatterns, diagnoseError, generateContext, hasReactPatterns, migrateReactCode, transformJSX };
+//#region src/pyreon-intercept.d.ts
+/**
+ * Pyreon Pattern Interceptor — detects Pyreon-specific anti-patterns in
+ * code that has ALREADY committed to the framework (imports are Pyreon,
+ * not React). Complements `react-intercept.ts` — the React detector
+ * catches "coming from React" mistakes; this one catches "using Pyreon
+ * wrong" mistakes.
+ *
+ * Catalog of detected patterns (grounded in `.claude/rules/anti-patterns.md`):
+ *
+ *  - `for-missing-by` — `<For each={...}>` without a `by` prop
+ *  - `for-with-key`   — `<For key={...}>` (JSX reserves `key`; the keying
+ *                       prop is `by` in Pyreon)
+ *  - `props-destructured` — `({ foo }: Props) => <JSX />` destructures at
+ *                       the component signature; reading is captured once
+ *                       and loses reactivity. Access `props.foo` instead
+ *                       or use `splitProps(props, [...])`.
+ *  - `process-dev-gate` — `typeof process !== 'undefined' &&
+ *                       process.env.NODE_ENV !== 'production'` is dead
+ *                       code in real Vite browser bundles. Use
+ *                       `import.meta.env?.DEV` instead.
+ *  - `empty-theme`    — `.theme({})` chain is a no-op; remove it.
+ *  - `raw-add-event-listener` — raw `addEventListener(...)` in a component
+ *                       or hook body. Use `useEventListener(...)` from
+ *                       `@pyreon/hooks` for auto-cleanup.
+ *  - `raw-remove-event-listener` — same, for removeEventListener.
+ *  - `date-math-random-id` — `Date.now() + Math.random()` / template-concat
+ *                       variants. Under rapid operations (paste, clone)
+ *                       collision probability is non-trivial. Use a
+ *                       monotonic counter.
+ *  - `on-click-undefined` — `onClick={undefined}` explicitly; the runtime
+ *                       used to crash on this pattern. Omit the prop.
+ *
+ * Two-mode surface mirrors `react-intercept.ts`:
+ *  - `detectPyreonPatterns(code)` — diagnostics only
+ *  - `hasPyreonPatterns(code)`   — fast regex pre-filter
+ *
+ * ## fixable: false (invariant)
+ *
+ * Every Pyreon diagnostic reports `fixable: false` — no exceptions.
+ * The `migrate_react` MCP tool only knows React mappings, so claiming
+ * a Pyreon code is auto-fixable would mislead a consumer who wires
+ * their UX off the flag and finds nothing applies the fix. Flip to
+ * `true` ONLY when a companion `migrate_pyreon` tool ships in a
+ * subsequent PR. The invariant is locked in
+ * `tests/pyreon-intercept.test.ts` under "fixable contract".
+ *
+ * Designed for three consumers:
+ *  1. Compiler pre-pass warnings during build
+ *  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';
+interface PyreonDiagnostic {
+  /** Machine-readable code for filtering + programmatic handling */
+  code: PyreonDiagnosticCode;
+  /** Human-readable message explaining the issue */
+  message: string;
+  /** 1-based line number */
+  line: number;
+  /** 0-based column */
+  column: number;
+  /** The code as written */
+  current: string;
+  /** The suggested Pyreon fix */
+  suggested: string;
+  /** Whether a mechanical auto-fix is safe */
+  fixable: boolean;
+}
+declare function detectPyreonPatterns(code: string, filename?: string): PyreonDiagnostic[];
+/** Fast regex pre-filter — returns true if the code is worth a full AST walk. */
+declare function hasPyreonPatterns(code: string): boolean;
+//#endregion
+//#region src/test-audit.d.ts
+type AuditRisk = 'high' | 'medium' | 'low';
+interface TestAuditEntry {
+  /** Absolute path to the test file */
+  path: string;
+  /** Path relative to the repo root for readable reporting */
+  relPath: string;
+  /** Count of object-literal `{ type: ..., props: ..., children: ... }` patterns */
+  mockVNodeLiteralCount: number;
+  /** Count of `vnode` / `mockVNode` / `createVNode` helper DEFINITIONS */
+  mockHelperCount: number;
+  /**
+   * Count of CALLS to a known mock-helper name. Captures pervasiveness:
+   * a file with one helper definition and 50 call-sites has the same
+   * `mockHelperCount` (1) as one with zero calls, but very different
+   * exposure. This metric surfaces that.
+   */
+  mockHelperCallCount: number;
+  /** Count of lines that look like real `h(...)` calls (`h(Tag, props)` / `h(Component, ...)` shape) */
+  realHCallCount: number;
+  /** True if the file imports `h` from `@pyreon/core` */
+  importsH: boolean;
+  /** Risk classification */
+  risk: AuditRisk;
+}
+interface TestAuditResult {
+  /** Repo root discovered by walking up for `packages/` */
+  root: string | null;
+  /** Every test file scanned, sorted by risk (high → low) then path */
+  entries: TestAuditEntry[];
+  /** Total files scanned */
+  totalScanned: number;
+}
+declare function auditTestEnvironment(startDir: string): TestAuditResult;
+interface AuditFormatOptions {
+  /** Only include entries at or above this risk level. Default 'medium'. */
+  minRisk?: AuditRisk | undefined;
+  /** Maximum entries to show per risk group. Default 20. */
+  limit?: number | undefined;
+}
+declare function formatTestAudit(result: TestAuditResult, {
+  minRisk,
+  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 };
 //# sourceMappingURL=index2.d.ts.map

package/lib/types/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index2.d.ts","names":[],"sources":["../../../src/jsx.ts","../../../src/project-scanner.ts","../../../src/react-intercept.ts"],"mappings":";;AAqCA;;;;;;;;;;AAeA;;;;;;;;;;AAwCA;;;;;AAWA;;;;;;;;UAlEiB,eAAA;EAsEC;EApEhB,OAAA;;EAEA,IAAA;;EAEA,MAAA;ECpCwB;EDsCxB,IAAA;AAAA;AAAA,UAOe,eAAA;EC3Cf;ED6CA,IAAA;EC3CA;ED6CA,aAAA;EC3CA;ED6CA,QAAA,EAAU,eAAA;AAAA;AAAA,UAkCK,gBAAA;EC5Ea;;;;;;;EDoF5B,GAAA;AAAA;AAAA,iBAGc,YAAA,CACd,IAAA,UACA,QAAA,WACA,OAAA,GAAS,gBAAA,GACR,eAAA;;;;AAtEH;;UC9BiB,SAAA;EACf,IAAA;EACA,IAAA;EACA,SAAA;EACA,SAAA;EACA,QAAA;EACA,MAAA;AAAA;AAAA,UAGe,aAAA;EACf,IAAA;EACA,IAAA;EACA,UAAA;EACA,WAAA;EACA,KAAA;AAAA;AAAA,UAGe,UAAA;EACf,IAAA;EACA,IAAA;EACA,OAAA;AAAA;AAAA,UAGe,cAAA;EACf,SAAA;EACA,OAAA;EACA,WAAA;EACA,MAAA,EAAQ,SAAA;EACR,UAAA,EAAY,aAAA;EACZ,OAAA,EAAS,UAAA;AAAA;AAAA,iBAGK,eAAA,CAAgB,GAAA,WAAc,cAAA;;;;ADF9C;;;;;;;;;;AAeA;;KEhCY,mBAAA;AAAA,UA0BK,eAAA;EFQf;EENA,IAAA,EAAM,mBAAA;EFUN;EERA,OAAA;EFQyB;EENzB,IAAA;EFwCe;EEtCf,MAAA;;EAEA,OAAA;EF4CG;EE1CH,SAAA;EF6C0B;EE3C1B,OAAA;AAAA;AAAA,UAGe,eAAA;EACf,IAAA;EACA,IAAA;EACA,WAAA;AAAA;AAAA,UAGe,eAAA;EFsCC;EEpChB,IAAA;;EAEA,WAAA,EAAa,eAAA;EDlEE;ECoEf,OAAA,EAAS,eAAA;AAAA;AAAA,iBAsgBK,mBAAA,CAAoB,IAAA,UAAc,QAAA,YAAyB,eAAA;AAAA,iBAqW3D,gBAAA,CAAiB,IAAA,UAAc,QAAA,YAAyB,eAAA;;iBA0ExD,gBAAA,CAAiB,IAAA;AAAA,UAuBhB,cAAA;EACf,KAAA;EACA,GAAA;EACA,OAAA;EACA,OAAA;AAAA;;iBAkGc,aAAA,CAAc,KAAA,WAAgB,cAAA"}
+{"version":3,"file":"index2.d.ts","names":[],"sources":["../../../src/jsx.ts","../../../src/project-scanner.ts","../../../src/react-intercept.ts","../../../src/pyreon-intercept.ts","../../../src/test-audit.ts"],"mappings":";;AAwDA;;;;;;;;;;AAeA;;;;;;;;;;AAsBA;;;;;AAgGA;;;UArIiB,eAAA;EAsIf;EApIA,OAAA;EAsIS;EApIT,IAAA;EAqIC;EAnID,MAAA;EAmIgB;EAjIhB,IAAA;AAAA;AAAA,UAOe,eAAA;EA8IC;EA5IhB,IAAA;EA0IA;EAxIA,aAAA;EAyIA;EAvIA,QAAA,EAAU,eAAA;AAAA;AAAA,UAgBK,gBAAA;;;;ACtFjB;;ED4FE,GAAA;EC5FwB;;;;;;;;;AAS1B;;;EDiGE,YAAA;AAAA;AAAA,iBA4Ec,YAAA,CACd,IAAA,UACA,QAAA,WACA,OAAA,GAAS,gBAAA,GACR,eAAA;;iBAgBa,eAAA,CACd,IAAA,UACA,QAAA,WACA,OAAA,GAAS,gBAAA,GACR,eAAA;;;;AA7JH;;UCjDiB,SAAA;EACf,IAAA;EACA,IAAA;EACA,SAAA;EACA,SAAA;EACA,QAAA;EACA,MAAA;AAAA;AAAA,UAGe,aAAA;EACf,IAAA;EACA,IAAA;EACA,UAAA;EACA,WAAA;EACA,KAAA;AAAA;AAAA,UAGe,UAAA;EACf,IAAA;EACA,IAAA;EACA,OAAA;AAAA;AAAA,UAGe,cAAA;EACf,SAAA;EACA,OAAA;EACA,WAAA;EACA,MAAA,EAAQ,SAAA;EACR,UAAA,EAAY,aAAA;EACZ,OAAA,EAAS,UAAA;AAAA;AAAA,iBAGK,eAAA,CAAgB,GAAA,WAAc,cAAA;;;;ADiB9C;;;;;;;;;;AAeA;;KEnDY,mBAAA;AAAA,UA0BK,eAAA;EF2Bf;EEzBA,IAAA,EAAM,mBAAA;EF6BN;EE3BA,OAAA;EF2ByB;EEzBzB,IAAA;EFyCe;EEvCf,MAAA;;EAEA,OAAA;EFyDY;EEvDZ,SAAA;EFmI0B;EEjI1B,OAAA;AAAA;AAAA,UAGe,eAAA;EACf,IAAA;EACA,IAAA;EACA,WAAA;AAAA;AAAA,UAGe,eAAA;EF4HC;EE1HhB,IAAA;EF0I6B;EExI7B,WAAA,EAAa,eAAA;EF4IG;EE1IhB,OAAA,EAAS,eAAA;AAAA;AAAA,iBAsgBK,mBAAA,CAAoB,IAAA,UAAc,QAAA,YAAyB,eAAA;AAAA,iBAqW3D,gBAAA,CAAiB,IAAA,UAAc,QAAA,YAAyB,eAAA;;iBA0ExD,gBAAA,CAAiB,IAAA;AAAA,UAuBhB,cAAA;EACf,KAAA;EACA,GAAA;EACA,OAAA;EACA,OAAA;AAAA;;iBAkGc,aAAA,CAAc,KAAA,WAAgB,cAAA;;;;AFrkC9C;;;;;;;;;;AAeA;;;;;;;;;;AAsBA;;;;;AAgGA;;;;;;;;;;;AAoBA;;;;;;;;;;;;;;KGvJY,oBAAA;AAAA,UAWK,gBAAA;;EAEf,IAAA,EAAM,oBAAA;EF/DN;EEiEA,OAAA;EF/DA;EEiEA,IAAA;EF/DA;EEiEA,MAAA;EFhEM;EEkEN,OAAA;EF/De;EEiEf,SAAA;;EAEA,OAAA;AAAA;AAAA,iBAgZc,oBAAA,CAAqB,IAAA,UAAc,QAAA,YAAyB,gBAAA;;iBAU5D,iBAAA,CAAkB,IAAA;;;KC7ctB,SAAA;AAAA,UAEK,cAAA;EJsBe;EIpB9B,IAAA;EJoB8B;EIlB9B,OAAA;EJsBA;EIpBA,qBAAA;EJwBA;EItBA,eAAA;EJsBI;AAON;;;;;EItBE,mBAAA;EJ4BA;EI1BA,cAAA;EJ0ByB;EIxBzB,QAAA;EJwCe;EItCf,IAAA,EAAM,SAAA;AAAA;AAAA,UAGS,eAAA;EJuDH;EIrDZ,IAAA;EJiI0B;EI/H1B,OAAA,EAAS,cAAA;EJmIO;EIjIhB,YAAA;AAAA;AAAA,iBAiNc,oBAAA,CAAqB,QAAA,WAAmB,eAAA;AAAA,UAkEvC,kBAAA;EJlJd;EIoJD,OAAA,GAAU,SAAA;EJpJM;EIsJhB,KAAA;AAAA;AAAA,iBAQc,eAAA,CACd,MAAA,EAAQ,eAAA;EACN,OAAA;EAAoB;AAAA,IAAc,kBAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pyreon/compiler",
-  "version": "0.13.1",
+  "version": "0.14.0",
   "description": "Template and JSX compiler for Pyreon",
   "homepage": "https://github.com/pyreon/pyreon/tree/main/packages/compiler#readme",
   "bugs": {
@@ -41,6 +41,9 @@
     "lint": "oxlint .",
     "prepublishOnly": "bun run build"
   },
+  "dependencies": {
+    "oxc-parser": "^0.123.0"
+  },
   "peerDependencies": {
     "typescript": ">=5.0.0"
   }

package/src/index.ts

@@ -1,7 +1,7 @@
 // @pyreon/compiler — JSX reactive transform for Pyreon
 
 export type { CompilerWarning, TransformResult } from './jsx'
-export { transformJSX } from './jsx'
+export { transformJSX, transformJSX_JS } from './jsx'
 export type { ComponentInfo, IslandInfo, ProjectContext, RouteInfo } from './project-scanner'
 export { generateContext } from './project-scanner'
 export type {
@@ -17,3 +17,12 @@ export {
   hasReactPatterns,
   migrateReactCode,
 } from './react-intercept'
+export type { PyreonDiagnostic, PyreonDiagnosticCode } from './pyreon-intercept'
+export { detectPyreonPatterns, hasPyreonPatterns } from './pyreon-intercept'
+export type {
+  AuditFormatOptions,
+  AuditRisk,
+  TestAuditEntry,
+  TestAuditResult,
+} from './test-audit'
+export { auditTestEnvironment, formatTestAudit } from './test-audit'