@hyperscale0/hsx 1.0.342 → 1.0.350

package/src/template-guide.ts

@@ -1,10 +1,10 @@
 import type { BlockExpr, Entry, Expr, InstrumentDecl } from "./ast.ts";
 import { catalogProgramSource } from "./catalog-program.ts";
-import { compile, type CompileOptions } from "./compile.ts";
+import { compile } from "./compile.ts";
 import { parseHeader } from "./header-source.ts";
 import { headerManifest, HEADER_NAMES } from "./headers.ts";
 import { parseProgram } from "./parse.ts";
-import { bundledStandardLibrary, type StandardLibrary } from "./std-library.ts";
+import { defaultToolchain, type Toolchain } from "./toolchain.ts";
 
 export interface TemplateIndexEntry {
   qualifiedName: string;
@@ -29,7 +29,6 @@ export interface TemplateGuide {
   qualifiedName: string;
   summary: string;
   signature: string;
-  use: string;
   states: string[];
   tunables: Array<{
     name: string;
@@ -62,9 +61,9 @@ const SUBJECT_NOTE =
 
 /** One line per template, small enough to read whole. */
 export function templateIndex(
-  library: StandardLibrary = bundledStandardLibrary,
+  toolchain: Toolchain = defaultToolchain,
 ): TemplateIndexEntry[] {
-  return headerManifest(library).headers.flatMap((header) =>
+  return headerManifest(toolchain.std).headers.flatMap((header) =>
     header.objects.map((object) => ({
       qualifiedName: object.qualifiedName,
       summary: object.summary,
@@ -80,17 +79,16 @@ export function templateIndex(
  */
 export function templateGuide(
   qualifiedName: string,
-  options: GuideOptions = {},
+  toolchain: Toolchain = defaultToolchain,
 ): TemplateGuide | undefined {
-  const library = options.library ?? bundledStandardLibrary;
   const [header, name, extra] = qualifiedName.split(".");
   if (!header || !name || extra !== undefined) return undefined;
   if (!(HEADER_NAMES as readonly string[]).includes(header)) return undefined;
-  const source = library.source(header);
+  const source = toolchain.std.get(header);
   if (!source) return undefined;
-  const manifest = headerManifest(library, [header]).headers[0]!.objects.find(
-    (object) => object.name === name,
-  );
+  const manifest = headerManifest(toolchain.std, [
+    header,
+  ]).headers[0]!.objects.find((object) => object.name === name);
   const decl = parseHeader(source, header).decls.find(
     (d): d is InstrumentDecl => d.kind === "instrument" && d.name === name,
   );
@@ -103,11 +101,11 @@ export function templateGuide(
   const actions = guideActions(decl.body, spell);
   // Compile once bare, then expose each root action a party or caller runs
   // that these bindings keep, and compile again to prove the example.
-  const example = exampleProgram(qualifiedName, library);
+  const example = exampleProgram(qualifiedName, toolchain);
   const bare = compiledAttachment(
     example.render([]),
     example.attachment,
-    options,
+    toolchain,
   );
   const exposes = actions
     .filter(
@@ -118,7 +116,7 @@ export function templateGuide(
     )
     .map((action) => `expose ${action.name}`);
   const program = example.render(exposes);
-  const compiled = compiledAttachment(program, example.attachment, options);
+  const compiled = compiledAttachment(program, example.attachment, toolchain);
   const create = compiled.actions.create;
   const economics = compiled.warnings.flatMap((warning) =>
     warning.code === "economic_purpose_missing" &&
@@ -130,7 +128,6 @@ export function templateGuide(
     qualifiedName,
     summary: manifest.summary,
     signature: manifest.signature,
-    use: `use ${header}`,
     states: manifest.states,
     tunables: manifest.tunables.map((tunable) => ({
       name: tunable.name,
@@ -482,12 +479,9 @@ interface Example {
 
 /**
  * The template's attach from the catalog program, with every attach it names
- * and the parties and headers those need.
+ * and the parties those need.
  */
-function exampleProgram(
-  qualifiedName: string,
-  library: StandardLibrary,
-): Example {
+function exampleProgram(qualifiedName: string, toolchain: Toolchain): Example {
   const program = parseProgram(catalogProgramSource).program;
   const object = program.decls.find((decl) => decl.kind === "object");
   if (object?.kind !== "object")
@@ -499,7 +493,6 @@ function exampleProgram(
           {
             entry,
             name: match[1]!,
-            header: match[2]!,
             template: `${match[2]}.${match[3]}`,
           },
         ]
@@ -518,7 +511,7 @@ function exampleProgram(
   // A parameter that defaults to object(header.template) binds the sibling
   // attach of that template, so the example carries that attach too.
   const templates = new Map(
-    headerManifest(library).headers.flatMap((header) =>
+    headerManifest(toolchain.std).headers.flatMap((header) =>
       header.objects.map((object) => [object.qualifiedName, object] as const),
     ),
   );
@@ -552,7 +545,6 @@ function exampleProgram(
     render: (exposes) =>
       [
         `program example "${qualifiedName} example"`,
-        ...new Set(included.map((attach) => `use ${attach.header}`)),
         ...program.decls.flatMap((decl) =>
           decl.kind === "party" && used.has(decl.name) ? [text(decl.span)] : [],
         ),
@@ -597,22 +589,13 @@ function wrapAttach(line: string): string {
   ].join("\n");
 }
 
-type GuideOptions = Pick<CompileOptions, "adapterRegistry"> & {
-  library?: StandardLibrary;
-};
-
 /** The example's compiled root instrument, or the compiler's refusal. */
 function compiledAttachment(
   source: string,
   attachment: string,
-  options: GuideOptions,
+  toolchain: Toolchain,
 ) {
-  const result = compile(source, {
-    ...(options.library ? { standardLibrary: options.library } : {}),
-    ...(options.adapterRegistry
-      ? { adapterRegistry: options.adapterRegistry }
-      : {}),
-  });
+  const result = compile(source, toolchain);
   const document = result.artifacts?.document;
   if (!document)
     throw new Error(

package/src/toolchain.ts

@@ -0,0 +1,51 @@
+import { digest, UDL_FORMAT_VERSION } from "@hyperscale0/udl";
+import type { ProviderAdapter } from "@hyperscale0/adl";
+import { boundaryAdapters } from "@hyperscale0/adl/boundary-adapters";
+import { BUNDLED_STD_HEADERS, HSX_VERSION } from "./std-bundle.ts";
+
+export interface AdapterBindingTarget {
+  adapter: ProviderAdapter;
+  operation: string;
+}
+
+/**
+ * Every input a compile reads besides the source, named by one digest. The
+ * same source under the same toolchain lowers to the same document anywhere.
+ */
+export interface Toolchain {
+  /** Header source by name, such as `money` for std/money.hsx. */
+  readonly std: ReadonlyMap<string, string>;
+  /** The boundary bindings a program may name, keyed by binding. */
+  readonly adapters: Readonly<Record<string, AdapterBindingTarget>>;
+  readonly udl: number;
+  readonly hsx: string;
+  readonly prover: string;
+  readonly digest: string;
+}
+
+export function toolchain(input: Omit<Toolchain, "digest">): Toolchain {
+  const { std, adapters, udl, hsx, prover } = input;
+  return {
+    std,
+    adapters,
+    udl,
+    hsx,
+    prover,
+    digest: digest({
+      std: Object.fromEntries(std),
+      adapters,
+      udl,
+      hsx,
+      prover,
+    }),
+  };
+}
+
+/** The only toolchain production compiles with. */
+export const defaultToolchain = toolchain({
+  std: BUNDLED_STD_HEADERS,
+  adapters: boundaryAdapters,
+  udl: UDL_FORMAT_VERSION,
+  hsx: HSX_VERSION,
+  prover: `udl-${UDL_FORMAT_VERSION}-laws`,
+});

package/std/booking.hsx

@@ -23,7 +23,20 @@ header booking
 // composed counts.
 
 instrument reservation(customer: party = party(person), operator: party = programOperator, early_until: duration = 30d, late_from: duration = 15d, balance_due: duration = 15d, middle_forfeit: percent = 0%, late_forfeit: percent = 0%) {
-  constraints { late_from: less_than(early_until) }
+  checks {
+    late_from < early_until {
+      message: "Attachment `{attachment}` sets `late_from` at or above `early_until`, so the late cancellation window opens before the early one closes."
+      fix: "Choose a `late_from` shorter than `early_until`, such as `early_until: 30d, late_from: 15d`."
+    }
+    middle_forfeit is percent {
+      message: "`middle_forfeit` is the share of the held money a middle cancellation keeps, from 0% to 100%."
+      fix: "Write `middle_forfeit` as a percentage from 0% to 100%, such as `middle_forfeit: 25%`."
+    }
+    late_forfeit is percent {
+      message: "`late_forfeit` is the share of the held money a late cancellation keeps, from 0% to 100%."
+      fix: "Write `late_forfeit` as a percentage from 0% to 100%, such as `late_forfeit: 50%`."
+    }
+  }
   revisioned: true
   summary: "Take a deposit and a balance for a dated booking, with cancellation windows before departure."
   fields {

package/std/collections.hsx

@@ -37,7 +37,12 @@ instrument case(on: ref<financing.installments>[], agency: party, capital: party
 }
 
 instrument contact(case: ref<collections.case>[], agency: party, max_contacts: integer = 10, window: duration = 30d, contact_from: integer(0, 23) = 8, contact_until: integer(1, 23) = 20, timezone: text = "Asia/Riyadh") {
-  constraints { contact_from: less_than(contact_until) }
+  checks {
+    contact_from < contact_until {
+      message: "Attachment `{attachment}` sets `contact_from` at or after `contact_until`, so the daily contact window is empty."
+      fix: "Choose a `contact_from` hour before `contact_until`, such as `contact_from: 8, contact_until: 20`."
+    }
+  }
   summary: "An agency contact admitted against the locked rolling count and local hours."
   fields { agency: account of agency, case: ref<case>, attemptedAt: date?, evidence: text, maximum: integer = max_contacts }
   lifecycle { states: [recorded], initial: recorded }
@@ -62,7 +67,12 @@ instrument contact(case: ref<collections.case>[], agency: party, max_contacts: i
 
 
 instrument reminder(on: ref<financing.installments>[], operator: party = programOperator, before_days: integer(0, 366) = 3, overdue_days: integer(1, 366) = 1, max_per_day: integer(1, 10) = 1, send_from: integer(0, 23) = 8, send_until: integer(1, 24) = 20, timezone: text = "Asia/Riyadh") {
-  constraints { send_from: less_than(send_until) }
+  checks {
+    send_from < send_until {
+      message: "Attachment `{attachment}` sets `send_from` at or after `send_until`, so the daily sending window is empty."
+      fix: "Choose a `send_from` hour before `send_until`, such as `send_from: 8, send_until: 20`."
+    }
+  }
   summary: "Send an email to the installment borrower's stored contact address."
   fields { slice: ref<on.slice> }
   lifecycle { states: [ready], initial: ready }

package/std/financing.hsx

@@ -112,22 +112,22 @@ header financing
 // tariff.
 
 instrument installments(loan_kind: enum(mortgage, auto, personal, short_term) = personal, max_term: integer(1, 360) = 360, months: integer(1, 360) = runtime, max_history: integer(2, 366) = 366, pricing: enum(amortizing, flat_total), profit_rate: percent, charge_limit: integer(1, 24) = 12, disburse_to: enum(funds, borrower, seller) = funds, seller: party?, profit_earned: enum(on_payment, by_schedule, at_disbursement) = on_payment, apply: enum(fines_profit_principal, principal_profit, pro_rata) = fines_profit_principal, payoff_rebate: percent = 100%, write_off_after: duration = 90d, max_extension: duration = 90d, max_amendments: integer(0, 366) = 2, waiver_limit: percent = 100%, amendment_expiry: duration = 7d, payoff_quote_expiry: duration = 1h, refund_within: duration = 30d, returned_goods: enum(keep_profit, refund_all) = keep_profit, allow_overdue: enum(allowed, blocked) = allowed, assessed_fines: enum(carry, require_waiver) = carry, down_payment: percent = 0%, funds: ref?, borrower: party = party(person), capital: party = programOperator, share: percent = 0%, limits: ref<financing.limits> = object(financing.limits), portfolio: ref<financing.portfolio_limit> = object(financing.portfolio_limit)) {
-  dependencies {
-    funds {
-      selector: disburse_to, is: funds
+  checks {
+    funds is set when disburse_to is funds {
       message: "Attachment `{attachment}` disburses into a hold, but `funds` is not bound."
       fix: "Bind `funds: checkout` to a funding composition. Choose `disburse_to: seller` to pay a seller on activation, or `disburse_to: borrower` only if the borrower should receive the money directly."
     }
-    seller {
-      selector: disburse_to, is: seller
+    seller is set when disburse_to is seller {
       message: "Attachment `{attachment}` pays a seller, but `seller` is not bound."
       fix: "Bind `seller: merchant` to the declared business that receives the principal."
     }
+    months <= max_term {
+      message: "Attachment `{attachment}` sets `months` above `max_term`, the longest term its loan kind allows."
+      fix: "Choose `months` of `max_term` or fewer, or set `max_term` up to the ceiling of its `loan_kind`."
+    }
   }
   ceilings { max_term { by: loan_kind, mortgage: 360, auto: 84, personal: 84, short_term: 12 } }
-  constraints { months: at_most(max_term) }
   revisioned: true
-  familyRevision: 1
   summary: "Funding, profit recognition and payment order chosen by the program."
   fields {
     funds: ref<funds>?, borrower: account of borrower, settlementIdentity: text, borrowerLimit: ref<limits>, portfolioLimit: ref<portfolio>
@@ -803,15 +803,13 @@ instrument installments(loan_kind: enum(mortgage, auto, personal, short_term) =
 // waiver and refund post one claim transfer each, and payoff and amendment post
 // one per attachment or kind, not one per charge.
 instrument late_charge(on: ref<financing.installments>[], grace: duration = 3d, fine: money = 50 SAR, cap: money = 25 SAR, fines_to: party = programOperator, costs_to: party = programOperator, borrower: party = party(person)) {
-  parameterDiagnostics {
-    fine {
-      accepts: "a fixed amount"
-      percentage: "a percentage of overdue debt"
+  checks {
+    fine is money {
+      message: "`{instrument}.fine` accepts a fixed amount. It cannot express a percentage of overdue debt."
       fix: "Use a fixed amount only if that is the intended policy. A percentage charge needs an authored rate calculation; do not approximate it with a cash amount."
     }
   }
   revisioned: true
-  familyRevision: 1
   summary: "Separate fine and evidenced recovery claims on an overdue installment."
   fields {
     plan: ref<on>, slice: ref<on.slice>, borrower: account of borrower, fine: money = fine, overdueAt: date?, payoffAmount: money?, payoffReceipt: text?, payoffLed: integer?
@@ -1008,7 +1006,6 @@ instrument late_charge(on: ref<financing.installments>[], grace: duration = 3d,
 }
 
 instrument limits(per_borrower: money, borrower: party = party(person), active_plans: integer = 1) {
-  familyRevision: 1
   scope: product
   summary: "One outstanding balance ceiling per borrower."
   fields { borrower: account of borrower, limit: money = per_borrower, activePlans: integer = active_plans }
@@ -1018,7 +1015,6 @@ instrument limits(per_borrower: money, borrower: party = party(person), active_p
 }
 
 instrument portfolio_limit(limit: money) {
-  familyRevision: 1
   scope: product
   summary: "One shared ceiling on the principal the product may hold."
   fields { key: text = "portfolio", limit: money = limit }
@@ -1028,7 +1024,6 @@ instrument portfolio_limit(limit: money) {
 }
 
 instrument credit_line(borrower: party = programOperator, adapter: text, limit: money, expires: date) {
-  familyRevision: 1
   summary: "A revolving facility from an outside lender; each draw is a separate immutable advance."
   fields { borrower: account of borrower, facility: account(borrower, cash, "facility"), debt: account(borrower, claim, contra, "debt"), limit: money = limit, expiresAt: date = expires }
   lifecycle { states: [pending, active, suspended, closed], initial: pending }
@@ -1043,7 +1038,6 @@ instrument credit_line(borrower: party = programOperator, adapter: text, limit:
 }
 
 instrument advance(line: ref<financing.credit_line>, amount: money = runtime, borrower: party = programOperator) {
-  familyRevision: 1
   summary: "A single facility draw with an immutable principal and full repayment."
   fields { line: ref<line>, borrower: account of borrower, amount: money = amount, principalReceivable: account(self, claim) }
   lifecycle { states: [pending, drawn, repaid, cancelled], initial: pending }

package/std/money.hsx

@@ -122,9 +122,8 @@ instrument split(payer: party, amount: money = runtime, shares: split = { progra
 
 instrument schedule(payer: party, payee: party, amount: money = runtime, count: integer(1, 366)?, every: period?) {
   summary: "Pieces due on listed dates that sum to the total, or one amount each period from a start date until stopped, or for count periods."
-  dependencies {
-    count {
-      selector: every, is: unset
+  checks {
+    count is set when every is unset {
       message: "Attachment `{attachment}` charges on a list of dates, so it needs `count`, the number of dates."
       fix: "Add `count: 3` for three dated pieces, or add `every: 1 month` to charge each month until stopped or cancelled."
     }

package/std/reporting.hsx

@@ -17,7 +17,16 @@ instrument portfolio(on: ref<financing.installments>[], default_days: integer(1,
   fields {}
   lifecycle { states: [declared], initial: declared }
   action create {}
-  constraints { aging_first_days: less_than(aging_second_days), aging_second_days: less_than(aging_third_days) }
+  checks {
+    aging_first_days < aging_second_days {
+      message: "Attachment `{attachment}` sets `aging_first_days` at or above `aging_second_days`, so the aging buckets overlap."
+      fix: "Choose ascending bucket bounds, such as `aging_first_days: 30, aging_second_days: 60, aging_third_days: 90`."
+    }
+    aging_second_days < aging_third_days {
+      message: "Attachment `{attachment}` sets `aging_second_days` at or above `aging_third_days`, so the aging buckets overlap."
+      fix: "Choose ascending bucket bounds, such as `aging_first_days: 30, aging_second_days: 60, aging_third_days: 90`."
+    }
+  }
   reports: [
     {
       identity: { id: "portfolio_aging", version: 1, description: "Period-end outstanding principal by oldest unpaid installment. Remaining scheduled profit is distinct from accrued profit. Restructuring evidence is unavailable." },

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

@@ -1,22 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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;;;;;;;IAqCvD;AAED,+EAA+E;AAC/E,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,cAAc;;;;;IAUxD"}

package/dist/src/binding-contract.js

@@ -1,80 +0,0 @@
-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;
-        // An optional selector reads like `when every is unset`.
-        const presence = (type?.kind === "type" || type?.kind === "call") &&
-            type.name !== "enum" &&
-            !!type.optional &&
-            ["set", "unset"].includes(values.get("is"));
-        if (!presence &&
-            (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, or set or unset of an optional tunable.");
-        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

@@ -1 +0,0 @@
-{"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,yDAAyD;QACzD,MAAM,QAAQ,GACZ,CAAC,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM,CAAC;YAChD,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,CAAC,CAAC,IAAI,CAAC,QAAQ;YACf,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;QAC/C,IACE,CAAC,QAAQ;YACT,CAAC,IAAI,EAAE,IAAI,KAAK,MAAM;gBACpB,IAAI,CAAC,IAAI,KAAK,MAAM;gBACpB,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,CAAC;YAEJ,MAAM,IAAI,oBAAoB,CAC5B,KAAK,EACL,wFAAwF,CACzF,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/std-library.d.ts

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

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

@@ -1 +0,0 @@
-{"version":3,"file":"std-library.d.ts","sourceRoot":"","sources":["../../src/std-library.ts"],"names":[],"mappings":"AACA,MAAM,WAAW,eAAe;IAC9B,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;CAC5C;AACD,eAAO,MAAM,sBAAsB,EAAE,eAEpC,CAAC"}

package/dist/src/std-library.js

@@ -1,5 +0,0 @@
-import { BUNDLED_STD_FILES } from "./std-bundle.js";
-export const bundledStandardLibrary = {
-    source: (header) => BUNDLED_STD_FILES.get(`${header}.hsx`),
-};
-//# sourceMappingURL=std-library.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"std-library.js","sourceRoot":"","sources":["../../src/std-library.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAIpD,MAAM,CAAC,MAAM,sBAAsB,GAAoB;IACrD,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,MAAM,MAAM,CAAC;CAC3D,CAAC"}

package/src/binding-contract.ts

@@ -1,111 +0,0 @@
-import type { Entry, Expr, InstrumentDecl } from "./ast.ts";
-
-export class BindingContractError extends Error {
-  constructor(
-    readonly entry: Entry,
-    message: string,
-  ) {
-    super(message);
-  }
-}
-
-function rows(value: Expr): Entry[] {
-  if (value.kind === "block") return value.entries;
-  throw new BindingContractError(
-    { key: "contract", value, span: value.span },
-    "Binding contract needs a block.",
-  );
-}
-function properties(entry: Entry, allowed: string[]): Map<string, string> {
-  const result = new Map<string, string>();
-  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: InstrumentDecl, name: string): Entry[] {
-  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<string>();
-  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: InstrumentDecl) {
-  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;
-    // An optional selector reads like `when every is unset`.
-    const presence =
-      (type?.kind === "type" || type?.kind === "call") &&
-      type.name !== "enum" &&
-      !!type.optional &&
-      ["set", "unset"].includes(values.get("is")!);
-    if (
-      !presence &&
-      (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, or set or unset of an optional tunable.",
-      );
-    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: InstrumentDecl) {
-  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")!,
-    };
-  });
-}

package/src/std-library.ts

@@ -1,7 +0,0 @@
-import { BUNDLED_STD_FILES } from "./std-bundle.ts";
-export interface StandardLibrary {
-  source(header: string): string | undefined;
-}
-export const bundledStandardLibrary: StandardLibrary = {
-  source: (header) => BUNDLED_STD_FILES.get(`${header}.hsx`),
-};