{"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":"8d8c5c48-f063-4fd4-a98a-9b7a431e4a6f","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":null,"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":"waiting"},{"acceptedSubmissionHash":null,"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":"waiting"},{"acceptedSubmissionHash":null,"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":"waiting"},{"acceptedSubmissionHash":null,"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":"waiting"},{"acceptedSubmissionHash":null,"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":"waiting"},{"acceptedSubmissionHash":null,"dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"d59561da3b378461b7c749f6bd5084477d44993aa94972ddea90f542535751df","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"d59561da3b378461b7c749f6bd5084477d44993aa94972ddea90f542535751df","skillId":"build-contract-project","state":"failed"},{"acceptedSubmissionHash":null,"dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"waiting"},{"acceptedSubmissionHash":null,"dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"4c76766b00591dfe982fe85d3de589fdb2f810e5137c301155d1c5e36a1d3b23","skillId":"write-foundry-tests","tools":[]},"key":"write_foundry_tests","kind":"code","role":"tests","skillHash":"4c76766b00591dfe982fe85d3de589fdb2f810e5137c301155d1c5e36a1d3b23","skillId":"write-foundry-tests","state":"waiting"}],"objective":"Token name: The Vault. Token symbol: VAULT.\nBuild the COMPLETE immutable multi-asset competition below on Robinhood Chain. Use\nPlayground's selected standard coin, ETH pairing and launch allocation; do not customize\ntoken supply, transfers or allocation. No protocol admin, upgrade, proxy, delegatecall,\nrescue, arbitrary router, borrowing, price oracle, signer or developer keeper. No\ntreasury redemption right. Block deployment on unresolved critical/high findings or\nunmet gates.\n\nPLATFORM: Existing platform/requester revenue uses Playground's launch revenue receiver\nand distribution contracts; do not charge/split that revenue again. Preserve user\ndeposits/rewards. Complete required recipient setup before public use; no ongoing\noperator dependency. The separate 25bp protocol levy below needs EXPLICIT platform\napproval: it funds Commons/ops/bank, not creator revenue. If mandatory receiver rules\ncapture it, STOP before deployment; do not redirect it or silently change the economics.\n\nFEE: Assume ZERO Vault entitlement to platform revenue. Only if approved, levy\nadditional25bp GROSS-ETH to immutableEngine.\nD=10000,r=25,tax(g)=floor(g*r/D),up(n)=floor(n*r/(D-r)). beforeSwap specified+tax(G) for\nexactETH-input G; specified+up(N) for exactnetETH-output N; otherwise0. afterSwap\nrequires rawETH=-(G-tax(G)) or +(N+up(N)) on those specified paths; reject partials. On\nunspecifiedETH-input P charge up(P); unspecifiedETH-output P charge tax(P). Explicitly\nmint nativeETH ERC6909claims; return positivefee ONLY for unspecified paths. Check\nsigns/int128/overflow. No LPoverride,hook routing,feeds,crew loops or native transfers\nin swaps. Authenticate manager and EXACTPoolId; one authorizedfactory initialization\nbinds actualtoken/fullkey; manager-only orfirst-caller binding unsafe. Sweep\noperation-bound unlock,burn ownclaimid0,takeETH,credit actualEngine receipt once outside\nswaps. No WETH.\n\nCUSTODY: Commons nativeETHsink has NO outgoing/approval/collateral/upgrade path.\nSeparate sleeveETH,ops,matchingbank,bid refunds,fundedcrew/work\nclaims,surplus,retiredcash/inventory. Separate VAULTescrow,neverinvested/approved.\nActual netfee f splits floor80%Commons,floor10%ops,EXACTremainder bank. Record\ncumulative buckets. Direct/forced donations/claims neveralpha orlockcredit.\nClaimreceivables aren'tcash. Exclude all user liabilities from protocol-ownedETH. Native\npayouts pull-only,CEI/nonReentrant; failed recipient cannot block others.\n\nENTRY:16active licenses,max4rounds,immutablecontroller. Applicant NONREFUNDABLY sponsors\n.005ETHtrial+.001ETHops: protocolproperty,NOTrefundabledeposit. Reject whenfull. Trial\nC+=g,B+=g; ops notalpha. NO free fee-fundedtrial. Controller commits>=1000VAULT; backing\nnever increases authority. Renewal requires maturecontroller receipt and previous\npositive completedcash result BEFOREprofitwithdrawal. No\nperpetualseat/historyinheritance. Commit retirement cleanup even when no eligible crew\nremains; no empty-round bounty.\n\nROUNDS:35days; firstT=authorizedlaunch+14days. Jobs/stakereceipts commit byT-7days.\nBuybids[0,1d),execute[1d,2d);holduntil30d;sellbids[30d,34d),execute[34d,35d);cancel at\nexecutionexpiry. Hardclock,no backdating.\nMenu:nativeETH,USDG0x5fc5360D0400a0Fd4f2af552ADD042D716F1d168(6dec),SPY0x117cc2133c37B72\n1F49dE2A7a74833232B3B4C0C(18dec); VERIFY implementations/semantics beforedeploy. No\nlistings/selfVAULT. Weights10000bp,min10%ETH,SPYentryspend<=35%; costweights notliveNAV.\nPositive rational rawtoken/wei buy and wei/rawtoken sell minima, ceil mulDiv; crew\nchoices NOTfairprice guarantees.\n\nEXECUTION:whole-lot fully escrowed competitivequotes; highest actualconsideration\nmeeting committedreserve wins. Exact measured tokens,atomic exchange orrevert. No\narbitraryapproval/callback. Bidder funds aren'tprofit beforeexecution. Refunds\nindependentlyclaimable. At expiry cancellation withoutcallingfailedERC20\nreturnsETHtoORIGINALledger. No quote=>no fill; no floorrelaxation/two-bidder\nindependencefiction. Resolvealllots beforeglobalsettlement. Unsoldtokens\npermanentlyquarantined with rawquantity/basis; NOrescue/recoveryauction. Failedtoken\ncannot blocknativebookkeeping/VAULTexit.\n\nCASHLOCK: sleeveC=actualETH,B=cumulativeNEW\nassignedcapital(notrollover),P=fundedcrewrewards,S=surplusactuallylockedCommons,G=lifeti\nmebankmatches,H=watermark. F=C+P+S-B; noncashzero ONLYforcashpayoutbound,notNAV. Retire\nALL cash/basis/counters/losses intohistory. Freeze ALL active+retired results first.\nd_i=max(F_i-H_i,0),dg=max(sumALLF-Hg,0),X=min(dg,sumeligible d).\ne_i=min(C_i,floor(X*d_i/sum d)); zero denominator/staketotal=>e0. r=floor(e/5),s=e-r.\nDebitC by e;fundrewardescrowr,P+=r;TRANSFERs toCommons,S+=s ONLYafter success.\nFunchanged. H=max(H,Fsnapshot),Hg=max(Hg,Fglobalsnapshot) evenunpaid/ineligible: no\ncontingentIOU/carry. Dust staysexistingledger. Prove P+S<=H,e<=max(C-B,0).\n\nMATCH: d<=bank,local(S-G),global(sumS-sumG),max(0,sumALL(C+S-B)-sumG),10%license's\nreturnedprincipalcash. Reserve/debitbank/consumeG atomically againstONEsnapshot.\nC+=d,B+=d,G+=d. LifetimeG neverreset/refunded; freshIDs inheritnothing. Profit cannot\nremaintradable AND backgrant. Proof:\nCommons>=feeCommons+S,bank=feeBank-G>=0,ops=feeOps+Q-O>=0,G<=S =>\nprotocol-ownedETH(excludeuserclaims)>=netfees+Q-O >=90%netfees afterfundedops.\nNOTUSDvalue,tokenprice,redemption,fairfills,skill or sponsorprotection.\n\nBACKERS: unique nontransferable owner/license/round/amountreceipts,VAULTbackedonce.\nCommit next round byT-7d. ExitrequestbeforeT cancelseligibility/total; at/afterT\nhistoricalrightsimmutable. Whole-receiptVAULTwithdraw7d afterrequest\nregardlessround/assets; principalwithdrawn flag separatefromrewardclaimed.\nFundedreward*eligibleamount/frozentotal once/receipt; no late/newslot capture. No\nfundedclaimexpiry/sweep. Start-snapshot,NOTtimeweighted.\n\nLIVENESS: anyoneprogresses,boundedresumable work,monotonicIDs,noexclusivekeeper.\nBenchmark actualETHrecovered vsETHcontributed,no oracle.\nWorkcredit<=.000001ETH/uniqueusefulitem,<=.0001ETH/license/round,fundedonly;\ncalibrategasBEFOREfreeze. No empty/retry/skippedround/bid/gas-reimbursement reward.\nSweepreward<=min(.000001ETH,sweep/100),ops-funded aftersplit. Dormancy permitted;\nstake/fundedclaims independent. No protected-ledger topups.\n\nGATES: auditEVERYchild;\nverifyactualfactory/constructor/bootstrap/token/key/flags/code+initcode/gas,notassumedco\nmpanion support. Standardtoken:noprivilegedmint/seize/freeze.\nFork4routermodes/partials/redemption/receivers onrealRobinhoodfactory. Invariants/fuzz:\ncustody,SphysicalbeforeG,lifetimecredits,lossnetting,retirement,snapshots,zero-legacy,fo\nrcedETH,reentrancy,cancellation,frozentoken,exit/claims. Fault-inject\nunbackedtrial,duplicateG,tradableS,latebacker. Mocks alone are not production proof. No\nownerrescue,pricefallback,revenue diversion or silent scope reduction. Publish\npinnedsource/parameters/gas/audit/proof; refuse deploymentwithunresolvedcritical/high\norunsupported assumptions.\n\nUI: noir heist, brass/mint accents. Show actual Commons, bank, ops, crew\ncash/basis/rewards/locks/consumed credit, jobs, auctions/deadlines, quarantine, receipt\nexits and claims. No fake NAV or bribery detection. Portfolio assets may be\nissuer-upgradeable/frozen; verify controls. Local reference tests are not certification\nof generated code. Require IMD verification of ALL child artifacts.\n\nPlayground revenue (Robinhood, hub 0xe7db06c9726a69fdaa4020e7bc07a1c08328035e): the IMD payer is project 1's receiver 0x219fac9d73216a2601e9969dc1e58f7794d8f315.\nPay Playground's share to it.\nPay it ETH with a plain call; anyone then calls depositETH() on it.\nTokens sent to it wait for Playground's swap adapters.\nPlayground splits what it receives: do not split it again.\nThe pool's requester fees already go to the receiver: do not add or redirect them.","parentJobId":null,"planHash":"dc7861b0ec6da88cd3dec06139dfd82a85528ef45e316dce0f7b59d438ddce15","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"8d8c5c48-f063-4fd4-a98a-9b7a431e4a6f","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-2492-the-vault-token-symbol-vault"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[],"site":null,"snapshotHash":"937e7060a294279393d0194b6cef8ee27073de29000d14d51df006e502b4b14c","state":"blocked","submissions":[{"artifacts":[],"attempt":1,"bundleHash":null,"device":"6ed09c2eb1ff6aec","findings":[],"hash":"c20d9f43d51abeed8916405bd08a4c3c8e8b8e2920ed4c89a72cf5aa5c461fd1","nodeId":"7a0a37ca-f204-4de5-b96d-f7a66e50ddf8","outcome":"failed","summary":"needs input: Explicit platform (Playground/IMD) approval of the separate 25bp gross-ETH protocol levy that funds Commons/ops/matching bank, and confirmation that the mandatory revenue-receiver rule (pay Playground's share to receiver 0x219fac9d73216a2601e9969dc1e58f7794d8f315) does not capture or require splitting that levy. The brief makes the levy, and the whole Commons/bank/cash-lock economy that depends on it, conditional on this approval and says to STOP if the receiver rules capture it. — Does the platform explicitly approve The Vault's additional 25bp hook levy going 100% to the immutable engine (80% Commons / 10% ops / remainder matching bank), with no Playground share of it sent to the revenue receiver, or should the levy be captured/split by the receiver rules (in which case the brief says not to build the levy)?","treeHash":null,"usage":{"cachedInputTokens":184194,"inputTokens":8,"model":"claude-opus-5-5","outputTokens":1751,"runtime":"claude","turns":4,"wallClockMs":32409}}],"verification":[]}