@centrifuge/sdk 1.10.0 → 1.12.1

package/dist/utils/catalog.test.js

@@ -0,0 +1,291 @@
+import { expect } from 'chai';
+import { decodeAbiParameters, toFunctionSelector } from 'viem';
+import { buildWorkflowDefinitionFromCatalog } from './catalog.js';
+import { buildScript } from './weiroll.js';
+const ADDRESS_A = '0x1111111111111111111111111111111111111111';
+const ADDRESS_B = '0x2222222222222222222222222222222222222222';
+const ADDRESS_C = '0x3333333333333333333333333333333333333333';
+const ADDRESS_D = '0x4444444444444444444444444444444444444444';
+const ONCHAIN_PM_BYTES32 = '0x000000000000000000000000aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa';
+// Build a MarketplaceWorkflow in the tagged (explicit-input-kinds) format: the template's
+// `variables` declare each variable's kind, and the workflow carries the template registry so
+// the builder can read those kinds.
+function tagged(template, variables, actions, workflowVariables) {
+    const templates = { [template]: { actions, variables } };
+    return {
+        workflowRef: template,
+        name: template,
+        template,
+        chainId: 1,
+        variables: workflowVariables,
+        workflowId: '0x01',
+        version: 1,
+        templates,
+        actions,
+        runtimeVariables: variables.filter((v) => v.kind === 'runtime').map((v) => v.name),
+    };
+}
+describe('utils/catalog', () => {
+    it('classifies pinned / runtime / configurable / returns / magic slots from variable kinds', () => {
+        const workflow = tagged('deposit', [
+            { name: 'router', kind: 'pinned' },
+            { name: 'maxFee', kind: 'configurable' },
+            { name: 'amount', kind: 'runtime' },
+        ], [
+            {
+                target: '$router',
+                selector: 'function deposit(uint256,uint256)',
+                inputs: [
+                    { parameter: 'uint256', label: 'Amount', input: ['$amount'] },
+                    { parameter: 'uint256', label: 'Max fee', input: ['$maxFee'] },
+                ],
+                returns: '$sharesReceived',
+            },
+            {
+                target: '$onOffRamp',
+                selector: 'function send(uint256,address)',
+                inputs: [
+                    { parameter: 'uint256', label: 'Shares', input: ['$sharesReceived'] },
+                    { parameter: 'address', label: 'Receiver', input: ['$executor'] },
+                ],
+            },
+        ], { router: ADDRESS_A });
+        const definition = buildWorkflowDefinitionFromCatalog(workflow);
+        expect(definition.runtimeVariables).to.deep.equal(['amount']);
+        expect(definition.actions[1].target).to.deep.equal({ type: 'magic', key: '$onOffRamp' });
+        // amount → runtime, maxFee → configurable (keyed by name), sharesReceived → computed runtime,
+        // executor → magic.
+        expect(definition.state[0]).to.deep.include({ type: 'runtime', key: 'amount', parameter: 'uint256' });
+        expect(definition.state[1]).to.deep.include({ type: 'configurable', key: 'maxFee', parameter: 'uint256' });
+        expect(definition.state[2]).to.deep.include({ type: 'runtime', key: 'sharesReceived' });
+        expect(definition.state[3]).to.deep.equal({ type: 'magic', key: '$executor' });
+    });
+    it('throws on an empty input array that is not a useTemplate', () => {
+        const workflow = tagged('bad-empty', [{ name: 'router', kind: 'pinned' }], [
+            {
+                target: '$router',
+                selector: 'function deposit(uint256)',
+                inputs: [{ parameter: 'uint256', label: 'Amount', input: [] }],
+            },
+        ], { router: ADDRESS_A });
+        expect(() => buildWorkflowDefinitionFromCatalog(workflow)).to.throw('has an empty input');
+    });
+    it('throws when a pinned variable has no value in workflow.variables', () => {
+        const workflow = tagged('missing-pinned', [{ name: 'router', kind: 'pinned' }], [
+            {
+                target: '$router',
+                selector: 'function poke(address)',
+                inputs: [{ parameter: 'address', label: 'Router', input: ['$router'] }],
+            },
+        ], {});
+        expect(() => buildWorkflowDefinitionFromCatalog(workflow)).to.throw('pinned variable "router" has no value');
+    });
+    it('uses FLAG_RAW for non-variable-length dynamic types (tuple arrays) sourced from a configurable', () => {
+        const selector = toFunctionSelector('function open(uint64,bytes16,(address,uint256)[])');
+        const workflow = tagged('slippage-open', [
+            { name: 'guard', kind: 'pinned' },
+            { name: 'slippageAssets', kind: 'configurable' },
+        ], [
+            {
+                target: '$guard',
+                selector: 'function open(uint64,bytes16,(address,uint256)[])',
+                inputs: [
+                    { parameter: 'uint64', label: 'Pool ID', input: ['$poolId'] },
+                    { parameter: 'bytes16', label: 'SC ID', input: ['$scId'] },
+                    { parameter: '(address,uint256)[]', label: 'Assets', input: ['$slippageAssets'] },
+                ],
+            },
+        ], { guard: ADDRESS_A });
+        const definition = buildWorkflowDefinitionFromCatalog(workflow);
+        expect(definition.actions[0]).to.deep.include({ target: ADDRESS_A, selector });
+        expect(definition.actions[0].rawMode).to.equal(true);
+        expect(definition.actions[0].inputs).to.deep.equal([3]);
+        expect(definition.state[2]).to.deep.include({ type: 'configurable', key: 'slippageAssets', parameter: '(address,uint256)[]' });
+        expect(definition.state[3]).to.deep.equal({
+            type: 'rawcalldata',
+            selector,
+            parameterTypes: ['uint64', 'bytes16', '(address,uint256)[]'],
+            sourceSlots: [0, 1, 2],
+            actionName: 'function open(uint64,bytes16,(address,uint256)[])',
+            actionIndex: 0,
+        });
+    });
+    it('encodes a pinned bytes literal in the inner ABI form via the 0x80 specifier (no FLAG_RAW)', () => {
+        const hookData = '0x636374702d686f6f6b2d646174612d30303030303030303030303030303031';
+        const workflow = tagged('cctp_send_auto', [
+            { name: 'messenger', kind: 'pinned' },
+            { name: 'hookData', kind: 'pinned' },
+        ], [
+            {
+                target: '$messenger',
+                selector: 'function depositForBurnWithHook(uint256,uint32,bytes32,address,bytes32,uint256,uint32,bytes)',
+                inputs: [
+                    { parameter: 'uint256', label: 'Amount', input: ['100'] },
+                    { parameter: 'uint32', label: 'Destination domain', input: ['0'] },
+                    { parameter: 'bytes32', label: 'Mint recipient', input: ['0x0000000000000000000000002222222222222222222222222222222222222222'] },
+                    { parameter: 'address', label: 'Burn token', input: [ADDRESS_B] },
+                    { parameter: 'bytes32', label: 'Destination caller', input: ['0x0000000000000000000000001111111111111111111111111111111111111111'] },
+                    { parameter: 'uint256', label: 'Max fee', input: ['0'] },
+                    { parameter: 'uint32', label: 'Min finality threshold', input: ['1000'] },
+                    { parameter: 'bytes', label: 'Hook data', input: ['$hookData'] },
+                ],
+            },
+        ], { messenger: ADDRESS_A, hookData });
+        const definition = buildWorkflowDefinitionFromCatalog(workflow);
+        expect(definition.actions[0].rawMode).to.equal(undefined);
+        // Inner ABI form: 31-byte value → length 0x1f + 32-byte padded data.
+        expect(definition.state[5]).to.deep.equal({
+            type: 'literal',
+            value: '0x000000000000000000000000000000000000000000000000000000000000001f636374702d686f6f6b2d646174612d3030303030303030303030303030303100',
+        });
+        expect(definition.actions[0].inputs).to.deep.equal([0, 1, 2, 2, 3, 1, 4, 0x80 | 5]);
+        expect(definition.state.every((s) => s.type !== 'rawcalldata')).to.equal(true);
+    });
+    it('encodes a configurable bytes parameter as its own slot via the 0x80 specifier (no FLAG_RAW)', () => {
+        const workflow = tagged('cctp_send_auto', [
+            { name: 'messenger', kind: 'pinned' },
+            { name: 'hookData', kind: 'configurable' },
+            { name: 'amount', kind: 'runtime' },
+        ], [
+            {
+                target: '$messenger',
+                selector: 'function depositForBurnWithHook(uint256,bytes)',
+                inputs: [
+                    { parameter: 'uint256', label: 'Amount', input: ['$amount'] },
+                    { parameter: 'bytes', label: 'Hook data', input: ['$hookData'] },
+                ],
+            },
+        ], { messenger: ADDRESS_A });
+        const definition = buildWorkflowDefinitionFromCatalog(workflow);
+        expect(definition.actions[0].rawMode).to.equal(undefined);
+        expect(definition.state[0]).to.deep.include({ type: 'runtime', key: 'amount' });
+        expect(definition.state[1]).to.deep.include({ type: 'configurable', key: 'hookData', parameter: 'bytes' });
+        expect(definition.actions[0].inputs).to.deep.equal([0, 0x80 | 1]);
+        expect(definition.state.every((s) => s.type !== 'rawcalldata')).to.equal(true);
+    });
+    it('encodes a runtime bytes argument via the 0x80 specifier, not FLAG_RAW (selector pinned)', () => {
+        // A runtime bytes argument keeps the call's selector in the (hashed) command word — the
+        // strategist varies only the argument, never the function (audit #18 / SECURITY.md §11).
+        const workflow = tagged('runtime-bytes', [
+            { name: 'target', kind: 'pinned' },
+            { name: 'amount', kind: 'runtime' },
+            { name: 'payload', kind: 'runtime' },
+        ], [
+            {
+                target: '$target',
+                selector: 'function call(uint256,bytes)',
+                inputs: [
+                    { parameter: 'uint256', label: 'Amount', input: ['$amount'] },
+                    { parameter: 'bytes', label: 'Payload', input: ['$payload'] },
+                ],
+            },
+        ], { target: ADDRESS_A });
+        const definition = buildWorkflowDefinitionFromCatalog(workflow);
+        expect(definition.actions[0].rawMode).to.equal(undefined);
+        expect(definition.actions[0].inputs).to.deep.equal([0, 0x80 | 1]);
+        expect(definition.state.every((s) => s.type !== 'rawcalldata')).to.equal(true);
+        expect(definition.state[1]).to.deep.include({ type: 'runtime', key: 'payload', parameter: 'bytes' });
+    });
+    it('injects useTemplate bytes inputs as pinned callback script data', () => {
+        const callbackVariables = [
+            { name: 'data', kind: 'configurable' },
+            { name: 'asset', kind: 'param' },
+            { name: 'vault', kind: 'param' },
+        ];
+        const workflow = {
+            workflowRef: 'morpho-loop',
+            name: 'Morpho loop',
+            template: 'morpho_loop_deposit',
+            chainId: 1,
+            variables: { flashLoanHelper: ADDRESS_A, pool: ADDRESS_B, asset: ADDRESS_C, vault: ADDRESS_D },
+            workflowId: '0x01',
+            version: 1,
+            runtimeVariables: ['amount'],
+            templates: {
+                morpho_loop_deposit: {
+                    variables: [
+                        { name: 'flashLoanHelper', kind: 'pinned' },
+                        { name: 'pool', kind: 'pinned' },
+                        { name: 'asset', kind: 'pinned' },
+                        { name: 'vault', kind: 'pinned' },
+                        { name: 'amount', kind: 'runtime' },
+                    ],
+                    actions: [],
+                },
+                morpho_loop_deposit_callback: {
+                    variables: callbackVariables,
+                    actions: [
+                        {
+                            target: '$asset',
+                            selector: 'function balanceOf(address)',
+                            inputs: [{ parameter: 'address', label: 'Account', input: ['$onchainPM'] }],
+                            returns: '$totalAmount',
+                        },
+                        {
+                            target: '$vault',
+                            selector: 'function deposit(uint256,address)',
+                            inputs: [
+                                { parameter: 'uint256', label: 'Assets', input: ['$totalAmount'] },
+                                { parameter: 'address', label: 'Receiver', input: ['$onchainPM'] },
+                            ],
+                        },
+                        {
+                            target: '$vault',
+                            selector: 'function supplyCollateral(uint256,bytes)',
+                            inputs: [
+                                { parameter: 'uint256', label: 'Shares', input: ['$totalAmount'] },
+                                { parameter: 'bytes', label: 'Data', input: ['$data'] },
+                            ],
+                        },
+                    ],
+                },
+            },
+            actions: [
+                {
+                    target: '$flashLoanHelper',
+                    selector: 'function requestFlashLoan(address,address,uint256,address,bytes)',
+                    inputs: [
+                        { parameter: 'address', label: 'Aave Pool', input: ['$pool'] },
+                        { parameter: 'address', label: 'Token', input: ['$asset'] },
+                        { parameter: 'uint256', label: 'Amount', input: ['$amount'] },
+                        { parameter: 'address', label: 'OnchainPM', input: ['$onchainPM'] },
+                        {
+                            parameter: 'bytes',
+                            label: 'Callback data',
+                            input: [],
+                            useTemplate: { template: 'morpho_loop_deposit_callback', map: { asset: '$asset', vault: '$vault' } },
+                        },
+                    ],
+                },
+            ],
+        };
+        const definition = buildWorkflowDefinitionFromCatalog(workflow);
+        const callbackInput = definition.actions[0].inputs[4];
+        const callbackSlot = callbackInput & 0x7f;
+        expect(definition.actions[0].rawMode).to.equal(undefined);
+        expect(callbackInput).to.equal(0x80 | callbackSlot);
+        expect(definition.state[callbackSlot]).to.deep.include({ type: 'template', label: 'Callback data', actionIndex: 0, inputIndex: 4 });
+        const templateSlot = definition.state[callbackSlot];
+        if (!templateSlot || templateSlot.type !== 'template')
+            throw new Error('Expected callback slot to be a template slot');
+        expect(templateSlot.workflow.actions[2].rawMode).to.equal(undefined);
+        expect(definition.runtimeVariables).to.deep.equal(['amount']);
+        const { state, stateBitmap } = buildScript(definition, {
+            poolContext: { $onchainPM: ONCHAIN_PM_BYTES32 },
+            // The callback's `data` is configurable — supply an empty value (encoded as length-0 bytes).
+            configurableValues: { data: `0x${'00'.repeat(32)}` },
+        });
+        expect((stateBitmap & (1n << BigInt(callbackSlot))) !== 0n).to.equal(true);
+        // weiroll copies state[idx] verbatim into the parent's calldata at the bytes-input offset
+        // (no length-prefix word), so state[callbackSlot] is [length][abi-encoded callback].
+        const callbackSlotData = state[callbackSlot];
+        const callbackBytes = `0x${callbackSlotData.slice(2 + 64)}`;
+        const declaredLength = Number(BigInt(`0x${callbackSlotData.slice(2, 2 + 64)}`));
+        expect(declaredLength).to.equal((callbackBytes.length - 2) / 2);
+        const [commands, callbackState, callbackStateBitmap] = decodeAbiParameters([{ type: 'bytes32[]' }, { type: 'bytes[]' }, { type: 'uint128' }], callbackBytes);
+        expect(Array.isArray(commands)).to.equal(true);
+        expect(Array.isArray(callbackState)).to.equal(true);
+        expect(typeof callbackStateBitmap).to.equal('bigint');
+    });
+});
+//# sourceMappingURL=catalog.test.js.map

package/dist/utils/catalog.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.test.js","sourceRoot":"","sources":["../../src/utils/catalog.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAA;AAC7B,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,MAAM,CAAA;AAG9D,OAAO,EAAE,kCAAkC,EAAE,MAAM,cAAc,CAAA;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAE1C,MAAM,SAAS,GAAG,4CAAqD,CAAA;AACvE,MAAM,SAAS,GAAG,4CAAqD,CAAA;AACvE,MAAM,SAAS,GAAG,4CAAqD,CAAA;AACvE,MAAM,SAAS,GAAG,4CAAqD,CAAA;AACvE,MAAM,kBAAkB,GAAG,oEAA6E,CAAA;AAExG,0FAA0F;AAC1F,8FAA8F;AAC9F,oCAAoC;AACpC,SAAS,MAAM,CACb,QAAgB,EAChB,SAA4B,EAC5B,OAAmC,EACnC,iBAAyC;IAEzC,MAAM,SAAS,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,CAAA;IACxD,OAAO;QACL,WAAW,EAAE,QAAQ;QACrB,IAAI,EAAE,QAAQ;QACd,QAAQ;QACR,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,iBAAiB;QAC5B,UAAU,EAAE,MAAM;QAClB,OAAO,EAAE,CAAC;QACV,SAAS;QACT,OAAO;QACP,gBAAgB,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KACnF,CAAA;AACH,CAAC;AAED,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,MAAM,QAAQ,GAAG,MAAM,CACrB,SAAS,EACT;YACE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE;YACxC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE;SACpC,EACD;YACE;gBACE,MAAM,EAAE,SAAS;gBACjB,QAAQ,EAAE,mCAAmC;gBAC7C,MAAM,EAAE;oBACN,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,EAAE;oBAC7D,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,EAAE;iBAC/D;gBACD,OAAO,EAAE,iBAAiB;aAC3B;YACD;gBACE,MAAM,EAAE,YAAY;gBACpB,QAAQ,EAAE,gCAAgC;gBAC1C,MAAM,EAAE;oBACN,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,iBAAiB,CAAC,EAAE;oBACrE,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,EAAE;iBAClE;aACF;SACF,EACD,EAAE,MAAM,EAAE,SAAS,EAAE,CACtB,CAAA;QAED,MAAM,UAAU,GAAG,kCAAkC,CAAC,QAAQ,CAAC,CAAA;QAE/D,MAAM,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAA;QAC7D,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC,CAAA;QACzF,8FAA8F;QAC9F,oBAAoB;QACpB,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAA;QACrG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAA;QAC1G,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC,CAAA;QACvF,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,CAAA;IAChF,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,QAAQ,GAAG,MAAM,CACrB,WAAW,EACX,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EACpC;YACE;gBACE,MAAM,EAAE,SAAS;gBACjB,QAAQ,EAAE,2BAA2B;gBACrC,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;aAC/D;SACF,EACD,EAAE,MAAM,EAAE,SAAS,EAAE,CACtB,CAAA;QACD,MAAM,CAAC,GAAG,EAAE,CAAC,kCAAkC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAA;IAC3F,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,QAAQ,GAAG,MAAM,CACrB,gBAAgB,EAChB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EACpC;YACE;gBACE,MAAM,EAAE,SAAS;gBACjB,QAAQ,EAAE,wBAAwB;gBAClC,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;aACxE;SACF,EACD,EAAE,CACH,CAAA;QACD,MAAM,CAAC,GAAG,EAAE,CAAC,kCAAkC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,uCAAuC,CAAC,CAAA;IAC9G,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,gGAAgG,EAAE,GAAG,EAAE;QACxG,MAAM,QAAQ,GAAG,kBAAkB,CAAC,mDAAmD,CAAC,CAAA;QACxF,MAAM,QAAQ,GAAG,MAAM,CACrB,eAAe,EACf;YACE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE;YACjC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,cAAc,EAAE;SACjD,EACD;YACE;gBACE,MAAM,EAAE,QAAQ;gBAChB,QAAQ,EAAE,mDAAmD;gBAC7D,MAAM,EAAE;oBACN,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,EAAE;oBAC7D,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,EAAE;oBAC1D,EAAE,SAAS,EAAE,qBAAqB,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,iBAAiB,CAAC,EAAE;iBAClF;aACF;SACF,EACD,EAAE,KAAK,EAAE,SAAS,EAAE,CACrB,CAAA;QAED,MAAM,UAAU,GAAG,kCAAkC,CAAC,QAAQ,CAAC,CAAA;QAE/D,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAA;QAC9E,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACrD,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACxD,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,gBAAgB,EAAE,SAAS,EAAE,qBAAqB,EAAE,CAAC,CAAA;QAC9H,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACxC,IAAI,EAAE,aAAa;YACnB,QAAQ;YACR,cAAc,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,qBAAqB,CAAC;YAC5D,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACtB,UAAU,EAAE,mDAAmD;YAC/D,WAAW,EAAE,CAAC;SACf,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,MAAM,QAAQ,GAAG,kEAA2E,CAAA;QAC5F,MAAM,QAAQ,GAAG,MAAM,CACrB,gBAAgB,EAChB;YACE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE;YACrC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE;SACrC,EACD;YACE;gBACE,MAAM,EAAE,YAAY;gBACpB,QAAQ,EAAE,8FAA8F;gBACxG,MAAM,EAAE;oBACN,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE;oBACzD,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE;oBAClE,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC,oEAAoE,CAAC,EAAE;oBAChI,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,EAAE;oBACjE,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,oEAAoE,CAAC,EAAE;oBACpI,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE;oBACxD,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,wBAAwB,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE;oBACzE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,EAAE;iBACjE;aACF;SACF,EACD,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,CACnC,CAAA;QAED,MAAM,UAAU,GAAG,kCAAkC,CAAC,QAAQ,CAAC,CAAA;QAE/D,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;QAC1D,qEAAqE;QACrE,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACxC,IAAI,EAAE,SAAS;YACf,KAAK,EACH,oIAAoI;SACvI,CAAC,CAAA;QACF,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAA;QACpF,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAChF,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,6FAA6F,EAAE,GAAG,EAAE;QACrG,MAAM,QAAQ,GAAG,MAAM,CACrB,gBAAgB,EAChB;YACE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE;YACrC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,EAAE;YAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE;SACpC,EACD;YACE;gBACE,MAAM,EAAE,YAAY;gBACpB,QAAQ,EAAE,gDAAgD;gBAC1D,MAAM,EAAE;oBACN,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,EAAE;oBAC7D,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,EAAE;iBACjE;aACF;SACF,EACD,EAAE,SAAS,EAAE,SAAS,EAAE,CACzB,CAAA;QAED,MAAM,UAAU,GAAG,kCAAkC,CAAC,QAAQ,CAAC,CAAA;QAE/D,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;QAC1D,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAA;QAC/E,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;QAC1G,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAA;QAClE,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAChF,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,wFAAwF;QACxF,yFAAyF;QACzF,MAAM,QAAQ,GAAG,MAAM,CACrB,eAAe,EACf;YACE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE;YACnC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE;SACrC,EACD;YACE;gBACE,MAAM,EAAE,SAAS;gBACjB,QAAQ,EAAE,8BAA8B;gBACxC,MAAM,EAAE;oBACN,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,EAAE;oBAC7D,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE;iBAC9D;aACF;SACF,EACD,EAAE,MAAM,EAAE,SAAS,EAAE,CACtB,CAAA;QAED,MAAM,UAAU,GAAG,kCAAkC,CAAC,QAAQ,CAAC,CAAA;QAE/D,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;QAC1D,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAA;QAClE,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC9E,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;IACtG,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,iBAAiB,GAAsB;YAC3C,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE;YACtC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE;YAChC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE;SACjC,CAAA;QACD,MAAM,QAAQ,GAAwB;YACpC,WAAW,EAAE,aAAa;YAC1B,IAAI,EAAE,aAAa;YACnB,QAAQ,EAAE,qBAAqB;YAC/B,OAAO,EAAE,CAAC;YACV,SAAS,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE;YAC9F,UAAU,EAAE,MAAM;YAClB,OAAO,EAAE,CAAC;YACV,gBAAgB,EAAE,CAAC,QAAQ,CAAC;YAC5B,SAAS,EAAE;gBACT,mBAAmB,EAAE;oBACnB,SAAS,EAAE;wBACT,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAC3C,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAChC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE;wBACjC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE;wBACjC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE;qBACpC;oBACD,OAAO,EAAE,EAAE;iBACZ;gBACD,4BAA4B,EAAE;oBAC5B,SAAS,EAAE,iBAAiB;oBAC5B,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,QAAQ;4BAChB,QAAQ,EAAE,6BAA6B;4BACvC,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;4BAC3E,OAAO,EAAE,cAAc;yBACxB;wBACD;4BACE,MAAM,EAAE,QAAQ;4BAChB,QAAQ,EAAE,mCAAmC;4BAC7C,MAAM,EAAE;gCACN,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,cAAc,CAAC,EAAE;gCAClE,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,YAAY,CAAC,EAAE;6BACnE;yBACF;wBACD;4BACE,MAAM,EAAE,QAAQ;4BAChB,QAAQ,EAAE,0CAA0C;4BACpD,MAAM,EAAE;gCACN,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,cAAc,CAAC,EAAE;gCAClE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,EAAE;6BACxD;yBACF;qBACF;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,MAAM,EAAE,kBAAkB;oBAC1B,QAAQ,EAAE,kEAAkE;oBAC5E,MAAM,EAAE;wBACN,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,EAAE;wBAC9D,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;wBAC3D,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,EAAE;wBAC7D,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,YAAY,CAAC,EAAE;wBACnE;4BACE,SAAS,EAAE,OAAO;4BAClB,KAAK,EAAE,eAAe;4BACtB,KAAK,EAAE,EAAE;4BACT,WAAW,EAAE,EAAE,QAAQ,EAAE,8BAA8B,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;yBACrG;qBACF;iBACF;aACF;SACF,CAAA;QAED,MAAM,UAAU,GAAG,kCAAkC,CAAC,QAAQ,CAAC,CAAA;QAC/D,MAAM,aAAa,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAA;QACvD,MAAM,YAAY,GAAG,aAAa,GAAG,IAAI,CAAA;QAEzC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;QAC1D,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,YAAY,CAAC,CAAA;QACnD,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAA;QACnI,MAAM,YAAY,GAAG,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;QACnD,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAA;QACtH,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;QACrE,MAAM,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAA;QAE7D,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,WAAW,CAAC,UAAU,EAAE;YACrD,WAAW,EAAE,EAAE,UAAU,EAAE,kBAAkB,EAAE;YAC/C,6FAA6F;YAC7F,kBAAkB,EAAE,EAAE,IAAI,EAAE,KAAK,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE;SACrD,CAAC,CAAA;QACF,MAAM,CAAC,CAAC,WAAW,GAAG,CAAC,EAAE,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAE1E,0FAA0F;QAC1F,qFAAqF;QACrF,MAAM,gBAAgB,GAAG,KAAK,CAAC,YAAY,CAAE,CAAA;QAC7C,MAAM,aAAa,GAAG,KAAK,gBAAgB,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,EAAe,CAAA;QACxE,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QAC/E,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,MAAM,CAAC,QAAQ,EAAE,aAAa,EAAE,mBAAmB,CAAC,GAAG,mBAAmB,CACxE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EACjE,aAAa,CACd,CAAA;QACD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC9C,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACnD,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IACvD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/dist/utils/scriptHash.d.ts

@@ -0,0 +1,32 @@
+import type { HexString } from '../types/index.js';
+/** Pre/post execution hook committed to alongside the script. */
+export interface Callback {
+    /** Expected script hash for the callback, from a nested computeScriptHash() call. */
+    hash: HexString;
+    /** Expected msg.sender when executeCallback() is invoked. */
+    caller: HexString;
+}
+/**
+ * Offline reimplementation of `OnchainPM.computeScriptHash()`.
+ *
+ * Avoids a live RPC call so scripts can be built and hashed without a running
+ * node. Matches the on-chain `pure` function exactly:
+ *
+ * ```solidity
+ * keccak256(abi.encodePacked(
+ *   keccak256(abi.encodePacked(commands)),
+ *   _hashBitmapSlots(state, stateBitmap),
+ *   stateBitmap,      // uint128 — 16 bytes packed
+ *   state.length,     // uint256 — 32 bytes packed
+ *   keccak256(abi.encode(callbacks))
+ * ))
+ * ```
+ *
+ * **Key property**: state slots whose bitmap bit is 0 (runtime) are excluded
+ * from the hash. Runtime values can therefore change at execution time without
+ * invalidating the Merkle proof.
+ *
+ * Pass `callbacks = []` for standard (non-callback) workflows.
+ */
+export declare function computeScriptHash(commands: HexString[], state: HexString[], stateBitmap: bigint, callbacks: Callback[]): HexString;
+//# sourceMappingURL=scriptHash.d.ts.map

package/dist/utils/scriptHash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scriptHash.d.ts","sourceRoot":"","sources":["../../src/utils/scriptHash.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAA;AAMlD,iEAAiE;AACjE,MAAM,WAAW,QAAQ;IACvB,qFAAqF;IACrF,IAAI,EAAE,SAAS,CAAA;IACf,6DAA6D;IAC7D,MAAM,EAAE,SAAS,CAAA;CAClB;AAMD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,SAAS,EAAE,EACrB,KAAK,EAAE,SAAS,EAAE,EAClB,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,QAAQ,EAAE,GACpB,SAAS,CAiCX"}

package/dist/utils/scriptHash.js

@@ -0,0 +1,67 @@
+import { concat, encodeAbiParameters, encodePacked, keccak256 } from 'viem';
+// ---------------------------------------------------------------------------
+// computeScriptHash
+// ---------------------------------------------------------------------------
+/**
+ * Offline reimplementation of `OnchainPM.computeScriptHash()`.
+ *
+ * Avoids a live RPC call so scripts can be built and hashed without a running
+ * node. Matches the on-chain `pure` function exactly:
+ *
+ * ```solidity
+ * keccak256(abi.encodePacked(
+ *   keccak256(abi.encodePacked(commands)),
+ *   _hashBitmapSlots(state, stateBitmap),
+ *   stateBitmap,      // uint128 — 16 bytes packed
+ *   state.length,     // uint256 — 32 bytes packed
+ *   keccak256(abi.encode(callbacks))
+ * ))
+ * ```
+ *
+ * **Key property**: state slots whose bitmap bit is 0 (runtime) are excluded
+ * from the hash. Runtime values can therefore change at execution time without
+ * invalidating the Merkle proof.
+ *
+ * Pass `callbacks = []` for standard (non-callback) workflows.
+ */
+export function computeScriptHash(commands, state, stateBitmap, callbacks) {
+    // 1. keccak256(abi.encodePacked(commands))
+    //    Each command is bytes32; packed = raw concatenation, no length prefix.
+    const commandsHash = keccak256(commands.length > 0 ? concat(commands) : '0x');
+    // 2. _hashBitmapSlots(state, stateBitmap)
+    //    Only pinned slots (bitmap bit = 1) contribute to this hash.
+    const bitmapSlotsHash = hashBitmapSlots(state, stateBitmap);
+    // 3. keccak256(abi.encode(callbacks))
+    //    abi.encode of an empty Callback[] is a well-defined 64-byte constant.
+    const callbacksHash = keccak256(encodeAbiParameters([
+        {
+            type: 'tuple[]',
+            components: [
+                { name: 'hash', type: 'bytes32' },
+                { name: 'caller', type: 'address' },
+            ],
+        },
+    ], [callbacks.map((c) => ({ hash: c.hash, caller: c.caller }))]));
+    // Final: keccak256(abi.encodePacked(commandsHash, bitmapSlotsHash, stateBitmap, state.length, callbacksHash))
+    return keccak256(encodePacked(['bytes32', 'bytes32', 'uint128', 'uint256', 'bytes32'], [commandsHash, bitmapSlotsHash, stateBitmap, BigInt(state.length), callbacksHash]));
+}
+// ---------------------------------------------------------------------------
+// Internal helpers
+// ---------------------------------------------------------------------------
+/**
+ * Replicates `OnchainPM._hashBitmapSlots`.
+ *
+ * For each state[i] where bit i is set in stateBitmap:
+ *   1. Hash state[i] individually with keccak256
+ * Then hash the resulting array of hashes with keccak256(abi.encodePacked(hashes)).
+ */
+function hashBitmapSlots(state, stateBitmap) {
+    const pinnedHashes = [];
+    for (const [i, slot] of state.entries()) {
+        if ((stateBitmap >> BigInt(i)) & 1n) {
+            pinnedHashes.push(keccak256(slot));
+        }
+    }
+    return keccak256(pinnedHashes.length > 0 ? concat(pinnedHashes) : '0x');
+}
+//# sourceMappingURL=scriptHash.js.map

package/dist/utils/scriptHash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scriptHash.js","sourceRoot":"","sources":["../../src/utils/scriptHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,MAAM,CAAA;AAe3E,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAAqB,EACrB,KAAkB,EAClB,WAAmB,EACnB,SAAqB;IAErB,2CAA2C;IAC3C,4EAA4E;IAC5E,MAAM,YAAY,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAE7E,0CAA0C;IAC1C,iEAAiE;IACjE,MAAM,eAAe,GAAG,eAAe,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;IAE3D,sCAAsC;IACtC,2EAA2E;IAC3E,MAAM,aAAa,GAAG,SAAS,CAC7B,mBAAmB,CACjB;QACE;YACE,IAAI,EAAE,SAAS;YACf,UAAU,EAAE;gBACV,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE;gBACjC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE;aACpC;SACF;KACF,EACD,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAC7D,CACF,CAAA;IAED,8GAA8G;IAC9G,OAAO,SAAS,CACd,YAAY,CACV,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,EACvD,CAAC,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,CAClF,CACW,CAAA;AAChB,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E;;;;;;GAMG;AACH,SAAS,eAAe,CAAC,KAAkB,EAAE,WAAmB;IAC9D,MAAM,YAAY,GAAgB,EAAE,CAAA;IACpC,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,IAAI,CAAC,WAAW,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;YACpC,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAA;QACpC,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;AACzE,CAAC"}

package/dist/utils/scriptHash.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=scriptHash.test.d.ts.map

package/dist/utils/scriptHash.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scriptHash.test.d.ts","sourceRoot":"","sources":["../../src/utils/scriptHash.test.ts"],"names":[],"mappings":""}

package/dist/utils/scriptHash.test.js

@@ -0,0 +1,97 @@
+import { expect } from 'chai';
+import { computeScriptHash } from './scriptHash.js';
+// Reusable fixtures
+const CMD = '0xaabbccdd01000102ffffff031234567890123456789012345678901234567890';
+const SLOT_A = '0x0000000000000000000000000000000000000000000000000000000000000001';
+const SLOT_B = '0x0000000000000000000000000000000000000000000000000000000000000002';
+const SLOT_C = '0x0000000000000000000000000000000000000000000000000000000000000003';
+describe('utils/scriptHash', () => {
+    describe('computeScriptHash', () => {
+        it('returns a 32-byte hex string', () => {
+            const hash = computeScriptHash([CMD], [SLOT_A], 1n, []);
+            expect(hash).to.match(/^0x[0-9a-f]{64}$/);
+        });
+        it('is deterministic for identical inputs', () => {
+            const h1 = computeScriptHash([CMD], [SLOT_A], 1n, []);
+            const h2 = computeScriptHash([CMD], [SLOT_A], 1n, []);
+            expect(h1).to.equal(h2);
+        });
+        it('works with empty commands, state, and callbacks', () => {
+            const hash = computeScriptHash([], [], 0n, []);
+            expect(hash).to.match(/^0x[0-9a-f]{64}$/);
+        });
+        it('changes when commands change', () => {
+            const h1 = computeScriptHash([CMD], [SLOT_A], 1n, []);
+            const cmd2 = CMD.replace('aabb', 'ccdd');
+            const h2 = computeScriptHash([cmd2], [SLOT_A], 1n, []);
+            expect(h1).to.not.equal(h2);
+        });
+        it('changes when a pinned state slot changes', () => {
+            // slot 0 is pinned (bitmap bit 0 = 1)
+            const h1 = computeScriptHash([CMD], [SLOT_A], 1n, []);
+            const h2 = computeScriptHash([CMD], [SLOT_B], 1n, []);
+            expect(h1).to.not.equal(h2);
+        });
+        it('does NOT change when a runtime state slot changes — key property', () => {
+            // state: [SLOT_A (pinned, bit 0), SLOT_B (runtime, bit 1 = 0)]
+            // Changing the runtime slot must not affect the hash.
+            const bitmap = 1n; // only bit 0 set
+            const h1 = computeScriptHash([CMD], [SLOT_A, SLOT_B], bitmap, []);
+            const h2 = computeScriptHash([CMD], [SLOT_A, SLOT_C], bitmap, []);
+            expect(h1).to.equal(h2);
+        });
+        it('does NOT change when all slots are runtime (bitmap = 0)', () => {
+            const h1 = computeScriptHash([CMD], [SLOT_A], 0n, []);
+            const h2 = computeScriptHash([CMD], [SLOT_B], 0n, []);
+            expect(h1).to.equal(h2);
+        });
+        it('changes when stateBitmap changes', () => {
+            // Pinning an extra slot changes the hash even if slot values are the same
+            const h1 = computeScriptHash([CMD], [SLOT_A, SLOT_B], 1n, []); // slot 0 pinned only
+            const h2 = computeScriptHash([CMD], [SLOT_A, SLOT_B], 3n, []); // slots 0+1 pinned
+            expect(h1).to.not.equal(h2);
+        });
+        it('changes when state.length changes, even if bitmap = 0', () => {
+            // state.length is packed directly into the hash
+            const h1 = computeScriptHash([CMD], [SLOT_A], 0n, []);
+            const h2 = computeScriptHash([CMD], [SLOT_A, SLOT_B], 0n, []);
+            expect(h1).to.not.equal(h2);
+        });
+        it('changes when a callback is added', () => {
+            const h1 = computeScriptHash([CMD], [SLOT_A], 1n, []);
+            const callback = {
+                hash: '0x1111111111111111111111111111111111111111111111111111111111111111',
+                caller: '0xdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef',
+            };
+            const h2 = computeScriptHash([CMD], [SLOT_A], 1n, [callback]);
+            expect(h1).to.not.equal(h2);
+        });
+        it('changes when a callback hash changes', () => {
+            const cb1 = {
+                hash: '0x1111111111111111111111111111111111111111111111111111111111111111',
+                caller: '0xdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef',
+            };
+            const cb2 = {
+                hash: '0x2222222222222222222222222222222222222222222222222222222222222222',
+                caller: '0xdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef',
+            };
+            const h1 = computeScriptHash([CMD], [SLOT_A], 1n, [cb1]);
+            const h2 = computeScriptHash([CMD], [SLOT_A], 1n, [cb2]);
+            expect(h1).to.not.equal(h2);
+        });
+        it('correctly isolates pinned slots across mixed bitmap', () => {
+            // slots: [A(pinned), B(runtime), C(pinned)] — bitmap = 0b101 = 5
+            // Changing slot 1 (B, runtime) must not change the hash
+            const bitmap = 5n; // bits 0 and 2 set
+            const state1 = [SLOT_A, SLOT_B, SLOT_C];
+            const state2 = [SLOT_A, SLOT_C, SLOT_C]; // slot 1 changed to C
+            expect(computeScriptHash([CMD], state1, bitmap, []))
+                .to.equal(computeScriptHash([CMD], state2, bitmap, []));
+            // But changing slot 0 (A, pinned) must change the hash
+            const state3 = [SLOT_B, SLOT_B, SLOT_C]; // slot 0 changed to B
+            expect(computeScriptHash([CMD], state1, bitmap, []))
+                .to.not.equal(computeScriptHash([CMD], state3, bitmap, []));
+        });
+    });
+});
+//# sourceMappingURL=scriptHash.test.js.map

package/dist/utils/scriptHash.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scriptHash.test.js","sourceRoot":"","sources":["../../src/utils/scriptHash.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAA;AAC7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAInD,oBAAoB;AACpB,MAAM,GAAG,GAAG,oEAAiF,CAAA;AAC7F,MAAM,MAAM,GAAG,oEAAiF,CAAA;AAChG,MAAM,MAAM,GAAG,oEAAiF,CAAA;AAChG,MAAM,MAAM,GAAG,oEAAiF,CAAA;AAEhG,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;YACvD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAA;QAC3C,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;YACrD,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;YACrD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACzB,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;YAC9C,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAA;QAC3C,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;YACrD,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAc,CAAA;YACrD,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;YACtD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC7B,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,sCAAsC;YACtC,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;YACrD,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;YACrD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC7B,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;YAC1E,+DAA+D;YAC/D,sDAAsD;YACtD,MAAM,MAAM,GAAG,EAAE,CAAA,CAAC,iBAAiB;YACnC,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;YACjE,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;YACjE,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACzB,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;YACrD,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;YACrD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACzB,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,0EAA0E;YAC1E,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA,CAAC,qBAAqB;YACnF,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA,CAAC,mBAAmB;YACjF,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC7B,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,gDAAgD;YAChD,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;YACrD,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;YAC7D,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC7B,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;YACrD,MAAM,QAAQ,GAAa;gBACzB,IAAI,EAAE,oEAAoE;gBAC1E,MAAM,EAAE,4CAA4C;aACrD,CAAA;YACD,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAA;YAC7D,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC7B,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,GAAG,GAAa;gBACpB,IAAI,EAAE,oEAAoE;gBAC1E,MAAM,EAAE,4CAA4C;aACrD,CAAA;YACD,MAAM,GAAG,GAAa;gBACpB,IAAI,EAAE,oEAAoE;gBAC1E,MAAM,EAAE,4CAA4C;aACrD,CAAA;YACD,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;YACxD,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;YACxD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC7B,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,iEAAiE;YACjE,wDAAwD;YACxD,MAAM,MAAM,GAAG,EAAE,CAAA,CAAC,mBAAmB;YACrC,MAAM,MAAM,GAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;YACpD,MAAM,MAAM,GAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA,CAAC,sBAAsB;YAC3E,MAAM,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;iBACjD,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAA;YAEzD,uDAAuD;YACvD,MAAM,MAAM,GAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA,CAAC,sBAAsB;YAC3E,MAAM,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;iBACjD,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAA;QAC/D,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/dist/utils/variables.d.ts

@@ -0,0 +1,78 @@
+import type { HexString } from '../types/index.js';
+import type { PoolMetadata } from '../types/poolMetadata.js';
+import type { PoolContext } from './weiroll.js';
+/**
+ * All well-known magic variable keys. Each is prefixed with `$` to
+ * distinguish them from protocol-specific manifest variables.
+ *
+ * Magic variables are resolved automatically by the SDK from pool metadata;
+ * they are always pinned (stateBitmap bit = 1).
+ */
+export declare const MAGIC_VARIABLE_KEYS: readonly ["$executor", "$onchainPM", "$poolEscrow", "$onOffRamp", "$poolId", "$scId", "$accountingTokenId", "$accountingTokenAssetId"];
+export type MagicVariableKey = (typeof MAGIC_VARIABLE_KEYS)[number];
+/**
+ * Typed inputs required to resolve the SDK's magic variables.
+ *
+ * All values must be ABI-encoded as 32-byte hex strings so they can be
+ * stored directly in the weiroll state array (bytes32 slots).
+ *
+ * Typical encoding per variable:
+ * - addresses (`$executor`, `$poolEscrow`, `$onOffRamp`): left-zero-padded to 32 bytes
+ * - `$poolId`: uint64 value encoded as uint256 (32 bytes)
+ * - `$scId`: bytes16 value right-zero-padded to 32 bytes
+ * - `$accountingTokenId`, `$accountingTokenAssetId`: uint256 (32 bytes)
+ */
+export interface MagicVariableContext {
+    /** Address of the workflow executor for this pool, typically the OnchainPM. */
+    executor: HexString;
+    /** Address of the pool escrow contract. */
+    poolEscrow: HexString;
+    /** Address of the on/off ramp manager for the share class. */
+    onOffRamp: HexString;
+    /** Pool ID (uint64) ABI-encoded as a 32-byte value. */
+    poolId: HexString;
+    /** Share class ID (bytes16) right-zero-padded to 32 bytes. */
+    scId: HexString;
+    /** ERC6909 accounting token ID for the share class, as a 32-byte value. */
+    accountingTokenId: HexString;
+    /** Asset ID of the accounting token, as a 32-byte value. */
+    accountingTokenAssetId: HexString;
+}
+/**
+ * Builds a `PoolContext` from a typed `MagicVariableContext` by mapping
+ * each `$`-prefixed magic variable key to its resolved value.
+ *
+ * Pass the returned object as `poolContext` in `buildScript()`:
+ *
+ * ```typescript
+ * const poolContext = resolveMagicVariables(ctx)
+ * const script = buildScript(workflow, { poolContext, configurableValues })
+ * ```
+ *
+ * @throws if any value is not a valid 32-byte ABI-encoded hex string
+ */
+export declare function resolveMagicVariables(context: MagicVariableContext): PoolContext;
+/**
+ * Returns a human-readable `{ value, label }` pair for a resolved variable.
+ *
+ * Used by the backend to enrich API responses so the frontend never displays
+ * raw on-chain data. Example:
+ *
+ * ```typescript
+ * resolveVariableLabel('$scId', '0x00010000000000010000000000000001', meta)
+ * // → { value: '0x000100...', label: 'JTRSY' }
+ * ```
+ *
+ * Label resolution priority:
+ * 1. `poolMetadata.addressLabels[value]` — pool-manager-maintained free-form map
+ * 2. Key-specific fallbacks (e.g. pool name for `$poolId`)
+ * 3. Raw hex string as final fallback
+ *
+ * Pool managers can register labels for any address or slot value via the
+ * `addressLabels` field of the pool metadata to customise what the UI shows.
+ */
+export declare function resolveVariableLabel(key: string, value: HexString, poolMetadata: PoolMetadata): {
+    value: HexString;
+    label: string;
+};
+//# sourceMappingURL=variables.d.ts.map

package/dist/utils/variables.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variables.d.ts","sourceRoot":"","sources":["../../src/utils/variables.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAA;AAClD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAM/C;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,wIAStB,CAAA;AAEV,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAA;AAMnE;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,oBAAoB;IACnC,+EAA+E;IAC/E,QAAQ,EAAE,SAAS,CAAA;IACnB,2CAA2C;IAC3C,UAAU,EAAE,SAAS,CAAA;IACrB,8DAA8D;IAC9D,SAAS,EAAE,SAAS,CAAA;IACpB,uDAAuD;IACvD,MAAM,EAAE,SAAS,CAAA;IACjB,8DAA8D;IAC9D,IAAI,EAAE,SAAS,CAAA;IACf,2EAA2E;IAC3E,iBAAiB,EAAE,SAAS,CAAA;IAC5B,4DAA4D;IAC5D,sBAAsB,EAAE,SAAS,CAAA;CAClC;AAkBD;;;;;;;;;;;;GAYG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,oBAAoB,GAAG,WAAW,CAqBhF;AAMD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,SAAS,EAChB,YAAY,EAAE,YAAY,GACzB;IAAE,KAAK,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAoBrC"}