@mindees/compiler 0.12.0 → 0.14.0

package/README.md

@@ -3,7 +3,9 @@
 **MDC** — the Mindees Compiler. A build-time optimizer built on the TypeScript
 Compiler API: a strict **type-check gate**, a **TSX → `createElement`** transform
 (matching `@mindees/core`), **tree-flattening**, a per-route **code-splitting**
-manifest, and a **plugin API**.
+manifest, a **plugin API**, a **perf-lint** (warns on reactive/render footguns),
+and **enforced performance budgets** (a build that exceeds its bytes/elements
+budget refuses to emit — "100% optimized" is enforced, not aspirational).
 
 > **Status: 🧪 Experimental (Phase 4).** Implemented and tested. The working
 > emit path is **TS → optimized JavaScript**. **TS → native machine code (AOT)**
@@ -44,6 +46,15 @@ ok.map           // JSON source map
 buildRouteManifest(['index.tsx', 'blog/[slug].tsx'])
 // → { routes: [{ routePath: '/', ... },
 //              { routePath: '/blog/:slug', params: ['slug'], chunk: 'route_blog_slug' }] }
+
+// Opt-in perf-lint: warns on reactive/render footguns (never blocks the build).
+compileChecked(src, { perf: true }).diagnostics
+// → [{ severity: 'warning', code: 'MDC_PERF_001', ... }]  // e.g. a list via bare .map()
+
+// Enforced budget: a violation is an ERROR that refuses to emit (spec §12).
+const over = compileChecked(src, { budget: { maxBytes: 256, maxElements: 40 } })
+over.code         // '' — over budget, refused to emit
+over.diagnostics  // [{ severity: 'error', code: 'MDC_BUDGET_BYTES' | 'MDC_BUDGET_ELEMENTS', ... }]
 ```
 
 ## What the optimizer does
@@ -64,6 +75,22 @@ buildRouteManifest(['index.tsx', 'blog/[slug].tsx'])
 - **Plugin API** (`MdcPlugin`) — plugins receive the `typescript` module and
   return a transformer that runs **after** JSX desugaring (so they see
   `createElement(...)` calls, not raw JSX).
+- **Perf-lint** (`perfLint` / `compileChecked(src, { perf })`) — an opt-in pass
+  that flags real performance footguns in the fine-grained reactive + Helix render
+  model as `warning` diagnostics (it **never blocks the build**): a list via bare
+  `.map()` (`MDC_PERF_001`), a keyed builder with no `key` (`002`), heavy work in a
+  sync-lane `effect()` (`003`), a signal re-read in a loop (`004`), a subscribing
+  `effect()` with no cleanup (`005`), a static literal in a function-valued prop
+  (`006`), and a large inline list (`007`, off by default). Each rule reports a
+  concrete structural fact and *why* it's slow in this model — no invented
+  frame-time numbers. Suppress with a `// mdc-perf-ignore [CODE]` comment or
+  `rules: { MDC_PERF_001: 'off' }`. A diagnostic neither RN nor Flutter ships.
+- **Enforced perf budgets** (`checkBudget` / `compileChecked(src, { budget })`) —
+  spec §12: the compiler **fails the build** when a module exceeds its `maxBytes`
+  (compiled UTF-8 output) or `maxElements` (pre-flatten UI-tree count) budget. A
+  violation is an `error` that refuses to emit (`code: ''`), same contract as the
+  type-check gate — "100% optimized" is enforced, not aspirational. Neither React
+  Native nor Flutter enforces a perf budget at build time.
 
 ## API
 
@@ -72,11 +99,13 @@ buildRouteManifest(['index.tsx', 'blog/[slug].tsx'])
 | `typecheck(source, fileName?)` | fn | Type-check → `Diagnostic[]`. |
 | `hasErrors(diagnostics)` | fn | Any `error`-severity diagnostic? |
 | `compile(source, options?)` | fn | TSX → JS (+ flatten, plugins, source map). |
-| `compileChecked(source, options?)` | fn | Gate, then compile; no emit on errors. |
-| `buildRouteManifest(files)` / `fileToRoute` / `chunkName` | fn | Per-route manifest. |
+| `compileChecked(source, options?)` | fn | Gate (+ opt-in `perf`/`budget`), then compile; no emit on type or budget errors. |
+| `perfLint(source, fileName?, options?)` | fn | Opt-in perf-lint → `warning` `Diagnostic[]`; never blocks. |
+| `checkBudget(result, budget)` | fn | Perf-budget check → `error` `Diagnostic[]` for each exceeded limit. |
+| `buildRouteManifest(files)` / `fileToRoute` / `chunkName` / `generateRouteModule` | fn | Per-route manifest + file-based route codegen. |
 | `createFlattenTransformer` / `STATIC_MARKER` | fn | The flatten pass. |
 | `compileToNative` | fn | 🔬 research track — throws `NotImplementedError`. |
-| `CompileOptions`, `CompileResult`, `Diagnostic`, `MdcPlugin`, … | type | Public types. |
+| `CompileOptions`, `CompileResult`, `Diagnostic`, `MdcPlugin`, `BudgetOptions`, `PerfLintOptions`, … | type | Public types. |
 
 ## License
 

package/dist/index.d.ts

@@ -12,7 +12,7 @@ import { Maturity, NotImplementedError, PackageInfo, notImplemented } from "@min
 /** The npm package name. */
 declare const name = "@mindees/compiler";
 /** The package version. All `@mindees/*` packages share one locked version line. */
-declare const VERSION = "0.12.0";
+declare const VERSION = "0.14.0";
 /**
  * Current maturity. The build-time optimizer — type-check gate, TSX→createElement
  * transform, tree-flattening, per-route manifest, plugin API — is implemented

package/dist/index.js

@@ -10,7 +10,7 @@ import { NotImplementedError, notImplemented } from "@mindees/core";
 /** The npm package name. */
 const name = "@mindees/compiler";
 /** The package version. All `@mindees/*` packages share one locked version line. */
-const VERSION = "0.12.0";
+const VERSION = "0.14.0";
 /**
 * Current maturity. The build-time optimizer — type-check gate, TSX→createElement
 * transform, tree-flattening, per-route manifest, plugin API — is implemented

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","names":[],"sources":["../src/index.ts"],"sourcesContent":["import type { Maturity, PackageInfo } from '@mindees/core'\nimport { NotImplementedError, notImplemented } from '@mindees/core'\n\n/** TS → native AOT (research track). */\nexport { compileToNative, type NativeTarget } from './aot'\n/** Build-time performance budget (opt-in via `compileChecked(src, { budget })`) — fails the build. */\nexport { type BudgetOptions, checkBudget } from './budget'\n/** Tree-flattening optimizer pass. */\nexport { createFlattenTransformer, STATIC_MARKER } from './flatten'\n/** Build-time perf-lint (opt-in via `compileChecked(src, { perf: true })`). */\nexport { type PerfLintOptions, perfLint } from './perf-lint'\n/** Per-route code-splitting manifest + file-based route codegen. */\nexport {\n  buildRouteManifest,\n  chunkName,\n  fileToRoute,\n  type GenerateRouteModuleOptions,\n  generateRouteModule,\n  type RouteEntry,\n  type RouteManifest,\n} from './routes'\n/** Compile pipeline (TSX → optimized JS). */\nexport { compile, compileChecked } from './transform'\n/** The type-check gate. */\nexport { hasErrors, typecheck } from './typecheck'\n/** Shared types. */\nexport type {\n  CompileOptions,\n  CompileResult,\n  CompileStats,\n  Diagnostic,\n  DiagnosticSeverity,\n  MdcPlugin,\n  SourcePosition,\n} from './types'\n\n/** The npm package name. */\nexport const name = '@mindees/compiler'\n\n/** The package version. All `@mindees/*` packages share one locked version line. */\nexport const VERSION = '0.12.0'\n\n/**\n * Current maturity. The build-time optimizer — type-check gate, TSX→createElement\n * transform, tree-flattening, per-route manifest, plugin API — is implemented\n * and tested on the TypeScript Compiler API. TS→native AOT is a research track\n * (throws `NotImplementedError`); the working path is TS → optimized JS.\n */\nexport const maturity: Maturity = 'experimental'\n\n/**\n * Static identity + maturity metadata for this package. Frozen so the\n * self-reported identity tooling introspects cannot be mutated at runtime,\n * matching the `readonly` fields of {@link PackageInfo}.\n */\nexport const info: PackageInfo = Object.freeze({ name, version: VERSION, maturity })\n\nexport type { Maturity, PackageInfo }\nexport { NotImplementedError, notImplemented }\n"],"mappings":";;;;;;;;;;AAqCA,MAAa,OAAO;;AAGpB,MAAa,UAAU;;;;;;;AAQvB,MAAa,WAAqB;;;;;;AAOlC,MAAa,OAAoB,OAAO,OAAO;CAAE;CAAM,SAAS;CAAS;AAAS,CAAC"}
+{"version":3,"file":"index.js","names":[],"sources":["../src/index.ts"],"sourcesContent":["import type { Maturity, PackageInfo } from '@mindees/core'\nimport { NotImplementedError, notImplemented } from '@mindees/core'\n\n/** TS → native AOT (research track). */\nexport { compileToNative, type NativeTarget } from './aot'\n/** Build-time performance budget (opt-in via `compileChecked(src, { budget })`) — fails the build. */\nexport { type BudgetOptions, checkBudget } from './budget'\n/** Tree-flattening optimizer pass. */\nexport { createFlattenTransformer, STATIC_MARKER } from './flatten'\n/** Build-time perf-lint (opt-in via `compileChecked(src, { perf: true })`). */\nexport { type PerfLintOptions, perfLint } from './perf-lint'\n/** Per-route code-splitting manifest + file-based route codegen. */\nexport {\n  buildRouteManifest,\n  chunkName,\n  fileToRoute,\n  type GenerateRouteModuleOptions,\n  generateRouteModule,\n  type RouteEntry,\n  type RouteManifest,\n} from './routes'\n/** Compile pipeline (TSX → optimized JS). */\nexport { compile, compileChecked } from './transform'\n/** The type-check gate. */\nexport { hasErrors, typecheck } from './typecheck'\n/** Shared types. */\nexport type {\n  CompileOptions,\n  CompileResult,\n  CompileStats,\n  Diagnostic,\n  DiagnosticSeverity,\n  MdcPlugin,\n  SourcePosition,\n} from './types'\n\n/** The npm package name. */\nexport const name = '@mindees/compiler'\n\n/** The package version. All `@mindees/*` packages share one locked version line. */\nexport const VERSION = '0.14.0'\n\n/**\n * Current maturity. The build-time optimizer — type-check gate, TSX→createElement\n * transform, tree-flattening, per-route manifest, plugin API — is implemented\n * and tested on the TypeScript Compiler API. TS→native AOT is a research track\n * (throws `NotImplementedError`); the working path is TS → optimized JS.\n */\nexport const maturity: Maturity = 'experimental'\n\n/**\n * Static identity + maturity metadata for this package. Frozen so the\n * self-reported identity tooling introspects cannot be mutated at runtime,\n * matching the `readonly` fields of {@link PackageInfo}.\n */\nexport const info: PackageInfo = Object.freeze({ name, version: VERSION, maturity })\n\nexport type { Maturity, PackageInfo }\nexport { NotImplementedError, notImplemented }\n"],"mappings":";;;;;;;;;;AAqCA,MAAa,OAAO;;AAGpB,MAAa,UAAU;;;;;;;AAQvB,MAAa,WAAqB;;;;;;AAOlC,MAAa,OAAoB,OAAO,OAAO;CAAE;CAAM,SAAS;CAAS;AAAS,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mindees/compiler",
-  "version": "0.12.0",
+  "version": "0.14.0",
   "description": "MindeesNative Compiler (MDC) — build-time optimizer: type-check gate, TSX→createElement transform, tree-flattening, per-route code-splitting, and a plugin API. TS→native AOT is a research track.",
   "license": "MIT OR Apache-2.0",
   "type": "module",
@@ -24,7 +24,7 @@
   },
   "dependencies": {
     "typescript": "6.0.3",
-    "@mindees/core": "0.12.0"
+    "@mindees/core": "0.14.0"
   },
   "scripts": {
     "build": "tsdown",