// SPDX-License-Identifier: MIT
pragma solidity 0.8.27;

import {IPermitter} from "./IPermitter.sol";
import {PredicateClient} from "@predicate/contracts/src/mixins/PredicateClient.sol";
import {PredicateMessage} from "@predicate/contracts/src/interfaces/IPredicateClient.sol";

import {UUPSUpgradeable} from "@openzeppelin/contracts-upgradeable/proxy/utils/UUPSUpgradeable.sol";
import {OwnableUpgradeable} from "@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol";

/**
 * @title PredicatePermitter
 * @notice Implementation of IPermitter that uses Predicate Protocol for permission validation
 * @dev Leverages Predicate Protocol's policy-based authorization system to validate user permissions
 */
contract PredicatePermitter is
	PredicateClient,
	UUPSUpgradeable,
	OwnableUpgradeable,
	IPermitter
{
	/**
	 * @notice Error thrown when an address parameter is the zero address
	 * @dev Used in initialize function to validate admin and predicateManager addresses
	 */
	error AddressZero();

	/**
	 * @notice Error thrown when the policy ID string is empty
	 * @dev Used in initialize function to validate the policyID parameter
	 */
	error PolicyIDEmpty();

	/**
	 * @notice Error thrown when the caller is not the liquidity contract
	 * @dev Used in permit function to restrict access to the liquidity contract
	 */
	error NotLiquidity();

	/**
	 * @notice Emitted when the Predicate policy ID is set or updated
	 * @dev Triggered in initialize and setPolicy functions
	 * @param policyID The new policy ID that was set
	 */
	event PolicySet(string policyID);

	/**
	 * @notice Emitted when the Predicate manager address is set or updated
	 * @dev Triggered in initialize and setPredicateManager functions
	 * @param predicateManager The new Predicate manager address
	 */
	event PredicateManagerSet(address predicateManager);

	/**
	 * @notice Address of the liquidity contract
	 * @dev Used to restrict access to certain functions
	 */
	address public liquidity;

	/**
	 * @notice Modifier to restrict access to the liquidity contract
	 * @dev Ensures that only the liquidity contract can call the function
	 */
	modifier onlyLiquidity() {
		if (msg.sender != liquidity) {
			revert NotLiquidity();
		}
		_;
	}

	/// @custom:oz-upgrades-unsafe-allow constructor
	constructor() {
		_disableInitializers();
	}

	/**
	 * @notice Initializes the PredicatePermitter contract
	 * @dev Sets up the initial state with admin, Predicate manager, and policy ID
	 * @param _admin Address that will be granted ownership of the contract
	 * @param _liquidity Address of the liquidity contract that will interact with this contract
	 * @param _predicateManager Address of the Predicate Protocol manager contract
	 * @param policyID The policy ID string used for permission validation
	 */
	function initialize(
		address _admin,
		address _liquidity,
		address _predicateManager,
		string calldata policyID
	) external initializer {
		if (
			_admin == address(0) ||
			_liquidity == address(0) ||
			_predicateManager == address(0)
		) {
			revert AddressZero();
		}
		if (bytes(policyID).length == 0) {
			revert PolicyIDEmpty();
		}
		liquidity = _liquidity;
		__Ownable_init(_admin);
		__UUPSUpgradeable_init();
		_initPredicateClient(_predicateManager, policyID);
		emit PolicySet(policyID);
		emit PredicateManagerSet(_predicateManager);
	}

	/**
	 * @notice Validates if a user has permission to execute a specified action
	 * @dev Decodes the permission data as a PredicateMessage and uses Predicate Protocol for validation
	 * @param user The address of the user attempting the action
	 * @param value The msg.value of the transaction being authorized
	 * @param encodedData The encoded function call data of the action
	 * @param permission The permission data containing a PredicateMessage
	 * @return Boolean indicating whether the user is authorized
	 */
	function permit(
		address user,
		uint256 value,
		bytes calldata encodedData,
		bytes calldata permission
	) external onlyLiquidity returns (bool) {
		PredicateMessage memory predicateMessage = abi.decode(
			permission,
			(PredicateMessage)
		);
		return
			_authorizeTransaction(predicateMessage, encodedData, user, value);
	}

	/// @notice Set the policy ID of Predicate
	/// @dev Only the owner can call this function
	/// @param policyID The policy ID to set
	function setPolicy(string calldata policyID) external onlyOwner {
		_setPolicy(policyID);
		emit PolicySet(policyID);
	}

	/// @notice Set the Predicate Manager
	/// @dev Only the owner can call this function
	/// @param serviceManager The Predicate Manager address to set
	function setPredicateManager(address serviceManager) external onlyOwner {
		_setPredicateManager(serviceManager);
		emit PredicateManagerSet(serviceManager);
	}

	/**
	 * @notice Authorizes an upgrade to a new implementation
	 * @dev Can only be called by the contract owner
	 * @param newImplementation Address of the new implementation contract
	 */
	function _authorizeUpgrade(
		address newImplementation
	) internal override onlyOwner {}
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (access/Ownable.sol)

pragma solidity ^0.8.20;

import {ContextUpgradeable} from "../utils/ContextUpgradeable.sol";
import {Initializable} from "../proxy/utils/Initializable.sol";

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * The initial owner is set to the address provided by the deployer. This can
 * later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract OwnableUpgradeable is Initializable, ContextUpgradeable {
    /// @custom:storage-location erc7201:openzeppelin.storage.Ownable
    struct OwnableStorage {
        address _owner;
    }

    // keccak256(abi.encode(uint256(keccak256("openzeppelin.storage.Ownable")) - 1)) & ~bytes32(uint256(0xff))
    bytes32 private constant OwnableStorageLocation = 0x9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300;

    function _getOwnableStorage() private pure returns (OwnableStorage storage $) {
        assembly {
            $.slot := OwnableStorageLocation
        }
    }

    /**
     * @dev The caller account is not authorized to perform an operation.
     */
    error OwnableUnauthorizedAccount(address account);

    /**
     * @dev The owner is not a valid owner account. (eg. `address(0)`)
     */
    error OwnableInvalidOwner(address owner);

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the address provided by the deployer as the initial owner.
     */
    function __Ownable_init(address initialOwner) internal onlyInitializing {
        __Ownable_init_unchained(initialOwner);
    }

    function __Ownable_init_unchained(address initialOwner) internal onlyInitializing {
        if (initialOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(initialOwner);
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        OwnableStorage storage $ = _getOwnableStorage();
        return $._owner;
    }

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        if (owner() != _msgSender()) {
            revert OwnableUnauthorizedAccount(_msgSender());
        }
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby disabling any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        if (newOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        OwnableStorage storage $ = _getOwnableStorage();
        address oldOwner = $._owner;
        $._owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (proxy/utils/Initializable.sol)

pragma solidity ^0.8.20;

/**
 * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed
 * behind a proxy. Since proxied contracts do not make use of a constructor, it's common to move constructor logic to an
 * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer
 * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
 *
 * The initialization functions use a version number. Once a version number is used, it is consumed and cannot be
 * reused. This mechanism prevents re-execution of each "step" but allows the creation of new initialization steps in
 * case an upgrade adds a module that needs to be initialized.
 *
 * For example:
 *
 * [.hljs-theme-light.nopadding]
 * ```solidity
 * contract MyToken is ERC20Upgradeable {
 *     function initialize() initializer public {
 *         __ERC20_init("MyToken", "MTK");
 *     }
 * }
 *
 * contract MyTokenV2 is MyToken, ERC20PermitUpgradeable {
 *     function initializeV2() reinitializer(2) public {
 *         __ERC20Permit_init("MyToken");
 *     }
 * }
 * ```
 *
 * TIP: To avoid leaving the proxy in an uninitialized state, the initializer function should be called as early as
 * possible by providing the encoded function call as the `_data` argument to {ERC1967Proxy-constructor}.
 *
 * CAUTION: When used with inheritance, manual care must be taken to not invoke a parent initializer twice, or to ensure
 * that all initializers are idempotent. This is not verified automatically as constructors are by Solidity.
 *
 * [CAUTION]
 * ====
 * Avoid leaving a contract uninitialized.
 *
 * An uninitialized contract can be taken over by an attacker. This applies to both a proxy and its implementation
 * contract, which may impact the proxy. To prevent the implementation contract from being used, you should invoke
 * the {_disableInitializers} function in the constructor to automatically lock it when it is deployed:
 *
 * [.hljs-theme-light.nopadding]
 * ```
 * /// @custom:oz-upgrades-unsafe-allow constructor
 * constructor() {
 *     _disableInitializers();
 * }
 * ```
 * ====
 */
abstract contract Initializable {
    /**
     * @dev Storage of the initializable contract.
     *
     * It's implemented on a custom ERC-7201 namespace to reduce the risk of storage collisions
     * when using with upgradeable contracts.
     *
     * @custom:storage-location erc7201:openzeppelin.storage.Initializable
     */
    struct InitializableStorage {
        /**
         * @dev Indicates that the contract has been initialized.
         */
        uint64 _initialized;
        /**
         * @dev Indicates that the contract is in the process of being initialized.
         */
        bool _initializing;
    }

    // keccak256(abi.encode(uint256(keccak256("openzeppelin.storage.Initializable")) - 1)) & ~bytes32(uint256(0xff))
    bytes32 private constant INITIALIZABLE_STORAGE = 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00;

    /**
     * @dev The contract is already initialized.
     */
    error InvalidInitialization();

    /**
     * @dev The contract is not initializing.
     */
    error NotInitializing();

    /**
     * @dev Triggered when the contract has been initialized or reinitialized.
     */
    event Initialized(uint64 version);

    /**
     * @dev A modifier that defines a protected initializer function that can be invoked at most once. In its scope,
     * `onlyInitializing` functions can be used to initialize parent contracts.
     *
     * Similar to `reinitializer(1)`, except that in the context of a constructor an `initializer` may be invoked any
     * number of times. This behavior in the constructor can be useful during testing and is not expected to be used in
     * production.
     *
     * Emits an {Initialized} event.
     */
    modifier initializer() {
        // solhint-disable-next-line var-name-mixedcase
        InitializableStorage storage $ = _getInitializableStorage();

        // Cache values to avoid duplicated sloads
        bool isTopLevelCall = !$._initializing;
        uint64 initialized = $._initialized;

        // Allowed calls:
        // - initialSetup: the contract is not in the initializing state and no previous version was
        //                 initialized
        // - construction: the contract is initialized at version 1 (no reininitialization) and the
        //                 current contract is just being deployed
        bool initialSetup = initialized == 0 && isTopLevelCall;
        bool construction = initialized == 1 && address(this).code.length == 0;

        if (!initialSetup && !construction) {
            revert InvalidInitialization();
        }
        $._initialized = 1;
        if (isTopLevelCall) {
            $._initializing = true;
        }
        _;
        if (isTopLevelCall) {
            $._initializing = false;
            emit Initialized(1);
        }
    }

    /**
     * @dev A modifier that defines a protected reinitializer function that can be invoked at most once, and only if the
     * contract hasn't been initialized to a greater version before. In its scope, `onlyInitializing` functions can be
     * used to initialize parent contracts.
     *
     * A reinitializer may be used after the original initialization step. This is essential to configure modules that
     * are added through upgrades and that require initialization.
     *
     * When `version` is 1, this modifier is similar to `initializer`, except that functions marked with `reinitializer`
     * cannot be nested. If one is invoked in the context of another, execution will revert.
     *
     * Note that versions can jump in increments greater than 1; this implies that if multiple reinitializers coexist in
     * a contract, executing them in the right order is up to the developer or operator.
     *
     * WARNING: Setting the version to 2**64 - 1 will prevent any future reinitialization.
     *
     * Emits an {Initialized} event.
     */
    modifier reinitializer(uint64 version) {
        // solhint-disable-next-line var-name-mixedcase
        InitializableStorage storage $ = _getInitializableStorage();

        if ($._initializing || $._initialized >= version) {
            revert InvalidInitialization();
        }
        $._initialized = version;
        $._initializing = true;
        _;
        $._initializing = false;
        emit Initialized(version);
    }

    /**
     * @dev Modifier to protect an initialization function so that it can only be invoked by functions with the
     * {initializer} and {reinitializer} modifiers, directly or indirectly.
     */
    modifier onlyInitializing() {
        _checkInitializing();
        _;
    }

    /**
     * @dev Reverts if the contract is not in an initializing state. See {onlyInitializing}.
     */
    function _checkInitializing() internal view virtual {
        if (!_isInitializing()) {
            revert NotInitializing();
        }
    }

    /**
     * @dev Locks the contract, preventing any future reinitialization. This cannot be part of an initializer call.
     * Calling this in the constructor of a contract will prevent that contract from being initialized or reinitialized
     * to any version. It is recommended to use this to lock implementation contracts that are designed to be called
     * through proxies.
     *
     * Emits an {Initialized} event the first time it is successfully executed.
     */
    function _disableInitializers() internal virtual {
        // solhint-disable-next-line var-name-mixedcase
        InitializableStorage storage $ = _getInitializableStorage();

        if ($._initializing) {
            revert InvalidInitialization();
        }
        if ($._initialized != type(uint64).max) {
            $._initialized = type(uint64).max;
            emit Initialized(type(uint64).max);
        }
    }

    /**
     * @dev Returns the highest version that has been initialized. See {reinitializer}.
     */
    function _getInitializedVersion() internal view returns (uint64) {
        return _getInitializableStorage()._initialized;
    }

    /**
     * @dev Returns `true` if the contract is currently initializing. See {onlyInitializing}.
     */
    function _isInitializing() internal view returns (bool) {
        return _getInitializableStorage()._initializing;
    }

    /**
     * @dev Returns a pointer to the storage namespace.
     */
    // solhint-disable-next-line var-name-mixedcase
    function _getInitializableStorage() private pure returns (InitializableStorage storage $) {
        assembly {
            $.slot := INITIALIZABLE_STORAGE
        }
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (proxy/utils/UUPSUpgradeable.sol)

pragma solidity ^0.8.20;

import {IERC1822Proxiable} from "@openzeppelin/contracts/interfaces/draft-IERC1822.sol";
import {ERC1967Utils} from "@openzeppelin/contracts/proxy/ERC1967/ERC1967Utils.sol";
import {Initializable} from "./Initializable.sol";

/**
 * @dev An upgradeability mechanism designed for UUPS proxies. The functions included here can perform an upgrade of an
 * {ERC1967Proxy}, when this contract is set as the implementation behind such a proxy.
 *
 * A security mechanism ensures that an upgrade does not turn off upgradeability accidentally, although this risk is
 * reinstated if the upgrade retains upgradeability but removes the security mechanism, e.g. by replacing
 * `UUPSUpgradeable` with a custom implementation of upgrades.
 *
 * The {_authorizeUpgrade} function must be overridden to include access restriction to the upgrade mechanism.
 */
abstract contract UUPSUpgradeable is Initializable, IERC1822Proxiable {
    /// @custom:oz-upgrades-unsafe-allow state-variable-immutable
    address private immutable __self = address(this);

    /**
     * @dev The version of the upgrade interface of the contract. If this getter is missing, both `upgradeTo(address)`
     * and `upgradeToAndCall(address,bytes)` are present, and `upgradeTo` must be used if no function should be called,
     * while `upgradeToAndCall` will invoke the `receive` function if the second argument is the empty byte string.
     * If the getter returns `"5.0.0"`, only `upgradeToAndCall(address,bytes)` is present, and the second argument must
     * be the empty byte string if no function should be called, making it impossible to invoke the `receive` function
     * during an upgrade.
     */
    string public constant UPGRADE_INTERFACE_VERSION = "5.0.0";

    /**
     * @dev The call is from an unauthorized context.
     */
    error UUPSUnauthorizedCallContext();

    /**
     * @dev The storage `slot` is unsupported as a UUID.
     */
    error UUPSUnsupportedProxiableUUID(bytes32 slot);

    /**
     * @dev Check that the execution is being performed through a delegatecall call and that the execution context is
     * a proxy contract with an implementation (as defined in ERC-1967) pointing to self. This should only be the case
     * for UUPS and transparent proxies that are using the current contract as their implementation. Execution of a
     * function through ERC-1167 minimal proxies (clones) would not normally pass this test, but is not guaranteed to
     * fail.
     */
    modifier onlyProxy() {
        _checkProxy();
        _;
    }

    /**
     * @dev Check that the execution is not being performed through a delegate call. This allows a function to be
     * callable on the implementing contract but not through proxies.
     */
    modifier notDelegated() {
        _checkNotDelegated();
        _;
    }

    function __UUPSUpgradeable_init() internal onlyInitializing {
    }

    function __UUPSUpgradeable_init_unchained() internal onlyInitializing {
    }
    /**
     * @dev Implementation of the ERC-1822 {proxiableUUID} function. This returns the storage slot used by the
     * implementation. It is used to validate the implementation's compatibility when performing an upgrade.
     *
     * IMPORTANT: A proxy pointing at a proxiable contract should not be considered proxiable itself, because this risks
     * bricking a proxy that upgrades to it, by delegating to itself until out of gas. Thus it is critical that this
     * function revert if invoked through a proxy. This is guaranteed by the `notDelegated` modifier.
     */
    function proxiableUUID() external view virtual notDelegated returns (bytes32) {
        return ERC1967Utils.IMPLEMENTATION_SLOT;
    }

    /**
     * @dev Upgrade the implementation of the proxy to `newImplementation`, and subsequently execute the function call
     * encoded in `data`.
     *
     * Calls {_authorizeUpgrade}.
     *
     * Emits an {Upgraded} event.
     *
     * @custom:oz-upgrades-unsafe-allow-reachable delegatecall
     */
    function upgradeToAndCall(address newImplementation, bytes memory data) public payable virtual onlyProxy {
        _authorizeUpgrade(newImplementation);
        _upgradeToAndCallUUPS(newImplementation, data);
    }

    /**
     * @dev Reverts if the execution is not performed via delegatecall or the execution
     * context is not of a proxy with an ERC-1967 compliant implementation pointing to self.
     * See {_onlyProxy}.
     */
    function _checkProxy() internal view virtual {
        if (
            address(this) == __self || // Must be called through delegatecall
            ERC1967Utils.getImplementation() != __self // Must be called through an active proxy
        ) {
            revert UUPSUnauthorizedCallContext();
        }
    }

    /**
     * @dev Reverts if the execution is performed via delegatecall.
     * See {notDelegated}.
     */
    function _checkNotDelegated() internal view virtual {
        if (address(this) != __self) {
            // Must not be called through delegatecall
            revert UUPSUnauthorizedCallContext();
        }
    }

    /**
     * @dev Function that should revert when `msg.sender` is not authorized to upgrade the contract. Called by
     * {upgradeToAndCall}.
     *
     * Normally, this function will use an xref:access.adoc[access control] modifier such as {Ownable-onlyOwner}.
     *
     * ```solidity
     * function _authorizeUpgrade(address) internal onlyOwner {}
     * ```
     */
    function _authorizeUpgrade(address newImplementation) internal virtual;

    /**
     * @dev Performs an implementation upgrade with a security check for UUPS proxies, and additional setup call.
     *
     * As a security check, {proxiableUUID} is invoked in the new implementation, and the return value
     * is expected to be the implementation slot in ERC-1967.
     *
     * Emits an {IERC1967-Upgraded} event.
     */
    function _upgradeToAndCallUUPS(address newImplementation, bytes memory data) private {
        try IERC1822Proxiable(newImplementation).proxiableUUID() returns (bytes32 slot) {
            if (slot != ERC1967Utils.IMPLEMENTATION_SLOT) {
                revert UUPSUnsupportedProxiableUUID(slot);
            }
            ERC1967Utils.upgradeToAndCall(newImplementation, data);
        } catch {
            // The implementation is not UUPS
            revert ERC1967Utils.ERC1967InvalidImplementation(newImplementation);
        }
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.1) (utils/Context.sol)

pragma solidity ^0.8.20;
import {Initializable} from "../proxy/utils/Initializable.sol";

/**
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract ContextUpgradeable is Initializable {
    function __Context_init() internal onlyInitializing {
    }

    function __Context_init_unchained() internal onlyInitializing {
    }
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }

    function _contextSuffixLength() internal view virtual returns (uint256) {
        return 0;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (interfaces/draft-IERC1822.sol)

pragma solidity ^0.8.20;

/**
 * @dev ERC-1822: Universal Upgradeable Proxy Standard (UUPS) documents a method for upgradeability through a simplified
 * proxy whose upgrades are fully controlled by the current implementation.
 */
interface IERC1822Proxiable {
    /**
     * @dev Returns the storage slot that the proxiable contract assumes is being used to store the implementation
     * address.
     *
     * IMPORTANT: A proxy pointing at a proxiable contract should not be considered proxiable itself, because this risks
     * bricking a proxy that upgrades to it, by delegating to itself until out of gas. Thus it is critical that this
     * function revert if invoked through a proxy.
     */
    function proxiableUUID() external view returns (bytes32);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/IERC1967.sol)

pragma solidity ^0.8.20;

/**
 * @dev ERC-1967: Proxy Storage Slots. This interface contains the events defined in the ERC.
 */
interface IERC1967 {
    /**
     * @dev Emitted when the implementation is upgraded.
     */
    event Upgraded(address indexed implementation);

    /**
     * @dev Emitted when the admin account has changed.
     */
    event AdminChanged(address previousAdmin, address newAdmin);

    /**
     * @dev Emitted when the beacon is changed.
     */
    event BeaconUpgraded(address indexed beacon);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (proxy/beacon/IBeacon.sol)

pragma solidity ^0.8.20;

/**
 * @dev This is the interface that {BeaconProxy} expects of its beacon.
 */
interface IBeacon {
    /**
     * @dev Must return an address that can be used as a delegate call target.
     *
     * {UpgradeableBeacon} will check that this address is a contract.
     */
    function implementation() external view returns (address);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (proxy/ERC1967/ERC1967Utils.sol)

pragma solidity ^0.8.21;

import {IBeacon} from "../beacon/IBeacon.sol";
import {IERC1967} from "../../interfaces/IERC1967.sol";
import {Address} from "../../utils/Address.sol";
import {StorageSlot} from "../../utils/StorageSlot.sol";

/**
 * @dev This library provides getters and event emitting update functions for
 * https://eips.ethereum.org/EIPS/eip-1967[ERC-1967] slots.
 */
library ERC1967Utils {
    /**
     * @dev Storage slot with the address of the current implementation.
     * This is the keccak-256 hash of "eip1967.proxy.implementation" subtracted by 1.
     */
    // solhint-disable-next-line private-vars-leading-underscore
    bytes32 internal constant IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;

    /**
     * @dev The `implementation` of the proxy is invalid.
     */
    error ERC1967InvalidImplementation(address implementation);

    /**
     * @dev The `admin` of the proxy is invalid.
     */
    error ERC1967InvalidAdmin(address admin);

    /**
     * @dev The `beacon` of the proxy is invalid.
     */
    error ERC1967InvalidBeacon(address beacon);

    /**
     * @dev An upgrade function sees `msg.value > 0` that may be lost.
     */
    error ERC1967NonPayable();

    /**
     * @dev Returns the current implementation address.
     */
    function getImplementation() internal view returns (address) {
        return StorageSlot.getAddressSlot(IMPLEMENTATION_SLOT).value;
    }

    /**
     * @dev Stores a new address in the ERC-1967 implementation slot.
     */
    function _setImplementation(address newImplementation) private {
        if (newImplementation.code.length == 0) {
            revert ERC1967InvalidImplementation(newImplementation);
        }
        StorageSlot.getAddressSlot(IMPLEMENTATION_SLOT).value = newImplementation;
    }

    /**
     * @dev Performs implementation upgrade with additional setup call if data is nonempty.
     * This function is payable only if the setup call is performed, otherwise `msg.value` is rejected
     * to avoid stuck value in the contract.
     *
     * Emits an {IERC1967-Upgraded} event.
     */
    function upgradeToAndCall(address newImplementation, bytes memory data) internal {
        _setImplementation(newImplementation);
        emit IERC1967.Upgraded(newImplementation);

        if (data.length > 0) {
            Address.functionDelegateCall(newImplementation, data);
        } else {
            _checkNonPayable();
        }
    }

    /**
     * @dev Storage slot with the admin of the contract.
     * This is the keccak-256 hash of "eip1967.proxy.admin" subtracted by 1.
     */
    // solhint-disable-next-line private-vars-leading-underscore
    bytes32 internal constant ADMIN_SLOT = 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103;

    /**
     * @dev Returns the current admin.
     *
     * TIP: To get this value clients can read directly from the storage slot shown below (specified by ERC-1967) using
     * the https://eth.wiki/json-rpc/API#eth_getstorageat[`eth_getStorageAt`] RPC call.
     * `0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103`
     */
    function getAdmin() internal view returns (address) {
        return StorageSlot.getAddressSlot(ADMIN_SLOT).value;
    }

    /**
     * @dev Stores a new address in the ERC-1967 admin slot.
     */
    function _setAdmin(address newAdmin) private {
        if (newAdmin == address(0)) {
            revert ERC1967InvalidAdmin(address(0));
        }
        StorageSlot.getAddressSlot(ADMIN_SLOT).value = newAdmin;
    }

    /**
     * @dev Changes the admin of the proxy.
     *
     * Emits an {IERC1967-AdminChanged} event.
     */
    function changeAdmin(address newAdmin) internal {
        emit IERC1967.AdminChanged(getAdmin(), newAdmin);
        _setAdmin(newAdmin);
    }

    /**
     * @dev The storage slot of the UpgradeableBeacon contract which defines the implementation for this proxy.
     * This is the keccak-256 hash of "eip1967.proxy.beacon" subtracted by 1.
     */
    // solhint-disable-next-line private-vars-leading-underscore
    bytes32 internal constant BEACON_SLOT = 0xa3f0ad74e5423aebfd80d3ef4346578335a9a72aeaee59ff6cb3582b35133d50;

    /**
     * @dev Returns the current beacon.
     */
    function getBeacon() internal view returns (address) {
        return StorageSlot.getAddressSlot(BEACON_SLOT).value;
    }

    /**
     * @dev Stores a new beacon in the ERC-1967 beacon slot.
     */
    function _setBeacon(address newBeacon) private {
        if (newBeacon.code.length == 0) {
            revert ERC1967InvalidBeacon(newBeacon);
        }

        StorageSlot.getAddressSlot(BEACON_SLOT).value = newBeacon;

        address beaconImplementation = IBeacon(newBeacon).implementation();
        if (beaconImplementation.code.length == 0) {
            revert ERC1967InvalidImplementation(beaconImplementation);
        }
    }

    /**
     * @dev Change the beacon and trigger a setup call if data is nonempty.
     * This function is payable only if the setup call is performed, otherwise `msg.value` is rejected
     * to avoid stuck value in the contract.
     *
     * Emits an {IERC1967-BeaconUpgraded} event.
     *
     * CAUTION: Invoking this function has no effect on an instance of {BeaconProxy} since v5, since
     * it uses an immutable beacon without looking at the value of the ERC-1967 beacon slot for
     * efficiency.
     */
    function upgradeBeaconToAndCall(address newBeacon, bytes memory data) internal {
        _setBeacon(newBeacon);
        emit IERC1967.BeaconUpgraded(newBeacon);

        if (data.length > 0) {
            Address.functionDelegateCall(IBeacon(newBeacon).implementation(), data);
        } else {
            _checkNonPayable();
        }
    }

    /**
     * @dev Reverts if `msg.value` is not zero. It can be used to avoid `msg.value` stuck in the contract
     * if an upgrade doesn't perform an initialization call.
     */
    function _checkNonPayable() private {
        if (msg.value > 0) {
            revert ERC1967NonPayable();
        }
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (utils/Address.sol)

pragma solidity ^0.8.20;

import {Errors} from "./Errors.sol";

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev There's no code at `target` (it is not a contract).
     */
    error AddressEmptyCode(address target);

    /**
     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
     * `recipient`, forwarding all available gas and reverting on errors.
     *
     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
     * of certain opcodes, possibly making contracts go over the 2300 gas limit
     * imposed by `transfer`, making them unable to receive funds via
     * `transfer`. {sendValue} removes this limitation.
     *
     * https://consensys.net/diligence/blog/2019/09/stop-using-soliditys-transfer-now/[Learn more].
     *
     * IMPORTANT: because control is transferred to `recipient`, care must be
     * taken to not create reentrancy vulnerabilities. Consider using
     * {ReentrancyGuard} or the
     * https://solidity.readthedocs.io/en/v0.8.20/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        if (address(this).balance < amount) {
            revert Errors.InsufficientBalance(address(this).balance, amount);
        }

        (bool success, ) = recipient.call{value: amount}("");
        if (!success) {
            revert Errors.FailedCall();
        }
    }

    /**
     * @dev Performs a Solidity function call using a low level `call`. A
     * plain `call` is an unsafe replacement for a function call: use this
     * function instead.
     *
     * If `target` reverts with a revert reason or custom error, it is bubbled
     * up by this function (like regular Solidity function calls). However, if
     * the call reverted with no returned reason, this function reverts with a
     * {Errors.FailedCall} error.
     *
     * Returns the raw returned data. To convert to the expected return value,
     * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
     *
     * Requirements:
     *
     * - `target` must be a contract.
     * - calling `target` with `data` must not revert.
     */
    function functionCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but also transferring `value` wei to `target`.
     *
     * Requirements:
     *
     * - the calling contract must have an ETH balance of at least `value`.
     * - the called Solidity function must be `payable`.
     */
    function functionCallWithValue(address target, bytes memory data, uint256 value) internal returns (bytes memory) {
        if (address(this).balance < value) {
            revert Errors.InsufficientBalance(address(this).balance, value);
        }
        (bool success, bytes memory returndata) = target.call{value: value}(data);
        return verifyCallResultFromTarget(target, success, returndata);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a static call.
     */
    function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
        (bool success, bytes memory returndata) = target.staticcall(data);
        return verifyCallResultFromTarget(target, success, returndata);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a delegate call.
     */
    function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
        (bool success, bytes memory returndata) = target.delegatecall(data);
        return verifyCallResultFromTarget(target, success, returndata);
    }

    /**
     * @dev Tool to verify that a low level call to smart-contract was successful, and reverts if the target
     * was not a contract or bubbling up the revert reason (falling back to {Errors.FailedCall}) in case
     * of an unsuccessful call.
     */
    function verifyCallResultFromTarget(
        address target,
        bool success,
        bytes memory returndata
    ) internal view returns (bytes memory) {
        if (!success) {
            _revert(returndata);
        } else {
            // only check if target is a contract if the call was successful and the return data is empty
            // otherwise we already know that it was a contract
            if (returndata.length == 0 && target.code.length == 0) {
                revert AddressEmptyCode(target);
            }
            return returndata;
        }
    }

    /**
     * @dev Tool to verify that a low level call was successful, and reverts if it wasn't, either by bubbling the
     * revert reason or with a default {Errors.FailedCall} error.
     */
    function verifyCallResult(bool success, bytes memory returndata) internal pure returns (bytes memory) {
        if (!success) {
            _revert(returndata);
        } else {
            return returndata;
        }
    }

    /**
     * @dev Reverts with returndata if present. Otherwise reverts with {Errors.FailedCall}.
     */
    function _revert(bytes memory returndata) private pure {
        // Look for revert reason and bubble it up if present
        if (returndata.length > 0) {
            // The easiest way to bubble the revert reason is using memory via assembly
            assembly ("memory-safe") {
                let returndata_size := mload(returndata)
                revert(add(32, returndata), returndata_size)
            }
        } else {
            revert Errors.FailedCall();
        }
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (utils/Errors.sol)

pragma solidity ^0.8.20;

/**
 * @dev Collection of common custom errors used in multiple contracts
 *
 * IMPORTANT: Backwards compatibility is not guaranteed in future versions of the library.
 * It is recommended to avoid relying on the error API for critical functionality.
 *
 * _Available since v5.1._
 */
library Errors {
    /**
     * @dev The ETH balance of the account is not enough to perform the operation.
     */
    error InsufficientBalance(uint256 balance, uint256 needed);

    /**
     * @dev A call to an address target failed. The target may have reverted.
     */
    error FailedCall();

    /**
     * @dev The deployment failed.
     */
    error FailedDeployment();

    /**
     * @dev A necessary precompile is missing.
     */
    error MissingPrecompile(address);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (utils/StorageSlot.sol)
// This file was procedurally generated from scripts/generate/templates/StorageSlot.js.

pragma solidity ^0.8.20;

/**
 * @dev Library for reading and writing primitive types to specific storage slots.
 *
 * Storage slots are often used to avoid storage conflict when dealing with upgradeable contracts.
 * This library helps with reading and writing to such slots without the need for inline assembly.
 *
 * The functions in this library return Slot structs that contain a `value` member that can be used to read or write.
 *
 * Example usage to set ERC-1967 implementation slot:
 * ```solidity
 * contract ERC1967 {
 *     // Define the slot. Alternatively, use the SlotDerivation library to derive the slot.
 *     bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
 *
 *     function _getImplementation() internal view returns (address) {
 *         return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
 *     }
 *
 *     function _setImplementation(address newImplementation) internal {
 *         require(newImplementation.code.length > 0);
 *         StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
 *     }
 * }
 * ```
 *
 * TIP: Consider using this library along with {SlotDerivation}.
 */
library StorageSlot {
    struct AddressSlot {
        address value;
    }

    struct BooleanSlot {
        bool value;
    }

    struct Bytes32Slot {
        bytes32 value;
    }

    struct Uint256Slot {
        uint256 value;
    }

    struct Int256Slot {
        int256 value;
    }

    struct StringSlot {
        string value;
    }

    struct BytesSlot {
        bytes value;
    }

    /**
     * @dev Returns an `AddressSlot` with member `value` located at `slot`.
     */
    function getAddressSlot(bytes32 slot) internal pure returns (AddressSlot storage r) {
        assembly ("memory-safe") {
            r.slot := slot
        }
    }

    /**
     * @dev Returns a `BooleanSlot` with member `value` located at `slot`.
     */
    function getBooleanSlot(bytes32 slot) internal pure returns (BooleanSlot storage r) {
        assembly ("memory-safe") {
            r.slot := slot
        }
    }

    /**
     * @dev Returns a `Bytes32Slot` with member `value` located at `slot`.
     */
    function getBytes32Slot(bytes32 slot) internal pure returns (Bytes32Slot storage r) {
        assembly ("memory-safe") {
            r.slot := slot
        }
    }

    /**
     * @dev Returns a `Uint256Slot` with member `value` located at `slot`.
     */
    function getUint256Slot(bytes32 slot) internal pure returns (Uint256Slot storage r) {
        assembly ("memory-safe") {
            r.slot := slot
        }
    }

    /**
     * @dev Returns a `Int256Slot` with member `value` located at `slot`.
     */
    function getInt256Slot(bytes32 slot) internal pure returns (Int256Slot storage r) {
        assembly ("memory-safe") {
            r.slot := slot
        }
    }

    /**
     * @dev Returns a `StringSlot` with member `value` located at `slot`.
     */
    function getStringSlot(bytes32 slot) internal pure returns (StringSlot storage r) {
        assembly ("memory-safe") {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `StringSlot` representation of the string storage pointer `store`.
     */
    function getStringSlot(string storage store) internal pure returns (StringSlot storage r) {
        assembly ("memory-safe") {
            r.slot := store.slot
        }
    }

    /**
     * @dev Returns a `BytesSlot` with member `value` located at `slot`.
     */
    function getBytesSlot(bytes32 slot) internal pure returns (BytesSlot storage r) {
        assembly ("memory-safe") {
            r.slot := slot
        }
    }

    /**
     * @dev Returns an `BytesSlot` representation of the bytes storage pointer `store`.
     */
    function getBytesSlot(bytes storage store) internal pure returns (BytesSlot storage r) {
        assembly ("memory-safe") {
            r.slot := store.slot
        }
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.12;

import {IPredicateManager} from "../interfaces/IPredicateManager.sol";

// @notice Struct that bundles together a task's parameters for validation
struct PredicateMessage {
    // the unique identifier for the task
    string taskId;
    // the expiration block number for the task
    uint256 expireByBlockNumber;
    // the operators that have signed the task
    address[] signerAddresses;
    // the signatures of the operators that have signed the task
    bytes[] signatures;
}

// @notice Struct to contain stateful values for PredicateClient-type contracts
// @custom:storage-location erc7201:predicate.storage.PredicateClient
struct PredicateClientStorage {
    IPredicateManager serviceManager;
    string policyID;
}

// @notice error type for unauthorized access
error PredicateClient__Unauthorized();

// @notice Interface for a PredicateClient-type contract that enables clients to define execution rules or parameters for tasks they submit
interface IPredicateClient {
    /**
     * @notice Sets a policy for the calling address, associating it with a policy document stored on IPFS.
     * @param _policyID A string representing the policyID from on chain.
     * @dev This function enables clients to define execution rules or parameters for tasks they submit.
     *      The policy governs how tasks submitted by the caller are executed, ensuring compliance with predefined rules.
     */
    function setPolicy(
        string memory _policyID
    ) external;

    /**
     * @notice Retrieves the policy for the calling address.
     * @return The policyID associated with the calling address.
     */
    function getPolicy() external view returns (string memory);

    /**
     * @notice Function for setting the Predicate ServiceManager
     * @param _predicateManager address of the service manager
     */
    function setPredicateManager(
        address _predicateManager
    ) external;

    /**
     * @notice Function for getting the Predicate ServiceManager
     * @return address of the service manager
     */
    function getPredicateManager() external view returns (address);
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.12;

// @notice Struct that bundles together a task's parameters for validation
struct Task {
    // the unique identifier for the task
    string taskId;
    // the address of the sender of the task
    address msgSender;
    // the address of the target contract for the task
    address target;
    // the value to send with the task
    uint256 value;
    // the encoded signature and arguments for the task
    bytes encodedSigAndArgs;
    // the policy ID associated with the task
    string policyID;
    // the number of signatures required to authorize the task
    uint32 quorumThresholdCount;
    // the block number by which the task must be executed
    uint256 expireByBlockNumber;
}

// @notice Struct that bundles together a signature, a salt for uniqueness, and an expiration time for the signature. Used primarily for stack management.
struct SignatureWithSaltAndExpiry {
    // the signature itself, formatted as a single bytes object
    bytes signature;
    // the salt used to generate the signature
    bytes32 salt;
    // the expiration timestamp (UTC) of the signature
    uint256 expiry;
}

/**
 * @title Minimal interface for a ServiceManager-type contract that forms the single point for an AVS to push updates to EigenLayer
 * @author Predicate Labs, Inc
 */
interface IPredicateManager {
    /**
     * @notice Sets the metadata URI for the AVS
     * @param _metadataURI is the metadata URI for the AVS
     */
    function setMetadataURI(
        string memory _metadataURI
    ) external;

    /**
     * @notice Forwards a call to EigenLayer's DelegationManager contract to confirm operator registration with the AVS
     * @param operatorSigningKey The address of the operator's signing key.
     * @param operatorSignature The signature, salt, and expiry of the operator's signature.
     */
    function registerOperatorToAVS(
        address operatorSigningKey,
        SignatureWithSaltAndExpiry memory operatorSignature
    ) external;

    /**
     * @notice Forwards a call to EigenLayer's DelegationManager contract to confirm operator deregistration from the AVS
     * @param operator The address of the operator to deregister.
     */
    function deregisterOperatorFromAVS(
        address operator
    ) external;

    /**
     * @notice Returns the list of strategies that the operator has potentially restaked on the AVS
     * @param operator The address of the operator to get restaked strategies for
     * @dev This function is intended to be called off-chain
     * @dev No guarantee is made on whether the operator has shares for a strategy in a quorum or uniqueness
     *      of each element in the returned array. The off-chain service should do that validation separately
     */
    function getOperatorRestakedStrategies(
        address operator
    ) external view returns (address[] memory);

    /**
     * @notice Returns the list of strategies that the AVS supports for restaking
     * @dev This function is intended to be called off-chain
     * @dev No guarantee is made on uniqueness of each element in the returned array.
     *      The off-chain service should do that validation separately
     */
    function getRestakeableStrategies() external view returns (address[] memory);

    /**
     * @notice Sets a policy ID for the sender, defining execution rules or parameters for tasks
     * @param policyID string pointing to the policy details
     * @dev Only callable by client contracts or EOAs to associate a policy with their address
     * @dev Emits a SetPolicy event upon successful association
     */
    function setPolicy(
        string memory policyID
    ) external;

    /**
     * @notice Removes a policy ID for the sender, removing execution rules or parameters for tasks
     * @param policyID string pointing to the policy details
     * @dev Only callable by client contracts or EOAs to disassociate a policy with their address
     * @dev Emits a RemovedPolicy event upon successful association
     */
    function removePolicy(
        string memory policyID
    ) external;

    /**
     * @notice Deploys a policy with ID with execution rules or parameters for tasks
     * @param _policyID string pointing to the policy details
     * @param _policy string containing the policy details
     * @param _quorumThreshold The number of signatures required to authorize a task
     * @dev Only callable by service manager deployer
     * @dev Emits a DeployedPolicy event upon successful deployment
     */
    function deployPolicy(string memory _policyID, string memory _policy, uint256 _quorumThreshold) external;

    /**
     * @notice Gets array of deployed policies
     */
    function getDeployedPolicies() external view returns (string[] memory);

    /**
     * @notice Deploys a social graph which clients can use in policy
     * @param _socialGraphID is a unique identifier
     * @param _socialGraphConfig is the config for the social graph
     * @dev Only callable by service manager deployer
     * @dev Emits a SocialGraphDeployed event upon successful deployment
     */
    function deploySocialGraph(string memory _socialGraphID, string memory _socialGraphConfig) external;

    /**
     * @notice Returns the list of social graph IDs that the AVS supports
     */
    function getSocialGraphIDs() external view returns (string[] memory);

    /**
     * @notice Verifies if a task is authorized by the required number of operators
     * @param _task Parameters of the task including sender, target, function signature, arguments, quorum count, and expiry block
     * @param signerAddresses Array of addresses of the operators who signed the task
     * @param signatures Array of signatures from the operators authorizing the task
     * @return isVerified Boolean indicating if the task has been verified by the required number of operators
     * @dev This function checks the signatures against the hash of the task parameters to ensure task authenticity and authorization
     */
    function validateSignatures(
        Task memory _task,
        address[] memory signerAddresses,
        bytes[] memory signatures
    ) external returns (bool isVerified);

    /**
     * @notice Adds a new strategy to the Service Manager
     * @dev Only callable by the contract owner. Adds a strategy that operators can stake on.
     * @param _strategy The address of the strategy contract to add
     * @param quorumNumber The quorum number associated with the strategy
     * @param index The index of the strategy within the quorum
     * @dev Emits a StrategyAdded event upon successful addition of the strategy
     * @dev Reverts if the strategy does not exist or is already added
     */
    function addStrategy(address _strategy, uint8 quorumNumber, uint256 index) external;

    /**
     * @notice Removes an existing strategy from the Service Manager
     * @dev Only callable by the contract owner. Removes a strategy that operators are currently able to stake on.
     * @param _strategy The address of the strategy contract to remove
     * @dev Emits a StrategyRemoved event upon successful removal of the strategy
     * @dev Reverts if the strategy is not currently added or if the address is invalid
     */
    function removeStrategy(
        address _strategy
    ) external;

    /**
     * @notice Enables the rotation of Predicate Signing Key for an operator
     * @param _oldSigningKey address of the old signing key to remove
     * @param _newSigningKey address of the new signing key to add
     */
    function rotatePredicateSigningKey(address _oldSigningKey, address _newSigningKey) external;
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.12;

import {IPredicateManager, Task} from "../interfaces/IPredicateManager.sol";
import "../interfaces/IPredicateClient.sol";

abstract contract PredicateClient is IPredicateClient {
    // @notice the storage slot for the PredicateClientStorage struct
    // @dev keccak256(abi.encode(uint256(keccak256("predicate.storage.PredicateClient")) - 1)) & ~bytes32(uint256(0xff))
    bytes32 private constant _PREDICATE_CLIENT_STORAGE_SLOT =
        0x804776a84f3d03ad8442127b1451e2fbbb6a715c681d6a83c9e9fca787b99300;

    // @notice retrieves the PredicateClientStorage struct from the configured storage slot
    function _getPredicateClientStorage() private pure returns (PredicateClientStorage storage $) {
        assembly {
            $.slot := _PREDICATE_CLIENT_STORAGE_SLOT
        }
    }

    /**
     * @notice Sets a policy and serviceManager for the predicate client.
     * @param _serviceManagerAddress Address of the associated PredicateManager contract.
     * @param _policyID A string representing the predicate policyID.
     * @dev This function enables clients to define execution rules or parameters for tasks they submit.
     *      The policy governs how tasks submitted by the caller are executed, ensuring compliance with predefined rules.
     */
    function _initPredicateClient(address _serviceManagerAddress, string memory _policyID) internal {
        PredicateClientStorage storage $ = _getPredicateClientStorage();
        $.serviceManager = IPredicateManager(_serviceManagerAddress);
        $.policyID = _policyID;
    }

    // @notice internal function to set the policyID
    function _setPolicy(
        string memory _policyID
    ) internal {
        PredicateClientStorage storage $ = _getPredicateClientStorage();
        $.policyID = _policyID;
    }

    // @inheritdoc IPredicateClient
    function getPolicy() external view override returns (string memory) {
        return _getPolicy();
    }

    // @notice internal function to get the policyID from PredicateClientStorage
    function _getPolicy() internal view returns (string memory) {
        PredicateClientStorage storage $ = _getPredicateClientStorage();
        return $.policyID;
    }

    // @notice internal function to set the Predicate ServiceManager
    function _setPredicateManager(
        address _predicateManager
    ) internal {
        PredicateClientStorage storage $ = _getPredicateClientStorage();
        $.serviceManager = IPredicateManager(_predicateManager);
    }

    // @inheritdoc IPredicateClient
    function getPredicateManager() external view override returns (address) {
        return _getPredicateManager();
    }

    // @notice internal function to get the Predicate ServiceManager address from PredicateClientStorage
    function _getPredicateManager() internal view returns (address) {
        PredicateClientStorage storage $ = _getPredicateClientStorage();
        return address($.serviceManager);
    }

    /**
     * @notice Restricts access to the Predicate ServiceManager
     */
    modifier onlyPredicateServiceManager() {
        PredicateClientStorage storage $ = _getPredicateClientStorage();
        if (msg.sender != address($.serviceManager)) {
            revert PredicateClient__Unauthorized();
        }
        _;
    }

    function _authorizeTransaction(
        PredicateMessage memory _predicateMessage,
        bytes memory _encodedSigAndArgs,
        address _msgSender,
        uint256 _value
    ) internal returns (bool) {
        PredicateClientStorage storage $ = _getPredicateClientStorage();
        Task memory task = Task({
            msgSender: _msgSender,
            target: address(this),
            value: _value,
            encodedSigAndArgs: _encodedSigAndArgs,
            policyID: $.policyID,
            quorumThresholdCount: uint32(_predicateMessage.signerAddresses.length),
            taskId: _predicateMessage.taskId,
            expireByBlockNumber: _predicateMessage.expireByBlockNumber
        });

        return
            $.serviceManager.validateSignatures(task, _predicateMessage.signerAddresses, _predicateMessage.signatures);
    }
}

// SPDX-License-Identifier: MIT
pragma solidity 0.8.27;

/**
 * @title IPermitter
 * @notice Interface for permission validation contracts that authorize user actions
 * @dev This interface defines the method for validating if a user has permission to execute a specific action
 */
interface IPermitter {
	/**
	 * @notice Validates if a user has the right to execute a specified action
	 * @dev This function is called to check permissions before executing protected operations
	 * @param user The address of the user attempting the action
	 * @param value The msg.value of the transaction being authorized
	 * @param encodedData The encoded function call data of the action that user wants to execute
	 * @param permission The permission data that proves user authorization (format depends on implementation)
	 * @return authorized Returns true if the user is authorized to perform the action, false otherwise
	 */
	function permit(
		address user,
		uint256 value,
		bytes calldata encodedData,
		bytes calldata permission
	) external returns (bool authorized);
}

{
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "evmVersion": "paris",
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  },
  "libraries": {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"target","type":"address"}],"name":"AddressEmptyCode","type":"error"},{"inputs":[],"name":"AddressZero","type":"error"},{"inputs":[{"internalType":"address","name":"implementation","type":"address"}],"name":"ERC1967InvalidImplementation","type":"error"},{"inputs":[],"name":"ERC1967NonPayable","type":"error"},{"inputs":[],"name":"FailedCall","type":"error"},{"inputs":[],"name":"InvalidInitialization","type":"error"},{"inputs":[],"name":"NotInitializing","type":"error"},{"inputs":[],"name":"NotLiquidity","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","type":"error"},{"inputs":[],"name":"PolicyIDEmpty","type":"error"},{"inputs":[],"name":"UUPSUnauthorizedCallContext","type":"error"},{"inputs":[{"internalType":"bytes32","name":"slot","type":"bytes32"}],"name":"UUPSUnsupportedProxiableUUID","type":"error"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint64","name":"version","type":"uint64"}],"name":"Initialized","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"policyID","type":"string"}],"name":"PolicySet","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"predicateManager","type":"address"}],"name":"PredicateManagerSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"implementation","type":"address"}],"name":"Upgraded","type":"event"},{"inputs":[],"name":"UPGRADE_INTERFACE_VERSION","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getPolicy","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getPredicateManager","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_admin","type":"address"},{"internalType":"address","name":"_liquidity","type":"address"},{"internalType":"address","name":"_predicateManager","type":"address"},{"internalType":"string","name":"policyID","type":"string"}],"name":"initialize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"liquidity","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"bytes","name":"encodedData","type":"bytes"},{"internalType":"bytes","name":"permission","type":"bytes"}],"name":"permit","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"proxiableUUID","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"policyID","type":"string"}],"name":"setPolicy","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"serviceManager","type":"address"}],"name":"setPredicateManager","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newImplementation","type":"address"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"upgradeToAndCall","outputs":[],"stateMutability":"payable","type":"function"}]

0x60a06040523060805234801561001457600080fd5b5061001d610022565b6100d4565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00805468010000000000000000900460ff16156100725760405163f92ee8a960e01b815260040160405180910390fd5b80546001600160401b03908116146100d15780546001600160401b0319166001600160401b0390811782556040519081527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29060200160405180910390a15b50565b6080516117f16100fd600039600081816107420152818161076b01526108b101526117f16000f3fe6080604052600436106100c25760003560e01c80638da5cb5b1161007f578063ad3cb1cc11610059578063ad3cb1cc146101eb578063ce1e462614610229578063e0a7704a1461023e578063f2fde38b1461025e57600080fd5b80638da5cb5b14610191578063901afa5f146101a6578063a4b3bc01146101d657600080fd5b80631a686502146100c75780634f1ef2861461010457806352d1902d1461011957806365e8e4f41461013c5780636b4c991b1461015c578063715018a61461017c575b600080fd5b3480156100d357600080fd5b506000546100e7906001600160a01b031681565b6040516001600160a01b0390911681526020015b60405180910390f35b610117610112366004610fd3565b61027e565b005b34801561012557600080fd5b5061012e61029d565b6040519081526020016100fb565b34801561014857600080fd5b50610117610157366004611068565b6102ba565b34801561016857600080fd5b506101176101773660046110dd565b610513565b34801561018857600080fd5b50610117610597565b34801561019d57600080fd5b506100e76105ab565b3480156101b257600080fd5b506101c66101c136600461111e565b6105e0565b60405190151581526020016100fb565b3480156101e257600080fd5b506100e761066c565b3480156101f757600080fd5b5061021c604051806040016040528060058152602001640352e302e360dc1b81525081565b6040516100fb91906111fb565b34801561023557600080fd5b5061021c61067b565b34801561024a57600080fd5b5061011761025936600461120e565b610685565b34801561026a57600080fd5b5061011761027936600461120e565b6106f4565b610286610737565b61028f826107dc565b61029982826107e4565b5050565b60006102a76108a6565b5060008051602061177c83398151915290565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a008054600160401b810460ff1615906001600160401b03166000811580156102ff5750825b90506000826001600160401b0316600114801561031b5750303b155b905081158015610329575080155b156103475760405163f92ee8a960e01b815260040160405180910390fd5b845467ffffffffffffffff19166001178555831561037157845460ff60401b1916600160401b1785555b6001600160a01b038a16158061038e57506001600160a01b038916155b806103a057506001600160a01b038816155b156103be57604051639fabe1c160e01b815260040160405180910390fd5b60008690036103e057604051634a40f49b60e01b815260040160405180910390fd5b600080546001600160a01b0319166001600160a01b038b161790556104048a6108ef565b61040c610900565b61044c8888888080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525061090892505050565b7f115a7076b27726a2ae5bd26756c4e4ec6b292eb6151f84772978a722b09271a5878760405161047d929190611229565b60405180910390a16040516001600160a01b03891681527f282797d873547dfc33f40236c7b1e0c8c816e2784b7ede18c24a90179446b0269060200160405180910390a1831561050757845460ff60401b19168555604051600181527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29060200160405180910390a15b50505050505050505050565b61051b610961565b61055a82828080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525061099392505050565b7f115a7076b27726a2ae5bd26756c4e4ec6b292eb6151f84772978a722b09271a5828260405161058b929190611229565b60405180910390a15050565b61059f610961565b6105a960006109cd565b565b6000807f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c1993005b546001600160a01b031692915050565b600080546001600160a01b0316331461060c5760405163892ae32f60e01b815260040160405180910390fd5b600061061a83850185611371565b90506106608187878080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152508d92508c9150610a3e9050565b98975050505050505050565b6000610676610bcb565b905090565b6060610676610be2565b61068d610961565b60008051602061179c83398151915280546001600160a01b0319166001600160a01b0383161790556040516001600160a01b03821681527f282797d873547dfc33f40236c7b1e0c8c816e2784b7ede18c24a90179446b0269060200160405180910390a150565b6106fc610961565b6001600160a01b03811661072b57604051631e4fbdf760e01b8152600060048201526024015b60405180910390fd5b610734816109cd565b50565b306001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001614806107be57507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166107b260008051602061177c833981519152546001600160a01b031690565b6001600160a01b031614155b156105a95760405163703e46dd60e11b815260040160405180910390fd5b610734610961565b816001600160a01b03166352d1902d6040518163ffffffff1660e01b8152600401602060405180830381865afa92505050801561083e575060408051601f3d908101601f1916820190925261083b91810190611454565b60015b61086657604051634c9c8ce360e01b81526001600160a01b0383166004820152602401610722565b60008051602061177c833981519152811461089757604051632a87526960e21b815260048101829052602401610722565b6108a18383610ca5565b505050565b306001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146105a95760405163703e46dd60e11b815260040160405180910390fd5b6108f7610cfb565b61073481610d44565b6105a9610cfb565b60008051602061179c83398151915280546001600160a01b0319166001600160a01b0384161781557f804776a84f3d03ad8442127b1451e2fbbb6a715c681d6a83c9e9fca787b9930161095b83826114f5565b50505050565b3361096a6105ab565b6001600160a01b0316146105a95760405163118cdaa760e01b8152336004820152602401610722565b60008051602061179c8339815191527f804776a84f3d03ad8442127b1451e2fbbb6a715c681d6a83c9e9fca787b993016108a183826114f5565b7f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c19930080546001600160a01b031981166001600160a01b03848116918217845560405192169182907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3505050565b60008060008051602061179c8339815191529050600060405180610100016040528088600001518152602001866001600160a01b03168152602001306001600160a01b03168152602001858152602001878152602001836001018054610aa39061146d565b80601f0160208091040260200160405190810160405280929190818152602001828054610acf9061146d565b8015610b1c5780601f10610af157610100808354040283529160200191610b1c565b820191906000526020600020905b815481529060010190602001808311610aff57829003601f168201915b50505091835250506040808a0180515163ffffffff166020808501919091528b0151928201929092528454915160608b015191516318cea58d60e01b81529394506001600160a01b03909216926318cea58d92610b7d928692600401611654565b6020604051808303816000875af1158015610b9c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bc0919061173d565b979650505050505050565b60008060008051602061179c8339815191526105d0565b7f804776a84f3d03ad8442127b1451e2fbbb6a715c681d6a83c9e9fca787b99301805460609160008051602061179c83398151915291610c219061146d565b80601f0160208091040260200160405190810160405280929190818152602001828054610c4d9061146d565b8015610c9a5780601f10610c6f57610100808354040283529160200191610c9a565b820191906000526020600020905b815481529060010190602001808311610c7d57829003601f168201915b505050505091505090565b610cae82610d4c565b6040516001600160a01b038316907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b90600090a2805115610cf3576108a18282610db1565b610299610e27565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0054600160401b900460ff166105a957604051631afcd79f60e31b815260040160405180910390fd5b6106fc610cfb565b806001600160a01b03163b600003610d8257604051634c9c8ce360e01b81526001600160a01b0382166004820152602401610722565b60008051602061177c83398151915280546001600160a01b0319166001600160a01b0392909216919091179055565b6060600080846001600160a01b031684604051610dce919061175f565b600060405180830381855af49150503d8060008114610e09576040519150601f19603f3d011682016040523d82523d6000602084013e610e0e565b606091505b5091509150610e1e858383610e46565b95945050505050565b34156105a95760405163b398979f60e01b815260040160405180910390fd5b606082610e5b57610e5682610ea5565b610e9e565b8151158015610e7257506001600160a01b0384163b155b15610e9b57604051639996b31560e01b81526001600160a01b0385166004820152602401610722565b50805b9392505050565b805115610eb55780518082602001fd5b60405163d6bda27560e01b815260040160405180910390fd5b80356001600160a01b0381168114610ee557600080fd5b919050565b634e487b7160e01b600052604160045260246000fd5b604051608081016001600160401b0381118282101715610f2257610f22610eea565b60405290565b604051601f8201601f191681016001600160401b0381118282101715610f5057610f50610eea565b604052919050565b6000806001600160401b03841115610f7257610f72610eea565b50601f8301601f1916602001610f8781610f28565b915050828152838383011115610f9c57600080fd5b828260208301376000602084830101529392505050565b600082601f830112610fc457600080fd5b610e9e83833560208501610f58565b60008060408385031215610fe657600080fd5b610fef83610ece565b915060208301356001600160401b0381111561100a57600080fd5b61101685828601610fb3565b9150509250929050565b60008083601f84011261103257600080fd5b5081356001600160401b0381111561104957600080fd5b60208301915083602082850101111561106157600080fd5b9250929050565b60008060008060006080868803121561108057600080fd5b61108986610ece565b945061109760208701610ece565b93506110a560408701610ece565b925060608601356001600160401b038111156110c057600080fd5b6110cc88828901611020565b969995985093965092949392505050565b600080602083850312156110f057600080fd5b82356001600160401b0381111561110657600080fd5b61111285828601611020565b90969095509350505050565b6000806000806000806080878903121561113757600080fd5b61114087610ece565b95506020870135945060408701356001600160401b0381111561116257600080fd5b61116e89828a01611020565b90955093505060608701356001600160401b0381111561118d57600080fd5b61119989828a01611020565b979a9699509497509295939492505050565b60005b838110156111c65781810151838201526020016111ae565b50506000910152565b600081518084526111e78160208601602086016111ab565b601f01601f19169290920160200192915050565b602081526000610e9e60208301846111cf565b60006020828403121561122057600080fd5b610e9e82610ece565b60208152816020820152818360408301376000818301604090810191909152601f909201601f19160101919050565b60006001600160401b0382111561127157611271610eea565b5060051b60200190565b600082601f83011261128c57600080fd5b813561129f61129a82611258565b610f28565b8082825260208201915060208360051b8601019250858311156112c157600080fd5b602085015b838110156112e5576112d781610ece565b8352602092830192016112c6565b5095945050505050565b600082601f83011261130057600080fd5b813561130e61129a82611258565b8082825260208201915060208360051b86010192508583111561133057600080fd5b602085015b838110156112e55780356001600160401b0381111561135357600080fd5b611362886020838a0101610fb3565b84525060209283019201611335565b60006020828403121561138357600080fd5b81356001600160401b0381111561139957600080fd5b8201608081850312156113ab57600080fd5b6113b3610f00565b81356001600160401b038111156113c957600080fd5b8201601f810186136113da57600080fd5b6113e986823560208401610f58565b8252506020828101359082015260408201356001600160401b0381111561140f57600080fd5b61141b8682850161127b565b60408301525060608201356001600160401b0381111561143a57600080fd5b611446868285016112ef565b606083015250949350505050565b60006020828403121561146657600080fd5b5051919050565b600181811c9082168061148157607f821691505b6020821081036114a157634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156108a157806000526020600020601f840160051c810160208510156114ce5750805b601f840160051c820191505b818110156114ee57600081556001016114da565b5050505050565b81516001600160401b0381111561150e5761150e610eea565b6115228161151c845461146d565b846114a7565b6020601f821160018114611556576000831561153e5750848201515b600019600385901b1c1916600184901b1784556114ee565b600084815260208120601f198516915b828110156115865787850151825560209485019460019092019101611566565b50848210156115a45786840151600019600387901b60f8161c191681555b50505050600190811b01905550565b600081518084526020840193506020830160005b828110156115ee5781516001600160a01b03168652602095860195909101906001016115c7565b5093949350505050565b600082825180855260208501945060208160051b8301016020850160005b8381101561164857601f198584030188526116328383516111cf565b6020988901989093509190910190600101611616565b50909695505050505050565b606081526000845161010060608401526116726101608401826111cf565b9050602086015161168e60808501826001600160a01b03169052565b5060408601516001600160a01b031660a0840152606086015160c08401526080860151838203605f190160e08501526116c782826111cf565b91505060a0860151605f19848303016101008501526116e682826111cf565b91505060c086015161170161012085018263ffffffff169052565b5060e0860151610140840152828103602084015261171f81866115b3565b9050828103604084015261173381856115f8565b9695505050505050565b60006020828403121561174f57600080fd5b81518015158114610e9e57600080fd5b600082516117718184602087016111ab565b919091019291505056fe360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc804776a84f3d03ad8442127b1451e2fbbb6a715c681d6a83c9e9fca787b99300a264697066735822122045e25deda9474ebd5d5411cda7e396e7f25b431a123b3aa7743638f4d05a31c364736f6c634300081b0033

0x6080604052600436106100c25760003560e01c80638da5cb5b1161007f578063ad3cb1cc11610059578063ad3cb1cc146101eb578063ce1e462614610229578063e0a7704a1461023e578063f2fde38b1461025e57600080fd5b80638da5cb5b14610191578063901afa5f146101a6578063a4b3bc01146101d657600080fd5b80631a686502146100c75780634f1ef2861461010457806352d1902d1461011957806365e8e4f41461013c5780636b4c991b1461015c578063715018a61461017c575b600080fd5b3480156100d357600080fd5b506000546100e7906001600160a01b031681565b6040516001600160a01b0390911681526020015b60405180910390f35b610117610112366004610fd3565b61027e565b005b34801561012557600080fd5b5061012e61029d565b6040519081526020016100fb565b34801561014857600080fd5b50610117610157366004611068565b6102ba565b34801561016857600080fd5b506101176101773660046110dd565b610513565b34801561018857600080fd5b50610117610597565b34801561019d57600080fd5b506100e76105ab565b3480156101b257600080fd5b506101c66101c136600461111e565b6105e0565b60405190151581526020016100fb565b3480156101e257600080fd5b506100e761066c565b3480156101f757600080fd5b5061021c604051806040016040528060058152602001640352e302e360dc1b81525081565b6040516100fb91906111fb565b34801561023557600080fd5b5061021c61067b565b34801561024a57600080fd5b5061011761025936600461120e565b610685565b34801561026a57600080fd5b5061011761027936600461120e565b6106f4565b610286610737565b61028f826107dc565b61029982826107e4565b5050565b60006102a76108a6565b5060008051602061177c83398151915290565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a008054600160401b810460ff1615906001600160401b03166000811580156102ff5750825b90506000826001600160401b0316600114801561031b5750303b155b905081158015610329575080155b156103475760405163f92ee8a960e01b815260040160405180910390fd5b845467ffffffffffffffff19166001178555831561037157845460ff60401b1916600160401b1785555b6001600160a01b038a16158061038e57506001600160a01b038916155b806103a057506001600160a01b038816155b156103be57604051639fabe1c160e01b815260040160405180910390fd5b60008690036103e057604051634a40f49b60e01b815260040160405180910390fd5b600080546001600160a01b0319166001600160a01b038b161790556104048a6108ef565b61040c610900565b61044c8888888080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525061090892505050565b7f115a7076b27726a2ae5bd26756c4e4ec6b292eb6151f84772978a722b09271a5878760405161047d929190611229565b60405180910390a16040516001600160a01b03891681527f282797d873547dfc33f40236c7b1e0c8c816e2784b7ede18c24a90179446b0269060200160405180910390a1831561050757845460ff60401b19168555604051600181527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29060200160405180910390a15b50505050505050505050565b61051b610961565b61055a82828080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525061099392505050565b7f115a7076b27726a2ae5bd26756c4e4ec6b292eb6151f84772978a722b09271a5828260405161058b929190611229565b60405180910390a15050565b61059f610961565b6105a960006109cd565b565b6000807f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c1993005b546001600160a01b031692915050565b600080546001600160a01b0316331461060c5760405163892ae32f60e01b815260040160405180910390fd5b600061061a83850185611371565b90506106608187878080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152508d92508c9150610a3e9050565b98975050505050505050565b6000610676610bcb565b905090565b6060610676610be2565b61068d610961565b60008051602061179c83398151915280546001600160a01b0319166001600160a01b0383161790556040516001600160a01b03821681527f282797d873547dfc33f40236c7b1e0c8c816e2784b7ede18c24a90179446b0269060200160405180910390a150565b6106fc610961565b6001600160a01b03811661072b57604051631e4fbdf760e01b8152600060048201526024015b60405180910390fd5b610734816109cd565b50565b306001600160a01b037f000000000000000000000000ef082ff43805b93ed375fd47a964fe136ccb90211614806107be57507f000000000000000000000000ef082ff43805b93ed375fd47a964fe136ccb90216001600160a01b03166107b260008051602061177c833981519152546001600160a01b031690565b6001600160a01b031614155b156105a95760405163703e46dd60e11b815260040160405180910390fd5b610734610961565b816001600160a01b03166352d1902d6040518163ffffffff1660e01b8152600401602060405180830381865afa92505050801561083e575060408051601f3d908101601f1916820190925261083b91810190611454565b60015b61086657604051634c9c8ce360e01b81526001600160a01b0383166004820152602401610722565b60008051602061177c833981519152811461089757604051632a87526960e21b815260048101829052602401610722565b6108a18383610ca5565b505050565b306001600160a01b037f000000000000000000000000ef082ff43805b93ed375fd47a964fe136ccb902116146105a95760405163703e46dd60e11b815260040160405180910390fd5b6108f7610cfb565b61073481610d44565b6105a9610cfb565b60008051602061179c83398151915280546001600160a01b0319166001600160a01b0384161781557f804776a84f3d03ad8442127b1451e2fbbb6a715c681d6a83c9e9fca787b9930161095b83826114f5565b50505050565b3361096a6105ab565b6001600160a01b0316146105a95760405163118cdaa760e01b8152336004820152602401610722565b60008051602061179c8339815191527f804776a84f3d03ad8442127b1451e2fbbb6a715c681d6a83c9e9fca787b993016108a183826114f5565b7f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c19930080546001600160a01b031981166001600160a01b03848116918217845560405192169182907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3505050565b60008060008051602061179c8339815191529050600060405180610100016040528088600001518152602001866001600160a01b03168152602001306001600160a01b03168152602001858152602001878152602001836001018054610aa39061146d565b80601f0160208091040260200160405190810160405280929190818152602001828054610acf9061146d565b8015610b1c5780601f10610af157610100808354040283529160200191610b1c565b820191906000526020600020905b815481529060010190602001808311610aff57829003601f168201915b50505091835250506040808a0180515163ffffffff166020808501919091528b0151928201929092528454915160608b015191516318cea58d60e01b81529394506001600160a01b03909216926318cea58d92610b7d928692600401611654565b6020604051808303816000875af1158015610b9c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bc0919061173d565b979650505050505050565b60008060008051602061179c8339815191526105d0565b7f804776a84f3d03ad8442127b1451e2fbbb6a715c681d6a83c9e9fca787b99301805460609160008051602061179c83398151915291610c219061146d565b80601f0160208091040260200160405190810160405280929190818152602001828054610c4d9061146d565b8015610c9a5780601f10610c6f57610100808354040283529160200191610c9a565b820191906000526020600020905b815481529060010190602001808311610c7d57829003601f168201915b505050505091505090565b610cae82610d4c565b6040516001600160a01b038316907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b90600090a2805115610cf3576108a18282610db1565b610299610e27565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0054600160401b900460ff166105a957604051631afcd79f60e31b815260040160405180910390fd5b6106fc610cfb565b806001600160a01b03163b600003610d8257604051634c9c8ce360e01b81526001600160a01b0382166004820152602401610722565b60008051602061177c83398151915280546001600160a01b0319166001600160a01b0392909216919091179055565b6060600080846001600160a01b031684604051610dce919061175f565b600060405180830381855af49150503d8060008114610e09576040519150601f19603f3d011682016040523d82523d6000602084013e610e0e565b606091505b5091509150610e1e858383610e46565b95945050505050565b34156105a95760405163b398979f60e01b815260040160405180910390fd5b606082610e5b57610e5682610ea5565b610e9e565b8151158015610e7257506001600160a01b0384163b155b15610e9b57604051639996b31560e01b81526001600160a01b0385166004820152602401610722565b50805b9392505050565b805115610eb55780518082602001fd5b60405163d6bda27560e01b815260040160405180910390fd5b80356001600160a01b0381168114610ee557600080fd5b919050565b634e487b7160e01b600052604160045260246000fd5b604051608081016001600160401b0381118282101715610f2257610f22610eea565b60405290565b604051601f8201601f191681016001600160401b0381118282101715610f5057610f50610eea565b604052919050565b6000806001600160401b03841115610f7257610f72610eea565b50601f8301601f1916602001610f8781610f28565b915050828152838383011115610f9c57600080fd5b828260208301376000602084830101529392505050565b600082601f830112610fc457600080fd5b610e9e83833560208501610f58565b60008060408385031215610fe657600080fd5b610fef83610ece565b915060208301356001600160401b0381111561100a57600080fd5b61101685828601610fb3565b9150509250929050565b60008083601f84011261103257600080fd5b5081356001600160401b0381111561104957600080fd5b60208301915083602082850101111561106157600080fd5b9250929050565b60008060008060006080868803121561108057600080fd5b61108986610ece565b945061109760208701610ece565b93506110a560408701610ece565b925060608601356001600160401b038111156110c057600080fd5b6110cc88828901611020565b969995985093965092949392505050565b600080602083850312156110f057600080fd5b82356001600160401b0381111561110657600080fd5b61111285828601611020565b90969095509350505050565b6000806000806000806080878903121561113757600080fd5b61114087610ece565b95506020870135945060408701356001600160401b0381111561116257600080fd5b61116e89828a01611020565b90955093505060608701356001600160401b0381111561118d57600080fd5b61119989828a01611020565b979a9699509497509295939492505050565b60005b838110156111c65781810151838201526020016111ae565b50506000910152565b600081518084526111e78160208601602086016111ab565b601f01601f19169290920160200192915050565b602081526000610e9e60208301846111cf565b60006020828403121561122057600080fd5b610e9e82610ece565b60208152816020820152818360408301376000818301604090810191909152601f909201601f19160101919050565b60006001600160401b0382111561127157611271610eea565b5060051b60200190565b600082601f83011261128c57600080fd5b813561129f61129a82611258565b610f28565b8082825260208201915060208360051b8601019250858311156112c157600080fd5b602085015b838110156112e5576112d781610ece565b8352602092830192016112c6565b5095945050505050565b600082601f83011261130057600080fd5b813561130e61129a82611258565b8082825260208201915060208360051b86010192508583111561133057600080fd5b602085015b838110156112e55780356001600160401b0381111561135357600080fd5b611362886020838a0101610fb3565b84525060209283019201611335565b60006020828403121561138357600080fd5b81356001600160401b0381111561139957600080fd5b8201608081850312156113ab57600080fd5b6113b3610f00565b81356001600160401b038111156113c957600080fd5b8201601f810186136113da57600080fd5b6113e986823560208401610f58565b8252506020828101359082015260408201356001600160401b0381111561140f57600080fd5b61141b8682850161127b565b60408301525060608201356001600160401b0381111561143a57600080fd5b611446868285016112ef565b606083015250949350505050565b60006020828403121561146657600080fd5b5051919050565b600181811c9082168061148157607f821691505b6020821081036114a157634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156108a157806000526020600020601f840160051c810160208510156114ce5750805b601f840160051c820191505b818110156114ee57600081556001016114da565b5050505050565b81516001600160401b0381111561150e5761150e610eea565b6115228161151c845461146d565b846114a7565b6020601f821160018114611556576000831561153e5750848201515b600019600385901b1c1916600184901b1784556114ee565b600084815260208120601f198516915b828110156115865787850151825560209485019460019092019101611566565b50848210156115a45786840151600019600387901b60f8161c191681555b50505050600190811b01905550565b600081518084526020840193506020830160005b828110156115ee5781516001600160a01b03168652602095860195909101906001016115c7565b5093949350505050565b600082825180855260208501945060208160051b8301016020850160005b8381101561164857601f198584030188526116328383516111cf565b6020988901989093509190910190600101611616565b50909695505050505050565b606081526000845161010060608401526116726101608401826111cf565b9050602086015161168e60808501826001600160a01b03169052565b5060408601516001600160a01b031660a0840152606086015160c08401526080860151838203605f190160e08501526116c782826111cf565b91505060a0860151605f19848303016101008501526116e682826111cf565b91505060c086015161170161012085018263ffffffff169052565b5060e0860151610140840152828103602084015261171f81866115b3565b9050828103604084015261173381856115f8565b9695505050505050565b60006020828403121561174f57600080fd5b81518015158114610e9e57600080fd5b600082516117718184602087016111ab565b919091019291505056fe360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc804776a84f3d03ad8442127b1451e2fbbb6a715c681d6a83c9e9fca787b99300a264697066735822122045e25deda9474ebd5d5411cda7e396e7f25b431a123b3aa7743638f4d05a31c364736f6c634300081b0033