@lokascript/compilation-service 2.10.0 → 2.11.1

package/dist/index.d.cts

@@ -1,6 +1,7 @@
-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-ZMZn7WPv.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 SemanticJSON, u as SemanticJSONValue, v as ServiceOptions, w as SetContentOp, x as SetVariableOp, y as ShowOp, z as TargetRef, E as TestRequest, J as TestResponse, K as ToggleClassOp, M as TranslateRequest, P as TranslateResponse, Q as TriggerEventOp, V as ValidationResponse, W as WaitOp } from './service-ZMZn7WPv.cjs';
+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-IyB2DZOm.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-IyB2DZOm.cjs';
 export { jsonToSemanticNode, validateSemanticJSON } from '@lokascript/framework/ir';
+export { FidelityReport, FidelityScores, scoreNodes } from '@lokascript/semantic/fidelity';
 
 /**
  * Input format detection.

package/dist/index.d.ts

@@ -1,6 +1,7 @@
-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-ZMZn7WPv.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 SemanticJSON, u as SemanticJSONValue, v as ServiceOptions, w as SetContentOp, x as SetVariableOp, y as ShowOp, z as TargetRef, E as TestRequest, J as TestResponse, K as ToggleClassOp, M as TranslateRequest, P as TranslateResponse, Q as TriggerEventOp, V as ValidationResponse, W as WaitOp } from './service-ZMZn7WPv.js';
+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-IyB2DZOm.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-IyB2DZOm.js';
 export { jsonToSemanticNode, validateSemanticJSON } from '@lokascript/framework/ir';
+export { FidelityReport, FidelityScores, scoreNodes } from '@lokascript/semantic/fidelity';
 
 /**
  * Input format detection.

package/dist/index.js

@@ -9,8 +9,9 @@ import {
   detectFormat,
   diffBehaviors,
   extractOperations,
-  generateCacheKey
-} from "./chunk-4ML32LEX.js";
+  generateCacheKey,
+  scoreNodes
+} from "./chunk-HRUSP6F2.js";
 import "./chunk-GBPMR66W.js";
 
 // src/input/json-schema.ts
@@ -32,6 +33,7 @@ export {
   extractOperations,
   generateCacheKey,
   jsonToSemanticNode,
+  scoreNodes,
   validateSemanticJSON
 };
 //# sourceMappingURL=index.js.map

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-ZMZn7WPv.d.cts → service-IyB2DZOm.d.cts}

@@ -1,3 +1,4 @@
+import { FidelityReport } from '@lokascript/semantic/fidelity';
 import { SemanticJSON as SemanticJSON$1, SemanticJSONValue as SemanticJSONValue$1 } from '@lokascript/framework/ir';
 
 /**
@@ -276,6 +277,31 @@ interface OperationDiff {
     changes?: string[];
 }
 
+/**
+ * Structural fidelity scoring — `scoreFidelity()` (agent-era arc 4).
+ *
+ * The scorer itself (`scoreNodes` and its report types) lives in
+ * `@lokascript/semantic/fidelity` since arc 5 slice 2, so the language
+ * server's translate-with-verification request and this service share ONE
+ * implementation; this module re-exports it for API compatibility and adds
+ * the service-level request/response shapes. See that module for signal
+ * semantics; docs/FIDELITY.md for the methodology.
+ */
+
+/** Score request — a candidate scored against a reference. Sides accept the
+ * same input formats as diff/compile and may be in different languages. */
+interface ScoreRequest {
+    reference: DiffInput;
+    candidate: DiffInput;
+    /** Minimum confidence for natural language parsing (default 0.7) */
+    confidence?: number;
+}
+interface ScoreResponse extends Partial<FidelityReport> {
+    /** Whether both sides parsed successfully. */
+    ok: boolean;
+    diagnostics: Diagnostic[];
+}
+
 /**
  * Types for the Compilation Service.
  *
@@ -315,6 +341,8 @@ interface TranslateRequest {
     from: string;
     /** Target language */
     to: string;
+    /** Verify the translation against the source via scoreFidelity (default true). */
+    verify?: boolean;
 }
 
 type SemanticJSON = SemanticJSON$1;
@@ -359,6 +387,16 @@ interface TranslateResponse {
     ok: boolean;
     /** Translated code */
     code?: string;
+    /**
+     * Fidelity verification of the translation against its source (arc 5's
+     * verified-translation badge): the output scored as candidate against the
+     * input as reference via scoreFidelity(). ADVISORY — a verification that
+     * fails to parse never flips `ok`, and its diagnostics stay inside this
+     * object. `verification.faithful === true` is the claim "this rendering is
+     * structurally exact"; absent when the caller passed `verify: false` or
+     * translation itself failed.
+     */
+    verification?: ScoreResponse;
     /** Diagnostics */
     diagnostics: Diagnostic[];
 }
@@ -593,6 +631,15 @@ declare class CompilationService {
      * as abstract operations. Same behavior in different languages → identical.
      */
     diff(request: DiffRequest): DiffResponse;
+    /**
+     * Score a candidate against a reference for structural fidelity — the
+     * multilingual ratchet's scorers (docs/FIDELITY.md) applied to one pair of
+     * inputs. Sides accept any input format and may be in different languages;
+     * see src/scoring/score.ts for signal semantics. Complementary to diff():
+     * diff answers "identical, and where not?", this answers "how faithful, and
+     * what exactly is missing or hallucinated?".
+     */
+    scoreFidelity(request: ScoreRequest): ScoreResponse;
     /**
      * Generate a target-specific output from LSE (bracket syntax or protocol JSON).
      *
@@ -622,4 +669,4 @@ declare class CompilationService {
     clearCache(): void;
 }
 
-export { type AbstractOperation as A, type BehaviorSpec as B, CompilationService as C, type DecrementOp as D, type TestRequest as E, type FetchOp as F, type GeneratedTest as G, type HideOp as H, type InputFormat as I, type TestResponse as J, type ToggleClassOp as K, type LogOp as L, type TranslateRequest as M, type NavigateOp as N, type OperationDiff as O, type TranslateResponse as P, type TriggerEventOp as Q, type RemoveClassOp as R, type SemanticJSON as S, type TriggerDiff as T, type ValidationResponse as V, type WaitOp as W, 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 SemanticJSONValue as u, type ServiceOptions as v, type SetContentOp as w, type SetVariableOp as x, type ShowOp as y, type TargetRef as z };
+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 };

package/dist/{service-ZMZn7WPv.d.ts → service-IyB2DZOm.d.ts}

@@ -1,3 +1,4 @@
+import { FidelityReport } from '@lokascript/semantic/fidelity';
 import { SemanticJSON as SemanticJSON$1, SemanticJSONValue as SemanticJSONValue$1 } from '@lokascript/framework/ir';
 
 /**
@@ -276,6 +277,31 @@ interface OperationDiff {
     changes?: string[];
 }
 
+/**
+ * Structural fidelity scoring — `scoreFidelity()` (agent-era arc 4).
+ *
+ * The scorer itself (`scoreNodes` and its report types) lives in
+ * `@lokascript/semantic/fidelity` since arc 5 slice 2, so the language
+ * server's translate-with-verification request and this service share ONE
+ * implementation; this module re-exports it for API compatibility and adds
+ * the service-level request/response shapes. See that module for signal
+ * semantics; docs/FIDELITY.md for the methodology.
+ */
+
+/** Score request — a candidate scored against a reference. Sides accept the
+ * same input formats as diff/compile and may be in different languages. */
+interface ScoreRequest {
+    reference: DiffInput;
+    candidate: DiffInput;
+    /** Minimum confidence for natural language parsing (default 0.7) */
+    confidence?: number;
+}
+interface ScoreResponse extends Partial<FidelityReport> {
+    /** Whether both sides parsed successfully. */
+    ok: boolean;
+    diagnostics: Diagnostic[];
+}
+
 /**
  * Types for the Compilation Service.
  *
@@ -315,6 +341,8 @@ interface TranslateRequest {
     from: string;
     /** Target language */
     to: string;
+    /** Verify the translation against the source via scoreFidelity (default true). */
+    verify?: boolean;
 }
 
 type SemanticJSON = SemanticJSON$1;
@@ -359,6 +387,16 @@ interface TranslateResponse {
     ok: boolean;
     /** Translated code */
     code?: string;
+    /**
+     * Fidelity verification of the translation against its source (arc 5's
+     * verified-translation badge): the output scored as candidate against the
+     * input as reference via scoreFidelity(). ADVISORY — a verification that
+     * fails to parse never flips `ok`, and its diagnostics stay inside this
+     * object. `verification.faithful === true` is the claim "this rendering is
+     * structurally exact"; absent when the caller passed `verify: false` or
+     * translation itself failed.
+     */
+    verification?: ScoreResponse;
     /** Diagnostics */
     diagnostics: Diagnostic[];
 }
@@ -593,6 +631,15 @@ declare class CompilationService {
      * as abstract operations. Same behavior in different languages → identical.
      */
     diff(request: DiffRequest): DiffResponse;
+    /**
+     * Score a candidate against a reference for structural fidelity — the
+     * multilingual ratchet's scorers (docs/FIDELITY.md) applied to one pair of
+     * inputs. Sides accept any input format and may be in different languages;
+     * see src/scoring/score.ts for signal semantics. Complementary to diff():
+     * diff answers "identical, and where not?", this answers "how faithful, and
+     * what exactly is missing or hallucinated?".
+     */
+    scoreFidelity(request: ScoreRequest): ScoreResponse;
     /**
      * Generate a target-specific output from LSE (bracket syntax or protocol JSON).
      *
@@ -622,4 +669,4 @@ declare class CompilationService {
     clearCache(): void;
 }
 
-export { type AbstractOperation as A, type BehaviorSpec as B, CompilationService as C, type DecrementOp as D, type TestRequest as E, type FetchOp as F, type GeneratedTest as G, type HideOp as H, type InputFormat as I, type TestResponse as J, type ToggleClassOp as K, type LogOp as L, type TranslateRequest as M, type NavigateOp as N, type OperationDiff as O, type TranslateResponse as P, type TriggerEventOp as Q, type RemoveClassOp as R, type SemanticJSON as S, type TriggerDiff as T, type ValidationResponse as V, type WaitOp as W, 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 SemanticJSONValue as u, type ServiceOptions as v, type SetContentOp as w, type SetVariableOp as x, type ShowOp as y, type TargetRef as z };
+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 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lokascript/compilation-service",
-  "version": "2.10.0",
+  "version": "2.11.1",
   "description": "Semantic compilation service for LokaScript - validates and compiles hyperscript from 24 languages, explicit syntax, or LLM JSON",
   "type": "module",
   "sideEffects": false,
@@ -35,20 +35,20 @@
     "clean": "rm -rf dist"
   },
   "dependencies": {
-    "@lokascript/framework": "^2.10.0",
-    "hono": "^4.11.7"
+    "@lokascript/framework": "^2.11.1",
+    "hono": "^4.13.0"
   },
   "devDependencies": {
     "@hono/node-server": "^2.0.11",
-    "@hyperfixi/aot-compiler": "^2.10.0",
-    "@lokascript/semantic": "^2.10.0",
+    "@hyperfixi/aot-compiler": "^2.11.1",
+    "@lokascript/semantic": "^2.11.1",
     "@types/node": "^26.1.2",
     "tsup": "^8.0.1",
     "typescript": "^5.3.3",
     "vitest": "^4.1.5"
   },
   "peerDependencies": {
-    "@lokascript/semantic": "^2.10.0"
+    "@lokascript/semantic": "^2.11.1"
   },
   "peerDependenciesMeta": {
     "@lokascript/semantic": {