@hyperscale0/hsx 4.3.0 → 5.0.1

package/CHANGELOG.md

@@ -1,3 +1,26 @@
+# HSX 5.0.1
+
+Per-action subject evidence compiles: `fields { price: money = subject.price }`
+and `set: { x: { field: subject.y } }` accept requirements declared on the
+action alone (UDL 4.2.1).
+
+# HSX 5.0.0
+
+Money moves refuse a zero amount unless the action declares `allowZero: true`,
+so a program that moved zero before now fails at compile or at execution. The
+standard library declares the permission on calculated pieces (repayment
+slices, floored fees, rounding remainders) and keeps a positive requirement on
+authored totals. Pools refuse a contribution above the remaining target and
+fee collection posts the exact fee that was billed.
+
+Headers carry binding contracts: `dependencies` name a binding that only
+applies under one enum choice of another, and `parameterDiagnostics` explain
+why a typed parameter refuses a policy shape. Ten diagnostics were rewritten
+to name the failing construct and the repair; each carries a compiler witness.
+Worked programs open with a one-line intent comment and `repair-approval.hsx`
+joins the examples. Header docs, README and llms-full.txt correct sixteen
+stale claims. Package, compiler and VS Code versions are aligned at 5.0.0.
+
 # HSX 4.2.0
 
 Adds the browser-safe `language` export with semantic highlights and hover

package/README.md

@@ -42,11 +42,11 @@ modified without changing later results.
 
 ## Sample programs
 
-The [sample index](docs/examples.md) lists fourteen programs. Twelve introduce
+The [sample index](docs/examples.md) lists fifteen programs. Twelve introduce
 the standard headers through small businesses: tutoring, freelance work, used
 devices, prepaid workshops, tuition lending, community lending, device cover,
 collections, travel, employee cards, a savings circle and equipment loan reports.
-The two longer-standing examples show a minimal financed car sale and servicing
+The authored repair approval example builds its lifecycle and evidence requirements directly. The two longer-standing examples show a minimal financed car sale and servicing
 with late charges and reminders.
 
 ```ts
@@ -71,7 +71,8 @@ and exercises highlighting and hover at every sample offset. A stale bundle
 fails the check; regenerate after an example edit.
 
 The insurance and travel samples name ADL adapter bindings. Compilation preserves
-unbound declarations; a configured adapter must supply the requirements before
-cover activation. Dates, agreement inputs and declared business parties still
+unbound declarations, but Product creation and recomposition reject unresolved
+or changed adapter dependencies during Build admission. Execution checks the
+frozen declaration too, including adapter unavailability after a Build was saved. Dates, agreement inputs and declared business parties still
 need values when the product runs. A compiled sample is not a connected provider
 or a funded agreement.

package/dist/src/binding-contract.d.ts

@@ -0,0 +1,22 @@
+import type { Entry, InstrumentDecl } from "./ast.ts";
+export declare class BindingContractError extends Error {
+    readonly entry: Entry;
+    constructor(entry: Entry, message: string);
+}
+/** Conditional requirements are header data, independent of module names. */
+export declare function bindingDependencies(decl: InstrumentDecl): {
+    binding: string;
+    when: string;
+    is: string;
+    message: string;
+    fix: string;
+    span: import("./ast.ts").Span;
+}[];
+/** A header explains why a typed parameter cannot encode a proposed policy. */
+export declare function parameterDiagnostics(decl: InstrumentDecl): {
+    parameter: string;
+    accepts: string;
+    percentage: string;
+    fix: string;
+}[];
+//# sourceMappingURL=binding-contract.d.ts.map

package/dist/src/binding-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-contract.d.ts","sourceRoot":"","sources":["../../src/binding-contract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAQ,cAAc,EAAE,MAAM,UAAU,CAAC;AAE5D,qBAAa,oBAAqB,SAAQ,KAAK;IAE3C,QAAQ,CAAC,KAAK,EAAE,KAAK;IADvB,YACW,KAAK,EAAE,KAAK,EACrB,OAAO,EAAE,MAAM,EAGhB;CACF;AAkDD,6EAA6E;AAC7E,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,cAAc;;;;;;;IA8BvD;AAED,+EAA+E;AAC/E,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,cAAc;;;;;IAUxD"}

package/dist/src/binding-contract.js

@@ -0,0 +1,74 @@
+export class BindingContractError extends Error {
+    entry;
+    constructor(entry, message) {
+        super(message);
+        this.entry = entry;
+    }
+}
+function rows(value) {
+    if (value.kind === "block")
+        return value.entries;
+    throw new BindingContractError({ key: "contract", value, span: value.span }, "Binding contract needs a block.");
+}
+function properties(entry, allowed) {
+    const result = new Map();
+    for (const slot of rows(entry.value)) {
+        if (!allowed.includes(slot.key) ||
+            result.has(slot.key) ||
+            (slot.value.kind !== "text" && slot.value.kind !== "name"))
+            throw new BindingContractError(slot, "Invalid binding contract property.");
+        result.set(slot.key, slot.value.value);
+    }
+    if (allowed.some((key) => !result.get(key)))
+        throw new BindingContractError(entry, `Binding contract needs ${allowed.join(", ")}.`);
+    return result;
+}
+function contractEntries(decl, name) {
+    const blocks = decl.body.entries.filter((entry) => entry.key === name);
+    if (blocks.length > 1)
+        throw new BindingContractError(blocks[1], `Duplicate ${name}.`);
+    const entries = blocks[0] ? rows(blocks[0].value) : [];
+    const seen = new Set();
+    for (const entry of entries) {
+        if (seen.has(entry.key) ||
+            !decl.parameters.some((parameter) => parameter.key === entry.key))
+            throw new BindingContractError(entry, "Binding contract must name each declared tunable once.");
+        seen.add(entry.key);
+    }
+    return entries;
+}
+/** Conditional requirements are header data, independent of module names. */
+export function bindingDependencies(decl) {
+    return contractEntries(decl, "dependencies").map((entry) => {
+        const values = properties(entry, ["selector", "is", "message", "fix"]);
+        const selector = decl.parameters.find((parameter) => parameter.key === values.get("selector"));
+        const type = selector?.value.kind === "default"
+            ? selector.value.type
+            : selector?.value;
+        if (type?.kind !== "call" ||
+            type.name !== "enum" ||
+            !type.args.some((arg) => arg.kind === "name" && arg.value === values.get("is")))
+            throw new BindingContractError(entry, "Dependency must select a declared enum choice.");
+        return {
+            binding: entry.key,
+            when: values.get("selector"),
+            is: values.get("is"),
+            message: values.get("message"),
+            fix: values.get("fix"),
+            span: entry.span,
+        };
+    });
+}
+/** A header explains why a typed parameter cannot encode a proposed policy. */
+export function parameterDiagnostics(decl) {
+    return contractEntries(decl, "parameterDiagnostics").map((entry) => {
+        const values = properties(entry, ["accepts", "percentage", "fix"]);
+        return {
+            parameter: entry.key,
+            accepts: values.get("accepts"),
+            percentage: values.get("percentage"),
+            fix: values.get("fix"),
+        };
+    });
+}
+//# sourceMappingURL=binding-contract.js.map

package/dist/src/binding-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-contract.js","sourceRoot":"","sources":["../../src/binding-contract.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAElC,KAAK;IADhB,YACW,KAAY,EACrB,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;qBAHN,KAAK;IAIhB,CAAC;CACF;AAED,SAAS,IAAI,CAAC,KAAW;IACvB,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC;IACjD,MAAM,IAAI,oBAAoB,CAC5B,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAC5C,iCAAiC,CAClC,CAAC;AACJ,CAAC;AACD,SAAS,UAAU,CAAC,KAAY,EAAE,OAAiB;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IACE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC;YAC3B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;YACpB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;YAE1D,MAAM,IAAI,oBAAoB,CAC5B,IAAI,EACJ,oCAAoC,CACrC,CAAC;QACJ,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,oBAAoB,CAC5B,KAAK,EACL,0BAA0B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChD,CAAC;IACJ,OAAO,MAAM,CAAC;AAChB,CAAC;AACD,SAAS,eAAe,CAAC,IAAoB,EAAE,IAAY;IACzD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC;IACvE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QACnB,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,aAAa,IAAI,GAAG,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IACE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YACnB,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC;YAEjE,MAAM,IAAI,oBAAoB,CAC5B,KAAK,EACL,wDAAwD,CACzD,CAAC;QACJ,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,mBAAmB,CAAC,IAAoB;IACtD,OAAO,eAAe,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACzD,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CACnC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,KAAK,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CACxD,CAAC;QACF,MAAM,IAAI,GACR,QAAQ,EAAE,KAAK,CAAC,IAAI,KAAK,SAAS;YAChC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI;YACrB,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC;QACtB,IACE,IAAI,EAAE,IAAI,KAAK,MAAM;YACrB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CACb,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAC/D;YAED,MAAM,IAAI,oBAAoB,CAC5B,KAAK,EACL,gDAAgD,CACjD,CAAC;QACJ,OAAO;YACL,OAAO,EAAE,KAAK,CAAC,GAAG;YAClB,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAE;YAC7B,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE;YACrB,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAE;YAC/B,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAE;YACvB,IAAI,EAAE,KAAK,CAAC,IAAI;SACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,oBAAoB,CAAC,IAAoB;IACvD,OAAO,eAAe,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACjE,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;QACnE,OAAO;YACL,SAAS,EAAE,KAAK,CAAC,GAAG;YACpB,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAE;YAC/B,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,YAAY,CAAE;YACrC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAE;SACxB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/compile.ts"],"names":[],"mappings":"AACA,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AACvE,OAAO,EAcL,KAAK,WAAW,EAOjB,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAIL,KAAK,UAAU,EAKf,KAAK,IAAI,EACV,MAAM,UAAU,CAAC;AAClB,OAAO,EAA0B,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEhF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,iBAAkB,SAAQ,UAAU;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;CACpC;AACD,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CAC/C;AACD,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,eAAe,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;CACnB;AACD,MAAM,WAAW,cAAc;IAC7B,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC;CAClE;AACD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;IAC7B,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,SAAS,CAAC,EAAE;QACV,QAAQ,EAAE,WAAW,CAAC;QACtB,YAAY,EAAE,eAAe,CAAC;QAC9B,SAAS,EAAE,qBAAqB,EAAE,CAAC;KACpC,CAAC;CACH;AA2TD,wBAAgB,OAAO,CACrB,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,cAAmB,GAC3B,aAAa,CAq/Ef"}
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/compile.ts"],"names":[],"mappings":"AACA,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AACvE,OAAO,EAcL,KAAK,WAAW,EAOjB,MAAM,kBAAkB,CAAC;AAQ1B,OAAO,EAIL,KAAK,UAAU,EAKf,KAAK,IAAI,EACV,MAAM,UAAU,CAAC;AAClB,OAAO,EAA0B,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEhF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,iBAAkB,SAAQ,UAAU;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;CACpC;AACD,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CAC/C;AACD,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,eAAe,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;CACnB;AACD,MAAM,WAAW,cAAc;IAC7B,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC;CAClE;AACD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;IAC7B,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,SAAS,CAAC,EAAE;QACV,QAAQ,EAAE,WAAW,CAAC;QACtB,YAAY,EAAE,eAAe,CAAC;QAC9B,SAAS,EAAE,qBAAqB,EAAE,CAAC;KACpC,CAAC;CACH;AA2TD,wBAAgB,OAAO,CACrB,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,cAAmB,GAC3B,aAAa,CAiyFf"}