@lokascript/compilation-service 3.2.0 → 4.0.0

package/dist/index.d.cts

@@ -1,5 +1,5 @@
-import { I as InputFormat, a as CompileResponse, B as BehaviorSpec, A as AbstractOperation, T as TriggerDiff, O as OperationDiff, b as TestRenderer, c as TestRenderOptions, G as GeneratedTest, d as ComponentRenderer, e as ComponentRenderOptions, f as GeneratedComponent } from './service-Da54XrEI.cjs';
-export { g as AddClassOp, h as AppendContentOp, i as BlurOp, C as CompilationService, j as CompileRequest, k as ComponentRequest, l as ComponentResponse, D as DecrementOp, m as Diagnostic, n as DiffInput, o as DiffRequest, p as DiffResponse, F as FetchOp, q as FocusOp, r as GeneratedTestOutput, H as HideOp, s as IncrementOp, L as LogOp, N as NavigateOp, t as OperationChangeKind, R as RemoveClassOp, S as ScoreRequest, u as ScoreResponse, v as SemanticJSON, w as SemanticJSONValue, x as ServiceOptions, y as SetContentOp, z as SetVariableOp, E as ShowOp, J as TargetRef, K as TestRequest, M as TestResponse, P as ToggleClassOp, Q as TranslateRequest, U as TranslateResponse, V as TriggerEventOp, W as ValidationResponse, X as WaitOp } from './service-Da54XrEI.cjs';
+import { I as InputFormat, B as BehaviorSpec, A as AbstractOperation, T as TriggerDiff, O as OperationDiff, a as TestRenderer, b as TestRenderOptions, G as GeneratedTest, c as ComponentRenderer, d as ComponentRenderOptions, e as GeneratedComponent } from './service-2lEnO5hA.cjs';
+export { f as AddClassOp, g as AppendContentOp, h as BlurOp, C as CompilationService, i as CompileRequest, j as ComponentRequest, k as ComponentResponse, D as DecrementOp, l as Diagnostic, m as DiffInput, n as DiffRequest, o as DiffResponse, F as FetchOp, p as FocusOp, q as GeneratedTestOutput, H as HideOp, r as IncrementOp, L as LogOp, N as NavigateOp, s as OperationChangeKind, R as RemoveClassOp, S as ScoreRequest, t as ScoreResponse, u as SemanticJSON, v as SemanticJSONValue, w as ServiceOptions, x as SetContentOp, y as SetVariableOp, z as ShowOp, E as TargetRef, J as TestRequest, K as TestResponse, M as ToggleClassOp, P as TranslateRequest, Q as TranslateResponse, U as TriggerEventOp, V as ValidationResponse, W as WaitOp } from './service-2lEnO5hA.cjs';
 export { jsonToSemanticNode, validateSemanticJSON } from '@lokascript/framework/ir';
 export { FidelityReport, FidelityScores, scoreNodes } from '@lokascript/semantic/fidelity';
 
@@ -14,48 +14,6 @@ export { FidelityReport, FidelityScores, scoreNodes } from '@lokascript/semantic
  */
 declare function detectFormat(input: string): InputFormat;
 
-/**
- * Semantic-keyed LRU cache.
- *
- * Caches compilation results keyed by canonical semantic representation.
- * Different input languages that produce the same semantics hit the same cache.
- */
-
-/**
- * Simple LRU cache using Map insertion order.
- */
-declare class SemanticCache {
-    private cache;
-    private readonly maxSize;
-    /** Cache hit/miss statistics */
-    hits: number;
-    misses: number;
-    constructor(maxSize?: number);
-    /**
-     * Get a cached response, or undefined if not cached.
-     */
-    get(key: string): CompileResponse | undefined;
-    /**
-     * Store a response in the cache.
-     */
-    set(key: string, value: CompileResponse): void;
-    /** Current cache size */
-    get size(): number;
-    /** Clear all entries */
-    clear(): void;
-}
-/**
- * Generate a canonical cache key from a semantic node and compilation options.
- *
- * The key is based on semantic identity, not syntax — so the same behavior
- * described in English, Japanese, or explicit syntax produces the same key.
- */
-declare function generateCacheKey(node: unknown, options: {
-    optimization?: number;
-    target?: string;
-    minify?: boolean;
-}): string;
-
 /**
  * Operation Extraction
  *
@@ -147,4 +105,4 @@ declare class SvelteRenderer implements ComponentRenderer {
     render(spec: BehaviorSpec, options?: ComponentRenderOptions): GeneratedComponent;
 }
 
-export { AbstractOperation, BehaviorSpec, CompileResponse, ComponentRenderOptions, ComponentRenderer, GeneratedComponent, GeneratedTest, InputFormat, OperationDiff, PlaywrightRenderer, ReactRenderer, SemanticCache, SvelteRenderer, TestRenderOptions, TestRenderer, TriggerDiff, VueRenderer, canonicalizeOp, detectFormat, diffBehaviors, extractOperations, generateCacheKey };
+export { AbstractOperation, BehaviorSpec, ComponentRenderOptions, ComponentRenderer, GeneratedComponent, GeneratedTest, InputFormat, OperationDiff, PlaywrightRenderer, ReactRenderer, SvelteRenderer, TestRenderOptions, TestRenderer, TriggerDiff, VueRenderer, canonicalizeOp, detectFormat, diffBehaviors, extractOperations };

package/dist/index.d.ts

@@ -1,5 +1,5 @@
-import { I as InputFormat, a as CompileResponse, B as BehaviorSpec, A as AbstractOperation, T as TriggerDiff, O as OperationDiff, b as TestRenderer, c as TestRenderOptions, G as GeneratedTest, d as ComponentRenderer, e as ComponentRenderOptions, f as GeneratedComponent } from './service-Da54XrEI.js';
-export { g as AddClassOp, h as AppendContentOp, i as BlurOp, C as CompilationService, j as CompileRequest, k as ComponentRequest, l as ComponentResponse, D as DecrementOp, m as Diagnostic, n as DiffInput, o as DiffRequest, p as DiffResponse, F as FetchOp, q as FocusOp, r as GeneratedTestOutput, H as HideOp, s as IncrementOp, L as LogOp, N as NavigateOp, t as OperationChangeKind, R as RemoveClassOp, S as ScoreRequest, u as ScoreResponse, v as SemanticJSON, w as SemanticJSONValue, x as ServiceOptions, y as SetContentOp, z as SetVariableOp, E as ShowOp, J as TargetRef, K as TestRequest, M as TestResponse, P as ToggleClassOp, Q as TranslateRequest, U as TranslateResponse, V as TriggerEventOp, W as ValidationResponse, X as WaitOp } from './service-Da54XrEI.js';
+import { I as InputFormat, B as BehaviorSpec, A as AbstractOperation, T as TriggerDiff, O as OperationDiff, a as TestRenderer, b as TestRenderOptions, G as GeneratedTest, c as ComponentRenderer, d as ComponentRenderOptions, e as GeneratedComponent } from './service-2lEnO5hA.js';
+export { f as AddClassOp, g as AppendContentOp, h as BlurOp, C as CompilationService, i as CompileRequest, j as ComponentRequest, k as ComponentResponse, D as DecrementOp, l as Diagnostic, m as DiffInput, n as DiffRequest, o as DiffResponse, F as FetchOp, p as FocusOp, q as GeneratedTestOutput, H as HideOp, r as IncrementOp, L as LogOp, N as NavigateOp, s as OperationChangeKind, R as RemoveClassOp, S as ScoreRequest, t as ScoreResponse, u as SemanticJSON, v as SemanticJSONValue, w as ServiceOptions, x as SetContentOp, y as SetVariableOp, z as ShowOp, E as TargetRef, J as TestRequest, K as TestResponse, M as ToggleClassOp, P as TranslateRequest, Q as TranslateResponse, U as TriggerEventOp, V as ValidationResponse, W as WaitOp } from './service-2lEnO5hA.js';
 export { jsonToSemanticNode, validateSemanticJSON } from '@lokascript/framework/ir';
 export { FidelityReport, FidelityScores, scoreNodes } from '@lokascript/semantic/fidelity';
 
@@ -14,48 +14,6 @@ export { FidelityReport, FidelityScores, scoreNodes } from '@lokascript/semantic
  */
 declare function detectFormat(input: string): InputFormat;
 
-/**
- * Semantic-keyed LRU cache.
- *
- * Caches compilation results keyed by canonical semantic representation.
- * Different input languages that produce the same semantics hit the same cache.
- */
-
-/**
- * Simple LRU cache using Map insertion order.
- */
-declare class SemanticCache {
-    private cache;
-    private readonly maxSize;
-    /** Cache hit/miss statistics */
-    hits: number;
-    misses: number;
-    constructor(maxSize?: number);
-    /**
-     * Get a cached response, or undefined if not cached.
-     */
-    get(key: string): CompileResponse | undefined;
-    /**
-     * Store a response in the cache.
-     */
-    set(key: string, value: CompileResponse): void;
-    /** Current cache size */
-    get size(): number;
-    /** Clear all entries */
-    clear(): void;
-}
-/**
- * Generate a canonical cache key from a semantic node and compilation options.
- *
- * The key is based on semantic identity, not syntax — so the same behavior
- * described in English, Japanese, or explicit syntax produces the same key.
- */
-declare function generateCacheKey(node: unknown, options: {
-    optimization?: number;
-    target?: string;
-    minify?: boolean;
-}): string;
-
 /**
  * Operation Extraction
  *
@@ -147,4 +105,4 @@ declare class SvelteRenderer implements ComponentRenderer {
     render(spec: BehaviorSpec, options?: ComponentRenderOptions): GeneratedComponent;
 }
 
-export { AbstractOperation, BehaviorSpec, CompileResponse, ComponentRenderOptions, ComponentRenderer, GeneratedComponent, GeneratedTest, InputFormat, OperationDiff, PlaywrightRenderer, ReactRenderer, SemanticCache, SvelteRenderer, TestRenderOptions, TestRenderer, TriggerDiff, VueRenderer, canonicalizeOp, detectFormat, diffBehaviors, extractOperations, generateCacheKey };
+export { AbstractOperation, BehaviorSpec, ComponentRenderOptions, ComponentRenderer, GeneratedComponent, GeneratedTest, InputFormat, OperationDiff, PlaywrightRenderer, ReactRenderer, SvelteRenderer, TestRenderOptions, TestRenderer, TriggerDiff, VueRenderer, canonicalizeOp, detectFormat, diffBehaviors, extractOperations };

package/dist/index.js

@@ -2,17 +2,14 @@ import {
   CompilationService,
   PlaywrightRenderer,
   ReactRenderer,
-  SemanticCache,
   SvelteRenderer,
   VueRenderer,
   canonicalizeOp,
   detectFormat,
   diffBehaviors,
   extractOperations,
-  generateCacheKey,
   scoreNodes
-} from "./chunk-XOAPC6M5.js";
-import "./chunk-GBPMR66W.js";
+} from "./chunk-GWYYJAZY.js";
 
 // src/input/json-schema.ts
 import {
@@ -24,14 +21,12 @@ export {
   CompilationService,
   PlaywrightRenderer,
   ReactRenderer,
-  SemanticCache,
   SvelteRenderer,
   VueRenderer,
   canonicalizeOp,
   detectFormat,
   diffBehaviors,
   extractOperations,
-  generateCacheKey,
   jsonToSemanticNode,
   scoreNodes,
   validateSemanticJSON

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/input/json-schema.ts"],"sourcesContent":["/**\n * LLM JSON input validation and conversion.\n *\n * Re-exports from @lokascript/framework/ir — the canonical IR layer.\n */\n\nexport {\n  validateSemanticJSON,\n  jsonToSemanticNode,\n  semanticNodeToJSON,\n} from '@lokascript/framework/ir';\n"],"mappings":";;;;;;;;;;;;;;;;;AAMA;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,OACK;","names":[]}
+{"version":3,"sources":["../src/input/json-schema.ts"],"sourcesContent":["/**\n * LLM JSON input validation and conversion.\n *\n * Re-exports from @lokascript/framework/ir — the canonical IR layer.\n */\n\nexport {\n  validateSemanticJSON,\n  jsonToSemanticNode,\n  semanticNodeToJSON,\n} from '@lokascript/framework/ir';\n"],"mappings":";;;;;;;;;;;;;;AAMA;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,OACK;","names":[]}

package/dist/{service-Da54XrEI.d.cts → service-2lEnO5hA.d.cts}

@@ -187,14 +187,10 @@ interface TestRenderer {
 interface TestRenderOptions {
     /** Override auto-generated test name */
     testName?: string;
-    /** How to load the hyperscript behavior in the test */
-    executionMode?: 'runtime' | 'compiled';
-    /** Path to LokaScript bundle (runtime mode) */
+    /** Path to the hyperscript bundle (default: @hyperfixi/engine's hyperfixi-hs.js) */
     bundlePath?: string;
     /** Original hyperscript source (for embedding in fixture) */
     hyperscript?: string;
-    /** Compiled JS code (for compiled mode) */
-    compiledJs?: string;
 }
 /**
  * A generated test file.
@@ -289,7 +285,7 @@ interface OperationDiff {
  */
 
 /** Score request — a candidate scored against a reference. Sides accept the
- * same input formats as diff/compile and may be in different languages. */
+ * same input formats as diff/validate and may be in different languages. */
 interface ScoreRequest {
     reference: DiffInput;
     candidate: DiffInput;
@@ -312,13 +308,17 @@ interface ScoreResponse extends Partial<FidelityReport> {
 /**
  * Types for the Compilation Service.
  *
- * Three input formats converge to a single compilation pipeline:
+ * Three input formats converge to one semantic node, which the service validates,
+ * translates, diffs, scores, and renders as components and tests:
  * - Natural language hyperscript (24 languages)
  * - Explicit syntax: [toggle patient:.active destination:#btn]
  * - LLM JSON: { action: "toggle", roles: { patient: { type: "selector", value: ".active" } } }
  */
 /**
- * Compilation request — provide exactly one of: code, explicit, or semantic.
+ * Hyperscript input — provide exactly one of: code, explicit, or semantic.
+ *
+ * (The name is from when the service also compiled hyperscript to JavaScript,
+ * through `@hyperfixi/aot-compiler`; that retired with the AOT compiler in 4.0.)
  */
 interface CompileRequest {
     /** Natural language hyperscript (requires `language`) */
@@ -331,12 +331,6 @@ interface CompileRequest {
     language?: string;
     /** Minimum confidence for natural language parsing (default 0.7) */
     confidence?: number;
-    /** Optimization level: 0=none, 1=basic, 2=full (default 2) */
-    optimization?: 0 | 1 | 2;
-    /** Output module format (default 'esm') */
-    target?: 'esm' | 'iife';
-    /** Minify output (default false) */
-    minify?: boolean;
 }
 /**
  * Translation request.
@@ -355,26 +349,7 @@ interface TranslateRequest {
 type SemanticJSON = SemanticJSON$1;
 type SemanticJSONValue = SemanticJSONValue$1;
 /**
- * Compilation response.
- */
-interface CompileResponse {
-    /** Whether compilation succeeded */
-    ok: boolean;
-    /** Compiled JavaScript (on success) */
-    js?: string;
-    /** Runtime helpers needed by the compiled code */
-    helpers?: string[];
-    /** Output size in bytes */
-    size?: number;
-    /** Normalized semantic representation (always present on success) */
-    semantic?: SemanticJSON;
-    /** Parse confidence (natural language input only) */
-    confidence?: number;
-    /** Errors, warnings, and info messages */
-    diagnostics: Diagnostic[];
-}
-/**
- * Validation-only response (no compilation).
+ * Validation response.
  */
 interface ValidationResponse {
     /** Whether validation passed */
@@ -436,11 +411,9 @@ interface TestRequest {
     confidence?: number;
     /** Test framework to target (default 'playwright') */
     framework?: string;
-    /** How to load hyperscript in the test (default 'runtime') */
-    executionMode?: 'runtime' | 'compiled';
     /** Override auto-generated test name */
     testName?: string;
-    /** Path to LokaScript bundle (runtime mode) */
+    /** Path to the hyperscript bundle (default: @hyperfixi/engine's hyperfixi-hs.js) */
     bundlePath?: string;
 }
 /**
@@ -527,14 +500,14 @@ interface GenerateRequest {
     /** LSE attempt — bracket syntax `[command role:value ...]` or protocol JSON string */
     lse: string;
     /**
-     * Output target (default 'js'):
-     * - 'js'             — compiled JavaScript
+     * Output target (required since 4.0, when the default, 'js', retired with the
+     * AOT compiler):
      * - 'react'          — React component
      * - 'vue'            — Vue component
      * - 'svelte'         — Svelte component
      * - 'intent-element' — HTML snippet with `<lse-intent>` and embedded JSON
      */
-    target?: 'js' | 'react' | 'vue' | 'svelte' | 'intent-element';
+    target: 'react' | 'vue' | 'svelte' | 'intent-element';
     /** Optional task description — included as a comment in intent-element output */
     task?: string;
 }
@@ -544,7 +517,7 @@ interface GenerateRequest {
 interface GenerateResponse {
     /** Whether generation succeeded */
     ok: boolean;
-    /** Rendered output (JS, JSX, Vue SFC, Svelte, or HTML snippet) */
+    /** Rendered output (JSX, Vue SFC, Svelte, or HTML snippet) */
     output?: string;
     /** Normalized protocol JSON (always present on success) */
     protocol?: SemanticJSON;
@@ -558,8 +531,6 @@ interface GenerateResponse {
 interface ServiceOptions {
     /** Default confidence threshold (default 0.7) */
     confidenceThreshold?: number;
-    /** Maximum cache entries (default 500, 0 to disable) */
-    cacheSize?: number;
     /** Custom test renderers keyed by framework name (default: { playwright: PlaywrightRenderer }) */
     testRenderers?: Record<string, TestRenderer>;
     /** Custom component renderers keyed by framework name (default: { react: ReactRenderer }) */
@@ -572,14 +543,22 @@ type InputFormat = 'natural' | 'explicit' | 'json';
  * CompilationService — the main orchestrator.
  *
  * Accepts hyperscript in three formats (natural language, explicit syntax, LLM JSON),
- * validates through semantic schemas, and compiles to optimized JavaScript.
+ * validates it through semantic schemas and the engine, and translates, diffs, scores, and
+ * renders it as components and tests. (It compiled to JavaScript through
+ * `@hyperfixi/aot-compiler` until 4.0, when the AOT compiler retired.)
  */
 
 declare class CompilationService {
-    private cache;
     private confidenceThreshold;
     private translateFn;
     private translationCollisionsFn;
+    /** semantic's `render`, for the English a translation runs as. */
+    private renderFn;
+    /**
+     * `@hyperfixi/engine`'s first parse error for a source (null: it parses). Set by create()
+     * when the engine is installed (an optional peer); without it there is no engine check.
+     */
+    private engineError;
     private testRenderers;
     private componentRenderers;
     private constructor();
@@ -594,23 +573,20 @@ declare class CompilationService {
     /**
      * Create a CompilationService by dynamically importing dependencies.
      *
-     * This async factory resolves @lokascript/semantic and @hyperfixi/aot-compiler
-     * at runtime, following the same pattern as createMultilingualCompiler().
+     * This async factory resolves @lokascript/semantic (and, when it is installed,
+     * @hyperfixi/engine) at runtime.
      */
     static create(options?: ServiceOptions): Promise<CompilationService>;
     /**
-     * Compile hyperscript to JavaScript.
-     *
-     * Accepts any of three input formats:
-     * - `code` + `language`: Natural language hyperscript
-     * - `explicit`: Bracket syntax [command role:value ...]
-     * - `semantic`: LLM JSON { action, roles, trigger }
-     *
-     * Returns compiled JS, semantic representation, and diagnostics.
+     * The engine's verdict on natural-language input: its parse of the English the page would
+     * run — the source as written, or a translation's English render (what
+     * `@lokascript/hyperscript-adapter` hands the engine). Null when it parses, or when there is
+     * nothing to check (explicit / JSON input, or no engine installed).
      */
-    compile(request: CompileRequest): CompileResponse;
+    private engineDiagnostic;
     /**
-     * Validate input without compiling.
+     * Validate input: semantic's parse and schemas, and (for natural-language input) the
+     * engine's parse of the English the page would run.
      * Returns semantic representation and diagnostics.
      */
     validate(request: CompileRequest): ValidationResponse;
@@ -660,27 +636,13 @@ declare class CompilationService {
      * Accepts LSE produced by an LLM (via `lse_generate_with_correction` MCP tool),
      * validates it, and renders to the requested target format.
      *
-     * Targets:
-     * - 'js'             — compiled JavaScript (default)
+     * Targets (`target` is required):
      * - 'react'          — React component
      * - 'vue'            — Vue component
      * - 'svelte'         — Svelte component
      * - 'intent-element' — HTML snippet with embedded `<lse-intent>` JSON
      */
     generate(request: GenerateRequest): Promise<GenerateResponse>;
-    /**
-     * Get cache statistics.
-     */
-    getCacheStats(): {
-        size: number;
-        hits: number;
-        misses: number;
-        hitRate: number;
-    };
-    /**
-     * Clear the compilation cache.
-     */
-    clearCache(): void;
 }
 
-export { type AbstractOperation as A, type BehaviorSpec as B, CompilationService as C, type DecrementOp as D, type ShowOp as E, type FetchOp as F, type GeneratedTest as G, type HideOp as H, type InputFormat as I, type TargetRef as J, type TestRequest as K, type LogOp as L, type TestResponse as M, type NavigateOp as N, type OperationDiff as O, type ToggleClassOp as P, type TranslateRequest as Q, type RemoveClassOp as R, type ScoreRequest as S, type TriggerDiff as T, type TranslateResponse as U, type TriggerEventOp as V, type ValidationResponse as W, type WaitOp as X, type CompileResponse as a, type TestRenderer as b, type TestRenderOptions as c, type ComponentRenderer as d, type ComponentRenderOptions as e, type GeneratedComponent as f, type AddClassOp as g, type AppendContentOp as h, type BlurOp as i, type CompileRequest as j, type ComponentRequest as k, type ComponentResponse as l, type Diagnostic as m, type DiffInput as n, type DiffRequest as o, type DiffResponse as p, type FocusOp as q, type GeneratedTestOutput as r, type IncrementOp as s, type OperationChangeKind as t, type ScoreResponse as u, type SemanticJSON as v, type SemanticJSONValue as w, type ServiceOptions as x, type SetContentOp as y, type SetVariableOp as z };
+export { type AbstractOperation as A, type BehaviorSpec as B, CompilationService as C, type DecrementOp as D, type TargetRef as E, type FetchOp as F, type GeneratedTest as G, type HideOp as H, type InputFormat as I, type TestRequest as J, type TestResponse as K, type LogOp as L, type ToggleClassOp as M, type NavigateOp as N, type OperationDiff as O, type TranslateRequest as P, type TranslateResponse as Q, type RemoveClassOp as R, type ScoreRequest as S, type TriggerDiff as T, type TriggerEventOp as U, type ValidationResponse as V, type WaitOp as W, type TestRenderer as a, type TestRenderOptions as b, type ComponentRenderer as c, type ComponentRenderOptions as d, type GeneratedComponent as e, type AddClassOp as f, type AppendContentOp as g, type BlurOp as h, type CompileRequest as i, type ComponentRequest as j, type ComponentResponse as k, type Diagnostic as l, type DiffInput as m, type DiffRequest as n, type DiffResponse as o, type FocusOp as p, type GeneratedTestOutput as q, type IncrementOp as r, type OperationChangeKind as s, type ScoreResponse as t, type SemanticJSON as u, type SemanticJSONValue as v, type ServiceOptions as w, type SetContentOp as x, type SetVariableOp as y, type ShowOp as z };

package/dist/{service-Da54XrEI.d.ts → service-2lEnO5hA.d.ts}

@@ -187,14 +187,10 @@ interface TestRenderer {
 interface TestRenderOptions {
     /** Override auto-generated test name */
     testName?: string;
-    /** How to load the hyperscript behavior in the test */
-    executionMode?: 'runtime' | 'compiled';
-    /** Path to LokaScript bundle (runtime mode) */
+    /** Path to the hyperscript bundle (default: @hyperfixi/engine's hyperfixi-hs.js) */
     bundlePath?: string;
     /** Original hyperscript source (for embedding in fixture) */
     hyperscript?: string;
-    /** Compiled JS code (for compiled mode) */
-    compiledJs?: string;
 }
 /**
  * A generated test file.
@@ -289,7 +285,7 @@ interface OperationDiff {
  */
 
 /** Score request — a candidate scored against a reference. Sides accept the
- * same input formats as diff/compile and may be in different languages. */
+ * same input formats as diff/validate and may be in different languages. */
 interface ScoreRequest {
     reference: DiffInput;
     candidate: DiffInput;
@@ -312,13 +308,17 @@ interface ScoreResponse extends Partial<FidelityReport> {
 /**
  * Types for the Compilation Service.
  *
- * Three input formats converge to a single compilation pipeline:
+ * Three input formats converge to one semantic node, which the service validates,
+ * translates, diffs, scores, and renders as components and tests:
  * - Natural language hyperscript (24 languages)
  * - Explicit syntax: [toggle patient:.active destination:#btn]
  * - LLM JSON: { action: "toggle", roles: { patient: { type: "selector", value: ".active" } } }
  */
 /**
- * Compilation request — provide exactly one of: code, explicit, or semantic.
+ * Hyperscript input — provide exactly one of: code, explicit, or semantic.
+ *
+ * (The name is from when the service also compiled hyperscript to JavaScript,
+ * through `@hyperfixi/aot-compiler`; that retired with the AOT compiler in 4.0.)
  */
 interface CompileRequest {
     /** Natural language hyperscript (requires `language`) */
@@ -331,12 +331,6 @@ interface CompileRequest {
     language?: string;
     /** Minimum confidence for natural language parsing (default 0.7) */
     confidence?: number;
-    /** Optimization level: 0=none, 1=basic, 2=full (default 2) */
-    optimization?: 0 | 1 | 2;
-    /** Output module format (default 'esm') */
-    target?: 'esm' | 'iife';
-    /** Minify output (default false) */
-    minify?: boolean;
 }
 /**
  * Translation request.
@@ -355,26 +349,7 @@ interface TranslateRequest {
 type SemanticJSON = SemanticJSON$1;
 type SemanticJSONValue = SemanticJSONValue$1;
 /**
- * Compilation response.
- */
-interface CompileResponse {
-    /** Whether compilation succeeded */
-    ok: boolean;
-    /** Compiled JavaScript (on success) */
-    js?: string;
-    /** Runtime helpers needed by the compiled code */
-    helpers?: string[];
-    /** Output size in bytes */
-    size?: number;
-    /** Normalized semantic representation (always present on success) */
-    semantic?: SemanticJSON;
-    /** Parse confidence (natural language input only) */
-    confidence?: number;
-    /** Errors, warnings, and info messages */
-    diagnostics: Diagnostic[];
-}
-/**
- * Validation-only response (no compilation).
+ * Validation response.
  */
 interface ValidationResponse {
     /** Whether validation passed */
@@ -436,11 +411,9 @@ interface TestRequest {
     confidence?: number;
     /** Test framework to target (default 'playwright') */
     framework?: string;
-    /** How to load hyperscript in the test (default 'runtime') */
-    executionMode?: 'runtime' | 'compiled';
     /** Override auto-generated test name */
     testName?: string;
-    /** Path to LokaScript bundle (runtime mode) */
+    /** Path to the hyperscript bundle (default: @hyperfixi/engine's hyperfixi-hs.js) */
     bundlePath?: string;
 }
 /**
@@ -527,14 +500,14 @@ interface GenerateRequest {
     /** LSE attempt — bracket syntax `[command role:value ...]` or protocol JSON string */
     lse: string;
     /**
-     * Output target (default 'js'):
-     * - 'js'             — compiled JavaScript
+     * Output target (required since 4.0, when the default, 'js', retired with the
+     * AOT compiler):
      * - 'react'          — React component
      * - 'vue'            — Vue component
      * - 'svelte'         — Svelte component
      * - 'intent-element' — HTML snippet with `<lse-intent>` and embedded JSON
      */
-    target?: 'js' | 'react' | 'vue' | 'svelte' | 'intent-element';
+    target: 'react' | 'vue' | 'svelte' | 'intent-element';
     /** Optional task description — included as a comment in intent-element output */
     task?: string;
 }
@@ -544,7 +517,7 @@ interface GenerateRequest {
 interface GenerateResponse {
     /** Whether generation succeeded */
     ok: boolean;
-    /** Rendered output (JS, JSX, Vue SFC, Svelte, or HTML snippet) */
+    /** Rendered output (JSX, Vue SFC, Svelte, or HTML snippet) */
     output?: string;
     /** Normalized protocol JSON (always present on success) */
     protocol?: SemanticJSON;
@@ -558,8 +531,6 @@ interface GenerateResponse {
 interface ServiceOptions {
     /** Default confidence threshold (default 0.7) */
     confidenceThreshold?: number;
-    /** Maximum cache entries (default 500, 0 to disable) */
-    cacheSize?: number;
     /** Custom test renderers keyed by framework name (default: { playwright: PlaywrightRenderer }) */
     testRenderers?: Record<string, TestRenderer>;
     /** Custom component renderers keyed by framework name (default: { react: ReactRenderer }) */
@@ -572,14 +543,22 @@ type InputFormat = 'natural' | 'explicit' | 'json';
  * CompilationService — the main orchestrator.
  *
  * Accepts hyperscript in three formats (natural language, explicit syntax, LLM JSON),
- * validates through semantic schemas, and compiles to optimized JavaScript.
+ * validates it through semantic schemas and the engine, and translates, diffs, scores, and
+ * renders it as components and tests. (It compiled to JavaScript through
+ * `@hyperfixi/aot-compiler` until 4.0, when the AOT compiler retired.)
  */
 
 declare class CompilationService {
-    private cache;
     private confidenceThreshold;
     private translateFn;
     private translationCollisionsFn;
+    /** semantic's `render`, for the English a translation runs as. */
+    private renderFn;
+    /**
+     * `@hyperfixi/engine`'s first parse error for a source (null: it parses). Set by create()
+     * when the engine is installed (an optional peer); without it there is no engine check.
+     */
+    private engineError;
     private testRenderers;
     private componentRenderers;
     private constructor();
@@ -594,23 +573,20 @@ declare class CompilationService {
     /**
      * Create a CompilationService by dynamically importing dependencies.
      *
-     * This async factory resolves @lokascript/semantic and @hyperfixi/aot-compiler
-     * at runtime, following the same pattern as createMultilingualCompiler().
+     * This async factory resolves @lokascript/semantic (and, when it is installed,
+     * @hyperfixi/engine) at runtime.
      */
     static create(options?: ServiceOptions): Promise<CompilationService>;
     /**
-     * Compile hyperscript to JavaScript.
-     *
-     * Accepts any of three input formats:
-     * - `code` + `language`: Natural language hyperscript
-     * - `explicit`: Bracket syntax [command role:value ...]
-     * - `semantic`: LLM JSON { action, roles, trigger }
-     *
-     * Returns compiled JS, semantic representation, and diagnostics.
+     * The engine's verdict on natural-language input: its parse of the English the page would
+     * run — the source as written, or a translation's English render (what
+     * `@lokascript/hyperscript-adapter` hands the engine). Null when it parses, or when there is
+     * nothing to check (explicit / JSON input, or no engine installed).
      */
-    compile(request: CompileRequest): CompileResponse;
+    private engineDiagnostic;
     /**
-     * Validate input without compiling.
+     * Validate input: semantic's parse and schemas, and (for natural-language input) the
+     * engine's parse of the English the page would run.
      * Returns semantic representation and diagnostics.
      */
     validate(request: CompileRequest): ValidationResponse;
@@ -660,27 +636,13 @@ declare class CompilationService {
      * Accepts LSE produced by an LLM (via `lse_generate_with_correction` MCP tool),
      * validates it, and renders to the requested target format.
      *
-     * Targets:
-     * - 'js'             — compiled JavaScript (default)
+     * Targets (`target` is required):
      * - 'react'          — React component
      * - 'vue'            — Vue component
      * - 'svelte'         — Svelte component
      * - 'intent-element' — HTML snippet with embedded `<lse-intent>` JSON
      */
     generate(request: GenerateRequest): Promise<GenerateResponse>;
-    /**
-     * Get cache statistics.
-     */
-    getCacheStats(): {
-        size: number;
-        hits: number;
-        misses: number;
-        hitRate: number;
-    };
-    /**
-     * Clear the compilation cache.
-     */
-    clearCache(): void;
 }
 
-export { type AbstractOperation as A, type BehaviorSpec as B, CompilationService as C, type DecrementOp as D, type ShowOp as E, type FetchOp as F, type GeneratedTest as G, type HideOp as H, type InputFormat as I, type TargetRef as J, type TestRequest as K, type LogOp as L, type TestResponse as M, type NavigateOp as N, type OperationDiff as O, type ToggleClassOp as P, type TranslateRequest as Q, type RemoveClassOp as R, type ScoreRequest as S, type TriggerDiff as T, type TranslateResponse as U, type TriggerEventOp as V, type ValidationResponse as W, type WaitOp as X, type CompileResponse as a, type TestRenderer as b, type TestRenderOptions as c, type ComponentRenderer as d, type ComponentRenderOptions as e, type GeneratedComponent as f, type AddClassOp as g, type AppendContentOp as h, type BlurOp as i, type CompileRequest as j, type ComponentRequest as k, type ComponentResponse as l, type Diagnostic as m, type DiffInput as n, type DiffRequest as o, type DiffResponse as p, type FocusOp as q, type GeneratedTestOutput as r, type IncrementOp as s, type OperationChangeKind as t, type ScoreResponse as u, type SemanticJSON as v, type SemanticJSONValue as w, type ServiceOptions as x, type SetContentOp as y, type SetVariableOp as z };
+export { type AbstractOperation as A, type BehaviorSpec as B, CompilationService as C, type DecrementOp as D, type TargetRef as E, type FetchOp as F, type GeneratedTest as G, type HideOp as H, type InputFormat as I, type TestRequest as J, type TestResponse as K, type LogOp as L, type ToggleClassOp as M, type NavigateOp as N, type OperationDiff as O, type TranslateRequest as P, type TranslateResponse as Q, type RemoveClassOp as R, type ScoreRequest as S, type TriggerDiff as T, type TriggerEventOp as U, type ValidationResponse as V, type WaitOp as W, type TestRenderer as a, type TestRenderOptions as b, type ComponentRenderer as c, type ComponentRenderOptions as d, type GeneratedComponent as e, type AddClassOp as f, type AppendContentOp as g, type BlurOp as h, type CompileRequest as i, type ComponentRequest as j, type ComponentResponse as k, type Diagnostic as l, type DiffInput as m, type DiffRequest as n, type DiffResponse as o, type FocusOp as p, type GeneratedTestOutput as q, type IncrementOp as r, type OperationChangeKind as s, type ScoreResponse as t, type SemanticJSON as u, type SemanticJSONValue as v, type ServiceOptions as w, type SetContentOp as x, type SetVariableOp as y, type ShowOp as z };