// SPDX-License-Identifier: MIT
// Copyright 2022 PROOF Holdings Inc
pragma solidity >=0.8.16 <0.9.0;

import {IEligibilityConstraint} from "./IEligibilityConstraint.sol";
import {IMoonbirds} from "moonbirds/IMoonbirds.sol";
import {IERC1155} from "openzeppelin-contracts/token/ERC1155/IERC1155.sol";
import {ANested} from "./Nested.sol";
import {
    AMoonbirdConstraint,
    AMoonbirdOwnerConstraint
} from "./MoonbirdConstraint.sol";

/**
 * @notice Eligibility if the moonbird owner holds a specific kind of ERC1155
 * token.
 */
abstract contract ASpecificERC1155Holder is AMoonbirdOwnerConstraint {
    /**
     * @notice The collection of interest.
     */
    IERC1155 private immutable _token;

    /**
     * @notice The ERC1155 token-type (i.e. id) of interest within the
     * collection.
     */
    uint256 private immutable _id;

    constructor(IERC1155 token, uint256 id) {
        _token = token;
        _id = id;
    }

    /**
     * @inheritdoc AMoonbirdOwnerConstraint
     * @dev Returns true iff the moonbird holder also owns a token from a
     * pre-defined collection.
     */
    function isEligible(address owner)
        public
        view
        virtual
        override
        returns (bool)
    {
        return _token.balanceOf(owner, _id) > 0;
    }
}

/**
 * @notice Eligibility if the moonbird is nested and the owner holds a specific
 * kind of ERC1155 token.
 */
abstract contract ANestedSpecificERC1155Holder is
    ANested,
    ASpecificERC1155Holder
{
    /**
     * @inheritdoc IEligibilityConstraint
     * @dev Returns true iff the moonbird is nested and its holder also owns a
     * token from a pre-defined collection.
     */
    function isEligible(uint256 tokenId)
        public
        view
        virtual
        override(ANested, AMoonbirdOwnerConstraint)
        returns (bool)
    {
        return ANested.isEligible(tokenId)
            && AMoonbirdOwnerConstraint.isEligible(tokenId);
    }
}

/**
 * @notice Eligibility if the moonbird owner holds a token from another ERC721
 * collection.
 */
contract SpecificERC1155Holder is ASpecificERC1155Holder {
    constructor(IMoonbirds moonbirds, IERC1155 token, uint256 id)
        AMoonbirdConstraint(moonbirds)
        ASpecificERC1155Holder(token, id)
    {}
}

/**
 * @notice Eligibility if the moonbird is nested and the owner holds a specific
 * kind of ERC1155 token.
 */
contract NestedSpecificERC1155Holder is ANestedSpecificERC1155Holder {
    constructor(IMoonbirds moonbirds, IERC1155 token, uint256 id)
        AMoonbirdConstraint(moonbirds)
        ASpecificERC1155Holder(token, id)
    {} //solhint-disable-line no-empty-blocks
}

// SPDX-License-Identifier: MIT
// Copyright 2022 PROOF Holdings Inc
pragma solidity >=0.8.16 <0.9.0;

/**
 * @notice Interface to encapsulate generic eligibility requirements.
 * @dev This is intended to be used with the activation of Mutators.
 */
interface IEligibilityConstraint {
    /**
     * @notice Checks if a given moonbird is eligible.
     */
    function isEligible(uint256 tokenId) external view returns (bool);
}

// SPDX-License-Identifier: UNLICENSED
pragma solidity >=0.8.10 <0.9.0;

import "@openzeppelin/contracts/interfaces/IERC721.sol";

/**
@dev A minimal interface for interaction with the Moonbirds contract.
 */
interface IMoonbirds is IERC721 {
    function nestingPeriod(uint256 tokenId)
        external
        view
        returns (
            bool nesting,
            uint256 current,
            uint256 total
        );
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.7.0) (token/ERC1155/IERC1155.sol)

pragma solidity ^0.8.0;

import "../../utils/introspection/IERC165.sol";

/**
 * @dev Required interface of an ERC1155 compliant contract, as defined in the
 * https://eips.ethereum.org/EIPS/eip-1155[EIP].
 *
 * _Available since v3.1._
 */
interface IERC1155 is IERC165 {
    /**
     * @dev Emitted when `value` tokens of token type `id` are transferred from `from` to `to` by `operator`.
     */
    event TransferSingle(address indexed operator, address indexed from, address indexed to, uint256 id, uint256 value);

    /**
     * @dev Equivalent to multiple {TransferSingle} events, where `operator`, `from` and `to` are the same for all
     * transfers.
     */
    event TransferBatch(
        address indexed operator,
        address indexed from,
        address indexed to,
        uint256[] ids,
        uint256[] values
    );

    /**
     * @dev Emitted when `account` grants or revokes permission to `operator` to transfer their tokens, according to
     * `approved`.
     */
    event ApprovalForAll(address indexed account, address indexed operator, bool approved);

    /**
     * @dev Emitted when the URI for token type `id` changes to `value`, if it is a non-programmatic URI.
     *
     * If an {URI} event was emitted for `id`, the standard
     * https://eips.ethereum.org/EIPS/eip-1155#metadata-extensions[guarantees] that `value` will equal the value
     * returned by {IERC1155MetadataURI-uri}.
     */
    event URI(string value, uint256 indexed id);

    /**
     * @dev Returns the amount of tokens of token type `id` owned by `account`.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     */
    function balanceOf(address account, uint256 id) external view returns (uint256);

    /**
     * @dev xref:ROOT:erc1155.adoc#batch-operations[Batched] version of {balanceOf}.
     *
     * Requirements:
     *
     * - `accounts` and `ids` must have the same length.
     */
    function balanceOfBatch(address[] calldata accounts, uint256[] calldata ids)
        external
        view
        returns (uint256[] memory);

    /**
     * @dev Grants or revokes permission to `operator` to transfer the caller's tokens, according to `approved`,
     *
     * Emits an {ApprovalForAll} event.
     *
     * Requirements:
     *
     * - `operator` cannot be the caller.
     */
    function setApprovalForAll(address operator, bool approved) external;

    /**
     * @dev Returns true if `operator` is approved to transfer ``account``'s tokens.
     *
     * See {setApprovalForAll}.
     */
    function isApprovedForAll(address account, address operator) external view returns (bool);

    /**
     * @dev Transfers `amount` tokens of token type `id` from `from` to `to`.
     *
     * Emits a {TransferSingle} event.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - If the caller is not `from`, it must have been approved to spend ``from``'s tokens via {setApprovalForAll}.
     * - `from` must have a balance of tokens of type `id` of at least `amount`.
     * - If `to` refers to a smart contract, it must implement {IERC1155Receiver-onERC1155Received} and return the
     * acceptance magic value.
     */
    function safeTransferFrom(
        address from,
        address to,
        uint256 id,
        uint256 amount,
        bytes calldata data
    ) external;

    /**
     * @dev xref:ROOT:erc1155.adoc#batch-operations[Batched] version of {safeTransferFrom}.
     *
     * Emits a {TransferBatch} event.
     *
     * Requirements:
     *
     * - `ids` and `amounts` must have the same length.
     * - If `to` refers to a smart contract, it must implement {IERC1155Receiver-onERC1155BatchReceived} and return the
     * acceptance magic value.
     */
    function safeBatchTransferFrom(
        address from,
        address to,
        uint256[] calldata ids,
        uint256[] calldata amounts,
        bytes calldata data
    ) external;
}

// SPDX-License-Identifier: MIT
// Copyright 2022 PROOF Holdings Inc
pragma solidity >=0.8.16 <0.9.0;

import {IEligibilityConstraint} from "./IEligibilityConstraint.sol";
import {IMoonbirds} from "moonbirds/IMoonbirds.sol";
import {AMoonbirdConstraint} from "./MoonbirdConstraint.sol";

/**
 * @notice Eligibility if a moonbird is nested.
 */
abstract contract ANested is AMoonbirdConstraint {
    /**
     * @inheritdoc IEligibilityConstraint
     * @dev Returns true iff the moonbird is nested.
     */
    function isEligible(uint256 tokenId) public view virtual returns (bool) {
        (bool nesting,,) = _moonbirds.nestingPeriod(tokenId);
        return nesting;
    }
}

/**
 * @notice Eligibility if a moonbird is nested since a given time.
 */
abstract contract ANestedSince is AMoonbirdConstraint {
    /**
     * @notice A moonbird has to be nested since this timestamp to be eligible.
     */
    uint256 private immutable _sinceTimestamp;

    constructor(uint256 sinceTimestamp_) {
        _sinceTimestamp = sinceTimestamp_;
    }

    /**
     * @inheritdoc IEligibilityConstraint
     * @dev Returns true iff the moonbird is nested since a given time.
     */
    function isEligible(uint256 tokenId) public view virtual returns (bool) {
        (bool nested, uint256 current,) = _moonbirds.nestingPeriod(tokenId);
        //solhint-disable-next-line not-rely-on-time
        return nested && block.timestamp - current <= _sinceTimestamp;
    }
}

/**
 * @notice Eligibility if a moonbird is nested.
 */
contract Nested is ANested {
    constructor(IMoonbirds moonbirds) AMoonbirdConstraint(moonbirds) {}
}

/**
 * @notice Eligibility if a moonbird is nested since a given time.
 */
contract NestedSince is ANestedSince {
    constructor(IMoonbirds moonbirds, uint256 sinceTimestamp)
        AMoonbirdConstraint(moonbirds)
        ANestedSince(sinceTimestamp)
    {}
}

// SPDX-License-Identifier: MIT
// Copyright 2022 PROOF Holdings Inc
pragma solidity >=0.8.16 <0.9.0;

import {IEligibilityConstraint} from "./IEligibilityConstraint.sol";
import {IMoonbirds} from "moonbirds/IMoonbirds.sol";

/**
 * @notice Eligibility based on moonbird properties.
 */
abstract contract AMoonbirdConstraint is IEligibilityConstraint {
    /**
     * @notice The moonbird token.
     */
    IMoonbirds internal immutable _moonbirds;

    constructor(IMoonbirds moonbirds) {
        _moonbirds = moonbirds;
    }
}

/**
 * @notice Eligibility based on moonbird owner properties.
 */
abstract contract AMoonbirdOwnerConstraint is AMoonbirdConstraint {
    /**
     * @inheritdoc IEligibilityConstraint
     * @dev Returns true iff the holder of the given moonbird is eligible.
     */
    function isEligible(uint256 tokenId) public view virtual returns (bool) {
        return isEligible(_moonbirds.ownerOf(tokenId));
    }

    /**
     * @notice Returns true iff a given moonbird owner is eligible.
     * @dev Intended to be implemented by derived contracts.
     */
    function isEligible(address owner) public view virtual returns (bool);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.1 (interfaces/IERC721.sol)

pragma solidity ^0.8.0;

import "../token/ERC721/IERC721.sol";

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.1 (utils/introspection/IERC165.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC165 standard, as defined in the
 * https://eips.ethereum.org/EIPS/eip-165[EIP].
 *
 * Implementers can declare support of contract interfaces, which can then be
 * queried by others ({ERC165Checker}).
 *
 * For an implementation, see {ERC165}.
 */
interface IERC165 {
    /**
     * @dev Returns true if this contract implements the interface defined by
     * `interfaceId`. See the corresponding
     * https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified[EIP section]
     * to learn more about how these ids are created.
     *
     * This function call must use less than 30 000 gas.
     */
    function supportsInterface(bytes4 interfaceId) external view returns (bool);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.7.0) (token/ERC721/IERC721.sol)

pragma solidity ^0.8.0;

import "../../utils/introspection/IERC165.sol";

/**
 * @dev Required interface of an ERC721 compliant contract.
 */
interface IERC721 is IERC165 {
    /**
     * @dev Emitted when `tokenId` token is transferred from `from` to `to`.
     */
    event Transfer(address indexed from, address indexed to, uint256 indexed tokenId);

    /**
     * @dev Emitted when `owner` enables `approved` to manage the `tokenId` token.
     */
    event Approval(address indexed owner, address indexed approved, uint256 indexed tokenId);

    /**
     * @dev Emitted when `owner` enables or disables (`approved`) `operator` to manage all of its assets.
     */
    event ApprovalForAll(address indexed owner, address indexed operator, bool approved);

    /**
     * @dev Returns the number of tokens in ``owner``'s account.
     */
    function balanceOf(address owner) external view returns (uint256 balance);

    /**
     * @dev Returns the owner of the `tokenId` token.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function ownerOf(uint256 tokenId) external view returns (address owner);

    /**
     * @dev Safely transfers `tokenId` token from `from` to `to`.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `tokenId` token must exist and be owned by `from`.
     * - If the caller is not `from`, it must be approved to move this token by either {approve} or {setApprovalForAll}.
     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.
     *
     * Emits a {Transfer} event.
     */
    function safeTransferFrom(
        address from,
        address to,
        uint256 tokenId,
        bytes calldata data
    ) external;

    /**
     * @dev Safely transfers `tokenId` token from `from` to `to`, checking first that contract recipients
     * are aware of the ERC721 protocol to prevent tokens from being forever locked.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `tokenId` token must exist and be owned by `from`.
     * - If the caller is not `from`, it must have been allowed to move this token by either {approve} or {setApprovalForAll}.
     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.
     *
     * Emits a {Transfer} event.
     */
    function safeTransferFrom(
        address from,
        address to,
        uint256 tokenId
    ) external;

    /**
     * @dev Transfers `tokenId` token from `from` to `to`.
     *
     * WARNING: Note that the caller is responsible to confirm that the recipient is capable of receiving ERC721
     * or else they may be permanently lost. Usage of {safeTransferFrom} prevents loss, though the caller must
     * understand this adds an external call which potentially creates a reentrancy vulnerability.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `tokenId` token must be owned by `from`.
     * - If the caller is not `from`, it must be approved to move this token by either {approve} or {setApprovalForAll}.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(
        address from,
        address to,
        uint256 tokenId
    ) external;

    /**
     * @dev Gives permission to `to` to transfer `tokenId` token to another account.
     * The approval is cleared when the token is transferred.
     *
     * Only a single account can be approved at a time, so approving the zero address clears previous approvals.
     *
     * Requirements:
     *
     * - The caller must own the token or be an approved operator.
     * - `tokenId` must exist.
     *
     * Emits an {Approval} event.
     */
    function approve(address to, uint256 tokenId) external;

    /**
     * @dev Approve or remove `operator` as an operator for the caller.
     * Operators can call {transferFrom} or {safeTransferFrom} for any token owned by the caller.
     *
     * Requirements:
     *
     * - The `operator` cannot be the caller.
     *
     * Emits an {ApprovalForAll} event.
     */
    function setApprovalForAll(address operator, bool _approved) external;

    /**
     * @dev Returns the account approved for `tokenId` token.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function getApproved(uint256 tokenId) external view returns (address operator);

    /**
     * @dev Returns if the `operator` is allowed to manage all of the assets of `owner`.
     *
     * See {setApprovalForAll}
     */
    function isApprovedForAll(address owner, address operator) external view returns (bool);
}

{
  "remappings": [
    "@divergencetech/ethier/=lib/ethier_0_27_0/",
    "erc721a/=lib/ERC721A/",
    "ds-test/=lib/forge-std/lib/ds-test/src/",
    "ethier/=lib/ethier/contracts/",
    "forge-std/=lib/forge-std/src/",
    "inflate-sol/=lib/inflate-sol/contracts/",
    "moonbirds-inchain/=src/",
    "openzeppelin-contracts/=lib/openzeppelin-contracts/contracts/",
    "@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/",
    "moonbirds/=lib/moonbirds-contract/contracts/",
    "ERC721A/=lib/ERC721A/contracts/",
    "solidify-contracts/=lib/solidify/contracts/",
    "erc4626-tests/=lib/solidify/lib/openzeppelin-contracts/lib/erc4626-tests/",
    "ethier_0_27_0/=lib/ethier_0_27_0/",
    "moonbirds-contract/=lib/moonbirds-contract/",
    "solidify-test/=lib/solidify/./test/",
    "solidify/=lib/solidify/"
  ],
  "optimizer": {
    "enabled": true,
    "runs": 99999
  },
  "metadata": {
    "useLiteralContent": false,
    "bytecodeHash": "ipfs"
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  },
  "evmVersion": "london",
  "libraries": {
    "lib/solidify/contracts/InflateLibWrapper.sol": {
      "PublicInflateLibWrapper": "0x8d69408205dEc1F1Eb5A2250C8638017Ef6069b6"
    }
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"contract IMoonbirds","name":"moonbirds","type":"address"},{"internalType":"contract IERC1155","name":"token","type":"address"},{"internalType":"uint256","name":"id","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"isEligible","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"isEligible","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"}]

0x60e060405234801561001057600080fd5b506040516103b23803806103b283398101604081905261002f91610062565b6001600160a01b03928316608052911660a05260c0526100a5565b6001600160a01b038116811461005f57600080fd5b50565b60008060006060848603121561007757600080fd5b83516100828161004a565b60208501519093506100938161004a565b80925050604084015190509250925092565b60805160a05160c0516102df6100d36000396000610175015260006101a00152600060c001526102df6000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c8063053b56c01461003b57806366e305fd14610062575b600080fd5b61004e610049366004610211565b610075565b604051901515815260200160405180910390f35b61004e61007036600461024f565b610131565b6040517f6352211e0000000000000000000000000000000000000000000000000000000081526004810182905260009061012b9073ffffffffffffffffffffffffffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000001690636352211e90602401602060405180830381865afa158015610107573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906100709190610273565b92915050565b6040517efdd58e00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff82811660048301527f0000000000000000000000000000000000000000000000000000000000000000602483015260009182917f0000000000000000000000000000000000000000000000000000000000000000169062fdd58e90604401602060405180830381865afa1580156101e6573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061020a9190610290565b1192915050565b60006020828403121561022357600080fd5b5035919050565b73ffffffffffffffffffffffffffffffffffffffff8116811461024c57600080fd5b50565b60006020828403121561026157600080fd5b813561026c8161022a565b9392505050565b60006020828403121561028557600080fd5b815161026c8161022a565b6000602082840312156102a257600080fd5b505191905056fea26469706673582212206eabf7de194a60441277553a8f9e290a12d749cbab964400dc1433ea43d9cf5e64736f6c6343000810003300000000000000000000000023581767a106ae21c074b2276d25e5c3e136a68b0000000000000000000000003e34ff1790bf0a13efd7d77e75870cb5256873380000000000000000000000000000000000000000000000000000000000000002

0x608060405234801561001057600080fd5b50600436106100365760003560e01c8063053b56c01461003b57806366e305fd14610062575b600080fd5b61004e610049366004610211565b610075565b604051901515815260200160405180910390f35b61004e61007036600461024f565b610131565b6040517f6352211e0000000000000000000000000000000000000000000000000000000081526004810182905260009061012b9073ffffffffffffffffffffffffffffffffffffffff7f00000000000000000000000023581767a106ae21c074b2276d25e5c3e136a68b1690636352211e90602401602060405180830381865afa158015610107573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906100709190610273565b92915050565b6040517efdd58e00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff82811660048301527f0000000000000000000000000000000000000000000000000000000000000002602483015260009182917f0000000000000000000000003e34ff1790bf0a13efd7d77e75870cb525687338169062fdd58e90604401602060405180830381865afa1580156101e6573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061020a9190610290565b1192915050565b60006020828403121561022357600080fd5b5035919050565b73ffffffffffffffffffffffffffffffffffffffff8116811461024c57600080fd5b50565b60006020828403121561026157600080fd5b813561026c8161022a565b9392505050565b60006020828403121561028557600080fd5b815161026c8161022a565b6000602082840312156102a257600080fd5b505191905056fea26469706673582212206eabf7de194a60441277553a8f9e290a12d749cbab964400dc1433ea43d9cf5e64736f6c63430008100033