{"assessments":[],"deployments":[],"fuzz":[],"identity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"interpretation":"Records acceptance and evidence. Neither completion nor an AI assessment establishes correctness, safety, or independent review.","jobId":"748dbef6-24fa-43fb-a3be-7a997f2ebe34","kind":"skill:build-contract-project","nodes":[{"acceptedSubmissionHash":"ce824fc6d15348004c375873f1cbc8cc95e09781a59a05e80f8350147167642c","dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"b6503de65ad02f845827887c23da4c3b56ccc5df7a459db263bae6e549d92f7f","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"b6503de65ad02f845827887c23da4c3b56ccc5df7a459db263bae6e549d92f7f","skillId":"build-contract-project","state":"accepted"}],"objective":"you did not launch, just launch the token","parentJobId":"f26f9b62-f825-4d3f-84a4-e071100680f1","planHash":"ea861cc0a21a79aada4049afb6bbac6805bbc24e136d35d61a444e5f14c36875","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"478fbc53-bdbf-4ab1-b167-98eda44691ea","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-935-1mdollar"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"51124","feedbackHash":"8413c93b8aed1e63275115180237e080f0aec9f619615f44618d3ef202efdd8a","nodeKey":"build_contract_project","submissionHash":"ce824fc6d15348004c375873f1cbc8cc95e09781a59a05e80f8350147167642c","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"649bdde558c705b595f62800528dfe09e4bb17f14af56e49171afd9557127be6","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":"0bafcdafe62865fd22520a1f74ee9e5522d930caa80aa52a2cff81fb062c733e","device":"f49e9c7e437cf75c","findings":[],"hash":"ce824fc6d15348004c375873f1cbc8cc95e09781a59a05e80f8350147167642c","nodeId":"9c5e1e98-2dcb-48ef-939b-a1d3eb2f79e6","outcome":"completed","summary":"The token is **not launched on-chain**: this assignment excludes broadcasts, and the supplied record lacks the existing token address and verified pool.\n\nImplemented a read-only launch preflight, 13 success/failure tests, and an [operator handoff](LAUNCH.md) documenting parameters and remaining launch responsibilities.\n\nVerified with Solidity 0.8.26: `forge build`, all 78 tests, and `forge fmt --check` pass.","treeHash":"c68bd5f7224cc3fdaa297bf078d071d69f369350","usage":{"cachedInputTokens":551552,"inputTokens":62968,"model":"gpt-6-astra","outputTokens":13310,"runtime":"codex","turns":6,"wallClockMs":710872}}],"verification":[{"checks":[{"durationMs":3131,"exitCode":0,"name":"build","output":"Compiling 82 files with Solc 0.8.26\nSolc 0.8.26 finished in 3.01s\nCompiler run successful!\n","passed":true},{"durationMs":16686,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 9 tests for test/PoolTaxActivation.t.sol:PoolTaxActivationTest\n[PASS] testFuzz_bothDirectionsAndDelegationAcrossActivation(uint256,bool,bool) (runs: 512, μ: 371482, ~: 370236)\nLogs:\n  Bound result 197208903927263783157194565\n\n[PASS] test_activationEmitsEventAndDoesNotMoveBalancesOrAllowances() (gas: 369351)\n[PASS] test_failedTransfersRollBackInBothPhases() (gas: 859983)\n[PASS] test_launchFundingAndTradingAreUntaxedInBothDirections() (gas: 263367)\n[PASS] test_launchThenActivateTaxesExistingLiquidityAndExistingApproval() (gas: 403335)\n[PASS] test_noDisableOrRateChangeExistsEvenForTreasury() (gas: 218649)\n[PASS] test_onlyTreasuryCanActivateIncludingDeployerAndManagerRejection() (gas: 703106)\n[PASS] test_repeatedActivationRevertsWithoutChangingLedger() (gas: 363426)\n[PASS] test_walletsAndManagerStayUntaxedAfterActivation() (gas: 223942)\nSuite result: ok. 9 passed; 0 failed; 0 skipped; finished in 242.54ms (244.92ms CPU time)\n\nRan 5 tests for test/PoolManagerRelay.t.sol:PoolManagerRelayTest\n[PASS] testFuzz_relayMatchesDirectTransfer(bool,uint256) (runs: 1000, μ: 377667, ~: 377682)\nLogs:\n  Bound result 276306012778027681174797331\n\n[PASS] testFuzz_relayOverdrawRollsBackAndAllowsRetry(bool,uint256,uint256) (runs: 1000, μ: 539891, ~: 541611)\nLogs:\n  Bound result 262145\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639934\n\n[PASS] test_buyRelayChargesExactly99Percent() (gas: 263194)\n[PASS] test_relayRoundingEdgesAndEntireAvailableBalance() (gas: 4935283)\n[PASS] test_sellRelayChargesExactly99Percent() (gas: 229961)\nSuite result: ok. 5 passed; 0 failed; 0 skipped; finished in 248.91ms (494.03ms CPU time)\n\nRan 9 tests for test/LaunchCompatibility.t.sol:LaunchCompatibilityTest\n[PASS] test_actorRejectsForgedCallback() (gas: 31991)\n[PASS] test_create2FactoryReceivesEntireSupply() (gas: 43958)\n[PASS] test_erc20PairSingleSidedSeedBuyAndSell() (gas: 2872474)\n[PASS] test_factoryCannotBeFeeRecipient() (gas: 33655)\n[PASS] test_factoryLaunchFundsPoolUntaxedThenTreasuryActivates() (gas: 375973)\n[PASS] test_nativePairSingleSidedSeedBuyAndSell() (gas: 2201241)\n[PASS] test_noCommonAdminCallCanMintOrControlHolder() (gas: 1961450)\n[PASS] test_runtimeHasNoForbiddenOpcodesAndFitsEIP170() (gas: 1417313)\n[PASS] test_swarmShareAndClaimsArriveWhole() (gas: 162589)\nSuite result: ok. 9 passed; 0 failed; 0 skipped; finished in 251.50ms (5.95ms CPU time)\n\nRan 13 tests for test/OneMDollarAdversarial.t.sol:OneMDollarAdversarialTest\n[PASS] testFuzz_approvalIsIdempotentAndDoesNotMoveValue(uint8,uint8,uint256) (runs: 1000, μ: 1403792, ~: 1353091)\n[PASS] testFuzz_delegationMatchesDirectTransferIncludingAliases(uint8,uint8,uint8,uint256,bool) (runs: 1000, μ: 470021, ~: 402850)\nLogs:\n  Bound result 516353136862317935780457880\n\n[PASS] testFuzz_overdrawRevertsAtomicallyAcrossRoles(uint8,uint8,uint8,uint256,uint256,bool,bool) (runs: 1000, μ: 1268233, ~: 1207362)\nLogs:\n  Bound result 669742516395465430957966727\n  Bound result 1258700056233924716443135276328731920147349050987568783561099551950463\n\n[PASS] testFuzz_shortGrossAllowanceRevertsAtomically(uint8,uint8,uint8,uint256,uint256,uint256) (runs: 1000, μ: 1258063, ~: 1206942)\nLogs:\n  Bound result 483070846174348021132688910\n  Bound result 395092373125236731618556723\n  Bound result 273730951948657692944120800\n\n[PASS] test_delegatedPoolManagerEndpointsPayTaxAndSpendGrossAllowance() (gas: 385863)\n[PASS] test_fullSupplyCanBeSoldThenEntirePoolBalanceBought() (gas: 280830)\n[PASS] test_maximumDelegatedOverdrawPreservesFiniteAllowance() (gas: 1192671)\n[PASS] test_poolSelfTransferStillConsumesGrossAllowance() (gas: 630874)\n[PASS] test_replacedAllowanceIsNotAddedAndOtherSpenderCannotUseIt() (gas: 1371565)\n[PASS] test_roundingEdgesInBothDirections() (gas: 6053771)\n[PASS] test_treasuryCannotReuseAllowanceAfterReceivingItsOwnFee() (gas: 1270809)\n[PASS] test_zeroDirectAndDelegatedTransfersEmitOnlyOneTransferAcrossAllRoles() (gas: 4022423)\n[PASS] test_zeroReceiverRejectsEvenZeroTransfersAndInfiniteAllowance() (gas: 2172498)\nSuite result: ok. 13 passed; 0 failed; 0 skipped; finished in 251.57ms (1.01s CPU time)\n\nRan 13 tests for test/PrepareLaunch.t.sol:PrepareLaunchTest\n[PASS] testFuzz_requiresActualHolderFunding(uint256) (runs: 512, μ: 255896, ~: 255851)\nLogs:\n  Bound result 162421857103290601251\n\n[PASS] test_activatedTaxCannotBePresentedAsFeeFreeLaunch() (gas: 130306)\n[PASS] test_erc20PairsSortBothWaysAndExposeActualDecimals() (gas: 890894)\n[PASS] test_initialPriceBoundsMatchRealManager() (gas: 251273)\n[PASS] test_initializedPoolIsReportedWithoutReinitializationEvenAtDifferentPrice() (gas: 286169)\n[PASS] test_invalidTreasuryPairHolderAndAmountRejected() (gas: 421200)\n[PASS] test_mismatchedImmutableAddressesRejected() (gas: 251619)\n[PASS] test_missingCodeAndInheritedPlaceholderRejected() (gas: 157800)\n[PASS] test_nativePlanUsesExistingSupplyAndRealManagerAcceptsCalldata() (gas: 235205)\n[PASS] test_reportsFundedPoolAndDoesNotReseedOrMoveFunds() (gas: 2910175)\n[PASS] test_staticCallAndArbitraryCallerProduceIdenticalPlansWithoutInitializing() (gas: 224830)\n[PASS] test_wrongChainRejected() (gas: 30050)\n[PASS] test_wrongTokenIdentitySupplyOrTaxConstantsRejected() (gas: 321737)\nSuite result: ok. 13 passed; 0 failed; 0 skipped; finished in 251.58ms (97.88ms CPU time)\n\nRan 25 tests for test/OneMDollar.t.sol:OneMDollarTest\n[PASS] testFuzz_buysConserveSupplyAndApplyExactFee(uint256) (runs: 512, μ: 211352, ~: 212423)\nLogs:\n  Bound result 162421857103290601251\n\n[PASS] testFuzz_sellsConserveSupplyAndApplyExactFee(uint256) (runs: 512, μ: 203949, ~: 205061)\nLogs:\n  Bound result 162421857103290601251\n\n[PASS] testFuzz_walletTransfersHaveNoFee(uint256) (runs: 512, μ: 141198, ~: 141638)\nLogs:\n  Bound result 162421857103290601251\n\n[PASS] test_approvalReplacementRevocationAndInfiniteAllowance() (gas: 337107)\n[PASS] test_buyTaxesPoolOutput() (gas: 183331)\n[PASS] test_constructorEmitsFullMint() (gas: 6018)\n[PASS] test_deployerHasNoSpecialTaxExemption() (gas: 102546)\n[PASS] test_extremeAmountRevertsBeforeFeeMultiplication() (gas: 35436)\n[PASS] test_insufficientAllowanceCannotPayOnlyNetAmount() (gas: 173647)\n[PASS] test_insufficientBalanceRollsBackFeeAndAllowance() (gas: 181627)\n[PASS] test_invalidConstructorParametersRevert() (gas: 4037)\n[PASS] test_managerAsSpenderDoesNotExemptTaxedEndpoints() (gas: 203118)\n[PASS] test_metadataAndEntireSupplyMintedOnceToDeployer() (gas: 107145)\n[PASS] test_poolManagerEndpointsStillPayPoolTax() (gas: 246015)\n[PASS] test_poolManagerWalletEndpointsReceiveFullAmounts() (gas: 247133)\n[PASS] test_poolSelfTransferChargesFeeAndWalletSelfTransferDoesNot() (gas: 250158)\n[PASS] test_routerCallingOrdinaryTransferDoesNotTriggerTax() (gas: 176243)\n[PASS] test_selfAddressConstructorParametersRevert() (gas: 4871)\n[PASS] test_sellSends99PercentToTreasuryAnd1PercentToPool() (gas: 183565)\n[PASS] test_transferFromConsumesGrossAllowanceOnSellAndBuy() (gas: 353979)\n[PASS] test_treasuryAsSenderOrRecipientPreservesAccounting() (gas: 196490)\n[PASS] test_treasuryCannotTransferMoreThanItsGrossBalance() (gas: 89740)\n[PASS] test_walletTransfersAndOtherVenuesAreUntaxed() (gas: 177808)\n[PASS] test_zeroAddressesRevertWithoutBurningOrSpendingAllowance() (gas: 177428)\n[PASS] test_zeroAndDustTransfersRoundFeeDown() (gas: 266294)\nSuite result: ok. 25 passed; 0 failed; 0 skipped; finished in 251.61ms (384.83ms CPU time)\n\nRan 1 test for test/OneMDollarInvariant.t.sol:OneMDollarInvariantTest\n[PASS] invariant_fixedSupplyAndConservationAcrossTransfers() (runs: 128, calls: 8192, reverts: 0)\n\n╭-----------------+----------+-------+---------+----------╮\n| Contract        | Selector | Calls | Reverts | Discards |\n+=========================================================+\n| TransferHandler | activate | 4070  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| TransferHandler | move     | 4122  | 0       | 0        |\n╰-----------------+----------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 0\n  Bound result 1121\n  Bound result 0\n  Bound result 0\n  Bound result 324\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 9990000000000000000\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 2601\n  Bound result 0\n  Bound result 132\n  Bound result 828\n  Bound result 828\n  Bound result 7\n  Bound result 1000\n  Bound result 806\n  Bound result 2\n  Bound result 324010267075234152532276072\n  Bound result 3\n  Bound result 1\n  Bound result 2800\n  Bound result 100000000000000000000000\n  Bound result 49569\n  Bound result 0\n  Bound result 0\n  Bound result 1422\n  Bound result 72582078023787898840083649\n  Bound result 0\n  Bound result 20944065887841798907085\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 920.38ms (919.54ms CPU time)\n\nRan 3 tests for test/OneMDollarAllowancesInvariant.t.sol:OneMDollarAllowancesInvariantTest\n[PASS]\nOneMDollarAllowancesInvariantTest invariants:\n[PASS] invariant_balancesMatchPersistentGhostLedger\n[PASS] invariant_onlyAuthorizedGrossSpendsReduceAllowances\n[PASS] invariant_supplyCannotLeakToUntrackedAccounts\n OneMDollarAllowancesInvariantTest invariants (runs: 256, calls: 32768, reverts: 0)\n\n╭------------------+--------------------+-------+---------+----------╮\n| Contract         | Selector           | Calls | Reverts | Discards |\n+====================================================================+\n| AllowanceHandler | approve            | 4656  | 0       | 0        |\n|------------------+--------------------+-------+---------+----------|\n| AllowanceHandler | rejectOverBalance  | 4576  | 0       | 0        |\n|------------------+--------------------+-------+---------+----------|\n| AllowanceHandler | rejectZeroReceiver | 4589  | 0       | 0        |\n|------------------+--------------------+-------+---------+----------|\n| AllowanceHandler | rejectZeroSpender  | 4779  | 0       | 0        |\n|------------------+--------------------+-------+---------+----------|\n| AllowanceHandler | revokeAndReject    | 4774  | 0       | 0        |\n|------------------+--------------------+-------+---------+----------|\n| AllowanceHandler | spend              | 4659  | 0       | 0        |\n|------------------+--------------------+-------+---------+----------|\n| AllowanceHandler | transfer           | 4735  | 0       | 0        |\n╰------------------+--------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 244\n  Bound result 9121\n  Bound result 0\n  Bound result 4100\n  Bound result 187118765914\n  Bound result 0\n  Bound result 228161119793256322859666745\n  Bound result 0\n  Bound result 71846501590440902823936564\n  Bound result 0\n  Bound result 0\n  Bound result 8003\n  Bound result 0\n  Bound result 0\n  Bound result 3124842405\n  Bound result 0\n  Bound result 329228843289009977335038153\n  Bound result 1000000000000000000000000000\n  Bound result 1610\n  Bound result 0\n  Bound result 1618\n  Bound result 15\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n\n[PASS] test_handlerExercisesSpendsRevocationAndBalanceFailures() (gas: 2072773)\nLogs:\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 100000000000000000000\n  Bound result 100000000000000000000\n  Bound result 100000000000000000000\n  Bound result 100000000000000000000\n  Bound result 1000000000000000000\n\n[PASS] test_handlerTaxesManagerPoolTransfersInBothDirections() (gas: 2546033)\nLogs:\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 83333333333333333333333333\n  Bound result 100000000000000000000\n  Bound result 100000000000000000000\n  Bound result 100000000000000000000\n  Bound result 100000000000000000000\n  Bound result 100000000000000000000\n  Bound result 100000000000000000000\n\nSuite result: ok. 3 passed; 0 failed; 0 skipped; finished in 16.60s (16.60s CPU time)\n\nRan 8 test suites in 16.61s (19.02s CPU time): 78 tests passed, 0 failed, 0 skipped (78 total tests)\n","passed":true},{"durationMs":39,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"OneMDollar.approve(address,uint256)\",\"OneMDollar.enablePoolTax()\",\"OneMDollar.transfer(address,uint256)\",\"OneMDollar.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":3,\"DEPENDENCIES.json\":26,\"LAUNCH.md\":127,\"README.md\":160,\"foundry.toml\":23,\"launch.json\":28,\"remappings.txt\":4,\"script/PrepareLaunch.s.sol\":125,\"src/OneMDollar.sol\":78,\"test/LaunchCompatibility.t.sol\":210,\"test/OneMDollar.t.sol\":355,\"test/OneMDollarAdversarial.t.sol\":334,\"test/OneMDollarAllowancesInvariant.t.sol\":132,\"test/OneMDollarInvariant.t.sol\":92,\"test/PoolManagerRelay.t.sol\":172,\"test/PoolTaxActivation.t.sol\":209,\"test/PrepareLaunch.t.sol\":282,\"test/TESTING.md\":93,\"test/support/AllowanceHandler.sol\":137,\"test/support/V4Actor.sol\":84},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"ce824fc6d15348004c375873f1cbc8cc95e09781a59a05e80f8350147167642c","verifiedTreeHash":"c68bd5f7224cc3fdaa297bf078d071d69f369350","verifierVersion":"0.1.0+a2d9a899"}]}