@dev.sail.money/sailor 0.1.0-local → 1.0.0-39

package/examples/permissions/BoundedBet_Limitless_Base.sol

@@ -1,97 +1,97 @@
-// SPDX-License-Identifier: MIT
-pragma solidity 0.8.26;
-
-// ─────────────────────────────────────────────────────────────────────────────
-// Protocol : Limitless
-// Version  : CTF-based prediction market (on-chain settlement on Base)
-//            NOT Polymarket (Polymarket's CLOB matches orders off-chain on Polygon —
-//            a permission cannot bound the orders your agent signs off-chain.
-//            Limitless settles bets on-chain on Base, so the kernel sees every action.)
-// Chain    : Base mainnet
-//
-// ⚠ WARNING — ABI UNVERIFIED ⚠
-//   The Limitless exchange contract address and bet-placement function signature
-//   below are based on published CTF exchange patterns and public documentation.
-//   They have NOT been independently verified against the deployed contracts.
-//   YOU MUST verify these before deploying with real funds:
-//     1. Find the Limitless exchange contract address on Basescan.
-//     2. Read its verified ABI and confirm the buy/place function signature.
-//     3. Recompute the selector and update SEL_BUY.
-//     4. Confirm the parameter layout matches BetParams below.
-//   Deploying this contract with an unverified ABI may silently PASS or FAIL
-//   all dispatches depending on whether the selector matches.
-//
-// ENFORCES ON-CHAIN (kernel calls evaluate() on every dispatch; false ⇒ dispatch blocked)
-//                    — ASSUMING the unverified ABI above is correct:
-//   buy(bytes32 conditionId,uint256 amount,uint256 outcomeIndex)  selector = keccak256(sig)[0:4]
-//     • target must be LIMITLESS_EXCHANGE
-//     • conditionId must be in ALLOWED_CONDITIONS
-//     • amount ≤ MAX_STAKE
-//     • outcomeIndex must be in ALLOWED_OUTCOMES
-//
-// AGENT-ENFORCED / NOT BOUNDED HERE (off-chain — can change without redeploying this contract):
-//   • Market price / odds (on-chain prediction market prices fluctuate)
-//   • Timing / frequency of bets
-//
-// VERIFY BEFORE USE:
-//   • Confirm Limitless exchange address on Base (Basescan).
-//   • Confirm buy function signature and compute selector:
-//     keccak256("buy(bytes32,uint256,uint256)")[0:4] == 0x??? — verify on-chain.
-//   • Confirm conditionId encoding matches the deployed market IDs.
-//   • Update this contract if the ABI or parameter order differs.
-// ─────────────────────────────────────────────────────────────────────────────
-
-import {IPermission, Context} from "@sail/interfaces/IPermission.sol";
-
-contract BoundedBet_Limitless_Base is IPermission {
-    bytes32 private constant DISCRIMINATOR = keccak256("BoundedBet_Limitless_Base");
-
-    /// @dev ⚠ UNVERIFIED — replace with verified Limitless exchange address on Base.
-    address public immutable LIMITLESS_EXCHANGE;
-    mapping(bytes32 => bool) public isAllowedCondition;
-    uint256 public immutable MAX_STAKE;
-    mapping(uint256 => bool) public isAllowedOutcome;
-
-    /// @dev ⚠ UNVERIFIED selector. Compute keccak256("buy(bytes32,uint256,uint256)")[0:4]
-    ///      and confirm it matches the deployed Limitless exchange contract before use.
-    bytes4 private constant SEL_BUY = bytes4(keccak256("buy(bytes32,uint256,uint256)"));
-
-    /// @param limitlessExchange  ⚠ VERIFY — Limitless CTF exchange address on Base
-    /// @param allowedConditions  conditionIds (bytes32) of markets the agent may bet on
-    /// @param maxStake           Per-bet stake cap in collateral base units
-    /// @param allowedOutcomes    Outcome indices the agent may select (e.g. [0] for YES only)
-    constructor(
-        address limitlessExchange,
-        bytes32[] memory allowedConditions,
-        uint256 maxStake,
-        uint256[] memory allowedOutcomes
-    ) {
-        LIMITLESS_EXCHANGE = limitlessExchange;
-        MAX_STAKE          = maxStake;
-        for (uint256 i = 0; i < allowedConditions.length; i++) {
-            isAllowedCondition[allowedConditions[i]] = true;
-        }
-        for (uint256 i = 0; i < allowedOutcomes.length; i++) {
-            isAllowedOutcome[allowedOutcomes[i]] = true;
-        }
-    }
-
-    function evaluate(bytes calldata txData, Context calldata ctx) external view returns (bool) {
-        if (ctx.target != LIMITLESS_EXCHANGE) return false;
-        if (ctx.selector != SEL_BUY)          return false;
-        if (txData.length < 4 + 3 * 32)       return false;
-
-        // ⚠ Assumes: buy(bytes32 conditionId, uint256 amount, uint256 outcomeIndex)
-        // Verify parameter order against deployed contract ABI before use.
-        (bytes32 conditionId, uint256 amount, uint256 outcomeIndex) =
-            abi.decode(txData[4:], (bytes32, uint256, uint256));
-
-        if (!isAllowedCondition[conditionId])  return false;
-        if (amount > MAX_STAKE)                return false;
-        if (!isAllowedOutcome[outcomeIndex])   return false;
-
-        return true;
-    }
-
-    function discriminator() external pure returns (bytes32) { return DISCRIMINATOR; }
-}
+// SPDX-License-Identifier: MIT
+pragma solidity 0.8.26;
+
+// ─────────────────────────────────────────────────────────────────────────────
+// Protocol : Limitless
+// Version  : CTF-based prediction market (on-chain settlement on Base)
+//            NOT Polymarket (Polymarket's CLOB matches orders off-chain on Polygon —
+//            a permission cannot bound the orders your agent signs off-chain.
+//            Limitless settles bets on-chain on Base, so the kernel sees every action.)
+// Chain    : Base mainnet
+//
+// ⚠ WARNING — ABI UNVERIFIED ⚠
+//   The Limitless exchange contract address and bet-placement function signature
+//   below are based on published CTF exchange patterns and public documentation.
+//   They have NOT been independently verified against the deployed contracts.
+//   YOU MUST verify these before deploying with real funds:
+//     1. Find the Limitless exchange contract address on Basescan.
+//     2. Read its verified ABI and confirm the buy/place function signature.
+//     3. Recompute the selector and update SEL_BUY.
+//     4. Confirm the parameter layout matches BetParams below.
+//   Deploying this contract with an unverified ABI may silently PASS or FAIL
+//   all dispatches depending on whether the selector matches.
+//
+// ENFORCES ON-CHAIN (kernel calls evaluate() on every dispatch; false ⇒ dispatch blocked)
+//                    — ASSUMING the unverified ABI above is correct:
+//   buy(bytes32 conditionId,uint256 amount,uint256 outcomeIndex)  selector = keccak256(sig)[0:4]
+//     • target must be LIMITLESS_EXCHANGE
+//     • conditionId must be in ALLOWED_CONDITIONS
+//     • amount ≤ MAX_STAKE
+//     • outcomeIndex must be in ALLOWED_OUTCOMES
+//
+// AGENT-ENFORCED / NOT BOUNDED HERE (off-chain — can change without redeploying this contract):
+//   • Market price / odds (on-chain prediction market prices fluctuate)
+//   • Timing / frequency of bets
+//
+// VERIFY BEFORE USE:
+//   • Confirm Limitless exchange address on Base (Basescan).
+//   • Confirm buy function signature and compute selector:
+//     keccak256("buy(bytes32,uint256,uint256)")[0:4] == 0x??? — verify on-chain.
+//   • Confirm conditionId encoding matches the deployed market IDs.
+//   • Update this contract if the ABI or parameter order differs.
+// ─────────────────────────────────────────────────────────────────────────────
+
+import {IPermission, Context} from "@sail/interfaces/IPermission.sol";
+
+contract BoundedBet_Limitless_Base is IPermission {
+    bytes32 private constant DISCRIMINATOR = keccak256("BoundedBet_Limitless_Base");
+
+    /// @dev ⚠ UNVERIFIED — replace with verified Limitless exchange address on Base.
+    address public immutable LIMITLESS_EXCHANGE;
+    mapping(bytes32 => bool) public isAllowedCondition;
+    uint256 public immutable MAX_STAKE;
+    mapping(uint256 => bool) public isAllowedOutcome;
+
+    /// @dev ⚠ UNVERIFIED selector. Compute keccak256("buy(bytes32,uint256,uint256)")[0:4]
+    ///      and confirm it matches the deployed Limitless exchange contract before use.
+    bytes4 private constant SEL_BUY = bytes4(keccak256("buy(bytes32,uint256,uint256)"));
+
+    /// @param limitlessExchange  ⚠ VERIFY — Limitless CTF exchange address on Base
+    /// @param allowedConditions  conditionIds (bytes32) of markets the agent may bet on
+    /// @param maxStake           Per-bet stake cap in collateral base units
+    /// @param allowedOutcomes    Outcome indices the agent may select (e.g. [0] for YES only)
+    constructor(
+        address limitlessExchange,
+        bytes32[] memory allowedConditions,
+        uint256 maxStake,
+        uint256[] memory allowedOutcomes
+    ) {
+        LIMITLESS_EXCHANGE = limitlessExchange;
+        MAX_STAKE          = maxStake;
+        for (uint256 i = 0; i < allowedConditions.length; i++) {
+            isAllowedCondition[allowedConditions[i]] = true;
+        }
+        for (uint256 i = 0; i < allowedOutcomes.length; i++) {
+            isAllowedOutcome[allowedOutcomes[i]] = true;
+        }
+    }
+
+    function evaluate(bytes calldata txData, Context calldata ctx) external view returns (bool) {
+        if (ctx.target != LIMITLESS_EXCHANGE) return false;
+        if (ctx.selector != SEL_BUY)          return false;
+        if (txData.length < 4 + 3 * 32)       return false;
+
+        // ⚠ Assumes: buy(bytes32 conditionId, uint256 amount, uint256 outcomeIndex)
+        // Verify parameter order against deployed contract ABI before use.
+        (bytes32 conditionId, uint256 amount, uint256 outcomeIndex) =
+            abi.decode(txData[4:], (bytes32, uint256, uint256));
+
+        if (!isAllowedCondition[conditionId])  return false;
+        if (amount > MAX_STAKE)                return false;
+        if (!isAllowedOutcome[outcomeIndex])   return false;
+
+        return true;
+    }
+
+    function discriminator() external pure returns (bytes32) { return DISCRIMINATOR; }
+}

package/examples/permissions/BoundedBorrow_AaveV3_Arbitrum.sol

@@ -1,94 +1,94 @@
-// SPDX-License-Identifier: MIT
-pragma solidity 0.8.26;
-
-// ─────────────────────────────────────────────────────────────────────────────
-// Protocol : Aave V3
-// Version  : Pool (proxy) — fully on-chain, oracle-based liquidation
-// Chain    : Arbitrum mainnet (42161)
-// Target   : Aave V3 Pool  0x794a61358D6845594F94dc1DB02A252b5b4814aD  (verified on Arbiscan)
-//
-// ENFORCES ON-CHAIN (kernel calls evaluate() on every dispatch; false ⇒ dispatch blocked):
-//   borrow(address asset,uint256 amount,uint256 interestRateMode,uint16 referralCode,address onBehalfOf)
-//   selector 0xa415bcad
-//     • target must be AAVE_POOL
-//     • asset must be in ALLOWED_ASSETS
-//     • amount ≤ MAX_BORROW_AMOUNT
-//     • onBehalfOf must equal ctx.account (the SMA — agent cannot borrow on behalf of others)
-//     • interestRateMode must be in ALLOWED_RATE_MODES
-//       (1 = stable [deprecated in V3.1], 2 = variable; restrict to [2] for V3.1+)
-//
-// AGENT-ENFORCED / NOT BOUNDED HERE (off-chain — can change without redeploying this contract):
-//   • Health factor management — the kernel cannot check post-borrow health factor
-//   • referralCode (informational only, does not affect fund safety)
-//   • Repayment timing — agent decides when to repay
-//   • Collateral composition — managed by prior deposit/supply permissions
-//
-// VERIFY BEFORE USE:
-//   • Confirm Aave V3 Pool address on Arbitrum (0x794a... — verify on Arbiscan).
-//   • Selector 0xa415bcad = borrow(address,uint256,uint256,uint16,address).
-//     Compute: keccak256("borrow(address,uint256,uint256,uint16,address)")[0:4]
-//     and confirm it matches before deploying.
-//   • Aave V3.1 deprecated stable-rate borrowing (interestRateMode=1).
-//     If using V3.1+, set allowedRateModes = [2] (variable only).
-//   • MAX_BORROW_AMOUNT is in the asset's base units (e.g. 6 decimals for USDC).
-// ─────────────────────────────────────────────────────────────────────────────
-
-import {IPermission, Context} from "@sail/interfaces/IPermission.sol";
-
-contract BoundedBorrow_AaveV3_Arbitrum is IPermission {
-    bytes32 private constant DISCRIMINATOR = keccak256("BoundedBorrow_AaveV3_Arbitrum");
-
-    address public immutable AAVE_POOL;
-    mapping(address => bool) public isAllowedAsset;
-    uint256 public immutable MAX_BORROW_AMOUNT;
-    mapping(uint256 => bool) public isAllowedRateMode;
-
-    // borrow(address,uint256,uint256,uint16,address)
-    // VERIFY: keccak256("borrow(address,uint256,uint256,uint16,address)")[0:4] == 0xa415bcad
-    bytes4 private constant SEL_BORROW = 0xa415bcad;
-
-    /// @param aavePool         Aave V3 Pool proxy address
-    /// @param allowedAssets    Assets the agent may borrow
-    /// @param maxBorrowAmount  Per-call borrow cap in asset base units
-    /// @param allowedRateModes Interest rate modes allowed (2 = variable; use [2] for V3.1+)
-    constructor(
-        address aavePool,
-        address[] memory allowedAssets,
-        uint256 maxBorrowAmount,
-        uint256[] memory allowedRateModes
-    ) {
-        AAVE_POOL        = aavePool;
-        MAX_BORROW_AMOUNT = maxBorrowAmount;
-        for (uint256 i = 0; i < allowedAssets.length; i++) {
-            isAllowedAsset[allowedAssets[i]] = true;
-        }
-        for (uint256 i = 0; i < allowedRateModes.length; i++) {
-            isAllowedRateMode[allowedRateModes[i]] = true;
-        }
-    }
-
-    function evaluate(bytes calldata txData, Context calldata ctx) external view returns (bool) {
-        if (ctx.target != AAVE_POOL)      return false;
-        if (ctx.selector != SEL_BORROW)   return false;
-        // borrow(address asset, uint256 amount, uint256 interestRateMode, uint16 referralCode, address onBehalfOf)
-        // = 5 ABI-encoded 32-byte slots after the 4-byte selector
-        if (txData.length < 4 + 5 * 32)  return false;
-
-        (
-            address asset,
-            uint256 amount,
-            uint256 interestRateMode,
-            /* uint16 referralCode — not bounded */,
-            address onBehalfOf
-        ) = abi.decode(txData[4:], (address, uint256, uint256, uint16, address));
-
-        if (!isAllowedAsset[asset])           return false;
-        if (amount > MAX_BORROW_AMOUNT)       return false;
-        if (onBehalfOf != ctx.account)        return false;  // agent borrows only for the SMA
-        if (!isAllowedRateMode[interestRateMode]) return false;
-
-        return true;
-    }
-
-    function discriminator() external pure returns (bytes32) { return DISCRIMINATOR; }
-}
+// SPDX-License-Identifier: MIT
+pragma solidity 0.8.26;
+
+// ─────────────────────────────────────────────────────────────────────────────
+// Protocol : Aave V3
+// Version  : Pool (proxy) — fully on-chain, oracle-based liquidation
+// Chain    : Arbitrum mainnet (42161)
+// Target   : Aave V3 Pool  0x794a61358D6845594F94dc1DB02A252b5b4814aD  (verified on Arbiscan)
+//
+// ENFORCES ON-CHAIN (kernel calls evaluate() on every dispatch; false ⇒ dispatch blocked):
+//   borrow(address asset,uint256 amount,uint256 interestRateMode,uint16 referralCode,address onBehalfOf)
+//   selector 0xa415bcad
+//     • target must be AAVE_POOL
+//     • asset must be in ALLOWED_ASSETS
+//     • amount ≤ MAX_BORROW_AMOUNT
+//     • onBehalfOf must equal ctx.account (the SMA — agent cannot borrow on behalf of others)
+//     • interestRateMode must be in ALLOWED_RATE_MODES
+//       (1 = stable [deprecated in V3.1], 2 = variable; restrict to [2] for V3.1+)
+//
+// AGENT-ENFORCED / NOT BOUNDED HERE (off-chain — can change without redeploying this contract):
+//   • Health factor management — the kernel cannot check post-borrow health factor
+//   • referralCode (informational only, does not affect fund safety)
+//   • Repayment timing — agent decides when to repay
+//   • Collateral composition — managed by prior deposit/supply permissions
+//
+// VERIFY BEFORE USE:
+//   • Confirm Aave V3 Pool address on Arbitrum (0x794a... — verify on Arbiscan).
+//   • Selector 0xa415bcad = borrow(address,uint256,uint256,uint16,address).
+//     Compute: keccak256("borrow(address,uint256,uint256,uint16,address)")[0:4]
+//     and confirm it matches before deploying.
+//   • Aave V3.1 deprecated stable-rate borrowing (interestRateMode=1).
+//     If using V3.1+, set allowedRateModes = [2] (variable only).
+//   • MAX_BORROW_AMOUNT is in the asset's base units (e.g. 6 decimals for USDC).
+// ─────────────────────────────────────────────────────────────────────────────
+
+import {IPermission, Context} from "@sail/interfaces/IPermission.sol";
+
+contract BoundedBorrow_AaveV3_Arbitrum is IPermission {
+    bytes32 private constant DISCRIMINATOR = keccak256("BoundedBorrow_AaveV3_Arbitrum");
+
+    address public immutable AAVE_POOL;
+    mapping(address => bool) public isAllowedAsset;
+    uint256 public immutable MAX_BORROW_AMOUNT;
+    mapping(uint256 => bool) public isAllowedRateMode;
+
+    // borrow(address,uint256,uint256,uint16,address)
+    // VERIFY: keccak256("borrow(address,uint256,uint256,uint16,address)")[0:4] == 0xa415bcad
+    bytes4 private constant SEL_BORROW = 0xa415bcad;
+
+    /// @param aavePool         Aave V3 Pool proxy address
+    /// @param allowedAssets    Assets the agent may borrow
+    /// @param maxBorrowAmount  Per-call borrow cap in asset base units
+    /// @param allowedRateModes Interest rate modes allowed (2 = variable; use [2] for V3.1+)
+    constructor(
+        address aavePool,
+        address[] memory allowedAssets,
+        uint256 maxBorrowAmount,
+        uint256[] memory allowedRateModes
+    ) {
+        AAVE_POOL        = aavePool;
+        MAX_BORROW_AMOUNT = maxBorrowAmount;
+        for (uint256 i = 0; i < allowedAssets.length; i++) {
+            isAllowedAsset[allowedAssets[i]] = true;
+        }
+        for (uint256 i = 0; i < allowedRateModes.length; i++) {
+            isAllowedRateMode[allowedRateModes[i]] = true;
+        }
+    }
+
+    function evaluate(bytes calldata txData, Context calldata ctx) external view returns (bool) {
+        if (ctx.target != AAVE_POOL)      return false;
+        if (ctx.selector != SEL_BORROW)   return false;
+        // borrow(address asset, uint256 amount, uint256 interestRateMode, uint16 referralCode, address onBehalfOf)
+        // = 5 ABI-encoded 32-byte slots after the 4-byte selector
+        if (txData.length < 4 + 5 * 32)  return false;
+
+        (
+            address asset,
+            uint256 amount,
+            uint256 interestRateMode,
+            /* uint16 referralCode — not bounded */,
+            address onBehalfOf
+        ) = abi.decode(txData[4:], (address, uint256, uint256, uint16, address));
+
+        if (!isAllowedAsset[asset])           return false;
+        if (amount > MAX_BORROW_AMOUNT)       return false;
+        if (onBehalfOf != ctx.account)        return false;  // agent borrows only for the SMA
+        if (!isAllowedRateMode[interestRateMode]) return false;
+
+        return true;
+    }
+
+    function discriminator() external pure returns (bytes32) { return DISCRIMINATOR; }
+}