@grimoirelabs/core 0.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/builders/expressions.d.ts +33 -0
- package/dist/builders/expressions.d.ts.map +1 -0
- package/dist/builders/expressions.js +57 -0
- package/dist/builders/expressions.js.map +1 -0
- package/dist/builders/index.d.ts +44 -0
- package/dist/builders/index.d.ts.map +1 -0
- package/dist/builders/index.js +32 -0
- package/dist/builders/index.js.map +1 -0
- package/dist/builders/spell-builder.d.ts +124 -0
- package/dist/builders/spell-builder.d.ts.map +1 -0
- package/dist/builders/spell-builder.js +299 -0
- package/dist/builders/spell-builder.js.map +1 -0
- package/dist/builders/step-builder.d.ts +212 -0
- package/dist/builders/step-builder.d.ts.map +1 -0
- package/dist/builders/step-builder.js +499 -0
- package/dist/builders/step-builder.js.map +1 -0
- package/dist/compiler/expression-parser.d.ts +14 -0
- package/dist/compiler/expression-parser.d.ts.map +1 -0
- package/dist/compiler/expression-parser.js +460 -0
- package/dist/compiler/expression-parser.js.map +1 -0
- package/dist/compiler/grimoire/ast.d.ts +450 -0
- package/dist/compiler/grimoire/ast.d.ts.map +1 -0
- package/dist/compiler/grimoire/ast.js +19 -0
- package/dist/compiler/grimoire/ast.js.map +1 -0
- package/dist/compiler/grimoire/errors.d.ts +65 -0
- package/dist/compiler/grimoire/errors.d.ts.map +1 -0
- package/dist/compiler/grimoire/errors.js +86 -0
- package/dist/compiler/grimoire/errors.js.map +1 -0
- package/dist/compiler/grimoire/index.d.ts +24 -0
- package/dist/compiler/grimoire/index.d.ts.map +1 -0
- package/dist/compiler/grimoire/index.js +63 -0
- package/dist/compiler/grimoire/index.js.map +1 -0
- package/dist/compiler/grimoire/parser.d.ts +135 -0
- package/dist/compiler/grimoire/parser.d.ts.map +1 -0
- package/dist/compiler/grimoire/parser.js +2148 -0
- package/dist/compiler/grimoire/parser.js.map +1 -0
- package/dist/compiler/grimoire/tokenizer.d.ts +59 -0
- package/dist/compiler/grimoire/tokenizer.d.ts.map +1 -0
- package/dist/compiler/grimoire/tokenizer.js +509 -0
- package/dist/compiler/grimoire/tokenizer.js.map +1 -0
- package/dist/compiler/grimoire/transformer.d.ts +71 -0
- package/dist/compiler/grimoire/transformer.d.ts.map +1 -0
- package/dist/compiler/grimoire/transformer.js +1011 -0
- package/dist/compiler/grimoire/transformer.js.map +1 -0
- package/dist/compiler/index.d.ts +45 -0
- package/dist/compiler/index.d.ts.map +1 -0
- package/dist/compiler/index.js +97 -0
- package/dist/compiler/index.js.map +1 -0
- package/dist/compiler/ir-generator.d.ts +16 -0
- package/dist/compiler/ir-generator.d.ts.map +1 -0
- package/dist/compiler/ir-generator.js +997 -0
- package/dist/compiler/ir-generator.js.map +1 -0
- package/dist/compiler/validator.d.ts +15 -0
- package/dist/compiler/validator.d.ts.map +1 -0
- package/dist/compiler/validator.js +401 -0
- package/dist/compiler/validator.js.map +1 -0
- package/dist/index.d.ts +16 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +17 -0
- package/dist/index.js.map +1 -0
- package/dist/runtime/circuit-breaker.d.ts +59 -0
- package/dist/runtime/circuit-breaker.d.ts.map +1 -0
- package/dist/runtime/circuit-breaker.js +155 -0
- package/dist/runtime/circuit-breaker.js.map +1 -0
- package/dist/runtime/context.d.ts +92 -0
- package/dist/runtime/context.d.ts.map +1 -0
- package/dist/runtime/context.js +219 -0
- package/dist/runtime/context.js.map +1 -0
- package/dist/runtime/error-classifier.d.ts +16 -0
- package/dist/runtime/error-classifier.d.ts.map +1 -0
- package/dist/runtime/error-classifier.js +38 -0
- package/dist/runtime/error-classifier.js.map +1 -0
- package/dist/runtime/expression-evaluator.d.ts +36 -0
- package/dist/runtime/expression-evaluator.d.ts.map +1 -0
- package/dist/runtime/expression-evaluator.js +391 -0
- package/dist/runtime/expression-evaluator.js.map +1 -0
- package/dist/runtime/index.d.ts +12 -0
- package/dist/runtime/index.d.ts.map +1 -0
- package/dist/runtime/index.js +11 -0
- package/dist/runtime/index.js.map +1 -0
- package/dist/runtime/interpreter.d.ts +59 -0
- package/dist/runtime/interpreter.d.ts.map +1 -0
- package/dist/runtime/interpreter.js +414 -0
- package/dist/runtime/interpreter.js.map +1 -0
- package/dist/runtime/skills/registry.d.ts +11 -0
- package/dist/runtime/skills/registry.d.ts.map +1 -0
- package/dist/runtime/skills/registry.js +73 -0
- package/dist/runtime/skills/registry.js.map +1 -0
- package/dist/runtime/sqlite-state-store.d.ts +28 -0
- package/dist/runtime/sqlite-state-store.d.ts.map +1 -0
- package/dist/runtime/sqlite-state-store.js +180 -0
- package/dist/runtime/sqlite-state-store.js.map +1 -0
- package/dist/runtime/state-store.d.ts +52 -0
- package/dist/runtime/state-store.d.ts.map +1 -0
- package/dist/runtime/state-store.js +32 -0
- package/dist/runtime/state-store.js.map +1 -0
- package/dist/runtime/steps/action.d.ts +17 -0
- package/dist/runtime/steps/action.d.ts.map +1 -0
- package/dist/runtime/steps/action.js +430 -0
- package/dist/runtime/steps/action.js.map +1 -0
- package/dist/runtime/steps/advisory.d.ts +28 -0
- package/dist/runtime/steps/advisory.d.ts.map +1 -0
- package/dist/runtime/steps/advisory.js +209 -0
- package/dist/runtime/steps/advisory.js.map +1 -0
- package/dist/runtime/steps/compute.d.ts +9 -0
- package/dist/runtime/steps/compute.d.ts.map +1 -0
- package/dist/runtime/steps/compute.js +74 -0
- package/dist/runtime/steps/compute.js.map +1 -0
- package/dist/runtime/steps/conditional.d.ts +14 -0
- package/dist/runtime/steps/conditional.d.ts.map +1 -0
- package/dist/runtime/steps/conditional.js +58 -0
- package/dist/runtime/steps/conditional.js.map +1 -0
- package/dist/runtime/steps/emit.d.ts +9 -0
- package/dist/runtime/steps/emit.d.ts.map +1 -0
- package/dist/runtime/steps/emit.js +70 -0
- package/dist/runtime/steps/emit.js.map +1 -0
- package/dist/runtime/steps/halt.d.ts +9 -0
- package/dist/runtime/steps/halt.d.ts.map +1 -0
- package/dist/runtime/steps/halt.js +19 -0
- package/dist/runtime/steps/halt.js.map +1 -0
- package/dist/runtime/steps/loop.d.ts +14 -0
- package/dist/runtime/steps/loop.d.ts.map +1 -0
- package/dist/runtime/steps/loop.js +109 -0
- package/dist/runtime/steps/loop.js.map +1 -0
- package/dist/runtime/steps/parallel.d.ts +9 -0
- package/dist/runtime/steps/parallel.d.ts.map +1 -0
- package/dist/runtime/steps/parallel.js +87 -0
- package/dist/runtime/steps/parallel.js.map +1 -0
- package/dist/runtime/steps/pipeline.d.ts +9 -0
- package/dist/runtime/steps/pipeline.d.ts.map +1 -0
- package/dist/runtime/steps/pipeline.js +125 -0
- package/dist/runtime/steps/pipeline.js.map +1 -0
- package/dist/runtime/steps/try.d.ts +13 -0
- package/dist/runtime/steps/try.d.ts.map +1 -0
- package/dist/runtime/steps/try.js +222 -0
- package/dist/runtime/steps/try.js.map +1 -0
- package/dist/runtime/steps/wait.d.ts +9 -0
- package/dist/runtime/steps/wait.d.ts.map +1 -0
- package/dist/runtime/steps/wait.js +38 -0
- package/dist/runtime/steps/wait.js.map +1 -0
- package/dist/types/actions.d.ts +162 -0
- package/dist/types/actions.d.ts.map +1 -0
- package/dist/types/actions.js +5 -0
- package/dist/types/actions.js.map +1 -0
- package/dist/types/execution.d.ts +276 -0
- package/dist/types/execution.d.ts.map +1 -0
- package/dist/types/execution.js +5 -0
- package/dist/types/execution.js.map +1 -0
- package/dist/types/expressions.d.ts +100 -0
- package/dist/types/expressions.d.ts.map +1 -0
- package/dist/types/expressions.js +48 -0
- package/dist/types/expressions.js.map +1 -0
- package/dist/types/index.d.ts +14 -0
- package/dist/types/index.d.ts.map +1 -0
- package/dist/types/index.js +5 -0
- package/dist/types/index.js.map +1 -0
- package/dist/types/ir.d.ts +187 -0
- package/dist/types/ir.d.ts.map +1 -0
- package/dist/types/ir.js +5 -0
- package/dist/types/ir.js.map +1 -0
- package/dist/types/policy.d.ts +123 -0
- package/dist/types/policy.d.ts.map +1 -0
- package/dist/types/policy.js +5 -0
- package/dist/types/policy.js.map +1 -0
- package/dist/types/primitives.d.ts +76 -0
- package/dist/types/primitives.d.ts.map +1 -0
- package/dist/types/primitives.js +10 -0
- package/dist/types/primitives.js.map +1 -0
- package/dist/types/steps.d.ts +226 -0
- package/dist/types/steps.d.ts.map +1 -0
- package/dist/types/steps.js +5 -0
- package/dist/types/steps.js.map +1 -0
- package/dist/venues/index.d.ts +6 -0
- package/dist/venues/index.d.ts.map +1 -0
- package/dist/venues/index.js +26 -0
- package/dist/venues/index.js.map +1 -0
- package/dist/venues/types.d.ts +40 -0
- package/dist/venues/types.d.ts.map +1 -0
- package/dist/venues/types.js +5 -0
- package/dist/venues/types.js.map +1 -0
- package/dist/wallet/executor.d.ts +109 -0
- package/dist/wallet/executor.d.ts.map +1 -0
- package/dist/wallet/executor.js +354 -0
- package/dist/wallet/executor.js.map +1 -0
- package/dist/wallet/index.d.ts +14 -0
- package/dist/wallet/index.d.ts.map +1 -0
- package/dist/wallet/index.js +13 -0
- package/dist/wallet/index.js.map +1 -0
- package/dist/wallet/keystore.d.ts +44 -0
- package/dist/wallet/keystore.d.ts.map +1 -0
- package/dist/wallet/keystore.js +296 -0
- package/dist/wallet/keystore.js.map +1 -0
- package/dist/wallet/provider.d.ts +111 -0
- package/dist/wallet/provider.d.ts.map +1 -0
- package/dist/wallet/provider.js +309 -0
- package/dist/wallet/provider.js.map +1 -0
- package/dist/wallet/tx-builder.d.ts +85 -0
- package/dist/wallet/tx-builder.d.ts.map +1 -0
- package/dist/wallet/tx-builder.js +290 -0
- package/dist/wallet/tx-builder.js.map +1 -0
- package/dist/wallet/types.d.ts +116 -0
- package/dist/wallet/types.d.ts.map +1 -0
- package/dist/wallet/types.js +86 -0
- package/dist/wallet/types.js.map +1 -0
- package/package.json +39 -0
|
@@ -0,0 +1,162 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Action types for DeFi operations
|
|
3
|
+
*/
|
|
4
|
+
import type { Expression } from "./expressions.js";
|
|
5
|
+
import type { Address, AssetId, BasisPoints, ChainId } from "./primitives.js";
|
|
6
|
+
/** Constraints for actions */
|
|
7
|
+
export interface ActionConstraints {
|
|
8
|
+
maxSlippageBps?: BasisPoints;
|
|
9
|
+
maxPriceImpactBps?: BasisPoints;
|
|
10
|
+
deadline?: number;
|
|
11
|
+
minOutput?: Expression;
|
|
12
|
+
maxInput?: Expression;
|
|
13
|
+
minLiquidity?: Expression;
|
|
14
|
+
requireQuote?: Expression;
|
|
15
|
+
requireSimulation?: Expression;
|
|
16
|
+
maxGas?: Expression;
|
|
17
|
+
}
|
|
18
|
+
export interface ActionConstraintsResolved {
|
|
19
|
+
maxSlippageBps?: BasisPoints;
|
|
20
|
+
maxPriceImpactBps?: BasisPoints;
|
|
21
|
+
deadline?: number;
|
|
22
|
+
minOutput?: bigint;
|
|
23
|
+
maxInput?: bigint;
|
|
24
|
+
minLiquidity?: bigint;
|
|
25
|
+
requireQuote?: boolean;
|
|
26
|
+
requireSimulation?: boolean;
|
|
27
|
+
maxGas?: bigint;
|
|
28
|
+
}
|
|
29
|
+
export type ActionAmount = Expression | bigint;
|
|
30
|
+
export type ActionChainId = Expression | ChainId;
|
|
31
|
+
type ActionBase = SwapAction | LendAction | WithdrawAction | BorrowAction | RepayAction | StakeAction | UnstakeAction | BridgeAction | ClaimAction | TransferAction | ApproveAction;
|
|
32
|
+
/** All action types */
|
|
33
|
+
export type Action = ActionBase & {
|
|
34
|
+
constraints?: ActionConstraintsResolved;
|
|
35
|
+
};
|
|
36
|
+
/** Action type discriminator */
|
|
37
|
+
export type ActionType = Action["type"];
|
|
38
|
+
/** Swap tokens */
|
|
39
|
+
export interface SwapAction {
|
|
40
|
+
type: "swap";
|
|
41
|
+
venue: string;
|
|
42
|
+
assetIn: AssetId;
|
|
43
|
+
assetOut: AssetId;
|
|
44
|
+
amount: ActionAmount;
|
|
45
|
+
mode: "exact_in" | "exact_out";
|
|
46
|
+
}
|
|
47
|
+
/** Lend/Supply to protocol */
|
|
48
|
+
export interface LendAction {
|
|
49
|
+
type: "lend";
|
|
50
|
+
venue: string;
|
|
51
|
+
asset: AssetId;
|
|
52
|
+
amount: ActionAmount | "max";
|
|
53
|
+
}
|
|
54
|
+
/** Withdraw from protocol */
|
|
55
|
+
export interface WithdrawAction {
|
|
56
|
+
type: "withdraw";
|
|
57
|
+
venue: string;
|
|
58
|
+
asset: AssetId;
|
|
59
|
+
amount: ActionAmount | "max";
|
|
60
|
+
}
|
|
61
|
+
/** Borrow from protocol */
|
|
62
|
+
export interface BorrowAction {
|
|
63
|
+
type: "borrow";
|
|
64
|
+
venue: string;
|
|
65
|
+
asset: AssetId;
|
|
66
|
+
amount: ActionAmount;
|
|
67
|
+
collateral?: AssetId;
|
|
68
|
+
}
|
|
69
|
+
/** Repay debt */
|
|
70
|
+
export interface RepayAction {
|
|
71
|
+
type: "repay";
|
|
72
|
+
venue: string;
|
|
73
|
+
asset: AssetId;
|
|
74
|
+
amount: ActionAmount | "max";
|
|
75
|
+
}
|
|
76
|
+
/** Stake tokens */
|
|
77
|
+
export interface StakeAction {
|
|
78
|
+
type: "stake";
|
|
79
|
+
venue: string;
|
|
80
|
+
asset: AssetId;
|
|
81
|
+
amount: ActionAmount;
|
|
82
|
+
}
|
|
83
|
+
/** Unstake tokens */
|
|
84
|
+
export interface UnstakeAction {
|
|
85
|
+
type: "unstake";
|
|
86
|
+
venue: string;
|
|
87
|
+
asset: AssetId;
|
|
88
|
+
amount: ActionAmount | "max";
|
|
89
|
+
}
|
|
90
|
+
/** Bridge to another chain */
|
|
91
|
+
export interface BridgeAction {
|
|
92
|
+
type: "bridge";
|
|
93
|
+
venue: string;
|
|
94
|
+
asset: AssetId;
|
|
95
|
+
amount: ActionAmount;
|
|
96
|
+
toChain: ActionChainId;
|
|
97
|
+
}
|
|
98
|
+
/** Claim rewards */
|
|
99
|
+
export interface ClaimAction {
|
|
100
|
+
type: "claim";
|
|
101
|
+
venue: string;
|
|
102
|
+
assets?: AssetId[];
|
|
103
|
+
}
|
|
104
|
+
/** Transfer tokens */
|
|
105
|
+
export interface TransferAction {
|
|
106
|
+
type: "transfer";
|
|
107
|
+
asset: AssetId;
|
|
108
|
+
amount: ActionAmount;
|
|
109
|
+
to: Address | Expression;
|
|
110
|
+
}
|
|
111
|
+
/** Approve token spending */
|
|
112
|
+
export interface ApproveAction {
|
|
113
|
+
type: "approve";
|
|
114
|
+
asset: AssetId;
|
|
115
|
+
amount: ActionAmount;
|
|
116
|
+
spender: Address;
|
|
117
|
+
}
|
|
118
|
+
/** Result of building calldata */
|
|
119
|
+
export interface CalldataBundle {
|
|
120
|
+
to: Address;
|
|
121
|
+
data: `0x${string}`;
|
|
122
|
+
value: bigint;
|
|
123
|
+
gasLimit?: bigint;
|
|
124
|
+
}
|
|
125
|
+
/** Result of simulating an action */
|
|
126
|
+
export interface SimulationResult {
|
|
127
|
+
success: boolean;
|
|
128
|
+
input: {
|
|
129
|
+
asset: AssetId;
|
|
130
|
+
amount: bigint;
|
|
131
|
+
};
|
|
132
|
+
output: {
|
|
133
|
+
asset: AssetId;
|
|
134
|
+
amount: bigint;
|
|
135
|
+
};
|
|
136
|
+
gasEstimate: bigint;
|
|
137
|
+
priceImpact?: BasisPoints;
|
|
138
|
+
error?: string;
|
|
139
|
+
}
|
|
140
|
+
/** Result of executing an action */
|
|
141
|
+
export interface ActionResult {
|
|
142
|
+
success: boolean;
|
|
143
|
+
action: Action;
|
|
144
|
+
venue: {
|
|
145
|
+
alias: string;
|
|
146
|
+
chain: ChainId;
|
|
147
|
+
address: Address;
|
|
148
|
+
};
|
|
149
|
+
txHash?: `0x${string}`;
|
|
150
|
+
gasUsed?: bigint;
|
|
151
|
+
input: {
|
|
152
|
+
asset: AssetId;
|
|
153
|
+
amount: bigint;
|
|
154
|
+
};
|
|
155
|
+
output: {
|
|
156
|
+
asset: AssetId;
|
|
157
|
+
amount: bigint;
|
|
158
|
+
};
|
|
159
|
+
error?: string;
|
|
160
|
+
}
|
|
161
|
+
export {};
|
|
162
|
+
//# sourceMappingURL=actions.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"actions.d.ts","sourceRoot":"","sources":["../../src/types/actions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE9E,8BAA8B;AAC9B,MAAM,WAAW,iBAAiB;IAChC,cAAc,CAAC,EAAE,WAAW,CAAC;IAC7B,iBAAiB,CAAC,EAAE,WAAW,CAAC;IAChC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,UAAU,CAAC;IACvB,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB,YAAY,CAAC,EAAE,UAAU,CAAC;IAC1B,YAAY,CAAC,EAAE,UAAU,CAAC;IAC1B,iBAAiB,CAAC,EAAE,UAAU,CAAC;IAC/B,MAAM,CAAC,EAAE,UAAU,CAAC;CACrB;AAED,MAAM,WAAW,yBAAyB;IACxC,cAAc,CAAC,EAAE,WAAW,CAAC;IAC7B,iBAAiB,CAAC,EAAE,WAAW,CAAC;IAChC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,MAAM,CAAC;AAC/C,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,OAAO,CAAC;AAEjD,KAAK,UAAU,GACX,UAAU,GACV,UAAU,GACV,cAAc,GACd,YAAY,GACZ,WAAW,GACX,WAAW,GACX,aAAa,GACb,YAAY,GACZ,WAAW,GACX,cAAc,GACd,aAAa,CAAC;AAElB,uBAAuB;AACvB,MAAM,MAAM,MAAM,GAAG,UAAU,GAAG;IAAE,WAAW,CAAC,EAAE,yBAAyB,CAAA;CAAE,CAAC;AAE9E,gCAAgC;AAChC,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;AAExC,kBAAkB;AAClB,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,YAAY,CAAC;IACrB,IAAI,EAAE,UAAU,GAAG,WAAW,CAAC;CAChC;AAED,8BAA8B;AAC9B,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,YAAY,GAAG,KAAK,CAAC;CAC9B;AAED,6BAA6B;AAC7B,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,YAAY,GAAG,KAAK,CAAC;CAC9B;AAED,2BAA2B;AAC3B,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,YAAY,CAAC;IACrB,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB;AAED,iBAAiB;AACjB,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,YAAY,GAAG,KAAK,CAAC;CAC9B;AAED,mBAAmB;AACnB,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,YAAY,CAAC;CACtB;AAED,qBAAqB;AACrB,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,YAAY,GAAG,KAAK,CAAC;CAC9B;AAED,8BAA8B;AAC9B,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,aAAa,CAAC;CACxB;AAED,oBAAoB;AACpB,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;CACpB;AAED,sBAAsB;AACtB,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,YAAY,CAAC;IACrB,EAAE,EAAE,OAAO,GAAG,UAAU,CAAC;CAC1B;AAED,6BAA6B;AAC7B,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,kCAAkC;AAClC,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,OAAO,CAAC;IACZ,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,qCAAqC;AACrC,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE;QACL,KAAK,EAAE,OAAO,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;IACF,MAAM,EAAE;QACN,KAAK,EAAE,OAAO,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;IACF,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,oCAAoC;AACpC,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE;QACL,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,OAAO,CAAC;QACf,OAAO,EAAE,OAAO,CAAC;KAClB,CAAC;IACF,MAAM,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE;QACL,KAAK,EAAE,OAAO,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;IACF,MAAM,EAAE;QACN,KAAK,EAAE,OAAO,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;IACF,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"actions.js","sourceRoot":"","sources":["../../src/types/actions.ts"],"names":[],"mappings":"AAAA;;GAEG"}
|
|
@@ -0,0 +1,276 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Execution context and result types
|
|
3
|
+
*/
|
|
4
|
+
import type { Action, ActionConstraintsResolved } from "./actions.js";
|
|
5
|
+
import type { SpellIR } from "./ir.js";
|
|
6
|
+
import type { PolicySet } from "./policy.js";
|
|
7
|
+
import type { Address, ChainId, Timestamp, VenueAlias } from "./primitives.js";
|
|
8
|
+
/**
|
|
9
|
+
* Execution context - passed through during spell execution
|
|
10
|
+
*/
|
|
11
|
+
export interface ExecutionContext {
|
|
12
|
+
spell: SpellIR;
|
|
13
|
+
policy?: PolicySet;
|
|
14
|
+
advisorTooling?: Record<string, {
|
|
15
|
+
skills: string[];
|
|
16
|
+
allowedTools: string[];
|
|
17
|
+
mcp?: string[];
|
|
18
|
+
}>;
|
|
19
|
+
runId: string;
|
|
20
|
+
startTime: Timestamp;
|
|
21
|
+
trigger: {
|
|
22
|
+
type: string;
|
|
23
|
+
[key: string]: unknown;
|
|
24
|
+
};
|
|
25
|
+
vault: Address;
|
|
26
|
+
chain: ChainId;
|
|
27
|
+
state: {
|
|
28
|
+
persistent: Map<string, unknown>;
|
|
29
|
+
ephemeral: Map<string, unknown>;
|
|
30
|
+
};
|
|
31
|
+
bindings: Map<string, unknown>;
|
|
32
|
+
callStack: CallFrame[];
|
|
33
|
+
executedSteps: string[];
|
|
34
|
+
metrics: ExecutionMetrics;
|
|
35
|
+
}
|
|
36
|
+
/** Call frame for tracking nested execution */
|
|
37
|
+
export interface CallFrame {
|
|
38
|
+
stepId: string;
|
|
39
|
+
startTime: Timestamp;
|
|
40
|
+
iteration?: number;
|
|
41
|
+
branch?: string;
|
|
42
|
+
}
|
|
43
|
+
/** Execution metrics */
|
|
44
|
+
export interface ExecutionMetrics {
|
|
45
|
+
stepsExecuted: number;
|
|
46
|
+
actionsExecuted: number;
|
|
47
|
+
gasUsed: bigint;
|
|
48
|
+
advisoryCalls: number;
|
|
49
|
+
errors: number;
|
|
50
|
+
retries: number;
|
|
51
|
+
}
|
|
52
|
+
/**
|
|
53
|
+
* Result of executing a spell
|
|
54
|
+
*/
|
|
55
|
+
export interface ExecutionResult {
|
|
56
|
+
success: boolean;
|
|
57
|
+
runId: string;
|
|
58
|
+
startTime: Timestamp;
|
|
59
|
+
endTime: Timestamp;
|
|
60
|
+
duration: number;
|
|
61
|
+
error?: string;
|
|
62
|
+
metrics: ExecutionMetrics;
|
|
63
|
+
finalState: Record<string, unknown>;
|
|
64
|
+
ledgerEvents: LedgerEntry[];
|
|
65
|
+
}
|
|
66
|
+
/**
|
|
67
|
+
* Result of executing a single step
|
|
68
|
+
*/
|
|
69
|
+
export interface StepResult {
|
|
70
|
+
success: boolean;
|
|
71
|
+
stepId: string;
|
|
72
|
+
output?: unknown;
|
|
73
|
+
error?: string;
|
|
74
|
+
halted?: boolean;
|
|
75
|
+
skipped?: boolean;
|
|
76
|
+
fallback?: boolean;
|
|
77
|
+
}
|
|
78
|
+
/** All ledger event types */
|
|
79
|
+
export type LedgerEvent = RunStartedEvent | RunCompletedEvent | RunFailedEvent | StepStartedEvent | StepCompletedEvent | StepFailedEvent | StepSkippedEvent | ActionSimulatedEvent | ActionSubmittedEvent | ActionConfirmedEvent | ActionRevertedEvent | PolicyCheckPassedEvent | PolicyCheckFailedEvent | GuardPassedEvent | GuardFailedEvent | StateReadEvent | StateWriteEvent | BindingSetEvent | AdvisoryStartedEvent | AdvisoryCompletedEvent | AdvisoryFailedEvent | AdvisoryRateLimitedEvent | EventEmittedEvent | ConstraintEvaluatedEvent | ErrorCaughtEvent | RetryAttemptedEvent | RetrySucceededEvent | RetryExhaustedEvent | CircuitBreakerTriggeredEvent | CircuitBreakerActionEvent;
|
|
80
|
+
interface RunStartedEvent {
|
|
81
|
+
type: "run_started";
|
|
82
|
+
runId: string;
|
|
83
|
+
spellId: string;
|
|
84
|
+
trigger: {
|
|
85
|
+
type: string;
|
|
86
|
+
};
|
|
87
|
+
}
|
|
88
|
+
interface RunCompletedEvent {
|
|
89
|
+
type: "run_completed";
|
|
90
|
+
runId: string;
|
|
91
|
+
success: boolean;
|
|
92
|
+
metrics: ExecutionMetrics;
|
|
93
|
+
}
|
|
94
|
+
interface RunFailedEvent {
|
|
95
|
+
type: "run_failed";
|
|
96
|
+
runId: string;
|
|
97
|
+
error: string;
|
|
98
|
+
}
|
|
99
|
+
interface StepStartedEvent {
|
|
100
|
+
type: "step_started";
|
|
101
|
+
stepId: string;
|
|
102
|
+
kind: string;
|
|
103
|
+
}
|
|
104
|
+
interface StepCompletedEvent {
|
|
105
|
+
type: "step_completed";
|
|
106
|
+
stepId: string;
|
|
107
|
+
result: unknown;
|
|
108
|
+
}
|
|
109
|
+
interface StepFailedEvent {
|
|
110
|
+
type: "step_failed";
|
|
111
|
+
stepId: string;
|
|
112
|
+
error: string;
|
|
113
|
+
line?: number;
|
|
114
|
+
column?: number;
|
|
115
|
+
}
|
|
116
|
+
interface StepSkippedEvent {
|
|
117
|
+
type: "step_skipped";
|
|
118
|
+
stepId: string;
|
|
119
|
+
reason: string;
|
|
120
|
+
}
|
|
121
|
+
interface ActionSimulatedEvent {
|
|
122
|
+
type: "action_simulated";
|
|
123
|
+
action: Action;
|
|
124
|
+
venue: VenueAlias;
|
|
125
|
+
result: {
|
|
126
|
+
success: boolean;
|
|
127
|
+
input: {
|
|
128
|
+
asset: string;
|
|
129
|
+
amount: string;
|
|
130
|
+
};
|
|
131
|
+
output: {
|
|
132
|
+
asset: string;
|
|
133
|
+
amount: string;
|
|
134
|
+
};
|
|
135
|
+
gasEstimate: string;
|
|
136
|
+
};
|
|
137
|
+
}
|
|
138
|
+
interface ActionSubmittedEvent {
|
|
139
|
+
type: "action_submitted";
|
|
140
|
+
action: Action;
|
|
141
|
+
txHash: string;
|
|
142
|
+
}
|
|
143
|
+
interface ActionConfirmedEvent {
|
|
144
|
+
type: "action_confirmed";
|
|
145
|
+
txHash: string;
|
|
146
|
+
gasUsed: string;
|
|
147
|
+
}
|
|
148
|
+
interface ActionRevertedEvent {
|
|
149
|
+
type: "action_reverted";
|
|
150
|
+
txHash: string;
|
|
151
|
+
reason: string;
|
|
152
|
+
}
|
|
153
|
+
interface PolicyCheckPassedEvent {
|
|
154
|
+
type: "policy_check_passed";
|
|
155
|
+
action: Action;
|
|
156
|
+
}
|
|
157
|
+
interface PolicyCheckFailedEvent {
|
|
158
|
+
type: "policy_check_failed";
|
|
159
|
+
action: Action;
|
|
160
|
+
violations: string[];
|
|
161
|
+
}
|
|
162
|
+
interface GuardPassedEvent {
|
|
163
|
+
type: "guard_passed";
|
|
164
|
+
guardId: string;
|
|
165
|
+
}
|
|
166
|
+
interface GuardFailedEvent {
|
|
167
|
+
type: "guard_failed";
|
|
168
|
+
guardId: string;
|
|
169
|
+
severity: string;
|
|
170
|
+
message: string;
|
|
171
|
+
}
|
|
172
|
+
interface StateReadEvent {
|
|
173
|
+
type: "state_read";
|
|
174
|
+
scope: string;
|
|
175
|
+
key: string;
|
|
176
|
+
value: unknown;
|
|
177
|
+
}
|
|
178
|
+
interface StateWriteEvent {
|
|
179
|
+
type: "state_write";
|
|
180
|
+
scope: string;
|
|
181
|
+
key: string;
|
|
182
|
+
oldValue: unknown;
|
|
183
|
+
newValue: unknown;
|
|
184
|
+
}
|
|
185
|
+
interface BindingSetEvent {
|
|
186
|
+
type: "binding_set";
|
|
187
|
+
name: string;
|
|
188
|
+
value: unknown;
|
|
189
|
+
}
|
|
190
|
+
interface AdvisoryStartedEvent {
|
|
191
|
+
type: "advisory_started";
|
|
192
|
+
advisor: string;
|
|
193
|
+
prompt: string;
|
|
194
|
+
skills?: string[];
|
|
195
|
+
allowedTools?: string[];
|
|
196
|
+
mcp?: string[];
|
|
197
|
+
schema?: AdvisorySchemaEvent;
|
|
198
|
+
}
|
|
199
|
+
interface AdvisoryCompletedEvent {
|
|
200
|
+
type: "advisory_completed";
|
|
201
|
+
advisor: string;
|
|
202
|
+
output: unknown;
|
|
203
|
+
}
|
|
204
|
+
interface AdvisoryFailedEvent {
|
|
205
|
+
type: "advisory_failed";
|
|
206
|
+
advisor: string;
|
|
207
|
+
error: string;
|
|
208
|
+
fallback: unknown;
|
|
209
|
+
}
|
|
210
|
+
interface AdvisoryRateLimitedEvent {
|
|
211
|
+
type: "advisory_rate_limited";
|
|
212
|
+
advisor: string;
|
|
213
|
+
}
|
|
214
|
+
interface EventEmittedEvent {
|
|
215
|
+
type: "event_emitted";
|
|
216
|
+
stepId: string;
|
|
217
|
+
event: string;
|
|
218
|
+
data: Record<string, unknown>;
|
|
219
|
+
}
|
|
220
|
+
interface ConstraintEvaluatedEvent {
|
|
221
|
+
type: "constraint_evaluated";
|
|
222
|
+
stepId: string;
|
|
223
|
+
constraints: ActionConstraintsResolved;
|
|
224
|
+
}
|
|
225
|
+
interface ErrorCaughtEvent {
|
|
226
|
+
type: "error_caught";
|
|
227
|
+
stepId: string;
|
|
228
|
+
errorType: string;
|
|
229
|
+
handler: string;
|
|
230
|
+
}
|
|
231
|
+
interface RetryAttemptedEvent {
|
|
232
|
+
type: "retry_attempted";
|
|
233
|
+
stepId: string;
|
|
234
|
+
attempt: number;
|
|
235
|
+
}
|
|
236
|
+
interface RetrySucceededEvent {
|
|
237
|
+
type: "retry_succeeded";
|
|
238
|
+
stepId: string;
|
|
239
|
+
attempt: number;
|
|
240
|
+
}
|
|
241
|
+
interface RetryExhaustedEvent {
|
|
242
|
+
type: "retry_exhausted";
|
|
243
|
+
stepId: string;
|
|
244
|
+
attempts: number;
|
|
245
|
+
}
|
|
246
|
+
interface CircuitBreakerTriggeredEvent {
|
|
247
|
+
type: "circuit_breaker_triggered";
|
|
248
|
+
breakerId: string;
|
|
249
|
+
trigger: unknown;
|
|
250
|
+
}
|
|
251
|
+
interface CircuitBreakerActionEvent {
|
|
252
|
+
type: "circuit_breaker_action";
|
|
253
|
+
breakerId: string;
|
|
254
|
+
action: string;
|
|
255
|
+
}
|
|
256
|
+
/** Ledger entry with metadata */
|
|
257
|
+
export interface LedgerEntry {
|
|
258
|
+
id: string;
|
|
259
|
+
timestamp: Timestamp;
|
|
260
|
+
runId: string;
|
|
261
|
+
spellId: string;
|
|
262
|
+
event: LedgerEvent;
|
|
263
|
+
}
|
|
264
|
+
export interface AdvisorySchemaEvent {
|
|
265
|
+
type: "boolean" | "number" | "enum" | "string" | "object" | "array";
|
|
266
|
+
values?: string[];
|
|
267
|
+
min?: number;
|
|
268
|
+
max?: number;
|
|
269
|
+
minLength?: number;
|
|
270
|
+
maxLength?: number;
|
|
271
|
+
pattern?: string;
|
|
272
|
+
fields?: Record<string, AdvisorySchemaEvent>;
|
|
273
|
+
items?: AdvisorySchemaEvent;
|
|
274
|
+
}
|
|
275
|
+
export {};
|
|
276
|
+
//# sourceMappingURL=execution.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"execution.d.ts","sourceRoot":"","sources":["../../src/types/execution.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE/E;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAE/B,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CACrB,MAAM,EACN;QACE,MAAM,EAAE,MAAM,EAAE,CAAC;QACjB,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC;KAChB,CACF,CAAC;IAGF,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,SAAS,CAAC;IACrB,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,CAAC;IAGlD,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,EAAE,OAAO,CAAC;IAGf,KAAK,EAAE;QACL,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACjC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KACjC,CAAC;IACF,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAG/B,SAAS,EAAE,SAAS,EAAE,CAAC;IACvB,aAAa,EAAE,MAAM,EAAE,CAAC;IAGxB,OAAO,EAAE,gBAAgB,CAAC;CAC3B;AAED,+CAA+C;AAC/C,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,SAAS,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAwB;AACxB,MAAM,WAAW,gBAAgB;IAC/B,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,SAAS,CAAC;IACrB,OAAO,EAAE,SAAS,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,gBAAgB,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACpC,YAAY,EAAE,WAAW,EAAE,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAMD,6BAA6B;AAC7B,MAAM,MAAM,WAAW,GAEnB,eAAe,GACf,iBAAiB,GACjB,cAAc,GAEd,gBAAgB,GAChB,kBAAkB,GAClB,eAAe,GACf,gBAAgB,GAEhB,oBAAoB,GACpB,oBAAoB,GACpB,oBAAoB,GACpB,mBAAmB,GAEnB,sBAAsB,GACtB,sBAAsB,GAEtB,gBAAgB,GAChB,gBAAgB,GAEhB,cAAc,GACd,eAAe,GACf,eAAe,GAEf,oBAAoB,GACpB,sBAAsB,GACtB,mBAAmB,GACnB,wBAAwB,GAExB,iBAAiB,GACjB,wBAAwB,GAExB,gBAAgB,GAChB,mBAAmB,GACnB,mBAAmB,GACnB,mBAAmB,GAEnB,4BAA4B,GAC5B,yBAAyB,CAAC;AAG9B,UAAU,eAAe;IACvB,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;CAC3B;AAED,UAAU,iBAAiB;IACzB,IAAI,EAAE,eAAe,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,gBAAgB,CAAC;CAC3B;AAED,UAAU,cAAc;IACtB,IAAI,EAAE,YAAY,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACf;AAGD,UAAU,gBAAgB;IACxB,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AAED,UAAU,kBAAkB;IAC1B,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,UAAU,eAAe;IACvB,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,UAAU,gBAAgB;IACxB,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAGD,UAAU,oBAAoB;IAC5B,IAAI,EAAE,kBAAkB,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,UAAU,CAAC;IAClB,MAAM,EAAE;QACN,OAAO,EAAE,OAAO,CAAC;QACjB,KAAK,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAA;SAAE,CAAC;QACzC,MAAM,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAA;SAAE,CAAC;QAC1C,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,UAAU,oBAAoB;IAC5B,IAAI,EAAE,kBAAkB,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,UAAU,oBAAoB;IAC5B,IAAI,EAAE,kBAAkB,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,UAAU,mBAAmB;IAC3B,IAAI,EAAE,iBAAiB,CAAC;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAGD,UAAU,sBAAsB;IAC9B,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,UAAU,sBAAsB;IAC9B,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAGD,UAAU,gBAAgB;IACxB,IAAI,EAAE,cAAc,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,UAAU,gBAAgB;IACxB,IAAI,EAAE,cAAc,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CACjB;AAGD,UAAU,cAAc;IACtB,IAAI,EAAE,YAAY,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,UAAU,eAAe;IACvB,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,UAAU,eAAe;IACvB,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,OAAO,CAAC;CAChB;AAGD,UAAU,oBAAoB;IAC5B,IAAI,EAAE,kBAAkB,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC;IACf,MAAM,CAAC,EAAE,mBAAmB,CAAC;CAC9B;AAED,UAAU,sBAAsB;IAC9B,IAAI,EAAE,oBAAoB,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,UAAU,mBAAmB;IAC3B,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,UAAU,wBAAwB;IAChC,IAAI,EAAE,uBAAuB,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,UAAU,iBAAiB;IACzB,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC/B;AAED,UAAU,wBAAwB;IAChC,IAAI,EAAE,sBAAsB,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,yBAAyB,CAAC;CACxC;AAGD,UAAU,gBAAgB;IACxB,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,UAAU,mBAAmB;IAC3B,IAAI,EAAE,iBAAiB,CAAC;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,UAAU,mBAAmB;IAC3B,IAAI,EAAE,iBAAiB,CAAC;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,UAAU,mBAAmB;IAC3B,IAAI,EAAE,iBAAiB,CAAC;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB;AAGD,UAAU,4BAA4B;IACpC,IAAI,EAAE,2BAA2B,CAAC;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,UAAU,yBAAyB;IACjC,IAAI,EAAE,wBAAwB,CAAC;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,iCAAiC;AACjC,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,SAAS,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,WAAW,CAAC;CACpB;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,SAAS,GAAG,QAAQ,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAAC;IACpE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAC7C,KAAK,CAAC,EAAE,mBAAmB,CAAC;CAC7B"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"execution.js","sourceRoot":"","sources":["../../src/types/execution.ts"],"names":[],"mappings":"AAAA;;GAEG"}
|
|
@@ -0,0 +1,100 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Expression types for the Grimoire IR
|
|
3
|
+
*/
|
|
4
|
+
/** Binary operators */
|
|
5
|
+
export type BinaryOp = "+" | "-" | "*" | "/" | "%" | "==" | "!=" | "<" | ">" | "<=" | ">=" | "AND" | "OR";
|
|
6
|
+
/** Unary operators */
|
|
7
|
+
export type UnaryOp = "NOT" | "-" | "ABS";
|
|
8
|
+
/** Built-in function names */
|
|
9
|
+
export type BuiltinFn = "balance" | "price" | "get_apy" | "get_health_factor" | "get_position" | "get_debt" | "min" | "max" | "abs" | "sum" | "avg";
|
|
10
|
+
/** Expression IR node types */
|
|
11
|
+
export type Expression = LiteralExpr | ParamExpr | StateExpr | BindingExpr | ItemExpr | IndexExpr | BinaryExpr | UnaryExpr | TernaryExpr | CallExpr | ArrayAccessExpr | PropertyAccessExpr;
|
|
12
|
+
/** Literal value */
|
|
13
|
+
export interface LiteralExpr {
|
|
14
|
+
kind: "literal";
|
|
15
|
+
value: string | number | boolean | bigint | Record<string, unknown> | unknown[] | null;
|
|
16
|
+
type: "int" | "float" | "bool" | "string" | "address" | "json";
|
|
17
|
+
}
|
|
18
|
+
/** Parameter reference */
|
|
19
|
+
export interface ParamExpr {
|
|
20
|
+
kind: "param";
|
|
21
|
+
name: string;
|
|
22
|
+
}
|
|
23
|
+
/** State reference */
|
|
24
|
+
export interface StateExpr {
|
|
25
|
+
kind: "state";
|
|
26
|
+
scope: "persistent" | "ephemeral";
|
|
27
|
+
key: string;
|
|
28
|
+
}
|
|
29
|
+
/** Binding reference (from previous step) */
|
|
30
|
+
export interface BindingExpr {
|
|
31
|
+
kind: "binding";
|
|
32
|
+
name: string;
|
|
33
|
+
}
|
|
34
|
+
/** Current item in loop/pipeline */
|
|
35
|
+
export interface ItemExpr {
|
|
36
|
+
kind: "item";
|
|
37
|
+
}
|
|
38
|
+
/** Current index in loop/pipeline */
|
|
39
|
+
export interface IndexExpr {
|
|
40
|
+
kind: "index";
|
|
41
|
+
}
|
|
42
|
+
/** Binary operation */
|
|
43
|
+
export interface BinaryExpr {
|
|
44
|
+
kind: "binary";
|
|
45
|
+
op: BinaryOp;
|
|
46
|
+
left: Expression;
|
|
47
|
+
right: Expression;
|
|
48
|
+
}
|
|
49
|
+
/** Unary operation */
|
|
50
|
+
export interface UnaryExpr {
|
|
51
|
+
kind: "unary";
|
|
52
|
+
op: UnaryOp;
|
|
53
|
+
arg: Expression;
|
|
54
|
+
}
|
|
55
|
+
/** Ternary (conditional) operation */
|
|
56
|
+
export interface TernaryExpr {
|
|
57
|
+
kind: "ternary";
|
|
58
|
+
condition: Expression;
|
|
59
|
+
then: Expression;
|
|
60
|
+
else: Expression;
|
|
61
|
+
}
|
|
62
|
+
/** Function call */
|
|
63
|
+
export interface CallExpr {
|
|
64
|
+
kind: "call";
|
|
65
|
+
fn: BuiltinFn;
|
|
66
|
+
args: Expression[];
|
|
67
|
+
}
|
|
68
|
+
/** Array index access */
|
|
69
|
+
export interface ArrayAccessExpr {
|
|
70
|
+
kind: "array_access";
|
|
71
|
+
array: Expression;
|
|
72
|
+
index: Expression;
|
|
73
|
+
}
|
|
74
|
+
/** Object property access */
|
|
75
|
+
export interface PropertyAccessExpr {
|
|
76
|
+
kind: "property_access";
|
|
77
|
+
object: Expression;
|
|
78
|
+
property: string;
|
|
79
|
+
}
|
|
80
|
+
/**
|
|
81
|
+
* Helper to create literal expressions
|
|
82
|
+
*/
|
|
83
|
+
export declare function literal(value: string | number | boolean | bigint | Record<string, unknown> | unknown[] | null, type?: LiteralExpr["type"]): LiteralExpr;
|
|
84
|
+
/**
|
|
85
|
+
* Helper to create param reference
|
|
86
|
+
*/
|
|
87
|
+
export declare function param(name: string): ParamExpr;
|
|
88
|
+
/**
|
|
89
|
+
* Helper to create binding reference
|
|
90
|
+
*/
|
|
91
|
+
export declare function binding(name: string): BindingExpr;
|
|
92
|
+
/**
|
|
93
|
+
* Helper to create binary expression
|
|
94
|
+
*/
|
|
95
|
+
export declare function binary(op: BinaryOp, left: Expression, right: Expression): BinaryExpr;
|
|
96
|
+
/**
|
|
97
|
+
* Helper to create function call
|
|
98
|
+
*/
|
|
99
|
+
export declare function call(fn: BuiltinFn, ...args: Expression[]): CallExpr;
|
|
100
|
+
//# sourceMappingURL=expressions.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../src/types/expressions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,uBAAuB;AACvB,MAAM,MAAM,QAAQ,GAChB,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,IAAI,GACJ,IAAI,GACJ,GAAG,GACH,GAAG,GACH,IAAI,GACJ,IAAI,GACJ,KAAK,GACL,IAAI,CAAC;AAET,sBAAsB;AACtB,MAAM,MAAM,OAAO,GAAG,KAAK,GAAG,GAAG,GAAG,KAAK,CAAC;AAE1C,8BAA8B;AAC9B,MAAM,MAAM,SAAS,GACjB,SAAS,GACT,OAAO,GACP,SAAS,GACT,mBAAmB,GACnB,cAAc,GACd,UAAU,GACV,KAAK,GACL,KAAK,GACL,KAAK,GACL,KAAK,GACL,KAAK,CAAC;AAEV,+BAA+B;AAC/B,MAAM,MAAM,UAAU,GAElB,WAAW,GAEX,SAAS,GACT,SAAS,GACT,WAAW,GACX,QAAQ,GACR,SAAS,GAET,UAAU,GACV,SAAS,GACT,WAAW,GAEX,QAAQ,GAER,eAAe,GACf,kBAAkB,CAAC;AAEvB,oBAAoB;AACpB,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,EAAE,GAAG,IAAI,CAAC;IACvF,IAAI,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,CAAC;CAChE;AAED,0BAA0B;AAC1B,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd;AAED,sBAAsB;AACtB,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,YAAY,GAAG,WAAW,CAAC;IAClC,GAAG,EAAE,MAAM,CAAC;CACb;AAED,6CAA6C;AAC7C,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,oCAAoC;AACpC,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,qCAAqC;AACrC,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAC;CACf;AAED,uBAAuB;AACvB,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,EAAE,EAAE,QAAQ,CAAC;IACb,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,UAAU,CAAC;CACnB;AAED,sBAAsB;AACtB,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAC;IACd,EAAE,EAAE,OAAO,CAAC;IACZ,GAAG,EAAE,UAAU,CAAC;CACjB;AAED,sCAAsC;AACtC,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,SAAS,CAAC;IAChB,SAAS,EAAE,UAAU,CAAC;IACtB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,oBAAoB;AACpB,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,SAAS,CAAC;IACd,IAAI,EAAE,UAAU,EAAE,CAAC;CACpB;AAED,yBAAyB;AACzB,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,UAAU,CAAC;IAClB,KAAK,EAAE,UAAU,CAAC;CACnB;AAED,6BAA6B;AAC7B,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,iBAAiB,CAAC;IACxB,MAAM,EAAE,UAAU,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,wBAAgB,OAAO,CACrB,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,EAAE,GAAG,IAAI,EACtF,IAAI,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GACzB,WAAW,CAkBb;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAE7C;AAED;;GAEG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAEjD;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,GAAG,UAAU,CAEpF;AAED;;GAEG;AACH,wBAAgB,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,GAAG,QAAQ,CAEnE"}
|
|
@@ -0,0 +1,48 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Expression types for the Grimoire IR
|
|
3
|
+
*/
|
|
4
|
+
/**
|
|
5
|
+
* Helper to create literal expressions
|
|
6
|
+
*/
|
|
7
|
+
export function literal(value, type) {
|
|
8
|
+
const inferredType = type ??
|
|
9
|
+
(typeof value === "string"
|
|
10
|
+
? value.startsWith("0x")
|
|
11
|
+
? "address"
|
|
12
|
+
: "string"
|
|
13
|
+
: typeof value === "boolean"
|
|
14
|
+
? "bool"
|
|
15
|
+
: typeof value === "bigint"
|
|
16
|
+
? "int"
|
|
17
|
+
: typeof value === "number"
|
|
18
|
+
? Number.isInteger(value)
|
|
19
|
+
? "int"
|
|
20
|
+
: "float"
|
|
21
|
+
: "json");
|
|
22
|
+
return { kind: "literal", value, type: inferredType };
|
|
23
|
+
}
|
|
24
|
+
/**
|
|
25
|
+
* Helper to create param reference
|
|
26
|
+
*/
|
|
27
|
+
export function param(name) {
|
|
28
|
+
return { kind: "param", name };
|
|
29
|
+
}
|
|
30
|
+
/**
|
|
31
|
+
* Helper to create binding reference
|
|
32
|
+
*/
|
|
33
|
+
export function binding(name) {
|
|
34
|
+
return { kind: "binding", name };
|
|
35
|
+
}
|
|
36
|
+
/**
|
|
37
|
+
* Helper to create binary expression
|
|
38
|
+
*/
|
|
39
|
+
export function binary(op, left, right) {
|
|
40
|
+
return { kind: "binary", op, left, right };
|
|
41
|
+
}
|
|
42
|
+
/**
|
|
43
|
+
* Helper to create function call
|
|
44
|
+
*/
|
|
45
|
+
export function call(fn, ...args) {
|
|
46
|
+
return { kind: "call", fn, args };
|
|
47
|
+
}
|
|
48
|
+
//# sourceMappingURL=expressions.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../src/types/expressions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAuIH;;GAEG;AACH,MAAM,UAAU,OAAO,CACrB,KAAsF,EACtF,IAA0B;IAE1B,MAAM,YAAY,GAChB,IAAI;QACJ,CAAC,OAAO,KAAK,KAAK,QAAQ;YACxB,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;gBACtB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,QAAQ;YACZ,CAAC,CAAC,OAAO,KAAK,KAAK,SAAS;gBAC1B,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ;oBACzB,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ;wBACzB,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;4BACvB,CAAC,CAAC,KAAK;4BACP,CAAC,CAAC,OAAO;wBACX,CAAC,CAAC,MAAM,CAAC,CAAC;IAEpB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AACxD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,KAAK,CAAC,IAAY;IAChC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACjC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,OAAO,CAAC,IAAY;IAClC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;AACnC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,MAAM,CAAC,EAAY,EAAE,IAAgB,EAAE,KAAiB;IACtE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,IAAI,CAAC,EAAa,EAAE,GAAG,IAAkB;IACvD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACpC,CAAC"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Type exports for @grimoirelabs/core
|
|
3
|
+
*/
|
|
4
|
+
export type { ChainId, Address, AssetId, Timestamp, BasisPoints, HexString, Amount, VenueAlias, AssetDef, ParamDef, StateField, Trigger, WalletMode, } from "./primitives.js";
|
|
5
|
+
export { CHAINS } from "./primitives.js";
|
|
6
|
+
export type { SpellBuilder } from "../builders/spell-builder.js";
|
|
7
|
+
export type { StepBuilder, ComputeBuilder, ActionBuilder, ConditionalBuilder, LoopBuilder, ParallelBuilder, PipelineBuilder, TryBuilder, AdvisoryBuilder, WaitBuilder, EmitBuilder, HaltBuilder, } from "../builders/step-builder.js";
|
|
8
|
+
export type { Expression, BinaryOp, UnaryOp, BuiltinFn, LiteralExpr, ParamExpr, StateExpr, BindingExpr, ItemExpr, IndexExpr, BinaryExpr, UnaryExpr, TernaryExpr, CallExpr, ArrayAccessExpr, PropertyAccessExpr, } from "./expressions.js";
|
|
9
|
+
export type { Action, ActionType, SwapAction, LendAction, WithdrawAction, BorrowAction, RepayAction, StakeAction, UnstakeAction, BridgeAction, ClaimAction, TransferAction, ActionConstraints, CalldataBundle, SimulationResult, ActionResult, } from "./actions.js";
|
|
10
|
+
export type { Step, StepKind, OnFailure, ComputeStep, ActionStep, ConditionalStep, LoopStep, LoopType, ParallelStep, JoinStrategy, Branch, PipelineStep, PipelineStage, TryStep, CatchBlock, ErrorType, AdvisoryStep, AdvisoryOutputSchema, WaitStep, EmitStep, HaltStep, } from "./steps.js";
|
|
11
|
+
export type { SpellIR, SpellSource, AdvisorDef, SkillDef, Guard, AdvisoryGuard, GuardDef, StateSchema, CompilationResult, CompilationError, CompilationWarning, } from "./ir.js";
|
|
12
|
+
export type { PolicySet, ExposureLimit, CircuitBreaker, CircuitBreakerTrigger, PolicyCheckResult, ExposureResult, } from "./policy.js";
|
|
13
|
+
export type { ExecutionContext, CallFrame, ExecutionMetrics, ExecutionResult, StepResult, LedgerEvent, LedgerEntry, } from "./execution.js";
|
|
14
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,YAAY,EACV,OAAO,EACP,OAAO,EACP,OAAO,EACP,SAAS,EACT,WAAW,EACX,SAAS,EACT,MAAM,EACN,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,UAAU,EACV,OAAO,EACP,UAAU,GACX,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAGzC,YAAY,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAEjE,YAAY,EACV,WAAW,EACX,cAAc,EACd,aAAa,EACb,kBAAkB,EAClB,WAAW,EACX,eAAe,EACf,eAAe,EACf,UAAU,EACV,eAAe,EACf,WAAW,EACX,WAAW,EACX,WAAW,GACZ,MAAM,6BAA6B,CAAC;AAGrC,YAAY,EACV,UAAU,EACV,QAAQ,EACR,OAAO,EACP,SAAS,EACT,WAAW,EACX,SAAS,EACT,SAAS,EACT,WAAW,EACX,QAAQ,EACR,SAAS,EACT,UAAU,EACV,SAAS,EACT,WAAW,EACX,QAAQ,EACR,eAAe,EACf,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAG1B,YAAY,EACV,MAAM,EACN,UAAU,EACV,UAAU,EACV,UAAU,EACV,cAAc,EACd,YAAY,EACZ,WAAW,EACX,WAAW,EACX,aAAa,EACb,YAAY,EACZ,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,YAAY,GACb,MAAM,cAAc,CAAC;AAGtB,YAAY,EACV,IAAI,EACJ,QAAQ,EACR,SAAS,EACT,WAAW,EACX,UAAU,EACV,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,MAAM,EACN,YAAY,EACZ,aAAa,EACb,OAAO,EACP,UAAU,EACV,SAAS,EACT,YAAY,EACZ,oBAAoB,EACpB,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,YAAY,CAAC;AAGpB,YAAY,EACV,OAAO,EACP,WAAW,EACX,UAAU,EACV,QAAQ,EACR,KAAK,EACL,aAAa,EACb,QAAQ,EACR,WAAW,EACX,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,SAAS,CAAC;AAGjB,YAAY,EACV,SAAS,EACT,aAAa,EACb,cAAc,EACd,qBAAqB,EACrB,iBAAiB,EACjB,cAAc,GACf,MAAM,aAAa,CAAC;AAGrB,YAAY,EACV,gBAAgB,EAChB,SAAS,EACT,gBAAgB,EAChB,eAAe,EACf,UAAU,EACV,WAAW,EACX,WAAW,GACZ,MAAM,gBAAgB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAmBH,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC"}
|