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

package/dist/src/lower.d.ts

@@ -35,10 +35,11 @@ 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.
+ * against each other, so neither can drift alone. A repeatable schedule costs
+ * one event declaration. Fee legs, cancellation legs, refunds, and forwards
+ * each count when they emit their own event declaration.
  */
-export declare const MONEY_EVENT_BUDGET = 14;
+export declare const MONEY_EVENT_BUDGET = 20;
 interface LoweredPiece {
     /** Exact width of this piece in basis points of the held amount. */
     readonly bps: number;
@@ -60,7 +61,7 @@ interface LoweredSettlement {
         readonly field: string;
     };
 }
-interface LoweringIssue {
+export interface LoweringIssue {
     readonly message: string;
     readonly span: Span;
 }
@@ -88,6 +89,58 @@ export type LowerResult = {
 export declare function pieceAmounts(pieces: readonly {
     readonly bps: number;
 }[], amountMinor: bigint, remainderIndex?: number): bigint[];
+export type FrameActorRole = "beneficiary" | "guardian" | "holder" | "payer" | "provider";
+/** One role whose account endpoint repeats within one settlement. */
+export interface RepeatableCounterpartyRole {
+    readonly key: string;
+    readonly label: string;
+    readonly maxCount: number;
+    readonly minCount: number;
+    readonly origin: Span;
+    readonly role: FrameActorRole;
+}
+export type AmountDependencyExpression = {
+    readonly kind: "bounded_by_reference";
+    readonly reference: string;
+} | {
+    readonly kind: "net_of_offsets";
+    readonly offsets: readonly string[];
+    readonly source: string;
+} | {
+    readonly bps: number;
+    readonly kind: "percent_of_reference";
+    readonly reference: string;
+} | {
+    readonly consumed: readonly string[];
+    readonly kind: "remainder";
+    readonly source: string;
+};
+interface EventAmountFields {
+    readonly amountDependencies: readonly string[];
+    readonly amountMode: "fixed" | "remaining_balance" | "runtime_bounded";
+}
+/** Lower one arithmetic dependency into the Business Frame's existing keys. */
+export declare function lowerAmountDependency(expression?: AmountDependencyExpression): EventAmountFields;
+export interface EventSpec {
+    readonly amount: string;
+    readonly amountDependency?: AmountDependencyExpression;
+    readonly fromActor: string;
+    readonly key: string;
+    readonly kind: string;
+    readonly occurrence?: "once" | "repeatable";
+    readonly timing?: "external_schedule" | "on_lifecycle";
+    readonly toActor: string;
+    readonly trigger: string;
+}
+export declare function mintEvent(spec: EventSpec): Json;
 export declare function lowerProgram(program: CheckedProgram): LowerResult;
+/** Lower fixed parties plus future settlement-declared repeating roles. */
+export interface FrameActorLoweringResult {
+    readonly actors: readonly Record<string, unknown>[];
+    readonly issues: readonly LoweringIssue[];
+}
+export declare function lowerFrameActors(program: Pick<CheckedProgram, "parties" | "settlements">, repeatableCounterparties?: readonly RepeatableCounterpartyRole[]): FrameActorLoweringResult;
+/** Validate the completed event graph before HSX returns a frame. */
+export declare function validateAmountDependencyGraph(events: readonly Record<string, unknown>[], origin: Span): readonly LoweringIssue[];
 export {};
 //# sourceMappingURL=lower.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"lower.d.ts","sourceRoot":"","sources":["../../src/lower.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAErC,OAAO,KAAK,EAeV,cAAc,EAWf,MAAM,YAAY,CAAC;AAGpB,KAAK,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAEpC;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,KAAK,CAAC;AAKrC,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,MAAM,WAAW,aAAa;IAC5B,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;AAkBD,MAAM,MAAM,cAAc,GACtB,aAAa,GACb,UAAU,GACV,QAAQ,GACR,OAAO,GACP,UAAU,CAAC;AAEf,qEAAqE;AACrE,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;CAC/B;AAED,MAAM,MAAM,0BAA0B,GAClC;IACE,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,GACD;IACE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,GACD;IACE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEN,UAAU,iBAAiB;IACzB,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,OAAO,GAAG,mBAAmB,GAAG,iBAAiB,CAAC;CACxE;AAED,+EAA+E;AAC/E,wBAAgB,qBAAqB,CACnC,UAAU,CAAC,EAAE,0BAA0B,GACtC,iBAAiB,CAiDnB;AAaD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,0BAA0B,CAAC;IACvD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC;IAC5C,QAAQ,CAAC,MAAM,CAAC,EAAE,mBAAmB,GAAG,cAAc,CAAC;IACvD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAkFD,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,GAAG,IAAI,CAgB/C;AAqGD,wBAAgB,YAAY,CAAC,OAAO,EAAE,cAAc,GAAG,WAAW,CA0WjE;AA0HD,2EAA2E;AAC3E,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;CAC3C;AAED,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,IAAI,CAAC,cAAc,EAAE,SAAS,GAAG,aAAa,CAAC,EACxD,wBAAwB,GAAE,SAAS,0BAA0B,EAAO,GACnE,wBAAwB,CAgG1B;AAED,qEAAqE;AACrE,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAC1C,MAAM,EAAE,IAAI,GACX,SAAS,aAAa,EAAE,CAsD1B"}