@hyperscale0/hsx 1.0.0-beta.1 → 1.0.0

package/dist/src/model.d.ts

@@ -1,467 +0,0 @@
-/**
- * The checked program model: what an HSX program MEANS once every name
- * resolves and every archetype's parameter surface is validated. This is the
- * only input the lowering consumes, it never re-reads the AST, and every
- * node keeps its source span so later stages report at source coordinates.
- */
-import type { Span } from "./ast.ts";
-import type { ArchetypeName } from "./archetypes.ts";
-export declare const PARTY_KINDS: readonly ["business", "person"];
-export type PartyKind = (typeof PARTY_KINDS)[number];
-export declare const ASSET_KINDS: readonly ["access", "claim", "good", "service", "ticket"];
-export type AssetKind = (typeof ASSET_KINDS)[number];
-export interface CheckedParty {
-    readonly kind: PartyKind;
-    readonly name: string;
-    readonly origin: Span;
-}
-export interface CheckedAsset {
-    readonly kind: AssetKind;
-    readonly name: string;
-    readonly origin: Span;
-    /** Where ownership of the asset itself changes hands. Money stays on-platform either way. */
-    readonly titleTransfer: "off_platform" | "on_platform";
-}
-/** A typed money amount the program declares, e.g. `price: money(SAR)`. */
-export interface MoneyField {
-    readonly currency: string;
-    readonly name: string;
-    readonly origin: Span;
-}
-/** One platform fee term: `buyer: 1%`, the named party bears bps to the platform. */
-export interface FeeTerm {
-    readonly bearer: string;
-    readonly bps: number;
-    readonly origin: Span;
-}
-/** One share of a cancellation split: `buyer: 99.5%`. */
-export interface SplitShare {
-    readonly bps: number;
-    readonly origin: Span;
-    readonly to: string;
-}
-/** `on_cancel(funded) { ... }`, how the held amount unwinds, summing to 100%. */
-export interface CancelPolicy {
-    readonly origin: Span;
-    readonly shares: readonly SplitShare[];
-    readonly when: "funded";
-}
-/**
- * A finite payment schedule: `count` anchors, one every `every` (a fixed
- * calendar-free ISO duration in days or weeks), the first anchored on the
- * stored date field `firstDueField`. Finiteness is by construction: count is
- * a literal, so the schedule can never be unbounded.
- */
-export interface ScheduleTerms {
-    readonly count: number;
-    /** Fixed ISO duration between anchors, single unit: P<n>D or P<n>W. */
-    readonly every: {
-        readonly days: number;
-        readonly raw: string;
-    };
-    /** camelCase date field carrying the first anchor's due date. */
-    readonly firstDueField: string;
-    readonly origin: Span;
-}
-/** One checked reference to an exit that the target archetype exposes. */
-export interface CheckedSettlementReference {
-    readonly exit: string;
-    readonly origin: Span;
-    readonly settlement: string;
-    readonly targetArchetype: ArchetypeName;
-}
-/**
- * The checked `held_payment` instantiation: payer funds `amount` into the
- * settlement's own custody; a decision port releases it to the payee; fees
- * accrue to the platform; cancellation splits the held amount exactly.
- */
-export interface CheckedHeldPayment {
-    readonly amount: MoneyField;
-    readonly archetype: "held_payment";
-    readonly fees: readonly FeeTerm[];
-    readonly name: string;
-    readonly onCancel?: CancelPolicy;
-    readonly origin: Span;
-    readonly payee: string;
-    readonly payer: string;
-    readonly release: PortRelease;
-    /**
-     * `release: port <p> | at(<field>)`, the camelCase stored date field the
-     * hold releases to the payee on when no decision was recorded, and the
-     * cutoff both caller exits share. Absent when the port is the only way out.
-     */
-    readonly releaseDeadlineField?: string;
-}
-/** A fixed, calendar-free decision window. */
-interface FixedWindow {
-    readonly days: number;
-    readonly raw: string;
-}
-/**
- * A payer reservation that the payee captures in strict partial slices before
- * posting the remainder. A full payee correction and a full externally decided
- * reversal are separate post-settlement exits. The checked policies refuse
- * partial corrections, negative positions, and timeout-driven movement.
- */
-export interface CheckedCaptureReservation {
-    readonly amount: MoneyField;
-    readonly archetype: "captured_payment";
-    readonly correction: PortRelease;
-    readonly externalReversal: PortRelease & {
-        readonly window: FixedWindow;
-    };
-    readonly name: string;
-    readonly origin: Span;
-    readonly payee: string;
-    readonly payer: string;
-    /** Camel-case date field passed to the reservation as its expiry. */
-    readonly reserveUntilField: string;
-}
-/**
- * A payout batch whose capture entries and signed adjustments freeze at close.
- * The checked field names become lineage columns on generated child nouns.
- */
-export interface CheckedSettlementBatch {
-    readonly archetype: "settlement_batch";
-    readonly closeTriggerField: string;
-    readonly externalReversalReferenceField: string;
-    readonly feeReferenceField: string;
-    readonly name: string;
-    readonly origin: Span;
-    readonly payoutDestination: string;
-    readonly payoutAcknowledgement: PortRelease;
-    /** Camel-case field carrying the external payout beneficiary reference. */
-    readonly payoutBeneficiaryReferenceField: string;
-    readonly settlementAccount: string;
-    readonly sourceCaptureReferenceField: string;
-}
-/** HSX authoring for the existing all-or-nothing round and commitment pair. */
-export interface CheckedFundingRound {
-    readonly archetype: "funding_round";
-    readonly beneficiary: string;
-    readonly cancelPolicy: "before_close";
-    readonly closeByField: string;
-    readonly closePolicy: "threshold";
-    readonly commitment: MoneyField;
-    readonly contributor: string;
-    readonly failPolicy: "whole_commitment_refund";
-    readonly maxContributors: number;
-    readonly name: string;
-    readonly origin: Span;
-    readonly overfundPolicy: "reject";
-    readonly target: MoneyField;
-}
-/** A frozen claimant set distributed by deterministic largest remainder. */
-export interface CheckedWeightedDistribution {
-    readonly amount: MoneyField;
-    readonly archetype: "weighted_distribution";
-    readonly correctionPolicy: "new_distribution";
-    readonly maxRecipients: number;
-    readonly name: string;
-    readonly origin: Span;
-    readonly recipient: string;
-    readonly recordAtField: string;
-    readonly roundingPolicy: "largest_remainder";
-    readonly snapshot: PortRelease;
-    readonly source: string;
-    readonly weight: MoneyField;
-    readonly withholdingPolicy: "refuse";
-}
-/** A reusable draw cap whose linked scheduled obligation owns repayment. */
-export interface CheckedCreditFacility {
-    readonly archetype: "credit_facility";
-    readonly availabilityPolicy: "revolving" | "non_revolving";
-    readonly borrower: string;
-    readonly closePolicy: "no_open_draws";
-    readonly drawDestination: string;
-    readonly expiresAtField: string;
-    readonly expiryPolicy: "freeze_draws";
-    readonly lender: string;
-    readonly limit: MoneyField;
-    readonly name: string;
-    readonly obligation: CheckedSettlementReference;
-    readonly origin: Span;
-}
-/** A mandate and explicit-attempt policy layered onto scheduled obligation payments. */
-export interface CheckedRecurringCollection {
-    readonly archetype: "recurring_collection";
-    readonly attemptPolicy: "explicit";
-    readonly failurePolicy: "parent_delinquency";
-    readonly mandate: PortRelease;
-    readonly name: string;
-    readonly obligation: CheckedSettlementReference;
-    readonly origin: Span;
-    readonly periodIdempotency: "obligation_and_anchor";
-    readonly retryPolicy: "explicit_attempt";
-}
-/** A capped payout decided through stored evidence, with no premium inflow. */
-export interface CheckedConditionalDisbursement {
-    readonly amount: MoneyField;
-    readonly archetype: "conditional_disbursement";
-    readonly cap: MoneyField;
-    readonly decision: PortRelease;
-    readonly destination: string;
-    readonly name: string;
-    readonly origin: Span;
-    readonly recoveryPolicy: "separate_transfer";
-    readonly reopenPolicy: "refuse";
-    readonly source: string;
-}
-/** A fixed roster whose stored order rotates one exact shared pot per cycle. */
-export interface CheckedRotatingPool {
-    readonly archetype: "rotating_pool";
-    readonly contribution: MoneyField;
-    readonly defaultPolicy: "due_condition";
-    readonly exitPolicy: "before_activation_only";
-    readonly guaranteePolicy: "funded_only";
-    readonly guarantor?: string;
-    readonly members: readonly string[];
-    readonly name: string;
-    readonly origin: Span;
-    readonly payoutOrder: readonly string[];
-    readonly schedule: ScheduleTerms;
-}
-/** An exact on-top service fee declared as money, never a caller-computed rate. */
-export interface SwapFee {
-    readonly amount: MoneyField;
-    readonly bearer: string;
-}
-/** One side of a strict two-party atomic swap. */
-interface SwapSide {
-    readonly amount: MoneyField;
-    readonly fee?: SwapFee;
-    readonly party: string;
-}
-/**
- * The checked `swap`: exactly two parties fund one amount each into the same
- * escrow, then the entire exchange releases, settles, cancels, or claws back
- * as one indivisible lifecycle.
- */
-export interface CheckedSwap {
-    readonly archetype: "swap";
-    readonly dispute?: PortRelease & {
-        readonly window: FixedWindow;
-    };
-    readonly name: string;
-    readonly origin: Span;
-    readonly release: PortRelease;
-    readonly sides: readonly [SwapSide, SwapSide];
-}
-/**
- * The checked `instant_transfer`: payer pays `amount` straight through to the
- * payee, no custody. Fees partition the amount (payee side) or ride on top
- * (payer side); the pieces conserve the amount exactly.
- */
-export interface CheckedInstantTransfer {
-    readonly amount: MoneyField;
-    readonly archetype: "instant_transfer";
-    readonly fees: readonly FeeTerm[];
-    readonly name: string;
-    readonly origin: Span;
-    readonly payee: string;
-    readonly payer: string;
-}
-/**
- * The checked `premium_forward`: payer funds the premium into custody; a
- * decision port binds the policy, which forwards the premium to the carrier
- * exactly once, minus the platform's commission. Pre-binding cancellation
- * splits the held premium.
- */
-export interface CheckedPremiumForward {
-    readonly amount: MoneyField;
-    readonly archetype: "premium_forward";
-    /** `bind: port confirm_policy`, the binding condition. */
-    readonly bind: PortRelease;
-    readonly carrier: string;
-    /** Platform commission carved from the premium at forwarding, in bps. */
-    readonly commissionBps: number;
-    readonly endorsement?: PortRelease;
-    readonly endorsementPolicy?: "non_money_only";
-    readonly lapsePolicy?: "due_condition";
-    readonly name: string;
-    readonly onCancel?: CancelPolicy;
-    readonly origin: Span;
-    readonly payer: string;
-    readonly policyReferenceField?: string;
-    readonly renewalDueField?: string;
-    readonly renewalPolicy?: "explicit_new_forward";
-}
-/**
- * The checked `deposit`: the held amount is a reservation on the payer's own
- * account in the holder's favor, placed as a hold, then either claimed
- * (posted to the holder) or returned (voided back to the payer). The hold
- * pairing law accounts for the full amount on both exits.
- */
-export interface CheckedDeposit {
-    readonly amount: MoneyField;
-    readonly archetype: "deposit";
-    /** Port that claims the deposit for the holder. */
-    readonly claim: PortRelease;
-    readonly holder: string;
-    readonly name: string;
-    readonly origin: Span;
-    readonly payer: string;
-    /** Port that returns the deposit to the payer. */
-    readonly return: PortRelease;
-}
-/**
- * The checked `scheduled`: the total partitions into `count` installments,
- * each collected on its own stored-date anchor. The schedule is finite by
- * construction and every anchor is its own idempotent verb.
- */
-interface CheckedScheduledBase {
-    readonly amount: MoneyField;
-    readonly archetype: "scheduled";
-    readonly name: string;
-    readonly origin: Span;
-    readonly payee: string;
-    readonly payer: string;
-    readonly schedule: ScheduleTerms;
-}
-/** The original fixed transfer schedule. */
-export interface CheckedScheduledTransfer extends CheckedScheduledBase {
-    readonly mode: "transfer";
-}
-/**
- * The obligation mode of `scheduled`. Each payment names one generated anchor.
- * Refunds reverse one stored payment whole. The checker refuses rescheduling
- * until the runtime can prove an outstanding-balance carry into a new version.
- */
-export interface CheckedScheduledObligation extends CheckedScheduledBase {
-    readonly advanceTo?: string;
-    readonly debtor: string;
-    readonly mode: "obligation";
-}
-export type CheckedScheduled = CheckedScheduledObligation | CheckedScheduledTransfer;
-/**
- * Where an advance's repayment comes from. `schedule` collects it from the
- * advanced party over finite anchors; `carve` takes it out of the release of a
- * hold the advanced party is already owed, so the advance never mints money it
- * is not secured by.
- */
-export type AdvanceSource = {
-    readonly kind: "schedule";
-    readonly schedule: ScheduleTerms;
-} | ({
-    readonly kind: "carve";
-} & CheckedSettlementReference);
-/**
- * The checked `advance`: the funder disburses the advance to the advanced
- * party, who repays it from the source below. Conservation on the advance
- * itself is one partition law, the repayable total equals advance + fee, and
- * a scheduled source adds a second, that the repayments sum to it.
- */
-export interface CheckedAdvance {
-    readonly advanced: string;
-    readonly amount: MoneyField;
-    readonly archetype: "advance";
-    /** The funder's discount on the advance, in bps of the advance amount. */
-    readonly feeBps: number;
-    readonly funder: string;
-    readonly name: string;
-    readonly origin: Span;
-    readonly source: AdvanceSource;
-}
-/** One rate-card line of a metered settlement: a named meter and its unit price. */
-export interface MeterRate {
-    readonly field: MoneyField;
-    readonly meter: string;
-    readonly origin: Span;
-}
-/**
- * The checked `metered`: per-unit charges on a committed rate card, each
- * usage emission being the ledger transfer itself, until the period closes on
- * its stored end date. Emission matches ledger by construction because the
- * meter event and the transfer are the same admission.
- */
-export interface CheckedMetered {
-    readonly archetype: "metered";
-    /** camelCase date field carrying the period's close date. */
-    readonly closeByField: string;
-    readonly name: string;
-    readonly origin: Span;
-    readonly payee: string;
-    readonly payer: string;
-    readonly rates: readonly MeterRate[];
-}
-/**
- * The checked `pooled_split`: one instance per payout period. The funder
- * pools the period total piece-wise (one piece per recipient share), and the
- * pool distributes to the named recipients on the stored payout date. The
- * shares sum to 100% and the integer remainder goes to `remainderTo`.
- */
-export interface CheckedPooledSplit {
-    readonly amount: MoneyField;
-    readonly archetype: "pooled_split";
-    /** camelCase date field carrying the period's payout date. */
-    readonly distributeDueField: string;
-    readonly name: string;
-    readonly origin: Span;
-    readonly payer: string;
-    /** The recipient whose piece carries the integer-division remainder. */
-    readonly remainderTo: string;
-    readonly shares: readonly SplitShare[];
-}
-/** Release decided through a decision port: `release: port confirm_handover`. */
-interface PortRelease {
-    readonly origin: Span;
-    readonly port: string;
-}
-export type CheckedSettlement = CheckedAdvance | CheckedCaptureReservation | CheckedConditionalDisbursement | CheckedCreditFacility | CheckedDeposit | CheckedFundingRound | CheckedHeldPayment | CheckedInstantTransfer | CheckedMetered | CheckedPooledSplit | CheckedPremiumForward | CheckedRecurringCollection | CheckedRotatingPool | CheckedScheduled | CheckedSettlementBatch | CheckedSwap | CheckedWeightedDistribution;
-export type PortFieldType = {
-    readonly asset: string;
-    readonly kind: "asset_id";
-} | {
-    readonly currency: string;
-    readonly kind: "money";
-} | {
-    readonly kind: "date";
-} | {
-    readonly kind: "text";
-};
-export interface PortField {
-    readonly name: string;
-    readonly origin: Span;
-    readonly type: PortFieldType;
-}
-/** A decision port: the typed seam where the tenant's own backend decides. */
-export interface CheckedPort {
-    readonly allowed: readonly string[];
-    readonly fields: readonly PortField[];
-    readonly name: string;
-    readonly origin: Span;
-}
-export interface CheckedProgram {
-    readonly derivedAmounts: readonly CheckedDerivedAmount[];
-    readonly assets: readonly CheckedAsset[];
-    readonly name: string;
-    readonly parties: readonly CheckedParty[];
-    readonly ports: readonly CheckedPort[];
-    readonly settlements: readonly CheckedSettlement[];
-    readonly title: string;
-}
-/** One machine-computed percentage of a stored money field. */
-export interface CheckedDerivedAmount {
-    readonly baseField: string;
-    readonly bearer: string;
-    readonly bps: number;
-    readonly field: string;
-    readonly origin: Span;
-    readonly settlement: string;
-}
-/**
- * A semantic problem. `error` blocks lowering; `warning` is the compiler's
- * lint voice, the program is legal but the author should look.
- */
-export interface CheckDiagnostic {
-    readonly message: string;
-    readonly severity: "error" | "warning";
-    readonly span: Span;
-}
-export interface CheckResult {
-    readonly diagnostics: readonly CheckDiagnostic[];
-    /** Present exactly when no error-severity diagnostic exists. */
-    readonly program?: CheckedProgram;
-}
-export {};
-//# sourceMappingURL=model.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/model.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAErD,eAAO,MAAM,WAAW,iCAAkC,CAAC;AAC3D,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AAErD,eAAO,MAAM,WAAW,2DAMd,CAAC;AACX,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AAErD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,6FAA6F;IAC7F,QAAQ,CAAC,aAAa,EAAE,cAAc,GAAG,aAAa,CAAC;CACxD;AAED,2EAA2E;AAC3E,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;CACvB;AAED,qFAAqF;AACrF,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;CACvB;AAED,yDAAyD;AACzD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED,iFAAiF;AACjF,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CACzB;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,uEAAuE;IACvE,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IAChE,iEAAiE;IACjE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;CACvB;AAED,0EAA0E;AAC1E,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC;CACzC;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B;;;;OAIG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;CACxC;AAED,8CAA8C;AAC9C,UAAU,WAAW;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;;GAKG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,WAAW,GAAG;QAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;KAAE,CAAC;IAC1E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,8BAA8B,EAAE,MAAM,CAAC;IAChD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC;IAC5C,2EAA2E;IAC3E,QAAQ,CAAC,+BAA+B,EAAE,MAAM,CAAC;IACjD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;CAC9C;AAED,+EAA+E;AAC/E,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,cAAc,CAAC;IACtC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,yBAAyB,CAAC;IAC/C,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,4EAA4E;AAC5E,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,uBAAuB,CAAC;IAC5C,QAAQ,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;IAC9C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,mBAAmB,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,CAAC;CACtC;AAED,4EAA4E;AAC5E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,kBAAkB,EAAE,WAAW,GAAG,eAAe,CAAC;IAC3D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,cAAc,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,0BAA0B,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;CACvB;AAED,wFAAwF;AACxF,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;IAC3C,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,oBAAoB,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,0BAA0B,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,iBAAiB,EAAE,uBAAuB,CAAC;IACpD,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAC;CAC1C;AAED,+EAA+E;AAC/E,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,0BAA0B,CAAC;IAC/C,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,mBAAmB,CAAC;IAC7C,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,gFAAgF;AAChF,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,wBAAwB,CAAC;IAC9C,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC;IACxC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;CAClC;AAED,mFAAmF;AACnF,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,kDAAkD;AAClD,UAAU,QAAQ;IAChB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,GAAG;QAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;KAAE,CAAC;IAClE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;CAC/C;AAED;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;GAKG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,0DAA0D;IAC1D,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,yEAAyE;IACzE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;IACnC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,gBAAgB,CAAC;IAC9C,QAAQ,CAAC,WAAW,CAAC,EAAE,eAAe,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,sBAAsB,CAAC;CACjD;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,mDAAmD;IACnD,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,kDAAkD;IAClD,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;CAC9B;AAED;;;;GAIG;AACH,UAAU,oBAAoB;IAC5B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;CAClC;AAED,4CAA4C;AAC5C,MAAM,WAAW,wBAAyB,SAAQ,oBAAoB;IACpE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED;;;;GAIG;AACH,MAAM,WAAW,0BAA2B,SAAQ,oBAAoB;IACtE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,MAAM,gBAAgB,GACxB,0BAA0B,GAC1B,wBAAwB,CAAC;AAE7B;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAA;CAAE,GAC/D,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,0BAA0B,CAAC,CAAC;AAE9D;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,0EAA0E;IAC1E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;CAChC;AAED,oFAAoF;AACpF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;CACvB;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,6DAA6D;IAC7D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;CACtC;AAED;;;;;GAKG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,8DAA8D;IAC9D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,wEAAwE;IACxE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;CACxC;AAED,iFAAiF;AACjF,UAAU,WAAW;IACnB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,iBAAiB,GACzB,cAAc,GACd,yBAAyB,GACzB,8BAA8B,GAC9B,qBAAqB,GACrB,cAAc,GACd,mBAAmB,GACnB,kBAAkB,GAClB,sBAAsB,GACtB,cAAc,GACd,kBAAkB,GAClB,qBAAqB,GACrB,0BAA0B,GAC1B,mBAAmB,GACnB,gBAAgB,GAChB,sBAAsB,GACtB,WAAW,GACX,2BAA2B,CAAC;AAEhC,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9B,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;CAC9B;AAED,8EAA8E;AAC9E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;CACvB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,cAAc,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACzD,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,+DAA+D;AAC/D,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,gEAAgE;IAChE,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC;CACnC"}

package/dist/src/model.js

@@ -1,15 +0,0 @@
-/**
- * The checked program model: what an HSX program MEANS once every name
- * resolves and every archetype's parameter surface is validated. This is the
- * only input the lowering consumes, it never re-reads the AST, and every
- * node keeps its source span so later stages report at source coordinates.
- */
-export const PARTY_KINDS = ["business", "person"];
-export const ASSET_KINDS = [
-    "access",
-    "claim",
-    "good",
-    "service",
-    "ticket",
-];
-//# sourceMappingURL=model.js.map

package/dist/src/model.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/model.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAU,CAAC;AAG3D,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,QAAQ;IACR,OAAO;IACP,MAAM;IACN,SAAS;IACT,QAAQ;CACA,CAAC"}