Every custom contract.
Every executable line.

1// SPDX-License-Identifier: MIT2// Website: https://reddit-injection.fund/3pragma solidity ^0.8.26;45import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";6import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";7import {ReentrancyGuard} from "@openzeppelin/contracts/utils/ReentrancyGuard.sol";8import {IPoolManager} from "@uniswap/v4-core/src/interfaces/IPoolManager.sol";9import {IHooks} from "@uniswap/v4-core/src/interfaces/IHooks.sol";10import {PoolKey} from "@uniswap/v4-core/src/types/PoolKey.sol";11import {Currency} from "@uniswap/v4-core/src/types/Currency.sol";12import {IPonsFeeEscrow, IPonsFactory, IPonsCurve, IPonsHook} from "./interfaces/IPons.sol";13import {IReferenceOracle} from "./interfaces/IReferenceOracle.sol";14import {LockedLiquidityVault} from "./LockedLiquidityVault.sol";1516/// @notice Pons fee recipient with fixed 50/50 accounting and public execution.17/// @dev Bootstrapper can bind one verified launch only; no further admin powers.18contract LiquidityFeeReceiver is ReentrancyGuard {19    using SafeERC20 for IERC20;2021    struct Config {22        IPonsFeeEscrow escrow;23        IPonsFactory factory;24        IPoolManager manager;25        IReferenceOracle oracle;26        address hook;27        IERC20 quote;28        address treasury;29        address bootstrapper;30        uint256 minBatch;31        uint256 maxBatch;32    }3334    IPonsFeeEscrow public immutable escrow;35    IPonsFactory public immutable factory;36    IPoolManager public immutable manager;37    IReferenceOracle public immutable oracle;38    address public immutable hook;39    IERC20 public immutable quote;40    address public immutable treasury;41    address public immutable bootstrapper;42    uint256 public immutable minBatch;43    uint256 public immutable maxBatch;44    LockedLiquidityVault.Limits private executionLimits;45    address public token;46    address public curve;47    LockedLiquidityVault public vault;48    uint256 public totalClaimed;49    uint256 public liquidityBudget;50    uint256 public treasuryAccrued;51    uint256 public totalTreasuryPaid;52    uint256 public totalSentToVault;5354    error InvalidConfiguration();55    error Unauthorized();56    error InvalidLaunch();57    error InexactTransfer();58    error InsufficientBudget();59    event LaunchBound(address indexed token, address indexed vault, bytes32 poolId);60    event FeesClaimed(uint256 received, uint256 liquidityAllocation, uint256 treasuryAllocation);61    event LiquidityDonated(uint256 amount);62    event InjectionCompleted(address indexed caller, uint256 budgetSent, uint128 liquidityAdded);63    event InjectionDeferred(bytes reason);64    event SweepDeferred(bytes reason);65    event TreasuryPaid(uint256 amount);6667    constructor(Config memory config, LockedLiquidityVault.Limits memory limits) {68        if (address(config.escrow).code.length == 0 || address(config.factory).code.length == 069            || address(config.manager).code.length == 0 || address(config.oracle).code.length == 070            || config.hook.code.length == 0 || address(config.quote).code.length == 071            || config.treasury == address(0) || config.treasury == address(this)72            || config.bootstrapper == address(0) || config.minBatch == 0 || config.maxBatch < config.minBatch) {73            revert InvalidConfiguration();74        }75        if (config.factory.poolManager() != address(config.manager) || config.factory.memeHook() != config.hook76            || config.factory.feeEscrow() != address(config.escrow)77            || uint160(config.hook) & 0x3fff != 0x204478            || limits.maxOracleAge == 0 || limits.maxSwapQuote == 079            || limits.maxSwapQuote > uint256(uint128(type(int128).max))80            || limits.maxTickDeviation <= 0 || limits.maxTickDeviation > 20081            || limits.maxSwapLossBps == 0 || limits.maxSwapLossBps > 500) revert InvalidConfiguration();82        escrow = config.escrow;83        factory = config.factory;84        manager = config.manager;85        oracle = config.oracle;86        hook = config.hook;87        quote = config.quote;88        treasury = config.treasury;89        bootstrapper = config.bootstrapper;90        minBatch = config.minBatch;91        maxBatch = config.maxBatch;92        executionLimits = limits;93    }9495    function bindLaunch(address token_) external nonReentrant {96        if (msg.sender != bootstrapper) revert Unauthorized();97        if (token != address(0) || token_ == address(quote) || token_.code.length == 0) revert InvalidLaunch();98        IPonsFactory.Launch memory launch = factory.getLaunchedToken(token_);99        if (!launch.exists || launch.token != token_ || launch.creatorFeeRecipient != address(this)100            || launch.pairToken != address(quote) || launch.buybackEnabled || launch.creatorTaxBps != 100101            || launch.poolFee != 0 || launch.tickSpacing <= 0 || launch.curve.code.length == 0 || launch.phase == 3) {102            revert InvalidLaunch();103        }104        IPonsFactory.FeePolicy memory policy = factory.getLaunchFeePolicy(token_);105        if (policy.hookFeeBps != 100 || policy.protocolFeeShareBps != 3000106            || IPonsCurve(launch.curve).feeBps() != 100) revert InvalidLaunch();107        token = token_;108        curve = launch.curve;109        bool quoteFirst = address(quote) < token_;110        PoolKey memory key = PoolKey({111            currency0: Currency.wrap(quoteFirst ? address(quote) : token_),112            currency1: Currency.wrap(quoteFirst ? token_ : address(quote)),113            fee: launch.poolFee, tickSpacing: launch.tickSpacing, hooks: IHooks(hook)114        });115        vault = new LockedLiquidityVault(address(this), manager, oracle, key, quote, executionLimits);116        emit LaunchBound(token_, address(vault), vault.poolId());117    }118119    /// @notice Collect already-claimable escrow funds even before binding/graduation.120    function claimFees() external nonReentrant returns (uint256) { return _claim(); }121122    /// @notice Attempts an authorized Pons sweep, claims, then tries one bounded batch.123    /// Unsafe/unavailable injections preserve the newly claimed budget for later.124    function claimFeesAndInject() external nonReentrant returns (uint256 claimed, uint128 added) {125        if (token != address(0)) _trySweep();126        claimed = _claim();127        if (token == address(0) || liquidityBudget < minBatch) return (claimed, 0);128        IPonsFactory.Launch memory launch = factory.getLaunchedToken(token);129        if (launch.phase != 2) return (claimed, 0);130        uint256 batch = liquidityBudget < maxBatch ? liquidityBudget : maxBatch;131        try this.executeInjection(batch) returns (uint128 result) {132            added = result;133            emit InjectionCompleted(msg.sender, batch, result);134        } catch (bytes memory reason) {135            emit InjectionDeferred(reason);136        }137    }138139    /// @dev External self-call provides atomic rollback of a failed injection only.140    function executeInjection(uint256 batch) external returns (uint128 added) {141        if (msg.sender != address(this)) revert Unauthorized();142        if (batch < minBatch || batch > maxBatch || batch > liquidityBudget) revert InsufficientBudget();143        liquidityBudget -= batch;144        quote.forceApprove(address(vault), batch);145        added = vault.inject(batch);146        quote.forceApprove(address(vault), 0);147        totalSentToVault += batch;148    }149150    /// @notice Anyone can deliver the accrued treasury share, only to its fixed address.151    function payTreasury() external nonReentrant returns (uint256 amount) {152        amount = treasuryAccrued;153        treasuryAccrued = 0;154        totalTreasuryPaid += amount;155        if (amount != 0) quote.safeTransfer(treasury, amount);156        emit TreasuryPaid(amount);157    }158159    /// @notice Direct quote donations are 100% liquidity funding, never split again.160    function syncDonations() external nonReentrant returns (uint256 amount) {161        amount = quote.balanceOf(address(this)) - liquidityBudget - treasuryAccrued;162        liquidityBudget += amount;163        emit LiquidityDonated(amount);164    }165166    function _claim() private returns (uint256 received) {167        if (escrow.balanceOfToken(address(this), address(quote)) == 0) return 0;168        uint256 beforeBalance = quote.balanceOf(address(this));169        uint256 reported = escrow.claimToken(address(quote));170        received = quote.balanceOf(address(this)) - beforeBalance;171        if (reported != received) revert InexactTransfer();172        // Cumulative rounding prevents repeated one-unit claims from changing the split.173        uint256 treasuryShare = (totalClaimed + received) / 2 - totalClaimed / 2;174        totalClaimed += received;175        treasuryAccrued += treasuryShare;176        liquidityBudget += received - treasuryShare;177        emit FeesClaimed(received, received - treasuryShare, treasuryShare);178    }179180    function _trySweep() private {181        IPonsFactory.Launch memory launch = factory.getLaunchedToken(token);182        // A Pons recipient redirection does not move our previously accrued budget.183        if (launch.creatorFeeRecipient != address(this)) return;184        if (launch.phase == 0) {185            try IPonsCurve(curve).sweepFees(0) {} catch (bytes memory reason) { emit SweepDeferred(reason); }186        } else if (launch.phase == 2) {187            try IPonsHook(hook).sweepPoolFees(vault.poolId(), 0, 0) {}188            catch (bytes memory reason) { emit SweepDeferred(reason); }189        }190    }191}192

1// SPDX-License-Identifier: MIT2// Website: https://reddit-injection.fund/3pragma solidity ^0.8.26;45import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";6import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";7import {ReentrancyGuard} from "@openzeppelin/contracts/utils/ReentrancyGuard.sol";8import {IPoolManager} from "@uniswap/v4-core/src/interfaces/IPoolManager.sol";9import {IUnlockCallback} from "@uniswap/v4-core/src/interfaces/callback/IUnlockCallback.sol";10import {PoolKey} from "@uniswap/v4-core/src/types/PoolKey.sol";11import {PoolId, PoolIdLibrary} from "@uniswap/v4-core/src/types/PoolId.sol";12import {Currency} from "@uniswap/v4-core/src/types/Currency.sol";13import {BalanceDelta} from "@uniswap/v4-core/src/types/BalanceDelta.sol";14import {ModifyLiquidityParams, SwapParams} from "@uniswap/v4-core/src/types/PoolOperation.sol";15import {StateLibrary} from "@uniswap/v4-core/src/libraries/StateLibrary.sol";16import {TickMath} from "@uniswap/v4-core/src/libraries/TickMath.sol";17import {FullMath} from "@uniswap/v4-core/src/libraries/FullMath.sol";18import {IReferenceOracle} from "./interfaces/IReferenceOracle.sol";1920/// @notice Owns a direct v4 core position. There is no NFT, owner, upgrade, rescue,21/// approval, arbitrary call, or negative-liquidity path. Residual assets stay here.22contract LockedLiquidityVault is IUnlockCallback, ReentrancyGuard {23    using SafeERC20 for IERC20;24    using PoolIdLibrary for PoolKey;25    using StateLibrary for IPoolManager;2627    struct Limits {28        uint256 maxOracleAge;29        uint256 maxSwapQuote;30        int24 maxTickDeviation;31        uint16 maxSwapLossBps;32    }3334    uint256 private constant Q96 = 1 << 96;35    bytes32 public constant POSITION_SALT = keccak256("redif.permanent.liquidity.v1");36    address public immutable receiver;37    IPoolManager public immutable manager;38    IReferenceOracle public immutable oracle;39    IERC20 public immutable quote;40    IERC20 public immutable projectToken;41    bool public immutable quoteIs0;42    int24 public immutable tickLower;43    int24 public immutable tickUpper;44    uint256 public immutable maxOracleAge;45    uint256 public immutable maxSwapQuote;46    int24 public immutable maxTickDeviation;47    uint16 public immutable maxSwapLossBps;48    PoolKey public poolKey;49    uint128 public totalLiquidityAdded;50    bool private unlocking;5152    error InvalidConfiguration();53    error Unauthorized();54    error InvalidOracle();55    error UnsafePrice();56    error InexactTransfer();57    error NoLiquidity();58    error BadSwap();59    event LiquidityInjected(uint256 quoteReceived, uint128 liquidityAdded, uint256 quoteRemaining, uint256 tokenRemaining);6061    constructor(62        address receiver_, IPoolManager manager_, IReferenceOracle oracle_,63        PoolKey memory key_, IERC20 quote_, Limits memory limits64    ) {65        address c0 = Currency.unwrap(key_.currency0);66        address c1 = Currency.unwrap(key_.currency1);67        if (receiver_ == address(0) || address(manager_).code.length == 0 || address(oracle_).code.length == 068            || c0 == address(0) || c0 >= c1 || (address(quote_) != c0 && address(quote_) != c1)69            || key_.fee != 0 || key_.tickSpacing <= 0 || key_.tickSpacing > 3276770            || limits.maxOracleAge == 0 || limits.maxSwapQuote == 071            || limits.maxSwapQuote > uint256(uint128(type(int128).max))72            || limits.maxTickDeviation <= 0 || limits.maxTickDeviation > 20073            || limits.maxSwapLossBps == 0 || limits.maxSwapLossBps > 500) revert InvalidConfiguration();74        receiver = receiver_;75        manager = manager_;76        oracle = oracle_;77        poolKey = key_;78        quote = quote_;79        quoteIs0 = address(quote_) == c0;80        projectToken = IERC20(address(quote_) == c0 ? c1 : c0);81        tickLower = TickMath.minUsableTick(key_.tickSpacing);82        tickUpper = TickMath.maxUsableTick(key_.tickSpacing);83        maxOracleAge = limits.maxOracleAge;84        maxSwapQuote = limits.maxSwapQuote;85        maxTickDeviation = limits.maxTickDeviation;86        maxSwapLossBps = limits.maxSwapLossBps;87    }8889    function poolId() public view returns (bytes32) { return PoolId.unwrap(poolKey.toId()); }9091    function inject(uint256 amount) external nonReentrant returns (uint128 added) {92        if (msg.sender != receiver) revert Unauthorized();93        uint256 beforeBalance = quote.balanceOf(address(this));94        if (amount != 0) quote.safeTransferFrom(receiver, address(this), amount);95        if (quote.balanceOf(address(this)) != beforeBalance + amount) revert InexactTransfer();96        unlocking = true;97        added = abi.decode(manager.unlock(""), (uint128));98        unlocking = false;99        totalLiquidityAdded += added;100        emit LiquidityInjected(amount, added, quote.balanceOf(address(this)), projectToken.balanceOf(address(this)));101    }102103    function unlockCallback(bytes calldata) external returns (bytes memory) {104        if (msg.sender != address(manager) || !unlocking) revert Unauthorized();105        // Consume the callback authorization before making external token/hook calls.106        unlocking = false;107        PoolKey memory key = poolKey;108        (int24 referenceTick, uint256 timestamp) = oracle.read(poolId());109        if (timestamp == 0 || timestamp > block.timestamp || block.timestamp - timestamp > maxOracleAge110            || referenceTick <= tickLower + maxTickDeviation || referenceTick >= tickUpper - maxTickDeviation) {111            revert InvalidOracle();112        }113        _checkPrice(key, referenceTick);114        uint160 referencePrice = TickMath.getSqrtPriceAtTick(referenceTick);115        uint256 availableQuote = quote.balanceOf(address(this));116        uint256 tokenValue = _convert(projectToken.balanceOf(address(this)), referencePrice, !quoteIs0);117        // Reuse residual tokens before buying more. Any imbalance remains locked.118        uint256 swapAmount = availableQuote > tokenValue ? (availableQuote - tokenValue) / 2 : 0;119        if (swapAmount > maxSwapQuote) swapAmount = maxSwapQuote;120        if (swapAmount != 0) {121            int24 limitTick = quoteIs0 ? referenceTick - maxTickDeviation : referenceTick + maxTickDeviation;122            BalanceDelta delta = manager.swap(key, SwapParams({123                zeroForOne: quoteIs0,124                amountSpecified: -int256(swapAmount),125                sqrtPriceLimitX96: TickMath.getSqrtPriceAtTick(limitTick)126            }), "");127            int128 input = quoteIs0 ? delta.amount0() : delta.amount1();128            int128 output = quoteIs0 ? delta.amount1() : delta.amount0();129            if (input >= 0 || output <= 0) revert BadSwap();130            uint256 spent = uint256(-int256(input));131            uint256 expected = _convert(spent, referencePrice, quoteIs0);132            uint256 minimum = FullMath.mulDiv(expected, 10000 - maxSwapLossBps, 10000);133            if (spent > swapAmount || minimum == 0 || uint256(uint128(output)) < minimum) revert BadSwap();134            _settle(key.currency0, delta.amount0());135            _settle(key.currency1, delta.amount1());136        }137        uint160 price = _checkPrice(key, referenceTick);138        uint128 liquidity = _liquidityForBalances(key, price);139        if (liquidity == 0) revert NoLiquidity();140        (BalanceDelta added,) = manager.modifyLiquidity(key, ModifyLiquidityParams({141            tickLower: tickLower, tickUpper: tickUpper,142            liquidityDelta: int256(uint256(liquidity)), salt: POSITION_SALT143        }), "");144        _settle(key.currency0, added.amount0());145        _settle(key.currency1, added.amount1());146        _checkPrice(key, referenceTick);147        return abi.encode(liquidity);148    }149150    function _checkPrice(PoolKey memory key, int24 referenceTick) private view returns (uint160 price) {151        (uint160 current, int24 tick,,) = manager.getSlot0(key.toId());152        int256 distance = int256(tick) - int256(referenceTick);153        if (current == 0 || distance >= maxTickDeviation || distance <= -int256(maxTickDeviation)) revert UnsafePrice();154        return current;155    }156157    function _convert(uint256 amount, uint160 sqrtPrice, bool zeroForOne) private pure returns (uint256) {158        // Same precision split used by Uniswap's oracle quote calculation.159        if (sqrtPrice <= type(uint128).max) {160            uint256 ratioX192 = uint256(sqrtPrice) * sqrtPrice;161            return zeroForOne ? FullMath.mulDiv(amount, ratioX192, 1 << 192)162                : FullMath.mulDiv(amount, 1 << 192, ratioX192);163        }164        uint256 ratioX128 = FullMath.mulDiv(sqrtPrice, sqrtPrice, 1 << 64);165        return zeroForOne ? FullMath.mulDiv(amount, ratioX128, 1 << 128)166            : FullMath.mulDiv(amount, 1 << 128, ratioX128);167    }168169    function _liquidityForBalances(PoolKey memory key, uint160 price) private view returns (uint128) {170        uint160 lower = TickMath.getSqrtPriceAtTick(tickLower);171        uint160 upper = TickMath.getSqrtPriceAtTick(tickUpper);172        uint256 amount0 = IERC20(Currency.unwrap(key.currency0)).balanceOf(address(this));173        uint256 amount1 = IERC20(Currency.unwrap(key.currency1)).balanceOf(address(this));174        uint256 l0 = FullMath.mulDiv(amount0, FullMath.mulDiv(price, upper, Q96), upper - price);175        uint256 l1 = FullMath.mulDiv(amount1, Q96, price - lower);176        uint256 result = l0 < l1 ? l0 : l1;177        if (result > uint256(uint128(type(int128).max))) revert NoLiquidity();178        return uint128(result);179    }180181    function _settle(Currency currency, int128 delta) private {182        if (delta < 0) {183            uint256 amount = uint256(-int256(delta));184            manager.sync(currency);185            IERC20(Currency.unwrap(currency)).safeTransfer(address(manager), amount);186            if (manager.settle() != amount) revert InexactTransfer();187        } else if (delta > 0) {188            manager.take(currency, address(this), uint256(uint128(delta)));189        }190    }191}192

1// SPDX-License-Identifier: MIT2// Website: https://reddit-injection.fund/3pragma solidity ^0.8.26;45import {ECDSA} from "@openzeppelin/contracts/utils/cryptography/ECDSA.sol";6import {EIP712} from "@openzeppelin/contracts/utils/cryptography/EIP712.sol";7import {IReferenceOracle} from "./interfaces/IReferenceOracle.sol";89/// @notice Immutable-quorum reference tick oracle for the liquidity vault.10/// @dev Anyone may relay a report, but every accepted report must carry enough11/// signatures from the signer set fixed at construction. Signatures must be12/// ordered by recovered signer address so duplicates are impossible.13contract SignedReferenceOracle is IReferenceOracle, EIP712 {14    struct StoredReport {15        int24 tick;16        uint64 observedAt;17        uint64 sequence;18    }1920    bytes32 public constant REPORT_TYPEHASH = keccak256(21        "TickReport(bytes32 poolId,int24 tick,uint64 observedAt,uint64 validUntil,uint64 sequence)"22    );23    int24 private constant MIN_TICK = -887272;24    int24 private constant MAX_TICK = 887272;2526    uint8 public immutable threshold;27    uint64 public immutable maxReportValidity;28    mapping(address => bool) public isSigner;29    mapping(bytes32 => StoredReport) private reports;3031    error InvalidConfiguration();32    error InvalidReport();33    error InsufficientSignatures();34    error SignaturesNotStrictlyOrdered();3536    event ReportAccepted(37        bytes32 indexed poolId,38        int24 tick,39        uint64 observedAt,40        uint64 validUntil,41        uint64 sequence42    );4344    constructor(address[] memory signers, uint8 threshold_, uint64 maxReportValidity_)45        EIP712("REDIF Signed Reference Oracle", "1")46    {47        if (48            signers.length == 0 || signers.length > type(uint8).max || threshold_ == 049                || threshold_ > signers.length || maxReportValidity_ == 050        ) revert InvalidConfiguration();5152        address previous;53        for (uint256 i; i < signers.length; ++i) {54            address signer = signers[i];55            // A sorted constructor list makes duplicates obvious and produces a56            // deterministic deployment configuration.57            if (signer == address(0) || signer <= previous) revert InvalidConfiguration();58            isSigner[signer] = true;59            previous = signer;60        }61        threshold = threshold_;62        maxReportValidity = maxReportValidity_;63    }6465    /// @notice Returns the latest accepted report for a pool.66    function read(bytes32 poolId) external view returns (int24 tick, uint256 updatedAt) {67        StoredReport memory report = reports[poolId];68        return (report.tick, report.observedAt);69    }7071    function latestSequence(bytes32 poolId) external view returns (uint64) {72        return reports[poolId].sequence;73    }7475    function hashReport(76        bytes32 poolId,77        int24 tick,78        uint64 observedAt,79        uint64 validUntil,80        uint64 sequence81    ) public view returns (bytes32) {82        return _hashTypedDataV4(83            keccak256(abi.encode(REPORT_TYPEHASH, poolId, tick, observedAt, validUntil, sequence))84        );85    }8687    /// @notice Relays a quorum-approved tick report. The relayer needs no role.88    function submit(89        bytes32 poolId,90        int24 tick,91        uint64 observedAt,92        uint64 validUntil,93        uint64 sequence,94        bytes[] calldata signatures95    ) external {96        StoredReport memory current = reports[poolId];97        if (98            poolId == bytes32(0) || tick < MIN_TICK || tick > MAX_TICK || observedAt == 099                || observedAt > block.timestamp || validUntil < block.timestamp100                || validUntil < observedAt || validUntil - observedAt > maxReportValidity101                || sequence <= current.sequence || observedAt <= current.observedAt102        ) revert InvalidReport();103        if (signatures.length < threshold) revert InsufficientSignatures();104105        bytes32 digest = hashReport(poolId, tick, observedAt, validUntil, sequence);106        address previous;107        for (uint256 i; i < signatures.length; ++i) {108            address signer = ECDSA.recover(digest, signatures[i]);109            if (!isSigner[signer]) revert InsufficientSignatures();110            if (signer <= previous) revert SignaturesNotStrictlyOrdered();111            previous = signer;112        }113114        reports[poolId] = StoredReport(tick, observedAt, sequence);115        emit ReportAccepted(poolId, tick, observedAt, validUntil, sequence);116    }117}118

1// SPDX-License-Identifier: MIT2// Website: https://reddit-injection.fund/3pragma solidity ^0.8.26;45import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";6import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";7import {ReentrancyGuard} from "@openzeppelin/contracts/utils/ReentrancyGuard.sol";89interface IRedifLaunchReceiver {10    function token() external view returns (address);11    function vault() external view returns (address);12}1314/// @title REDIF Graduation Locker15/// @notice Binds once to the REDIF token verified by the immutable launch receiver,16/// then holds one owner-funded deposit for 30 days. Before the deadline, the owner17/// may irreversibly make the lock eternal. Otherwise, only that same owner may18/// withdraw the entire REDIF balance once the deadline passes.19/// @dev There is deliberately no ownership transfer, rescue, upgrade, pause,20/// extension, early-withdrawal, arbitrary token selection, or third-party21/// state-changing function.22contract RedifGraduationLocker is ReentrancyGuard {23    using SafeERC20 for IERC20;2425    uint64 public constant LOCK_DURATION = 30 days;2627    enum State {28        AwaitingBinding,29        AwaitingDeposit,30        Locked,31        EternallyLocked,32        Withdrawn33    }3435    IRedifLaunchReceiver public immutable receiver;36    address public immutable owner;3738    IERC20 public token;39    State public state;40    uint64 public unlockAt;41    uint256 public initialLockedAmount;4243    error Unauthorized();44    error InvalidConfiguration();45    error InvalidAmount();46    error InvalidState();47    error InvalidBinding();48    error LockExpired();49    error LockActive();50    error InexactTransfer();5152    event TokenBound(address indexed token);53    event LockStarted(uint256 amount, uint64 unlockAt);54    event EternallyLocked(uint256 balance);55    event Withdrawn(uint256 amount);5657    modifier onlyOwner() {58        if (msg.sender != owner) revert Unauthorized();59        _;60    }6162    constructor(IRedifLaunchReceiver receiver_, address owner_) {63        if (address(receiver_).code.length == 0 || owner_ == address(0) || owner_ == address(this)) {64            revert InvalidConfiguration();65        }66        receiver = receiver_;67        owner = owner_;68    }6970    /// @notice Permanently records the project token already verified by the71    /// immutable receiver's one-time Pons launch binding.72    /// @dev No token address is supplied by the caller. A created vault proves73    /// bindLaunch() completed for the receiver's exact token and pool.74    function bindToken() external onlyOwner {75        if (state != State.AwaitingBinding) revert InvalidState();7677        address boundToken = receiver.token();78        if (boundToken.code.length == 0 || receiver.vault().code.length == 0) revert InvalidBinding();7980        token = IERC20(boundToken);81        state = State.AwaitingDeposit;82        emit TokenBound(boundToken);83    }8485    /// @notice Pulls the single locked deposit from the owner and starts 30 days.86    /// @dev The owner must approve this contract first. Fee-on-transfer behavior87    /// is rejected so the recorded amount always equals the amount actually held.88    function startLock(uint256 amount) external onlyOwner nonReentrant {89        if (state != State.AwaitingDeposit) revert InvalidState();90        if (amount == 0) revert InvalidAmount();9192        uint256 balanceBefore = token.balanceOf(address(this));93        token.safeTransferFrom(owner, address(this), amount);94        if (token.balanceOf(address(this)) - balanceBefore != amount) revert InexactTransfer();9596        uint256 deadline = block.timestamp + LOCK_DURATION;97        if (deadline > type(uint64).max) revert InvalidConfiguration();9899        initialLockedAmount = amount;100        unlockAt = uint64(deadline);101        state = State.Locked;102103        emit LockStarted(amount, uint64(deadline));104    }105106    /// @notice Irreversibly disables withdrawal while the 30-day lock is active.107    function eternallyLock() external onlyOwner {108        if (state != State.Locked) revert InvalidState();109        if (block.timestamp >= unlockAt) revert LockExpired();110111        state = State.EternallyLocked;112        emit EternallyLocked(token.balanceOf(address(this)));113    }114115    /// @notice Withdraws all REDIF held by the locker after the 30-day deadline.116    function withdraw() external onlyOwner nonReentrant returns (uint256 amount) {117        if (state != State.Locked) revert InvalidState();118        if (block.timestamp < unlockAt) revert LockActive();119120        state = State.Withdrawn;121        amount = token.balanceOf(address(this));122        token.safeTransfer(owner, amount);123124        emit Withdrawn(amount);125    }126}127