@hyperscale0/hsx 1.0.0 → 1.0.123

package/dist/src/diagnostics.js

@@ -1,420 +1,43 @@
-const instrument = (body) => `program catalog_probe "Catalog probe"
-instrument probe {
-  fields {}
-  lifecycle { states created; initial created; }
-  action create { steps: []; }
-  ${body}
-}`;
-/** Stable public descriptions for every diagnostic code emitted by HSX. */
-export const hsxDiagnostics = [
-    {
-        code: "HSX1000",
-        stage: "typecheck",
-        title: "Missing file declaration",
-        fix: "Add one program header or module declaration.",
-        example: "",
-    },
-    {
-        code: "HSX1001",
-        stage: "bind",
-        title: "Unbound name",
-        fix: "Declare or import the name before using it.",
-        example: 'program catalog_probe "Catalog probe"\ninstrument probe = missing()',
-    },
-    {
-        code: "HSX1002",
-        stage: "typecheck",
-        title: "Duplicate program declaration",
-        fix: "Keep exactly one program declaration.",
-        example: `${instrument("")}\nprogram second "Second"`,
-    },
-    {
-        code: "HSX1003",
-        stage: "typecheck",
-        title: "Invalid declaration name",
-        fix: "Use lowercase snake_case for program and instrument names.",
-        example: 'program NotSnake "Catalog probe"',
-    },
-    {
-        code: "HSX1004",
-        stage: "typecheck",
-        title: "Duplicate declaration",
-        fix: "Keep one declaration or give each declaration a distinct name.",
-        example: `${instrument("")}\ninstrument probe { fields {}; lifecycle { states created; initial created; }; action create { steps: []; }; }`,
-    },
-    {
-        code: "HSX1005",
-        stage: "typecheck",
-        title: "Invalid field name",
-        fix: "Rename the field in lower camelCase.",
-        // The parser normalizes every accepted source field spelling to lower camelCase.
-        example: null,
-        reason: "The parser normalizes every accepted field spelling before typechecking.",
-    },
-    {
-        code: "HSX1006",
-        stage: "bind",
-        title: "Invalid module import",
-        fix: "Resolve one module that exports each imported name exactly once.",
-        // A source string cannot control the compiler host's module resolver.
-        example: null,
-        reason: "This refusal requires a compiler-host module resolver result.",
-    },
-    {
-        code: "HSX1007",
-        stage: "typecheck",
-        title: "Invalid cross-instrument reference",
-        fix: "Name an existing target instrument in the ref type.",
-        example: `program catalog_probe "Catalog probe"
-instrument probe {
-  fields { parentId { type: ref; description: "Parent"; } }
-  lifecycle { states created; initial created; }
-  action create { steps: []; }
-}`,
-    },
-    {
-        code: "HSX1008",
-        stage: "typecheck",
-        title: "Invalid subject or decision port",
-        fix: "Complete the declaration and bind every referenced decision port.",
-        example: `${instrument("")}\nsubject vehicle { title: "Vehicle"; }`,
-    },
-    {
-        code: "HSX1009",
-        stage: "bind",
-        title: "Imported declaration collision",
-        fix: "Rename the importer-owned declaration or the module-local declaration.",
-        // A source string cannot create a collision in a compiler-host module result.
-        example: null,
-        reason: "This refusal requires declarations returned by a compiler-host module resolver.",
-    },
-    {
-        code: "HSX1010",
-        stage: "typecheck",
-        title: "Wrong type-argument count",
-        fix: "Supply exactly the type arguments declared by the instrument function.",
-        example: `program catalog_probe "Catalog probe"
-export instrument template<C>() { fields {}; lifecycle { states created; initial created; }; action create { steps: []; }; }
-instrument probe = template<SAR, USD>()`,
-    },
-    {
-        code: "HSX1011",
-        stage: "typecheck",
-        title: "Missing required argument",
-        fix: "Pass every required instrument-function argument.",
-        example: `program catalog_probe "Catalog probe"
-export instrument template(value: text) { fields {}; lifecycle { states created; initial created; }; action create { steps: []; }; }
-instrument probe = template()`,
-    },
-    {
-        code: "HSX1012",
-        stage: "typecheck",
-        title: "Unknown named argument",
-        fix: "Remove the argument or use a parameter declared by the instrument function.",
-        example: `program catalog_probe "Catalog probe"
-export instrument template() { fields {}; lifecycle { states created; initial created; }; action create { steps: []; }; }
-instrument probe = template(typo: true)`,
-    },
-    {
-        code: "HSX1013",
-        stage: "typecheck",
-        title: "Duplicate named argument",
-        fix: "Pass each named argument once.",
-        example: `program catalog_probe "Catalog probe"
-export instrument template(value: text) { fields {}; lifecycle { states created; initial created; }; action create { steps: []; }; }
-instrument probe = template(value: "one", value: "two")`,
-    },
-    {
-        code: "HSX1014",
-        stage: "parse",
-        title: "JSON supplied as HSX",
-        fix: "Replace the JSON object with HSX declarations.",
-        example: '{ "hsx": 1 }',
-    },
-    {
-        code: "HSX1015",
-        stage: "typecheck",
-        title: "Invalid composed program identity",
-        fix: "Give the composed program a bounded product id and title.",
-        // This diagnostic requires a compiler-host published catalog.
-        example: null,
-        reason: "This refusal requires a compiler-host published catalog.",
-    },
-    {
-        code: "HSX1016",
-        stage: "typecheck",
-        title: "Empty published composition",
-        fix: "Select at least one published instrument with use.",
-        // This diagnostic requires a compiler-host published catalog.
-        example: null,
-        reason: "This refusal requires a compiler-host published catalog.",
-    },
-    {
-        code: "HSX1017",
-        stage: "typecheck",
-        title: "Duplicate published instrument",
-        fix: "Keep one use declaration for each published instrument.",
-        // This diagnostic requires a compiler-host published catalog.
-        example: null,
-        reason: "This refusal requires a compiler-host published catalog.",
-    },
-    {
-        code: "HSX1018",
-        stage: "typecheck",
-        title: "Unavailable published instrument",
-        fix: "Use an instrument id from the supplied published catalog.",
-        example: 'program catalog_probe "Catalog probe"\nuse missing',
-    },
-    {
-        code: "HSX1020",
-        stage: "typecheck",
-        title: "Invalid public action name",
-        fix: "Expose each action once under a distinct lower camelCase name.",
-        // This diagnostic requires a compiler-host published catalog.
-        example: null,
-        reason: "This refusal requires a compiler-host published catalog.",
-    },
-    {
-        code: "HSX1021",
-        stage: "typecheck",
-        title: "Invalid exposed action",
-        fix: "Expose an action on an explicitly used published instrument.",
-        // This diagnostic requires a compiler-host published catalog.
-        example: null,
-        reason: "This refusal requires a compiler-host published catalog.",
-    },
-    {
-        code: "HSX1022",
-        stage: "typecheck",
-        title: "Authored instrument in a composition",
-        fix: "Publish the instrument separately, then select it with use.",
-        // This diagnostic requires a compiler-host published catalog.
-        example: null,
-        reason: "This refusal requires a compiler-host published catalog.",
-    },
-    {
-        code: "HSX1023",
-        stage: "typecheck",
-        title: "Invalid required-field list",
-        fix: "List declared, non-optional field names once each.",
-        example: instrument("required: missing;"),
-    },
-    {
-        code: "HSX1101",
-        stage: "typecheck",
-        title: "Currency mismatch",
-        fix: "Use the declared currency because money values never coerce.",
-        example: `${instrument("")}\nconst fee: money<SAR> = USD 1.00`,
-    },
-    {
-        code: "HSX1102",
-        stage: "typecheck",
-        title: "Money precision exceeds minor units",
-        fix: "Round the literal to the currency's minor-unit precision.",
-        example: `${instrument("")}\nconst fee: money<SAR> = SAR 1.001`,
-    },
-    {
-        code: "HSX1103",
-        stage: "typecheck",
-        title: "Invalid numeric value",
-        fix: "Use an integer, percent, bps, or valid fixed-money binding.",
-        example: instrument("summary: 1.5;"),
-    },
-    {
-        code: "HSX1104",
-        stage: "typecheck",
-        title: "Value has the wrong type",
-        fix: "Pass the type declared by the parameter or UDL slot.",
-        example: instrument("summary: money(SAR, 2500);"),
-    },
-    {
-        code: "HSX1110",
-        stage: "typecheck",
-        title: "Unsupported parameter combination",
-        fix: "Choose a supported compile-time parameter combination.",
-        example: `program catalog_probe "Catalog probe"
-export instrument template() {
-  unsupported { message: "Not supported"; fix: "Choose another form"; }
-  fields {}
-  lifecycle { states created; initial created; }
-  action create { steps: []; }
+export class CompileFailure extends Error {
+    diagnostic;
+    constructor(diagnostic) {
+        super(diagnostic.message);
+        this.diagnostic = diagnostic;
+    }
 }
-instrument probe = template()`,
-    },
-    {
-        code: "HSX1201",
-        stage: "typecheck",
-        title: "Linear money consumed more than once",
-        fix: "Leave exactly one sink for each produced money value.",
-        example: instrument(`fields { amount: money<SAR>; }
-action pay { computes remainder rest { amount_ref: total; on_zero: refuse; total_path: fields.amount; }; moves: [{ amount: rest; }, { amount: rest; }]; }`),
-    },
-    {
-        code: "HSX1202",
-        stage: "typecheck",
-        title: "Linear money is unconsumed",
-        fix: "Route each produced money value to one explicit sink.",
-        example: instrument(`fields { amount: money<SAR>; }
-action pay { computes remainder rest { amount_ref: total; on_zero: refuse; total_path: fields.amount; }; }`),
-    },
-    {
-        code: "HSX1301",
-        stage: "typecheck",
-        title: "Missing cost-table price",
-        fix: "Supply a versioned cost table with a row for every emitted effect.",
-        example: instrument(""),
-    },
-    {
-        code: "HSX1302",
-        stage: "typecheck",
-        title: "Invalid cost-table row",
-        fix: "Use non-negative integer prices and a supported settlement timing.",
-        // A source string cannot make the compiler host's cost table malformed.
-        example: null,
-        reason: "This refusal requires a malformed compiler-host cost table.",
-    },
-    {
-        code: "HSX1303",
-        stage: "typecheck",
-        title: "Invalid cost-table currency",
-        fix: "Use the supported uppercase cost-table currency.",
-        // A source string cannot change the compiler host's cost-table currency.
-        example: null,
-        reason: "This refusal requires an invalid compiler-host cost-table currency.",
-    },
-    {
-        code: "HSX1401",
-        stage: "typecheck",
-        title: "Unbounded action",
-        fix: "Replace runtime iteration with a bounded compile-time comprehension.",
-        example: instrument("action run { while { condition: true; }; }"),
-    },
-    {
-        code: "HSX1402",
-        stage: "typecheck",
-        title: "Missing lifecycle",
-        fix: "Declare lifecycle states and an initial state.",
-        example: 'program catalog_probe "Catalog probe"\ninstrument probe { fields {}; action create { steps: []; }; }',
-    },
-    {
-        code: "HSX1403",
-        stage: "typecheck",
-        title: "Runtime comprehension bound",
-        fix: "Use an integer literal or literal finite list as the bound.",
-        example: `program catalog_probe "Catalog probe"
-export instrument template(count: integer) {
-  fields {}
-  lifecycle { states created; initial created; }
-  action create { steps: []; }
-  for item in count { action run_[item] { steps: []; } }
+export function fail(expr, message, fix) {
+    return failWithCode(expr, "HSX1001", message, fix);
 }
-instrument probe = template(count: runtimeCount: integer)`,
-    },
-    {
-        code: "HSX1404",
-        stage: "typecheck",
-        title: "Comprehension expansion limit",
-        fix: "Reduce the fixed expansion to the compiler limit.",
-        example: instrument("for item in 257 { action run_[item] { steps: []; } }"),
-    },
-    {
-        code: "HSX1405",
-        stage: "typecheck",
-        title: "Invalid compile-time selection",
-        fix: "Give compile-time conditions and unsupported branches fixed blocks.",
-        example: `program catalog_probe "Catalog probe"
-export instrument template() { unsupported: true; fields {}; lifecycle { states created; initial created; }; action create { steps: []; }; }
-instrument probe = template()`,
-    },
-    {
-        code: "HSX1406",
-        stage: "typecheck",
-        title: "Invalid companion instrument",
-        fix: "Construct each companion with a compile-time id.",
-        example: `program catalog_probe "Catalog probe"
-export instrument template() {
-  fields {}
-  lifecycle { states created; initial created; }
-  action create { steps: []; }
-  instruments { invalid: true; }
+export function failWithCode(expr, code, message, fix) {
+    throw new CompileFailure({
+        code,
+        message,
+        fix,
+        span: expr.span,
+        ...(expr.source ? { source: expr.source } : {}),
+    });
+}
+// Levenshtein distance where swapping two adjacent letters counts as one edit.
+function editDistance(a, b) {
+    const d = Array.from({ length: a.length + 1 }, (_, i) => Array.from({ length: b.length + 1 }, (_, j) => i === 0 ? j : j === 0 ? i : 0));
+    for (let i = 1; i <= a.length; i++)
+        for (let j = 1; j <= b.length; j++) {
+            d[i][j] = Math.min(d[i - 1][j] + 1, d[i][j - 1] + 1, d[i - 1][j - 1] + (a[i - 1] === b[j - 1] ? 0 : 1));
+            if (i > 1 && j > 1 && a[i - 1] === b[j - 2] && a[i - 2] === b[j - 1])
+                d[i][j] = Math.min(d[i][j], d[i - 2][j - 2] + 1);
+        }
+    return d[a.length][b.length];
+}
+/** " Did you mean `x`?" for the closest candidate within a third of the name's length, else "". */
+export function didYouMean(name, candidates) {
+    const limit = Math.max(1, Math.floor(name.length / 3));
+    let best;
+    let bestDistance = limit + 1;
+    for (const candidate of candidates) {
+        const distance = editDistance(name, candidate);
+        if (distance < bestDistance)
+            [best, bestDistance] = [candidate, distance];
+    }
+    return best === undefined ? "" : ` Did you mean \`${best}\`?`;
 }
-instrument probe = template()`,
-    },
-    {
-        code: "HSX1501",
-        stage: "typecheck",
-        title: "Unknown UDL clause",
-        fix: "Use a clause exported by the targeted UDL vocabulary.",
-        example: instrument("unknown_clause: true;"),
-    },
-    {
-        code: "HSX1502",
-        stage: "typecheck",
-        title: "Program emits no instruments",
-        fix: "Declare or instantiate at least one instrument.",
-        example: 'program catalog_probe "Catalog probe"',
-    },
-    {
-        code: "HSX1503",
-        stage: "typecheck",
-        title: "Missing fields block",
-        fix: "Add a fields block, even when it is empty.",
-        example: 'program catalog_probe "Catalog probe"\ninstrument probe { lifecycle { states created; initial created; }; action create { steps: []; }; }',
-    },
-    {
-        code: "HSX1504",
-        stage: "typecheck",
-        title: "Missing create action",
-        fix: "Add an action create block.",
-        example: 'program catalog_probe "Catalog probe"\ninstrument probe { fields {}; lifecycle { states created; initial created; }; }',
-    },
-    {
-        code: "HSX1505",
-        stage: "typecheck",
-        title: "Repeated single-valued clause",
-        fix: "Keep one occurrence of the clause.",
-        example: instrument('title: "First"; title: "Second";'),
-    },
-    {
-        code: "HSX1506",
-        stage: "typecheck",
-        title: "Conflicting public action settings",
-        fix: "Keep either public: none or a public action name.",
-        example: instrument("action finish { public: none; public_action: finishProbe; steps: []; }"),
-    },
-    {
-        code: "HSX1507",
-        stage: "typecheck",
-        title: "Invalid application metadata",
-        fix: "Keep contract mechanics in the parameterized instrument.",
-        example: `program catalog_probe "Catalog probe"
-export instrument template() { fields {}; lifecycle { states created; initial created; }; action create { steps: []; }; }
-instrument probe = template() { fields: {}; }`,
-    },
-    {
-        code: "HSX1601",
-        stage: "lower",
-        title: "Invalid UDL shape",
-        fix: "Correct the named clause so it matches the targeted UDL definition.",
-        // A source program cannot bypass the typechecker to emit an invalid UDL shape.
-        example: null,
-        reason: "Typed source cannot bypass the checker to emit an invalid UDL shape.",
-    },
-    {
-        code: "HSX1602",
-        stage: "lower",
-        title: "Invalid UDL semantics",
-        fix: "Correct the named clause so it satisfies the targeted UDL law.",
-        // A source program cannot bypass the typechecker to emit invalid UDL semantics.
-        example: null,
-        reason: "Typed source cannot bypass the checker to emit invalid UDL semantics.",
-    },
-    {
-        code: "HSX1603",
-        stage: "lower",
-        title: "Unresolved compiler marker",
-        fix: "Correct compile-time block keys or parameter bindings.",
-        example: instrument('title: "__hsx_none__";'),
-    },
-];
 //# sourceMappingURL=diagnostics.js.map

package/dist/src/diagnostics.js.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../../src/diagnostics.ts"],"names":[],"mappings":"AASA,MAAM,UAAU,GAAG,CACjB,IAAY,EACJ,EAAE,CAAC;;;;;IAKT,IAAI;EACN,CAAC;AAEH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,cAAc,GAAyC;IAClE;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,+CAA+C;QACpD,OAAO,EAAE,EAAE;KACZ;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,cAAc;QACrB,GAAG,EAAE,6CAA6C;QAClD,OAAO,EACL,qEAAqE;KACxE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,+BAA+B;QACtC,GAAG,EAAE,uCAAuC;QAC5C,OAAO,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC,2BAA2B;KACtD;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,4DAA4D;QACjE,OAAO,EAAE,kCAAkC;KAC5C;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,gEAAgE;QACrE,OAAO,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC,iHAAiH;KAC5I;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,oBAAoB;QAC3B,GAAG,EAAE,sCAAsC;QAC3C,iFAAiF;QACjF,OAAO,EAAE,IAAI;QACb,MAAM,EACJ,0EAA0E;KAC7E;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,kEAAkE;QACvE,sEAAsE;QACtE,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,+DAA+D;KACxE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,oCAAoC;QAC3C,GAAG,EAAE,qDAAqD;QAC1D,OAAO,EAAE;;;;;EAKX;KACC;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,kCAAkC;QACzC,GAAG,EAAE,mEAAmE;QACxE,OAAO,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC,yCAAyC;KACpE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,gCAAgC;QACvC,GAAG,EAAE,wEAAwE;QAC7E,8EAA8E;QAC9E,OAAO,EAAE,IAAI;QACb,MAAM,EACJ,iFAAiF;KACpF;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,wEAAwE;QAC7E,OAAO,EAAE;;wCAE2B;KACrC;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,mDAAmD;QACxD,OAAO,EAAE;;8BAEiB;KAC3B;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,wBAAwB;QAC/B,GAAG,EAAE,6EAA6E;QAClF,OAAO,EAAE;;wCAE2B;KACrC;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,gCAAgC;QACrC,OAAO,EAAE;;wDAE2C;KACrD;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,sBAAsB;QAC7B,GAAG,EAAE,gDAAgD;QACrD,OAAO,EAAE,cAAc;KACxB;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,mCAAmC;QAC1C,GAAG,EAAE,2DAA2D;QAChE,8DAA8D;QAC9D,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,0DAA0D;KACnE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,6BAA6B;QACpC,GAAG,EAAE,oDAAoD;QACzD,8DAA8D;QAC9D,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,0DAA0D;KACnE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,gCAAgC;QACvC,GAAG,EAAE,yDAAyD;QAC9D,8DAA8D;QAC9D,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,0DAA0D;KACnE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,kCAAkC;QACzC,GAAG,EAAE,2DAA2D;QAChE,OAAO,EAAE,oDAAoD;KAC9D;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,4BAA4B;QACnC,GAAG,EAAE,gEAAgE;QACrE,8DAA8D;QAC9D,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,0DAA0D;KACnE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,wBAAwB;QAC/B,GAAG,EAAE,8DAA8D;QACnE,8DAA8D;QAC9D,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,0DAA0D;KACnE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,sCAAsC;QAC7C,GAAG,EAAE,6DAA6D;QAClE,8DAA8D;QAC9D,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,0DAA0D;KACnE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,6BAA6B;QACpC,GAAG,EAAE,oDAAoD;QACzD,OAAO,EAAE,UAAU,CAAC,oBAAoB,CAAC;KAC1C;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,mBAAmB;QAC1B,GAAG,EAAE,8DAA8D;QACnE,OAAO,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC,oCAAoC;KAC/D;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,qCAAqC;QAC5C,GAAG,EAAE,2DAA2D;QAChE,OAAO,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC,qCAAqC;KAChE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,6DAA6D;QAClE,OAAO,EAAE,UAAU,CAAC,eAAe,CAAC;KACrC;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,sDAAsD;QAC3D,OAAO,EAAE,UAAU,CAAC,4BAA4B,CAAC;KAClD;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,mCAAmC;QAC1C,GAAG,EAAE,wDAAwD;QAC7D,OAAO,EAAE;;;;;;;8BAOiB;KAC3B;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,sCAAsC;QAC7C,GAAG,EAAE,uDAAuD;QAC5D,OAAO,EAAE,UAAU,CAAC;0JACkI,CAAC;KACxJ;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,4BAA4B;QACnC,GAAG,EAAE,uDAAuD;QAC5D,OAAO,EAAE,UAAU,CAAC;2GACmF,CAAC;KACzG;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,oEAAoE;QACzE,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC;KACxB;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,wBAAwB;QAC/B,GAAG,EAAE,oEAAoE;QACzE,wEAAwE;QACxE,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,6DAA6D;KACtE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,6BAA6B;QACpC,GAAG,EAAE,kDAAkD;QACvD,yEAAyE;QACzE,OAAO,EAAE,IAAI;QACb,MAAM,EACJ,qEAAqE;KACxE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,kBAAkB;QACzB,GAAG,EAAE,sEAAsE;QAC3E,OAAO,EAAE,UAAU,CAAC,4CAA4C,CAAC;KAClE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,mBAAmB;QAC1B,GAAG,EAAE,gDAAgD;QACrD,OAAO,EACL,sGAAsG;KACzG;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,6BAA6B;QACpC,GAAG,EAAE,6DAA6D;QAClE,OAAO,EAAE;;;;;;;0DAO6C;KACvD;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,+BAA+B;QACtC,GAAG,EAAE,mDAAmD;QACxD,OAAO,EAAE,UAAU,CAAC,sDAAsD,CAAC;KAC5E;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,gCAAgC;QACvC,GAAG,EAAE,qEAAqE;QAC1E,OAAO,EAAE;;8BAEiB;KAC3B;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,8BAA8B;QACrC,GAAG,EAAE,kDAAkD;QACvD,OAAO,EAAE;;;;;;;8BAOiB;KAC3B;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,oBAAoB;QAC3B,GAAG,EAAE,uDAAuD;QAC5D,OAAO,EAAE,UAAU,CAAC,uBAAuB,CAAC;KAC7C;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,8BAA8B;QACrC,GAAG,EAAE,iDAAiD;QACtD,OAAO,EAAE,uCAAuC;KACjD;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,sBAAsB;QAC7B,GAAG,EAAE,4CAA4C;QACjD,OAAO,EACL,2IAA2I;KAC9I;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,6BAA6B;QAClC,OAAO,EACL,wHAAwH;KAC3H;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,+BAA+B;QACtC,GAAG,EAAE,oCAAoC;QACzC,OAAO,EAAE,UAAU,CAAC,kCAAkC,CAAC;KACxD;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,oCAAoC;QAC3C,GAAG,EAAE,mDAAmD;QACxD,OAAO,EAAE,UAAU,CACjB,wEAAwE,CACzE;KACF;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,8BAA8B;QACrC,GAAG,EAAE,0DAA0D;QAC/D,OAAO,EAAE;;8CAEiC;KAC3C;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,mBAAmB;QAC1B,GAAG,EAAE,qEAAqE;QAC1E,+EAA+E;QAC/E,OAAO,EAAE,IAAI;QACb,MAAM,EACJ,sEAAsE;KACzE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,gEAAgE;QACrE,gFAAgF;QAChF,OAAO,EAAE,IAAI;QACb,MAAM,EACJ,uEAAuE;KAC1E;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,4BAA4B;QACnC,GAAG,EAAE,wDAAwD;QAC7D,OAAO,EAAE,UAAU,CAAC,wBAAwB,CAAC;KAC9C;CACO,CAAC"}
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../../src/diagnostics.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,cAAe,SAAQ,KAAK;IAClB,UAAU;IAA/B,YAAqB,UAAsB;QACzC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;0BADP,UAAU;IAE/B,CAAC;CACF;AACD,MAAM,UAAU,IAAI,CAClB,IAAqC,EACrC,OAAe,EACf,GAAW;IAEX,OAAO,YAAY,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;AACrD,CAAC;AACD,MAAM,UAAU,YAAY,CAC1B,IAAqC,EACrC,IAAY,EACZ,OAAe,EACf,GAAW;IAEX,MAAM,IAAI,cAAc,CAAC;QACvB,IAAI;QACJ,OAAO;QACP,GAAG;QACH,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,SAAS,YAAY,CAAC,CAAS,EAAE,CAAS;IACxC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACtD,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC5C,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC9B,CACF,CAAC;IACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CACjB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,CAAE,GAAG,CAAC,EACjB,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,EACjB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACpD,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAClE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC;QAC1D,CAAC;IACH,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC;AACjC,CAAC;AACD,mGAAmG;AACnG,MAAM,UAAU,UAAU,CACxB,IAAY,EACZ,UAA6B;IAE7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,IAAwB,CAAC;IAC7B,IAAI,YAAY,GAAG,KAAK,GAAG,CAAC,CAAC;IAC7B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC/C,IAAI,QAAQ,GAAG,YAAY;YAAE,CAAC,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,IAAI,KAAK,CAAC;AAChE,CAAC"}

package/dist/src/examples-bundle.d.ts

@@ -0,0 +1,3 @@
+import type { HsxExample } from "./examples.ts";
+export declare const examples: HsxExample[];
+//# sourceMappingURL=examples-bundle.d.ts.map

package/dist/src/examples-bundle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"examples-bundle.d.ts","sourceRoot":"","sources":["../../src/examples-bundle.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,eAAO,MAAM,QAAQ,EAAE,UAAU,EAgBhC,CAAC"}

package/dist/src/examples-bundle.js

@@ -0,0 +1,18 @@
+export const examples = [
+    { "id": "cards", "title": "Team expense cards", "summary": "A company issues expense cards to employees and reserves each supplier payment before capture.", "headers": ["cards"], "source": "// A company issues expense cards to employees and reserves each supplier payment before capture.\nprogram team_expense_cards \"Team expense cards\"\nuse cards\nparty supplier: business\n\nobject employee \"Employee card\" {\n  fields { employeeName: text, department: text }\n  columns: [employeeName, department]\n  attach holder = cards.cardholder {\n    expose create as create_holder\n    holder: owner\n    expose activate as activate_employee\n    expose suspend as suspend_employee\n  }\n  attach card = cards.card {\n    expose create as create_card\n    holder: holder, spend_limit: 5000 SAR\n    expose activate as activate_card\n    expose freeze as freeze_card\n    expose unfreeze as unfreeze_card\n  }\n  attach payment = cards.authorization {\n    expose create as create_payment\n    card: card, merchant: supplier\n    expose approve as approve_payment\n    expose capture as capture_payment\n    expose reverse as reverse_payment\n  }\n  attach receipt = cards.transaction {\n    expose create as create_receipt\n    authorization: payment\n    expose refund as refund_payment\n  }\n}\n" },
+    { "id": "collections", "title": "Small business collections", "summary": "A business lender refers overdue instalments to an agency with limits on collection contacts.", "headers": ["collections", "financing"], "source": "// A business lender refers overdue instalments to an agency with limits on collection contacts.\nprogram business_collections \"Small business collections\"\nuse collections\nuse financing\nparty agency: business\n\nobject facility \"Business loan\" {\n  fields { businessName: text, purpose: text, price: money }\n  columns: [businessName, purpose, price]\n  attach allowance = financing.limits { expose create as create_allowance, expose approve as approve_borrower, borrower: owner, per_borrower: 100000 SAR }\n  attach budget = financing.portfolio_limit { expose create as create_budget, expose approve as approve_budget, limit: 2000000 SAR }\n  attach loan = financing.installments {\n    expose create as create_loan\n    borrower: owner, capital: operator\n    months: 12, profit: 6%, disburse_to: borrower\n    limits: allowance, portfolio: budget\n    expose sign as sign_loan\n    expose disburse as release_loan\n    expose payoff as repay_early\n  }\n  attach recovery = collections.case {\n    expose create as create_recovery\n    on: loan, agency: agency\n    expose assign as assign_case\n    expose recover as recover_payment\n    expose recall as recall_case\n  }\n  attach contact = collections.contact {\n    expose create as create_contact\n    case: recovery, agency: agency\n  }\n}\n\nexpose facility.loan.payment.create as create_payment\nexpose facility.loan.payment.pay as pay_instalment\nexpose facility.loan.payment.refund as refund_payment\nexpose facility.loan.payoff_quote.create as request_payoff_quote\n" },
+    { "id": "escrow", "title": "Used device sales", "summary": "Buyers fund a used device purchase, then accept delivery or raise a dispute before release.", "headers": ["escrow"], "source": "// Buyers fund a used device purchase, then accept delivery or raise a dispute before release.\nprogram used_device_sales \"Used device sales\"\nuse escrow\n\nobject device \"Device\" {\n  fields {\n    model: text\n    condition: text\n    serialNumber: text\n    price: money\n  }\n  columns: [model, condition, price]\n  attach sale = escrow.hold {\n    expose create as create_sale\n    payer: actor, payee: owner\n    expose fund as pay_for_device\n    expose deliver as confirm_delivery\n    expose accept as accept_device\n    expose dispute as report_problem\n    expose verify_return as verify_return\n    expose refund as refund_buyer\n    expose cancel as cancel_sale\n  }\n}\n" },
+    { "id": "financing", "title": "Tuition instalments", "summary": "A tuition lender funds a student's fees over three interest-free instalments with borrowing limits.", "headers": ["financing"], "source": "// A tuition lender funds a student's fees over three interest-free instalments with borrowing limits.\nprogram tuition_instalments \"Tuition instalments\"\nuse financing\n\nobject enrolment \"Enrolment\" {\n  fields { student: text, course: text, price: money }\n  columns: [student, course, price]\n  attach allowance = financing.limits {\n    expose create as create_allowance\n    borrower: owner, per_borrower: 12000 SAR\n    expose approve as approve_student\n  }\n  attach budget = financing.portfolio_limit {\n    expose create as create_budget\n    limit: 500000 SAR\n    expose approve as approve_budget\n  }\n  attach tuition = financing.installments {\n    expose create as create_tuition\n    borrower: owner, capital: operator\n    months: 3, profit: 0%, disburse_to: borrower\n    limits: allowance, portfolio: budget\n    expose sign as sign_tuition_plan\n    expose disburse as fund_tuition\n    expose payoff as repay_early\n  }\n}\n\nexpose enrolment.tuition.payment.create as create_payment\nexpose enrolment.tuition.payment.pay as pay_instalment\nexpose enrolment.tuition.payment.refund as refund_payment\nexpose enrolment.tuition.payoff_quote.create as request_payoff_quote\n" },
+    { "id": "insurance", "title": "Device insurance", "summary": "A device retailer collects the purchase price and attaches cover with a claim review process.", "headers": ["insurance", "money"], "source": "// A device retailer collects the purchase price and attaches cover with a claim review process.\nprogram device_insurance \"Device insurance\"\nuse insurance\nuse money\nparty inspector: staff role claims\n\nobject device \"Insured device\" {\n  fields { model: text, serialNumber: text, purchaseDate: date }\n  columns: [model, serialNumber, purchaseDate]\n  attach purchase = money.transfer {\n    expose create as create_purchase\n    payer: owner, payee: operator\n    economics pay { purpose: earning, sourceParty: owner }\n    expose pay as pay_for_device\n  }\n  // Bind device_insurer to an ADL adapter before creating cover. Premiums net of commission go to its account.\n  attach protection = insurance.cover {\n    expose create as create_protection\n    holder: owner, adapter: \"device_insurer\", commission: 10%, covers: purchase\n    expose activate as activate_cover\n    expose cancel as cancel_cover\n  }\n  attach claim = insurance.claim {\n    expose create as create_claim\n    cover: protection, inspector: inspector\n    expose approve as approve_claim\n    expose deny as deny_claim\n    expose pay as pay_claim\n  }\n}\n" },
+    { "id": "lending", "title": "Community business lending", "summary": "A lending composition with limit approvals, wallet commitments and cash distribution transitions.", "headers": ["lending", "financing", "wallet"], "source": "// A lending composition with limit approvals, wallet commitments and cash distribution transitions.\nprogram community_business_lending \"Community business lending\"\nuse lending\nuse financing\nuse wallet\n\nobject business \"Business funding\" {\n  fields { businessName: text, purpose: text, price: money }\n  columns: [businessName, purpose, price]\n  attach allowance = financing.limits {\n    expose create as create_allowance\n    borrower: owner, per_borrower: 100000 SAR\n    expose approve as approve_borrower\n  }\n  attach budget = financing.portfolio_limit {\n    expose create as create_budget\n    limit: 2000000 SAR\n    expose approve as approve_budget\n  }\n  attach loan = financing.installments {\n    expose create as create_loan\n    borrower: owner, capital: operator\n    months: 12, profit: 6%, disburse_to: borrower\n    limits: allowance, portfolio: budget\n    expose sign as sign_loan\n    expose disburse as release_loan\n    expose payoff as repay_early\n  }\n  attach investor_balance = wallet.balance {\n    expose create as create_investor_balance\n    holder: actor\n    expose activate as open_wallet\n    expose topup as add_funds\n  }\n  attach funding = lending.round {\n    borrower: owner, plan: loan\n    expose create as open_funding\n    expose close as close_funding\n  }\n  attach investment = lending.commitment {\n    round: funding, wallet: investor_balance, investor: actor\n    expose create as invest\n    expose withdraw as withdraw_investment\n  }\n  attach returns = lending.distribution {\n    expose create as create_returns\n    round: funding, receipt: loan.settlement\n    expose prepare_cash as prepare_returns\n    expose distribute_cash as distribute_returns\n  }\n}\n\nexpose business.loan.payment.create as create_payment\nexpose business.loan.payment.pay as pay_instalment\nexpose business.loan.payment.refund as refund_payment\nexpose business.loan.payoff_quote.create as request_payoff_quote\nexpose business.returns.share.create as create_return_share\n" },
+    { "id": "library", "title": "Financed car sales", "summary": "A minimal financed car sale connects escrow to a three-instalment plan and lending limits.", "headers": ["escrow", "financing"], "source": "// A minimal financed car sale connects escrow to a three-instalment plan and lending limits.\nprogram cars \"Financed car sales\"\nuse escrow\nuse financing\nobject car \"Cars\" {\n fields { make: text, model: text, year: integer }\n attach sale = escrow.hold { expose create as create_sale, payer: actor, payee: owner, expose fund as sell }\n attach limits = financing.limits { expose create as create_limits, borrower: actor, per_borrower: 60000 SAR }\n attach ceiling = financing.portfolio_limit { expose create as create_ceiling, limit: 1500000 SAR }\n attach plan = financing.installments {\n  borrower: actor, capital: operator, share: 25%\n  months: 3, profit: 2.5%, funds: sale, limits: limits, portfolio: ceiling\n  expose create as finance\n }\n}\n" },
+    { "id": "marketplace", "title": "Freelance marketplace", "summary": "Freelancers publish offers and clients place orders with funds held until work is accepted.", "headers": ["marketplace", "escrow"], "source": "// Freelancers publish offers and clients place orders with funds held until work is accepted.\nprogram freelance_marketplace \"Freelance marketplace\"\nuse marketplace\nuse escrow\n\nobject project \"Project\" {\n  fields { brief: text, deliverable: text, price: money }\n  columns: [brief, deliverable, price]\n  attach offer = marketplace.listing {\n    expose create as create_offer\n    seller: owner\n    expose publish as publish_offer\n    expose withdraw as withdraw_offer\n  }\n  attach order = marketplace.order {\n    expose create as create_order\n    listing: offer, buyer: actor\n    expose commit as place_order\n    expose fulfill as finish_order\n  }\n  attach payment = escrow.hold {\n    expose create as create_payment\n    payer: actor, payee: owner\n    expose fund as fund_project\n    expose deliver as submit_work\n    expose accept as accept_work\n    expose dispute as dispute_work\n    expose verify_return as verify_return\n    expose refund as refund_client\n    expose cancel as cancel_payment\n  }\n}\n" },
+    { "id": "money", "title": "Tutoring studio", "summary": "A tutoring studio collects a fixed fee for each lesson and can cancel unpaid bookings.", "headers": ["money"], "source": "// A tutoring studio collects a fixed fee for each lesson and can cancel unpaid bookings.\nprogram tutoring_studio \"Tutoring studio\"\nuse money\n\nobject lesson \"Lesson\" {\n  fields {\n    student: text\n    tutor: text\n    startsAt: date\n  }\n  columns: [student, tutor, startsAt]\n  attach payment = money.transfer {\n    expose create as create_payment\n    payer: actor, payee: operator, amount: 150 SAR\n    economics pay { purpose: earning, sourceParty: actor }\n    expose pay as pay_for_lesson\n    expose cancel as cancel_payment\n  }\n}\n" },
+    { "id": "rental-deposit", "title": "Equipment rental", "summary": "A business rents equipment with a 1000 SAR deposit and a single 50 SAR late fee. On-time return refunds 1000 SAR; late return pays the operator 50 SAR and refunds 950 SAR.", "headers": [], "source": "// A business rents equipment with a 1000 SAR deposit and a single 50 SAR late fee.\n// On-time return refunds 1000 SAR; late return pays the operator 50 SAR and refunds 950 SAR.\nprogram equipment_rental \"Equipment rental\"\nparty renter: business\n\n// Program-local instruments have fixed terms and parties, not tunable parameters.\ninstrument deposit {\n  summary: \"Hold a rental deposit, then return it less any fixed late fee.\"\n  fields {\n    renter: account of renter\n    held: account of self\n    amount: money = 1000 SAR\n    lateFee: money = 50 SAR\n    dueAt: date\n    refund: money?\n  }\n  lifecycle { states: [pending, funded, returned, cancelled], initial: pending }\n  action create {\n    actor: { party: renter }\n    requires self.dueAt > self.now\n  }\n  action fund {\n    from: pending, to: funded, actor: { party: renter }\n    deadline: { at: self.dueAt }\n    moves self.amount from self.renter to self.held\n  }\n  action return_on_time {\n    from: funded, to: returned, actor: { party: programOperator }\n    deadline: { at: self.dueAt }\n    subject { returnReference: text }\n    moves self.held.balance from self.held to self.renter\n  }\n  action return_late {\n    from: funded, to: returned, actor: { party: programOperator }\n    due: { at: self.dueAt }\n    subject { returnReference: text }\n    calculate: [{ target: refund, op: subtract, base: { field: self.held.balance }, subtract: [{ field: self.lateFee }] }]\n    moves self.lateFee from self.held to programOperator\n    moves self.refund from self.held to self.renter\n  }\n  action cancel { from: pending, to: cancelled, actor: { party: renter } }\n}\n\nobject rental \"Equipment rental\" {\n  fields { equipment: text }\n  columns: [equipment, dueAt]\n  attach security = deposit {\n    expose create as agree_rental\n    expose fund as pay_deposit\n    expose return_on_time as return_equipment\n    expose return_late as return_equipment_late\n    expose cancel as cancel_rental\n  }\n}\n\nhide deposit.create\nhide deposit.fund\nhide deposit.return_on_time\nhide deposit.return_late\nhide deposit.cancel\n" },
+    { "id": "repair-approval", "title": "Repair approvals", "summary": "A repair shop records inspection and approval evidence before it can complete a job.", "headers": [], "source": "// A repair shop records inspection and approval evidence before it can complete a job.\nprogram repair_shop \"Repair approvals\"\n\ninstrument assessment {\n  summary: \"Inspect the repair, collect approval, then record completion.\"\n  fields { inspectedAt: date?, approvedAt: date? }\n  lifecycle { states: [submitted, inspected, approved, completed, rejected], initial: submitted }\n  action create {}\n  action inspect {\n    from: submitted, to: inspected, actor: { party: programOperator }\n    subject { inspectionNotes: text }\n    set: { inspectedAt: { field: self.now } }\n  }\n  action approve {\n    from: inspected, to: approved, actor: { party: programOperator }\n    subject { approvalReference: text }\n    set: { approvedAt: { field: self.now } }\n  }\n  action reject {\n    from: inspected, to: rejected, actor: { party: programOperator }\n  }\n  action complete {\n    from: approved, to: completed, actor: { party: programOperator }\n    subject { completionNotes: text }\n  }\n}\n\nobject repair \"Repair\" {\n  fields { item: text, problem: text }\n  columns: [item, problem]\n  attach review = assessment {\n    expose create as create_review\n    expose inspect as inspect_repair\n    expose approve as approve_repair\n    expose reject as reject_repair\n    expose complete as complete_repair\n  }\n}\n\nhide assessment.create\nhide assessment.inspect\nhide assessment.approve\nhide assessment.reject\nhide assessment.complete\n" },
+    { "id": "reporting", "title": "Equipment loan reports", "summary": "An equipment lender keeps an ageing report over its financed purchases and recorded repayments.", "headers": ["reporting", "financing"], "source": "// An equipment lender keeps an ageing report over its financed purchases and recorded repayments.\nprogram equipment_loan_reports \"Equipment loan reports\"\nuse reporting\nuse financing\n\nobject purchase \"Equipment loan\" {\n  fields { businessName: text, equipment: text, price: money }\n  columns: [businessName, equipment, price]\n  attach allowance = financing.limits {\n    expose create as create_allowance\n    borrower: owner, per_borrower: 200000 SAR\n    expose approve as approve_business\n  }\n  attach budget = financing.portfolio_limit {\n    expose create as create_budget\n    limit: 5000000 SAR\n    expose approve as approve_budget\n  }\n  attach loan = financing.installments {\n    expose create as create_loan\n    borrower: owner, capital: operator\n    months: 12, profit: 6%, disburse_to: borrower\n    limits: allowance, portfolio: budget\n    expose sign as sign_purchase_loan\n    expose disburse as fund_purchase\n  }\n  attach reports = reporting.portfolio { expose create as create_reports, on: loan }\n}\n" },
+    { "id": "savings", "title": "Savings circle", "summary": "Six members contribute to a shared pot and receive it in their agreed calendar order.", "headers": ["savings"], "source": "// Six members contribute to a shared pot and receive it in their agreed calendar order.\nprogram neighbourhood_savings \"Savings circle\"\nuse savings\n\nobject group \"Savings group\" {\n  fields { groupName: text, purpose: text }\n  columns: [groupName, purpose]\n  attach circle = savings.circle {\n    expose create as create_circle\n    contribution: 500 SAR, members: 6, starts: 2027-01-01\n    expose disband as disband_circle\n    expose close as close_circle\n  }\n  attach membership = savings.membership {\n    expose create as create_membership\n    circle: circle, member: actor\n    expose activate as confirm_membership\n    expose withdraw as leave_circle\n  }\n  // Contributions and each member's payout follow the declared calendar.\n}\n" },
+    { "id": "serviced", "title": "Car financing", "summary": "A car finance company services loans with late charges, payment reminders and early repayment.", "headers": ["escrow", "financing", "collections"], "source": "// A car finance company services loans with late charges, payment reminders and early repayment.\nprogram car_financing \"Car financing\"\nuse escrow\nuse financing\nuse collections\nobject car \"Car\" {\n fields { make: text, model: text, year: integer, vin: text, price: money }\n columns: [make, model, year, vin, price]\n attach sale = escrow.hold { expose create as create_sale, payer: actor, payee: operator, expose fund as purchase }\n attach limits = financing.limits { expose create as create_limits, borrower: actor, per_borrower: 250000 SAR }\n attach ceiling = financing.portfolio_limit { expose create as create_ceiling, limit: 10000000 SAR }\n attach plan = financing.installments {\n  borrower: actor, capital: operator\n  months: 36, profit: 8.5%, down_payment: 10%\n  apply: fines_profit_principal, payoff_rebate: 100%, write_off_after: 90d\n  funds: sale, limits: limits, portfolio: ceiling\n  expose create as finance, expose sign as sign_contract, expose payoff as payoff\n }\n attach late = financing.late_charge {\n   expose create as create_late\n  on: plan, grace: 3d, fine: 50 SAR, cap: 25 SAR\n  fines_to: operator, costs_to: operator, borrower: actor\n }\n attach reminders = collections.reminder { expose create as create_reminders, on: plan, operator: operator, before_days: 3, overdue_days: 1 }\n}\n" },
+    { "id": "wallet", "title": "Workshop credits", "summary": "Members prepay for workshop visits and the studio reserves each spend before charging it.", "headers": ["wallet"], "source": "// Members prepay for workshop visits and the studio reserves each spend before charging it.\nprogram workshop_credits \"Workshop credits\"\nuse wallet\n\nobject membership \"Membership\" {\n  fields { memberName: text, membershipNumber: text }\n  columns: [memberName, membershipNumber]\n  attach balance = wallet.balance {\n    expose create as create_balance\n    holder: owner\n    expose activate as open_balance\n    expose topup as add_credit\n    expose withdraw as withdraw_credit\n    expose close as close_balance\n  }\n  attach visit = wallet.spend {\n    expose create as create_visit\n    wallet: balance, payee: operator\n    economics pay { purpose: earning, sourceParty: owner }\n    expose reserve as reserve_visit\n    expose pay as charge_visit\n    expose cancel as cancel_visit\n  }\n}\n" },
+];
+//# sourceMappingURL=examples-bundle.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"examples-bundle.js","sourceRoot":"","sources":["../../src/examples-bundle.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,QAAQ,GAAiB;IACpC,EAAC,IAAI,EAAC,OAAO,EAAC,OAAO,EAAC,oBAAoB,EAAC,SAAS,EAAC,gGAAgG,EAAC,SAAS,EAAC,CAAC,OAAO,CAAC,EAAC,QAAQ,EAAC,mlCAAmlC,EAAC;IACvwC,EAAC,IAAI,EAAC,aAAa,EAAC,OAAO,EAAC,4BAA4B,EAAC,SAAS,EAAC,+FAA+F,EAAC,SAAS,EAAC,CAAC,aAAa,EAAC,WAAW,CAAC,EAAC,QAAQ,EAAC,mgDAAmgD,EAAC;IACttD,EAAC,IAAI,EAAC,QAAQ,EAAC,OAAO,EAAC,mBAAmB,EAAC,SAAS,EAAC,6FAA6F,EAAC,SAAS,EAAC,CAAC,QAAQ,CAAC,EAAC,QAAQ,EAAC,krBAAkrB,EAAC;IACp2B,EAAC,IAAI,EAAC,WAAW,EAAC,OAAO,EAAC,qBAAqB,EAAC,SAAS,EAAC,qGAAqG,EAAC,SAAS,EAAC,CAAC,WAAW,CAAC,EAAC,QAAQ,EAAC,+qCAA+qC,EAAC;IACj3C,EAAC,IAAI,EAAC,WAAW,EAAC,OAAO,EAAC,kBAAkB,EAAC,SAAS,EAAC,+FAA+F,EAAC,SAAS,EAAC,CAAC,WAAW,EAAC,OAAO,CAAC,EAAC,QAAQ,EAAC,4nCAA4nC,EAAC;IAC7zC,EAAC,IAAI,EAAC,SAAS,EAAC,OAAO,EAAC,4BAA4B,EAAC,SAAS,EAAC,mGAAmG,EAAC,SAAS,EAAC,CAAC,SAAS,EAAC,WAAW,EAAC,QAAQ,CAAC,EAAC,QAAQ,EAAC,0+DAA0+D,EAAC;IAClsE,EAAC,IAAI,EAAC,SAAS,EAAC,OAAO,EAAC,oBAAoB,EAAC,SAAS,EAAC,4FAA4F,EAAC,SAAS,EAAC,CAAC,QAAQ,EAAC,WAAW,CAAC,EAAC,QAAQ,EAAC,yvBAAyvB,EAAC;IACx7B,EAAC,IAAI,EAAC,aAAa,EAAC,OAAO,EAAC,uBAAuB,EAAC,SAAS,EAAC,6FAA6F,EAAC,SAAS,EAAC,CAAC,aAAa,EAAC,QAAQ,CAAC,EAAC,QAAQ,EAAC,6gCAA6gC,EAAC;IACttC,EAAC,IAAI,EAAC,OAAO,EAAC,OAAO,EAAC,iBAAiB,EAAC,SAAS,EAAC,wFAAwF,EAAC,SAAS,EAAC,CAAC,OAAO,CAAC,EAAC,QAAQ,EAAC,4iBAA4iB,EAAC;IACrtB,EAAC,IAAI,EAAC,gBAAgB,EAAC,OAAO,EAAC,kBAAkB,EAAC,SAAS,EAAC,6KAA6K,EAAC,SAAS,EAAC,EAAE,EAAC,QAAQ,EAAC,mkEAAmkE,EAAC;IACp0E,EAAC,IAAI,EAAC,iBAAiB,EAAC,OAAO,EAAC,kBAAkB,EAAC,SAAS,EAAC,sFAAsF,EAAC,SAAS,EAAC,EAAE,EAAC,QAAQ,EAAC,i7CAAi7C,EAAC;IAC5lD,EAAC,IAAI,EAAC,WAAW,EAAC,OAAO,EAAC,wBAAwB,EAAC,SAAS,EAAC,iGAAiG,EAAC,SAAS,EAAC,CAAC,WAAW,EAAC,WAAW,CAAC,EAAC,QAAQ,EAAC,khCAAkhC,EAAC;IAC/tC,EAAC,IAAI,EAAC,SAAS,EAAC,OAAO,EAAC,gBAAgB,EAAC,SAAS,EAAC,uFAAuF,EAAC,SAAS,EAAC,CAAC,SAAS,CAAC,EAAC,QAAQ,EAAC,uvBAAuvB,EAAC;IACl6B,EAAC,IAAI,EAAC,UAAU,EAAC,OAAO,EAAC,eAAe,EAAC,SAAS,EAAC,gGAAgG,EAAC,SAAS,EAAC,CAAC,QAAQ,EAAC,WAAW,EAAC,aAAa,CAAC,EAAC,QAAQ,EAAC,ozCAAozC,EAAC;IACjgD,EAAC,IAAI,EAAC,QAAQ,EAAC,OAAO,EAAC,kBAAkB,EAAC,SAAS,EAAC,2FAA2F,EAAC,SAAS,EAAC,CAAC,QAAQ,CAAC,EAAC,QAAQ,EAAC,2yBAA2yB,EAAC;CAC39B,CAAC"}

package/dist/src/examples.d.ts

@@ -0,0 +1,10 @@
+/** Authored programs shipped with the compiler, generated from examples/*.hsx. */
+export interface HsxExample {
+    id: string;
+    title: string;
+    summary: string;
+    headers: string[];
+    source: string;
+}
+export { examples } from "./examples-bundle.ts";
+//# sourceMappingURL=examples.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"examples.d.ts","sourceRoot":"","sources":["../../src/examples.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AACD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC"}

package/dist/src/examples.js

@@ -0,0 +1,2 @@
+export { examples } from "./examples-bundle.js";
+//# sourceMappingURL=examples.js.map

package/dist/src/examples.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"examples.js","sourceRoot":"","sources":["../../src/examples.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC"}

package/dist/src/format.d.ts

@@ -1,10 +1,11 @@
-import type { Diagnostic } from "./ast.ts";
-export type FormatResult = {
-    readonly formatted: string;
-    readonly ok: true;
+/** Preserve authored comments and literals; normalize line endings and trailing whitespace. */
+export declare function format(source: string): {
+    ok: false;
+    diagnostics: import("./ast.ts").Diagnostic[];
+    formatted?: never;
 } | {
-    readonly diagnostics: readonly Diagnostic[];
-    readonly ok: false;
+    diagnostics?: never;
+    ok: true;
+    formatted: string;
 };
-export declare function format(source: string): FormatResult;
 //# sourceMappingURL=format.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"format.d.ts","sourceRoot":"","sources":["../../src/format.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAmB,UAAU,EAAqB,MAAM,UAAU,CAAC;AAI/E,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;CAAE,CAAC;AAExE,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,CAiBnD"}
+{"version":3,"file":"format.d.ts","sourceRoot":"","sources":["../../src/format.ts"],"names":[],"mappings":"AACA,+FAA+F;AAC/F,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM;;;;;;;;EAcpC"}