@hyperscale0/hsx 1.0.330 → 1.0.334

package/dist/src/catalog-program.d.ts

@@ -0,0 +1,7 @@
+/**
+ * One program that attaches every standard template with bindings the
+ * compiler admits. Each template guide takes its example from here, and
+ * std-headers.spec proves the whole program compiles.
+ */
+export declare const catalogProgramSource = "program catalog \"Template catalog\"\nuse money\nuse escrow\nuse purchase\nuse booking\nuse marketplace\nuse financing\nuse insurance\nuse lending\nuse wallet\nuse cards\nuse collections\nuse savings\nuse reporting\nparty supplier: business\nparty inspector: staff role claim_inspector\nparty investor: business\nobject item \"Item\" {\n attach transfer = money.transfer { payer: actor, payee: owner, amount: 750 SAR }\n attach hold = money.hold { payer: actor, payee: owner, amount: 750 SAR }\n attach split = money.split { payer: actor, amount: 750 SAR }\n attach schedule = money.schedule { payer: actor, payee: owner, amount: 750 SAR, count: 3 }\n attach pool = money.pool { payer: actor, payee: owner, target: 1000 SAR, closes: 2027-01-01 }\n attach swap = money.swap { first: actor, second: owner, first_amount: 100 SAR, second_amount: 200 SAR, expires: 2027-01-01 }\n attach payout = money.payout { payer: actor, payee: owner, adapter: \"conformance_boundary\" }\n attach mandate = money.mandate { payer: actor, payee: owner }\n attach metered = money.metered { payer: actor, payee: owner, unit_price: 10 SAR }\n attach policy = insurance.cover { holder: actor, adapter: \"conformance_boundary\" }\n attach claim = insurance.claim { cover: policy, inspector: inspector }\n attach cov = insurance.cover { holder: actor, broker: supplier, adapter: \"conformance_boundary\", covers: sale }\n attach deposit = escrow.hold { payer: actor, payee: owner }\n attach sale = escrow.hold { funding: { controllers: [checkout], reference: \"funds\", blocking_states: [active] }, payer: actor, payee: owner }\n attach trip = booking.reservation { customer: actor, operator: owner }\n attach limits = financing.limits { borrower: actor, per_borrower: 60000 SAR }\n attach ceiling = financing.portfolio_limit { limit: 1500000 SAR }\n attach checkout = purchase.checkout { plans: plan, funds: sale, borrower: actor, capital: operator }\n attach plan = financing.installments { borrower: actor, capital: operator, months: 3, pricing: flat_total, profit_rate: 2.5%, down_payment: 20%, funds: checkout, limits: limits, portfolio: ceiling }\n attach late = financing.late_charge { on: plan, borrower: actor }\n attach line = financing.credit_line { borrower: operator, adapter: \"conformance_boundary\", limit: 100000 SAR, expires: 2027-01-01 }\n attach advance = financing.advance { line: line }\n attach case = collections.case { on: plan, agency: supplier }\n attach contact = collections.contact { case: case, agency: supplier }\n attach reminder = collections.reminder { on: plan }\n attach wallet = wallet.balance { holder: investor }\n attach spend = wallet.spend { wallet: wallet, payee: supplier, holder: investor }\n attach round = lending.round { borrower: actor, plan: plan, minimum_ticket: 100 SAR, investor_cap: 100% }\n attach commitment = lending.commitment { round: round, wallet: wallet, investor: investor }\n attach distribution = lending.distribution { round: round, receipt: plan.settlement }\n attach cardholder = cards.cardholder { holder: actor }\n attach card = cards.card { holder: cardholder, person: actor, spend_limit: 5000 SAR }\n attach authorization = cards.authorization { card: card, merchant: supplier }\n attach transaction = cards.transaction { authorization: authorization }\n attach dispute = cards.dispute { transaction: transaction }\n attach listing = marketplace.listing { seller: owner }\n attach order = marketplace.order { listing: listing, buyer: actor }\n attach reservation = marketplace.reservation { listing: listing, funds: sale, converters: checkout, buyer: actor, seller: owner }\n attach circle = savings.circle { contribution: 300 SAR, members: 8, starts: 2027-01-01 }\n attach membership = savings.membership { circle: circle, member: actor }\n attach reports = reporting.portfolio { on: plan }\n}";
+//# sourceMappingURL=catalog-program.d.ts.map

package/dist/src/catalog-program.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-program.d.ts","sourceRoot":"","sources":["../../src/catalog-program.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,swHA2D/B,CAAC"}

package/dist/src/catalog-program.js

@@ -0,0 +1,66 @@
+/**
+ * One program that attaches every standard template with bindings the
+ * compiler admits. Each template guide takes its example from here, and
+ * std-headers.spec proves the whole program compiles.
+ */
+export const catalogProgramSource = `program catalog "Template catalog"
+use money
+use escrow
+use purchase
+use booking
+use marketplace
+use financing
+use insurance
+use lending
+use wallet
+use cards
+use collections
+use savings
+use reporting
+party supplier: business
+party inspector: staff role claim_inspector
+party investor: business
+object item "Item" {
+ attach transfer = money.transfer { payer: actor, payee: owner, amount: 750 SAR }
+ attach hold = money.hold { payer: actor, payee: owner, amount: 750 SAR }
+ attach split = money.split { payer: actor, amount: 750 SAR }
+ attach schedule = money.schedule { payer: actor, payee: owner, amount: 750 SAR, count: 3 }
+ attach pool = money.pool { payer: actor, payee: owner, target: 1000 SAR, closes: 2027-01-01 }
+ attach swap = money.swap { first: actor, second: owner, first_amount: 100 SAR, second_amount: 200 SAR, expires: 2027-01-01 }
+ 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 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 }
+ attach deposit = escrow.hold { payer: actor, payee: owner }
+ attach sale = escrow.hold { funding: { controllers: [checkout], reference: "funds", blocking_states: [active] }, payer: actor, payee: owner }
+ attach trip = booking.reservation { customer: actor, operator: owner }
+ attach limits = financing.limits { borrower: actor, per_borrower: 60000 SAR }
+ attach ceiling = financing.portfolio_limit { limit: 1500000 SAR }
+ attach checkout = purchase.checkout { plans: plan, funds: sale, borrower: actor, capital: operator }
+ attach plan = financing.installments { borrower: actor, capital: operator, months: 3, pricing: flat_total, profit_rate: 2.5%, down_payment: 20%, funds: checkout, limits: limits, portfolio: ceiling }
+ attach late = financing.late_charge { on: plan, borrower: actor }
+ attach line = financing.credit_line { borrower: operator, adapter: "conformance_boundary", limit: 100000 SAR, expires: 2027-01-01 }
+ attach advance = financing.advance { line: line }
+ attach case = collections.case { on: plan, agency: supplier }
+ attach contact = collections.contact { case: case, agency: supplier }
+ attach reminder = collections.reminder { on: plan }
+ attach wallet = wallet.balance { holder: investor }
+ attach spend = wallet.spend { wallet: wallet, payee: supplier, holder: investor }
+ attach round = lending.round { borrower: actor, plan: plan, minimum_ticket: 100 SAR, investor_cap: 100% }
+ attach commitment = lending.commitment { round: round, wallet: wallet, investor: investor }
+ attach distribution = lending.distribution { round: round, receipt: plan.settlement }
+ attach cardholder = cards.cardholder { holder: actor }
+ attach card = cards.card { holder: cardholder, person: actor, spend_limit: 5000 SAR }
+ attach authorization = cards.authorization { card: card, merchant: supplier }
+ attach transaction = cards.transaction { authorization: authorization }
+ attach dispute = cards.dispute { transaction: transaction }
+ attach listing = marketplace.listing { seller: owner }
+ attach order = marketplace.order { listing: listing, buyer: actor }
+ attach reservation = marketplace.reservation { listing: listing, funds: sale, converters: checkout, buyer: actor, seller: owner }
+ attach circle = savings.circle { contribution: 300 SAR, members: 8, starts: 2027-01-01 }
+ attach membership = savings.membership { circle: circle, member: actor }
+ attach reports = reporting.portfolio { on: plan }
+}`;
+//# sourceMappingURL=catalog-program.js.map

package/dist/src/catalog-program.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-program.js","sourceRoot":"","sources":["../../src/catalog-program.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA2DlC,CAAC"}

package/dist/src/index.d.ts

@@ -7,4 +7,5 @@ export { bundledStandardLibrary, type StandardLibrary } from "./std-library.ts";
 export { buildUdlCostManifest, type UdlCostManifest } from "./cost.ts";
 export type { Program, Decl, AssignmentDecl, ObjectDecl, InstrumentDecl, Expr, Span, Diagnostic, } from "./ast.ts";
 export { headerManifest, HEADER_NAMES } from "./headers.ts";
+export { templateGuide, templateIndex, type TemplateGuide, type TemplateIndexEntry, } from "./template-guide.ts";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,qBAAqB,EAC1B,KAAK,oBAAoB,GAC1B,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,sBAAsB,EAAE,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AACvE,YAAY,EACV,OAAO,EACP,IAAI,EACJ,cAAc,EACd,UAAU,EACV,cAAc,EACd,IAAI,EACJ,IAAI,EACJ,UAAU,GACX,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,qBAAqB,EAC1B,KAAK,oBAAoB,GAC1B,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,sBAAsB,EAAE,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AACvE,YAAY,EACV,OAAO,EACP,IAAI,EACJ,cAAc,EACd,UAAU,EACV,cAAc,EACd,IAAI,EACJ,IAAI,EACJ,UAAU,GACX,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EACL,aAAa,EACb,aAAa,EACb,KAAK,aAAa,EAClB,KAAK,kBAAkB,GACxB,MAAM,qBAAqB,CAAC"}

package/dist/src/index.js

@@ -5,4 +5,5 @@ export { format } from "./format.js";
 export { bundledStandardLibrary } from "./std-library.js";
 export { buildUdlCostManifest } from "./cost.js";
 export { headerManifest, HEADER_NAMES } from "./headers.js";
+export { templateGuide, templateIndex, } from "./template-guide.js";
 //# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,GAMR,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,sBAAsB,EAAwB,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAwB,MAAM,WAAW,CAAC;AAYvE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,GAMR,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,sBAAsB,EAAwB,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAwB,MAAM,WAAW,CAAC;AAYvE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EACL,aAAa,EACb,aAAa,GAGd,MAAM,qBAAqB,CAAC"}

package/dist/src/template-guide.d.ts

@@ -0,0 +1,57 @@
+import { type CompileOptions } from "./compile.ts";
+import { type StandardLibrary } from "./std-library.ts";
+export interface TemplateIndexEntry {
+    qualifiedName: string;
+    summary: string;
+    parties: string[];
+}
+export interface TemplateGuideAction {
+    name: string;
+    runBy: string;
+    from?: string;
+    to?: string;
+    due?: string;
+    deadline?: string;
+    requires?: string[];
+    moves?: string[];
+    invokes?: string[];
+    when?: string;
+}
+export interface TemplateGuide {
+    qualifiedName: string;
+    summary: string;
+    signature: string;
+    use: string;
+    states: string[];
+    tunables: Array<{
+        name: string;
+        type: string;
+        required: boolean;
+        default?: string;
+        meaning: string;
+    }>;
+    createInput: Array<{
+        name: string;
+        type: string;
+    }>;
+    subject: Array<{
+        name: string;
+        type: string;
+    }>;
+    actions: TemplateGuideAction[];
+    example: string;
+    notes: string[];
+}
+/** One line per template, small enough to read whole. */
+export declare function templateIndex(library?: StandardLibrary): TemplateIndexEntry[];
+/**
+ * Everything an author needs for one template, spelled from its std
+ * declaration and proved by compiling its example. Undefined when the
+ * catalog has no such template.
+ */
+export declare function templateGuide(qualifiedName: string, options?: GuideOptions): TemplateGuide | undefined;
+type GuideOptions = Pick<CompileOptions, "adapterRegistry"> & {
+    library?: StandardLibrary;
+};
+export {};
+//# sourceMappingURL=template-guide.d.ts.map

package/dist/src/template-guide.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"template-guide.d.ts","sourceRoot":"","sources":["../../src/template-guide.ts"],"names":[],"mappings":"AAEA,OAAO,EAAW,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAI5D,OAAO,EAA0B,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEhF,MAAM,WAAW,kBAAkB;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,aAAa;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,EAAE,KAAK,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,OAAO,CAAC;QAClB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC,CAAC;IACH,WAAW,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACnD,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,OAAO,EAAE,mBAAmB,EAAE,CAAC;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AASD,yDAAyD;AACzD,wBAAgB,aAAa,CAC3B,OAAO,GAAE,eAAwC,GAChD,kBAAkB,EAAE,CAQtB;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,aAAa,EAAE,MAAM,EACrB,OAAO,GAAE,YAAiB,GACzB,aAAa,GAAG,SAAS,CAgE3B;AAoYD,KAAK,YAAY,GAAG,IAAI,CAAC,cAAc,EAAE,iBAAiB,CAAC,GAAG;IAC5D,OAAO,CAAC,EAAE,eAAe,CAAC;CAC3B,CAAC"}

package/dist/src/template-guide.js

@@ -0,0 +1,421 @@
+import { catalogProgramSource } from "./catalog-program.js";
+import { compile } from "./compile.js";
+import { parseHeader } from "./header-source.js";
+import { headerManifest, HEADER_NAMES } from "./headers.js";
+import { parseProgram } from "./parse.js";
+import { bundledStandardLibrary } from "./std-library.js";
+// How to read runBy, the same for every template.
+const RUN_BY_NOTE = "runBy names who runs each action: a party is whoever the attach binds to it (owner, actor, operator or a declared business), clock is the platform when the action falls due, parent runs only inside its parent record's action, and caller is anyone the exposed action admits.";
+const SUBJECT_NOTE = "subject names fields the attached object must carry, or rename to with rename { field: yourField }, before the actions that read them can run.";
+/** One line per template, small enough to read whole. */
+export function templateIndex(library = bundledStandardLibrary) {
+    return headerManifest(library).headers.flatMap((header) => header.objects.map((object) => ({
+        qualifiedName: object.qualifiedName,
+        summary: object.summary,
+        parties: object.parties,
+    })));
+}
+/**
+ * Everything an author needs for one template, spelled from its std
+ * declaration and proved by compiling its example. Undefined when the
+ * catalog has no such template.
+ */
+export function templateGuide(qualifiedName, options = {}) {
+    const library = options.library ?? bundledStandardLibrary;
+    const [header, name, extra] = qualifiedName.split(".");
+    if (!header || !name || extra !== undefined)
+        return undefined;
+    if (!HEADER_NAMES.includes(header))
+        return undefined;
+    const source = library.source(header);
+    if (!source)
+        return undefined;
+    const manifest = headerManifest(library, [header]).headers[0].objects.find((object) => object.name === name);
+    const decl = parseHeader(source, header).decls.find((d) => d.kind === "instrument" && d.name === name);
+    if (!manifest || !decl)
+        return undefined;
+    const spell = (expression) => source
+        .slice(expression.span.start, expression.span.end)
+        .trim()
+        .replace(/\s+/g, " ");
+    const actions = guideActions(decl.body, spell);
+    // Compile once bare, then expose each root action a party or caller runs
+    // that these bindings keep, and compile again to prove the example.
+    const example = exampleProgram(qualifiedName, library);
+    const bare = compiledAttachment(example.render([]), example.attachment, options);
+    const exposes = actions
+        .filter((action) => !action.name.includes(".") &&
+        !["clock", "parent"].includes(action.runBy) &&
+        bare.actions[action.name])
+        .map((action) => `expose ${action.name}`);
+    const program = example.render(exposes);
+    const create = compiledAttachment(program, example.attachment, options)
+        .actions.create;
+    return {
+        qualifiedName,
+        summary: manifest.summary,
+        signature: manifest.signature,
+        use: `use ${header}`,
+        states: manifest.states,
+        tunables: manifest.tunables.map((tunable) => ({
+            name: tunable.name,
+            type: tunable.type,
+            required: tunable.required,
+            ...(tunable.default ? { default: tunable.default } : {}),
+            meaning: tunable.type === "party" || tunable.type === "party?"
+                ? partyMeaning(tunable.name, actions)
+                : valueMeaning(tunable.name, tunable.default, decl, spell),
+        })),
+        createInput: (create?.input ?? []).map((field) => ({
+            name: field.name,
+            type: inputType(field),
+        })),
+        subject: manifest.subject,
+        actions,
+        example: program,
+        notes: [RUN_BY_NOTE, ...(manifest.subject.length ? [SUBJECT_NOTE] : [])],
+    };
+}
+function slot(block, key) {
+    return block.entries.find((entry) => entry.key === key)?.value;
+}
+/**
+ * The parser desugars `requires` and `moves` into blocks without source
+ * spans, so each clause is spelled from the slot's own source text.
+ */
+function clauses(action, key, spell) {
+    return action.entries
+        .filter((entry) => entry.key === key)
+        .flatMap((entry) => spell(entry.value)
+        .split(new RegExp(`(?:^|[;,]?\\s+)${key}\\s+`))
+        .map((clause) => clause.trim().replace(/[;,]$/, ""))
+        .filter(Boolean));
+}
+function items(expression) {
+    if (!expression)
+        return [];
+    return expression.kind === "list" ? expression.items : [expression];
+}
+/** Root actions first, then each record's, prefixed with the record name. */
+function guideActions(body, spell, prefix = "", parentActions = []) {
+    const result = [];
+    for (const entry of body.entries) {
+        if (!entry.key.startsWith("action ") || entry.value.kind !== "block")
+            continue;
+        const action = entry.value;
+        const actor = slot(action, "actor");
+        const party = actor?.kind === "block" ? slot(actor, "party") : undefined;
+        const parent = actor?.kind === "block" ? slot(actor, "parent") : undefined;
+        const runBy = !actor
+            ? "caller"
+            : party
+                ? spell(party)
+                : parent
+                    ? "parent"
+                    : spell(actor);
+        const at = (key) => {
+            const value = slot(action, key);
+            if (value?.kind !== "block")
+                return value ? spell(value) : undefined;
+            const instant = slot(value, "at");
+            const offset = slot(value, "offset");
+            if (!instant)
+                return spell(value);
+            return offset ? `${spell(instant)} + ${spell(offset)}` : spell(instant);
+        };
+        const due = at("due");
+        const deadline = at("deadline");
+        const requires = clauses(action, "requires", spell);
+        const moves = clauses(action, "moves", spell);
+        const invokes = items(slot(action, "invoke")).flatMap((item) => item.kind === "block" ? [invocation(item, spell, prefix)] : []);
+        const from = slot(action, "from");
+        const to = slot(action, "to");
+        const guide = {
+            name: prefix + entry.key.slice(7),
+            runBy,
+            ...(from ? { from: spell(from) } : {}),
+            ...(to ? { to: spell(to) } : {}),
+            ...(due ? { due } : {}),
+            ...(deadline ? { deadline } : {}),
+            ...(requires.length ? { requires } : {}),
+            ...(moves.length ? { moves } : {}),
+            ...(invokes.length ? { invokes } : {}),
+        };
+        const when = timing(guide, parentActions);
+        result.push(when ? { ...guide, when } : guide);
+    }
+    const records = slot(body, "records");
+    if (records?.kind === "block")
+        for (const record of records.entries)
+            if (record.value.kind === "block")
+                result.push(...guideActions(record.value, spell, `${prefix}${record.key}.`, prefix ? parentActions : result));
+    return result;
+}
+function invocation(block, spell, prefix) {
+    const instrument = slot(block, "instrument");
+    const action = slot(block, "action");
+    const target = `${instrument ? `${prefix}${spell(instrument)}.` : ""}${action ? spell(action) : "?"}`;
+    const range = slot(block, "range");
+    const count = range?.kind === "block" ? slot(range, "count") : undefined;
+    const literal = count?.kind === "block" ? (slot(count, "literal") ?? count) : count;
+    const selection = slot(block, "selection");
+    const selected = selection?.kind === "block" ? slot(selection, "instrument") : undefined;
+    return literal
+        ? `${target}, ${spell(literal)} times`
+        : selected
+            ? `${target} on each matching ${spell(selected)}`
+            : target;
+}
+/**
+ * The runtime's timing rules, applied to one action: a clock action that
+ * needs a record in another state waits, and the action that moves the
+ * record there collects it in the same request (docs/public/runtime.md).
+ */
+function timing(action, parentActions) {
+    if (action.runBy === "clock" && action.due) {
+        const waits = (action.requires ?? []).flatMap((requirement) => {
+            const match = requirement.match(/^self\.\w+ in \[([^\]]+)\]$/);
+            return match ? [{ requirement, states: match[1].split(/,\s*/) }] : [];
+        });
+        const openers = parentActions
+            .filter((parent) => waits.some((wait) => wait.states.includes(parent.to ?? "")))
+            .map((parent) => parent.name);
+        return [
+            `The clock runs it at ${action.due}.`,
+            ...waits.map((wait) => `While ${wait.requirement} does not hold, it waits.`),
+            ...(openers.length
+                ? [
+                    `${openers.join(" or ")} collects every one already due in the same request.`,
+                ]
+                : []),
+        ].join(" ");
+    }
+    const parts = [
+        ...(action.due
+            ? [`Runnable from ${action.due}; ${action.runBy} still runs it.`]
+            : []),
+        ...(action.deadline ? [`Refused after ${action.deadline}.`] : []),
+    ];
+    return parts.length ? parts.join(" ") : undefined;
+}
+function partyMeaning(name, actions) {
+    const runs = actions.filter((action) => action.runBy === name);
+    const pays = actions.filter((action) => action.moves?.some((move) => new RegExp(`\\bfrom ${name}\\b`).test(move)));
+    const receives = actions.filter((action) => action.moves?.some((move) => new RegExp(`\\bto ${name}\\b`).test(move)));
+    const names = (list) => list.map((action) => action.name).join(", ");
+    const parts = [
+        ...(runs.length ? [`Runs ${names(runs)}.`] : []),
+        ...(pays.length ? [`Pays in ${names(pays)}.`] : []),
+        ...(receives.length ? [`Receives in ${names(receives)}.`] : []),
+    ];
+    return parts.length
+        ? parts.join(" ")
+        : "Named by the template; runs no action and moves no money itself.";
+}
+/**
+ * A value tunable's meaning is where it lands: the fields it sets and every
+ * field or action that reads those fields, spelled as the std writes them.
+ */
+function valueMeaning(name, fallback, decl, spell) {
+    const bare = new RegExp(`(?<![\\w.])${name}(?!\\w)`);
+    const fields = slot(decl.body, "fields");
+    const set = fields?.kind === "block"
+        ? fields.entries.filter((entry) => bare.test(fieldValue(entry, spell)))
+        : [];
+    const read = new Set(set.map((entry) => entry.key));
+    const uses = [];
+    const visit = (body, prefix, parentRefs) => {
+        const own = slot(body, "fields");
+        const reads = (text) => bare.test(text) ||
+            [...read].some((field) => prefix
+                ? parentRefs.some((ref) => new RegExp(`\\bself\\.${ref}\\.${field}\\b`).test(text))
+                : new RegExp(`\\bself\\.${field}\\b`).test(text));
+        if (own?.kind === "block" && prefix)
+            for (const entry of own.entries) {
+                const value = fieldValue(entry, spell);
+                if (reads(value))
+                    uses.push(`${prefix}${entry.key}: ${value}`);
+            }
+        for (const entry of body.entries) {
+            if (!entry.key.startsWith("action ") || entry.value.kind !== "block")
+                continue;
+            for (const part of entry.value.entries) {
+                if (["actor", "from", "to", "summary"].includes(part.key))
+                    continue;
+                const text = spell(part.value);
+                // A long slot, such as an invoke list, is named rather than spelled.
+                if (reads(text))
+                    uses.push(`${prefix}${entry.key.slice(7)} ${part.key}${text.length > 100 ? "" : `: ${text}`}`);
+            }
+        }
+        const records = slot(body, "records");
+        if (records?.kind === "block")
+            for (const record of records.entries) {
+                if (record.value.kind !== "block")
+                    continue;
+                const recordFields = slot(record.value, "fields");
+                const refs = recordFields?.kind === "block"
+                    ? recordFields.entries
+                        .filter((entry) => /^ref<parent>/.test(fieldValue(entry, spell)))
+                        .map((entry) => entry.key)
+                    : [];
+                visit(record.value, `${prefix}${record.key}.`, refs);
+            }
+    };
+    visit(decl.body, "", []);
+    const parts = [
+        ...(fallback === "runtime"
+            ? [
+                `Leave it out of the attach and create takes ${name} for each record, or bind one fixed value.`,
+            ]
+            : []),
+        ...(set.length
+            ? [
+                `Sets ${set.map((entry) => `${entry.key}: ${fieldValue(entry, spell)}`).join(", ")}.`,
+            ]
+            : []),
+        ...(uses.length ? [`Read by ${uses.slice(0, 6).join("; ")}.`] : []),
+    ];
+    return parts.length ? parts.join(" ") : "Configures the template.";
+}
+function fieldValue(entry, spell) {
+    return entry.value.kind === "default"
+        ? `${spell(entry.value.type)} = ${spell(entry.value.value)}`
+        : spell(entry.value);
+}
+/**
+ * The template's attach from the catalog program, with every attach it names
+ * and the parties and headers those need.
+ */
+function exampleProgram(qualifiedName, library) {
+    const program = parseProgram(catalogProgramSource).program;
+    const object = program.decls.find((decl) => decl.kind === "object");
+    if (object?.kind !== "object")
+        throw new Error("catalog program has no object");
+    const attaches = object.body.entries.flatMap((entry) => {
+        const match = entry.key.match(/^attach (\w+) = (\w+)\.(\w+)$/);
+        return match
+            ? [
+                {
+                    entry,
+                    name: match[1],
+                    header: match[2],
+                    template: `${match[2]}.${match[3]}`,
+                },
+            ]
+            : [];
+    });
+    const target = attaches.find((attach) => attach.template === qualifiedName);
+    if (!target)
+        throw new Error(`catalog program does not attach ${qualifiedName}`);
+    const referenced = (expression) => {
+        if (expression.kind === "name")
+            return [expression.value.split(".")[0]];
+        if (expression.kind === "list")
+            return expression.items.flatMap(referenced);
+        if (expression.kind === "block")
+            return expression.entries.flatMap((entry) => referenced(entry.value));
+        return [];
+    };
+    // A parameter that defaults to object(header.template) binds the sibling
+    // attach of that template, so the example carries that attach too.
+    const templates = new Map(headerManifest(library).headers.flatMap((header) => header.objects.map((object) => [object.qualifiedName, object])));
+    const siblings = (template) => (templates.get(template)?.tunables ?? []).flatMap((tunable) => {
+        const match = tunable.default?.match(/^object\((\w+\.\w+)\)$/);
+        const sibling = match
+            ? attaches.find((attach) => attach.template === match[1])
+            : undefined;
+        return sibling ? [sibling.name] : [];
+    });
+    const names = new Set();
+    const include = (name) => {
+        if (names.has(name))
+            return;
+        const attach = attaches.find((candidate) => candidate.name === name);
+        if (!attach)
+            return;
+        names.add(name);
+        [...referenced(attach.entry.value), ...siblings(attach.template)].forEach(include);
+    };
+    include(target.name);
+    const included = attaches.filter((attach) => names.has(attach.name));
+    const used = new Set(included.flatMap((attach) => referenced(attach.entry.value)));
+    const text = (span) => catalogProgramSource.slice(span.start, span.end).trim();
+    return {
+        attachment: target.name,
+        render: (exposes) => [
+            `program example "${qualifiedName} example"`,
+            ...new Set(included.map((attach) => `use ${attach.header}`)),
+            ...program.decls.flatMap((decl) => decl.kind === "party" && used.has(decl.name) ? [text(decl.span)] : []),
+            `object item "Item" {`,
+            ...included.map((attach) => {
+                const line = text(attach.entry.span);
+                return wrapAttach(attach === target && exposes.length
+                    ? line.replace(/\s*\}$/, `, ${exposes.join(", ")} }`)
+                    : line);
+            }),
+            "}",
+        ].join("\n"),
+    };
+}
+/** An attach line within 76 columns, else one binding per line. */
+function wrapAttach(line) {
+    if (line.length <= 74)
+        return `  ${line}`;
+    const open = line.indexOf("{");
+    const items = [];
+    let depth = 0;
+    let quoted = false;
+    let start = open + 1;
+    for (let index = start; index < line.length - 1; index++) {
+        const char = line[index];
+        if (char === '"')
+            quoted = !quoted;
+        if (quoted)
+            continue;
+        if ("{[(".includes(char))
+            depth++;
+        if ("}])".includes(char))
+            depth--;
+        if (char === "," && depth === 0) {
+            items.push(line.slice(start, index).trim());
+            start = index + 1;
+        }
+    }
+    items.push(line.slice(start, line.lastIndexOf("}")).trim());
+    return [
+        `  ${line.slice(0, open + 1)}`,
+        ...items.map((item) => `    ${item},`),
+        "  }",
+    ].join("\n");
+}
+/** The example's compiled root instrument, or the compiler's refusal. */
+function compiledAttachment(source, attachment, options) {
+    const result = compile(source, {
+        ...(options.library ? { standardLibrary: options.library } : {}),
+        ...(options.adapterRegistry
+            ? { adapterRegistry: options.adapterRegistry }
+            : {}),
+    });
+    const document = result.artifacts?.document;
+    if (!document)
+        throw new Error(`${attachment} example does not compile: ${result.diagnostics.map((d) => d.message).join("; ")}`);
+    const instrumentId = document.objects
+        .flatMap((object) => object.attachments)
+        .find((candidate) => candidate.name === attachment)?.instrument;
+    const instrument = document.instruments.find((candidate) => candidate.id === instrumentId);
+    if (!instrument)
+        throw new Error(`${attachment} example has no instrument`);
+    return instrument;
+}
+function inputType(field) {
+    const type = String(field.type);
+    if (type === "list")
+        return `list of ${String(field.item)}${field.maxItems === undefined ? "" : `, at most ${String(field.maxItems)}`}`;
+    if (type === "ref" && field.target)
+        return `ref to ${String(field.target)}`;
+    if (type === "enum" && Array.isArray(field.values))
+        return `one of ${field.values.join(", ")}`;
+    return type;
+}
+//# sourceMappingURL=template-guide.js.map

package/dist/src/template-guide.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"template-guide.js","sourceRoot":"","sources":["../../src/template-guide.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAuB,MAAM,cAAc,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,sBAAsB,EAAwB,MAAM,kBAAkB,CAAC;AAyChF,kDAAkD;AAClD,MAAM,WAAW,GACf,mRAAmR,CAAC;AAEtR,MAAM,YAAY,GAChB,gJAAgJ,CAAC;AAEnJ,yDAAyD;AACzD,MAAM,UAAU,aAAa,CAC3B,OAAO,GAAoB,sBAAsB;IAEjD,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACxD,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC9B,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAC,CAAC,CACJ,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,aAAqB,EACrB,OAAO,GAAiB,EAAE;IAE1B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,sBAAsB,CAAC;IAC1D,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9D,IAAI,CAAE,YAAkC,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5E,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,IAAI,CACzE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CACjC,CAAC;IACF,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CACjD,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CACvE,CAAC;IACF,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,KAAK,GAAG,CAAC,UAAgB,EAAE,EAAE,CACjC,MAAM;SACH,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC;SACjD,IAAI,EAAE;SACN,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC1B,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/C,yEAAyE;IACzE,oEAAoE;IACpE,MAAM,OAAO,GAAG,cAAc,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,kBAAkB,CAC7B,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAClB,OAAO,CAAC,UAAU,EAClB,OAAO,CACR,CAAC;IACF,MAAM,OAAO,GAAG,OAAO;SACpB,MAAM,CACL,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAC1B,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;QAC3C,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAC5B;SACA,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC;SACpE,OAAO,CAAC,MAAM,CAAC;IAClB,OAAO;QACL,aAAa;QACb,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,GAAG,EAAE,OAAO,MAAM,EAAE;QACpB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC5C,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,OAAO,EACL,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;gBACnD,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;gBACrC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC;SAC/D,CAAC,CAAC;QACH,WAAW,EAAE,CAAC,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACjD,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,SAAS,CAAC,KAA2C,CAAC;SAC7D,CAAC,CAAC;QACH,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,OAAO;QACP,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;KACzE,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,KAAgB,EAAE,GAAW;IACzC,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC;AACjE,CAAC;AAED;;;GAGG;AACH,SAAS,OAAO,CACd,MAAiB,EACjB,GAAyB,EACzB,KAAmC;IAEnC,OAAO,MAAM,CAAC,OAAO;SAClB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC;SACpC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACjB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;SACf,KAAK,CAAC,IAAI,MAAM,CAAC,kBAAkB,GAAG,MAAM,CAAC,CAAC;SAC9C,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;SACnD,MAAM,CAAC,OAAO,CAAC,CACnB,CAAC;AACN,CAAC;AAED,SAAS,KAAK,CAAC,UAA4B;IACzC,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC3B,OAAO,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;AACtE,CAAC;AAED,6EAA6E;AAC7E,SAAS,YAAY,CACnB,IAAe,EACf,KAAmC,EACnC,MAAM,GAAG,EAAE,EACX,aAAa,GAA0B,EAAE;IAEzC,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;YAClE,SAAS;QACX,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,KAAK,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,MAAM,MAAM,GAAG,KAAK,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,MAAM,KAAK,GAAG,CAAC,KAAK;YAClB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,KAAK;gBACL,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;gBACd,CAAC,CAAC,MAAM;oBACN,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,CAAC,GAAW,EAAE,EAAE;YACzB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAChC,IAAI,KAAK,EAAE,IAAI,KAAK,OAAO;gBAAE,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACrE,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YACrC,IAAI,CAAC,OAAO;gBAAE,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC;YAClC,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC1E,CAAC,CAAC;QACF,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QACtB,MAAM,QAAQ,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7D,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAC/D,CAAC;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAwB;YACjC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YACjC,KAAK;YACL,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvB,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvC,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACtC,IAAI,OAAO,EAAE,IAAI,KAAK,OAAO;QAC3B,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO;YAClC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;gBAC/B,MAAM,CAAC,IAAI,CACT,GAAG,YAAY,CACb,MAAM,CAAC,KAAK,EACZ,KAAK,EACL,GAAG,MAAM,GAAG,MAAM,CAAC,GAAG,GAAG,EACzB,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAChC,CACF,CAAC;IACR,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,UAAU,CACjB,KAAgB,EAChB,KAAmC,EACnC,MAAc;IAEd,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACtG,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,KAAK,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzE,MAAM,OAAO,GACX,KAAK,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACtE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC3C,MAAM,QAAQ,GACZ,SAAS,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1E,OAAO,OAAO;QACZ,CAAC,CAAC,GAAG,MAAM,KAAK,KAAK,CAAC,OAAO,CAAC,QAAQ;QACtC,CAAC,CAAC,QAAQ;YACR,CAAC,CAAC,GAAG,MAAM,qBAAqB,KAAK,CAAC,QAAQ,CAAC,EAAE;YACjD,CAAC,CAAC,MAAM,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,MAAM,CACb,MAA2B,EAC3B,aAAoC;IAEpC,IAAI,MAAM,CAAC,KAAK,KAAK,OAAO,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE;YAC5D,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;YAC/D,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,CAAC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,aAAa;aAC1B,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CACjB,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAC5D;aACA,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAChC,OAAO;YACL,wBAAwB,MAAM,CAAC,GAAG,GAAG;YACrC,GAAG,KAAK,CAAC,GAAG,CACV,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,CAAC,WAAW,2BAA2B,CAC/D;YACD,GAAG,CAAC,OAAO,CAAC,MAAM;gBAChB,CAAC,CAAC;oBACE,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,sDAAsD;iBAC9E;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG;QACZ,GAAG,CAAC,MAAM,CAAC,GAAG;YACZ,CAAC,CAAC,CAAC,iBAAiB,MAAM,CAAC,GAAG,KAAK,MAAM,CAAC,KAAK,iBAAiB,CAAC;YACjE,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,iBAAiB,MAAM,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAClE,CAAC;IACF,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACpD,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,OAA8B;IAChE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CACrC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,WAAW,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAC1E,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CACzC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CACxE,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAA2B,EAAE,EAAE,CAC5C,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG;QACZ,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChD,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,eAAe,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAChE,CAAC;IACF,OAAO,KAAK,CAAC,MAAM;QACjB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;QACjB,CAAC,CAAC,kEAAkE,CAAC;AACzE,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CACnB,IAAY,EACZ,QAA4B,EAC5B,IAAoB,EACpB,KAAmC;IAEnC,MAAM,IAAI,GAAG,IAAI,MAAM,CAAC,cAAc,IAAI,SAAS,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzC,MAAM,GAAG,GACP,MAAM,EAAE,IAAI,KAAK,OAAO;QACtB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACvE,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,CAAC,IAAe,EAAE,MAAc,EAAE,UAAoB,EAAE,EAAE;QACtE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAC7B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACf,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACvB,MAAM;gBACJ,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CACtB,IAAI,MAAM,CAAC,aAAa,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACxD;gBACH,CAAC,CAAC,IAAI,MAAM,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACnD,CAAC;QACJ,IAAI,GAAG,EAAE,IAAI,KAAK,OAAO,IAAI,MAAM;YACjC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;gBAChC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACvC,IAAI,KAAK,CAAC,KAAK,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC,GAAG,KAAK,KAAK,EAAE,CAAC,CAAC;YACjE,CAAC;QACH,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;gBAClE,SAAS;YACX,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;gBACvC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACpE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC/B,qEAAqE;gBACrE,IAAI,KAAK,CAAC,IAAI,CAAC;oBACb,IAAI,CAAC,IAAI,CACP,GAAG,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,EAAE,CACpF,CAAC;YACN,CAAC;QACH,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACtC,IAAI,OAAO,EAAE,IAAI,KAAK,OAAO;YAC3B,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;gBACrC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;oBAAE,SAAS;gBAC5C,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;gBAClD,MAAM,IAAI,GACR,YAAY,EAAE,IAAI,KAAK,OAAO;oBAC5B,CAAC,CAAC,YAAY,CAAC,OAAO;yBACjB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAChB,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAC9C;yBACA,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC;oBAC9B,CAAC,CAAC,EAAE,CAAC;gBACT,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,GAAG,MAAM,CAAC,GAAG,GAAG,EAAE,IAAI,CAAC,CAAC;YACvD,CAAC;IACL,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACzB,MAAM,KAAK,GAAG;QACZ,GAAG,CAAC,QAAQ,KAAK,SAAS;YACxB,CAAC,CAAC;gBACE,+CAA+C,IAAI,4CAA4C;aAChG;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,GAAG,CAAC,MAAM;YACZ,CAAC,CAAC;gBACE,QAAQ,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;aACtF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC;IACF,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC;AACrE,CAAC;AAED,SAAS,UAAU,CAAC,KAAY,EAAE,KAAmC;IACnE,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;QACnC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE;QAC5D,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACzB,CAAC;AAOD;;;GAGG;AACH,SAAS,cAAc,CACrB,aAAqB,EACrB,OAAwB;IAExB,MAAM,OAAO,GAAG,YAAY,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC;IAC3D,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACpE,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ;QAC3B,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACrD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;QAC/D,OAAO,KAAK;YACV,CAAC,CAAC;gBACE;oBACE,KAAK;oBACL,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE;oBACf,MAAM,EAAE,KAAK,CAAC,CAAC,CAAE;oBACjB,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE;iBACpC;aACF;YACH,CAAC,CAAC,EAAE,CAAC;IACT,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,aAAa,CAAC,CAAC;IAC5E,IAAI,CAAC,MAAM;QACT,MAAM,IAAI,KAAK,CAAC,mCAAmC,aAAa,EAAE,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,CAAC,UAAgB,EAAY,EAAE;QAChD,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACzE,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC5E,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO;YAC7B,OAAO,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACxE,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IACF,yEAAyE;IACzE,mEAAmE;IACnE,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,cAAc,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACjD,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAU,CAAC,CACxE,CACF,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,QAAgB,EAAE,EAAE,CACpC,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC/D,MAAM,OAAO,GAAG,KAAK;YACnB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;YACzD,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IACL,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAE;QAC/B,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC5B,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACrE,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChB,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CACvE,OAAO,CACR,CAAC;IACJ,CAAC,CAAC;IACF,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,IAAI,GAAG,CAClB,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAC7D,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAoC,EAAE,EAAE,CACpD,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1D,OAAO;QACL,UAAU,EAAE,MAAM,CAAC,IAAI;QACvB,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAClB;YACE,oBAAoB,aAAa,WAAW;YAC5C,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YAC5D,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAChC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CACtE;YACD,sBAAsB;YACtB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;gBACzB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACrC,OAAO,UAAU,CACf,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM;oBACjC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBACrD,CAAC,CAAC,IAAI,CACT,CAAC;YACJ,CAAC,CAAC;YACF,GAAG;SACJ,CAAC,IAAI,CAAC,IAAI,CAAC;KACf,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE;QAAE,OAAO,KAAK,IAAI,EAAE,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC;IACrB,KAAK,IAAI,KAAK,GAAG,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAE,CAAC;QAC1B,IAAI,IAAI,KAAK,GAAG;YAAE,MAAM,GAAG,CAAC,MAAM,CAAC;QACnC,IAAI,MAAM;YAAE,SAAS;QACrB,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,EAAE,CAAC;QAClC,IAAI,IAAI,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5C,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,OAAO;QACL,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE;QAC9B,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,GAAG,CAAC;QACtC,KAAK;KACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAMD,yEAAyE;AACzE,SAAS,kBAAkB,CACzB,MAAc,EACd,UAAkB,EAClB,OAAqB;IAErB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE;QAC7B,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,OAAO,CAAC,eAAe;YACzB,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE;YAC9C,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC;IAC5C,IAAI,CAAC,QAAQ;QACX,MAAM,IAAI,KAAK,CACb,GAAG,UAAU,8BAA8B,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjG,CAAC;IACJ,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO;SAClC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC;SACvC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,UAAU,CAAC;IAClE,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAC1C,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,YAAY,CAC7C,CAAC;IACF,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,UAAU,4BAA4B,CAAC,CAAC;IAC5E,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,SAAS,CAAC,KAA8B;IAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,IAAI,KAAK,MAAM;QACjB,OAAO,WAAW,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;IACrH,IAAI,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM;QAAE,OAAO,UAAU,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;IAC5E,IAAI,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;QAChD,OAAO,UAAU,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC7C,OAAO,IAAI,CAAC;AACd,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hyperscale0/hsx",
-  "version": "1.0.330",
+  "version": "1.0.334",
   "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.330",
-    "@hyperscale0/udl": "1.0.330",
+    "@hyperscale0/adl": "1.0.334",
+    "@hyperscale0/udl": "1.0.334",
     "fast-sha256": "1.3.0"
   },
   "devDependencies": {
@@ -103,5 +103,5 @@
     "Amir Ayub",
     "Sara AlBakaawi"
   ],
-  "gitHead": "a54f755dfc24c90c4c44953e73bbe4653593dea5"
+  "gitHead": "63ce2f153ec13ff17f2ea8a910cc134bfecdab16"
 }

package/src/catalog-program.ts

@@ -0,0 +1,65 @@
+/**
+ * One program that attaches every standard template with bindings the
+ * compiler admits. Each template guide takes its example from here, and
+ * std-headers.spec proves the whole program compiles.
+ */
+export const catalogProgramSource = `program catalog "Template catalog"
+use money
+use escrow
+use purchase
+use booking
+use marketplace
+use financing
+use insurance
+use lending
+use wallet
+use cards
+use collections
+use savings
+use reporting
+party supplier: business
+party inspector: staff role claim_inspector
+party investor: business
+object item "Item" {
+ attach transfer = money.transfer { payer: actor, payee: owner, amount: 750 SAR }
+ attach hold = money.hold { payer: actor, payee: owner, amount: 750 SAR }
+ attach split = money.split { payer: actor, amount: 750 SAR }
+ attach schedule = money.schedule { payer: actor, payee: owner, amount: 750 SAR, count: 3 }
+ attach pool = money.pool { payer: actor, payee: owner, target: 1000 SAR, closes: 2027-01-01 }
+ attach swap = money.swap { first: actor, second: owner, first_amount: 100 SAR, second_amount: 200 SAR, expires: 2027-01-01 }
+ 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 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 }
+ attach deposit = escrow.hold { payer: actor, payee: owner }
+ attach sale = escrow.hold { funding: { controllers: [checkout], reference: "funds", blocking_states: [active] }, payer: actor, payee: owner }
+ attach trip = booking.reservation { customer: actor, operator: owner }
+ attach limits = financing.limits { borrower: actor, per_borrower: 60000 SAR }
+ attach ceiling = financing.portfolio_limit { limit: 1500000 SAR }
+ attach checkout = purchase.checkout { plans: plan, funds: sale, borrower: actor, capital: operator }
+ attach plan = financing.installments { borrower: actor, capital: operator, months: 3, pricing: flat_total, profit_rate: 2.5%, down_payment: 20%, funds: checkout, limits: limits, portfolio: ceiling }
+ attach late = financing.late_charge { on: plan, borrower: actor }
+ attach line = financing.credit_line { borrower: operator, adapter: "conformance_boundary", limit: 100000 SAR, expires: 2027-01-01 }
+ attach advance = financing.advance { line: line }
+ attach case = collections.case { on: plan, agency: supplier }
+ attach contact = collections.contact { case: case, agency: supplier }
+ attach reminder = collections.reminder { on: plan }
+ attach wallet = wallet.balance { holder: investor }
+ attach spend = wallet.spend { wallet: wallet, payee: supplier, holder: investor }
+ attach round = lending.round { borrower: actor, plan: plan, minimum_ticket: 100 SAR, investor_cap: 100% }
+ attach commitment = lending.commitment { round: round, wallet: wallet, investor: investor }
+ attach distribution = lending.distribution { round: round, receipt: plan.settlement }
+ attach cardholder = cards.cardholder { holder: actor }
+ attach card = cards.card { holder: cardholder, person: actor, spend_limit: 5000 SAR }
+ attach authorization = cards.authorization { card: card, merchant: supplier }
+ attach transaction = cards.transaction { authorization: authorization }
+ attach dispute = cards.dispute { transaction: transaction }
+ attach listing = marketplace.listing { seller: owner }
+ attach order = marketplace.order { listing: listing, buyer: actor }
+ attach reservation = marketplace.reservation { listing: listing, funds: sale, converters: checkout, buyer: actor, seller: owner }
+ attach circle = savings.circle { contribution: 300 SAR, members: 8, starts: 2027-01-01 }
+ attach membership = savings.membership { circle: circle, member: actor }
+ attach reports = reporting.portfolio { on: plan }
+}`;

package/src/index.ts

@@ -24,3 +24,9 @@ export type {
 } from "./ast.ts";
 
 export { headerManifest, HEADER_NAMES } from "./headers.ts";
+export {
+  templateGuide,
+  templateIndex,
+  type TemplateGuide,
+  type TemplateIndexEntry,
+} from "./template-guide.ts";

package/src/template-guide.ts

@@ -0,0 +1,567 @@
+import type { BlockExpr, Entry, Expr, InstrumentDecl } from "./ast.ts";
+import { catalogProgramSource } from "./catalog-program.ts";
+import { compile, type CompileOptions } from "./compile.ts";
+import { parseHeader } from "./header-source.ts";
+import { headerManifest, HEADER_NAMES } from "./headers.ts";
+import { parseProgram } from "./parse.ts";
+import { bundledStandardLibrary, type StandardLibrary } from "./std-library.ts";
+
+export interface TemplateIndexEntry {
+  qualifiedName: string;
+  summary: string;
+  parties: string[];
+}
+
+export interface TemplateGuideAction {
+  name: string;
+  runBy: string;
+  from?: string;
+  to?: string;
+  due?: string;
+  deadline?: string;
+  requires?: string[];
+  moves?: string[];
+  invokes?: string[];
+  when?: string;
+}
+
+export interface TemplateGuide {
+  qualifiedName: string;
+  summary: string;
+  signature: string;
+  use: string;
+  states: string[];
+  tunables: Array<{
+    name: string;
+    type: string;
+    required: boolean;
+    default?: string;
+    meaning: string;
+  }>;
+  createInput: Array<{ name: string; type: string }>;
+  subject: Array<{ name: string; type: string }>;
+  actions: TemplateGuideAction[];
+  example: string;
+  notes: string[];
+}
+
+// How to read runBy, the same for every template.
+const RUN_BY_NOTE =
+  "runBy names who runs each action: a party is whoever the attach binds to it (owner, actor, operator or a declared business), clock is the platform when the action falls due, parent runs only inside its parent record's action, and caller is anyone the exposed action admits.";
+
+const SUBJECT_NOTE =
+  "subject names fields the attached object must carry, or rename to with rename { field: yourField }, before the actions that read them can run.";
+
+/** One line per template, small enough to read whole. */
+export function templateIndex(
+  library: StandardLibrary = bundledStandardLibrary,
+): TemplateIndexEntry[] {
+  return headerManifest(library).headers.flatMap((header) =>
+    header.objects.map((object) => ({
+      qualifiedName: object.qualifiedName,
+      summary: object.summary,
+      parties: object.parties,
+    })),
+  );
+}
+
+/**
+ * Everything an author needs for one template, spelled from its std
+ * declaration and proved by compiling its example. Undefined when the
+ * catalog has no such template.
+ */
+export function templateGuide(
+  qualifiedName: string,
+  options: GuideOptions = {},
+): TemplateGuide | undefined {
+  const library = options.library ?? bundledStandardLibrary;
+  const [header, name, extra] = qualifiedName.split(".");
+  if (!header || !name || extra !== undefined) return undefined;
+  if (!(HEADER_NAMES as readonly string[]).includes(header)) return undefined;
+  const source = library.source(header);
+  if (!source) return undefined;
+  const manifest = headerManifest(library, [header]).headers[0]!.objects.find(
+    (object) => object.name === name,
+  );
+  const decl = parseHeader(source, header).decls.find(
+    (d): d is InstrumentDecl => d.kind === "instrument" && d.name === name,
+  );
+  if (!manifest || !decl) return undefined;
+  const spell = (expression: Expr) =>
+    source
+      .slice(expression.span.start, expression.span.end)
+      .trim()
+      .replace(/\s+/g, " ");
+  const actions = guideActions(decl.body, spell);
+  // Compile once bare, then expose each root action a party or caller runs
+  // that these bindings keep, and compile again to prove the example.
+  const example = exampleProgram(qualifiedName, library);
+  const bare = compiledAttachment(
+    example.render([]),
+    example.attachment,
+    options,
+  );
+  const exposes = actions
+    .filter(
+      (action) =>
+        !action.name.includes(".") &&
+        !["clock", "parent"].includes(action.runBy) &&
+        bare.actions[action.name],
+    )
+    .map((action) => `expose ${action.name}`);
+  const program = example.render(exposes);
+  const create = compiledAttachment(program, example.attachment, options)
+    .actions.create;
+  return {
+    qualifiedName,
+    summary: manifest.summary,
+    signature: manifest.signature,
+    use: `use ${header}`,
+    states: manifest.states,
+    tunables: manifest.tunables.map((tunable) => ({
+      name: tunable.name,
+      type: tunable.type,
+      required: tunable.required,
+      ...(tunable.default ? { default: tunable.default } : {}),
+      meaning:
+        tunable.type === "party" || tunable.type === "party?"
+          ? partyMeaning(tunable.name, actions)
+          : valueMeaning(tunable.name, tunable.default, decl, spell),
+    })),
+    createInput: (create?.input ?? []).map((field) => ({
+      name: field.name,
+      type: inputType(field as unknown as Record<string, unknown>),
+    })),
+    subject: manifest.subject,
+    actions,
+    example: program,
+    notes: [RUN_BY_NOTE, ...(manifest.subject.length ? [SUBJECT_NOTE] : [])],
+  };
+}
+
+function slot(block: BlockExpr, key: string) {
+  return block.entries.find((entry) => entry.key === key)?.value;
+}
+
+/**
+ * The parser desugars `requires` and `moves` into blocks without source
+ * spans, so each clause is spelled from the slot's own source text.
+ */
+function clauses(
+  action: BlockExpr,
+  key: "requires" | "moves",
+  spell: (expression: Expr) => string,
+) {
+  return action.entries
+    .filter((entry) => entry.key === key)
+    .flatMap((entry) =>
+      spell(entry.value)
+        .split(new RegExp(`(?:^|[;,]?\\s+)${key}\\s+`))
+        .map((clause) => clause.trim().replace(/[;,]$/, ""))
+        .filter(Boolean),
+    );
+}
+
+function items(expression: Expr | undefined): Expr[] {
+  if (!expression) return [];
+  return expression.kind === "list" ? expression.items : [expression];
+}
+
+/** Root actions first, then each record's, prefixed with the record name. */
+function guideActions(
+  body: BlockExpr,
+  spell: (expression: Expr) => string,
+  prefix = "",
+  parentActions: TemplateGuideAction[] = [],
+): TemplateGuideAction[] {
+  const result: TemplateGuideAction[] = [];
+  for (const entry of body.entries) {
+    if (!entry.key.startsWith("action ") || entry.value.kind !== "block")
+      continue;
+    const action = entry.value;
+    const actor = slot(action, "actor");
+    const party = actor?.kind === "block" ? slot(actor, "party") : undefined;
+    const parent = actor?.kind === "block" ? slot(actor, "parent") : undefined;
+    const runBy = !actor
+      ? "caller"
+      : party
+        ? spell(party)
+        : parent
+          ? "parent"
+          : spell(actor);
+    const at = (key: string) => {
+      const value = slot(action, key);
+      if (value?.kind !== "block") return value ? spell(value) : undefined;
+      const instant = slot(value, "at");
+      const offset = slot(value, "offset");
+      if (!instant) return spell(value);
+      return offset ? `${spell(instant)} + ${spell(offset)}` : spell(instant);
+    };
+    const due = at("due");
+    const deadline = at("deadline");
+    const requires = clauses(action, "requires", spell);
+    const moves = clauses(action, "moves", spell);
+    const invokes = items(slot(action, "invoke")).flatMap((item) =>
+      item.kind === "block" ? [invocation(item, spell, prefix)] : [],
+    );
+    const from = slot(action, "from");
+    const to = slot(action, "to");
+    const guide: TemplateGuideAction = {
+      name: prefix + entry.key.slice(7),
+      runBy,
+      ...(from ? { from: spell(from) } : {}),
+      ...(to ? { to: spell(to) } : {}),
+      ...(due ? { due } : {}),
+      ...(deadline ? { deadline } : {}),
+      ...(requires.length ? { requires } : {}),
+      ...(moves.length ? { moves } : {}),
+      ...(invokes.length ? { invokes } : {}),
+    };
+    const when = timing(guide, parentActions);
+    result.push(when ? { ...guide, when } : guide);
+  }
+  const records = slot(body, "records");
+  if (records?.kind === "block")
+    for (const record of records.entries)
+      if (record.value.kind === "block")
+        result.push(
+          ...guideActions(
+            record.value,
+            spell,
+            `${prefix}${record.key}.`,
+            prefix ? parentActions : result,
+          ),
+        );
+  return result;
+}
+
+function invocation(
+  block: BlockExpr,
+  spell: (expression: Expr) => string,
+  prefix: string,
+) {
+  const instrument = slot(block, "instrument");
+  const action = slot(block, "action");
+  const target = `${instrument ? `${prefix}${spell(instrument)}.` : ""}${action ? spell(action) : "?"}`;
+  const range = slot(block, "range");
+  const count = range?.kind === "block" ? slot(range, "count") : undefined;
+  const literal =
+    count?.kind === "block" ? (slot(count, "literal") ?? count) : count;
+  const selection = slot(block, "selection");
+  const selected =
+    selection?.kind === "block" ? slot(selection, "instrument") : undefined;
+  return literal
+    ? `${target}, ${spell(literal)} times`
+    : selected
+      ? `${target} on each matching ${spell(selected)}`
+      : target;
+}
+
+/**
+ * The runtime's timing rules, applied to one action: a clock action that
+ * needs a record in another state waits, and the action that moves the
+ * record there collects it in the same request (docs/public/runtime.md).
+ */
+function timing(
+  action: TemplateGuideAction,
+  parentActions: TemplateGuideAction[],
+): string | undefined {
+  if (action.runBy === "clock" && action.due) {
+    const waits = (action.requires ?? []).flatMap((requirement) => {
+      const match = requirement.match(/^self\.\w+ in \[([^\]]+)\]$/);
+      return match ? [{ requirement, states: match[1]!.split(/,\s*/) }] : [];
+    });
+    const openers = parentActions
+      .filter((parent) =>
+        waits.some((wait) => wait.states.includes(parent.to ?? "")),
+      )
+      .map((parent) => parent.name);
+    return [
+      `The clock runs it at ${action.due}.`,
+      ...waits.map(
+        (wait) => `While ${wait.requirement} does not hold, it waits.`,
+      ),
+      ...(openers.length
+        ? [
+            `${openers.join(" or ")} collects every one already due in the same request.`,
+          ]
+        : []),
+    ].join(" ");
+  }
+  const parts = [
+    ...(action.due
+      ? [`Runnable from ${action.due}; ${action.runBy} still runs it.`]
+      : []),
+    ...(action.deadline ? [`Refused after ${action.deadline}.`] : []),
+  ];
+  return parts.length ? parts.join(" ") : undefined;
+}
+
+function partyMeaning(name: string, actions: TemplateGuideAction[]) {
+  const runs = actions.filter((action) => action.runBy === name);
+  const pays = actions.filter((action) =>
+    action.moves?.some((move) => new RegExp(`\\bfrom ${name}\\b`).test(move)),
+  );
+  const receives = actions.filter((action) =>
+    action.moves?.some((move) => new RegExp(`\\bto ${name}\\b`).test(move)),
+  );
+  const names = (list: TemplateGuideAction[]) =>
+    list.map((action) => action.name).join(", ");
+  const parts = [
+    ...(runs.length ? [`Runs ${names(runs)}.`] : []),
+    ...(pays.length ? [`Pays in ${names(pays)}.`] : []),
+    ...(receives.length ? [`Receives in ${names(receives)}.`] : []),
+  ];
+  return parts.length
+    ? parts.join(" ")
+    : "Named by the template; runs no action and moves no money itself.";
+}
+
+/**
+ * A value tunable's meaning is where it lands: the fields it sets and every
+ * field or action that reads those fields, spelled as the std writes them.
+ */
+function valueMeaning(
+  name: string,
+  fallback: string | undefined,
+  decl: InstrumentDecl,
+  spell: (expression: Expr) => string,
+) {
+  const bare = new RegExp(`(?<![\\w.])${name}(?!\\w)`);
+  const fields = slot(decl.body, "fields");
+  const set =
+    fields?.kind === "block"
+      ? fields.entries.filter((entry) => bare.test(fieldValue(entry, spell)))
+      : [];
+  const read = new Set(set.map((entry) => entry.key));
+  const uses: string[] = [];
+  const visit = (body: BlockExpr, prefix: string, parentRefs: string[]) => {
+    const own = slot(body, "fields");
+    const reads = (text: string) =>
+      bare.test(text) ||
+      [...read].some((field) =>
+        prefix
+          ? parentRefs.some((ref) =>
+              new RegExp(`\\bself\\.${ref}\\.${field}\\b`).test(text),
+            )
+          : new RegExp(`\\bself\\.${field}\\b`).test(text),
+      );
+    if (own?.kind === "block" && prefix)
+      for (const entry of own.entries) {
+        const value = fieldValue(entry, spell);
+        if (reads(value)) uses.push(`${prefix}${entry.key}: ${value}`);
+      }
+    for (const entry of body.entries) {
+      if (!entry.key.startsWith("action ") || entry.value.kind !== "block")
+        continue;
+      for (const part of entry.value.entries) {
+        if (["actor", "from", "to", "summary"].includes(part.key)) continue;
+        const text = spell(part.value);
+        // A long slot, such as an invoke list, is named rather than spelled.
+        if (reads(text))
+          uses.push(
+            `${prefix}${entry.key.slice(7)} ${part.key}${text.length > 100 ? "" : `: ${text}`}`,
+          );
+      }
+    }
+    const records = slot(body, "records");
+    if (records?.kind === "block")
+      for (const record of records.entries) {
+        if (record.value.kind !== "block") continue;
+        const recordFields = slot(record.value, "fields");
+        const refs =
+          recordFields?.kind === "block"
+            ? recordFields.entries
+                .filter((entry) =>
+                  /^ref<parent>/.test(fieldValue(entry, spell)),
+                )
+                .map((entry) => entry.key)
+            : [];
+        visit(record.value, `${prefix}${record.key}.`, refs);
+      }
+  };
+  visit(decl.body, "", []);
+  const parts = [
+    ...(fallback === "runtime"
+      ? [
+          `Leave it out of the attach and create takes ${name} for each record, or bind one fixed value.`,
+        ]
+      : []),
+    ...(set.length
+      ? [
+          `Sets ${set.map((entry) => `${entry.key}: ${fieldValue(entry, spell)}`).join(", ")}.`,
+        ]
+      : []),
+    ...(uses.length ? [`Read by ${uses.slice(0, 6).join("; ")}.`] : []),
+  ];
+  return parts.length ? parts.join(" ") : "Configures the template.";
+}
+
+function fieldValue(entry: Entry, spell: (expression: Expr) => string) {
+  return entry.value.kind === "default"
+    ? `${spell(entry.value.type)} = ${spell(entry.value.value)}`
+    : spell(entry.value);
+}
+
+interface Example {
+  attachment: string;
+  render(exposes: string[]): string;
+}
+
+/**
+ * The template's attach from the catalog program, with every attach it names
+ * and the parties and headers those need.
+ */
+function exampleProgram(
+  qualifiedName: string,
+  library: StandardLibrary,
+): Example {
+  const program = parseProgram(catalogProgramSource).program;
+  const object = program.decls.find((decl) => decl.kind === "object");
+  if (object?.kind !== "object")
+    throw new Error("catalog program has no object");
+  const attaches = object.body.entries.flatMap((entry) => {
+    const match = entry.key.match(/^attach (\w+) = (\w+)\.(\w+)$/);
+    return match
+      ? [
+          {
+            entry,
+            name: match[1]!,
+            header: match[2]!,
+            template: `${match[2]}.${match[3]}`,
+          },
+        ]
+      : [];
+  });
+  const target = attaches.find((attach) => attach.template === qualifiedName);
+  if (!target)
+    throw new Error(`catalog program does not attach ${qualifiedName}`);
+  const referenced = (expression: Expr): string[] => {
+    if (expression.kind === "name") return [expression.value.split(".")[0]!];
+    if (expression.kind === "list") return expression.items.flatMap(referenced);
+    if (expression.kind === "block")
+      return expression.entries.flatMap((entry) => referenced(entry.value));
+    return [];
+  };
+  // A parameter that defaults to object(header.template) binds the sibling
+  // attach of that template, so the example carries that attach too.
+  const templates = new Map(
+    headerManifest(library).headers.flatMap((header) =>
+      header.objects.map((object) => [object.qualifiedName, object] as const),
+    ),
+  );
+  const siblings = (template: string) =>
+    (templates.get(template)?.tunables ?? []).flatMap((tunable) => {
+      const match = tunable.default?.match(/^object\((\w+\.\w+)\)$/);
+      const sibling = match
+        ? attaches.find((attach) => attach.template === match[1])
+        : undefined;
+      return sibling ? [sibling.name] : [];
+    });
+  const names = new Set<string>();
+  const include = (name: string) => {
+    if (names.has(name)) return;
+    const attach = attaches.find((candidate) => candidate.name === name);
+    if (!attach) return;
+    names.add(name);
+    [...referenced(attach.entry.value), ...siblings(attach.template)].forEach(
+      include,
+    );
+  };
+  include(target.name);
+  const included = attaches.filter((attach) => names.has(attach.name));
+  const used = new Set(
+    included.flatMap((attach) => referenced(attach.entry.value)),
+  );
+  const text = (span: { start: number; end: number }) =>
+    catalogProgramSource.slice(span.start, span.end).trim();
+  return {
+    attachment: target.name,
+    render: (exposes) =>
+      [
+        `program example "${qualifiedName} example"`,
+        ...new Set(included.map((attach) => `use ${attach.header}`)),
+        ...program.decls.flatMap((decl) =>
+          decl.kind === "party" && used.has(decl.name) ? [text(decl.span)] : [],
+        ),
+        `object item "Item" {`,
+        ...included.map((attach) => {
+          const line = text(attach.entry.span);
+          return wrapAttach(
+            attach === target && exposes.length
+              ? line.replace(/\s*\}$/, `, ${exposes.join(", ")} }`)
+              : line,
+          );
+        }),
+        "}",
+      ].join("\n"),
+  };
+}
+
+/** An attach line within 76 columns, else one binding per line. */
+function wrapAttach(line: string): string {
+  if (line.length <= 74) return `  ${line}`;
+  const open = line.indexOf("{");
+  const items: string[] = [];
+  let depth = 0;
+  let quoted = false;
+  let start = open + 1;
+  for (let index = start; index < line.length - 1; index++) {
+    const char = line[index]!;
+    if (char === '"') quoted = !quoted;
+    if (quoted) continue;
+    if ("{[(".includes(char)) depth++;
+    if ("}])".includes(char)) depth--;
+    if (char === "," && depth === 0) {
+      items.push(line.slice(start, index).trim());
+      start = index + 1;
+    }
+  }
+  items.push(line.slice(start, line.lastIndexOf("}")).trim());
+  return [
+    `  ${line.slice(0, open + 1)}`,
+    ...items.map((item) => `    ${item},`),
+    "  }",
+  ].join("\n");
+}
+
+type GuideOptions = Pick<CompileOptions, "adapterRegistry"> & {
+  library?: StandardLibrary;
+};
+
+/** The example's compiled root instrument, or the compiler's refusal. */
+function compiledAttachment(
+  source: string,
+  attachment: string,
+  options: GuideOptions,
+) {
+  const result = compile(source, {
+    ...(options.library ? { standardLibrary: options.library } : {}),
+    ...(options.adapterRegistry
+      ? { adapterRegistry: options.adapterRegistry }
+      : {}),
+  });
+  const document = result.artifacts?.document;
+  if (!document)
+    throw new Error(
+      `${attachment} example does not compile: ${result.diagnostics.map((d) => d.message).join("; ")}`,
+    );
+  const instrumentId = document.objects
+    .flatMap((object) => object.attachments)
+    .find((candidate) => candidate.name === attachment)?.instrument;
+  const instrument = document.instruments.find(
+    (candidate) => candidate.id === instrumentId,
+  );
+  if (!instrument) throw new Error(`${attachment} example has no instrument`);
+  return instrument;
+}
+
+function inputType(field: Record<string, unknown>) {
+  const type = String(field.type);
+  if (type === "list")
+    return `list of ${String(field.item)}${field.maxItems === undefined ? "" : `, at most ${String(field.maxItems)}`}`;
+  if (type === "ref" && field.target) return `ref to ${String(field.target)}`;
+  if (type === "enum" && Array.isArray(field.values))
+    return `one of ${field.values.join(", ")}`;
+  return type;
+}