@pyreon/compiler 0.19.0 → 0.21.0

package/lib/types/index.d.ts

@@ -84,6 +84,22 @@ declare function transformDeferInline(code: string, filename?: string): DeferInl
  *
  * Implementation: Rust native binary (napi-rs) when available, JS fallback via oxc-parser.
  */
+/**
+ * V3 source map shape returned by the JS backend. Structurally exactly
+ * magic-string's `SourceMap` (a valid V3 map plus `.toString()`/`.toUrl()`),
+ * declared locally so `TransformResult` carries no hard type dependency on
+ * magic-string's exported types.
+ */
+interface GeneratedSourceMap {
+  version: number;
+  file?: string;
+  sources: string[];
+  sourcesContent?: (string | null)[];
+  names: string[];
+  mappings: string;
+  toString(): string;
+  toUrl(): string;
+}
 interface CompilerWarning {
   /** Warning message */
   message: string;
@@ -129,6 +145,15 @@ interface TransformResult {
   usesTemplates?: boolean;
   /** Compiler warnings for common mistakes */
   warnings: CompilerWarning[];
+  /**
+   * Source map (V3) for the transform — present on the JS backend whenever a
+   * transformation actually occurred. `undefined` when nothing changed (the
+   * emitted code is byte-identical to the input, so no remapping is needed)
+   * and on the native backend (a Rust-side map is a scoped follow-up). The
+   * object is magic-string's `SourceMap`: it is a valid V3 map AND has
+   * `.toString()` / `.toUrl()`, so Vite/Rollup consume it directly.
+   */
+  map?: GeneratedSourceMap;
   /**
    * Reactivity-lens spans — populated ONLY when `TransformOptions.reactivityLens`
    * is `true`. Additive: codegen output is byte-identical whether or not this is
@@ -165,7 +190,73 @@ interface TransformOptions {
    * codegen; it never runs a second analysis pass.
    */
   reactivityLens?: boolean;
+  /**
+   * P0 — compile-time rocketstyle wrapper collapse. OFF unless the Vite
+   * plugin supplies this (opt-in `pyreon({ collapse: true })`). The plugin
+   * scans the module's imports for collapsible component candidates,
+   * SSR-resolves each literal-prop call site once (real component, light
+   * + dark), and passes the resolved `sites` map keyed by
+   * {@link rocketstyleCollapseKey}. The compiler only DETECTS the
+   * collapsible shape (bail catalogue — every dimension prop a string
+   * literal, no spread, static-text children) and EMITS the collapsed
+   * `_rsCollapse` call + the once-per-module rule injection; it never
+   * runs the rocketstyle chain itself (RFC decision 2).
+   */
+  collapseRocketstyle?: {
+    /** Component names imported into this module that MAY collapse. */candidates: Set<string>; /** key → resolved emission data (absent ⇒ bail, keep normal mount). */
+    sites: Map<string, {
+      templateHtml: string;
+      lightClass: string;
+      darkClass: string;
+      rules: string[];
+      ruleKey: string;
+    }>; /** Live mode accessor to thread for dual-emit (RFC decision 1). */
+    mode: {
+      name: string;
+      source: string;
+    }; /** Module specifier for `_rsCollapse`. Default `@pyreon/runtime-dom`. */
+    runtimeDomSource?: string; /** Module specifier for the styler `sheet`. Default `@pyreon/styler`. */
+    stylerSource?: string;
+  };
 }
+/**
+ * Canonical key for a collapsible rocketstyle call site. The Vite plugin
+ * computes this when it resolves a site; the compiler recomputes the
+ * IDENTICAL key from the JSX node to look the resolution up. Stable
+ * ordering of props so attribute order in source doesn't change the key.
+ */
+declare function rocketstyleCollapseKey(componentName: string, props: Record<string, string>, childrenText: string): string;
+/**
+ * A collapsible call site found by {@link scanCollapsibleSites}.
+ * `componentName` is the LOCAL JSX tag (post-import-alias) — it MUST be
+ * what `rocketstyleCollapseKey` is computed from on BOTH sides so the
+ * plugin's resolved `sites` map keys match the compiler's lookups.
+ */
+interface CollapsibleSite {
+  /** Local JSX tag name (the key + the compiler's detection use this). */
+  componentName: string;
+  /** Module specifier the component was imported from (for the resolver). */
+  source: string;
+  /** Imported binding name at `source` (may differ from local if aliased). */
+  importedName: string;
+  /** Literal string-valued props (the only shape the slice collapses). */
+  props: Record<string, string>;
+  /** Static text children (trimmed; empty ⇒ none). */
+  childrenText: string;
+  /** `rocketstyleCollapseKey(componentName, props, childrenText)`. */
+  key: string;
+}
+/**
+ * Pure detector — finds every collapsible rocketstyle call site in a
+ * module. Used by `@pyreon/vite-plugin` to know which (component, props,
+ * text) tuples to SSR-resolve. The bail catalogue here MUST stay
+ * byte-identical to `tryRocketstyleCollapse`'s (RFC decision 3): a
+ * candidate PascalCase tag whose import source is in `collapsibleSources`,
+ * every attr a plain string literal (no spread, no `{expr}`, no boolean
+ * attr), children empty or static text only. A consistency test asserts
+ * the keys this produces equal the keys the compiler looks up.
+ */
+declare function scanCollapsibleSites(code: string, filename: string, collapsibleSources: Set<string>): CollapsibleSite[];
 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;
@@ -551,5 +642,5 @@ interface SsgAuditFormatOptions {
 }
 declare function formatSsgAudit(result: SsgAuditResult, _options?: SsgAuditFormatOptions): string;
 //#endregion
-export { type AnalyzeReactivityResult, type AuditFormatOptions, type AuditRisk, type CompilerWarning, type ComponentInfo, type DeferInlineResult, type DeferInlineWarning, 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 ReactivityFinding, type ReactivityFindingKind, type ReactivityKind, type ReactivitySpan, type RouteInfo, type SsgAuditFormatOptions, type SsgAuditResult, type SsgFinding, type SsgFindingCode, type SsgLocation, type TestAuditEntry, type TestAuditResult, type TransformResult, analyzeReactivity, auditIslands, auditSsg, auditTestEnvironment, detectPyreonPatterns, detectReactPatterns, diagnoseError, formatIslandAudit, formatReactivityLens, formatSsgAudit, formatTestAudit, generateContext, hasPyreonPatterns, hasReactPatterns, migrateReactCode, transformDeferInline, transformJSX, transformJSX_JS };
+export { type AnalyzeReactivityResult, type AuditFormatOptions, type AuditRisk, type CollapsibleSite, type CompilerWarning, type ComponentInfo, type DeferInlineResult, type DeferInlineWarning, 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 ReactivityFinding, type ReactivityFindingKind, type ReactivityKind, type ReactivitySpan, type RouteInfo, type SsgAuditFormatOptions, type SsgAuditResult, type SsgFinding, type SsgFindingCode, type SsgLocation, type TestAuditEntry, type TestAuditResult, type TransformResult, analyzeReactivity, auditIslands, auditSsg, auditTestEnvironment, detectPyreonPatterns, detectReactPatterns, diagnoseError, formatIslandAudit, formatReactivityLens, formatSsgAudit, formatTestAudit, generateContext, hasPyreonPatterns, hasReactPatterns, migrateReactCode, rocketstyleCollapseKey, scanCollapsibleSites, transformDeferInline, transformJSX, transformJSX_JS };
 //# sourceMappingURL=index2.d.ts.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pyreon/compiler",
-  "version": "0.19.0",
+  "version": "0.21.0",
   "description": "Template and JSX compiler for Pyreon",
   "homepage": "https://github.com/pyreon/pyreon/tree/main/packages/compiler#readme",
   "bugs": {
@@ -44,23 +44,24 @@
     "prepublishOnly": "bun run build"
   },
   "dependencies": {
+    "magic-string": "^0.30.21",
     "oxc-parser": "^0.129.0"
   },
   "optionalDependencies": {
-    "@pyreon/compiler-darwin-arm64": "^0.19.0",
-    "@pyreon/compiler-darwin-x64": "^0.19.0",
-    "@pyreon/compiler-linux-arm64-gnu": "^0.19.0",
-    "@pyreon/compiler-linux-arm64-musl": "^0.19.0",
-    "@pyreon/compiler-linux-x64-gnu": "^0.19.0",
-    "@pyreon/compiler-linux-x64-musl": "^0.19.0",
-    "@pyreon/compiler-win32-x64-msvc": "^0.19.0"
+    "@pyreon/compiler-darwin-arm64": "^0.21.0",
+    "@pyreon/compiler-darwin-x64": "^0.21.0",
+    "@pyreon/compiler-linux-arm64-gnu": "^0.21.0",
+    "@pyreon/compiler-linux-arm64-musl": "^0.21.0",
+    "@pyreon/compiler-linux-x64-gnu": "^0.21.0",
+    "@pyreon/compiler-linux-x64-musl": "^0.21.0",
+    "@pyreon/compiler-win32-x64-msvc": "^0.21.0"
   },
   "devDependencies": {
-    "@pyreon/core": "^0.19.0",
+    "@pyreon/core": "^0.21.0",
     "@pyreon/manifest": "0.13.1",
-    "@pyreon/reactivity": "^0.19.0",
-    "@pyreon/runtime-dom": "^0.19.0",
-    "@pyreon/test-utils": "^0.13.6",
+    "@pyreon/reactivity": "^0.21.0",
+    "@pyreon/runtime-dom": "^0.21.0",
+    "@pyreon/test-utils": "^0.13.8",
     "happy-dom": "^20.8.3"
   },
   "peerDependencies": {

package/src/index.ts

@@ -8,7 +8,8 @@ export type {
   ReactivitySpan,
   TransformResult,
 } from './jsx'
-export { transformJSX, transformJSX_JS } from './jsx'
+export { transformJSX, transformJSX_JS, rocketstyleCollapseKey, scanCollapsibleSites } from './jsx'
+export type { CollapsibleSite } from './jsx'
 export type {
   AnalyzeReactivityResult,
   ReactivityFinding,