Compiling 2 files with Solc 0.8.30
Solc 0.8.30 finished in 2.73s
Compiler run successful!

Ran 37 tests for test/VellinDistributor.t.sol:VellinDistributorTest
[PASS] testAuthorizedRouterCallbackCannotReenterBuyback() (gas: 3067018)
[PASS] testBatchCapAndNoDirectDeposit() (gas: 151061)
[PASS] testBatchRetryIsolatesPersistentFailureFromRecovery() (gas: 3101094)
[PASS] testBatchRetryRecoversAfterCooldownAndNeverDuplicates() (gas: 816940)
[PASS] testBuybackAuthSlippageDeadlineAndReserve() (gas: 569454)
[PASS] testBuybackFailureRollsBackOnlyBurn() (gas: 600873)
[PASS] testBuybackOnlyUsesReservedSlice() (gas: 630329)
[PASS] testCannotStealCredit() (gas: 376028)
[PASS] testConstructorRejectsMissingCodePathPolicyAndBurnTeam() (gas: 2741223)
[PASS] testFuzzEndToEndConservation(uint96) (runs: 4096, μ: 600817, ~: 600749)
[PASS] testFuzzSplitConserves(uint128,uint128,uint128) (runs: 4096, μ: 7480, ~: 7178)
[PASS] testJavaScriptMerkleInteroperability() (gas: 35824)
[PASS] testKeeperRotationRevokesOldExecutorAndRejectsZero() (gas: 550825)
[PASS] testLateHolderStillPaidAfterNextDailySettlement() (gas: 1008302)
[PASS] testMaximumBatchOfGasBurnersRetainsAllCreditsAndBoundsGas() (gas: 18772723)
Logs:
  50 gas-exhausting receivers: distribute gas: 8219809

[PASS] testNegativeAndCostExcessDaysPayZero() (gas: 306189)
[PASS] testNetAndSplit() (gas: 380289)
[PASS] testNoDuplicateOrFutureDay() (gas: 431269)
[PASS] testNumericExtremesAndCostOverflowFailClosed() (gas: 22107)
[PASS] testOnlyOwnerFunds() (gas: 53354)
[PASS] testOwnershipRequiresAcceptanceAndRenunciationCannotAbandonFunds() (gas: 227713)
[PASS] testPauseKeepsExistingEntitlementsAccessible() (gas: 707084)
[PASS] testPausePreventsNewFundingButCanBeLifted() (gas: 493578)
[PASS] testProofCannotCrossChainDomain() (gas: 395726)
[PASS] testRecipientFailureRetainsCreditAndOtherHolderPaid() (gas: 936134)
[PASS] testReentrancyBlocked() (gas: 745705)
[PASS] testRejectWrongFundingAndRoot() (gas: 109376)
[PASS] testRejectedRedirectRevertsWholeClaimWithoutLosingEntitlement() (gas: 775183)
[PASS] testRetryBatchLimits() (gas: 75985)
[PASS] testReturndataBombDoesNotBlockBatch() (gas: 588403)
[PASS] testRobinhoodArbSysReadFailureFailsClosed() (gas: 63574)
[PASS] testRobinhoodRejectsCurrentOrFutureL2Snapshot() (gas: 64820)
[PASS] testRobinhoodUsesL2HeightInsteadOfParentNumber() (gas: 2861866)
[PASS] testSelfClaimCanRedirectAndCannotDoubleClaim() (gas: 498203)
[PASS] testTeamFailureDoesNotBlockEpochOrHolders() (gas: 2840540)
[PASS] testTwoHoldersAndReplay() (gas: 703534)
[PASS] testWrongAccountAmountDayAndDeploymentRejected() (gas: 3007317)
Suite result: ok. 37 passed; 0 failed; 0 skipped; finished in 10.23s (20.24s CPU time)

Ran 1 test for test/VellinStateful.t.sol:VellinStatefulTest
[PASS] testFuzzInterleavedEpochsAndFailures(uint256) (runs: 4096, μ: 35431580, ~: 34464189)
Suite result: ok. 1 passed; 0 failed; 0 skipped; finished in 10.23s (10.22s CPU time)

Ran 2 test suites in 10.23s (20.45s CPU time): 38 tests passed, 0 failed, 0 skipped (38 total tests)