@lokascript/compilation-service 3.1.1 → 3.3.0

package/CHANGELOG.md

@@ -7,6 +7,189 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [3.3.0] - 2026-10-02
+
+The first publication of `@hyperfixi/engine`, the hyperscript engine meant to replace the one
+in `@hyperfixi/core`, and the example gallery moved onto it.
+
+### Added
+
+- **`@hyperfixi/engine` is published.** A hyperscript engine written against upstream
+  `_hyperscript`'s source, with upstream's own test suite as the acceptance oracle (1,401 of
+  1,467 tests; the 66 known failures are upstream's internal API, sockets and workers). It
+  ships `dist/hyperfixi-hs.js`, a script-tag bundle of hyperscript and nothing else, 34.1 KB
+  gzipped, which 36 of the repository's example pages now load instead of `hyperfixi.js`. It
+  keeps two forms upstream lacks, `new X(...)` and `toggle <element>`; the other hyperfixi-only
+  forms are not in it. It is typed (`tsc --strict`, no `any`), built from modules, and exposes
+  upstream's public API shape plus one hook, `addSourceTransform`, which
+  `@lokascript/hyperscript-adapter` uses to run the 24 languages on it.
+
+### Changed
+
+- **Examples and docs are written in upstream `_hyperscript`'s spelling** wherever upstream has
+  one: `put Y into X` for the `swap` strategies, `debounced at 300ms`, `matches`, `set X's @a`,
+  `increment #count's textContent` (core counted in a bare `#count`; upstream does not),
+  `on mutation of childList from #x`, `my offsetLeft` in place of `measure x`. The multilingual
+  reader still accepts the old forms; the renderer writes upstream's. Corpus rows follow.
+- **`@lokascript/semantic` renders `repeat for x in xs index i`** (was `with index`) and
+  `tell X show` (was `tell X to show`), upstream's spellings.
+- **The examples' bundle loader** takes a per-page default (`data-default="hs"`), and `?bundle=hs`
+  switches any page to the engine bundle.
+
+### Fixed
+
+- **`@hyperfixi/core`**: `toggle *display of X` parsed and then threw.
+- **Hybrid bundles (`hyperfixi-hx.js`)**: `increment` / `decrement` of a possessive wrote only
+  style properties; `increment #count's textContent` evaluated to the text and threw on
+  `querySelectorAll('0')`. They now write the property.
+- **`@lokascript/semantic`**: a template-literal URL in a Korean handler was read as a custom
+  event name.
+
+## [3.2.0] - 2026-09-30
+
+A correctness release for multilingual hyperscript. The semantic parser behind
+`translate()`, `@lokascript/hyperscript-adapter`, MCP `translate_code` and hyperfixi's
+non-English path now keeps whole programs that it used to shorten or drop: values,
+conditions, loops and handler heads. Every value shape in a generated matrix of 4,205
+(executed in 24 languages, directly and through the adapter, against upstream
+\_hyperscript) now matches upstream, apart from two documented differences. Core
+matches upstream \_hyperscript on more forms.
+
+### Added
+
+- **Counted loops are written in each language's own words**: es `repetir 3 veces`,
+  fr `répéter 3 fois`, ja `3 回 を 繰り返し`, hi `3 बार को दोहराएं`, where translations
+  wrote English `times` in 18 languages and English `repeat` in the SOV six. English
+  `times`/`repeat` and each language's other count words (es `vez`, ru `раза`, …) still
+  read. 18 i18n dictionaries gain a `temporal.times` word.
+- **Variable names that are words of the target language.** A variable spelled like a
+  structure word (es `si`, pl `w`, tr `al`) is written in parentheses, `(si)`, where the
+  plain translation would be misread, and read back as the variable. The language server
+  warns (`name-collision`, with a rename quick fix), MCP `validate_hyperscript` reports
+  `NAME_COLLISION`, and `translate_code` warns when a variable reads as a value word in
+  the target (tl `ako` is `me`). `@lokascript/semantic` exports `nameCollision`,
+  `findNameCollisions` and `findTranslationCollisions`.
+- Event-handler modifiers (`once`, `debounced at`, `throttled at`, `from`) render in every
+  language and are scored by the fidelity signals.
+- `of`-paths and pseudo-commands (`reset() the closest <form/>`) survive translation.
+- `@lokascript/hyperscript-adapter`'s host gate also rejects a translation that reads a
+  reference as a handler's event (`on click on me toggle .active`, an empty click handler
+  plus a handler for an event named `me`), falling back to the author's text with a
+  warning; such a translation used to parse cleanly and do nothing.
+- **Localized htmx attributes: all 23 non-English languages now cover
+  every attribute the _Hypermedia Systems_ book's code listings use** —
+  `hx-vals`, `hx-select`, `hx-swap-oob` and `hx-sync` join the Contact.app
+  twelve (`hx-値`, `hx-valores`, `hx-값`, `hx-werte`, `hx-選択`, `hx-selección`,
+  `hx-seçim`, `hx-auswahl`, `hx-sélection`, `hx-选择`, …). tr/de/fr/zh are new
+  in the table: the Contact.app seven they lacked (`hx-sil`, `hx-löschen`,
+  `hx-supprimer`, `hx-删除`, …) plus audited trigger/swap primaries following
+  loka-js (`hx-tetikleyici`, `hx-auslöser`, `hx-déclencheur`, `hx-替换`; the
+  profile words `hx-tetikle`, `hx-auslösen`, `hx-déclencher`, `hx-交换` still
+  resolve). de gains a lowercase `hx-ziel`: the profile's `hx-Ziel` could never
+  match a parsed attribute, since HTML lowercases attribute names. The other
+  15 languages (ar, bn, he, hi, id, it, ms, pl, qu, ru, sw, th, tl, uk, vi)
+  are unreviewed drafts, every entry flagged `lowConfidence`; they also gain
+  the trigger heads their dictionaries left in English (ms and tl all six,
+  vi/he/ar some). id gains `hx-sasaran` for a target that was the English
+  identity; tl keeps `hx-target` on purpose. `hx-ext` is left in English on
+  purpose: htmx 4 removed it. The vocab table gains an `events` block for
+  trigger heads the i18n dictionaries do not name; ja, es, pt and ko author
+  the DOM `search` event (`検索`, `buscar`, `검색`), which the book's and
+  Contact.app's search box fires. htmx's own trigger words (`revealed`,
+  `every`) stay English, like the `delay:` / `from:` modifiers.
+- Adapter-only vocab keys now resolve from the authored table alone, never
+  from a semantic profile: 22 profiles carry a `select` keyword that means
+  mark/highlight text (de `markieren`, tr `vurgula`), and it would otherwise
+  have shipped as `hx-select` in 22 unreviewed languages.
+
+- **Localized htmx attributes: ja, es, pt and ko now cover every attribute the
+  _Hypermedia Systems_ Contact.app uses** — `hx-post`, `hx-delete`,
+  `hx-confirm`, `hx-push-url`, `hx-boost`, `hx-indicator` and `hx-include` join
+  the existing five (e.g. `hx-削除`, `hx-eliminar`, `hx-excluir`, `hx-삭제`).
+  `hx-indicator` / `hx-include` localize under `@hyperfixi/htmx-adapter` (stock
+  htmx implements them; the embedded layer does not).
+- **Vocab aliases.** Several localized names may map to one attribute or event;
+  the first is the form to teach, later ones keep already-authored pages
+  working. Core's embedded orchestrator now reads whichever form an element
+  carries (it previously kept a single name per attribute).
+
+### Changed
+
+- **Rendered vocabulary** (owner decisions): `null` is written `null` in ar, hi, id, qu,
+  sw, th and tr, where it shared the word for `empty`; hi writes `no` as `कोई नहीं`; qu
+  writes `and` as `hinallataq`; tl and tr write `includes` with `contains`' word (both
+  engines read the two as one operator).
+- `@lokascript/semantic` exports its real `VERSION` (it was `0.1.0` since the first
+  release); browser bundles report `<version>-<bundle>`.
+- MCP `translate_hyperscript` is described accurately: it uses the same semantic engine as
+  `translate_code`, without the verification.
+- **Audited primaries for `hx-trigger` / `hx-swap`** in ja (`hx-トリガー`,
+  `hx-置換`), es (`hx-disparador`, `hx-intercambio`), pt (`hx-gatilho`,
+  `hx-troca`) and ko (`hx-교체`), following loka-js's terminology reviews. The
+  names that shipped before (`hx-引き金`, `hx-disparar`, …) still resolve.
+- The vocab modules are regenerated against the current i18n dictionaries.
+  **No working name was removed** — 141 retired event names and three attribute
+  names are kept as aliases. One name changed meaning with its dictionary: sw
+  `panya_juu` is now `mouseup` (was `mouseover`).
+
+### Fixed
+
+- **Translations that lost code** (semantic parse and render, in every language):
+  - `get` of a literal (`get "hello"`, `get 3`, `get true`) dropped the whole command; an
+    object literal after `get` was cut to `get {`.
+  - Loops keep their extent and body; `repeat until` stops; a loop keeps its index
+    variable, the tail after an `if` inside it, and the command after an empty loop its own
+    `end` closes; a count may be any value (a variable, `$n`, `it`, a possessive), where
+    some translations read `forever`, a silent infinite loop.
+  - Handler heads keep `or` events, filters and event parameters; a translated
+    `wait for <event>` waits instead of throwing; behaviors keep their handlers and init
+    blocks; an else-if chain shares one `end`.
+  - Values keep their comparison phrases (`is equal to`, `includes`, `is an Element`, …),
+    `and`/`or`/`not`, `mod`, possessive and `of` chains, object and array literals, every
+    conversion core supports (`as Int`, `as Fixed:2`, piped conversions), unary minus and
+    property paths; `true`/`false`/`null` keep their meaning.
+  - Commands keep `put … into <variable>`, `tell … to show`, fetch's `do not throw` and
+    response type, event-source/socket URLs, show/hide `with` strategies, `go`/`scroll`
+    positions, `${…}` URLs, core's `has`, and a class query's `in` scope.
+- **`@hyperfixi/core` follows upstream \_hyperscript**:
+  - `X of Y` binds as property access, and the X of a null target is null.
+  - `increment` reads its amount and counter as upstream does, and writing an object's
+    property through `'s`/`of` works.
+  - A loop's count reads as upstream's `index < times` does: `"6.5"` loops 7 times and
+    `"6abc"` none, in the full runtime and in the hybrid bundles (`hyperfixi-hx.js`,
+    plugin bundles), which read `parseInt`.
+  - Blocks close at the end of input; `morph … to`; `render … with name: value`; `beep!`
+    as an expression; `transition`'s owners, several properties, `from` and `using`; three
+    handler forms from _Hypermedia Systems_; four upstream-valid forms that compiled and
+    then failed at run time; `.item in #list` keeps its scope; `on click once` fires on
+    the first click.
+- htmx: camelCase event names survive an attribute name.
+- MCP: the validators report what the parsers actually did.
+- The AOT compiler (experimental): loops were compiled to `while (true)`; targets,
+  property access, scoped queries, `empty` and variable scope now compile to what they
+  mean.
+- `@lokascript/hyperscript-adapter` and `@hyperscript-tools/multilingual` READMEs: the
+  Japanese quickstart example was a dead button, and the multi-language example loaded
+  only the Spanish bundle; the examples are now native and run in a test. Bundle sizes are
+  measured.
+- Bare CDN URLs now serve a browser bundle: `unpkg.com/@lokascript/hyperscript-adapter@3` (and
+  jsDelivr) served `dist/index.cjs`, which throws in a `<script>` tag. The adapter,
+  `@hyperscript-tools/multilingual`, `@lokascript/semantic`, `@hyperfixi/core` and
+  `@lokascript/htmx-adapter` declare `unpkg`/`jsdelivr` entries.
+- `hyperfixi-multilingual.js`'s error names the semantic bundle that exists (the full
+  `browser.global.js`, the only one that defines `LokaScriptSemantic`).
+- READMEs: `@lokascript/i18n` no longer claims to translate (and its `/lsp` export and CLI,
+  which do not exist, are gone); `@lokascript/semantic`, `@hyperfixi/vite-plugin` and
+  `@hyperfixi/core` have correct package names, API calls, language lists (24) and measured
+  bundle sizes.
+- Dependencies: the js-yaml and smol-toml advisories; Vite 8, vitest 5 and happy-dom 20.14.
+- **Vietnamese `hx-get` / `hx-target` / `hx-swap` / `hx-trigger` / `sse-swap`
+  never worked**: the names were emitted with spaces (`hx-lấy giá trị`), which
+  HTML reads as three attributes. They are now hyphen-joined
+  (`hx-lấy-giá-trị`), like vi's existing `hx-trực-tiếp`.
+- 29 multi-word event names (ar, vi) were removed from the vocab modules: an
+  event is a single token of an `hx-trigger` value, so they could never match.
+
 ## [3.1.1] - 2026-09-04
 
 ### Fixed
@@ -716,7 +899,9 @@ _Synchronized version release. See git history for details._
 - npm access token stored in GitHub Secrets
 - 2FA recommended for npm organization
 
-[Unreleased]: https://github.com/codetalcott/hyperfixi/compare/v3.1.0...HEAD
+[Unreleased]: https://github.com/codetalcott/hyperfixi/compare/v3.3.0...HEAD
+[3.3.0]: https://github.com/codetalcott/hyperfixi/compare/v3.2.0...v3.3.0
+[3.2.0]: https://github.com/codetalcott/hyperfixi/compare/v3.1.0...v3.2.0
 [3.1.0]: https://github.com/codetalcott/hyperfixi/compare/v3.0.0...v3.1.0
 [2.10.0]: https://github.com/codetalcott/hyperfixi/compare/v2.9.0...v2.10.0
 [2.9.0]: https://github.com/codetalcott/hyperfixi/compare/v2.8.0...v2.9.0

package/dist/{chunk-SUUECC42.js → chunk-AMTQUPKJ.js}

@@ -371,7 +371,8 @@ function extractOperations(node) {
 }
 function extractEventHandler(n) {
   const eventRole = n.roles?.get("event");
-  const eventName = String(eventRole?.value ?? "click");
+  const named = eventRole?.value ?? eventRole?.raw;
+  const eventName = typeof named === "string" && named.length > 0 ? named : "click";
   const operations = [];
   if (n.body && Array.isArray(n.body)) {
     for (const child of n.body) {
@@ -2604,6 +2605,7 @@ function normalizeJSON(input) {
 
 // src/validation/inert-shapes.ts
 var QUANTIFIER = /^(all|every|each)\.(\S+)$/;
+var BARE_QUANTIFIER = /^(all|every|each)$/;
 var PREDICATE_AS_CLASS = /(^|\s)\.(has|is|contains|matches|includes)(\s|$)/;
 function valueString(v) {
   return String(v.value ?? v.raw ?? "");
@@ -2630,6 +2632,15 @@ function walk(node, out) {
         });
         continue;
       }
+      if (v.type === "expression" && BARE_QUANTIFIER.test(s) && (role === "destination" || role === "source")) {
+        out.push({
+          severity: "warning",
+          code: "INERT_QUANTIFIER_TARGET",
+          message: `${role} parsed as the identifier "${s}", which is undefined at runtime, so this ${role} will not resolve; the selector after it is not read.`,
+          suggestion: `Selectors already address every match: write the selector alone, without "${s}".`
+        });
+        continue;
+      }
       if (role === "condition" && v.type === "expression" && PREDICATE_AS_CLASS.test(s)) {
         const word = PREDICATE_AS_CLASS.exec(s)?.[2];
         out.push({
@@ -2806,6 +2817,7 @@ function compileSemanticNode(node, options = {}) {
 var CompilationService = class _CompilationService {
   constructor(options = {}) {
     this.translateFn = null;
+    this.translationCollisionsFn = null;
     this.confidenceThreshold = options.confidenceThreshold ?? 0.7;
     this.cache = new SemanticCache(options.cacheSize ?? 500);
     this.testRenderers = new Map(
@@ -2850,7 +2862,7 @@ var CompilationService = class _CompilationService {
     initValidation({
       validateSemanticResult: semantic.validateSemanticResult
     });
-    const aot = await import("./dist-WWPF6XTQ.js");
+    const aot = await import("./dist-6EMM5HXE.js");
     const compiler = aot.createCompiler();
     initBridge(
       {
@@ -2860,6 +2872,7 @@ var CompilationService = class _CompilationService {
       compiler
     );
     service.translateFn = semantic.translate;
+    service.translationCollisionsFn = semantic.findTranslationCollisions;
     return service;
   }
   // ===========================================================================
@@ -2984,7 +2997,7 @@ var CompilationService = class _CompilationService {
         ok: true,
         code: result,
         ...verification !== void 0 ? { verification } : {},
-        diagnostics: []
+        diagnostics: this.translationCollisions(request)
       };
     } catch (error) {
       return {
@@ -2999,6 +3012,20 @@ var CompilationService = class _CompilationService {
       };
     }
   }
+  /**
+   * A variable of the source that the target language reads as a value word
+   * (tl `ako` is `me`): the translation reads the value, and no spelling of
+   * the name tells them apart, so the fix is a rename before translating.
+   */
+  translationCollisions(request) {
+    const findings = this.translationCollisionsFn?.(request.code, request.from, request.to) ?? [];
+    return findings.map((finding) => ({
+      severity: "warning",
+      code: "NAME_COLLISION",
+      message: finding.message,
+      suggestion: finding.rename ? `Rename \`${finding.name}\` to \`${finding.rename}\` in the source (${finding.occurrences.length} place(s)), then translate.` : `Rename \`${finding.name}\` in the source, then translate.`
+    }));
+  }
   /**
    * Generate behavior-level tests from hyperscript.
    *
@@ -3240,7 +3267,27 @@ var CompilationService = class _CompilationService {
     if (!gateRef.pass || !gateCand.pass) {
       return { ok: false, diagnostics };
     }
-    return { ok: true, diagnostics, ...scoreNodes(normRef.node, normCand.node) };
+    const truncated = (...lists) => lists.some((ds) => ds.some((d) => d.code === "UNCONSUMED_INPUT"));
+    const referenceComplete = !truncated(normRef.diagnostics, gateRef.diagnostics);
+    const candidateComplete = !truncated(normCand.diagnostics, gateCand.diagnostics);
+    if (!referenceComplete || !candidateComplete) {
+      const sides = [!referenceComplete && "reference", !candidateComplete && "candidate"].filter(Boolean).join(" and ");
+      diagnostics.push({
+        severity: "warning",
+        code: "INCOMPLETE_PARSE",
+        message: `The ${sides} parse left tokens unconsumed, so the scores compare only what parsed; not faithful.`,
+        suggestion: "The unconsumed tokens are named in the UNCONSUMED_INPUT diagnostics above. If the reference is truncated, a translation of it drops the same clause."
+      });
+    }
+    const report = scoreNodes(normRef.node, normCand.node);
+    return {
+      ok: true,
+      diagnostics,
+      ...report,
+      faithful: report.faithful && referenceComplete && candidateComplete,
+      referenceComplete,
+      candidateComplete
+    };
   }
   /**
    * Generate a target-specific output from LSE (bracket syntax or protocol JSON).
@@ -3420,7 +3467,7 @@ function nodeToSemanticJSON(node) {
       const bodyJSON = nodeToSemanticJSON(n.body[0]);
       if (bodyJSON) {
         bodyJSON.trigger = {
-          event: eventRole?.value ?? "click",
+          event: eventNameOf(eventRole),
           modifiers: n.eventModifiers
         };
         return bodyJSON;
@@ -3430,13 +3477,17 @@ function nodeToSemanticJSON(node) {
       action: n.action,
       roles,
       trigger: {
-        event: eventRole?.value ?? "click",
+        event: eventNameOf(eventRole),
         modifiers: n.eventModifiers
       }
     };
   }
   return { action: n.action, roles };
 }
+function eventNameOf(eventRole) {
+  const name = eventRole?.value ?? eventRole?.raw;
+  return typeof name === "string" && name.length > 0 ? name : "click";
+}
 
 export {
   diffBehaviors,
@@ -3452,4 +3503,4 @@ export {
   SvelteRenderer,
   CompilationService
 };
-//# sourceMappingURL=chunk-SUUECC42.js.map
+//# sourceMappingURL=chunk-AMTQUPKJ.js.map