{"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":"1fb8c410-bce5-4bf9-a6a4-81ffb049632e","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":"4bdb0e58150d9ed67fca050b4b6500f1a9771179e90e13d0e0bf13408c5dbdf4","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","tools":[]},"key":"audit_economics","kind":"code","role":"review","skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","state":"accepted"},{"acceptedSubmissionHash":"0a1e55f46423c1c092efc80b5d9288af9e715ad84dd1b1d2733f662382408929","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","tools":[]},"key":"audit_flow","kind":"code","role":"review","skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","state":"accepted"},{"acceptedSubmissionHash":"a312878551e24c59044087a3fa0352a3187b99a599957f66c7a13ebd9845101c","dependsOn":["build_contract_project","write_foundry_tests","manifest","audit_math","audit_permissions","audit_economics","audit_flow"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"af3aa01159bbf354f621cafa5c0006f6169e0938a8b015be508b7377dbf165bc","skillId":"audit-judge","tools":[]},"key":"audit_judge","kind":"code","role":"review","skillHash":"af3aa01159bbf354f621cafa5c0006f6169e0938a8b015be508b7377dbf165bc","skillId":"audit-judge","state":"accepted"},{"acceptedSubmissionHash":"14b3233908e8473efc8888f66372ee5d42a289615941669abc4db2698774dcef","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","tools":[]},"key":"audit_math","kind":"code","role":"review","skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","state":"accepted"},{"acceptedSubmissionHash":"bdee064b7c4b78d2bd3fdf37d953d5d780217289d9669b30a90f7ab5564e917d","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","tools":[]},"key":"audit_permissions","kind":"code","role":"review","skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","state":"accepted"},{"acceptedSubmissionHash":"19da24b53ffc58f453ac5e091adcbe8dcbd5341321c640b390e836112eab3739","dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"816fe39c7efd64504a19175b0f4dd9186d61069f37a22684c90358a18c60bddc","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"816fe39c7efd64504a19175b0f4dd9186d61069f37a22684c90358a18c60bddc","skillId":"build-contract-project","state":"accepted"},{"acceptedSubmissionHash":"446be67c48e9e1072a721342769a4b94a7a6f7db9144c224486d062ca63d12d2","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"accepted"},{"acceptedSubmissionHash":"002785bbb7d857d76019ba26e812b9e44783c348d8279545ed8932a3fbfeac79","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"ab3f8f2aa4e7f3b3ada558c0dcf522ba733ca3df3b1da92c707a0fe305816d5f","skillId":"write-foundry-tests","tools":[]},"key":"write_foundry_tests","kind":"code","role":"tests","skillHash":"ab3f8f2aa4e7f3b3ada558c0dcf522ba733ca3df3b1da92c707a0fe305816d5f","skillId":"write-foundry-tests","state":"accepted"}],"objective":"A custom token: Routr (ROUTR).\nToken name: Routr\nToken symbol: ROUTR\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.","parentJobId":null,"planHash":"2a311328c1dcd3c4edb0b8a0e9bfd5d22842d636e557ca92e3ceb5779b4999c3","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"1fb8c410-bce5-4bf9-a6a4-81ffb049632e","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-2509-routr"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"51492","feedbackHash":"4d513929cb1f3b302085a7c5fe3415c15b679a2bbad785e09368f4e179c4616d","nodeKey":"audit_economics","submissionHash":"4bdb0e58150d9ed67fca050b4b6500f1a9771179e90e13d0e0bf13408c5dbdf4","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52152","feedbackHash":"a8bc91bec37ab5ff542b65426117d72b611c821ea25f22560eb4b720a4998fe5","nodeKey":"audit_flow","submissionHash":"0a1e55f46423c1c092efc80b5d9288af9e715ad84dd1b1d2733f662382408929","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51305","feedbackHash":"2eed40d70dcf54d2e06735afdb064188376ea079c594731db5a0a57749f17c3b","nodeKey":"audit_judge","submissionHash":"a312878551e24c59044087a3fa0352a3187b99a599957f66c7a13ebd9845101c","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51511","feedbackHash":"6b5136549510864823de813d1ff95de1d2655a967b882d08717db5053beeef57","nodeKey":"audit_math","submissionHash":"14b3233908e8473efc8888f66372ee5d42a289615941669abc4db2698774dcef","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51490","feedbackHash":"777783cdaa8f1ccbc01e40000efd983c360d07644c62e4ec1a0e78d7d7cb06bd","nodeKey":"audit_permissions","submissionHash":"bdee064b7c4b78d2bd3fdf37d953d5d780217289d9669b30a90f7ab5564e917d","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52131","feedbackHash":"40ad24aa39ff4066e080e0ac514c4f25840bf1d11350e25ed0ad05e4561c0e98","nodeKey":"build_contract_project","submissionHash":"19da24b53ffc58f453ac5e091adcbe8dcbd5341321c640b390e836112eab3739","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"52583","feedbackHash":"f3ed4e570053a7dc58cd45de719396685f7629f1d668d2b2e8ec4e583ec7b836","nodeKey":"manifest","submissionHash":"446be67c48e9e1072a721342769a4b94a7a6f7db9144c224486d062ca63d12d2","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51459","feedbackHash":"f1af2f31847361139e8290f1a45bb81bad52e9c74328eab7942fcfb4084cd657","nodeKey":"write_foundry_tests","submissionHash":"002785bbb7d857d76019ba26e812b9e44783c348d8279545ed8932a3fbfeac79","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"9ae7718690e489b588ecc6de98d17454bd4a45ed70e6cd5a424258d2abbd9381","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":"2ac37ad2f6ac2cafa0ca5441802307f06c25ee1e86d8c292c2d86442bd43b975","device":"b5370e603753d2ab","findings":[],"hash":"002785bbb7d857d76019ba26e812b9e44783c348d8279545ed8932a3fbfeac79","nodeId":"6530b471-1aef-4186-a1b3-e42519499031","outcome":"completed","summary":"Added tests under `test/` covering failure paths, boundary amounts, allowance revocation, authorization, and rollback.\n\nAdded stateful invariants for fixed supply, balance conservation, allowance accounting, and transferability across 32,768 random calls.\n\nVerified offline with the supplied fuzz seed: `forge build` and `forge test` pass—51 tests, zero failures or skips. No contract defects found.","treeHash":"bec83c93d731705e0db3edbfa2347c9bbbd7389e","usage":{"cachedInputTokens":999936,"inputTokens":71301,"model":"gpt-6-astra","outputTokens":16789,"runtime":"codex","turns":6,"wallClockMs":493210}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"7c748c02cd2ee98f","findings":[],"hash":"0a1e55f46423c1c092efc80b5d9288af9e715ad84dd1b1d2733f662382408929","nodeId":"c65e3e14-d42e-4f50-944e-3d42ddca31eb","outcome":"completed","summary":"The review is complete and `.imd-findings.json` holds an empty findings list with eight coverage rows.\n\n**Result: no defects found.** RoutrToken is an unmodified OpenZeppelin v5.1.0 `ERC20` with one constructor mint of 1e27 minor units to `msg.sender`. It has no owner, mint, burn, pause, blacklist, fee, hook, receive or fallback.\n\nWhat I checked, against the Execution Trace, Periphery and First Principles guides:\n\n- **Execution trace of the three entry points.** `approve`, `transfer` and `transferFrom` were traced through `_approve`, `_spendAllowance`, `_transfer` and `_update`. Zero-address sender, receiver and spender revert. Insufficient balance and allowance revert with exact errors. Self-transfer conserves balance because the debit is written before the credit is read. Infinite allowance is not decremented, which is documented OpenZeppelin behaviour. No path lets the factory or anyone else move a holder's balance without allowance.\n- **Periphery.** All 274 vendored OpenZeppelin files and the licence are byte-identical to the upstream v5.1.0 tag. The vendored forge-std matches v1.9.7. The import graph is only ERC20, IERC20, IERC20Metadata, Context and the ERC-6093 errors.\n- **First principles and launch floor.** A scratch test deploying the token by CREATE2 from a factory stand-in confirms the whole supply sits at the factory, launch transfers arrive exact, 22 admin selectors revert from both the deployer and a stranger, the reachable runtime contains no DELEGATECALL, CALLCODE, SELFDESTRUCT, CALL or STATICCALL, and plain ETH or unknown selectors revert. The project's own 20 tests, including the 128,000-call invariant suite, pass.\n- **Static-analysis leads.** Slither reported nothing. Aderyn's large-numeric-literal line on the supply constant is style only. The value evaluates to exactly 1,000,000,000 × 10^18 and tests assert it.\n\nNot reached: the protected pool seed and swap test itself, since v4-core is not vendored here. The token has no transfer logic that could tax or block the PoolManager, so I recorded that flow as holding on the basis of exact-amount transfers rather than a live swap.\n\nThe scratch test lives under `test/scratch/` and is not part of the submission. No repository file was changed.","treeHash":null,"usage":{"cachedInputTokens":701150,"inputTokens":322,"model":"claude-fable-5-1","outputTokens":12924,"runtime":"claude","turns":23,"wallClockMs":212328}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"fbcdfc017217af1f","findings":[],"hash":"14b3233908e8473efc8888f66372ee5d42a289615941669abc4db2698774dcef","nodeId":"33cb347c-f9b7-4242-807a-55b74ad396b3","outcome":"completed","summary":"The review is complete and `.imd-findings.json` is written with an empty findings list and seven coverage rows.\n\n**Result: no defects in the Math Precision, Boundary or Numerical Gap areas.** The Routr token is OpenZeppelin v5.1.0 `ERC20` with one constructor mint and no overrides, so there is no division, rounding, scale conversion, cast, external call, payable path or bytes decoding for those guides to fail on.\n\nWhat I verified:\n- **Supply constant.** The literal flagged by aderyn evaluates at compile time to exactly 1e27, matching the README's manifest value. The mint uses checked addition from zero, and the fixed supply is far below the uint256 limit, so the unchecked recipient-balance add in OpenZeppelin can never wrap.\n- **transfer / transferFrom / approve.** Probed with a scratch Foundry suite of nineteen tests: zero, one wei, whole supply, supply plus one, max uint, self-transfer, transfer to the token contract, exact allowance, max-minus-one allowance, infinite allowance, and allowance-sufficient-but-balance-short. Every path moved the exact amount or reverted atomically with the correct ERC-6093 error. The scratch suite was removed afterwards, as the task directs.\n- **Invariants.** A fuzzed split-and-recombine over the full supply is lossless, and the project's own invariant suite of 128,000 calls holds.\n- **Dependencies.** The vendored ERC20, Context and error interface match OpenZeppelin v5.1.0 text with no added unchecked blocks or hooks.\n\nCoverage rows mark all three listed entry points as `holds`, plus rows for the constructor, the supply invariant, the boundary enumeration and dependency integrity. Nothing outside the assigned area rose to a reportable defect, and the tree has no changes beyond the findings file.","treeHash":null,"usage":{"cachedInputTokens":460552,"inputTokens":258,"model":"claude-fable-5-1","outputTokens":9343,"runtime":"claude","turns":15,"wallClockMs":185706}},{"artifacts":[],"attempt":1,"bundleHash":"96620bb84b28bef592cba3624a480589cbff9fc9aa6171cdc3ad7b22a7d37af0","device":"de319b702da6aa2e","findings":[],"hash":"19da24b53ffc58f453ac5e091adcbe8dcbd5341321c640b390e836112eab3739","nodeId":"b4337280-6ba7-4951-ab8e-da276aab8a54","outcome":"completed","summary":"I built the Routr (ROUTR) token and committed it to `main` (`f3a299f`). `forge build`, `forge fmt --check` and `forge test` all pass, the tests with the given fuzz seed: 20 passed, 0 failed.\n\n**What the token does** (`src/RoutrToken.sol`)\n- The contract is named `RoutrToken`. It returns the name `Routr`, the symbol `ROUTR` and 18 decimals.\n- The constructor mints 1,000,000,000 × 10^18 once, to whoever deploys it. In the launch, that is the factory.\n- It takes no constructor arguments and has no owner. There is no mint, burn, pause, blacklist, upgrade function or transfer fee, so the supply can't grow. It's the standard OpenZeppelin v5.1.0 ERC-20 with nothing overridden. Every transfer delivers exactly what was sent, so the distributor, pool seeding and swaps need no exemptions.\n\n**Tests** (`test/`)\n- **Success cases:** name, symbol and decimals; the single mint to the deployer; transfers; approvals and spending them; unlimited approvals.\n- **Failure cases:** sending more than the balance, spending more than the approval, sending to or approving the zero address, sending ETH to the token, and calling mint- or admin-style functions (all of which fail).\n- **Fuzz and invariant tests:** the supply never changes and balances always add up to it.\n\n**Project setup**\n- `foundry.toml` pins solc `0.8.26` and sets `bytecode_hash = \"none\"`, with the optimizer on.\n- forge-std v1.9.7 and OpenZeppelin v5.1.0 are committed as plain files under `lib/` (no submodules), so building needs no network.\n- `script/DeployRoutr.s.sol` is a reference deployment only. Nothing here holds keys or broadcasts.\n- I didn't write `launch.json`, as the brief requires; the manifest step does that.\n\n**Documentation:** `README.md` covers the assumptions, deployment parameters, the launch's split of the supply (80% to the pool, 10% to the distributor, 10% to `0x6bf1…606c`), and an \"After launch\" section. That section is empty because the token has no settings.\n\n**Not run here**\n- **The two launch checks I was given:** they import files that aren't in this repository (the factory harness and the Uniswap v4 pool manager), so the verifier has to run them. I only checked the token against them by reading, mainly that the whole supply goes to the deployer and transfers carry no fees.\n- **Slither:** it isn't available on this machine. The contract avoids the six patterns it would reject.\n\nPassing tests are not a security audit.","treeHash":"947045034e67ada946cc73cdc3677942d4dd6edb","usage":{"cachedInputTokens":432351,"inputTokens":20,"model":"claude-opus-5-5","outputTokens":11685,"runtime":"claude","turns":10,"wallClockMs":166523}},{"artifacts":[],"attempt":1,"bundleHash":"a86ed6c8fd1541288a05f38c1ab6cec1d95853dc3579035a53508606348c3d7c","device":"6d3b3ab49d68191e","findings":[],"hash":"446be67c48e9e1072a721342769a4b94a7a6f7db9144c224486d062ca63d12d2","nodeId":"64848b17-c30b-4686-ad99-1f2e89cd0597","outcome":"completed","summary":"Created `launch.json` matching `RoutrToken`, with no constructor arguments, the exact supply, and the required pool settings and economics.\n\nValidation passed: manifest checks, `forge build`, and all 20 tests using the supplied fuzz seed. Only `launch.json` is changed for submission.","treeHash":"ec2f0bb41e6d1c5708c5764cb806dda3fde0d9a6","usage":{"cachedInputTokens":259968,"inputTokens":22944,"model":"gpt-6-astra","outputTokens":2431,"runtime":"codex","turns":3,"wallClockMs":90793}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"be85220723d9ce9d","findings":[],"hash":"4bdb0e58150d9ed67fca050b4b6500f1a9771179e90e13d0e0bf13408c5dbdf4","nodeId":"083a1111-c96c-41bc-a7e4-5e70f7a22aef","outcome":"completed","summary":"I found no defects in the economics of Routr (ROUTR), so `.imd-findings.json` has an empty findings list and a coverage row for each of the three entry points.\n\n**What the code is.** `src/RoutrToken.sol` is a plain OpenZeppelin ERC-20 with nothing changed. Its constructor mints exactly 1,000,000,000 × 10^18 tokens to `msg.sender`, which is the factory. It has no owner, mint, burn, fee, pause or blacklist. That makes most of the Economic Security, Invariant and Flow Gap failure modes impossible here.\n\n**Coverage, all marked `holds`:**\n- **`transfer` and `transferFrom`:** I read the library's `_update` function. It moves exactly the amount asked for, with no fee or burn. So the launch flows arrive in full: the swarm's 10% to the distributor, the pool seed through the PoolManager, the remainder to the requester, and trader swaps. `transferFrom` uses the standard allowance check, and an unlimited approval is never reduced.\n- **`approve`:** standard behaviour; it only sets an allowance and moves nothing.\n- **Supply invariant:** total supply stays at 10^27 forever, because the only mint is the one in the constructor.\n\n**Static analysis.** Aderyn's low-severity \"large numeric literal\" warning on line 17 points at the supply constant itself, which is correct. It is a style note, not a defect.\n\n**Not checked.** There is no `launch.json` in the tree yet, so I had nothing to review there. The token's constructor takes no arguments, so the manifest's `constructorArgs` should be an empty list.\n\nThe repository's existing 20 tests all pass. I changed no files apart from writing the findings file.","treeHash":null,"usage":{"cachedInputTokens":128444,"inputTokens":8,"model":"claude-opus-5-5","outputTokens":1534,"runtime":"claude","turns":4,"wallClockMs":50608}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"4576f670afa0131d","findings":[],"hash":"a312878551e24c59044087a3fa0352a3187b99a599957f66c7a13ebd9845101c","nodeId":"870ac4f3-8c22-4ef2-b75c-ada70afaa797","outcome":"completed","summary":"The review is complete. The findings file is written and no other file of mine is in the tree. The untracked dotfiles in the status output are the seat's own workspace scaffolding, not something this review created, and `.imd-findings.json` is the declared output.\n\n**Result: no defects found.** `.imd-findings.json` holds an empty findings list and a seven-row coverage record.\n\n**What the code is.** `src/RoutrToken.sol` is a 21-line contract inheriting unmodified OpenZeppelin v5.1.0 `ERC20`, with a parameterless constructor that mints 10^27 minor units to the deployer. I diffed the vendored ERC20 against the local mirror and the only differences are comments and import order between v5.1.0 and v5.5.0. There are no overrides, no owner, no receive or fallback, and no other `_mint`, `_burn`, delegatecall or selfdestruct anywhere in `src/`.\n\n**Specialist input.** All four specialists and the independent tester reported nothing, so there was nothing to reproduce or merge. The one static-analysis lead, aderyn's large-numeric-literal on line 17, evaluates to exactly the brief's supply and is a style note, not a defect.\n\n**My own pass.** I traced each of the three entry points through the OpenZeppelin code for zero addresses, insufficient balance and allowance, infinite allowance, self-transfer and zero value. Each behaves as a standard ERC20 and moves exactly the amount stated, so the launch flows need no exemptions. I checked the deployment model too: no constructor arguments, no external call in the constructor, and sizes far under the limits.\n\n| Check | Outcome |\n| --- | --- |\n| forge build, sizes | runtime 1,846 B, initcode 2,729 B |\n| forge test, default seed | 51 passed, 0 failed |\n| forge test, seed 987654321, 2000 runs | 51 passed, 0 failed |\n| forge fmt --check | clean |\n| launch.json odd-length hex | none |\n\n**Manifest.** `launch.json` has the right kind, a contract name of ten characters, empty constructor arguments matching the constructor, a total supply equal to the constant, lowercase even-length addresses and no unknown keys. One small documentation inconsistency, not reported as a finding: the README says the repository deliberately contains no `launch.json`, while the later manifest step added one.","treeHash":null,"usage":{"cachedInputTokens":480953,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":6673,"runtime":"claude","turns":8,"wallClockMs":205384}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"7f1df2a55552de06","findings":[],"hash":"bdee064b7c4b78d2bd3fdf37d953d5d780217289d9669b30a90f7ab5564e917d","nodeId":"1a78c9d2-e7ee-4260-bc7f-dd0faaf23444","outcome":"completed","summary":"I found no permission defects in `src/RoutrToken.sol`, so `.imd-findings.json` has an empty findings list plus the coverage record. I read the contract and wrote no test, so nothing was run beyond checking that the JSON file parses.\n\n**Access Control, Trust Gap and Asymmetry:** `RoutrToken` is an unmodified OpenZeppelin ERC20. It has no owner, roles, mint or burn after construction, pause, blacklist or fee. That leaves no privileged party, so there is nothing to bypass and no gap between what an owner can do and what holders expect. The constructor mints exactly 1,000,000,000 × 10^18 to `msg.sender` (the factory) and gives out no roles.\n\n**Coverage (all three entry points: holds):**\n- **`approve`:** a caller can only set its own allowance, and approving the zero address reverts.\n- **`transfer`:** it moves exactly the amount sent, with no fee or freeze, so the launch transfers (factory to distributor, pool seed, swaps) arrive in full.\n- **`transferFrom`:** it checks the allowance and reduces it; an unlimited approval is never reduced, which is standard.\n- **Fixed supply (an invariant I added as a row):** nothing can change the supply after deployment.\n\n**Static analysis:** Aderyn's large-numeric-literal flag at `src/RoutrToken.sol:17` is the intended supply constant, not a defect.","treeHash":null,"usage":{"cachedInputTokens":98631,"inputTokens":6,"model":"claude-opus-5-5","outputTokens":1199,"runtime":"claude","turns":3,"wallClockMs":16908}}],"verification":[{"checks":[{"durationMs":1794,"exitCode":0,"name":"build","output":"Compiling 31 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.67s\nCompiler run successful!\n","passed":true},{"durationMs":13059,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 19 tests for test/RoutrToken.t.sol:RoutrTokenTest\n[PASS] testFuzz_transferConservesSupply(address,uint256) (runs: 256, μ: 99333, ~: 99532)\nLogs:\n  Bound result 477997625287225759393545727\n\n[PASS] testFuzz_transferFromRespectsAllowance(uint256,uint256) (runs: 256, μ: 131647, ~: 113620)\nLogs:\n  Bound result 121648930\n  Bound result 660387335162218494761950928\n\n[PASS] test_RevertWhen_approveZeroSpender() (gas: 32882)\n[PASS] test_RevertWhen_sendingEther() (gas: 39434)\n[PASS] test_RevertWhen_transferExceedsBalance() (gas: 92804)\n[PASS] test_RevertWhen_transferFromExceedsAllowance() (gas: 88090)\n[PASS] test_RevertWhen_transferFromExceedsBalance() (gas: 143590)\n[PASS] test_RevertWhen_transferFromWithoutAllowance() (gas: 45343)\n[PASS] test_RevertWhen_transferToZeroAddress() (gas: 32922)\n[PASS] test_approveAndTransferFrom() (gas: 159295)\n[PASS] test_constructorEmitsSingleMintTransfer() (gas: 14034)\n[PASS] test_deployScriptMintsToItsDeployingContract() (gas: 1320401)\n[PASS] test_infiniteAllowanceIsNotDecreased() (gas: 123336)\n[PASS] test_metadata() (gas: 40206)\n[PASS] test_noMintOrAdminEntryPoints() (gas: 223282)\n[PASS] test_transfer() (gas: 96100)\n[PASS] test_transferHasNoFee() (gas: 132816)\n[PASS] test_transferZeroAmount() (gas: 47777)\n[PASS] test_wholeSupplyMintedToDeployer() (gas: 33554)\nSuite result: ok. 19 passed; 0 failed; 0 skipped; finished in 80.24ms (99.62ms CPU time)\n\nRan 29 tests for test/RoutrTokenAdversarial.t.sol:RoutrTokenAdversarialTest\n[PASS] testFuzz_approveReplacesRatherThanAddsAndIsIdempotent(uint256,uint256) (runs: 1000, μ: 220506, ~: 220562)\n[PASS] testFuzz_factoryMintsToImmediateDeployerAndForwardsExactly(bytes32,uint256) (runs: 1000, μ: 319640, ~: 319982)\nLogs:\n  Bound result 725516268103380608526614297\n\n[PASS] testFuzz_overAllowanceTransferFromIsAtomic(uint256,uint256) (runs: 1000, μ: 138569, ~: 139037)\nLogs:\n  Bound result 1\n  Bound result 2000000000000000000\n\n[PASS] testFuzz_overBalanceTransferIsAtomic(uint256,uint256) (runs: 1000, μ: 142559, ~: 143234)\nLogs:\n  Bound result 1\n  Bound result 2000000000000000000\n\n[PASS] testFuzz_selfTransferIsAnIdentity(uint256,uint256) (runs: 1000, μ: 128917, ~: 129308)\nLogs:\n  Bound result 50000000000000000000\n  Bound result 49999999999999999999\n\n[PASS] testFuzz_splitSpendingExhaustsExactlyTheApprovedAmount(uint256,uint256) (runs: 1000, μ: 281387, ~: 282240)\nLogs:\n  Bound result 6591\n  Bound result 6\n\n[PASS] testFuzz_transferRoundTripRestoresBothPreexistingBalances(uint256,uint256) (runs: 1000, μ: 200211, ~: 200681)\nLogs:\n  Bound result 773571492159028671312359170\n  Bound result 120110086236224222099380502\n\n[PASS] test_approvalCannotBeBorrowedFromAnotherOwner() (gas: 191397)\n[PASS] test_approvalDoesNotRequireBalanceAndCanBeRevoked() (gas: 293160)\n[PASS] test_constructorEmitsExactlyOneMint() (gas: 60222)\n[PASS] test_deployerHasNoPrivilegeOverDistributedTokens() (gas: 161664)\n[PASS] test_failedTransferFromForBalanceRestoresFiniteAllowance() (gas: 299374)\n[PASS] test_failedTransferFromToZeroRestoresFiniteAllowance() (gas: 201349)\n[PASS] test_fullSupplyCanMoveRepeatedlyAndCannotBeSpentTwice() (gas: 227659)\n[PASS] test_fullSupplySelfTransferPreservesBalanceAndAllowance() (gas: 121729)\n[PASS] test_infiniteAllowanceSurvivesRepeatedSpending() (gas: 231416)\n[PASS] test_maxMinusOneAllowanceIsFinite() (gas: 135665)\n[PASS] test_oneWeiRoundTrip() (gas: 141654)\n[PASS] test_ownerCallingTransferFromStillRequiresSelfApproval() (gas: 160725)\n[PASS] test_replacingInfiniteAllowanceWithFiniteAllowanceEnforcesNewLimit() (gas: 210879)\n[PASS] test_selfTransferStillRequiresSufficientBalance() (gas: 108040)\n[PASS] test_spenderCannotUseAnotherSpendersApproval() (gas: 136195)\n[PASS] test_transferFromToOwnerConsumesAllowanceWithoutChangingBalance() (gas: 123632)\n[PASS] test_uint256MaxTransferFromCannotOverflowOrMint() (gas: 134301)\n[PASS] test_uint256MaxTransferRevertsWithoutChangingBalances() (gas: 68002)\n[PASS] test_zeroRecipientRejectsEvenZeroTransfer() (gas: 50059)\n[PASS] test_zeroSelfTransferFromEmptyHolderEmitsTransfer() (gas: 46281)\n[PASS] test_zeroSpenderRejectsZeroApprovalAndPreservesOtherApprovals() (gas: 105160)\n[PASS] test_zeroTransferFromNeedsNoAllowanceButEmitsTransfer() (gas: 91832)\nSuite result: ok. 29 passed; 0 failed; 0 skipped; finished in 80.32ms (527.59ms CPU time)\n\nRan 2 tests for test/RoutrTokenStateful.t.sol:RoutrTokenStatefulTest\n[PASS]\nRoutrTokenStatefulTest invariants:\n[PASS] invariant_allowancesMatchApprovalsAndSuccessfulSpending\n[PASS] invariant_balancesMatchAuthorizedMovementsAndConserveSupply\n[PASS] invariant_supplyAndMetadataRemainAsSpecified\n RoutrTokenStatefulTest invariants (runs: 256, calls: 32768, reverts: 0)\n\n╭--------------------+-----------------------+-------+---------+----------╮\n| Contract           | Selector              | Calls | Reverts | Discards |\n+=========================================================================+\n| RoutrLedgerHandler | approve               | 4079  | 0       | 0        |\n|--------------------+-----------------------+-------+---------+----------|\n| RoutrLedgerHandler | approveZeroSpender    | 3996  | 0       | 0        |\n|--------------------+-----------------------+-------+---------+----------|\n| RoutrLedgerHandler | transfer              | 4146  | 0       | 0        |\n|--------------------+-----------------------+-------+---------+----------|\n| RoutrLedgerHandler | transferFrom          | 4072  | 0       | 0        |\n|--------------------+-----------------------+-------+---------+----------|\n| RoutrLedgerHandler | transferFromOverLimit | 4093  | 0       | 0        |\n|--------------------+-----------------------+-------+---------+----------|\n| RoutrLedgerHandler | transferFromToZero    | 4136  | 0       | 0        |\n|--------------------+-----------------------+-------+---------+----------|\n| RoutrLedgerHandler | transferOverBalance   | 4161  | 0       | 0        |\n|--------------------+-----------------------+-------+---------+----------|\n| RoutrLedgerHandler | transferToZero        | 4085  | 0       | 0        |\n╰--------------------+-----------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 9332\n  Bound result 1056792756\n  Bound result 567\n  Bound result 5\n  Bound result 542176577064745224244965651721924596825579457241013309\n  Bound result 8073\n  Bound result 117300738\n  Bound result 1000000000\n  Bound result 495790613316\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639933\n  Bound result 3709\n  Bound result 103148078796245476401070\n  Bound result 9\n  Bound result 3947\n  Bound result 1000000000\n  Bound result 7165\n  Bound result 100000000000000000000\n  Bound result 5473\n  Bound result 274\n  Bound result 201\n  Bound result 7836\n  Bound result 115792089237316195423570985008687907853269984665639564039457584007913129646330\n  Bound result 115792089237316195423570985008687907853269984665639564039457584007913129644431\n  Bound result 9\n  Bound result 6359\n  Bound result 1000000000000000000\n  Bound result 5366\n  Bound result 9\n  Bound result 8\n  Bound result 1458\n  Bound result 115792089237316195423570985008687907853269984665639564039457584007913129643041\n  Bound result 115792089237316195423570985008687907853269984665639564039557584007913129639937\n  Bound result 9333\n  Bound result 1\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129638777\n  Bound result 10\n\n[PASS] test_handlerExercisesPersistentApprovalsAndRollback() (gas: 2749079)\nLogs:\n  Bound result 10\n  Bound result 10\n  Bound result 1\n  Bound result 1000000000000000000000000000\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639935\n\nSuite result: ok. 2 passed; 0 failed; 0 skipped; finished in 10.33s (10.33s CPU time)\n\nRan 1 test for test/RoutrTokenInvariant.t.sol:RoutrTokenInvariantTest\n[PASS]\nRoutrTokenInvariantTest invariants:\n[PASS] invariant_balancesSumToSupply\n[PASS] invariant_supplyIsFixed\n RoutrTokenInvariantTest invariants (runs: 256, calls: 128000, reverts: 0)\n\n╭--------------+----------------+-------+---------+----------╮\n| Contract     | Selector       | Calls | Reverts | Discards |\n+============================================================+\n| RoutrHandler | approveAndPull | 63707 | 0       | 0        |\n|--------------+----------------+-------+---------+----------|\n| RoutrHandler | transfer       | 64293 | 0       | 0        |\n╰--------------+----------------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 0\n  Bound result 276\n  Bound result 1747\n  Bound result 161\n  Bound result 4\n  Bound result 999999999999999999999999881\n  Bound result 0\n  Bound result 5\n  Bound result 101\n  Bound result 1\n  Bound result 49515976891494831271232671\n  Bound result 0\n  Bound result 96\n  Bound result 999999999999999999999999876\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 1\n  Bound result 23\n  Bound result 0\n  Bound result 999999999999999999999999884\n  Bound result 33\n  Bound result 1\n  Bound result 28\n  Bound result 2156\n  Bound result 30\n  Bound result 322945828139821853110606806\n  Bound result 8\n  Bound result 1880\n  Bound result 283\n  Bound result 20\n  Bound result 905\n  Bound result 686656829263301864678725723\n  Bound result 0\n  Bound result 8\n  Bound result 18\n  Bound result 20000000000000000000\n  Bound result 686656849263301864678725754\n  Bound result 0\n  Bound result 0\n  Bound result 2206\n  Bound result 1\n  Bound result 957\n  Bound result 4\n  Bound result 1\n  Bound result 0\n  Bound result 0\n  Bound result 1180\n  Bound result 143\n  Bound result 32869809045598\n  Bound result 55\n  Bound result 8\n  Bound result 384\n  Bound result 184\n  Bound result 6000000000000000000\n  Bound result 8\n  Bound result 7\n  Bound result 1100\n  Bound result 108\n  Bound result 3728524220199250084\n  Bound result 6\n  Bound result 1\n  Bound result 2432\n  Bound result 647\n  Bound result 6\n  Bound result 6\n  Bound result 543\n  Bound result 1000\n  Bound result 30000000000000000000\n  Bound result 1281\n  Bound result 7\n  Bound result 1715\n  Bound result 12187153504\n  Bound result 913965352812191472\n  Bound result 5325\n  Bound result 356\n  Bound result 169\n  Bound result 1694\n  Bound result 7\n  Bound result 2000000000000000000\n  Bound result 182\n  Bound result 5000000000000000000\n  Bound result 35000000000000005428\n  Bound result 145\n  Bound result 8\n  Bound result 37271508661796955872\n  Bound result 1999999999999950069\n  Bound result 10000000000000000000\n  Bound result 939307925611324539519401538\n  Bound result 9999999999999999412\n  Bound result 50000000000000000000\n  Bound result 9\n  Bound result 2314\n  Bound result 4864\n  Bound result 268\n  Bound result 2000000000000000000\n  Bound result 5491\n  Bound result 12460\n  Bound result 26667\n  Bound result 17935993142423386004473429\n  Bound result 48634\n  Bound result 60692072388675460480675223\n  Bound result 11000000000000000000\n  Bound result 999999999999914419\n  Bound result 50000000000000000000\n  Bound result 114\n  Bound result 5085\n  Bound result 13\n  Bound result 1191291651997617030\n  Bound result 8\n  Bound result 412\n  Bound result 2000000000000000000\n  Bound result 4451\n  Bound result 7\n  Bound result 5\n  Bound result 120209876281281145568259942\n  Bound result 240\n  Bound result 5106\n  Bound result 590999647942791704\n  Bound result 3\n  Bound result 924076\n  Bound result 10000000000000000000\n  Bound result 1000000000\n  Bound result 30000000000000000000\n  Bound result 28927253053195448767632120\n  Bound result 4913\n  Bound result 0\n  Bound result 3839719423852827027\n  Bound result 75431596848448798635812220\n  Bound result 30000000000000000000\n  Bound result 11191291652996783259\n  Bound result 20000000000000000000\n  Bound result 15979001574780322\n  Bound result 8\n  Bound result 92456870331134121711199091\n  Bound result 0\n  Bound result 3\n  Bound result 0\n  Bound result 7351572229143956232\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 92456917884436048339966968\n  Bound result 4540\n  Bound result 43\n  Bound result 717\n  Bound result 0\n  Bound result 3583\n  Bound result 2714384308\n  Bound result 907543082115563948945648722\n  Bound result 5127\n  Bound result 0\n  Bound result 464\n  Bound result 3752\n  Bound result 0\n  Bound result 0\n  Bound result 136795939\n  Bound result 55652280\n  Bound result 4334\n  Bound result 10000000000000000000\n  Bound result 8\n  Bound result 5321\n  Bound result 3\n  Bound result 1597\n  Bound result 9999999976071474361\n  Bound result 2387286902600\n  Bound result 2667\n  Bound result 1889567280\n  Bound result 8\n  Bound result 17034260672089036420382366\n  Bound result 1000000000000000000000\n  Bound result 3575\n  Bound result 4461\n  Bound result 6\n  Bound result 100000000000000000000\n  Bound result 8\n  Bound result 2\n  Bound result 431\n  Bound result 7\n  Bound result 11000000000000009507\n  Bound result 95\n  Bound result 6728456639094967171893493\n  Bound result 408\n  Bound result 18\n  Bound result 100000000000000000000\n  Bound result 3\n  Bound result 8\n  Bound result 5111\n  Bound result 880\n  Bound result 2\n  Bound result 415\n  Bound result 33284887003313141858040373\n  Bound result 7\n  Bound result 4090978365318023838118322\n  Bound result 28142141643098\n  Bound result 34316659\n  Bound result 100000000000000000000\n  Bound result 1\n  Bound result 3858947846\n  Bound result 17034149672089064897182619\n  Bound result 1\n  Bound result 35860451041971675071929873\n  Bound result 1\n  Bound result 4\n  Bound result 940827959118877088777336216\n  Bound result 18\n  Bound result 226\n  Bound result 1000000000\n  Bound result 0\n  Bound result 1960406233123844084904392\n  Bound result 0\n  Bound result 0\n  Bound result 120999999976127145180\n  Bound result 7\n  Bound result 1\n  Bound result 11000000000000000000\n  Bound result 4733139494843509258184061\n  Bound result 9\n  Bound result 9\n  Bound result 2115277603169213559533816\n  Bound result 18\n  Bound result 862\n  Bound result 1758\n  Bound result 638212885\n  Bound result 957625572\n  Bound result 1000000000\n  Bound result 2423642494173718544392081\n  Bound result 297166630093729881549090751\n  Bound result 4774\n  Bound result 3618175643109993241503173\n  Bound result 2806532602422582662846144\n  Bound result 5236135784576\n  Bound result 7\n  Bound result 5\n  Bound result 2000000000000000000\n  Bound result 11000000000000000000\n  Bound result 100000000000000000000\n  Bound result 44525426\n  Bound result 5\n  Bound result 826074470\n  Bound result 10\n  Bound result 9\n  Bound result 20000000000000000000\n  Bound result 891\n  Bound result 315939230564024311679345089\n  Bound result 8\n  Bound result 5\n  Bound result 5170580289667323128473147\n  Bound result 330\n  Bound result 10754272227383596119058458\n  Bound result 4802\n  Bound result 684060730164467026523702667\n  Bound result 2\n  Bound result 3185\n  Bound result 0\n  Bound result 0\n  Bound result 5\n  Bound result 514853293877754181953\n  Bound result 20\n  Bound result 18\n  Bound result 1000000000000000000\n  Bound result 2\n  Bound result 18\n  Bound result 4366\n  Bound result 0\n  Bound result 6000000000000000000\n  Bound result 7\n  Bound result 428\n  Bound result 18\n  Bound result 2314\n  Bound result 3936\n  Bound result 5000000000000000000\n  Bound result 7\n  Bound result 2859\n  Bound result 9\n  Bound result 9999999976127130972\n  Bound result 30000000000000000000\n  Bound result 369\n  Bound result 301711136912577850306321409\n  Bound result 4149\n  Bound result 987515419276739949239774445\n  Bound result 2\n  Bound result 0\n  Bound result 670\n  Bound result 12301010177245555638991152\n  Bound result 1000000000\n  Bound result 408\n  Bound result 161313886284258169841339\n  Bound result 4733139494843508619972044\n  Bound result 5\n  Bound result 693\n  Bound result 4437\n  Bound result 11000000000000000000\n  Bound result 4288775752\n  Bound result 5\n  Bound result 4116774872389066394504550\n  Bound result 1410063126251016828922677\n  Bound result 2524360888763227262343\n  Bound result 133\n  Bound result 5\n  Bound result 4301\n  Bound result 18\n  Bound result 20000000000000000000\n  Bound result 4864\n  Bound result 1000000000000000000\n  Bound result 1719639407\n  Bound result 587345534280175181705284723\n  Bound result 3\n  Bound result 692\n  Bound result 59996626133057098680005248\n  Bound result 9\n  Bound result 10000000000000000000\n  Bound result 100000000000000000000\n  Bound result 244249262688865914411199738\n  Bound result 9637828864419545391264784\n  Bound result 535591167929113078946108579\n  Bound result 30000000000000000000\n  Bound result 8\n  Bound result 0\n  Bound result 9\n  Bound result 108087005528171605621978966\n  Bound result 55335531039094157191728670\n  Bound result 32869809046972\n  Bound result 0\n  Bound result 35483591556677578193818271\n  Bound result 35483513987396649990270292\n  Bound result 582091668562892554914456582\n  Bound result 4754875301279867817191427\n  Bound result 231\n  Bound result 213998256896487080721971828\n  Bound result 1258\n  Bound result 30000000000000000000\n  Bound result 377051137820383998618540\n  Bound result 1000000000000000000\n  Bound result 4746\n  Bound result 263602651959180651330975\n  Bound result 0\n  Bound result 1385090073389156517838345\n  Bound result 0\n  Bound result 45130483764689711397293374\n  Bound result 5927686799821575144485314\n  Bound result 3839719423852827027\n  Bound result 3\n  Bound result 0\n  Bound result 1\n  Bound result 1\n  Bound result 15328515213142573444287068\n  Bound result 53455942011988922458074\n  Bound result 0\n  Bound result 0\n  Bound result 1\n  Bound result 1000000000000000000000\n  Bound result 10\n  Bound result 11000000000000000000\n  Bound result 184429902512057038188889723\n  Bound result 0\n  Bound result 0\n  Bound result 443820359209545050435363228\n  Bound result 404098525\n  Bound result 3\n  Bound result 222519184529143597489172\n  Bound result 4\n  Bound result 3392\n  Bound result 5083\n  Bound result 100000000000000000000\n  Bound result 624\n  Bound result 6\n  Bound result 679901653380863406520379\n  Bound result 10000000000000000000\n  Bound result 10000000000000000000\n  Bound result 423305080626943868016044129\n  Bound result 5399\n  Bound result 55652281\n  Bound result 1445\n  Bound result 1\n  Bound result 5353\n  Bound result 1000000000\n  Bound result 0\n  Bound result 183049692720617367061110\n  Bound result 4173\n  Bound result 3\n  Bound result 83648560446571738286921207\n  Bound result 14\n  Bound result 10217708700059591971\n  Bound result 7\n  Bound result 121384123368350568904045983\n  Bound result 55087596696983992964758476\n  Bound result 595\n  Bound result 117356085996952139845543111\n  Bound result 348789811\n  Bound result 61936818625\n  Bound result 81008942\n  Bound result 4\n  Bound result 28560963749587745589945054\n  Bound result 92456870331134121711199098\n  Bound result 252722361254167913362706\n  Bound result 145\n  Bound result 17034270672089041024327801\n  Bound result 107079783117361\n  Bound result 1000000000000000000000\n  Bound result 131870011188923879703253356\n  Bound result 27379895\n  Bound result 92457870331134121738578994\n  Bound result 488\n  Bound result 7\n  Bound result 1000000000000000000000\n  Bound result 1159734666\n  Bound result 328744294545314821879576654\n  Bound result 2\n  Bound result 764189536476\n  Bound result 132551912842197725048094860\n  Bound result 239\n  Bound result 3\n  Bound result 9\n  Bound result 0\n  Bound result 9\n  Bound result 1000000000000000000000\n  Bound result 223857320473136409628763466\n  Bound result 5353\n  Bound result 9\n  Bound result 0\n  Bound result 1000000000000000000000\n  Bound result 2588432348243764353\n  Bound result 1\n  Bound result 4594636\n  Bound result 3374\n  Bound result 6\n  Bound result 1182\n  Bound result 523375840345135735500\n  Bound result 222389604396649269948755759\n  Bound result 8\n  Bound result 999\n  Bound result 858747246983069571797148\n  Bound result 71122\n  Bound result 992336051163653812423\n  Bound result 975\n  Bound result 5000000000000000000\n  Bound result 239281526371168486626187030\n  Bound result 56802493873016443142694\n  Bound result 7\n  Bound result 4364\n  Bound result 3792478064\n  Bound result 9999999976127130980\n  Bound result 167199342982635700112098617\n  Bound result 5452\n  Bound result 1046363170\n  Bound result 18\n  Bound result 228\n  Bound result 477519912630931017940418305\n  Bound result 1955\n  Bound result 2288\n  Bound result 1\n  Bound result 511912793672\n  Bound result 38595972385146705433637891\n  Bound result 18\n  Bound result 1000000000\n  Bound result 5\n  Bound result 98789433527210581691213048\n  Bound result 147863474359262663907459639\n  Bound result 4\n  Bound result 387146008141999290334471428\n  Bound result 100000000000000000000\n  Bound result 54835279731185989269559457\n  Bound result 10\n  Bound result 441981187873185279604030895\n  Bound result 7\n  Bound result 1000000000000000000000\n  Bound result 272422247218971478762137611\n  Bound result 2\n  Bound result 10\n  Bound result 0\n  Bound result 7880492474751674014035568\n  Bound result 17034149672089064897182619\n  Bound result 11000000000000000000\n  Bound result 5309\n  Bound result 4147\n  Bound result 3\n  Bound result 30000000000000000000\n  Bound result 4162030563892981566872271\n  Bound result 76\n  Bound result 5\n  Bound result 50882999493172922483215298\n  Bound result 5000000000000000000\n  Bound result 1737\n  Bound result 4173\n  Bound result 422558381223957423586826624\n  Bound result 2576062449650446580648321\n  Bound result 6\n  Bound result 808708348002383679\n  Bound result 501360249847986780448461871\n  Bound result 0\n  Bound result 11000000000000000000\n  Bound result 31\n  Bound result 6000000000000000000\n  Bound result 10000000000000000000\n  Bound result 443820359209545050435363228\n  Bound result 100000000000000000000\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 12.94s (12.94s CPU time)\n\nRan 4 test suites in 12.95s (23.43s CPU time): 51 tests passed, 0 failed, 0 skipped (51 total tests)\n","passed":true},{"durationMs":70,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"RoutrToken.approve(address,uint256)\",\"RoutrToken.transfer(address,uint256)\",\"RoutrToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":3,\"README.md\":85,\"foundry.toml\":18,\"script/DeployRoutr.s.sol\":22,\"src/RoutrToken.sol\":22,\"test/RoutrToken.t.sol\":213,\"test/RoutrTokenAdversarial.t.sol\":395,\"test/RoutrTokenInvariant.t.sol\":67,\"test/RoutrTokenStateful.t.sol\":262},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"002785bbb7d857d76019ba26e812b9e44783c348d8279545ed8932a3fbfeac79","verifiedTreeHash":"bec83c93d731705e0db3edbfa2347c9bbbd7389e","verifierVersion":"0.1.0+3dc93dc1"},{"checks":[{"durationMs":1499,"exitCode":0,"name":"build","output":"Compiling 29 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.36s\nCompiler run successful!\n","passed":true},{"durationMs":13789,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 19 tests for test/RoutrToken.t.sol:RoutrTokenTest\n[PASS] testFuzz_transferConservesSupply(address,uint256) (runs: 256, μ: 99194, ~: 99526)\nLogs:\n  Bound result 477997625287225759393545727\n\n[PASS] testFuzz_transferFromRespectsAllowance(uint256,uint256) (runs: 256, μ: 133120, ~: 113632)\nLogs:\n  Bound result 732473141090113403938342516\n  Bound result 57048888\n\n[PASS] test_RevertWhen_approveZeroSpender() (gas: 32882)\n[PASS] test_RevertWhen_sendingEther() (gas: 39434)\n[PASS] test_RevertWhen_transferExceedsBalance() (gas: 92804)\n[PASS] test_RevertWhen_transferFromExceedsAllowance() (gas: 88090)\n[PASS] test_RevertWhen_transferFromExceedsBalance() (gas: 143590)\n[PASS] test_RevertWhen_transferFromWithoutAllowance() (gas: 45343)\n[PASS] test_RevertWhen_transferToZeroAddress() (gas: 32922)\n[PASS] test_approveAndTransferFrom() (gas: 159295)\n[PASS] test_constructorEmitsSingleMintTransfer() (gas: 14034)\n[PASS] test_deployScriptMintsToItsDeployingContract() (gas: 1320401)\n[PASS] test_infiniteAllowanceIsNotDecreased() (gas: 123336)\n[PASS] test_metadata() (gas: 40206)\n[PASS] test_noMintOrAdminEntryPoints() (gas: 223282)\n[PASS] test_transfer() (gas: 96100)\n[PASS] test_transferHasNoFee() (gas: 132816)\n[PASS] test_transferZeroAmount() (gas: 47777)\n[PASS] test_wholeSupplyMintedToDeployer() (gas: 33554)\nSuite result: ok. 19 passed; 0 failed; 0 skipped; finished in 17.36ms (25.53ms CPU time)\n\nRan 1 test for test/RoutrTokenInvariant.t.sol:RoutrTokenInvariantTest\n[PASS]\nRoutrTokenInvariantTest invariants:\n[PASS] invariant_balancesSumToSupply\n[PASS] invariant_supplyIsFixed\n RoutrTokenInvariantTest invariants (runs: 256, calls: 128000, reverts: 0)\n\n╭--------------+----------------+-------+---------+----------╮\n| Contract     | Selector       | Calls | Reverts | Discards |\n+============================================================+\n| RoutrHandler | approveAndPull | 63707 | 0       | 0        |\n|--------------+----------------+-------+---------+----------|\n| RoutrHandler | transfer       | 64293 | 0       | 0        |\n╰--------------+----------------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 0\n  Bound result 276\n  Bound result 0\n  Bound result 161\n  Bound result 8\n  Bound result 50000000000000000000\n  Bound result 0\n  Bound result 4\n  Bound result 2714384306\n  Bound result 5018\n  Bound result 8503117806683817586\n  Bound result 0\n  Bound result 4261\n  Bound result 50000000000000000000\n  Bound result 31389633796347160330\n  Bound result 117300739\n  Bound result 20000000000000000000\n  Bound result 4607\n  Bound result 1376\n  Bound result 5410\n  Bound result 2717\n  Bound result 2000000000000000000\n  Bound result 1622\n  Bound result 720635\n  Bound result 3412\n  Bound result 5410\n  Bound result 2000000000000000000\n  Bound result 196626104390976424714549974\n  Bound result 91892751603031690651\n  Bound result 55918871527933895613\n  Bound result 228\n  Bound result 11000000000000000000\n  Bound result 11000000000000000000\n  Bound result 234234914736578809439665675\n  Bound result 28705237972359533947\n  Bound result 57918871527933181932\n  Bound result 3714247998\n  Bound result 1\n  Bound result 50000000000000000000\n  Bound result 10\n  Bound result 2058\n  Bound result 10107248396969020709\n  Bound result 3\n  Bound result 1370\n  Bound result 8\n  Bound result 2\n  Bound result 18\n  Bound result 6041493769478569888\n  Bound result 3048\n  Bound result 3147\n  Bound result 32869809045598\n  Bound result 3121\n  Bound result 1227181203068739829\n  Bound result 100000000000000000000\n  Bound result 17375923373230577463\n  Bound result 30000000000000000000\n  Bound result 57295193741153\n  Bound result 3\n  Bound result 30000000000000000000\n  Bound result 29631482460522\n  Bound result 6291391105715584634\n  Bound result 30000000000000000000\n  Bound result 12164627714464\n  Bound result 3148\n  Bound result 744\n  Bound result 3271\n  Bound result 4\n  Bound result 286585250563019433993\n  Bound result 100000000000000000000\n  Bound result 50000000000000000000\n  Bound result 1281\n  Bound result 2\n  Bound result 737151910940387075199123611\n  Bound result 12187153504\n  Bound result 2392094826806829670\n  Bound result 2158\n  Bound result 1889567280\n  Bound result 2980\n  Bound result 89892751603031688654\n  Bound result 3\n  Bound result 971386749198936053052409993\n  Bound result 210\n  Bound result 20000000000000000000\n  Bound result 2000000000000000000\n  Bound result 41496882193316182414\n  Bound result 190977373053537543552\n  Bound result 0\n  Bound result 0\n  Bound result 1000000000000000000000\n  Bound result 17396301963251465984852769\n  Bound result 11000000000000000000\n  Bound result 11000000000000000000\n  Bound result 0\n  Bound result 2801\n  Bound result 5393\n  Bound result 16123204430666668944602471\n  Bound result 27340923101786450158302439\n  Bound result 0\n  Bound result 791885349405345660055237233\n  Bound result 180551903578340037674928379\n  Bound result 1541\n  Bound result 1617\n  Bound result 208114650594654339944762766\n  Bound result 1000000000000000000000\n  Bound result 0\n  Bound result 11000000000000000000\n  Bound result 416230312189308679889525257\n  Bound result 5541\n  Bound result 13\n  Bound result 196675747610067348341696152\n  Bound result 5000000000000000000\n  Bound result 1725540768\n  Bound result 167539375621382638495408442\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 5432\n  Bound result 1\n  Bound result 3\n  Bound result 924076\n  Bound result 0\n  Bound result 1000000000\n  Bound result 0\n  Bound result 137837932007972513309302780\n  Bound result 5291\n  Bound result 18\n  Bound result 232823550973591072942553683\n  Bound result 0\n  Bound result 50000000000000000000\n  Bound result 32007972513254167620\n  Bound result 11000000000000000000\n  Bound result 15979001574780322\n  Bound result 387093934184644968468458405\n  Bound result 50000000000000000000\n  Bound result 3148\n  Bound result 5000000000000000000\n  Bound result 3317\n  Bound result 20000000000000000000\n  Bound result 8\n  Bound result 1000000000000000000000\n  Bound result 154655818681868481171394030\n  Bound result 691\n  Bound result 50000000000000000000\n  Bound result 19999999999950000001\n  Bound result 5404\n  Bound result 2668\n  Bound result 469\n  Bound result 1\n  Bound result 3583\n  Bound result 330\n  Bound result 2000000000000000000\n  Bound result 3760\n  Bound result 11000000000000000000\n  Bound result 29685407\n  Bound result 5490\n  Bound result 2347\n  Bound result 18\n  Bound result 136795939\n  Bound result 36819182104909944577616383\n  Bound result 4559\n  Bound result 100000000000000000000\n  Bound result 5000000000000000000\n  Bound result 41811879\n  Bound result 19150274\n  Bound result 2940\n  Bound result 0\n  Bound result 100000000000000000000\n  Bound result 21899357930772278075593739\n  Bound result 370\n  Bound result 5000000000000000000\n  Bound result 834848475575235674\n  Bound result 0\n  Bound result 4542\n  Bound result 5231\n  Bound result 216\n  Bound result 0\n  Bound result 198256448022422670215997036\n  Bound result 1834848475479081466\n  Bound result 332\n  Bound result 2\n  Bound result 1183\n  Bound result 1747\n  Bound result 7268642102738261092\n  Bound result 276\n  Bound result 10\n  Bound result 0\n  Bound result 6000000000000000000\n  Bound result 339393901916322370\n  Bound result 309\n  Bound result 28\n  Bound result 6000000000000000000\n  Bound result 803\n  Bound result 1096685773272532352\n  Bound result 2\n  Bound result 2226\n  Bound result 4044\n  Bound result 34316659\n  Bound result 0\n  Bound result 163542887617219461\n  Bound result 1179\n  Bound result 2000000000000000000\n  Bound result 177362148\n  Bound result 180551903578340037674928379\n  Bound result 1199294594040495908\n  Bound result 8\n  Bound result 20000000000000000000\n  Bound result 10\n  Bound result 656\n  Bound result 1000000000\n  Bound result 1197\n  Bound result 6870445295731606396\n  Bound result 409\n  Bound result 1000000000000000000\n  Bound result 318902060967605895\n  Bound result 2\n  Bound result 3\n  Bound result 1000000000000000000000\n  Bound result 20066015497230162219\n  Bound result 3\n  Bound result 3\n  Bound result 398403353236855015\n  Bound result 10\n  Bound result 1023\n  Bound result 2653\n  Bound result 4803\n  Bound result 1562\n  Bound result 212246896147838716815121640\n  Bound result 416270018592695239\n  Bound result 35659562049212888535064869\n  Bound result 214\n  Bound result 730\n  Bound result 190366070329847777\n  Bound result 5236135784576\n  Bound result 2\n  Bound result 2\n  Bound result 606123446563731785302971998\n  Bound result 1000000000000000000000\n  Bound result 0\n  Bound result 44525426\n  Bound result 2\n  Bound result 826074472\n  Bound result 1000000000000000000\n  Bound result 3\n  Bound result 11000000000000000000\n  Bound result 885\n  Bound result 84532279702146334\n  Bound result 5000000000000000000\n  Bound result 4\n  Bound result 5720513039296938403\n  Bound result 330\n  Bound result 175749722217372425\n  Bound result 106\n  Bound result 2000000000000000000\n  Bound result 109988257791529968\n  Bound result 3926\n  Bound result 641782009926833507752680498\n  Bound result 0\n  Bound result 4\n  Bound result 3\n  Bound result 20\n  Bound result 10\n  Bound result 1000000000\n  Bound result 2\n  Bound result 10\n  Bound result 4112\n  Bound result 18\n  Bound result 30000000000000000000\n  Bound result 2\n  Bound result 2835717307\n  Bound result 10\n  Bound result 2715\n  Bound result 415955172\n  Bound result 20000000000000000000\n  Bound result 2\n  Bound result 17\n  Bound result 3\n  Bound result 195620108413845544323919420\n  Bound result 1\n  Bound result 2418890149\n  Bound result 12\n  Bound result 0\n  Bound result 162074179333535479720407304\n  Bound result 0\n  Bound result 1230\n  Bound result 762\n  Bound result 109988257791529968\n  Bound result 1000000000\n  Bound result 243\n  Bound result 83868456991970969318739223\n  Bound result 20066015497230162219\n  Bound result 4\n  Bound result 0\n  Bound result 4508\n  Bound result 1000000000000000000000\n  Bound result 4542\n  Bound result 2\n  Bound result 25309654886415439465\n  Bound result 1254746463948813093\n  Bound result 1343146730216917794\n  Bound result 0\n  Bound result 4\n  Bound result 4390\n  Bound result 10\n  Bound result 1\n  Bound result 5019\n  Bound result 1000000000\n  Bound result 306904038039120106434094765\n  Bound result 297796961971190556461203388\n  Bound result 5000000000000000000\n  Bound result 1101\n  Bound result 234404291385946392279035763\n  Bound result 3\n  Bound result 1000000000000000000000\n  Bound result 18\n  Bound result 10894475113335499328536093\n  Bound result 22961747895182075033349088\n  Bound result 25260836342618531655096591\n  Bound result 50000000000000000000\n  Bound result 5000000000000000000\n  Bound result 0\n  Bound result 3\n  Bound result 31880729805433515067845778\n  Bound result 3182155826378508582675915\n  Bound result 10\n  Bound result 18\n  Bound result 387094975200623970043245212\n  Bound result 21331188520393859301500299\n  Bound result 72121272633898632056282831\n  Bound result 4471540934157277807805772\n  Bound result 1567\n  Bound result 137837932007972513309302780\n  Bound result 1687\n  Bound result 50000000000000000000\n  Bound result 87276782553697822255617207\n  Bound result 1000000000000000000\n  Bound result 4805\n  Bound result 105311764901847178854116839\n  Bound result 10\n  Bound result 72191287923984667291568995\n  Bound result 0\n  Bound result 322497210619979540939894394\n  Bound result 23104680897602512220792308\n  Bound result 17714389140453740979355855\n  Bound result 6000000000000000000\n  Bound result 0\n  Bound result 1\n  Bound result 5263\n  Bound result 51895767305811238010352503\n  Bound result 17334514652839453412874051\n  Bound result 3\n  Bound result 1\n  Bound result 10000000000000000000\n  Bound result 100000000000000000000\n  Bound result 1000000000000000000\n  Bound result 1000000000000000000000\n  Bound result 20000000000000000000\n  Bound result 460\n  Bound result 8695348752595399848108087\n  Bound result 391650227744020894279619330\n  Bound result 404098526\n  Bound result 5000000000000000000\n  Bound result 20611030998114563207209390\n  Bound result 8\n  Bound result 1352\n  Bound result 388\n  Bound result 0\n  Bound result 1162\n  Bound result 4\n  Bound result 72356801577702313359486929\n  Bound result 100000000000000000000\n  Bound result 1000000000000000000000\n  Bound result 32092019037569074795009332\n  Bound result 2359\n  Bound result 31114757818089296079147831\n  Bound result 1445\n  Bound result 10000000000000000000\n  Bound result 407\n  Bound result 1000000000\n  Bound result 18\n  Bound result 395839379381350540710708964\n  Bound result 4332\n  Bound result 5000000000000000000\n  Bound result 10201457507533105940343552\n  Bound result 16\n  Bound result 387093934184644968468458404\n  Bound result 2\n  Bound result 387093934200623970043238728\n  Bound result 7081268784474674590735458\n  Bound result 1101\n  Bound result 308024865348995403954660167\n  Bound result 348789811\n  Bound result 61936818625\n  Bound result 1687\n  Bound result 2000000000000000000\n  Bound result 2000000000000000000\n  Bound result 106957784900687556259462846\n  Bound result 431081033996013743345348609\n  Bound result 2634770297203517986572897\n  Bound result 20894223373852980040\n  Bound result 4511\n  Bound result 100000000000000000000\n  Bound result 34523812626877205012253430\n  Bound result 27379895\n  Bound result 50000000000000000000\n  Bound result 15057130758775405252266060\n  Bound result 2\n  Bound result 0\n  Bound result 1159734666\n  Bound result 197683062683067762547327985\n  Bound result 6000000000000000000\n  Bound result 764189536476\n  Bound result 41039282051717690288087399\n  Bound result 0\n  Bound result 6000000000000000000\n  Bound result 3\n  Bound result 0\n  Bound result 3\n  Bound result 100000000000000000000\n  Bound result 50000000000000000000\n  Bound result 239\n  Bound result 3\n  Bound result 1000000000\n  Bound result 100000000000000000000\n  Bound result 29643740030350500442302959\n  Bound result 10000000000000000000\n  Bound result 5477\n  Bound result 8\n  Bound result 4\n  Bound result 117887530690858157862\n  Bound result 27956027242274352035\n  Bound result 29643740030350500442302959\n  Bound result 5000000000000000000\n  Bound result 916\n  Bound result 878073384217783581\n  Bound result 71122\n  Bound result 142616797445576568495469494\n  Bound result 807\n  Bound result 30000000000000000000\n  Bound result 890011742208470028\n  Bound result 26384247218583587790277348\n  Bound result 2\n  Bound result 4801\n  Bound result 4228666475\n  Bound result 97734916027733264011214216\n  Bound result 411302934950531278554870946\n  Bound result 4198\n  Bound result 597\n  Bound result 10\n  Bound result 6168258999313220964367333\n  Bound result 119978094447506133952814763\n  Bound result 3571\n  Bound result 5410\n  Bound result 10000000000000000000\n  Bound result 511912793672\n  Bound result 115177243110806774213332859\n  Bound result 10\n  Bound result 1000000000\n  Bound result 4\n  Bound result 31614925605355197751052474\n  Bound result 1000881757449380113\n  Bound result 8\n  Bound result 2000000000000000000\n  Bound result 0\n  Bound result 157745070212315725798059684\n  Bound result 1000000000000000000\n  Bound result 2000000000000000000\n  Bound result 3\n  Bound result 100000000000000000000\n  Bound result 19896302609817683244880431\n  Bound result 6000000000000000000\n  Bound result 1000000000000000000\n  Bound result 18\n  Bound result 135018320774490893189353164\n  Bound result 263819212661625473356863737\n  Bound result 1000000000000000000000\n  Bound result 2116\n  Bound result 4272\n  Bound result 5000000000000000000\n  Bound result 50000000000000000000\n  Bound result 1000881756449379713\n  Bound result 575\n  Bound result 4\n  Bound result 828207877622818479\n  Bound result 20000000000000000000\n  Bound result 1313373041\n  Bound result 4261\n  Bound result 20000000000000000001\n  Bound result 35973880075097795037\n  Bound result 8\n  Bound result 1954984759483765614414699\n  Bound result 20000000000000000000\n  Bound result 18\n  Bound result 10000000000000000000\n  Bound result 6\n  Bound result 30000000000000000000\n  Bound result 100000000000000000000\n  Bound result 120900637471445521125330103\n  Bound result 0\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 13.62s (13.62s CPU time)\n\nRan 2 test suites in 13.63s (13.64s CPU time): 20 tests passed, 0 failed, 0 skipped (20 total tests)\n","passed":true},{"durationMs":61,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"RoutrToken.approve(address,uint256)\",\"RoutrToken.transfer(address,uint256)\",\"RoutrToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":3,\"README.md\":85,\"foundry.toml\":18,\"script/DeployRoutr.s.sol\":22,\"src/RoutrToken.sol\":22,\"test/RoutrToken.t.sol\":213,\"test/RoutrTokenInvariant.t.sol\":67},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":916,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":384,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/RoutrToken.sol:17: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"19da24b53ffc58f453ac5e091adcbe8dcbd5341321c640b390e836112eab3739","verifiedTreeHash":"947045034e67ada946cc73cdc3677942d4dd6edb","verifierVersion":"0.1.0+3dc93dc1"},{"checks":[{"durationMs":1010,"exitCode":0,"name":"build","output":"Compiling 29 files with Solc 0.8.26\nSolc 0.8.26 finished in 913.00ms\nCompiler run successful!\n","passed":true},{"durationMs":12066,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 19 tests for test/RoutrToken.t.sol:RoutrTokenTest\n[PASS] testFuzz_transferConservesSupply(address,uint256) (runs: 256, μ: 99194, ~: 99526)\nLogs:\n  Bound result 477997625287225759393545727\n\n[PASS] testFuzz_transferFromRespectsAllowance(uint256,uint256) (runs: 256, μ: 133120, ~: 113632)\nLogs:\n  Bound result 732473141090113403938342516\n  Bound result 57048888\n\n[PASS] test_RevertWhen_approveZeroSpender() (gas: 32882)\n[PASS] test_RevertWhen_sendingEther() (gas: 39434)\n[PASS] test_RevertWhen_transferExceedsBalance() (gas: 92804)\n[PASS] test_RevertWhen_transferFromExceedsAllowance() (gas: 88090)\n[PASS] test_RevertWhen_transferFromExceedsBalance() (gas: 143590)\n[PASS] test_RevertWhen_transferFromWithoutAllowance() (gas: 45343)\n[PASS] test_RevertWhen_transferToZeroAddress() (gas: 32922)\n[PASS] test_approveAndTransferFrom() (gas: 159295)\n[PASS] test_constructorEmitsSingleMintTransfer() (gas: 14034)\n[PASS] test_deployScriptMintsToItsDeployingContract() (gas: 1320401)\n[PASS] test_infiniteAllowanceIsNotDecreased() (gas: 123336)\n[PASS] test_metadata() (gas: 40206)\n[PASS] test_noMintOrAdminEntryPoints() (gas: 223282)\n[PASS] test_transfer() (gas: 96100)\n[PASS] test_transferHasNoFee() (gas: 132816)\n[PASS] test_transferZeroAmount() (gas: 47777)\n[PASS] test_wholeSupplyMintedToDeployer() (gas: 33554)\nSuite result: ok. 19 passed; 0 failed; 0 skipped; finished in 8.59ms (22.68ms CPU time)\n\nRan 1 test for test/RoutrTokenInvariant.t.sol:RoutrTokenInvariantTest\n[PASS]\nRoutrTokenInvariantTest invariants:\n[PASS] invariant_balancesSumToSupply\n[PASS] invariant_supplyIsFixed\n RoutrTokenInvariantTest invariants (runs: 256, calls: 128000, reverts: 0)\n\n╭--------------+----------------+-------+---------+----------╮\n| Contract     | Selector       | Calls | Reverts | Discards |\n+============================================================+\n| RoutrHandler | approveAndPull | 63707 | 0       | 0        |\n|--------------+----------------+-------+---------+----------|\n| RoutrHandler | transfer       | 64293 | 0       | 0        |\n╰--------------+----------------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 0\n  Bound result 276\n  Bound result 0\n  Bound result 161\n  Bound result 8\n  Bound result 50000000000000000000\n  Bound result 0\n  Bound result 4\n  Bound result 2714384306\n  Bound result 5018\n  Bound result 8503117806683817586\n  Bound result 0\n  Bound result 4261\n  Bound result 50000000000000000000\n  Bound result 31389633796347160330\n  Bound result 117300739\n  Bound result 20000000000000000000\n  Bound result 4607\n  Bound result 1376\n  Bound result 5410\n  Bound result 2717\n  Bound result 2000000000000000000\n  Bound result 1622\n  Bound result 720635\n  Bound result 3412\n  Bound result 5410\n  Bound result 2000000000000000000\n  Bound result 196626104390976424714549974\n  Bound result 91892751603031690651\n  Bound result 55918871527933895613\n  Bound result 228\n  Bound result 11000000000000000000\n  Bound result 11000000000000000000\n  Bound result 234234914736578809439665675\n  Bound result 28705237972359533947\n  Bound result 57918871527933181932\n  Bound result 3714247998\n  Bound result 1\n  Bound result 50000000000000000000\n  Bound result 10\n  Bound result 2058\n  Bound result 234234782112469309146948840\n  Bound result 3\n  Bound result 1370\n  Bound result 8\n  Bound result 2\n  Bound result 18\n  Bound result 1954076562845278474\n  Bound result 3048\n  Bound result 3147\n  Bound result 32869809045598\n  Bound result 3121\n  Bound result 5314598409702031261\n  Bound result 100000000000000000000\n  Bound result 234234789381144285408505594\n  Bound result 30000000000000000000\n  Bound result 57295193741153\n  Bound result 3\n  Bound result 30000000000000000000\n  Bound result 29631482460522\n  Bound result 63060842475422858365977608\n  Bound result 30000000000000000000\n  Bound result 12164627714464\n  Bound result 3148\n  Bound result 744\n  Bound result 3271\n  Bound result 4\n  Bound result 286585250563019433993\n  Bound result 100000000000000000000\n  Bound result 50000000000000000000\n  Bound result 1281\n  Bound result 2\n  Bound result 98744189226316543887560759\n  Bound result 12187153504\n  Bound result 1000000000000000000000\n  Bound result 2158\n  Bound result 1889567280\n  Bound result 2980\n  Bound result 89892751603031688654\n  Bound result 3\n  Bound result 332979027484865521740847140\n  Bound result 210\n  Bound result 20000000000000000000\n  Bound result 2000000000000000000\n  Bound result 160528053247750115501\n  Bound result 24057224978980598378\n  Bound result 0\n  Bound result 0\n  Bound result 13653775861795466461\n  Bound result 132556077913143651839530123\n  Bound result 11000000000000000000\n  Bound result 11000000000000000000\n  Bound result 3\n  Bound result 2801\n  Bound result 5394\n  Bound result 217761661264377081051223566\n  Bound result 636708052303730612810050596\n  Bound result 5402\n  Bound result 12767027799375939639\n  Bound result 208335645792187163\n  Bound result 1624\n  Bound result 2805\n  Bound result 217761661554574260655887706\n  Bound result 1000000000000000000000\n  Bound result 0\n  Bound result 11000000000000000000\n  Bound result 116\n  Bound result 561\n  Bound result 13\n  Bound result 195605246204234090348749160\n  Bound result 5000000000000000000\n  Bound result 1725540769\n  Bound result 564475670890851476962683702\n  Bound result 5018\n  Bound result 2\n  Bound result 4\n  Bound result 4911\n  Bound result 1355\n  Bound result 2895538530618946363236382\n  Bound result 1\n  Bound result 3\n  Bound result 924076\n  Bound result 2980\n  Bound result 940\n  Bound result 2960\n  Bound result 2961322293565340738942950\n  Bound result 5470\n  Bound result 18\n  Bound result 464333079181864233510828792\n  Bound result 2034387068480170975854476\n  Bound result 50000000000000000000\n  Bound result 1427159005185607255410757\n  Bound result 11000000000000000000\n  Bound result 15979001574780322\n  Bound result 2961333309544342313724373\n  Bound result 50000000000000000000\n  Bound result 3462\n  Bound result 5000000000000000000\n  Bound result 1151406000\n  Bound result 20000000000000000000\n  Bound result 8\n  Bound result 1000000000000000000000\n  Bound result 1754144423629704053383034\n  Bound result 341\n  Bound result 50000000000000000000\n  Bound result 316150164631596155986792517\n  Bound result 66\n  Bound result 1154623431954188569223002\n  Bound result 1696\n  Bound result 1\n  Bound result 3583\n  Bound result 2739\n  Bound result 2000000000000000000\n  Bound result 29\n  Bound result 11000000000000000000\n  Bound result 9670\n  Bound result 4616\n  Bound result 3185\n  Bound result 18\n  Bound result 136795939\n  Bound result 33666363295060463224635\n  Bound result 4806\n  Bound result 100000000000000000000\n  Bound result 5000000000000000000\n  Bound result 177362147\n  Bound result 6000000000000000000\n  Bound result 3351\n  Bound result 0\n  Bound result 100000000000000000000\n  Bound result 17651621050703134306517\n  Bound result 369\n  Bound result 5000000000000000000\n  Bound result 10758696189612734475390362\n  Bound result 0\n  Bound result 4862\n  Bound result 115\n  Bound result 313\n  Bound result 0\n  Bound result 368887871532056937058850014\n  Bound result 6000000000000000000\n  Bound result 375\n  Bound result 2\n  Bound result 2187015658814583957042649\n  Bound result 572\n  Bound result 3714250056\n  Bound result 329\n  Bound result 10\n  Bound result 0\n  Bound result 6000000000000000000\n  Bound result 5000000000000000000\n  Bound result 562\n  Bound result 1399\n  Bound result 6000000000000000000\n  Bound result 81008942\n  Bound result 8214109882133870337285899\n  Bound result 2\n  Bound result 2652\n  Bound result 132\n  Bound result 34316659\n  Bound result 0\n  Bound result 10000000000000000000\n  Bound result 1236\n  Bound result 2000000000000000000\n  Bound result 4591\n  Bound result 11081861533812471576\n  Bound result 10000000000000000000\n  Bound result 8\n  Bound result 20000000000000000000\n  Bound result 10\n  Bound result 657\n  Bound result 1000000000\n  Bound result 367\n  Bound result 28338831346047341226917727\n  Bound result 411\n  Bound result 1000000000000000000\n  Bound result 1000000367\n  Bound result 2\n  Bound result 3\n  Bound result 1000000000000000000000\n  Bound result 611897008626679022310743869\n  Bound result 3\n  Bound result 3\n  Bound result 449633864093661731893942200\n  Bound result 10\n  Bound result 1065\n  Bound result 4134\n  Bound result 5113\n  Bound result 1593\n  Bound result 3359711910229580120248136\n  Bound result 208335645792184359\n  Bound result 7793763973768241109137768\n  Bound result 5541\n  Bound result 470\n  Bound result 199140430020165913629667811\n  Bound result 5236135784576\n  Bound result 2\n  Bound result 2\n  Bound result 258707514955624450465775163\n  Bound result 1000000000000000000000\n  Bound result 0\n  Bound result 0\n  Bound result 2\n  Bound result 826074472\n  Bound result 1000000000000000000\n  Bound result 3\n  Bound result 11000000000000000000\n  Bound result 869\n  Bound result 3017439808786681991\n  Bound result 5000000000000000000\n  Bound result 4\n  Bound result 633664833420831411\n  Bound result 330\n  Bound result 1958050800839924180\n  Bound result 198\n  Bound result 2000000000000000000\n  Bound result 2982560191213318006\n  Bound result 4240\n  Bound result 999201036126524012211062720\n  Bound result 12214687008949716\n  Bound result 4\n  Bound result 4236450523441803\n  Bound result 20\n  Bound result 10\n  Bound result 1000000000\n  Bound result 2\n  Bound result 10\n  Bound result 4148\n  Bound result 18\n  Bound result 30000000000000000000\n  Bound result 2\n  Bound result 2835717306\n  Bound result 10\n  Bound result 2819\n  Bound result 4500\n  Bound result 20000000000000000000\n  Bound result 2\n  Bound result 1239446558\n  Bound result 3\n  Bound result 20030104055489695143372\n  Bound result 1\n  Bound result 2418890149\n  Bound result 7978234246061370\n  Bound result 0\n  Bound result 11193007770564230\n  Bound result 0\n  Bound result 0\n  Bound result 761\n  Bound result 2982560191213318006\n  Bound result 1000000000\n  Bound result 0\n  Bound result 1311686756001613\n  Bound result 602118893690299184341242\n  Bound result 4\n  Bound result 0\n  Bound result 4509\n  Bound result 0\n  Bound result 4608\n  Bound result 2\n  Bound result 91191406371907206017852\n  Bound result 118676483415486658328174422\n  Bound result 2524360888763227262343\n  Bound result 4113\n  Bound result 4\n  Bound result 5494\n  Bound result 10\n  Bound result 1\n  Bound result 5108\n  Bound result 0\n  Bound result 453395990387983810581\n  Bound result 34831661562706505634859583\n  Bound result 5000000000000000000\n  Bound result 341\n  Bound result 60222943523706086980682324\n  Bound result 3\n  Bound result 1000000000000000000000\n  Bound result 18\n  Bound result 12390599958477459538518166\n  Bound result 5713649126360367411079831\n  Bound result 24766782304597559414819231\n  Bound result 50000000000000000000\n  Bound result 5000000000000000000\n  Bound result 0\n  Bound result 3\n  Bound result 5218272380525881244397958\n  Bound result 123124903173142290546083\n  Bound result 309315374787480925837942\n  Bound result 18\n  Bound result 478047115605491764163883\n  Bound result 226791173866598307497216\n  Bound result 786930132281122883265032276\n  Bound result 602118893690299184341242\n  Bound result 1566\n  Bound result 34658655009632702309859355\n  Bound result 2082\n  Bound result 50000000000000000000\n  Bound result 8436388560985915775696910\n  Bound result 1000000000000000000\n  Bound result 4912\n  Bound result 25793200670976830924566975\n  Bound result 10\n  Bound result 96014639264342582767950940\n  Bound result 0\n  Bound result 6413056778957102976508300\n  Bound result 46428549653325014807236\n  Bound result 2960\n  Bound result 6000000000000000000\n  Bound result 0\n  Bound result 0\n  Bound result 5167\n  Bound result 54142314875693309676988794\n  Bound result 2\n  Bound result 3\n  Bound result 1\n  Bound result 10000000000000000000\n  Bound result 100000000000000000000\n  Bound result 1000000000000000000\n  Bound result 1000000000000000000000\n  Bound result 20000000000000000000\n  Bound result 243\n  Bound result 1776928412064604075835758\n  Bound result 221904978761470288962661426\n  Bound result 404098526\n  Bound result 5000000000000000000\n  Bound result 18554544788436040679237129\n  Bound result 8\n  Bound result 3918\n  Bound result 233\n  Bound result 0\n  Bound result 2592286112\n  Bound result 4\n  Bound result 46758780981594925838837980\n  Bound result 100000000000000000000\n  Bound result 1000000000000000000000\n  Bound result 1000000000\n  Bound result 2464\n  Bound result 16722244428296804027779884\n  Bound result 1445\n  Bound result 10000000000000000000\n  Bound result 162216727907551321858436431\n  Bound result 1000000000\n  Bound result 18\n  Bound result 911\n  Bound result 505\n  Bound result 5000000000000000000\n  Bound result 148805060963379176866401113\n  Bound result 14\n  Bound result 22156415060142992428023493\n  Bound result 2\n  Bound result 49480052107589288394820850\n  Bound result 30186762020873938344176064\n  Bound result 692\n  Bound result 600331164034406096129108007\n  Bound result 348789811\n  Bound result 61936818625\n  Bound result 63689747617758600938350533\n  Bound result 2000000000000000000\n  Bound result 2000000000000000000\n  Bound result 2961322293565340738944070\n  Bound result 70209289162547111292229277\n  Bound result 1949\n  Bound result 379511269751857436791589686\n  Bound result 981\n  Bound result 100000000000000000000\n  Bound result 101483819917117673773282146\n  Bound result 27379895\n  Bound result 50000000000000000000\n  Bound result 312506459317279683244371300\n  Bound result 2\n  Bound result 0\n  Bound result 1159734666\n  Bound result 108662860024020400279510236\n  Bound result 6000000000000000000\n  Bound result 764189536476\n  Bound result 148242651898712658201015073\n  Bound result 399\n  Bound result 6000000000000000000\n  Bound result 3\n  Bound result 0\n  Bound result 1\n  Bound result 0\n  Bound result 50000000000000000000\n  Bound result 258331458581807140841583628\n  Bound result 1\n  Bound result 1000000000\n  Bound result 0\n  Bound result 145529554939863594840649237\n  Bound result 10000000000000000000\n  Bound result 0\n  Bound result 3505\n  Bound result 4\n  Bound result 24973880075097795037\n  Bound result 22664930564414250\n  Bound result 85415355759552253346693789\n  Bound result 5000000000000000000\n  Bound result 838\n  Bound result 3\n  Bound result 4\n  Bound result 81861533812468773\n  Bound result 5271\n  Bound result 30000000000000000000\n  Bound result 17000000000081007678\n  Bound result 136463930441021285049346467\n  Bound result 2\n  Bound result 3327641368\n  Bound result 535\n  Bound result 2962313309544343465133827\n  Bound result 87288165882336910040077856\n  Bound result 4094\n  Bound result 317\n  Bound result 10\n  Bound result 28142141643098\n  Bound result 167656369816360410171573869\n  Bound result 1956\n  Bound result 1990\n  Bound result 10000000000000000000\n  Bound result 511912793672\n  Bound result 97134241284129422466752927\n  Bound result 10\n  Bound result 1000000000\n  Bound result 4\n  Bound result 111211015294932762526944157\n  Bound result 10778726280278124854704602\n  Bound result 8\n  Bound result 2000000000000000000\n  Bound result 0\n  Bound result 156133993787810541297557252\n  Bound result 1000000000000000000\n  Bound result 2000000000000000000\n  Bound result 3\n  Bound result 100000000000000000000\n  Bound result 183546450072600570735964815\n  Bound result 6000000000000000000\n  Bound result 1000000000000000000\n  Bound result 18\n  Bound result 345894755102562348657107706\n  Bound result 6000000000000000000\n  Bound result 1000000000000000000000\n  Bound result 5310\n  Bound result 4149\n  Bound result 5000000000000000000\n  Bound result 50000000000000000000\n  Bound result 123441147796564220036189498\n  Bound result 74\n  Bound result 4\n  Bound result 29477843667974622400544655\n  Bound result 20000000000000000000\n  Bound result 1737\n  Bound result 4149\n  Bound result 130029384594462170582425626\n  Bound result 14707222916156836789826275\n  Bound result 8\n  Bound result 262524982822512469616020722\n  Bound result 20000000000000000000\n  Bound result 18\n  Bound result 10000000000000000000\n  Bound result 31\n  Bound result 30000000000000000000\n  Bound result 100000000000000000000\n  Bound result 171122635450653987359205822\n  Bound result 0\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 11.94s (11.94s CPU time)\n\nRan 2 test suites in 11.95s (11.95s CPU time): 20 tests passed, 0 failed, 0 skipped (20 total tests)\n","passed":true},{"durationMs":58,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"RoutrToken.approve(address,uint256)\",\"RoutrToken.transfer(address,uint256)\",\"RoutrToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":3,\"README.md\":85,\"foundry.toml\":18,\"launch.json\":20,\"script/DeployRoutr.s.sol\":22,\"src/RoutrToken.sol\":22,\"test/RoutrToken.t.sol\":213,\"test/RoutrTokenInvariant.t.sol\":67},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"446be67c48e9e1072a721342769a4b94a7a6f7db9144c224486d062ca63d12d2","verifiedTreeHash":"ec2f0bb41e6d1c5708c5764cb806dda3fde0d9a6","verifierVersion":"0.1.0+3dc93dc1"}]}