@hyperscale0/hsx 1.0.0-alpha.1

package/dist/src/lower.d.ts

@@ -0,0 +1,93 @@
+/**
+ * The lowering: checked program model -> HSX-JSON IR + congruent Business
+ * Frame. This is where the piece choreography the Architect used to hand-author
+ * is EMITTED deterministically instead.
+ *
+ * Semantics fixed here, once, for every archetype:
+ *
+ * - Fees: a payer-side fee is a service charge ON TOP of the amount, moving
+ *   payer -> platform directly and never entering custody; a payee-side fee
+ *   (or a premium commission) is CARVED FROM the amount at release.
+ * - Partitions: whenever an amount splits, it is partitioned into the finest
+ *   common refinement of every exit, each piece its own required money field
+ *   funded and debited under that exact name, the shape the independent
+ *   checker's terminal-escrow analysis can prove conserving. Every partition
+ *   is also declared on the noun, so create admission refuses pieces that do
+ *   not sum to their total.
+ * - Integer minor-unit arithmetic: each piece is floor(amount * bps / 10000);
+ *   the division remainder goes to the FIRST piece unless a split names its
+ *   `remainder_to` recipient.
+ * - Schedules are finite by construction: a literal anchor count unrolls into
+ *   one due-driven verb per anchor, each its own idempotent lifecycle step.
+ * - Metered usage never accrues custody: each usage charge IS the ledger
+ *   transfer, so emission and ledger cannot diverge; the period close makes
+ *   further charges unreachable.
+ * - Deposits are reservations: placed as a hold, then posted to the holder
+ *   (claim) or voided back to the payer (return); the hold pairing law
+ *   accounts for the full amount on both exits.
+ *
+ * The lowering never shares code with the checker that verifies its output;
+ * that independence is the safety argument of the whole compiler.
+ */
+import type { Span } from "./ast.ts";
+import type { CheckedProgram } from "./model.ts";
+type Json = Record<string, unknown>;
+/**
+ * The most money events one program may mint. The Business Frame contract caps
+ * its moneyEvents array at the same number, and a runtime spec pins the two
+ * against each other, so neither can drift alone. Every installment anchor,
+ * fee leg, cancellation leg, abandonment refund, and forward counts one.
+ */
+export declare const MONEY_EVENT_BUDGET = 14;
+interface LoweredPiece {
+    /** Exact width of this piece in basis points of the held amount. */
+    readonly bps: number;
+    /** Party receiving this piece when the settlement cancels; absent without a cancel policy. */
+    readonly cancelTo?: string;
+    /** The required money field carrying this piece's minor-unit amount. */
+    readonly field: string;
+    /** Source span of the term this piece derives from (fee or split share). */
+    readonly origin: Span;
+    /** Party receiving this piece when the settlement releases. */
+    readonly releaseTo: string;
+}
+interface LoweredSettlement {
+    readonly name: string;
+    readonly pieces: readonly LoweredPiece[];
+    /** Payer-side service fee charged on top at funding, if any. */
+    readonly serviceFee?: {
+        readonly bps: number;
+        readonly field: string;
+    };
+}
+interface LoweringIssue {
+    readonly message: string;
+    readonly span: Span;
+}
+interface LoweredProgram {
+    /** The HSX-JSON IR document the independent checker verifies. */
+    readonly document: Json;
+    /** The congruent Business Frame: one money event per settlement behavior
+     * (funding stream, per-recipient release, per-party cancel, abandonment
+     * refund), each covering its piece movements. */
+    readonly frame: Json;
+    readonly settlements: readonly LoweredSettlement[];
+}
+export type LowerResult = {
+    readonly issues: readonly LoweringIssue[];
+    readonly ok: false;
+} | {
+    readonly ok: true;
+    readonly value: LoweredProgram;
+};
+/**
+ * Split a minor-unit amount across pieces by exact basis points. Floors every
+ * piece and gives the division remainder to the piece at `remainderIndex`
+ * (the first by default), so the piece amounts always sum exactly.
+ */
+export declare function pieceAmounts(pieces: readonly {
+    readonly bps: number;
+}[], amountMinor: bigint, remainderIndex?: number): bigint[];
+export declare function lowerProgram(program: CheckedProgram): LowerResult;
+export {};
+//# sourceMappingURL=lower.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lower.d.ts","sourceRoot":"","sources":["../../src/lower.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,KAAK,EAUV,cAAc,EAMf,MAAM,YAAY,CAAC;AAGpB,KAAK,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAEpC;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,KAAK,CAAC;AAIrC,UAAU,YAAY;IACpB,oEAAoE;IACpE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,8FAA8F;IAC9F,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,wEAAwE;IACxE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,4EAA4E;IAC5E,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,+DAA+D;IAC/D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,UAAU,iBAAiB;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,gEAAgE;IAChE,QAAQ,CAAC,UAAU,CAAC,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CACxE;AAED,UAAU,aAAa;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,UAAU,cAAc;IACtB,iEAAiE;IACjE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB;;qDAEiD;IACjD,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACpD;AAED,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;CAAE,GACjE;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;CAAE,CAAC;AAE1D;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,SAAS;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,EAAE,EAC3C,WAAW,EAAE,MAAM,EACnB,cAAc,SAAI,GACjB,MAAM,EAAE,CAWV;AAuKD,wBAAgB,YAAY,CAAC,OAAO,EAAE,cAAc,GAAG,WAAW,CA+MjE"}