@hyperscale0/hsx 1.0.334 → 1.0.336

package/docs/README.md

@@ -459,13 +459,23 @@ attach visit = wallet.spend {
 ```
 
 Name the original action, before its public alias. If it has several moves,
-select a move key, for example `economics pay.move1 { ... }`. The compiler
+select a move key, for example `economics pay.move1 { ... }`. A record's
+action takes the record name first: a schedule's payments are
+`economics occurrence.pay { ... }`. The compiler
 refuses an unknown action or move, a repeated selection, a void, or economics
 that conflict with the instrument or its reservation. Cash purposes require
 cash accounts. `sourceParty` resolves a party parameter, a subject role or a
 declared business. The attachment retains this binding even when only economics
 uses it. The credited account supplies the destination participant.
 
+Stock transfers, splits and schedules declare no purpose, because the purpose
+depends on how the attach binds its parties. When an attached move that
+creates or reserves money has none, `hsx check` and `composer.check` return an
+`economic_purpose_missing` warning on the attach line. Its fix is the line to
+add, with `earning` when the payee binds `operator`, `participant_payout` when
+the payer does, and `pass_through` otherwise. A warning does not block a
+freeze, but the books leave an unclassified payment out of revenue.
+
 The compiler writes the declaration into that attachment's UDL move. Imported
 instruments stay generic. New Builds carry the purpose; existing agreements
 and postings keep their retained Build and classification.

package/examples/camera-rental.hsx

@@ -0,0 +1,25 @@
+// Riyadh camera shop holds a 1,000 SAR deposit on each rental and charges 50 SAR
+// for each day a camera comes back late, after one day of grace, up to 300 SAR.
+program camera_rentals "Camera rentals"
+use money
+
+// The customer owns the rental and pays both the deposit and any late fee.
+// The shop is payee, so its own session keeps a damaged camera's deposit with
+// keep_deposit; released_by stays on the default payee. Late fees are earnings.
+object rental "Camera rental" {
+  fields { camera: text, returnBy: date }
+  columns: [camera, returnBy]
+  attach deposit = money.hold {
+    payer: owner, payee: operator, amount: 1000 SAR
+    expose create as agree_deposit
+    expose fund as pay_deposit
+    expose release as keep_deposit
+    expose refund as return_deposit
+  }
+  attach late = money.late_fee {
+    payer: owner, payee: operator, amount: 50 SAR, cap: 300 SAR, period: 1d, grace: 1d
+    rename { dueAt: returnBy }
+    expose create as agree_late_fees
+    expose stop as record_return
+  }
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hyperscale0/hsx",
-  "version": "1.0.334",
+  "version": "1.0.336",
   "description": "The strictly typed HSX language: compile total financial programs into canonical UDL.",
   "keywords": [
     "hsx",
@@ -90,8 +90,8 @@
     "bases:bundle": "bun scripts/bundle-bases.ts"
   },
   "dependencies": {
-    "@hyperscale0/adl": "1.0.334",
-    "@hyperscale0/udl": "1.0.334",
+    "@hyperscale0/adl": "1.0.336",
+    "@hyperscale0/udl": "1.0.336",
     "fast-sha256": "1.3.0"
   },
   "devDependencies": {
@@ -103,5 +103,5 @@
     "Amir Ayub",
     "Sara AlBakaawi"
   ],
-  "gitHead": "63ce2f153ec13ff17f2ea8a910cc134bfecdab16"
+  "gitHead": "67d9a9c1813a060a75fb3788960247f9dc86000f"
 }

package/src/attachment-economics.ts

@@ -6,7 +6,7 @@ import {
   type UdlDocument,
   type UdlInstrument,
 } from "@hyperscale0/udl";
-import type { Entry, Expr } from "./ast.ts";
+import type { Diagnostic, Entry, Expr, InstrumentDecl } from "./ast.ts";
 import { fail } from "./diagnostics.ts";
 
 /** An attachment specializes its own instrument; imported definitions stay generic. */
@@ -16,6 +16,7 @@ export function applyAttachmentEconomics(
   parties: Record<string, AttachmentPartyBinding>,
   declarations: Entry[],
   data: (expression: Expr) => unknown,
+  records: readonly string[] = [],
 ): void {
   const selected = new Set<object>();
   for (const declaration of declarations) {
@@ -28,7 +29,7 @@ export function applyAttachmentEconomics(
       fail(
         declaration,
         `unknown economics action ${actionName}`,
-        `choose ${instrument.actionOrder.join(", ")}, before its public alias`,
+        `choose ${instrument.actionOrder.join(", ")}, before its public alias${records.length ? `, or record.action for a record (${records.join(", ")})` : ""}`,
       );
     const move = moveKey
       ? action.moves.find((move) => move.key === moveKey)
@@ -101,3 +102,77 @@ export function applyAttachmentEconomics(
     move.economics = economics;
   }
 }
+
+/**
+ * A money move an attachment leaves without a purpose books as neither
+ * revenue nor a payout. The warning names the economics line to add; its
+ * purpose follows the bound parties: earning into the operator, a payout out
+ * of it, money passing through otherwise.
+ */
+export function purposeWarnings(
+  document: UdlDocument,
+  selectors: ReadonlyMap<string, { prefix: string; root: string }>,
+  attaches: ReadonlyMap<
+    string,
+    { entry: Entry; name: string; template: InstrumentDecl }
+  >,
+): Diagnostic[] {
+  const warnings: Diagnostic[] = [];
+  const bindings = new Map(
+    document.objects.flatMap((object) =>
+      object.attachments.map((item) => [item.instrument, item.parties]),
+    ),
+  );
+  const party = (path: string | undefined) =>
+    /^party\.(\w+)$/.exec(path ?? "")?.[1];
+  const operator = (name: string | undefined) =>
+    name === "operator" || name === "programOperator";
+  for (const instrument of document.instruments) {
+    const selector = selectors.get(instrument.id);
+    const attach = selector && attaches.get(selector.root);
+    if (!selector || !attach) continue;
+    const parties = bindings.get(instrument.id) ?? {};
+    const parameters = attach.template.parameters
+      .filter((row) => row.value.kind === "name" && row.value.value === "party")
+      .map((row) => row.key);
+    // The template's own parameter reads back in the founder's terms.
+    const parameter = (name: string) =>
+      parameters.find((key) => {
+        const binding = parties[key];
+        return (
+          binding && ("role" in binding ? binding.role : binding.party) === name
+        );
+      }) ?? name;
+    for (const actionName of instrument.actionOrder) {
+      const action = instrument.actions[actionName]!;
+      for (const move of action.moves) {
+        if (
+          move.economics ||
+          (move.operation !== "internal_transfer.create" &&
+            move.operation !== "internal_transfer.reserve")
+        )
+          continue;
+        const path = `${selector.prefix}${actionName}${action.moves.length > 1 ? `.${move.key}` : ""}`;
+        const from = party(move.from);
+        const to = party(move.to);
+        const purpose = operator(to)
+          ? "earning"
+          : operator(from)
+            ? "participant_payout"
+            : "pass_through";
+        const source = from ? parameter(from) : (parameters[0] ?? "owner");
+        warnings.push({
+          code: "economic_purpose_missing",
+          message: `${attach.name}: ${path} moves money with no declared purpose, so the books will not count it as revenue or a payout`,
+          fix: `add economics ${path} { purpose: ${purpose}, sourceParty: ${source} } inside attach ${attach.name}`,
+          // Underline `attach <name>`, the line the declaration goes under.
+          span: {
+            start: attach.entry.span.start,
+            end: attach.entry.span.start + `attach ${attach.name}`.length,
+          },
+        });
+      }
+    }
+  }
+  return warnings;
+}

package/src/catalog-program.ts

@@ -30,6 +30,7 @@ object item "Item" {
  attach payout = money.payout { payer: actor, payee: owner, adapter: "conformance_boundary" }
  attach mandate = money.mandate { payer: actor, payee: owner }
  attach metered = money.metered { payer: actor, payee: owner, unit_price: 10 SAR }
+ attach late_fee = money.late_fee { payer: actor, payee: owner, amount: 50 SAR, cap: 500 SAR }
  attach policy = insurance.cover { holder: actor, adapter: "conformance_boundary" }
  attach claim = insurance.claim { cover: policy, inspector: inspector }
  attach cov = insurance.cover { holder: actor, broker: supplier, adapter: "conformance_boundary", covers: sale }

package/src/cli.ts

@@ -85,9 +85,9 @@ export async function runCli(argv: readonly string[], io: Io): Promise<number> {
       text = result.formatted;
     } else {
       const result = compile(source, { standardLibrary });
-      for (const d of result.diagnostics)
+      for (const d of [...result.diagnostics, ...result.warnings])
         io.err(
-          `${d.source && d.source !== "program" ? d.source : file}:${d.line}:${d.column}: ${d.code} ${d.message.replace(/[^.?!]$/, "$&.")} ${d.fix}`,
+          `${d.source && d.source !== "program" ? d.source : file}:${d.line}:${d.column}: ${d.severity === "warning" ? "warning " : ""}${d.code} ${d.message.replace(/[^.?!]$/, "$&.")} ${d.fix}`,
         );
       if (!result.artifacts || result.verdict !== "valid") return 1;
       if (command === "check") return 0;

package/src/compile.ts

@@ -40,7 +40,10 @@ import {
 } from "./binding-contract.ts";
 import { tunableBounds } from "./tunables.ts";
 import { parseProgram } from "./parse.ts";
-import { applyAttachmentEconomics } from "./attachment-economics.ts";
+import {
+  applyAttachmentEconomics,
+  purposeWarnings,
+} from "./attachment-economics.ts";
 import { parseHeader } from "./header-source.ts";
 import {
   lineColAt,
@@ -79,9 +82,14 @@ export interface CompileOptions {
   standardLibrary?: StandardLibrary;
   adapterRegistry?: Readonly<Record<string, AdapterBindingTarget>>;
 }
+export interface CompileWarning extends Omit<CompileDiagnostic, "severity"> {
+  severity: "warning";
+}
 export interface CompileResult {
   verdict: "valid" | "invalid";
   diagnostics: CompileDiagnostic[];
+  /** Advice that does not block a freeze, such as a money move with no purpose. */
+  warnings: CompileWarning[];
   artifacts?: {
     document: UdlDocument;
     costManifest: UdlCostManifest;
@@ -392,8 +400,10 @@ function literal(expr: Expr, expectedType?: string): string | number | boolean {
     if (!Number.isSafeInteger(n) || n <= 0)
       fail(
         expr,
-        "invalid duration",
-        "write a positive fixed duration such as 48h or 3d",
+        expr.value.includes(" ")
+          ? `${expr.value} is not a fixed duration`
+          : "invalid duration",
+        "write a positive fixed duration such as 48h, 3d or 30d",
       );
     return n;
   }
@@ -463,6 +473,7 @@ export function compile(
     return {
       verdict: "invalid",
       diagnostics: parsed.diagnostics.map((d) => diagnostic(d, "parse")),
+      warnings: [],
     };
   const program = parsed.program;
   const bindingDiagnostics: Diagnostic[] = [];
@@ -489,6 +500,15 @@ export function compile(
         "write currency SAR or omit currency",
       );
     const templates = new Map<string, InstrumentDecl>();
+    // Attached instruments, for the warning on a money move with no purpose.
+    const attachedSelectors = new Map<
+      string,
+      { prefix: string; root: string }
+    >();
+    const attachEntries = new Map<
+      string,
+      { entry: Entry; name: string; template: InstrumentDecl }
+    >();
     const declarationSources = new Map<InstrumentDecl, string>();
     const standardOrigins = new Map<
       InstrumentDecl,
@@ -746,6 +766,11 @@ export function compile(
         attachments: UdlObjectAttachment[];
         economics: Entry[];
         child?: boolean;
+        /** How an economics selector names this instrument: "" or "occurrence.". */
+        selectorPrefix?: string;
+        rootInstrument?: string;
+        /** The template as the founder wrote it, such as money.schedule. */
+        template?: string;
       },
       familyDeclaration?: {
         module: string;
@@ -933,6 +958,7 @@ export function compile(
           enums.set(parameter.key, type.args.map(text));
       }
       const supplied = new Map<string, Expr>();
+      const suppliedEntries = new Map<string, Entry>();
       for (const entry of arguments_.entries) {
         if (supplied.has(entry.key))
           fail(
@@ -941,6 +967,7 @@ export function compile(
             "supply each parameter once",
           );
         supplied.set(entry.key, entry.value);
+        suppliedEntries.set(entry.key, entry);
       }
       const environment = new Map<string, Expr>(inherited);
       const parameterErrors: Diagnostic[] = [];
@@ -1082,10 +1109,11 @@ export function compile(
             `Remove \`${key}\`. To use your object's money field, add \`rename { ${field}: ${target} }\`.`,
           );
         }
+        const tunables = decl.parameters.map((p) => p.key);
         fail(
-          suppliedValue,
-          `unknown tunable ${key}`,
-          `choose ${decl.parameters.map((p) => p.key).join(", ")}`,
+          suppliedEntries.get(key) ?? suppliedValue,
+          `${assignments.get(id)?.target ?? attachmentInfo?.template ?? decl.name} has no tunable "${key}".${didYouMean(key, tunables)} Tunables: ${tunables.join(", ")}`,
+          `remove ${key}, or set one of ${tunables.join(", ")}`,
         );
       }
       const isParty = (name: string) =>
@@ -3205,14 +3233,39 @@ export function compile(
             );
             if (receipt) move.transfer = `self.${receipt}`;
           }
-      if (attachmentInfo && !attachmentInfo.child)
+      // `economics occurrence.pay` classifies a record's move; an action of
+      // the attached instrument wins over a record of the same name.
+      const recordEconomics = new Map<string, Entry[]>();
+      if (attachmentInfo) {
+        const own: Entry[] = [];
+        for (const declaration of attachmentInfo.economics) {
+          const [first = "", ...rest] = declaration.key
+            .slice("economics ".length)
+            .split(".");
+          if (
+            rest.length &&
+            !Object.hasOwn(inst.actions, first) &&
+            records.has(first)
+          )
+            recordEconomics.set(first, [
+              ...(recordEconomics.get(first) ?? []),
+              { ...declaration, key: `economics ${rest.join(".")}` },
+            ]);
+          else own.push(declaration);
+        }
         applyAttachmentEconomics(
           document,
           inst,
           attachmentInfo.parties,
-          attachmentInfo.economics,
+          own,
           data,
+          [...records.keys()],
         );
+        attachedSelectors.set(inst.id, {
+          prefix: attachmentInfo.selectorPrefix ?? "",
+          root: attachmentInfo.rootInstrument ?? inst.id,
+        });
+      }
       for (const key of [
         "invariants",
         "reports",
@@ -3292,6 +3345,9 @@ export function compile(
               attachmentName: `${attachmentInfo.attachmentName}_${key}`,
               child: true,
               exposed: new Map<string, string>(),
+              economics: recordEconomics.get(key) ?? [],
+              selectorPrefix: `${attachmentInfo.selectorPrefix ?? ""}${key}.`,
+              rootInstrument: attachmentInfo.rootInstrument ?? id,
             }
           : undefined;
         if (childAttachment)
@@ -3450,6 +3506,7 @@ export function compile(
 
         const parties: Record<string, AttachmentPartyBinding> = {};
         attachments.push({ name: attachmentName, instrument: instId, parties });
+        attachEntries.set(instId, { entry, name: attachmentName, template });
 
         const tunableBlock: BlockExpr = {
           kind: "block",
@@ -3475,6 +3532,7 @@ export function compile(
               parties,
               attachments,
               economics,
+              template: targetTemplate,
             },
             templateFamily ? { ...templateFamily } : undefined,
             standardOrigins.get(template),
@@ -3689,6 +3747,7 @@ export function compile(
     if (bindingDiagnostics.length)
       return {
         verdict: "invalid",
+        warnings: [],
         diagnostics: distinct(bindingDiagnostics)
           .sort((a, b) => a.span.start - b.span.start)
           .map((d) => diagnostic(d, "check")),
@@ -4500,6 +4559,7 @@ export function compile(
     if (collisions.length)
       return {
         verdict: "invalid",
+        warnings: [],
         diagnostics: collisions
           .sort((a, b) => a.span.start - b.span.start)
           .map((d) => diagnostic(d, "check")),
@@ -4577,6 +4637,7 @@ export function compile(
     if (!validated.ok)
       return {
         verdict: "invalid",
+        warnings: [],
         diagnostics: issues.map((i) => {
           const origin = [...origins]
             .reverse()
@@ -4652,6 +4713,9 @@ export function compile(
     return {
       verdict: "valid",
       diagnostics: [],
+      warnings: purposeWarnings(document, attachedSelectors, attachEntries).map(
+        (d) => ({ ...diagnostic(d, "check"), severity: "warning" }),
+      ),
       artifacts: {
         document: validated.value,
         costManifest: buildUdlCostManifest(validated.value),
@@ -4662,6 +4726,7 @@ export function compile(
     if (error instanceof CompileFailure)
       return {
         verdict: "invalid",
+        warnings: [],
         diagnostics: distinct([...bindingDiagnostics, error.diagnostic]).map(
           (d) => diagnostic(d, "check"),
         ),

package/src/examples-bundle.ts

@@ -1,6 +1,7 @@
 // Generated by open/hsx/scripts/bundle-examples.ts. Do not edit by hand.
 import type { HsxExample } from "./examples.ts";
 export const examples: HsxExample[] = [
+  {"id":"camera-rental","title":"Camera rentals","summary":"Riyadh camera shop holds a 1,000 SAR deposit on each rental and charges 50 SAR for each day a camera comes back late, after one day of grace, up to 300 SAR.","headers":["money"],"source":"// Riyadh camera shop holds a 1,000 SAR deposit on each rental and charges 50 SAR\n// for each day a camera comes back late, after one day of grace, up to 300 SAR.\nprogram camera_rentals \"Camera rentals\"\nuse money\n\n// The customer owns the rental and pays both the deposit and any late fee.\n// The shop is payee, so its own session keeps a damaged camera's deposit with\n// keep_deposit; released_by stays on the default payee. Late fees are earnings.\nobject rental \"Camera rental\" {\n  fields { camera: text, returnBy: date }\n  columns: [camera, returnBy]\n  attach deposit = money.hold {\n    payer: owner, payee: operator, amount: 1000 SAR\n    expose create as agree_deposit\n    expose fund as pay_deposit\n    expose release as keep_deposit\n    expose refund as return_deposit\n  }\n  attach late = money.late_fee {\n    payer: owner, payee: operator, amount: 50 SAR, cap: 300 SAR, period: 1d, grace: 1d\n    rename { dueAt: returnBy }\n    expose create as agree_late_fees\n    expose stop as record_return\n  }\n}\n"},
   {"id":"cards","title":"Boston catering cards","summary":"Boston catering cards lets staff reserve supplier purchases up to 5,000 SAR each. Supplier cancellation releases the reservation; captured purchases support a full refund or a reviewed dispute.","headers":["cards"],"source":"// Boston catering cards lets staff reserve supplier purchases up to 5,000 SAR each.\n// Supplier cancellation releases the reservation; captured purchases support a full refund or a reviewed dispute.\nprogram team_expense_cards \"Boston catering cards\"\nuse cards\nparty supplier: business\n\n// Bind supplier to the food wholesaler. Staff customers own their card records.\n// Card fee: 0%, tax: 0% on card access because the caterer charges staff nothing.\n// A supplier invoice might be 2,000 SAR plus 15% VAT, paid as one 2,300 SAR\n// authorization. cards does not calculate or remit the supplier's invoice VAT.\nobject employee \"Catering expense card\" {\n  fields { employeeName: text, department: text }\n  columns: [employeeName, department]\n  attach holder = cards.cardholder {\n    holder: owner\n    expose create as enrol_employee\n    expose activate as activate_employee\n    expose suspend as suspend_employee\n    expose resume as restore_employee\n    expose close as close_employee_access\n    expose operator_close as remove_employee_access\n  }\n  attach card = cards.card {\n    holder: holder, person: owner, issuer: operator, spend_limit: 5000 SAR\n    expose create as issue_card\n    expose activate as activate_card\n    expose freeze as freeze_lost_card\n    expose unfreeze as restore_found_card\n    expose issuer_freeze as block_card\n    expose issuer_unfreeze as unblock_card\n    expose cancel as cancel_card\n    expose issuer_cancel as retire_employee_card\n  }\n  // Supply the gross invoice amount and expiresAt, such as 24 hours after\n  // ordering. Pending and approved authorizations expire without capture.\n  attach payment = cards.authorization {\n    card: card, merchant: supplier, issuer: operator\n    expose create as request_supplier_payment\n    expose approve as approve_payment\n    expose decline as decline_payment\n    expose capture as capture_delivered_order\n    expose reverse as cancel_supplier_reservation\n  }\n  attach receipt = cards.transaction {\n    authorization: payment\n    expose create as record_captured_purchase\n    expose refund as refund_supplier_purchase\n  }\n  attach complaint = cards.dispute {\n    transaction: receipt, issuer: operator, within: 30d\n    expose create as dispute_supplier_purchase\n    expose review as review_purchase_dispute\n    expose win as uphold_dispute_and_refund\n  }\n  // A dispute unresolved after 30 days becomes lost. A refund always needs\n  // the supplier's funds; the card header does not prove card-network settlement.\n}\n"},
   {"id":"collections","title":"Portland cafe equipment finance","summary":"Portland cafe equipment finance lends 24,000 SAR over 12 months and refers debt seven days overdue. Its agency earns 10% of each recovery from the lender, with at most four contacts per 30 days.","headers":["collections","financing"],"source":"// Portland cafe equipment finance lends 24,000 SAR over 12 months and refers debt seven days overdue.\n// Its agency earns 10% of each recovery from the lender, with at most four contacts per 30 days.\nprogram business_collections \"Portland cafe equipment finance\"\nuse collections\nuse financing\nparty agency: business\n\n// Bind agency to the collector. The cafe owns the facility. Set price to\n// 24,000 SAR: 6% flat profit is 1,440 SAR, repaid in twelve 2,120 SAR payments.\n// Loan fee: 0%, tax: 0% on principal. The agency invoices 15% VAT on its\n// recovery service outside collections.case, which posts only the 10% fee.\nobject facility \"Cafe equipment facility\" {\n  fields { businessName: text, purpose: text, price: money }\n  columns: [businessName, purpose, price]\n  attach allowance = financing.limits {\n    borrower: owner, per_borrower: 100000 SAR\n    expose create as request_borrower_limit\n    expose approve as approve_borrower\n  }\n  attach budget = financing.portfolio_limit {\n    limit: 2000000 SAR\n    expose create as create_lending_budget\n    expose approve as approve_budget\n  }\n  // Approve both limits and provide twelve future due dates before disbursement.\n  attach loan = financing.installments {\n    borrower: owner, capital: operator, share: 0%\n    months: 12, pricing: flat_total, profit_rate: 6%, disburse_to: borrower\n    payoff_rebate: 100%, refund_within: 30d, write_off_after: 90d\n    limits: allowance, portfolio: budget\n    expose create as quote_equipment_loan\n    expose sign as sign_loan\n    expose disburse as release_loan\n    expose cancel as decline_loan_quote\n    expose void as cancel_unfunded_loan\n    expose payoff as repay_early\n    expose complete as close_repaid_loan\n  }\n  // Select matching plan, overdue slice and pending payment when opening.\n  // Recovery pays that payment, not necessarily the whole remaining debt.\n  attach recovery = collections.case {\n    on: loan, agency: agency, capital: operator, overdue: 7d, fee: 10%\n    expose create as refer_overdue_instalment\n    expose assign as assign_agency\n    expose recover as collect_referred_payment\n    expose recall as recall_collection_case\n    expose return_uncollected as return_uncollected_case\n  }\n  attach contact = collections.contact {\n    case: recovery, agency: agency\n    max_contacts: 4, window: 30d, contact_from: 9, contact_until: 18\n    timezone: \"Asia/Riyadh\"\n    expose create as record_collection_contact\n  }\n}\n\nexpose facility.contact.outcome.create as record_contact_outcome\nexpose facility.loan.payment.create as record_repayment\nexpose facility.loan.payment.pay as pay_instalment\nexpose facility.loan.payment.refund as refund_mistaken_repayment\nexpose facility.loan.payoff_quote.create as request_payoff_quote\n// A disputed contact can be recorded, then capital can recall the case.\n// Uncollectible principal needs a separate capital decision after 90 days.\nexpose facility.loan.write_off_request.create as request_overdue_write_off\nexpose facility.loan.write_off_request.apply as approve_overdue_write_off\nexpose facility.loan.write_off_request.cancel as cancel_write_off_request\n"},
   {"id":"escrow","title":"Seattle used laptops","summary":"Seattle used laptops holds a buyer's 2,300 SAR until the laptop arrives and passes inspection. Delivery has seven days; the buyer has 48 hours to accept or dispute before the operator reviews the sale.","headers":["escrow"],"source":"// Seattle used laptops holds a buyer's 2,300 SAR until the laptop arrives and passes inspection.\n// Delivery has seven days; the buyer has 48 hours to accept or dispute before the operator reviews the sale.\nprogram used_device_sales \"Seattle used laptops\"\nuse escrow\nparty seller: business\n\n// Bind seller to the refurbisher. Set price to the agreed gross invoice, for\n// example 2,300 SAR. The company keeps 5%, 115 SAR, plus 15% VAT on that fee.\n// Seller receives 2,167.75 SAR. Any VAT on the laptop is on the seller's invoice.\nobject device \"Laptop purchase\" {\n  fields { model: text, condition: text, serialNumber: text, price: money }\n  columns: [model, condition, serialNumber, price]\n  attach sale = escrow.hold {\n    payer: owner, payee: seller\n    fee: { seller: 5%, tax: 15% }\n    deliver_within: 7d, accept_within: 48h\n    dispute: { refund_after: return_verified }\n    expose create as agree_purchase\n    expose fund as pay_for_laptop\n    expose deliver as confirm_delivery\n    expose accept as accept_laptop\n    expose dispute as report_problem\n    expose verify_return as verify_returned_laptop\n    expose refund as refund_buyer\n    expose refund_undelivered as refund_missing_delivery\n    expose settle_release as resolve_in_seller_favour\n    expose settle_return as resolve_in_buyer_favour\n    expose settle_refund as finish_buyer_refund\n    expose cancel as cancel_unpaid_purchase\n  }\n}\n"},

package/src/index.ts

@@ -3,6 +3,7 @@ export {
   type CompileDiagnostic,
   type CompileOptions,
   type CompileResult,
+  type CompileWarning,
   type CompileOriginMapEntry,
   type AdapterBindingTarget,
 } from "./compile.ts";

package/src/parse.ts

@@ -514,6 +514,21 @@ class Parser {
         };
       if (/[a-z]$/.test(token.text))
         return { kind: "duration", value: token.text, span: token.span };
+      // `1 month` reads as one value, so the checker names the tunable it
+      // was given to instead of failing on the next line. A unit followed by
+      // `:` is the next entry's key, as in `count: 2` then `months: 2`.
+      if (
+        /^(?:minute|hour|day|week|month|year)s?$/.test(this.peek().text) &&
+        this.peek().kind === "name" &&
+        this.tokens[this.index + 1]?.text !== ":"
+      ) {
+        const unit = this.take().text;
+        return {
+          kind: "duration",
+          value: `${token.text} ${unit}`,
+          span: this.span(start),
+        };
+      }
       if (/^[A-Z]{3}$/.test(this.peek().text)) {
         const currency = this.take().text;
         return {