@pushchain/core 6.0.27-alpha.1 → 6.0.27-alpha.3

package/src/lib/agentic/presets/operation-limits.js

@@ -0,0 +1,111 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.nativeAsset = exports.assetAddress = void 0;
+exports.applyOperationLimits = applyOperationLimits;
+const viem_1 = require("viem");
+const assetAddress = (asset) => typeof asset.token === 'string' ? asset.token : asset.token.address;
+exports.assetAddress = assetAddress;
+const nativeAsset = (asset) => (0, exports.assetAddress)(asset) === viem_1.zeroAddress ||
+    (typeof asset.token !== 'string' && asset.token.mechanism === 'native');
+exports.nativeAsset = nativeAsset;
+/** Compile reviewed protocol argument positions. No exchange-rate or share guesses. */
+function applyOperationLimits(definitions, assets) {
+    const matches = (definition) => {
+        const b = definition.budget;
+        if (!b)
+            return [];
+        if (b.kind === 'native-value')
+            return assets.filter(exports.nativeAsset);
+        if (b.kind === 'fixed-token')
+            return assets.filter((a) => !(0, exports.nativeAsset)(a) && (0, viem_1.getAddress)((0, exports.assetAddress)(a)) === (0, viem_1.getAddress)(b.token));
+        if (b.kind === 'token-argument')
+            return assets.filter((a) => !(0, exports.nativeAsset)(a) &&
+                (!b.tokens ||
+                    b.tokens.some((t) => (0, viem_1.getAddress)(t) === (0, viem_1.getAddress)((0, exports.assetAddress)(a)))));
+        return [];
+    };
+    const previewAll = !definitions.some((d) => matches(d).length > 0);
+    const calls = [];
+    const disabledCalls = [], excludedCalls = [];
+    const knownTokens = new Set();
+    let enabled = false;
+    for (const definition of definitions) {
+        const { budget, ...call } = definition;
+        if (!budget || budget.kind === 'setup') {
+            calls.push(call);
+            if (!budget)
+                enabled = true; // Non-budgeted internal fixture entries only.
+            continue;
+        }
+        const info = {
+            target: call.target,
+            selector: call.selector,
+            ...(call.app ? { app: call.app } : {}),
+        };
+        if (budget.kind === 'unsupported') {
+            excludedCalls.push({
+                ...info,
+                reason: budget.reason,
+                ...(budget.alternative ? { alternative: budget.alternative } : {}),
+            });
+            continue;
+        }
+        if (budget.kind === 'fixed-token')
+            knownTokens.add((0, viem_1.getAddress)(budget.token));
+        if (budget.kind === 'native-value')
+            knownTokens.add(viem_1.zeroAddress);
+        if (budget.kind === 'token-argument')
+            budget.tokens?.forEach((t) => knownTokens.add((0, viem_1.getAddress)(t)));
+        const selected = matches(definition);
+        if (!selected.length && !previewAll) {
+            excludedCalls.push({
+                ...info,
+                reason: 'UNSELECTED_TOKEN',
+                ...(budget.kind === 'fixed-token'
+                    ? { token: (0, viem_1.getAddress)(budget.token) }
+                    : {}),
+            });
+            continue;
+        }
+        for (const asset of selected.length ? selected : [undefined]) {
+            const maximum = asset?.maxPerCall ?? BigInt(0);
+            const pins = [...(call.pins ?? [])];
+            if (budget.kind === 'token-argument' && asset)
+                pins.push({
+                    arg: budget.tokenArg,
+                    expected: (0, viem_1.getAddress)((0, exports.assetAddress)(asset)),
+                });
+            if (budget.kind !== 'native-value')
+                pins.push({ arg: budget.amountArg, max: maximum });
+            calls.push({
+                ...call,
+                ...(pins.length ? { pins } : {}),
+                ...(budget.kind === 'native-value' ? { maxValue: maximum } : {}),
+            });
+            if (maximum > BigInt(0))
+                enabled = true;
+            else
+                disabledCalls.push({
+                    ...info,
+                    reason: asset
+                        ? 'ZERO_CAP'
+                        : assets.length
+                            ? 'UNSELECTED_TOKEN'
+                            : 'TOKEN_REQUIRED',
+                    ...(asset
+                        ? { token: (0, exports.assetAddress)(asset) }
+                        : budget.kind === 'fixed-token'
+                            ? { token: (0, viem_1.getAddress)(budget.token) }
+                            : {}),
+                });
+        }
+    }
+    return {
+        calls,
+        enabled,
+        disabledCalls,
+        excludedCalls,
+        knownTokens: [...knownTokens],
+    };
+}
+//# sourceMappingURL=operation-limits.js.map

package/src/lib/agentic/presets/routes.d.ts

@@ -0,0 +1,9 @@
+import { PUSH_NETWORK } from '../../constants/enums';
+import type { RuleAsset } from '../agentic.types';
+import type { PresetChainReadiness, PresetConfigurationIssue } from './types';
+/** Offline registry checks only. Grant preparation still verifies source metadata
+ * and wiring against chain state before any signature or transaction. */
+export declare function presetRoutes(chain: string, assets: RuleAsset[], network: PUSH_NETWORK, funding: 'push' | 'destination'): {
+    bridgeAssets: PresetChainReadiness['bridgeAssets'];
+    issues: PresetConfigurationIssue[];
+};

package/src/lib/agentic/presets/routes.js

@@ -0,0 +1,51 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.presetRoutes = presetRoutes;
+const viem_1 = require("viem");
+const enums_1 = require("../../constants/enums");
+const helpers_1 = require("../../orchestrator/internals/helpers");
+const prc20_address_1 = require("../../universal/prc20-address");
+const deployments_1 = require("../deployments");
+const operation_limits_1 = require("./operation-limits");
+/** Offline registry checks only. Grant preparation still verifies source metadata
+ * and wiring against chain state before any signature or transaction. */
+function presetRoutes(chain, assets, network, funding) {
+    const issues = [];
+    network =
+        network === enums_1.PUSH_NETWORK.TESTNET ? enums_1.PUSH_NETWORK.TESTNET_DONUT : network;
+    if (!(0, deployments_1.generationsFor)(network).some((g) => g.advertised))
+        issues.push({
+            code: 'AGW_NETWORK_UNAVAILABLE',
+            message: `No verified AGW deployment is registered for ${network}.`,
+        });
+    const supported = helpers_1.SUPPORTED_GATEWAY_CHAINS.includes(chain);
+    if (!supported)
+        issues.push({
+            code: 'DESTINATION_UNAVAILABLE',
+            message: `The SDK has no supported gateway route to ${chain}; this is a catalog template.`,
+        });
+    const bridgeAssets = assets.map((asset) => {
+        const token = (0, operation_limits_1.assetAddress)(asset);
+        try {
+            if (!supported)
+                throw new Error(`No supported gateway route to ${chain}`);
+            const prc20 = (0, prc20_address_1.getPRC20Address)({ chain, address: token }, { network });
+            return {
+                token,
+                prc20: (0, viem_1.getAddress)(prc20.address),
+                status: 'registered',
+            };
+        }
+        catch {
+            if (funding === 'push')
+                issues.push({
+                    code: 'BRIDGE_ASSET_UNAVAILABLE',
+                    token,
+                    message: `No SDK PRC20 mapping for ${chain}:${token} on ${network}. Use a supported source asset or explicitly choose destination funding for assets already at the CEA.`,
+                });
+            return { token, status: 'unavailable' };
+        }
+    });
+    return { bridgeAssets, issues };
+}
+//# sourceMappingURL=routes.js.map

package/src/lib/agentic/presets/types.d.ts

@@ -1,5 +1,6 @@
 import type { Address } from 'viem';
-import type { Rule, RuleAsset, ForeignChainNamespace } from '../agentic.types';
+import type { PUSH_NETWORK } from '../../constants/enums';
+import type { Rule, RuleAsset, RuleCall, ForeignChainNamespace } from '../agentic.types';
 export type PresetCategory = 'DEXES' | 'LENDING' | 'STAKING' | 'PREDICTION';
 export interface Preset {
     type: 'CATEGORY';
@@ -7,7 +8,7 @@ export interface Preset {
     name: string;
     chains: ForeignChainNamespace[];
 }
-/** An editable review-screen template; both identity and expiry are required by create. */
+/** Presets generate expiry; optional fields retain editable-template compatibility. */
 export type PresetRuleTemplate = Omit<Rule, 'agent' | 'validUntil'> & {
     agent?: Address;
     validUntil?: number;
@@ -15,23 +16,78 @@ export type PresetRuleTemplate = Omit<Rule, 'agent' | 'validUntil'> & {
 export interface PresetAsset {
     chainNamespace?: ForeignChainNamespace;
     token: RuleAsset['token'];
-    /** Omitted caps are zero, by the user's October 12 decision. */
+    /** Per allowed operation and per Push outbound, in raw token units. Omitted = 0.
+     * Does not aggregate multiple destination calls in one transaction. */
     maxPerCall?: bigint;
+    /** Cumulative Push-outbound amount only; not lifetime activity on destination-held assets. Omitted = 0. */
     maxTotal?: bigint;
 }
 export interface PresetOptions {
-    /** Explicit Push-PC gas budget per outbound; omitted = zero. */
+    /** Offline route/deployment checks; defaults to TESTNET_DONUT. */
+    network?: PUSH_NETWORK;
+    /** Push funding requires PRC20 routes. Destination funding explicitly emits
+     * empty bridge assets while preserving selected token/call limits in metadata.
+     * The CEA must already hold the required destination assets. Default: push. */
+    funding?: 'push' | 'destination';
+    /** Push-PC budget ceiling per outbound; omitted uses the catalog policy (20 PC).
+     * Explicit zero is preserved. This is not the fee charged. */
     maxGasPerCall?: bigint;
     chainNamespace?: ForeignChainNamespace;
     agent?: Address;
+    /** Omitted: seven days from generation time. Explicit expiry is preserved. */
     validUntil?: number;
-    /** DEX swaps with fewer than two tokens are zero-input-cap review templates.
-     * Call get again with a complete pair to generate token pins and amount limits. */
+    /** Omitted: include the catalog's curated tokens and explicit spending policy.
+     * An explicit array replaces all defaults (including [] to select no tokens).
+     * Supplied assets retain zero for omitted caps; no policy is guessed for them.
+     * DEX swaps with fewer than two tokens remain zero-input-cap review templates. */
     assets?: PresetAsset[];
 }
 export interface ReadyPresetOptions extends PresetOptions {
     agent: Address;
-    validUntil: number;
+}
+/** Offline configuration/registry checks; chain state and balances are not checked. */
+export interface PresetConfigurationIssue {
+    code: 'AGENT_REQUIRED' | 'EXPIRY_REQUIRED' | 'GAS_BUDGET_REQUIRED' | 'ASSETS_REQUIRED' | 'TOKEN_PAIR_REQUIRED' | 'NO_ENABLED_OPERATION' | 'AGW_NETWORK_UNAVAILABLE' | 'DESTINATION_UNAVAILABLE' | 'BRIDGE_ASSET_UNAVAILABLE';
+    message: string;
+    token?: string;
+}
+export interface PresetCallIssue {
+    target: string;
+    selector: RuleCall['selector'];
+    app?: string;
+    reason: 'TOKEN_REQUIRED' | 'ZERO_CAP' | 'UNSELECTED_TOKEN' | 'SHARE_AMOUNT' | 'DYNAMIC_AMOUNT' | 'POSITION_AMOUNT';
+    token?: string;
+    alternative?: RuleCall['selector'];
+}
+export interface PresetChainReadiness {
+    chainNamespace: ForeignChainNamespace;
+    ready: boolean;
+    configurationReady: boolean;
+    funding: 'push' | 'destination';
+    /** Selected destination permissions, retained even when bridge assets is empty. */
+    selectedAssets: RuleAsset[];
+    /** Registry presence only; grant preparation verifies exact on-chain identity. */
+    bridgeAssets: {
+        token: string;
+        status: 'registered' | 'unavailable';
+        prc20?: Address;
+    }[];
+    issues: PresetConfigurationIssue[];
+    /** Calls present in the rule but disabled by a zero amount/value maximum. */
+    disabledCalls: PresetCallIssue[];
+    /** Calls deliberately omitted, including operations with incompatible amount units. */
+    excludedCalls: PresetCallIssue[];
+    /** Known catalog token addresses, including the curated default subset. */
+    knownTokens: string[];
+    /** Selected tokens with a zero Push-outbound budget; destination-held assets are separate. */
+    zeroBridgeLimits: string[];
+}
+export interface PresetResult<T extends PresetRuleTemplate = PresetRuleTemplate> {
+    rules: T[];
+    readiness: {
+        ready: boolean;
+        chains: PresetChainReadiness[];
+    };
 }
 export interface AgenticPresets {
     list(options?: {
@@ -39,10 +95,6 @@ export interface AgenticPresets {
     }): {
         presets: Preset[];
     };
-    get(preset: PresetCategory, options: ReadyPresetOptions): {
-        rules: Rule[];
-    };
-    get(preset: PresetCategory, options?: PresetOptions): {
-        rules: PresetRuleTemplate[];
-    };
+    get(preset: PresetCategory, options: ReadyPresetOptions): PresetResult<Rule>;
+    get(preset: PresetCategory, options?: PresetOptions): PresetResult;
 }

package/src/lib/index.d.ts

@@ -26,4 +26,4 @@ export type { PushChainInitializeOptions } from './push-chain/push-chain';
 export { AGENTIC_ERROR_CODE, AgenticError, AgenticRevertError, } from './agentic';
 export type { AgenticAddress, AgenticDoor, AgenticErrorCode, AgenticHex, AgenticNamespace, AgenticProgressHook, AgenticTxMetadata, AgenticWallet, AllowedCall, AssetCap, Checkpoint, CheckpointKind, CreateOptions, CreateResult, ForeignChainNamespace, DecodedSolanaRule, Rule, RuleInput, Pin, Spent, WalletMarker, ArgumentPath, RulesRecord, Selector, WalletInfo, WalletSummary, } from './agentic';
 export { PushChain };
-export type { Preset, PresetCategory, PresetAsset, PresetOptions, ReadyPresetOptions, PresetRuleTemplate, AgenticPresets, } from './agentic';
+export type { Preset, PresetCategory, PresetAsset, PresetOptions, ReadyPresetOptions, PresetRuleTemplate, PresetResult, PresetChainReadiness, PresetConfigurationIssue, PresetCallIssue, AgenticPresets, } from './agentic';

package/src/lib/universal/prc20-address.js

@@ -4,6 +4,10 @@ exports.getPRC20Address = getPRC20Address;
 const enums_1 = require("../constants/enums");
 const tokens_1 = require("../constants/tokens");
 const chain_1 = require("../constants/chain");
+const viem_1 = require("viem");
+const sameTokenAddress = (a, b) => (0, viem_1.isAddress)(a, { strict: false }) && (0, viem_1.isAddress)(b, { strict: false })
+    ? a.toLowerCase() === b.toLowerCase()
+    : a === b;
 /** Shared pure origin-to-PRC20 mapping; no signer or network reads. */
 function getPRC20Address(token, options) {
     const network = options?.network ?? enums_1.PUSH_NETWORK.TESTNET_DONUT;
@@ -33,7 +37,8 @@ function getPRC20Address(token, options) {
         // MoveableToken path: infer chain by symbol + address
         for (const [key, list] of Object.entries(tokens_1.MOVEABLE_TOKENS)) {
             const k = key;
-            const match = (list ?? []).find((t) => t.symbol === token.symbol && t.address === token.address);
+            const match = (list ?? []).find((t) => t.symbol === token.symbol &&
+                sameTokenAddress(t.address, token.address));
             if (match) {
                 originChain = k;
                 tokenSymbol = match.symbol;
@@ -46,7 +51,7 @@ function getPRC20Address(token, options) {
         // { chain, address } path: trust the provided chain and resolve symbol via registry
         originChain = token.chain;
         const list = tokens_1.MOVEABLE_TOKENS[originChain] ?? [];
-        const match = list.find((t) => t.address === token.address);
+        const match = list.find((t) => sameTokenAddress(t.address, token.address));
         if (match) {
             tokenSymbol = match.symbol;
             tokenDecimals = match.decimals;
@@ -60,14 +65,23 @@ function getPRC20Address(token, options) {
         throw new Error(`No PRC20 address map configured for network: ${network}`);
     }
     // Map token → synthetic key by origin chain family
-    const isEthFamily = originChain === enums_1.CHAIN.ETHEREUM_MAINNET ||
-        originChain === enums_1.CHAIN.ETHEREUM_SEPOLIA;
+    // Current synthetic keys represent testnet sources. Mainnet assets must never
+    // resolve to a same-symbol Sepolia token on Donut.
+    const isEthFamily = originChain === enums_1.CHAIN.ETHEREUM_SEPOLIA;
     const isArbFamily = originChain === enums_1.CHAIN.ARBITRUM_SEPOLIA;
     const isBaseFamily = originChain === enums_1.CHAIN.BASE_SEPOLIA;
     const isBnbFamily = originChain === enums_1.CHAIN.BNB_TESTNET;
     const isSolFamily = originChain === enums_1.CHAIN.SOLANA_DEVNET;
     let key;
     switch (tokenSymbol) {
+        case 'WETH':
+        case 'stETH': {
+            // These deployments represent Sepolia tokens, not other chains' assets.
+            if (originChain !== enums_1.CHAIN.ETHEREUM_SEPOLIA)
+                throw new Error(`Unsupported ${tokenSymbol} origin chain for synthetic mapping`);
+            key = tokenSymbol === 'WETH' ? 'WETH_ETH' : 'stETH_ETH';
+            break;
+        }
         case 'ETH': {
             if (isEthFamily)
                 key = 'pETH';