@hyperscale0/hsx 1.0.0-beta.1 → 1.0.0-rc.1

package/dist/src/archetypes.js

@@ -1,327 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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/check.d.ts

@@ -1,12 +0,0 @@
-/**
- * The HSX typechecker. Takes the parsed AST, resolves every name, validates
- * each archetype's parameter surface, and produces the checked program model
- * the lowering consumes. Total: always returns diagnostics; returns the model
- * exactly when nothing error-severity was found. Warnings are the compiler's
- * lint voice and never block.
- */
-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 +0,0 @@
-{"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"}