@hyperscale0/hsx 1.0.125 → 1.0.130

package/examples/insurance.hsx

@@ -2,7 +2,6 @@
 program device_insurance "Device insurance"
 use insurance
 use money
-party inspector: staff role claims
 
 object device "Insured device" {
   fields { model: text, serialNumber: text, purchaseDate: date }
@@ -13,16 +12,18 @@ object device "Insured device" {
     economics pay { purpose: earning, sourceParty: owner }
     expose pay as pay_for_device
   }
-  // Bind device_insurer to an ADL adapter before creating cover. Premiums net of commission go to its account.
+  // conformance_boundary is the sandbox insurer adapter; swap in the insurer's registered adapter to go live.
+  // Premiums net of commission go to its account. The default broker is the retailer, which keeps the commission.
+  // claim_limit is the sum insured, set per cover at creation.
   attach protection = insurance.cover {
     expose create as create_protection
-    holder: owner, adapter: "device_insurer", commission: 10%, covers: purchase
+    holder: owner, adapter: "conformance_boundary", commission: 10%, covers: purchase
     expose activate as activate_cover
     expose cancel as cancel_cover
   }
   attach claim = insurance.claim {
     expose create as create_claim
-    cover: protection, inspector: inspector
+    cover: protection, inspector: operator
     expose approve as approve_claim
     expose deny as deny_claim
     expose pay as pay_claim

package/examples/lending.hsx

@@ -20,7 +20,7 @@ object business "Business funding" {
   attach loan = financing.installments {
     expose create as create_loan
     borrower: owner, capital: operator
-    months: 12, profit: 6%, disburse_to: borrower
+    months: 12, pricing: amortizing, profit_rate: 6%, disburse_to: borrower
     limits: allowance, portfolio: budget
     expose sign as sign_loan
     expose disburse as release_loan

package/examples/library.hsx

@@ -9,7 +9,7 @@ object car "Cars" {
  attach ceiling = financing.portfolio_limit { expose create as create_ceiling, limit: 1500000 SAR }
  attach plan = financing.installments {
   borrower: actor, capital: operator, share: 25%
-  months: 3, profit: 2.5%, funds: sale, limits: limits, portfolio: ceiling
+  months: 3, pricing: flat_total, profit_rate: 2.5%, funds: sale, limits: limits, portfolio: ceiling
   expose create as finance
  }
 }

package/examples/rental-deposit.hsx

@@ -3,7 +3,7 @@
 program equipment_rental "Equipment rental"
 party renter: business
 
-// Program-local instruments have fixed terms and parties, not tunable parameters.
+// The renter is one declared business, so this instrument takes no parameters.
 instrument deposit {
   summary: "Hold a rental deposit, then return it less any fixed late fee."
   fields {

package/examples/reporting.hsx

@@ -19,7 +19,7 @@ object purchase "Equipment loan" {
   attach loan = financing.installments {
     expose create as create_loan
     borrower: owner, capital: operator
-    months: 12, profit: 6%, disburse_to: borrower
+    months: 12, pricing: amortizing, profit_rate: 6%, disburse_to: borrower
     limits: allowance, portfolio: budget
     expose sign as sign_purchase_loan
     expose disburse as fund_purchase

package/examples/serviced.hsx

@@ -11,7 +11,7 @@ object car "Car" {
  attach ceiling = financing.portfolio_limit { expose create as create_ceiling, limit: 10000000 SAR }
  attach plan = financing.installments {
   borrower: actor, capital: operator
-  months: 36, profit: 8.5%, down_payment: 10%
+  months: 36, pricing: flat_total, profit_rate: 8.5%, down_payment: 10%
   apply: fines_profit_principal, payoff_rebate: 100%, write_off_after: 90d
   funds: sale, limits: limits, portfolio: ceiling
   expose create as finance, expose sign as sign_contract, expose payoff as payoff

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hyperscale0/hsx",
-  "version": "1.0.125",
+  "version": "1.0.130",
   "description": "The strictly typed HSX language: compile total financial programs into canonical UDL.",
   "keywords": [
     "hsx",
@@ -84,8 +84,8 @@
     "examples:bundle": "bun scripts/bundle-examples.ts"
   },
   "dependencies": {
-    "@hyperscale0/adl": "1.0.125",
-    "@hyperscale0/udl": "1.0.125",
+    "@hyperscale0/adl": "1.0.130",
+    "@hyperscale0/udl": "1.0.130",
     "fast-sha256": "1.3.0"
   },
   "devDependencies": {
@@ -97,5 +97,5 @@
     "Amir Ayub",
     "Sara AlBakaawi"
   ],
-  "gitHead": "44fcac0bdfa4468cf88215020ab25a407848f68c"
+  "gitHead": "3d768e3b8dd85648cb01257a02fef3b1e0b1ff57"
 }

package/src/cli.ts

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

package/src/compile.ts

@@ -534,14 +534,6 @@ export function compile(
     }
     for (const decl of program.decls)
       if (decl.kind === "instrument") templates.set(decl.name, decl);
-    for (const decl of program.decls) {
-      if (decl.kind === "instrument" && decl.parameters.length)
-        fail(
-          decl,
-          "This compiler cannot instantiate a parameterized instrument declared inside a program.",
-          "For this version, specialize the instrument with fixed bindings and remove its parameters. Custom reusable headers require a host-supplied library.",
-        );
-    }
     const document: UdlDocument = {
       udl: UDL_FORMAT_VERSION,
       version: 1,
@@ -906,8 +898,12 @@ export function compile(
         const typeName =
           type.kind === "type" || type.kind === "call" ? type.name : text(type);
         const partyParameter = attachmentInfo && typeName === "party";
+        const optional = type.kind === "type" && type.optional;
+        // An optional party stays unset unless the attachment binds it, so a
+        // program party that shares its name does not switch it on.
         const byName: Expr | undefined =
           partyParameter &&
+          !optional &&
           (subjectPartyRoles.includes(param.key as SubjectPartyRole) ||
             document.parties[param.key])
             ? { kind: "name", value: param.key, span: origin }
@@ -920,7 +916,7 @@ export function compile(
             source: declarationSources.get(decl) ?? "program",
           });
         if (!actual) {
-          if (type.kind === "type" && type.optional) continue;
+          if (optional) continue;
           parameterErrors.push({
             span: origin,
             code: partyParameter ? "subject_party_unbound" : "HSX1001",
@@ -989,7 +985,12 @@ export function compile(
           .filter((entry) => entry.key.startsWith("action "))
           .flatMap(
             (entry) =>
-              asBlock(entries(asBlock(entry.value)).get("subject")).entries,
+              // Read subject rows directly: entries() refuses repeated when branches.
+              asBlock(
+                asBlock(entry.value).entries.find(
+                  (row) => row.key === "subject",
+                )?.value,
+              ).entries,
           );
         const moneyFields = [
           ...new Set(
@@ -1038,6 +1039,29 @@ export function compile(
         (!!attachmentInfo &&
           subjectPartyRoles.includes(name as SubjectPartyRole));
       const resolvedParties = new Set<string>();
+      // A party of a sibling attachment this one references, such as the
+      // borrower of `self.plan`, binds here the way it binds there.
+      const reachedParty = (
+        name: string,
+      ): AttachmentPartyBinding | undefined => {
+        if (!attachmentInfo) return;
+        const targets = fields.flatMap((field) =>
+          field.type === "ref" && field.targetKind === "instrument"
+            ? [field.target].flat()
+            : [],
+        );
+        const bindings = attachmentInfo.attachments.flatMap((attachment) =>
+          targets.some(
+            (target) =>
+              target === attachment.instrument ||
+              target.startsWith(`${attachment.instrument}_`),
+          ) && attachment.parties[name]
+            ? [attachment.parties[name]]
+            : [],
+        );
+        const distinct = new Set(bindings.map((item) => JSON.stringify(item)));
+        return distinct.size === 1 ? bindings[0] : undefined;
+      };
       const resolve = (
         expr: Expr,
         seen = new Set<string>(),
@@ -1097,6 +1121,18 @@ export function compile(
               attachmentSubjects.has(name)
                 ? name.slice(attachmentInfo.subjectKindId.length + 1)
                 : `${name} (program)`;
+            const elsewhere = [...assignments.values()]
+              .filter(
+                (assignment) =>
+                  assignment.target === type &&
+                  attachmentSubjects.has(assignment.name) &&
+                  attachmentSubjects.get(assignment.name) !==
+                    attachmentInfo.subjectKindId,
+              )
+              .map((assignment) => {
+                const subject = attachmentSubjects.get(assignment.name)!;
+                return `\`${subject}.${assignment.name.slice(subject.length + 1)}\``;
+              });
             const target = templates.get(type);
             const required =
               target?.parameters
@@ -1115,7 +1151,7 @@ export function compile(
               }`,
               matches.length
                 ? `Bind \`${parameter}\` explicitly to one of: ${matches.map(local).join(", ")}.`
-                : `Declare a ${parameter} attachment and bind \`${parameter}: allowance\`. Choose ${required.map((name) => (name.startsWith("per_") ? `its ${name.slice(4).replaceAll("_", " ")} limit` : `\`${name}\``)).join(", ") || "its required bindings"} explicitly.`,
+                : `Attach \`${type}\` to \`${attachmentInfo.subjectKindId}\` and bind \`${parameter}\` to that attachment's name. Choose ${required.map((name) => (name.startsWith("per_") ? `its ${name.slice(4).replaceAll("_", " ")} limit` : `\`${name}\``)).join(", ") || "its required bindings"} explicitly.${elsewhere.length ? ` ${elsewhere.join(", ")} ${elsewhere.length === 1 ? "is" : "are"} on another object, which this binding cannot reach.` : ""}`,
             );
           }
           if (expr.name !== "all" && matches.length !== 1)
@@ -1554,6 +1590,28 @@ export function compile(
             value: `${id}_${key}`,
             span: origin,
           });
+      // A subject role only has money here when this attachment binds it.
+      const moneyPath = (expr: Expr): string => {
+        const lowered = path(expr);
+        const role = lowered.slice("party.".length) as SubjectPartyRole;
+        if (
+          attachmentInfo &&
+          lowered.startsWith("party.") &&
+          subjectPartyRoles.includes(role) &&
+          !Object.values(attachmentInfo.parties).some(
+            (binding) => "role" in binding && binding.role === role,
+          )
+        )
+          failWithCode(
+            expr,
+            "subject_party_unbound",
+            `\`${role}\` has no money account in \`${decl.name}\``,
+            role === "operator"
+              ? "Use `programOperator` for the company's own account."
+              : `Add a party parameter to \`${decl.name}\` and bind it to \`${role}\` where you attach it.`,
+          );
+        return lowered;
+      };
       const fields: UdlField[] = [];
       const calculations: UdlCalculation[] = [];
       let currentAction: UdlAction | undefined;
@@ -2286,12 +2344,12 @@ export function compile(
             };
           }
         }
-        const fromBinding = slots.get("from");
-        if (
-          fromBinding?.kind === "name" &&
-          fromBinding.value.includes(".") &&
-          slots.has("moves")
-        ) {
+        const from = slots.get("from");
+        // A policy member may sit in a state list such as `[funded, dispute.refund_after]`.
+        const fromBinding = (from?.kind === "list" ? from.items : [from]).find(
+          (item) => item?.kind === "name" && item.value.includes("."),
+        );
+        if (fromBinding?.kind === "name" && slots.has("moves")) {
           const [parameter, member] = fromBinding.value.split(".");
           const suppliedPolicy = supplied.get(parameter!);
           if (suppliedPolicy?.kind === "block") {
@@ -2332,6 +2390,7 @@ export function compile(
           ...(actionSubject ? { subject: actionSubject } : {}),
         };
         authored.set(a, row.value);
+        const actionFeeCalculations: UdlCalculation[] = [];
         for (const binding of boundaryBindings)
           if (
             !a.subject?.adapters.find((entry) => entry.binding === binding)
@@ -2470,9 +2529,18 @@ export function compile(
                     `unknown economic purpose ${purposeName}`,
                     "choose a declared economic purpose",
                   );
-                const sourcePartyName = sourceParty
+                let sourcePartyName = sourceParty
                   ? String(data(sourceParty))
                   : undefined;
+                const reached =
+                  sourcePartyName && !isParty(sourcePartyName)
+                    ? reachedParty(sourcePartyName)
+                    : undefined;
+                if (reached) {
+                  attachmentInfo!.parties[sourcePartyName!] = reached;
+                  sourcePartyName =
+                    "role" in reached ? reached.role : reached.party;
+                }
                 if (sourcePartyName && !isParty(sourcePartyName))
                   fail(
                     sourceParty!,
@@ -2606,7 +2674,7 @@ export function compile(
                       operation: "internal_transfer.create",
                       ...(economics ? { economics } : {}),
                       amount: piece,
-                      from: path(from),
+                      from: moneyPath(from),
                       to: `party.${recipient.value}`,
                     });
                   }
@@ -2634,8 +2702,8 @@ export function compile(
                     ? { capture: String(data(parts.get("capture")!)) }
                     : {}),
                   amount: val(amount!),
-                  from: path(from!),
-                  to: path(to!),
+                  from: moneyPath(from!),
+                  to: moneyPath(to!),
                 };
                 const fee = parts.get("fee");
                 if (!fee)
@@ -2692,6 +2760,11 @@ export function compile(
                       "write a percentage such as 1%",
                     );
                   const prefix = `${name}_${key}`;
+                  // Instrument calculations run at create, before any action
+                  // input exists, so a fee on an input amount runs with its action.
+                  const perAction =
+                    "field" in transfer.amount &&
+                    transfer.amount.field.startsWith("input.");
                   const derived = (
                     suffix: string,
                     label: string,
@@ -2704,8 +2777,13 @@ export function compile(
                         `generated fee field ${target} conflicts with a field`,
                         "rename the authored field or move key",
                       );
-                    fields.push({ name: target, type: "money", label });
-                    calculations.push({
+                    fields.push({
+                      name: target,
+                      type: "money",
+                      label,
+                      ...(perAction ? { optional: true } : {}),
+                    });
+                    (perAction ? actionFeeCalculations : calculations).push({
                       ...calculation,
                       target,
                     } as UdlCalculation);
@@ -2828,6 +2906,8 @@ export function compile(
             }
           } else (a as unknown as Record<string, unknown>)[key] = data(expr);
         }
+        if (actionFeeCalculations.length)
+          a.calculate = [...(a.calculate ?? []), ...actionFeeCalculations];
         if (attachmentInfo && !attachmentInfo.child) {
           if (attachmentInfo.exposed.has(name)) {
             if (automatic(a.actor))
@@ -2895,6 +2975,26 @@ export function compile(
             message: `${id}.${name}.subject.${requirement.field.name}`,
           });
         }
+        // A parent actor over an empty all() names no instrument that could
+        // invoke the action. A std action then does not exist in this program;
+        // in user code the all() is a mistake.
+        if (
+          typeof a.actor === "object" &&
+          "parent" in a.actor &&
+          Array.isArray(a.actor.parent) &&
+          !a.actor.parent.length
+        ) {
+          if ((declarationSources.get(decl) ?? "program") === "program") {
+            const parent = entries(asBlock(slots.get("actor"))).get("parent");
+            fail(
+              parent ?? row,
+              `${parent?.kind === "call" ? `${parent.name}(${text(parent.args[0]!)})` : `the parent actor of ${name}`} matches no instrument`,
+              "name an instrument this program declares or attaches",
+            );
+          }
+          delete lifecycle.transitions[name];
+          continue;
+        }
         inst.actions[name] = a;
         inst.actionOrder.push(name);
       }
@@ -3307,7 +3407,9 @@ export function compile(
       });
     };
     for (const decl of program.decls) {
-      if (decl.kind === "instrument") {
+      // A parameterized program instrument is a template, like a header
+      // instrument: each attachment instantiates it with its own bindings.
+      if (decl.kind === "instrument" && !decl.parameters.length) {
         addInstrument(decl, decl.name, emptyBlock, decl.span);
       }
       if (decl.kind === "assignment") {
@@ -3647,7 +3749,9 @@ export function compile(
         fail(
           at,
           `\`${name}\` is not a declared party.${didYouMean(name, names)}`,
-          `Declare it with \`party ${name}: business\`, or name a declared party (${names.join(", ")}).`,
+          subjectPartyRoles.includes(name as SubjectPartyRole)
+            ? `Declare a party parameter such as \`holder: party\` on the instrument, use it here, and bind \`holder: ${name}\` where you attach it.`
+            : `Declare it with \`party ${name}: business\`, or name a declared party (${names.join(", ")}).`,
         );
     };
     const checkInput = (
@@ -3725,13 +3829,100 @@ export function compile(
       inst,
       label: declarations.get(inst)!.name,
     });
+    // A family member drops an optional reference field its binding left
+    // unset (a borrower-funded plan has no `funds`), so it cannot match and
+    // leaves the selection. The header must still declare the field.
+    const declaredMembers = (selection: UdlSelection) => {
+      const members = [selection.instrument].flat();
+      const header = selection.family
+        ? templates.get(
+            `${selection.family.module}.${selection.family.exportPath}`,
+          )
+        : undefined;
+      if (
+        !header ||
+        !entries(asBlock(entries(header.body).get("fields"))).has(
+          selection.reference,
+        )
+      )
+        return members;
+      return members.filter((id) =>
+        resolveField(document, byId.get(id)!, `self.${selection.reference}`),
+      );
+    };
+    // A member whose reference points at another attachment of the anchor's
+    // own template (the plan funding another object's escrow) cannot match
+    // either, so each object only selects what can reference it.
+    const kin = (a: string, b: string) => {
+      const left = byId.get(a);
+      const right = byId.get(b);
+      return (
+        !!left && !!right && declarations.get(left) === declarations.get(right)
+      );
+    };
+    const matchable = (
+      selection: UdlSelection,
+      inst: UdlInstrument,
+      action?: UdlAction,
+    ) =>
+      declaredMembers(selection).filter((id) => {
+        const member = byId.get(id);
+        if (!member) return true;
+        const anchor = resolveField(
+          document,
+          inst,
+          selection.anchor,
+          action?.input,
+          action,
+        );
+        const reference = resolveField(
+          document,
+          member,
+          `self.${selection.reference}`,
+        );
+        if (anchor?.type !== "ref" || reference?.type !== "ref") return true;
+        const targets = [anchor.target].flat();
+        const candidates = [reference.target].flat();
+        return !candidates.every(
+          (candidate) =>
+            !targets.includes(candidate) &&
+            targets.some((target) => kin(target, candidate)),
+        );
+      });
+    // A count over no matchable member is zero.
+    for (const inst of document.instruments)
+      for (const action of Object.values(inst.actions))
+        action.requires = action.requires.map((requirement) =>
+          requirement.kind === "aggregate" &&
+          requirement.measure === "count" &&
+          !matchable(requirement.selection, inst, action).length
+            ? {
+                kind: "compare",
+                left: { literal: 0 },
+                operator: requirement.operator,
+                right: requirement.value,
+              }
+            : requirement,
+        );
     const checkSelection = (
       selection: UdlSelection,
       at: Located,
       scope: Scope,
     ) => {
+      walk(
+        selection.overlaps,
+        "overlaps",
+        site(selection, "overlaps", at),
+        scope,
+      );
       walk(selection.anchor, "anchor", site(selection, "anchor", at), scope);
       walk(selection.where, "where", site(selection, "where", at), scope);
+      const members = matchable(selection, scope.inst, scope.action);
+      if (
+        members.length &&
+        members.length < [selection.instrument].flat().length
+      )
+        selection.instrument = members;
       for (const id of [selection.instrument].flat()) {
         checkTarget(id, site(selection, "instrument", at));
         const target = scopeOf(byId.get(id)!);
@@ -3747,6 +3938,9 @@ export function compile(
         selection.order?.forEach((key, index) =>
           member(key, site(selection.order!, index, at)),
         );
+        if (selection.overlaps)
+          for (const key of ["start", "end"] as const)
+            member(selection.overlaps[key], site(selection.overlaps, key, at));
         if (selection.window)
           member(selection.window.field, site(selection.window, "field", at));
       }
@@ -4052,13 +4246,15 @@ export function compile(
                       ),
                   ),
               );
+            const reaching = stranded.actions.at(-1);
+            const drain = `move ${stranded.accounts.map((account) => `\`self.${account}.balance\``).join(" and ")} out in ${reaching ? `\`${reaching}\`` : "the action that reaches it"}, or add an action from \`${stranded.state}\` that does`;
             return diagnostic(
               {
                 code: i.code,
                 message: `\`${attachment?.name ?? instrument.id}\` can reach \`${stranded.state}\` with money in ${stranded.accounts.map((account) => `\`${account}\``).join(", ")}, but no action leaves that state and disposes of the balance.`,
                 fix: binding
-                  ? `Restore \`${binding.parameter}: ${stranded.state}\`, or author a complete refund path for every reachable funded state.`
-                  : "Author a complete refund path for every reachable funded state.",
+                  ? `Restore \`${binding.parameter}: ${stranded.state}\`, or ${drain}.`
+                  : `${drain[0]!.toUpperCase()}${drain.slice(1)}.`,
                 span: binding?.span ?? origin?.span ?? program.span,
                 related: stranded.accounts.map((account) => ({
                   source: "program",

package/src/examples-bundle.ts

@@ -1,19 +1,19 @@
 // Generated by open/hsx/scripts/bundle-examples.ts. Do not edit by hand.
 import type { HsxExample } from "./examples.ts";
 export const examples: HsxExample[] = [
-  {"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":"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\n// supplier is a business this program declares, so plan needs {\"partyBindings\":{\"supplier\":\"<partyId>\"}}.\n// That partyId is an organization customer's: create the Product from this source without the payment\n// and receipt attachments, add the customer with customer.create, activate its access, open its\n// customer_balance account, then compose this source with the binding.\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\n// agency is a business this program declares, so plan needs {\"partyBindings\":{\"agency\":\"<partyId>\"}}.\n// That partyId is an organization customer's: create the Product from this source without the recovery\n// and contact attachments, add the customer with customer.create, activate its access, open its\n// customer_balance account, then compose this source with the binding.\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, pricing: amortizing, profit_rate: 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":"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, pricing: flat_total, profit_rate: 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\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  // conformance_boundary is the sandbox insurer adapter; swap in the insurer's registered adapter to go live.\n  // Premiums net of commission go to its account. The default broker is the retailer, which keeps the commission.\n  // claim_limit is the sum insured, set per cover at creation.\n  attach protection = insurance.cover {\n    expose create as create_protection\n    holder: owner, adapter: \"conformance_boundary\", 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: operator\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, pricing: amortizing, profit_rate: 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, pricing: flat_total, profit_rate: 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":"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// The renter is one declared business, so this instrument takes no 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":"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, pricing: amortizing, profit_rate: 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":"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, pricing: flat_total, profit_rate: 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"},
 ];

package/src/headers.ts

@@ -11,6 +11,7 @@ export const HEADER_NAMES = [
   "money",
   "marketplace",
   "escrow",
+  "booking",
   "wallet",
   "financing",
   "lending",