@hyperscale0/hsx 5.8.0 → 6.1.0

package/CHANGELOG.md

@@ -1,3 +1,17 @@
+# HSX 6.0.0
+
+Breaking: the `travel` std header is gone, with its `travel.package` and
+`travel.booking` instruments and the travel agency sample. Programs that
+`use travel` no longer compile; build a booking from `escrow.hold` and an
+authored instrument instead. `reporting.portfolio` drops the
+`origination_cohorts` and `bureau_facility` report definitions, which refused
+every request. The compiler no longer declares `programFines` or `programCosts`;
+`late_charge` routes fines and recovery through its `fines_to` and `costs_to`
+party tunables. `account(owner, cash, external)` is an ordinary keyed account
+instead of a refusal. The package stops generating the header and sample
+index pages and the two llms text files; `hsx headers` prints the instrument
+inventory.
+
 # HSX 5.8.0
 
 The checker names misspelled fields, parties and states at the misspelled word,

package/README.md

@@ -21,8 +21,8 @@ Start with the [first program and rental guide](docs/README.md). Save the
 It holds 1,000 SAR, charges a one-time 50 SAR late fee, and returns the remainder.
 The guide explains the fixed business binding and the host needed to execute it.
 
-The [header inventory](docs/headers.md) lists available instruments and tunables.
-The [sample index](docs/examples.md) includes both complete action paths and
+`npx hsx headers` prints every std instrument and its tunables from the bundled
+headers. The [samples](examples/) include both complete action paths and
 compositions that still need child-record actions or adapter bindings. A compile
 pass does not prove that a flow is publicly executable or funded.
 
@@ -56,6 +56,5 @@ Run `bun bin/hsx.ts check examples/rental-deposit.hsx` to use the source CLI.
 
 Edit prose in `docs/README.md`, programs in `examples/`, and header comments in
 `std/`. Run `bun run generate` after changing these inputs. It emits the header
-and example bundles, reference indexes and model-readable files. Do not edit
-`docs/headers.md`, `docs/examples.md`, `llms.txt` or `llms-full.txt` by hand.
+and example bundles.
 `bun run build` also builds the browser playground.

package/bin/hsx.ts

@@ -1,9 +1,4 @@
 #!/usr/bin/env node
-/**
- * The `hsx` executable. Everything it does lives in `runCli`; this file only
- * binds that function to the real filesystem and the real streams.
- */
-
 import { readFile, writeFile } from "node:fs/promises";
 import { runCli } from "../src/cli.ts";
 

package/dist/bin/hsx.d.ts

@@ -1,7 +1,3 @@
 #!/usr/bin/env node
-/**
- * The `hsx` executable. Everything it does lives in `runCli`; this file only
- * binds that function to the real filesystem and the real streams.
- */
 export {};
 //# sourceMappingURL=hsx.d.ts.map

package/dist/bin/hsx.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"hsx.d.ts","sourceRoot":"","sources":["../../bin/hsx.ts"],"names":[],"mappings":";AACA;;;GAGG"}
+{"version":3,"file":"hsx.d.ts","sourceRoot":"","sources":["../../bin/hsx.ts"],"names":[],"mappings":""}

package/dist/bin/hsx.js

@@ -1,8 +1,4 @@
 #!/usr/bin/env node
-/**
- * The `hsx` executable. Everything it does lives in `runCli`; this file only
- * binds that function to the real filesystem and the real streams.
- */
 import { readFile, writeFile } from "node:fs/promises";
 import { runCli } from "../src/cli.js";
 process.exitCode = await runCli(process.argv.slice(2), {

package/dist/bin/hsx.js.map

@@ -1 +1 @@
-{"version":3,"file":"hsx.js","sourceRoot":"","sources":["../../bin/hsx.ts"],"names":[],"mappings":";AACA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAEvC,OAAO,CAAC,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;IACrD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC;IAChD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC;IAChD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAC1C,SAAS,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;CACjE,CAAC,CAAC"}
+{"version":3,"file":"hsx.js","sourceRoot":"","sources":["../../bin/hsx.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAEvC,OAAO,CAAC,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;IACrD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC;IAChD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC;IAChD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAC1C,SAAS,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;CACjE,CAAC,CAAC"}

package/dist/src/attachment-economics.d.ts

@@ -0,0 +1,5 @@
+import { type AttachmentPartyBinding, type UdlDocument, type UdlInstrument } from "@hyperscale0/udl";
+import type { Entry, Expr } from "./ast.ts";
+/** An attachment specializes its own instrument; imported definitions stay generic. */
+export declare function applyAttachmentEconomics(document: UdlDocument, instrument: UdlInstrument, parties: Record<string, AttachmentPartyBinding>, declarations: Entry[], data: (expression: Expr) => unknown): void;
+//# sourceMappingURL=attachment-economics.d.ts.map

package/dist/src/attachment-economics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"attachment-economics.d.ts","sourceRoot":"","sources":["../../src/attachment-economics.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,sBAAsB,EAE3B,KAAK,WAAW,EAChB,KAAK,aAAa,EACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAG5C,uFAAuF;AACvF,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,WAAW,EACrB,UAAU,EAAE,aAAa,EACzB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,EAC/C,YAAY,EAAE,KAAK,EAAE,EACrB,IAAI,EAAE,CAAC,UAAU,EAAE,IAAI,KAAK,OAAO,GAClC,IAAI,CAoFN"}

package/dist/src/attachment-economics.js

@@ -0,0 +1,55 @@
+import { subjectPartyRoles, udlMoveSchema, } from "@hyperscale0/udl";
+import { fail } from "./diagnostics.js";
+/** An attachment specializes its own instrument; imported definitions stay generic. */
+export function applyAttachmentEconomics(document, instrument, parties, declarations, data) {
+    const selected = new Set();
+    for (const declaration of declarations) {
+        const selector = declaration.key.slice("economics ".length);
+        const [actionName, moveKey, extra] = selector.split(".");
+        const action = Object.hasOwn(instrument.actions, actionName)
+            ? instrument.actions[actionName]
+            : undefined;
+        if (!action)
+            fail(declaration, `unknown economics action ${actionName}`, `choose ${instrument.actionOrder.join(", ")}, before its public alias`);
+        const move = moveKey
+            ? action.moves.find((move) => move.key === moveKey)
+            : action.moves.length === 1
+                ? action.moves[0]
+                : undefined;
+        if (!move || extra)
+            fail(declaration, `economics ${selector} must select one money move`, action.moves.length
+                ? `choose ${action.moves.map((move) => `${actionName}.${move.key}`).join(", ")}`
+                : "choose an action that transfers or reserves money");
+        if (move.operation === "internal_transfer.void")
+            fail(declaration, `economics ${selector} cannot classify a void`, "declare the purpose on the reservation or its posting");
+        if (selected.has(move))
+            fail(declaration, `repeated economics for ${selector}`, "declare each money move's purpose once");
+        selected.add(move);
+        const parsed = udlMoveSchema.safeParse({
+            ...move,
+            economics: data(declaration.value),
+        });
+        if (!parsed.success || !parsed.data.economics)
+            fail(declaration, `invalid economics for ${selector}`, "declare purpose and sourceParty using the move economics fields");
+        const economics = parsed.data.economics;
+        if (move.economics &&
+            (move.economics.purpose !== economics.purpose ||
+                move.economics.sourceParty !== economics.sourceParty ||
+                move.economics.reversalOf !== economics.reversalOf))
+            fail(declaration, `economics ${selector} conflicts with the instrument's declared purpose`, "keep the instrument's economics or choose an unclassified move");
+        const source = economics.sourceParty;
+        const role = subjectPartyRoles.includes(source);
+        if (!role && document.parties[source]?.kind !== "business")
+            fail(declaration, `unknown economic source party ${source}`, "bind sourceParty to owner, actor, operator or a declared business");
+        if (!Object.values(parties).some((binding) => "role" in binding ? binding.role === source : binding.party === source)) {
+            let key = "economicSource";
+            for (let index = 2; Object.hasOwn(parties, key); index++)
+                key = `economicSource${index}`;
+            parties[key] = role
+                ? { role: source }
+                : { party: source };
+        }
+        move.economics = economics;
+    }
+}
+//# sourceMappingURL=attachment-economics.js.map

package/dist/src/attachment-economics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attachment-economics.js","sourceRoot":"","sources":["../../src/attachment-economics.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,aAAa,GAKd,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAExC,uFAAuF;AACvF,MAAM,UAAU,wBAAwB,CACtC,QAAqB,EACrB,UAAyB,EACzB,OAA+C,EAC/C,YAAqB,EACrB,IAAmC;IAEnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAC5D,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACzD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,UAAW,CAAC;YAC3D,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,UAAW,CAAC;YACjC,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,CAAC,MAAM;YACT,IAAI,CACF,WAAW,EACX,4BAA4B,UAAU,EAAE,EACxC,UAAU,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B,CACvE,CAAC;QACJ,MAAM,IAAI,GAAG,OAAO;YAClB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,OAAO,CAAC;YACnD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;gBACzB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjB,CAAC,CAAC,SAAS,CAAC;QAChB,IAAI,CAAC,IAAI,IAAI,KAAK;YAChB,IAAI,CACF,WAAW,EACX,aAAa,QAAQ,6BAA6B,EAClD,MAAM,CAAC,KAAK,CAAC,MAAM;gBACjB,CAAC,CAAC,UAAU,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,UAAU,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBAChF,CAAC,CAAC,mDAAmD,CACxD,CAAC;QACJ,IAAI,IAAI,CAAC,SAAS,KAAK,wBAAwB;YAC7C,IAAI,CACF,WAAW,EACX,aAAa,QAAQ,yBAAyB,EAC9C,uDAAuD,CACxD,CAAC;QACJ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YACpB,IAAI,CACF,WAAW,EACX,0BAA0B,QAAQ,EAAE,EACpC,wCAAwC,CACzC,CAAC;QACJ,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC;YACrC,GAAG,IAAI;YACP,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC;SACnC,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS;YAC3C,IAAI,CACF,WAAW,EACX,yBAAyB,QAAQ,EAAE,EACnC,iEAAiE,CAClE,CAAC;QACJ,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;QACxC,IACE,IAAI,CAAC,SAAS;YACd,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,OAAO;gBAC3C,IAAI,CAAC,SAAS,CAAC,WAAW,KAAK,SAAS,CAAC,WAAW;gBACpD,IAAI,CAAC,SAAS,CAAC,UAAU,KAAK,SAAS,CAAC,UAAU,CAAC;YAErD,IAAI,CACF,WAAW,EACX,aAAa,QAAQ,mDAAmD,EACxE,gEAAgE,CACjE,CAAC;QACJ,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC;QACrC,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,CAAC,MAA0B,CAAC,CAAC;QACpE,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,UAAU;YACxD,IAAI,CACF,WAAW,EACX,iCAAiC,MAAM,EAAE,EACzC,mEAAmE,CACpE,CAAC;QACJ,IACE,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CACvC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,MAAM,CACvE,EACD,CAAC;YACD,IAAI,GAAG,GAAG,gBAAgB,CAAC;YAC3B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE;gBACtD,GAAG,GAAG,iBAAiB,KAAK,EAAE,CAAC;YACjC,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI;gBACjB,CAAC,CAAC,EAAE,IAAI,EAAE,MAA0B,EAAE;gBACtC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACxB,CAAC;QACD,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAC7B,CAAC;AACH,CAAC"}

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

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

package/dist/src/compile.js

@@ -5,6 +5,7 @@ import { validateUdl, resolveField, sameObjectField, subjectPartyRoles, RESERVED
 import { bindingDependencies, parameterDiagnostics, BindingContractError, } from "./binding-contract.js";
 import { tunableBounds } from "./tunables.js";
 import { parseProgram } from "./parse.js";
+import { applyAttachmentEconomics } from "./attachment-economics.js";
 import { parseHeader } from "./header-source.js";
 import { lineColAt, } from "./ast.js";
 import { bundledStandardLibrary } from "./std-library.js";
@@ -361,8 +362,6 @@ export function compile(source, options = {}) {
             parties: Object.assign(Object.create(null), {
                 programOperator: { kind: "business", role: "program_operator" },
                 programTax: { kind: "business", role: "tax_payable" },
-                programFines: { kind: "business", role: "fine_payable" },
-                programCosts: { kind: "business", role: "cost_recovery" },
             }),
             objects: [],
             instruments: [],
@@ -1302,8 +1301,6 @@ export function compile(source, options = {}) {
                             f.book = t.args[1] ? text(t.args[1]) : "cash";
                             if (t.args[2]) {
                                 const mode = text(t.args[2]);
-                                if (mode === "external")
-                                    fail(t, "external account mode was removed", "use a reservation and instruction-bound evidence");
                                 if (mode === "contra")
                                     f.contra = true;
                                 else
@@ -2082,6 +2079,8 @@ export function compile(source, options = {}) {
                 inst.actions[name] = a;
                 inst.actionOrder.push(name);
             }
+            if (attachmentInfo && !attachmentInfo.child)
+                applyAttachmentEconomics(document, inst, attachmentInfo.parties, attachmentInfo.economics, data);
             for (const key of [
                 "invariants",
                 "reports",
@@ -2225,9 +2224,13 @@ export function compile(source, options = {}) {
                 const renames = new Map();
                 const renameEntries = new Map();
                 const exposed = new Map();
+                const economics = [];
                 const tunableEntries = [];
                 for (const row of attachmentBlock.entries) {
-                    if (row.key === "rename") {
+                    if (row.key.startsWith("economics ")) {
+                        economics.push(row);
+                    }
+                    else if (row.key === "rename") {
                         for (const r of asBlock(row.value).entries) {
                             if (renames.has(r.key))
                                 fail(r, `duplicate rename ${r.key}`, "rename each subject field once");
@@ -2271,6 +2274,7 @@ export function compile(source, options = {}) {
                         exposed,
                         parties,
                         attachments,
+                        economics,
                     }, templateFamily ? { ...templateFamily } : undefined, standardOrigins.get(template));
                 }
                 catch (error) {
@@ -2891,22 +2895,6 @@ export function compile(source, options = {}) {
                     fail(objects.get(kind.id), `entry action ${name} must create an attachment as actor`, "expose its create action and bind its acting party to actor");
             }
         }
-        const usedParties = new Set();
-        const collectParties = (value) => {
-            if (typeof value === "string") {
-                usedParties.add(value);
-                if (value.startsWith("party."))
-                    usedParties.add(value.split(".")[1]);
-            }
-            else if (Array.isArray(value))
-                value.forEach(collectParties);
-            else if (value && typeof value === "object")
-                Object.values(value).forEach(collectParties);
-        };
-        collectParties(document.instruments);
-        for (const party of ["programFines", "programCosts"])
-            if (!usedParties.has(party) && !names.has(party))
-                delete document.parties[party];
         const validated = validateUdl(document);
         if (!validated.ok)
             return {