@hyperscale0/hsx 1.0.0-alpha.3 → 1.0.0-alpha.5

package/CHANGELOG.md

@@ -4,13 +4,103 @@ All notable changes to this package are documented here. The format follows
 [Keep a Changelog](https://keepachangelog.com/en/1.1.0/), and this package
 follows [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-The IR format version (`"hsx": 1`, exported as `HSX_IR_VERSION`) moves
+The IR format version (`"hsx": 1`, stamped into every compiled document) moves
 independently of the package version. While the package is below 1.0.0, an
 alpha release may change what IR version 1 contains; every such change is
 listed here.
 
 ## [Unreleased]
 
+## [1.0.0-alpha.5] - 2026-08-29
+
+### Added
+
+- Six settlement archetypes now compile and lower. `funding_round` caps locked
+  commitments and contributor count, then collects or refunds each commitment
+  whole. `weighted_distribution` freezes evidence-backed weights and pays by
+  deterministic largest remainder. `credit_facility` owns draw capacity while
+  a referenced `scheduled` obligation owns repayment. `recurring_collection`
+  adds mandate evidence and explicit attempts to that obligation.
+  `conditional_disbursement` stores one evidence-approved amount under a cap.
+  `rotating_pool` fixes its roster, contribution, due anchors, and payout order
+  before activation. Import the required archetype from `"settlement"` and
+  supply every policy entry that its reference table marks as required.
+- Any settlement may declare one `derived_amount` block. The runtime computes
+  `floor(source * bps / 10000)` from a stored money field and callers omit the
+  target field. Version 1 accepts percentage rules from 1 through 9,999 basis
+  points. The checker refuses fixed rules, tiered rules, missing source fields,
+  non-money source fields, and target fields that already exist.
+- `captured_payment` reserves a payer amount for strict partial captures before
+  a stored deadline. The payee may settle the remainder, void before capture,
+  or use separate full-only correction and externally decided reversal ports.
+  Declare the required capture, correction, negative-position, and timeout
+  policies explicitly. Compose another settlement when capture fees are
+  needed, because this archetype refuses `fees`.
+- `settlement_batch` freezes capture lineage and signed adjustments at a stored
+  close date, persists gross, credit, debit, and net subtotals, and instructs
+  one payout from the frozen net. Supply lineage field names, the payout
+  destination and beneficiary reference, and an acknowledgement port. Apply a
+  correction to a later open batch instead of changing a closed batch.
+- `overrideProgramEntries()`, `Program`, and the typed override and issue shapes
+  are public package exports. The function replaces existing integer or
+  basis-point literals in a parsed `Program`, then callers run the checker and
+  lowerer again. Every
+  override declares inclusive integer bounds. Negative, fractional, `NaN`,
+  infinite, out-of-range, missing, ambiguous, and non-literal targets return
+  coded issues, and one bad override prevents every replacement from being
+  returned.
+- `premium_forward` accepts an optional stored policy reference, one non-money
+  endorsement port, a renewal due condition, and explicit-new-forward renewal.
+  Supply `policy_ref`, `renewal_due`, `renewal_policy`, `endorsement`,
+  `endorsement_policy`, and `lapse_policy` together when the forward needs
+  endorsement, lapse, or renewal behavior. The original forwarding shape
+  remains valid.
+
+### Changed
+
+- `scheduled` accepts `mode: obligation` for installment obligations. It emits
+  one payment noun per anchor, binds each payment to its obligation and anchor,
+  allows partial and early payments, and refunds one stored paid row whole.
+  Obligation mode accepts 2 through 7 anchors and refuses rescheduling. Use the
+  original transfer schedule without `mode`, or declare the debtor and every
+  obligation policy explicitly.
+- The program money-event budget is 20 instead of 14, and every settlement has
+  its own event cap. Advance carves now validate their amount field, currency,
+  recourse, and fee rules. Settlement references resolve through
+  archetype-declared exits, and lowering binds referenced noun identity,
+  statuses, amounts, and currency before movement. Recompile programs that
+  previously sat near the budget or used an advance carve. The stricter checker
+  may refuse a carve or reference that alpha.4 accepted.
+- HSX-JSON IR version 1 grew new noun fields for generated-child prefixes,
+  aggregate invariants, derived amounts, typed references, beneficiary IDs,
+  currency, text, counts, and constants. Verbs gained public intents, reference
+  bindings, captured input, payout instructions, signed sums, deterministic
+  distribution, aggregate and exposure checks, and durable-settlement gates.
+  Money events gained fixed, remaining-balance, and runtime-bounded amount
+  modes with dependency lists. Consumers that validate or interpret IR version
+  1 must adopt alpha.5's schema before accepting alpha.5 output.
+- `settlement_batch` now requires `payout_beneficiary_ref`. Instruct emits a
+  payout intent and captures `payoutId` instead of emitting an internal
+  transfer. A system-only reconcile transition records `settlementEvidenceId`
+  after durable evidence matches that payout. The tenant acknowledgement port
+  remains a separate claim.
+
+## [1.0.0-alpha.4] - 2026-08-26
+
+### Removed
+
+- Eleven names left the package entry point: the AST types `BlockExpr`,
+  `CallExpr`, `ListExpr`, `PercentExpr`, `PortDecl`, `PortRefExpr`, and
+  `SettlementDecl`, plus `lineColAt`, `CompileResult`, `HSX_IR_VERSION`, and
+  `HSX_VERSION`. Nothing outside this package imported any of them, and the
+  seven AST types were seven of the twenty-two the tree defines, chosen by no
+  rule anyone could restate. What the entry point exports now is what callers
+  use: `compile`, `checkProgram`, `lowerProgram`, `parseProgram`, and
+  `MONEY_EVENT_BUDGET`. Every removed name still exists in its own module for
+  the compiler's own use. Read the IR format version off the compiled
+  document's `hsx` field, which is what `spec/hsx-ir.schema.json` pins and what
+  a consumer of the JSON artifact already holds.
+
 ## [1.0.0-alpha.3] - 2026-08-25
 
 ### Fixed
@@ -94,7 +184,9 @@ This is the first version published as a package anyone can install.
   program that needs more is refused with a diagnostic saying so.
 - **`party` takes no attribute block yet**, though the grammar parses one.
 
-[Unreleased]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0-alpha.3...HEAD
+[Unreleased]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0-alpha.5...HEAD
+[1.0.0-alpha.5]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0-alpha.4...v1.0.0-alpha.5
+[1.0.0-alpha.4]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0-alpha.3...v1.0.0-alpha.4
 [1.0.0-alpha.3]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0-alpha.2...v1.0.0-alpha.3
 [1.0.0-alpha.2]: https://github.com/hyperscale0/hyperscale-hsx/compare/v1.0.0-alpha.1...v1.0.0-alpha.2
 [1.0.0-alpha.1]: https://github.com/hyperscale0/hyperscale-hsx/releases/tag/v1.0.0-alpha.1

package/README.md

@@ -128,10 +128,10 @@ is worse than shipping none.
 
 Two numbers move independently.
 
-**IR version** is the literal `"hsx": 1` stamped into every compiled document,
-exported as `HSX_IR_VERSION`. A consumer reads that one integer to decide
-whether it understands the document. It moves only when the emitted IR shape
-changes in a way a consumer must notice.
+**IR version** is the literal `"hsx": 1` stamped into every compiled document.
+A consumer reads that one integer off the document to decide whether it
+understands it. It moves only when the emitted IR shape changes in a way a
+consumer must notice.
 
 **Package version** is this package's semver, in `package.json`. It moves
 whenever the compiler changes, including changes that only affect a
@@ -144,7 +144,7 @@ the literal to `2`.
 
 ## Status
 
-Alpha. Nine settlement archetypes ship and all nine lower. The compiler is in
+Alpha. Eleven settlement archetypes ship and all eleven lower. The compiler is in
 production use; the surface is settled enough to build on and the version
 number is honest about the rest. What is most likely to move: diagnostic
 wording (there are no stable diagnostic codes yet), and the archetype

package/dist/src/archetypes.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Settlement declarations shared by checking and lowering. A local event cap
+ * limits one settlement before the whole-program budget applies.
+ */
+export declare const SETTLEMENT_ARCHETYPES: readonly ["advance", "captured_payment", "conditional_disbursement", "credit_facility", "deposit", "funding_round", "held_payment", "instant_transfer", "metered", "pooled_split", "premium_forward", "recurring_collection", "rotating_pool", "scheduled", "settlement_batch", "swap", "weighted_distribution"];
+export type ArchetypeName = (typeof SETTLEMENT_ARCHETYPES)[number];
+interface ArchetypeDefinition {
+    readonly eventCap: number;
+    readonly keys: readonly string[];
+    readonly maxRates?: number;
+    readonly maxRecipients?: number;
+    readonly referenceableExits: readonly string[];
+    readonly required: readonly string[];
+}
+export declare const ARCHETYPE_DEFINITIONS: Record<ArchetypeName, ArchetypeDefinition>;
+export {};
+//# sourceMappingURL=archetypes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"archetypes.d.ts","sourceRoot":"","sources":["../../src/archetypes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,eAAO,MAAM,qBAAqB,kTAkBxB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnE,UAAU,mBAAmB;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,eAAO,MAAM,qBAAqB,EAAE,MAAM,CAAC,aAAa,EAAE,mBAAmB,CA+S1E,CAAC"}

package/dist/src/archetypes.js

@@ -0,0 +1,327 @@
+/**
+ * Settlement declarations shared by checking and lowering. A local event cap
+ * limits one settlement before the whole-program budget applies.
+ */
+export const SETTLEMENT_ARCHETYPES = [
+    "advance",
+    "captured_payment",
+    "conditional_disbursement",
+    "credit_facility",
+    "deposit",
+    "funding_round",
+    "held_payment",
+    "instant_transfer",
+    "metered",
+    "pooled_split",
+    "premium_forward",
+    "recurring_collection",
+    "rotating_pool",
+    "scheduled",
+    "settlement_batch",
+    "swap",
+    "weighted_distribution",
+];
+export const ARCHETYPE_DEFINITIONS = {
+    advance: {
+        eventCap: 2,
+        keys: [
+            "against",
+            "amount",
+            "count",
+            "every",
+            "fee",
+            "first_due",
+            "funder",
+            "to",
+        ],
+        referenceableExits: [],
+        // The repayment source is one of two shapes, so the advance checker states
+        // that requirement instead of listing either shape's keys as required.
+        required: ["funder", "to", "amount"],
+    },
+    captured_payment: {
+        eventCap: 4,
+        keys: [
+            "amount",
+            "capture_mode",
+            "correction",
+            "correction_mode",
+            "external_reversal",
+            "fees",
+            "negative_position",
+            "payee",
+            "payer",
+            "reserve_until",
+            "timeout",
+        ],
+        referenceableExits: [],
+        required: [
+            "payer",
+            "payee",
+            "amount",
+            "capture_mode",
+            "reserve_until",
+            "correction",
+            "external_reversal",
+            "correction_mode",
+            "negative_position",
+            "timeout",
+        ],
+    },
+    conditional_disbursement: {
+        eventCap: 1,
+        keys: [
+            "amount",
+            "cap",
+            "decision",
+            "destination",
+            "recovery_policy",
+            "reopen_policy",
+            "source",
+        ],
+        referenceableExits: [],
+        required: [
+            "source",
+            "destination",
+            "cap",
+            "amount",
+            "decision",
+            "reopen_policy",
+            "recovery_policy",
+        ],
+    },
+    credit_facility: {
+        eventCap: 1,
+        keys: [
+            "availability_policy",
+            "borrower",
+            "close_policy",
+            "draw_destination",
+            "expires_at",
+            "expiry_policy",
+            "lender",
+            "limit",
+            "obligation",
+        ],
+        referenceableExits: [],
+        required: [
+            "lender",
+            "borrower",
+            "draw_destination",
+            "limit",
+            "expires_at",
+            "obligation",
+            "availability_policy",
+            "expiry_policy",
+            "close_policy",
+        ],
+    },
+    deposit: {
+        eventCap: 1,
+        keys: ["amount", "claim", "holder", "payer", "return"],
+        referenceableExits: [],
+        required: ["payer", "holder", "amount", "claim", "return"],
+    },
+    funding_round: {
+        eventCap: 4,
+        keys: [
+            "beneficiary",
+            "cancel_policy",
+            "close_by",
+            "close_policy",
+            "commitment",
+            "contributor",
+            "fail_policy",
+            "max_contributors",
+            "overfund_policy",
+            "target",
+        ],
+        referenceableExits: [],
+        required: [
+            "contributor",
+            "beneficiary",
+            "target",
+            "commitment",
+            "max_contributors",
+            "close_by",
+            "close_policy",
+            "overfund_policy",
+            "cancel_policy",
+            "fail_policy",
+        ],
+    },
+    held_payment: {
+        eventCap: 7,
+        keys: ["amount", "fees", "on_cancel", "payer", "payee", "release"],
+        referenceableExits: ["release"],
+        required: ["payer", "payee", "amount", "release"],
+    },
+    instant_transfer: {
+        eventCap: 3,
+        keys: ["amount", "fees", "payer", "payee"],
+        referenceableExits: [],
+        required: ["payer", "payee", "amount"],
+    },
+    metered: {
+        eventCap: 14,
+        keys: ["close_by", "payer", "payee", "rates"],
+        maxRates: 14,
+        referenceableExits: [],
+        required: ["payer", "payee", "rates", "close_by"],
+    },
+    pooled_split: {
+        eventCap: 14,
+        keys: ["amount", "payer", "payout_due", "split"],
+        maxRecipients: 7,
+        referenceableExits: [],
+        required: ["payer", "amount", "split", "payout_due"],
+    },
+    premium_forward: {
+        eventCap: 6,
+        keys: [
+            "amount",
+            "bind",
+            "carrier",
+            "commission",
+            "endorsement",
+            "endorsement_policy",
+            "lapse_policy",
+            "on_cancel",
+            "payer",
+            "policy_ref",
+            "renewal_due",
+            "renewal_policy",
+        ],
+        referenceableExits: [],
+        required: ["payer", "carrier", "amount", "bind"],
+    },
+    recurring_collection: {
+        eventCap: 0,
+        keys: [
+            "attempt_policy",
+            "failure_policy",
+            "mandate",
+            "obligation",
+            "period_idempotency",
+            "retry_policy",
+        ],
+        referenceableExits: [],
+        required: [
+            "obligation",
+            "mandate",
+            "attempt_policy",
+            "period_idempotency",
+            "retry_policy",
+            "failure_policy",
+        ],
+    },
+    rotating_pool: {
+        eventCap: 3,
+        keys: [
+            "contribution",
+            "count",
+            "default_policy",
+            "every",
+            "exit_policy",
+            "first_due",
+            "guarantee_policy",
+            "guarantor",
+            "members",
+            "payout_order",
+        ],
+        referenceableExits: [],
+        required: [
+            "members",
+            "contribution",
+            "count",
+            "every",
+            "first_due",
+            "payout_order",
+            "default_policy",
+            "guarantee_policy",
+            "exit_policy",
+        ],
+    },
+    scheduled: {
+        eventCap: 3,
+        keys: [
+            "advance_to",
+            "amount",
+            "count",
+            "debtor",
+            "delinquency_policy",
+            "every",
+            "first_due",
+            "mode",
+            "partial_payment",
+            "payer",
+            "payee",
+            "refund_policy",
+            "repayment_matching",
+            "reschedule_policy",
+        ],
+        referenceableExits: ["obligation"],
+        required: ["payer", "payee", "amount", "count", "every", "first_due"],
+    },
+    settlement_batch: {
+        eventCap: 1,
+        keys: [
+            "close_trigger",
+            "external_reversal_offsets",
+            "fee_entries",
+            "negative_position",
+            "payout_destination",
+            "payout_acknowledgement",
+            "payout_beneficiary_ref",
+            "settlement_account",
+            "source_capture_refs",
+        ],
+        referenceableExits: [],
+        required: [
+            "settlement_account",
+            "source_capture_refs",
+            "fee_entries",
+            "external_reversal_offsets",
+            "close_trigger",
+            "payout_destination",
+            "negative_position",
+            "payout_acknowledgement",
+            "payout_beneficiary_ref",
+        ],
+    },
+    swap: {
+        eventCap: 10,
+        keys: ["amounts", "between", "dispute", "fees", "release"],
+        referenceableExits: [],
+        required: ["between", "amounts", "release"],
+    },
+    weighted_distribution: {
+        eventCap: 1,
+        keys: [
+            "amount",
+            "correction_policy",
+            "max_recipients",
+            "recipient",
+            "record_at",
+            "rounding_policy",
+            "snapshot",
+            "source",
+            "weight",
+            "withholding_policy",
+        ],
+        referenceableExits: [],
+        required: [
+            "source",
+            "recipient",
+            "amount",
+            "weight",
+            "max_recipients",
+            "record_at",
+            "snapshot",
+            "rounding_policy",
+            "withholding_policy",
+            "correction_policy",
+        ],
+    },
+};
+//# sourceMappingURL=archetypes.js.map

package/dist/src/archetypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"archetypes.js","sourceRoot":"","sources":["../../src/archetypes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,SAAS;IACT,kBAAkB;IAClB,0BAA0B;IAC1B,iBAAiB;IACjB,SAAS;IACT,eAAe;IACf,cAAc;IACd,kBAAkB;IAClB,SAAS;IACT,cAAc;IACd,iBAAiB;IACjB,sBAAsB;IACtB,eAAe;IACf,WAAW;IACX,kBAAkB;IAClB,MAAM;IACN,uBAAuB;CACf,CAAC;AAaX,MAAM,CAAC,MAAM,qBAAqB,GAChC;IACE,OAAO,EAAE;QACP,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE;YACJ,SAAS;YACT,QAAQ;YACR,OAAO;YACP,OAAO;YACP,KAAK;YACL,WAAW;YACX,QAAQ;YACR,IAAI;SACL;QACD,kBAAkB,EAAE,EAAE;QACtB,2EAA2E;QAC3E,uEAAuE;QACvE,QAAQ,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC;KACrC;IACD,gBAAgB,EAAE;QAChB,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE;YACJ,QAAQ;YACR,cAAc;YACd,YAAY;YACZ,iBAAiB;YACjB,mBAAmB;YACnB,MAAM;YACN,mBAAmB;YACnB,OAAO;YACP,OAAO;YACP,eAAe;YACf,SAAS;SACV;QACD,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE;YACR,OAAO;YACP,OAAO;YACP,QAAQ;YACR,cAAc;YACd,eAAe;YACf,YAAY;YACZ,mBAAmB;YACnB,iBAAiB;YACjB,mBAAmB;YACnB,SAAS;SACV;KACF;IACD,wBAAwB,EAAE;QACxB,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE;YACJ,QAAQ;YACR,KAAK;YACL,UAAU;YACV,aAAa;YACb,iBAAiB;YACjB,eAAe;YACf,QAAQ;SACT;QACD,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE;YACR,QAAQ;YACR,aAAa;YACb,KAAK;YACL,QAAQ;YACR,UAAU;YACV,eAAe;YACf,iBAAiB;SAClB;KACF;IACD,eAAe,EAAE;QACf,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE;YACJ,qBAAqB;YACrB,UAAU;YACV,cAAc;YACd,kBAAkB;YAClB,YAAY;YACZ,eAAe;YACf,QAAQ;YACR,OAAO;YACP,YAAY;SACb;QACD,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE;YACR,QAAQ;YACR,UAAU;YACV,kBAAkB;YAClB,OAAO;YACP,YAAY;YACZ,YAAY;YACZ,qBAAqB;YACrB,eAAe;YACf,cAAc;SACf;KACF;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC;QACtD,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC;KAC3D;IACD,aAAa,EAAE;QACb,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE;YACJ,aAAa;YACb,eAAe;YACf,UAAU;YACV,cAAc;YACd,YAAY;YACZ,aAAa;YACb,aAAa;YACb,kBAAkB;YAClB,iBAAiB;YACjB,QAAQ;SACT;QACD,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE;YACR,aAAa;YACb,aAAa;YACb,QAAQ;YACR,YAAY;YACZ,kBAAkB;YAClB,UAAU;YACV,cAAc;YACd,iBAAiB;YACjB,eAAe;YACf,aAAa;SACd;KACF;IACD,YAAY,EAAE;QACZ,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC;QAClE,kBAAkB,EAAE,CAAC,SAAS,CAAC;QAC/B,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC;KAClD;IACD,gBAAgB,EAAE;QAChB,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC;QAC1C,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC;KACvC;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,EAAE;QACZ,IAAI,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC;QAC7C,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC;KAClD;IACD,YAAY,EAAE;QACZ,QAAQ,EAAE,EAAE;QACZ,IAAI,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC;QAChD,aAAa,EAAE,CAAC;QAChB,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC;KACrD;IACD,eAAe,EAAE;QACf,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE;YACJ,QAAQ;YACR,MAAM;YACN,SAAS;YACT,YAAY;YACZ,aAAa;YACb,oBAAoB;YACpB,cAAc;YACd,WAAW;YACX,OAAO;YACP,YAAY;YACZ,aAAa;YACb,gBAAgB;SACjB;QACD,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC;KACjD;IACD,oBAAoB,EAAE;QACpB,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE;YACJ,gBAAgB;YAChB,gBAAgB;YAChB,SAAS;YACT,YAAY;YACZ,oBAAoB;YACpB,cAAc;SACf;QACD,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE;YACR,YAAY;YACZ,SAAS;YACT,gBAAgB;YAChB,oBAAoB;YACpB,cAAc;YACd,gBAAgB;SACjB;KACF;IACD,aAAa,EAAE;QACb,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE;YACJ,cAAc;YACd,OAAO;YACP,gBAAgB;YAChB,OAAO;YACP,aAAa;YACb,WAAW;YACX,kBAAkB;YAClB,WAAW;YACX,SAAS;YACT,cAAc;SACf;QACD,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE;YACR,SAAS;YACT,cAAc;YACd,OAAO;YACP,OAAO;YACP,WAAW;YACX,cAAc;YACd,gBAAgB;YAChB,kBAAkB;YAClB,aAAa;SACd;KACF;IACD,SAAS,EAAE;QACT,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE;YACJ,YAAY;YACZ,QAAQ;YACR,OAAO;YACP,QAAQ;YACR,oBAAoB;YACpB,OAAO;YACP,WAAW;YACX,MAAM;YACN,iBAAiB;YACjB,OAAO;YACP,OAAO;YACP,eAAe;YACf,oBAAoB;YACpB,mBAAmB;SACpB;QACD,kBAAkB,EAAE,CAAC,YAAY,CAAC;QAClC,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,CAAC;KACtE;IACD,gBAAgB,EAAE;QAChB,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE;YACJ,eAAe;YACf,2BAA2B;YAC3B,aAAa;YACb,mBAAmB;YACnB,oBAAoB;YACpB,wBAAwB;YACxB,wBAAwB;YACxB,oBAAoB;YACpB,qBAAqB;SACtB;QACD,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE;YACR,oBAAoB;YACpB,qBAAqB;YACrB,aAAa;YACb,2BAA2B;YAC3B,eAAe;YACf,oBAAoB;YACpB,mBAAmB;YACnB,wBAAwB;YACxB,wBAAwB;SACzB;KACF;IACD,IAAI,EAAE;QACJ,QAAQ,EAAE,EAAE;QACZ,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC;QAC1D,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC;KAC5C;IACD,qBAAqB,EAAE;QACrB,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE;YACJ,QAAQ;YACR,mBAAmB;YACnB,gBAAgB;YAChB,WAAW;YACX,WAAW;YACX,iBAAiB;YACjB,UAAU;YACV,QAAQ;YACR,QAAQ;YACR,oBAAoB;SACrB;QACD,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE;YACR,QAAQ;YACR,WAAW;YACX,QAAQ;YACR,QAAQ;YACR,gBAAgB;YAChB,WAAW;YACX,UAAU;YACV,iBAAiB;YACjB,oBAAoB;YACpB,mBAAmB;SACpB;KACF;CACF,CAAC"}

package/dist/src/ast.d.ts

@@ -83,9 +83,8 @@ export interface PortRefExpr {
     readonly within?: IdentExpr;
 }
 /**
- * `retention.release`, one settlement naming another settlement's exit. The
- * only cross-settlement reference the language has: it is resolved wholly at
- * check time, never by a caller at runtime.
+ * `retention.release`, one settlement naming another settlement's declared
+ * referenceable exit. The checker resolves it wholly before lowering.
  */
 export interface SettlementRefExpr {
     readonly kind: "settlement_ref";

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

@@ -1 +1 @@
-{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,WAAW,IAAI;IACnB,wDAAwD;IACxD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sDAAsD;IACtD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,OAAO;IACtB,sBAAsB;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sDAAsD;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,iEAAiE;AACjE,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAWjE;AAED;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,wEAAwE;IACxE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iFAAiF;IACjF,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,8DAA8D;AAC9D,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAMnD;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAUnE;AAID,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,UAAU,UAAU;IAClB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,kFAAkF;IAClF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,sEAAsE;AACtE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;CAC7B;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,mDAAmD;IACnD,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,uCAAuC;IACvC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,6DAA6D;AAC7D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,KAAK,EAAE,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;;;GAIG;AACH,UAAU,WAAW;IACnB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,MAAM,IAAI,GACZ,WAAW,GACX,SAAS,GACT,QAAQ,GACR,SAAS,GACT,QAAQ,GACR,UAAU,GACV,WAAW,GACX,WAAW,GACX,iBAAiB,GACjB,UAAU,CAAC;AAIf;;;;GAIG;AACH,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;CACtB;AAID,6EAA6E;AAC7E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;CAC7B;AAED,mDAAmD;AACnD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,8DAA8D;AAC9D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,8DAA8D;AAC9D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,4EAA4E;AAC5E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,yDAAyD;AACzD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,MAAM,IAAI,GACZ,SAAS,GACT,UAAU,GACV,SAAS,GACT,QAAQ,GACR,WAAW,GACX,cAAc,CAAC;AAInB,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAID;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB"}
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,WAAW,IAAI;IACnB,wDAAwD;IACxD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sDAAsD;IACtD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,OAAO;IACtB,sBAAsB;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sDAAsD;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,iEAAiE;AACjE,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAWjE;AAED;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,wEAAwE;IACxE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iFAAiF;IACjF,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,8DAA8D;AAC9D,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAMnD;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAUnE;AAID,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,UAAU,UAAU;IAClB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,kFAAkF;IAClF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,sEAAsE;AACtE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;CAC7B;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,mDAAmD;IACnD,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,uCAAuC;IACvC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,6DAA6D;AAC7D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,KAAK,EAAE,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;;;GAIG;AACH,UAAU,WAAW;IACnB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,MAAM,IAAI,GACZ,WAAW,GACX,SAAS,GACT,QAAQ,GACR,SAAS,GACT,QAAQ,GACR,UAAU,GACV,WAAW,GACX,WAAW,GACX,iBAAiB,GACjB,UAAU,CAAC;AAIf;;;;GAIG;AACH,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;CACtB;AAID,6EAA6E;AAC7E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;CAC7B;AAED,mDAAmD;AACnD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,8DAA8D;AAC9D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,8DAA8D;AAC9D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,4EAA4E;AAC5E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,yDAAyD;AACzD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,MAAM,IAAI,GACZ,SAAS,GACT,UAAU,GACV,SAAS,GACT,QAAQ,GACR,WAAW,GACX,cAAc,CAAC;AAInB,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAID;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB"}

package/dist/src/check.d.ts

@@ -7,5 +7,6 @@
  */
 import type { Program } from "./ast.ts";
 import { type CheckResult } from "./model.ts";
+export { SETTLEMENT_ARCHETYPES } from "./archetypes.ts";
 export declare function checkProgram(program: Program): CheckResult;
 //# sourceMappingURL=check.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/check.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAKV,OAAO,EAER,MAAM,UAAU,CAAC;AAClB,OAAO,EAOL,KAAK,WAAW,EAcjB,MAAM,YAAY,CAAC;AAiFpB,wBAAgB,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,WAAW,CAshD1D"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/check.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAKV,OAAO,EAER,MAAM,UAAU,CAAC;AAMlB,OAAO,EAOL,KAAK,WAAW,EAyBjB,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAWxD,wBAAgB,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,WAAW,CAiyF1D"}