@hyperscale0/hsx 1.0.0-rc.1 → 1.0.0

package/dist/src/std-bundle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"std-bundle.js","sourceRoot":"","sources":["../../src/std-bundle.ts"],"names":[],"mappings":"AAAA,oEAAoE;AAEpE,MAAM,CAAC,MAAM,iBAAiB,GAAgC,IAAI,GAAG,CAGnE;IACA;QACE,cAAc;QACd,8zQAA8zQ;KAC/zQ;IACD;QACE,yBAAyB;QACzB,w8OAAw8O;KACz8O;IACD;QACE,qCAAqC;QACrC,k9OAAk9O;KACn9O;IACD;QACE,kCAAkC;QAClC,osXAAosX;KACrsX;IACD;QACE,0CAA0C;QAC1C,w/NAAw/N;KACz/N;IACD;QACE,iCAAiC;QACjC,qqMAAqqM;KACtqM;IACD;QACE,8BAA8B;QAC9B,kp7DAAkp7D;KACnp7D;IACD;QACE,uBAAuB;QACvB,2GAA2G;KAC5G;IACD;QACE,kCAAkC;QAClC,s0bAAs0b;KACv0b;IACD;QACE,yBAAyB;QACzB,2/EAA2/E;KAC5/E;IACD;QACE,8BAA8B;QAC9B,knKAAknK;KACnnK;IACD;QACE,iCAAiC;QACjC,03XAA03X;KAC33X;IACD;QACE,mCAAmC;QACnC,ktNAAktN;KACntN;IACD;QACE,sCAAsC;QACtC,s0CAAs0C;KACv0C;IACD;QACE,+BAA+B;QAC/B,ujqBAAujqB;KACxjqB;IACD;QACE,2BAA2B;QAC3B,mg/BAAmg/B;KACpg/B;IACD;QACE,kCAAkC;QAClC,0sXAA0sX;KAC3sX;IACD;QACE,kCAAkC;QAClC,i8XAAi8X;KACl8X;IACD;QACE,sBAAsB;QACtB,qumCAAqumC;KACtumC;IACD;QACE,gCAAgC;QAChC,+neAA+ne;KAChoe;IACD;QACE,uCAAuC;QACvC,24VAA24V;KAC54V;CACF,CAAC,CAAC"}

package/dist/src/std-library.d.ts

@@ -0,0 +1,5 @@
+export interface StandardLibrary {
+    readonly source: (specifier: string, name: string) => string | undefined;
+}
+export declare const bundledStandardLibrary: StandardLibrary;
+//# sourceMappingURL=std-library.d.ts.map

package/dist/src/std-library.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"std-library.d.ts","sourceRoot":"","sources":["../../src/std-library.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;CAC1E;AAED,eAAO,MAAM,sBAAsB,EAAE,eAKpC,CAAC"}

package/dist/src/std-library.js

@@ -0,0 +1,9 @@
+import { BUNDLED_STD_FILES } from "./std-bundle.js";
+export const bundledStandardLibrary = {
+    source(specifier, name) {
+        if (specifier !== "std/settlements")
+            return undefined;
+        return BUNDLED_STD_FILES.get(`settlements/${name}.hsx`);
+    },
+};
+//# sourceMappingURL=std-library.js.map

package/dist/src/std-library.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"std-library.js","sourceRoot":"","sources":["../../src/std-library.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAMpD,MAAM,CAAC,MAAM,sBAAsB,GAAoB;IACrD,MAAM,CAAC,SAAiB,EAAE,IAAY;QACpC,IAAI,SAAS,KAAK,iBAAiB;YAAE,OAAO,SAAS,CAAC;QACtD,OAAO,iBAAiB,CAAC,GAAG,CAAC,eAAe,IAAI,MAAM,CAAC,CAAC;IAC1D,CAAC;CACF,CAAC"}

package/dist/src/version.d.ts

@@ -1,5 +1,5 @@
 /** Package version reported by the command line. */
-export declare const HSX_VERSION = "1.0.0-rc.1";
+export declare const HSX_VERSION = "1.0.0";
 /** Canonical UDL contract version emitted by this compiler. */
 export declare const HSX_TARGET_UDL_VERSION = 1;
 //# sourceMappingURL=version.d.ts.map

package/dist/src/version.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../src/version.ts"],"names":[],"mappings":"AAAA,oDAAoD;AACpD,eAAO,MAAM,WAAW,eAAe,CAAC;AAExC,+DAA+D;AAC/D,eAAO,MAAM,sBAAsB,IAAI,CAAC"}
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../src/version.ts"],"names":[],"mappings":"AAAA,oDAAoD;AACpD,eAAO,MAAM,WAAW,UAAU,CAAC;AAEnC,+DAA+D;AAC/D,eAAO,MAAM,sBAAsB,IAAI,CAAC"}

package/dist/src/version.js

@@ -1,5 +1,5 @@
 /** Package version reported by the command line. */
-export const HSX_VERSION = "1.0.0-rc.1";
+export const HSX_VERSION = "1.0.0";
 /** Canonical UDL contract version emitted by this compiler. */
 export const HSX_TARGET_UDL_VERSION = 1;
 //# sourceMappingURL=version.js.map

package/dist/src/version.js.map

@@ -1 +1 @@
-{"version":3,"file":"version.js","sourceRoot":"","sources":["../../src/version.ts"],"names":[],"mappings":"AAAA,oDAAoD;AACpD,MAAM,CAAC,MAAM,WAAW,GAAG,YAAY,CAAC;AAExC,+DAA+D;AAC/D,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC"}
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../../src/version.ts"],"names":[],"mappings":"AAAA,oDAAoD;AACpD,MAAM,CAAC,MAAM,WAAW,GAAG,OAAO,CAAC;AAEnC,+DAA+D;AAC/D,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC"}

package/docs/README.md

@@ -18,6 +18,9 @@ The generated [reference](./reference/) follows the compiler, UDL vocabulary,
 and standard-library files. Run `bun run docs:build` after changing one of
 those sources. `bun run docs:check` compares every generated byte.
 
+The [browser playground](./playground.md) provides a static editing surface with
+live compilation, diagnostics inspection, and example programs.
+
 Agents can start with [llms.txt](./llms.txt) or load the
 [HSX skill](../skills/hsx/SKILL.md). [llms-full.txt](./llms-full.txt) combines
 the guide and generated reference in reading order.

package/docs/guide/01-first-program.md

@@ -1,6 +1,6 @@
 # Your first program
 
-An HSX file declares one program, the parties that take part, and the instruments that define its money rules. A settlement applies a standard-library instrument. The compiler checks the application and emits canonical UDL with a Business Frame, an origin map, and a cost manifest.
+An HSX file declares one program, the parties that take part, and the instruments that define its money rules. A settlement applies a standard-library instrument. The compiler checks the application and emits canonical UDL with an origin map and a cost manifest.
 
 This program sends a tip from a listener to a host:
 

package/docs/llms-full.txt

@@ -1,10 +1,10 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # HSX full documentation
 
 # Your first program
 
-An HSX file declares one program, the parties that take part, and the instruments that define its money rules. A settlement applies a standard-library instrument. The compiler checks the application and emits canonical UDL with a Business Frame, an origin map, and a cost manifest.
+An HSX file declares one program, the parties that take part, and the instruments that define its money rules. A settlement applies a standard-library instrument. The compiler checks the application and emits canonical UDL with an origin map and a cost manifest.
 
 This program sends a tip from a listener to a host:
 
@@ -301,7 +301,7 @@ Exit code `0` means the command accepted the program. Exit code `1` means compil
 # CLI
 
 ```text
-hsx 1.0.0-rc.1, the HSX compiler
+hsx 1.0.0, the HSX compiler
 
 Usage:
   hsx check <file.hsx> [--strict]
@@ -309,15 +309,17 @@ Usage:
   hsx cost <file.hsx> [--json] [--out <file.json>] [--strict]
   hsx explain <HSX####>
   hsx format <file.hsx>
+  hsx lsp
   hsx --version
   hsx --help
 
 Commands:
   check   Compile and report diagnostics. Prints nothing when the program is clean.
-  build   Compile and write canonical UDL and its Business Frame as JSON.
+  build   Compile and write canonical UDL as JSON.
   cost    Compile and print the version-pinned cost manifest as a table or JSON.
   explain Print one diagnostic title, fix, and source example.
   format  Print the source in the one canonical HSX style.
+  lsp     Run the language server over stdin and stdout.
 
 Options:
   --json        Print the cost manifest as JSON instead of a table.
@@ -1726,12 +1728,11 @@ HSX checks types before it emits UDL. Money and account values carry a currency
 
 # UDL output
 
-An accepted compile returns four artifacts.
+An accepted compile returns three artifacts.
 
 | Artifact       | Contents                                                                            |
 | -------------- | ----------------------------------------------------------------------------------- |
 | `document`     | The canonical UDL object. Serialize it with `serializeUdl` from `@hyperscale0/udl`. |
-| `frame`        | The Business Frame paired with the document.                                        |
 | `originMap`    | Canonical UDL paths mapped to authored HSX spans.                                   |
 | `costManifest` | The deterministic manifest pinned to the supplied rate card.                        |
 

package/docs/llms.txt

@@ -1,8 +1,8 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # HSX documentation
 
-> Repository guide and generated compiler reference for HSX 1.0.0-rc.1.
+> Repository guide and generated compiler reference for HSX 1.0.0.
 
 ## Guide
 

package/docs/playground.md

@@ -0,0 +1,54 @@
+# Browser playground
+
+The HSX playground is a static browser application for authoring, editing,
+and inspecting HSX programs without a server. It runs the compiler directly
+in the browser client.
+
+## What it provides
+
+- Source editor with line numbers and debounced compilation (200 ms).
+- Verdict badge showing `valid`, `warning`, or `invalid`.
+- Diagnostics panel with stage, code, line and column coordinates, message,
+  and suggested fix. Clicking any diagnostic focuses the editor and highlights
+  the exact source span.
+- Tabbed output pane showing the lowered canonical UDL document as formatted
+  JSON and the UDL cost manifest.
+- Built-in example selector containing the full corpus of test programs and
+  standard-library settlements.
+- Pure client execution with no Node runtime dependencies.
+
+## Build the playground
+
+Generate the examples manifest, bundle the browser assets, and copy static
+files to `open/hsx/playground/dist/`:
+
+```bash
+bun run --cwd open/hsx playground:build
+```
+
+Verify that the generated static bundle contains no Node specifiers or URL
+resolution calls:
+
+```bash
+bun run --cwd open/hsx playground:check
+```
+
+## Serve locally
+
+The deliverable is the static directory under `open/hsx/playground/dist/`.
+Hosting infrastructure is owner-owed. To run the playground locally, serve
+the output directory with any local static file server.
+
+Using Bun:
+
+```bash
+bunx serve open/hsx/playground/dist
+```
+
+Using Python:
+
+```bash
+python3 -m http.server -d open/hsx/playground/dist 8000
+```
+
+Open `http://localhost:8000` in a browser.

package/docs/reference/cli.md

@@ -1,9 +1,9 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # CLI
 
 ```text
-hsx 1.0.0-rc.1, the HSX compiler
+hsx 1.0.0, the HSX compiler
 
 Usage:
   hsx check <file.hsx> [--strict]
@@ -11,15 +11,17 @@ Usage:
   hsx cost <file.hsx> [--json] [--out <file.json>] [--strict]
   hsx explain <HSX####>
   hsx format <file.hsx>
+  hsx lsp
   hsx --version
   hsx --help
 
 Commands:
   check   Compile and report diagnostics. Prints nothing when the program is clean.
-  build   Compile and write canonical UDL and its Business Frame as JSON.
+  build   Compile and write canonical UDL as JSON.
   cost    Compile and print the version-pinned cost manifest as a table or JSON.
   explain Print one diagnostic title, fix, and source example.
   format  Print the source in the one canonical HSX style.
+  lsp     Run the language server over stdin and stdout.
 
 Options:
   --json        Print the cost manifest as JSON instead of a table.

package/docs/reference/diagnostics.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # Diagnostics
 

package/docs/reference/grammar.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # Grammar vocabulary
 

package/docs/reference/std/advance.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # advance
 

package/docs/reference/std/cancellable_booking.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # cancellable_booking
 

package/docs/reference/std/captured_payment.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # captured_payment
 

package/docs/reference/std/conditional_disbursement.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # conditional_disbursement
 

package/docs/reference/std/credit_facility.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # credit_facility
 

package/docs/reference/std/held_payment.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # held_payment
 

package/docs/reference/std/instant_transfer.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # instant_transfer
 

package/docs/reference/std/metered.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # metered
 

package/docs/reference/std/pooled_split.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # pooled_split
 

package/docs/reference/std/premium_forward.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # premium_forward
 

package/docs/reference/std/reconciled_payout.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # reconciled_payout
 

package/docs/reference/std/recurring_collection.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # recurring_collection
 

package/docs/reference/std/rotating_pool.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # rotating_pool
 

package/docs/reference/std/scheduled.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # scheduled
 

package/docs/reference/std/security_deposit.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # security_deposit
 

package/docs/reference/std/settlement_batch.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # settlement_batch
 

package/docs/reference/std/swap.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # swap
 

package/docs/reference/std/threshold_pool.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # threshold_pool
 

package/docs/reference/std/weighted_distribution.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # weighted_distribution
 

package/docs/reference/types.md

@@ -1,4 +1,4 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # Types
 

package/docs/reference/udl-output.md

@@ -1,13 +1,12 @@
-<!-- Generated by scripts/docs/build.ts for HSX 1.0.0-rc.1. Do not edit. -->
+<!-- Generated by scripts/docs/build.ts for HSX 1.0.0. Do not edit. -->
 
 # UDL output
 
-An accepted compile returns four artifacts.
+An accepted compile returns three artifacts.
 
 | Artifact       | Contents                                                                            |
 | -------------- | ----------------------------------------------------------------------------------- |
 | `document`     | The canonical UDL object. Serialize it with `serializeUdl` from `@hyperscale0/udl`. |
-| `frame`        | The Business Frame paired with the document.                                        |
 | `originMap`    | Canonical UDL paths mapped to authored HSX spans.                                   |
 | `costManifest` | The deterministic manifest pinned to the supplied rate card.                        |
 

package/examples/02-imports-and-archetypes/README.md

@@ -46,10 +46,7 @@ asset booth: good { title_transfer: off_platform }
 
 `title_transfer: off_platform` records that ownership of the booth changes
 hands outside the platform. Money stays on-platform; this flag describes the
-object. Today `frameFor` emits `offPlatform` as an empty list alongside the
-frame's five constant fields (`confidence: "high"`, `conservationGroups: []`,
-`offPlatform: []`, `openQuestions: []`, and `rules: []`), so callers never
-assume the list carries parsed asset flags.
+object.
 
 ## Fees have a side, and the side matters
 

package/examples/04-complete-product/README.md

@@ -78,9 +78,6 @@ tutor_payout_payout_1
 tutor_payout_payout_2
 ```
 
-The Business Frame's `mechanics` come back as `escrow` and `marketplace`,
-derived from the settlement bricks rather than declared.
-
 One program carries at most **20** money events (`MONEY_EVENT_BUDGET`). This
 one uses nine. Every installment anchor, fee leg, cancellation leg, and
 abandonment refund counts one, so the budget is the real ceiling on how much

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hyperscale0/hsx",
-  "version": "1.0.0-rc.1",
+  "version": "1.0.0",
   "description": "The strictly typed HSX language: compile total financial programs into canonical UDL.",
   "keywords": [
     "hsx",
@@ -40,6 +40,10 @@
       "types": "./dist/src/cost.d.ts",
       "default": "./dist/src/cost.js"
     },
+    "./lsp": {
+      "types": "./dist/src/lsp/server.d.ts",
+      "default": "./dist/src/lsp/server.js"
+    },
     "./package.json": "./package.json",
     "./std/*": "./std/*"
   },
@@ -67,17 +71,21 @@
   },
   "scripts": {
     "build": "tsc -p tsconfig.build.json",
-    "check": "bun test && bun run docs:check && tsc -p tsconfig.json && bun run build && bun scripts/check-bin.ts",
+    "check": "bun test && bun run docs:check && bun run std:check && bun run playground:check && tsc -p tsconfig.json && bun run build && bun scripts/check-bin.ts",
     "docs:build": "bun scripts/docs/build.ts",
     "docs:check": "bun scripts/docs/check.ts",
     "examples:build": "bun scripts/examples/build.ts",
+    "playground:build": "bun scripts/build-playground.ts",
+    "playground:check": "bun scripts/build-playground.ts --check",
     "postpack": "bun scripts/pack-exports.ts restore",
     "prepack": "bun run build && bun scripts/pack-exports.ts apply",
+    "std:bundle": "bun scripts/bundle-std.ts",
+    "std:check": "bun scripts/bundle-std.ts --check",
     "test": "bun test",
     "typecheck": "tsc -p tsconfig.json"
   },
   "dependencies": {
-    "@hyperscale0/udl": "1.0.0-rc.1"
+    "@hyperscale0/udl": "1.0.0"
   },
   "devDependencies": {
     "@types/bun": "1.4.0",

package/skills/hsx/SKILL.md

@@ -480,4 +480,4 @@ port snapshot_entitlements {
 
 ## Output boundary
 
-Use `compile` or the CLI to obtain canonical UDL, the Business Frame, the origin map, and the cost manifest. The engine reads UDL and never HSX. When a task needs direct UDL work, use the UDL skill instead.
+Use `compile` or the CLI to obtain canonical UDL, the origin map, and the cost manifest. The engine reads UDL and never HSX. When a task needs direct UDL work, use the UDL skill instead.

package/src/ast.ts

@@ -35,6 +35,36 @@ export function lineColAt(source: string, offset: number): LineCol {
   return { column: clamped - lineStart + 1, line };
 }
 
+const utf8Encoder = new TextEncoder();
+
+/**
+ * Convert a UTF-8 byte offset to a UTF-16 code-unit offset over a string.
+ * Walks Unicode code points, counting UTF-8 bytes and UTF-16 code units.
+ * Clamps to [0, source.length].
+ */
+export function byteOffsetToCodeUnit(
+  source: string,
+  byteOffset: number,
+): number {
+  if (byteOffset <= 0) return 0;
+  let currentByte = 0;
+  let codeUnit = 0;
+
+  for (const char of source) {
+    const charBytes = utf8Encoder.encode(char).length;
+    if (currentByte + charBytes > byteOffset) {
+      return codeUnit;
+    }
+    currentByte += charBytes;
+    codeUnit += char.length;
+    if (currentByte === byteOffset) {
+      return codeUnit;
+    }
+  }
+
+  return source.length;
+}
+
 /**
  * One source scanned once, so many offsets resolve without rescanning it.
  * `lineColAt` walks from offset zero every time, which turns a run of d

package/src/cli.ts

@@ -15,6 +15,7 @@ import { compile, type CompileResult } from "./compile.ts";
 import type { UdlCostManifest, UdlCostTable } from "./cost.ts";
 import { hsxDiagnostics } from "./diagnostics.ts";
 import { format } from "./format.ts";
+import { startLspServer } from "./lsp/server.ts";
 import { HSX_TARGET_UDL_VERSION, HSX_VERSION } from "./version.ts";
 
 /** Filesystem and streams, injected so the CLI stays testable. */
@@ -23,6 +24,8 @@ export interface Io {
   readonly out: (line: string) => void;
   readonly readFile: (path: string) => Promise<string>;
   readonly writeFile: (path: string, contents: string) => Promise<void>;
+  readonly stdin?: NodeJS.ReadableStream;
+  readonly stdout?: NodeJS.WritableStream;
 }
 
 /**
@@ -41,15 +44,17 @@ Usage:
   hsx cost <file.hsx> [--json] [--out <file.json>] [--strict]
   hsx explain <HSX####>
   hsx format <file.hsx>
+  hsx lsp
   hsx --version
   hsx --help
 
 Commands:
   check   Compile and report diagnostics. Prints nothing when the program is clean.
-  build   Compile and write canonical UDL and its Business Frame as JSON.
+  build   Compile and write canonical UDL as JSON.
   cost    Compile and print the version-pinned cost manifest as a table or JSON.
   explain Print one diagnostic title, fix, and source example.
   format  Print the source in the one canonical HSX style.
+  lsp     Run the language server over stdin and stdout.
 
 Options:
   --json        Print the cost manifest as JSON instead of a table.
@@ -73,6 +78,15 @@ export async function runCli(argv: readonly string[], io: Io): Promise<number> {
     return OK;
   }
   if (command === "explain") return explainDiagnostic(rest, io);
+  if (command === "lsp") {
+    const input = io.stdin ?? process.stdin;
+    const output = io.stdout ?? process.stdout;
+    return new Promise<number>((resolve) => {
+      startLspServer(input, output, {
+        onExit: resolve,
+      });
+    });
+  }
   if (
     command !== "check" &&
     command !== "build" &&
@@ -142,14 +156,7 @@ export async function runCli(argv: readonly string[], io: Io): Promise<number> {
     );
     return refused ? REFUSED : OK;
   }
-  const json = `${JSON.stringify(
-    {
-      document: result.artifacts.document,
-      frame: result.artifacts.frame,
-    },
-    null,
-    2,
-  )}\n`;
+  const json = `${JSON.stringify(result.artifacts.document, null, 2)}\n`;
   if (parsed.out === undefined) {
     io.out(json.trimEnd());
   } else {
@@ -323,3 +330,15 @@ function diagnosticLines(
 function messageOf(cause: unknown): string {
   return cause instanceof Error ? cause.message : String(cause);
 }
+
+if (import.meta.main) {
+  const { readFile, writeFile } = await import("node:fs/promises");
+  process.exitCode = await runCli(process.argv.slice(2), {
+    err: (line) => process.stderr.write(`${line}\n`),
+    out: (line) => process.stdout.write(`${line}\n`),
+    readFile: (path) => readFile(path, "utf8"),
+    writeFile: (path, contents) => writeFile(path, contents, "utf8"),
+    stdin: process.stdin,
+    stdout: process.stdout,
+  });
+}

package/src/compile.ts

@@ -1,7 +1,7 @@
 /**
  * The HSX compiler driver: source text in, three-verdict result out.
  *
- * - `valid`: the program lowers cleanly; the IR document and frame are ready
+ * - `valid`: the program lowers cleanly; the IR document is ready
  *   for the independent checker.
  * - `warning`: the program lowers, and the compiler's lint voice has notes
  *   the author should read (the artifacts are still present and usable).
@@ -55,8 +55,6 @@ export interface CompileDiagnostic {
 interface CompileArtifacts {
   /** The canonical UDL document. */
   readonly document: Json;
-  /** The congruent Business Frame. */
-  readonly frame: Json;
   /** Canonical UDL paths bound to their narrowest authored source terms. */
   readonly originMap: readonly CompileOriginMapEntry[];
   /** Deterministic compile-time cost, pinned to one versioned table. */
@@ -215,7 +213,6 @@ export function compile(
     artifacts: {
       document: lowered.value.document,
       costManifest: cost.manifest,
-      frame: lowered.value.frame,
       originMap: lowered.value.originMap.map(compileOrigin),
     },
     diagnostics,