PageSourceSearch

https://audix.ai/login

html audix.ai collected 2026-10-05 12:23:28 UTC 84,905 bytes, 55 lines download raw bytes

1<!DOCTYPE html><html class="font-sans ibm_plex_sans_b0fb508e-module__wy56OG__variable ibm_plex_mono_80202997-module__cIrBtq__variable" lang="en"><head><meta charSet="utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><link rel="stylesheet" href="/_next/static/chunks/03.egg~0653ee.css" nonce="177Igwb5QalKN+E2qQRpqw==" data-precedence="next"/><link rel="preload" as="script" fetchPriority="low" nonce="177Igwb5QalKN+E2qQRpqw==" href="/_next/static/chunks/00tlx6.y8h6wd.js"/>
1<script src="/_next/static/chunks/0~ur5i0~4_a9x.js" async="" nonce="177Igwb5QalKN+E2qQRpqw=="></script>
1<script src="/_next/static/chunks/0ori5wvuna2h-.js" async="" nonce="177Igwb5QalKN+E2qQRpqw=="></script>
1<script src="/_next/static/chunks/167uexwz0tcoy.js" async="" nonce="177Igwb5QalKN+E2qQRpqw=="></script>
1<script src="/_next/static/chunks/turbopack-070.grotr9sde.js" async="" nonce="177Igwb5QalKN+E2qQRpqw=="></script>
1<script src="/_next/static/chunks/01s~ljbzstt85.js" async="" nonce="177Igwb5QalKN+E2qQRpqw=="></script>
1<script src="/_next/static/chunks/0v8lufty53mtr.js" async="" nonce="177Igwb5QalKN+E2qQRpqw=="></script>
1<script src="/_next/static/chunks/0t8qa6h3_aa.l.js" async="" nonce="177Igwb5QalKN+E2qQRpqw=="></script>
1<script src="/_next/static/chunks/0a7qyprj.rb7z.js" async="" nonce="177Igwb5QalKN+E2qQRpqw=="></script>
1<script src="/_next/static/chunks/139zov-b5ybzs.js" async="" nonce="177Igwb5QalKN+E2qQRpqw=="></script>
1<script src="/_next/static/chunks/0l2qn9ayocf.9.js" async="" nonce="177Igwb5QalKN+E2qQRpqw=="></script>
1<meta name="next-size-adjust" content=""/><title>Sign in — Audix</title><meta name="description" content="Upload your Foundry project, get back a fuzz harness you can run."/><meta property="og:title" content="Sign in — Audix"/><meta property="og:description" content="Upload your Foundry project, get back a fuzz harness you can run."/><meta property="og:image" content="http://localhost:3000/opengraph-image?f58eb5ef62801ef8"/><meta property="og:image:type" content="image/png"/><meta property="og:image:width" content="1200"/><meta property="og:image:height" content="630"/><meta property="og:image:alt" content="Audix — connect the Audix MCP server to your coding agent with one command"/><meta name="twitter:card" content="summary_large_image"/><meta name="twitter:title" content="Sign in — Audix"/><meta name="twitter:description" content="Upload your Foundry project, get back a fuzz harness you can run."/><meta name="twitter:image" content="http://localhost:3000/opengraph-image?f58eb5ef62801ef8"/><meta name="twitter:image:alt" content="Audix — connect the Audix MCP server to your coding agent with one command"/><meta name="twitter:image:type" content="image/png"/><meta name="twitter:image:width" content="1200"/><meta name="twitter:image:height" content="630"/><link rel="icon" href="/icon.svg?icon.0~5p99o~h1iuh.svg" sizes="any" type="image/svg+xml"/>
1<script src="/_next/static/chunks/03~yq9q893hmn.js" noModule="" nonce="177Igwb5QalKN+E2qQRpqw=="></script>
1</head><body><div hidden=""><!--$--><!--/$--></div>
1<script nonce="177Igwb5QalKN+E2qQRpqw==">((a,b,c,d,e,f,g,h)=>{let i=document.documentElement,j=["light","dark"];function k(b){var c;(Array.isArray(a)?a:[a]).forEach(a=>{let c="class"===a,d=c&&f?e.map(a=>f[a]||a):e;c?(i.classList.remove(...d),i.classList.add(f&&f[b]?f[b]:b)):i.setAttribute(a,b)}),c=b,h&&j.includes(c)&&(i.style.colorScheme=c)}if(d)k(d);else try{let a=localStorage.getItem(b)||c,d=g&&"system"===a?window.matchMedia("(prefers-color-scheme: dark)").matches?"dark":"light":a;k(d)}catch(a){}})("data-theme","theme","system",null,["light","dark"],null,true,true)</script>
1<div class="sheet flex min-h-svh flex-col overflow-x-clip"><header class="relative z-[2] border-b border-rule"><div class="relative mx-auto flex w-full max-w-sheet-max items-center justify-between px-4 py-3 md:px-8 lg:px-12"><span class="flex items-center gap-2 text-wordmark font-semibold tracking-wordmark text-ink">Audix<svg aria-hidden="true" class="size-5" fill="none" stroke="currentColor" stroke-linecap="square" stroke-linejoin="miter" stroke-width="1" viewBox="0 0 24 24"><path d="M2 6V2h4M18 2h4v4M22 18v4h-4M6 22H2v-4"></path><path d="M12 4l1.5 6.5L20 12l-6.5 1.5L12 20l-1.5-6.5L4 12l6.5-1.5z" fill="currentColor" stroke="none"></path></svg></span><svg aria-hidden="true" class="absolute left-1/2 hidden size-8 -translate-x-1/2 text-ink-3 wide:block" fill="none" stroke="currentColor" stroke-linecap="square" stroke-linejoin="miter" stroke-width="1" viewBox="0 0 24 24"><path d="M2 6V2h4M18 2h4v4M22 18v4h-4M6 22H2v-4"></path><path d="M12 4l1.5 6.5L20 12l-6.5 1.5L12 20l-1.5-6.5L4 12l6.5-1.5z" fill="currentColor" stroke="none"></path></svg><div class="flex items-center gap-2"><button data-slot="button" data-variant="outline" data-size="default" class="group/button inline-flex shrink-0 items-center justify-center bg-clip-padding text-ui-md font-medium whitespace-nowrap transition-all outline-none select-none focus-visible:outline-2 focus-visible:outline-ink focus-visible:outline-offset-2 disabled:pointer-events-none disabled:opacity-50 aria-invalid:border-red-pencil [&amp;_svg]:pointer-events-none [&amp;_svg]:shrink-0 [&amp;_svg:not([class*=&#x27;size-&#x27;])]:size-4 aria-expanded:bg-paper-well gap-1.5 has-data-[icon=inline-end]:pr-3 has-data-[icon=inline-start]:pl-3 size-9 rounded-sm border border-ink bg-paper p-0 text-ink hover:bg-paper-well" aria-label="Switch to dark theme"><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-moon size-4" aria-hidden="true"><path d="M20.985 12.486a9 9 0 1 1-9.473-9.472c.405-.022.617.46.402.803a6 6 0 0 0 8.268 8.268c.344-.215.825-.004.803.401"></path></svg></button><a data-slot="button" data-variant="outline" data-size="default" class="group/button inline-flex shrink-0 items-center justify-center bg-clip-padding whitespace-nowrap transition-all outline-none select-none focus-visible:outline-2 focus-visible:outline-ink focus-visible:outline-offset-2 disabled:pointer-events-none disabled:opacity-50 aria-invalid:border-red-pencil [&amp;_svg]:pointer-events-none [&amp;_svg]:shrink-0 [&amp;_svg:not([class*=&#x27;size-&#x27;])]:size-4 aria-expanded:bg-paper-well gap-1.5 has-data-[icon=inline-end]:pr-3 has-data-[icon=inline-start]:pl-3 h-10 rounded-sm border border-ink bg-paper px-4 text-ui-md font-medium text-ink hover:bg-paper-well" href="/login">Log in</a></div></div></header><main class="relative z-[2] mx-auto w-full max-w-sheet-max flex-1 px-4 md:px-8 lg:px-12"><h1 class="sr-only">Connect Audix MCP to your coding agent</h1><section class="poster mx-auto w-full max-w-[560px] wide:max-w-none"><div class="relative grid grid-cols-12 gap-x-[calc(24*var(--sheet-px))] gap-y-0 py-8 [grid-template-rows:auto_minmax(0,1fr)_auto] wide:min-h-[clamp(560px,92svh,900px)] wide:gap-y-[calc(40*var(--sheet-px))]"><div aria-hidden="true" class="col-span-12 row-start-1 mb-[calc(110*var(--nsheet-px))] grid grid-cols-[minmax(0,0.55fr)_minmax(0,1fr)] wide:hidden gap-x-[calc(24*var(--nsheet-px))]"><figure aria-hidden="true" class="data-block min-w-0 print-in" data-source="cast code 0xbb9bc244d798123fde783fcc1c72d3bb8c189413 (mainnet, runtime keccak 0x6a5d2475…a67caa) | cast disassemble — cast 1.5.1" style="--print-order:0"><figcaption class="font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:&#x27;case&#x27;_1,&#x27;tnum&#x27;_1] text-ink-3">EVM — TheDAO</figcaption><pre class="mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:&#x27;tnum&#x27;_1,&#x27;zero&#x27;_1] [tab-size:2] text-ink-3">243c: CALL
2243d: ISZERO
32441: JUMPI
4  ⋮
52471: ADD
62473: SSTORE</pre></figure><figure aria-hidden="true" class="data-block min-w-0 print-in justify-self-end" data-source="tx 0x47f7cff7a5e671884629c93b368cb18f58a993f4b19c2a53a8662e3f1482f690, block 4501969 — cast tx + cast calldata-decode &quot;kill(address)&quot;" style="--print-order:1"><figcaption class="font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:&#x27;case&#x27;_1,&#x27;tnum&#x27;_1] text-ink-3">Parity WalletLib.kill</figcaption><pre class="mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:&#x27;tnum&#x27;_1,&#x27;zero&#x27;_1] [tab-size:2] text-ink-3">0000 cbf0b0c0         |sel
70004 0000000000000000 |pad
8000c 00000000ae7168de |_to
90014 b525862f4fee37d9 |_to
10001c 87a971b385b96952 |_to
11_to = self (devops199)</pre></figure></div><div class="hidden wide:contents"><figure aria-hidden="true" class="data-block min-w-0 print-in z-[2] col-span-3 col-start-1 row-start-1 self-start" data-source="cast code 0xbb9bc244d798123fde783fcc1c72d3bb8c189413 (mainnet, runtime keccak 0x6a5d2475…a67caa) | cast disassemble — cast 1.5.1" style="--print-order:0"><figcaption class="font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:&#x27;case&#x27;_1,&#x27;tnum&#x27;_1] text-ink-3">EVM — TheDAO.withdrawRewardFor</figcaption><pre class="mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:&#x27;tnum&#x27;_1,&#x27;zero&#x27;_1] [tab-size:2] fade-right text-ink-3">243a: GAS
12243b: SUB
13243c: CALL
14243d: ISZERO
15243e: PUSH2 0x0002
162441: JUMPI
17  ⋮
182464: PUSH1 0x09
19246c: KECCAK256
20246e: SLOAD
212471: ADD
222473: SSTORE</pre></figure><figure aria-hidden="true" class="data-block min-w-0 print-in z-[2] col-span-3 col-start-4 row-start-1 self-start" data-source="tx 0x47f7cff7a5e671884629c93b368cb18f58a993f4b19c2a53a8662e3f1482f690, block 4501969 — cast tx + cast calldata-decode &quot;kill(address)&quot;" style="--print-order:1"><figcaption class="font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:&#x27;case&#x27;_1,&#x27;tnum&#x27;_1] text-ink-3">CALLDATA — Parity WalletLibrary.kill</figcaption><pre class="mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:&#x27;tnum&#x27;_1,&#x27;zero&#x27;_1] [tab-size:2] fade-right text-ink-3">// tx 0x47f7cff7..f690  block 4501969
23// selector cbf0b0c0 = kill(address)
24
250000  cbf0b0c0                         | sel
260004  000000000000000000000000ae7168de | _to
270014  b525862f4fee37d987a971b385b96952 | _to
28
29_to  = 0xae7168..b96952 = msg.sender
30value 0  -  nonce 89  -  2017-11-06
31&quot;I accidentally killed it.&quot;</pre></figure><figure aria-hidden="true" class="data-block min-w-0 print-in z-[2] col-span-2 col-start-7 row-start-1 self-start" data-source="python/program_analysis/templates/medusa_config/medusa.json.j2:3,:7,:9 + docs/primers/glossary.md:44" style="--print-order:2"><figcaption class="font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:&#x27;case&#x27;_1,&#x27;tnum&#x27;_1] text-ink-3">SYSTEM STATUS</figcaption><pre class="mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:&#x27;tnum&#x27;_1,&#x27;zero&#x27;_1] [tab-size:2] fade-right text-ink-3">ENGINE        MEDUSA
32WORKERS       16
33SEQ LEN       100
34COVERAGE      GUIDED
35PHASE         TARGET_FUNCTIONS</pre></figure><figure aria-hidden="true" class="data-block min-w-0 print-in z-[2] col-span-4 col-start-9 row-start-1 self-start" data-source="Bitcoin block 0 coinbase scriptSig — dbl-SHA256(header) == 000000000019d6689c085ae165831e934ff763ae46a2a6c172b3f1b60a8ce26f; Bitcoin Core src/kernel/chainparams.cpp CreateGenesisBlock" style="--print-order:3"><figcaption class="font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:&#x27;case&#x27;_1,&#x27;tnum&#x27;_1] text-ink-3">BTC GENESIS — coinbase scriptSig</figcaption><pre class="mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:&#x27;tnum&#x27;_1,&#x27;zero&#x27;_1] [tab-size:2] fade-right text-ink-3">
3500: 04ff ff00 1d01 0445 5468 6520 5469 6d65 .......EThe Time
3610: 7320 3033 2f4a 616e 2f32 3030 3920 4368 s 03/Jan/2009 Ch
3720: 616e 6365 6c6c 6f72 206f 6e20 6272 696e ancellor on brin
3830: 6b20 6f66 2073 6563 6f6e 6420 6261 696c k of second bail
3940: 6f75 7420 666f 7220 6261 6e6b 73        out for banks</pre></figure><div aria-hidden="true" class="absolute top-1/2 right-0 z-[1] flex -translate-y-1/2 flex-col items-center gap-[calc(20*var(--sheet-px))] font-mono text-[length:calc(16*var(--sheet-px))] leading-none text-ink-4"><span>◎</span><span>△</span><span>○</span><span>⬡</span><span>✛</span></div></div><div class="relative isolate col-span-12 row-start-2 self-center wide:col-start-3 wide:col-end-11"><div class="hidden wide:contents"><div aria-hidden="true" class="statue statue--bust-01 pointer-events-none absolute top-0 left-0 z-0 w-[28%] -translate-x-[55%] -translate-y-[50%]"><img alt="" loading="lazy" src="/art/bust-01-480-print.webp"/></div><div aria-hidden="true" class="statue statue--temple-01 pointer-events-none absolute right-0 bottom-0 z-0 w-[28%] translate-x-[78%]"><img alt="" loading="lazy" src="/art/temple-01-480-print.webp"/></div></div><div aria-hidden="true" class="statue statue--bust-01 pointer-events-none absolute -top-[calc(150*var(--nsheet-px))] left-[10%] z-0 w-[44%] wide:hidden"><img alt="" loading="lazy" src="/art/bust-01-480-print.webp"/></div><div class="relative z-[2]"><div class="plate @container group relative rounded-lg bg-ink p-6 text-on-ink shadow-plate"><span aria-hidden="true" class="plate-bracket plate-bracket--tl"></span><span aria-hidden="true" class="plate-bracket plate-bracket--tr"></span><span aria-hidden="true" class="plate-bracket plate-bracket--bl"></span><span aria-hidden="true" class="plate-bracket plate-bracket--br"></span><div class="flex items-center justify-between"><span aria-hidden="true" class="flex gap-1.5"><span class="size-2 rounded-full bg-on-ink-2"></span><span class="size-2 rounded-full bg-on-ink-2"></span><span class="size-2 rounded-full bg-on-ink-2"></span></span><span class="rounded-sm border border-on-ink-2/50 px-1.5 py-0.5 font-mono text-label-sm font-medium tracking-label-sm text-on-ink-2 [font-feature-settings:&#x27;case&#x27;_1,&#x27;tnum&#x27;_1]">PKCE</span></div><p class="mt-4 font-mono text-label-md font-medium tracking-label-md text-on-ink-2 uppercase [font-feature-settings:&#x27;case&#x27;_1,&#x27;tnum&#x27;_1]">Sign in</p><p class="mt-1 font-mono text-label-sm font-medium tracking-label-sm text-on-ink-3 uppercase [font-feature-settings:&#x27;case&#x27;_1]">Your session stays on the server</p><div class="mt-5 grid max-w-[380px] gap-2.5"><a class="flex h-11 items-center justify-center gap-2.5 rounded-sm bg-paper px-4 text-ui-md font-medium text-ink hover:bg-paper/90" href="/api/auth/login?idp=Google"><svg aria-hidden="true" class="size-4" fill="currentColor" viewBox="0 0 488 512" xmlns="http://www.w3.org/2000/svg"><path d="M488 261.8C488 403.3 391.1 504 248 504 110.8 504 0 393.2 0 256S110.8 8 248 8c66.8 0 123 24.5 166.3 64.9l-67.5 64.9C258.5 52.6 94.3 116.6 94.3 256c0 86.5 69.1 156.6 153.7 156.6 98.2 0 135-70.4 140.8-106.9H248v-85.3h236.1c2.3 12.7 3.9 24.9 3.9 41.4z"></path></svg>Continue with Google</a><a class="flex h-11 items-center justify-center gap-2.5 rounded-sm border border-on-ink-2/50 px-4 text-ui-md font-medium text-on-ink hover:bg-on-ink-2/10" href="/api/auth/login">Continue with email</a></div><p class="mt-5 text-body-sm text-on-ink-2">New to Audix?<!-- --> <a class="font-medium text-on-ink underline underline-offset-4 hover:text-on-ink" href="/api/auth/login?intent=signup">Create account</a></p></div></div></div><div class="z-[2] col-span-12 row-start-3 hidden min-w-0 grid-cols-[minmax(0,0.77fr)_minmax(0,0.79fr)_minmax(0,1.3fr)_minmax(0,1.14fr)] items-start gap-x-[calc(24*var(--sheet-px))] wide:grid"><figure aria-hidden="true" class="data-block min-w-0 print-in" data-source="forge 1.5.1, FOUNDRY_INVARIANT_RUNS=16|64|256|1024 FOUNDRY_INVARIANT_DEPTH=15 forge test --mt invariant_solvency --fuzz-seed 0x1234 — design/easter-eggs/fuzz-signal/invariant-runs-raw.txt" style="--print-order:4"><figcaption class="font-mono text-label-sm font-medium tracking-label-sm text-ink-3 uppercase [font-feature-settings:&#x27;case&#x27;_1,&#x27;tnum&#x27;_1]">FORGE INVARIANT — SOLVENCY</figcaption><svg class="mt-2 w-full text-ink-3" fill="none" role="img" viewBox="0 0 320 118"><title>Foundry invariant throughput — calls vs runs, four real runs, all passing</title><g stroke="var(--color-rule)" stroke-width="0.75"><line vector-effect="non-scaling-stroke" x1="12" x2="308" y1="12" y2="12"></line><line vector-effect="non-scaling-stroke" x1="12" x2="308" y1="47" y2="47"></line><line vector-effect="non-scaling-stroke" x1="12" x2="308" y1="82" y2="82"></line><line vector-effect="non-scaling-stroke" x1="12" x2="12" y1="12" y2="82"></line><line vector-effect="non-scaling-stroke" x1="110.66666666666666" x2="110.66666666666666" y1="12" y2="82"></line><line vector-effect="non-scaling-stroke" x1="209.33333333333331" x2="209.33333333333331" y1="12" y2="82"></line><line vector-effect="non-scaling-stroke" x1="308" x2="308" y1="12" y2="82"></line></g><polyline class="fuzz-draw" pathLength="1" points="12,82 110.66666666666666,58.666666666666664 209.33333333333331,35.33333333333333 308,12" stroke="currentColor" stroke-width="1.5" vector-effect="non-scaling-stroke"></polyline><rect fill="currentColor" height="3" width="3" x="10.5" y="80.5"></rect><rect fill="currentColor" height="3" width="3" x="109.16666666666666" y="57.166666666666664"></rect><rect fill="currentColor" height="3" width="3" x="207.83333333333331" y="33.83333333333333"></rect><rect fill="currentColor" height="3" width="3" x="306.5" y="10.5"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" text-anchor="start" x="12" y="98">16</text><text fill="currentColor" font-family="var(--font-mono)" font-size="7" text-anchor="middle" x="110.66666666666666" y="98">64</text><text fill="currentColor" font-family="var(--font-mono)" font-size="7" text-anchor="middle" x="209.33333333333331" y="98">256</text><text fill="currentColor" font-family="var(--font-mono)" font-size="7" text-anchor="end" x="308" y="98">1024</text><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="12" y="112">runs</text><text fill="currentColor" font-family="var(--font-mono)" font-size="7" text-anchor="start" x="16" y="75">240<!-- --> calls</text><text fill="currentColor" font-family="var(--font-mono)" font-size="7" text-anchor="end" x="304" y="22">15360<!-- --> calls</text></svg><pre class="mt-1 overflow-hidden font-mono text-data-sm whitespace-pre text-ink-3 [font-feature-settings:&#x27;tnum&#x27;_1,&#x27;zero&#x27;_1]">[PASS]  calls = runs x depth(15)</pre></figure><figure aria-hidden="true" class="data-block min-w-0 print-in" data-source="EDD/evidence/oneworld/r7/oneworld-r7-skill-discovery.md:124-125,:61,:35-37 + spend-capture.
39json:1979,:19" style="--print-order:5"><figcaption class="font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:&#x27;case&#x27;_1,&#x27;tnum&#x27;_1] text-ink-3">METRICS · oneworld r7</figcaption><pre class="mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:&#x27;tnum&#x27;_1,&#x27;zero&#x27;_1] [tab-size:2] fade-right text-ink-3">PROPERTIES    3
40WRAPPERS      6
41TOKENS        5,760,711 / 25,000,000
42FORK          k2.6:cloud · 0.146.0
43REWARD        1</pre></figure><figure aria-hidden="true" class="data-block min-w-0 print-in" data-source="forge test -vvvv — forge 1.5.1-stable (b0a9dd9c), solc 0.8.24, design/easter-eggs/trace/project (REPRODUCE.md)" style="--print-order:6"><figcaption class="font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:&#x27;case&#x27;_1,&#x27;tnum&#x27;_1] text-ink-3">FORGE TEST -vvvv — Vault.withdraw</figcaption><pre class="mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:&#x27;tnum&#x27;_1,&#x27;zero&#x27;_1] [tab-size:2] fade-right text-ink-3">    │   ├─ [24779] Vault::withdraw()
44    │   │   ├─ [17047] Attacker::receive{value: 1}()
45    │   │   │   ├─ [16403] Vault::withdraw()
46    │   │   │   │   ├─ [8671] Attacker::receive{value: 1}()
47    │   │   │   │   │   ├─ [8027] Vault::withdraw()
48    │   │   │   │   │   │   │   └─ ← [Stop]
49    │   │   │   │   │   │   └─ ← [Stop]
50    │   │   │   │   │   └─ ← [Stop]
51    │   │   │   │   └─ ← [Stop]
52    │   │   │   └─ ← [Stop]
53    │   │   └─ ← [Stop]
54    │   └─ ← [Stop]
55    └─ ← [Stop]</pre></figure><figure aria-hidden="true" class="data-block min-w-0 print-in" data-source="slither --print cfg topology (slither-analyzer 0.11.6, byte-identical to vendored slither_internal 0.11.3) with SlithIR-SSA node labels from --print slithir-ssa; solc 0.8.33" style="--print-order:7"><figcaption class="font-mono text-label-sm font-medium tracking-label-sm text-ink-3 uppercase [font-feature-settings:&#x27;case&#x27;_1,&#x27;tnum&#x27;_1]">SLITHIR CFG — Vault.payout</figcaption><svg class="mt-2 aspect-[760/455] w-full text-ink-3" fill="none" role="img" viewBox="0 0 760 455"><title>SlithIR-SSA control-flow graph of Vault.payout — external call before state write inside the loop</title><defs><marker id="cfg-arrow" markerHeight="5" markerWidth="5" orient="auto-start-reverse" refX="4.5" refY="2.5"><path d="M0 0L5 2.5L0 5Z" fill="currentColor"></path></marker></defs><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="72.2" y1="34" x2="100" y2="58"></line></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="158.2" y1="58" x2="184" y2="28"></line></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="229.6" y1="28" x2="266" y2="64"></line></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="320" y1="64" x2="350" y2="49"></line></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="446" y1="49" x2="492" y2="102"></line><text fill="currentColor" font-family="var(--font-mono)" font-size="5.5" x="469" y="71.5" text-anchor="middle">True</text></g><g><path d="M 398 74 V 352 H 228.8 V 374" marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke"></path><text fill="currentColor" font-family="var(--font-mono)" font-size="5.5" x="313.4" y="220" text-anchor="middle">False</text></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="613.2" y1="102" x2="640" y2="53"></line></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="683.8" y1="68" x2="674.8" y2="126"></line><text fill="currentColor" font-family="var(--font-mono)" font-size="5.5" x="679.3" y="93" text-anchor="middle">True</text></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="683.8" y1="68" x2="584.6" y2="172"></line><text fill="currentColor" font-family="var(--font-mono)" font-size="5.5" x="634.2" y="116" text-anchor="middle">False</text></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="652" y1="136" x2="473.4" y2="322"></line></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="566" y1="182" x2="521" y2="164"></line></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="446" y1="164" x2="404.8" y2="173"></line></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="292" y1="173" x2="257.8" y2="204"></line></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="166" y1="204" x2="141.4" y2="195"></line></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="141.4" y1="195" x2="172" y2="290"></line></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="293.2" y1="290" x2="348" y2="322"></line></g><g><path d="M 473.4 322 H 482 V 14 H 398 V 24" marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke"></path></g><g><line marker-end="url(#cfg-arrow)" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" x1="206" y1="384" x2="185.4" y2="422"></line></g><g><rect fill="var(--color-paper)" height="20" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="58.2" x="14" y="24"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="20" y="35"><tspan x="20" dy="0" xml:space="preserve">ENTRY_POINT</tspan></text></g><g><rect fill="var(--color-paper)" height="20" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="58.2" x="100" y="48"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="106" y="59"><tspan x="106" dy="0" xml:space="preserve">paid_1 := 0</tspan></text></g><g><rect fill="var(--color-paper)" height="20" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="45.6" x="184" y="18"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="190" y="29"><tspan x="190" dy="0" xml:space="preserve">i_1 := 0</tspan></text></g><g><rect fill="var(--color-paper)" height="20" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="54" x="266" y="54"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="272" y="65"><tspan x="272" dy="0" xml:space="preserve">BEGIN_LOOP</tspan></text></g><g><rect fill="var(--color-paper)" height="50" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="96" x="350" y="24"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="356" y="35"><tspan x="356" dy="0" xml:space="preserve">i_2 := ϕ(i_3, i_1)</tspan><tspan x="356" dy="10" xml:space="preserve">REF_1 -&gt; LENGTH to_1</tspan><tspan x="356" dy="10" xml:space="preserve">TMP_0 = i_2 &lt; REF_1</tspan><tspan x="356" dy="10" xml:space="preserve">CONDITION TMP_0</tspan></text></g><g><rect fill="var(--color-paper)" height="40" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="121.2" x="492" y="82"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="498" y="93"><tspan x="498" dy="0" xml:space="preserve">REF_2 -&gt; to_1[i_2]</tspan><tspan x="498" dy="10" xml:space="preserve">REF_3 -&gt; balances_3[REF_2]</tspan><tspan x="498" dy="10" xml:space="preserve">
55bal_1 := REF_3</tspan></text></g><g><rect fill="var(--color-paper)" height="30" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="87.60000000000001" x="640" y="38"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="646" y="49"><tspan x="646" dy="0" xml:space="preserve">TMP_1 = bal_1 == 0</tspan><tspan x="646" dy="10" xml:space="preserve">CONDITION TMP_1</tspan></text></g><g><rect fill="var(--color-paper)" height="20" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="45.6" x="652" y="126"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="658" y="137"><tspan x="658" dy="0" xml:space="preserve">CONTINUE</tspan></text></g><g><rect fill="var(--color-paper)" height="20" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="37.2" x="566" y="172"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="572" y="183"><tspan x="572" dy="0" xml:space="preserve">END_IF</tspan></text></g><g><rect fill="var(--color-paper)" height="20" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="75" x="446" y="154"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="452" y="165"><tspan x="452" dy="0" xml:space="preserve">NEW VARIABLE ok</tspan></text></g><g><rect fill="var(--color-paper)" height="50" rx="1.5" stroke="currentColor" stroke-width="1.5" vector-effect="non-scaling-stroke" width="112.80000000000001" x="292" y="148"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="298" y="159"><tspan x="298" dy="0" xml:space="preserve">REF_4 -&gt; to_1[i_2]</tspan><tspan x="298" dy="10" xml:space="preserve">TUPLE_0 = LOW_LEVEL_CALL</tspan><tspan x="298" dy="10" xml:space="preserve">  dest:REF_4 value:bal_1</tspan><tspan x="298" dy="10" xml:space="preserve">ok_1 = UNPACK TUPLE_0</tspan></text></g><g><rect fill="var(--color-paper)" height="20" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="91.8" x="166" y="194"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="172" y="205"><tspan x="172" dy="0" xml:space="preserve">require(bool)(ok_1)</tspan></text></g><g><rect fill="var(--color-paper)" height="50" rx="1.5" stroke="currentColor" stroke-width="1.5" vector-effect="non-scaling-stroke" width="125.4" x="16" y="170"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="22" y="181"><tspan x="22" dy="0" xml:space="preserve">REF_6 -&gt; to_1[i_2]</tspan><tspan x="22" dy="10" xml:space="preserve">REF_7 -&gt; balances_3[REF_6]</tspan><tspan x="22" dy="10" xml:space="preserve">balances_4 := ϕ(balances_3)</tspan><tspan x="22" dy="10" xml:space="preserve">REF_7 := 0</tspan></text></g><g><rect fill="var(--color-paper)" height="20" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="121.2" x="172" y="280"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="178" y="291"><tspan x="178" dy="0" xml:space="preserve">paid_3 = paid_1 (c)+ bal_1</tspan></text></g><g><rect fill="var(--color-paper)" height="40" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="125.4" x="348" y="302"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="354" y="313"><tspan x="354" dy="0" xml:space="preserve">paid_2 := ϕ(paid_1, paid_3)</tspan><tspan x="354" dy="10" xml:space="preserve">TMP_3 := i_2</tspan><tspan x="354" dy="10" xml:space="preserve">i_3 = i_2 (c)+ 1</tspan></text></g><g><rect fill="var(--color-paper)" height="20" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="45.6" x="206" y="374"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="212" y="385"><tspan x="212" dy="0" xml:space="preserve">END_LOOP</tspan></text></g><g><rect fill="var(--color-paper)" height="20" rx="1.5" stroke="currentColor" stroke-width="0.75" vector-effect="non-scaling-stroke" width="167.4" x="18" y="412"></rect><text fill="currentColor" font-family="var(--font-mono)" font-size="7" x="24" y="423"><tspan x="24" dy="0" xml:space="preserve">totalPaid_2 = totalPaid_1 (c)+ paid_1</tspan></text></g></svg></figure></div></div></section></main><footer class="relative z-[2] border-t border-rule"><div class="mx-auto flex w-full max-w-sheet-max flex-wrap items-end justify-between gap-6 px-4 py-8 md:px-8 lg:px-12"><nav class="hidden flex-wrap items-center gap-1 wide:flex"><a data-slot="button" data-variant="ghost" data-size="default" class="group/button inline-flex shrink-0 items-center justify-center border border-transparent bg-clip-padding whitespace-nowrap transition-all outline-none select-none focus-visible:outline-2 focus-visible:outline-ink focus-visible:outline-offset-2 disabled:pointer-events-none disabled:opacity-50 aria-invalid:border-red-pencil [&amp;_svg]:pointer-events-none [&amp;_svg]:shrink-0 [&amp;_svg:not([class*=&#x27;
55size-&#x27;])]:size-4 aria-expanded:text-ink gap-1.5 has-data-[icon=inline-end]:pr-3 has-data-[icon=inline-start]:pl-3 h-9 rounded-sm px-2 text-ui-sm font-medium text-ink-2 hover:text-ink" href="/login">Sign in</a><span aria-hidden="true" class="text-ink-4">·</span><a href="/api/auth/login?intent=signup" data-slot="button" data-variant="ghost" data-size="default" class="group/button inline-flex shrink-0 items-center justify-center border border-transparent bg-clip-padding whitespace-nowrap transition-all outline-none select-none focus-visible:outline-2 focus-visible:outline-ink focus-visible:outline-offset-2 disabled:pointer-events-none disabled:opacity-50 aria-invalid:border-red-pencil [&amp;_svg]:pointer-events-none [&amp;_svg]:shrink-0 [&amp;_svg:not([class*=&#x27;size-&#x27;])]:size-4 aria-expanded:text-ink gap-1.5 has-data-[icon=inline-end]:pr-3 has-data-[icon=inline-start]:pl-3 h-9 rounded-sm px-2 text-ui-sm font-medium text-ink-2 hover:text-ink">Create account</a></nav><div class="ml-auto flex flex-col items-end gap-2"><div class="rounded-sm border border-rule px-3 py-2 font-mono text-label-sm font-medium tracking-label-sm text-ink-2 uppercase [font-feature-settings:&#x27;case&#x27;_1,&#x27;tnum&#x27;_1]"><p class="flex flex-col gap-1 text-right"><span>Audix</span><span>REV <!-- -->@audix/mcp<!-- --> <!-- -->0.1.0</span><span>BUILD cc34ef1  2026-09-03</span></p></div><p aria-hidden="true" class="font-mono text-label-sm font-medium tracking-label-sm text-ink-4">QVIS·CVSTODIET·IPSOS·CVSTODES</p></div></div></footer></div><!--$--><!--/$-->
55<script src="/_next/static/chunks/00tlx6.y8h6wd.js" nonce="177Igwb5QalKN+E2qQRpqw==" id="_R_" async=""></script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">(self.__next_f=self.__next_f||[]).push([0])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"1:\"$Sreact.fragment\"\n3:I[97189,[\"/_next/static/chunks/01s~ljbzstt85.js\",\"/_next/static/chunks/0v8lufty53mtr.js\"],\"default\"]\n4:I[25842,[\"/_next/static/chunks/01s~ljbzstt85.js\",\"/_next/static/chunks/0v8lufty53mtr.js\"],\"default\"]\n6:I[21625,[\"/_next/static/chunks/01s~ljbzstt85.js\",\"/_next/static/chunks/0v8lufty53mtr.js\"],\"OutletBoundary\"]\n7:\"$Sreact.suspense\"\na:I[21625,[\"/_next/static/chunks/01s~ljbzstt85.js\",\"/_next/static/chunks/0v8lufty53mtr.js\"],\"ViewportBoundary\"]\nc:I[21625,[\"/_next/static/chunks/01s~ljbzstt85.js\",\"/_next/static/chunks/0v8lufty53mtr.js\"],\"MetadataBoundary\"]\ne:I[2105,[\"/_next/static/chunks/0t8qa6h3_aa.l.js\"],\"default\",1]\n10:I[28287,[\"/_next/static/chunks/0t8qa6h3_aa.l.js\"],\"ThemeProvider\"]\n11:I[30652,[\"/_next/static/chunks/0t8qa6h3_aa.l.js\",\"/_next/static/chunks/0a7qyprj.rb7z.js\",\"/_next/static/chunks/139zov-b5ybzs.js\",\"/_next/static/chunks/0l2qn9ayocf.9.js\"],\"ThemeToggle\"]\n12:I[31440,[\"/_next/static/chunks/0t8qa6h3_aa.l.js\",\"/_next/static/chunks/0a7qyprj.rb7z.js\",\"/_next/static/chunks/139zov-b5ybzs.js\",\"/_next/static/chunks/0l2qn9ayocf.9.js\"],\"\"]\n30:I[55013,[\"/_next/static/chunks/01s~ljbzstt85.js\",\"/_next/static/chunks/0v8lufty53mtr.js\"],\"IconMark\"]\n:HL[\"/_next/static/chunks/03.egg~0653ee.css\",\"style\",{\"nonce\":\"177Igwb5QalKN+E2qQRpqw==\"}]\n:HL[\"/_next/static/media/03fc1b4a8d284b5e-s.p.09.f.n_ccld80.woff2\",\"font\",{\"crossOrigin\":\"\",\"nonce\":\"177Igwb5QalKN+E2qQRpqw==\",\"type\":\"font/woff2\"}]\n:HL[\"/_next/static/media/21c1dee959b18079-s.p.07jqaw7268ozj.woff2\",\"font\",{\"crossOrigin\":\"\",\"nonce\":\"177Igwb5QalKN+E2qQRpqw==\",\"type\":\"font/woff2\"}]\n:HL[\"/_next/static/media/99e609270109b47d-s.p.16-z~2sp29ex6.woff2\",\"font\",{\"crossOrigin\":\"\",\"nonce\":\"177Igwb5QalKN+E2qQRpqw==\",\"type\":\"font/woff2\"}]\n:HL[\"/_next/static/media/a46a75cfd765634f-s.p.05w.dojgtyxj~.woff2\",\"font\",{\"crossOrigin\":\"\",\"nonce\":\"177Igwb5QalKN+E2qQRpqw==\",\"type\":\"font/woff2\"}]\n:HL[\"/_next/static/media/effe91970fc4db64-s.p.07ig5l8azj~hy.woff2\",\"font\",{\"crossOrigin\":\"\",\"nonce\":\"177Igwb5QalKN+E2qQRpqw==\",\"type\":\"font/woff2\"}]\n"])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"0:{\"P\":null,\"c\":[\"\",\"login\"],\"q\":\"\",\"i\":false,\"f\":[[[\"\",{\"children\":[\"(public)\",{\"children\":[\"login\",{\"children\":[\"__PAGE__\",{}]}]}]},\"$undefined\",\"$undefined\",16],[[\"$\",\"$1\",\"c\",{\"children\":[[[\"$\",\"link\",\"0\",{\"rel\":\"stylesheet\",\"href\":\"/_next/static/chunks/03.egg~0653ee.css\",\"precedence\":\"next\",\"crossOrigin\":\"$undefined\",\"nonce\":\"177Igwb5QalKN+E2qQRpqw==\"}],[\"$\",\"script\",\"script-0\",{\"src\":\"/_next/static/chunks/0t8qa6h3_aa.l.js\",\"async\":true,\"nonce\":\"177Igwb5QalKN+E2qQRpqw==\"}]],\"$L2\"]}],{\"children\":[[\"$\",\"$1\",\"c\",{\"children\":[null,[\"$\",\"$L3\",null,{\"parallelRouterKey\":\"children\",\"error\":\"$undefined\",\"errorStyles\":\"$undefined\",\"errorScripts\":\"$undefined\",\"template\":[\"$\",\"$L4\",null,{}],\"templateStyles\":\"$undefined\",\"templateScripts\":\"$undefined\",\"notFound\":[[[\"$\",\"title\",null,{\"children\":\"404: This page could not be found.\"}],[\"$\",\"div\",null,{\"style\":{\"fontFamily\":\"system-ui,\\\"Segoe UI\\\",Roboto,Helvetica,Arial,sans-serif,\\\"Apple Color Emoji\\\",\\\"Segoe UI Emoji\\\"\",\"height\":\"100vh\",\"textAlign\":\"center\",\"display\":\"flex\",\"flexDirection\":\"column\",\"alignItems\":\"center\",\"justifyContent\":\"center\"},\"children\":[\"$\",\"div\",null,{\"children\":[[\"$\",\"style\",null,{\"dangerouslySetInnerHTML\":{\"__html\":\"body{color:#000;background:#fff;margin:0}.next-error-h1{border-right:1px solid rgba(0,0,0,.3)}@media (prefers-color-scheme:dark){body{color:#fff;background:#000}.next-error-h1{border-right:1px solid rgba(255,255,255,.3)}}\"}}],[\"$\",\"h1\",null,{\"className\":\"next-error-h1\",\"style\":{\"display\":\"inline-block\",\"margin\":\"0 20px 0 0\",\"padding\":\"0 23px 0 0\",\"fontSize\":24,\"fontWeight\":500,\"verticalAlign\":\"top\",\"lineHeight\":\"49px\"},\"children\":404}],[\"$\",\"div\",null,{\"style\":{\"display\":\"inline-block\"},\"children\":[\"$\",\"h2\",null,{\"style\":{\"fontSize\":14,\"fontWeight\":400,\"lineHeight\":\"49px\",\"margin\":0},\"children\":\"This page could not be found.\"}]}]]}]}]],[]],\"forbidden\":\"$undefined\",\"unauthorized\":\"$undefined\"}]]}],{\"children\":[[\"$\",\"$1\",\"c\",{\"children\":[null,[\"$\",\"$L3\",null,{\"parallelRouterKey\":\"children\",\"error\":\"$undefined\",\"errorStyles\":\"$undefined\",\"errorScripts\":\"$undefined\",\"template\":[\"$\",\"$L4\",null,{}],\"templateStyles\":\"$undefined\",\"templateScripts\":\"$undefined\",\"notFound\":\"$undefined\",\"forbidden\":\"$undefined\",\"unauthorized\":\"$undefined\"}]]}],{\"children\":[[\"$\",\"$1\",\"c\",{\"children\":[\"$L5\",[[\"$\",\"script\",\"script-0\",{\"src\":\"/_next/static/chunks/0a7qyprj.rb7z.js\",\"async\":true,\"nonce\":\"177Igwb5QalKN+E2qQRpqw==\"}],[\"$\",\"script\",\"script-1\",{\"src\":\"/_next/static/chunks/139zov-b5ybzs.js\",\"async\":true,\"nonce\":\"177Igwb5QalKN+E2qQRpqw==\"}],[\"$\",\"script\",\"script-2\",{\"src\":\"/_next/static/chunks/0l2qn9ayocf.9.js\",\"async\":true,\"nonce\":\"177Igwb5QalKN+E2qQRpqw==\"}]],[\"$\",\"$L6\",null,{\"children\":[\"$\",\"$7\",null,{\"name\":\"Next.MetadataOutlet\",\"children\":\"$@8\"}]}]]}],{},null,false,null]},null,false,\"$@9\"]},null,false,\"$@9\"]},null,false,null],[\"$\",\"$1\",\"h\",{\"children\":[null,[\"$\",\"$La\",null,{\"children\":\"$Lb\"}],[\"$\",\"div\",null,{\"hidden\":true,\"children\":[\"$\",\"$Lc\",null,{\"children\":[\"$\",\"$7\",null,{\"name\":\"Next.Metadata\",\"children\":\"$Ld\"}]}]}],[\"$\",\"meta\",null,{\"name\":\"next-size-adjust\",\"content\":\"\"}]]}],false]],\"m\":\"$undefined\",\"G\":[\"$e\",[[\"$\",\"link\",\"0\",{\"rel\":\"stylesheet\",\"href\":\"/_next/static/chunks/03.egg~0653ee.css\",\"precedence\":\"next\",\"crossOrigin\":\"$undefined\",\"nonce\":\"177Igwb5QalKN+E2qQRpqw==\"}]]],\"S\":false,\"h\":null,\"s\":\"$undefined\",\"l\":\"$undefined\",\"p\":\"$undefined\",\"d\":\"$undefined\",\"b\":\"c4Y-0AKd8QOTemv1keSHR\"}\n"])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"f:[]\n9:\"$Wf\"\n"])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"2:[\"$\",\"html\",null,{\"className\":\"font-sans ibm_plex_sans_b0fb508e-module__wy56OG__variable ibm_plex_mono_80202997-module__cIrBtq__variable\",\"lang\":\"en\",\"suppressHydrationWarning\":true,\"children\":[\"$\",\"body\",null,{\"children\":[\"$\",\"$L10\",null,{\"nonce\":\"177Igwb5QalKN+E2qQRpqw==\",\"children\":[\"$\",\"$L3\",null,{\"parallelRouterKey\":\"children\",\"error\":\"$undefined\",\"errorStyles\":\"$undefined\",\"errorScripts\":\"$undefined\",\"template\":[\"$\",\"$L4\",null,{}],\"templateStyles\":\"$undefined\",\"templateScripts\":\"$undefined\",\"notFound\":[[[\"$\",\"title\",null,{\"children\":\"404: This page could not be found.\"}],[\"$\",\"div\",null,{\"style\":\"$0:f:0:1:1:children:0:props:children:1:props:notFound:0:1:props:style\",\"children\":[\"$\",\"div\",null,{\"children\":[[\"$\",\"style\",null,{\"dangerouslySetInnerHTML\":{\"__html\":\"body{color:#000;background:#fff;margin:0}.next-error-h1{border-right:1px solid rgba(0,0,0,.3)}@media (prefers-color-scheme:dark){body{color:#fff;background:#000}.next-error-h1{border-right:1px solid rgba(255,255,255,.3)}}\"}}],[\"$\",\"h1\",null,{\"className\":\"next-error-h1\",\"style\":\"$0:f:0:1:1:children:0:props:children:1:props:notFound:0:1:props:children:props:children:1:props:style\",\"children\":404}],[\"$\",\"div\",null,{\"style\":\"$0:f:0:1:1:children:0:props:children:1:props:notFound:0:1:props:children:props:children:2:props:style\",\"children\":[\"$\",\"h2\",null,{\"style\":\"$0:f:0:1:1:children:0:props:children:1:props:notFound:0:1:props:children:props:children:2:props:children:props:style\",\"children\":\"This page could not be found.\"}]}]]}]}]],[]],\"forbidden\":\"$undefined\",\"unauthorized\":\"$undefined\"}]}]}]}]\n"])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"5:[\"$\",\"div\",null,{\"className\":\"sheet flex min-h-svh flex-col overflow-x-clip\",\"children\":[[\"$\",\"header\",null,{\"className\":\"relative z-[2] border-b border-rule\",\"children\":[\"$\",\"div\",null,{\"className\":\"relative mx-auto flex w-full max-w-sheet-max items-center justify-between px-4 py-3 md:px-8 lg:px-12\",\"children\":[[\"$\",\"span\",null,{\"className\":\"flex items-center gap-2 text-wordmark font-semibold tracking-wordmark text-ink\",\"children\":[\"Audix\",[\"$\",\"svg\",null,{\"aria-hidden\":\"true\",\"className\":\"size-5\",\"fill\":\"none\",\"stroke\":\"currentColor\",\"strokeLinecap\":\"square\",\"strokeLinejoin\":\"miter\",\"strokeWidth\":\"1\",\"viewBox\":\"0 0 24 24\",\"children\":[[\"$\",\"path\",null,{\"d\":\"M2 6V2h4M18 2h4v4M22 18v4h-4M6 22H2v-4\"}],[\"$\",\"path\",null,{\"d\":\"M12 4l1.5 6.5L20 12l-6.5 1.5L12 20l-1.5-6.5L4 12l6.5-1.5z\",\"fill\":\"currentColor\",\"stroke\":\"none\"}]]}]]}],[\"$\",\"svg\",null,{\"aria-hidden\":\"true\",\"className\":\"absolute left-1/2 hidden size-8 -translate-x-1/2 text-ink-3 wide:block\",\"fill\":\"none\",\"stroke\":\"currentColor\",\"strokeLinecap\":\"square\",\"strokeLinejoin\":\"miter\",\"strokeWidth\":\"1\",\"viewBox\":\"0 0 24 24\",\"children\":[[\"$\",\"path\",null,{\"d\":\"M2 6V2h4M18 2h4v4M22 18v4h-4M6 22H2v-4\"}],[\"$\",\"path\",null,{\"d\":\"M12 4l1.5 6.5L20 12l-6.5 1.5L12 20l-1.5-6.5L4 12l6.5-1.5z\",\"fill\":\"currentColor\",\"stroke\":\"none\"}]]}],[\"$\",\"div\",null,{\"className\":\"flex items-center gap-2\",\"children\":[[\"$\",\"$L11\",null,{}],[\"$\",\"$L12\",null,{\"href\":\"/login\",\"children\":\"Log in\",\"data-slot\":\"button\",\"data-variant\":\"outline\",\"data-size\":\"default\",\"className\":\"group/button inline-flex shrink-0 items-center justify-center bg-clip-padding whitespace-nowrap transition-all outline-none select-none focus-visible:outline-2 focus-visible:outline-ink focus-visible:outline-offset-2 disabled:pointer-events-none disabled:opacity-50 aria-invalid:border-red-pencil [\u0026_svg]:pointer-events-none [\u0026_svg]:shrink-0 [\u0026_svg:not([class*='size-'])]:size-4 aria-expanded:bg-paper-well gap-1.5 has-data-[icon=inline-end]:pr-3 has-data-[icon=inline-start]:pl-3 h-10 rounded-sm border border-ink bg-paper px-4 text-ui-md font-medium text-ink hover:bg-paper-well\",\"ref\":null}]]}]]}]}],[\"$\",\"main\",null,{\"className\":\"relative z-[2] mx-auto w-full max-w-sheet-max flex-1 px-4 md:px-8 lg:px-12\",\"children\":[[\"$\",\"h1\",null,{\"className\":\"sr-only\",\"children\":\"Connect Audix MCP to your coding agent\"}],[\"$\",\"section\",null,{\"className\":\"poster mx-auto w-full max-w-[560px] wide:max-w-none\",\"children\":[\"$\",\"div\",null,{\"className\":\"relative grid grid-cols-12 gap-x-[calc(24*var(--sheet-px))] gap-y-0 py-8 [grid-template-rows:auto_minmax(0,1fr)_auto] wide:min-h-[clamp(560px,92svh,900px)] wide:gap-y-[calc(40*var(--sheet-px))]\",\"children\":[[\"$\",\"div\",null,{\"aria-hidden\":\"true\",\"className\":\"col-span-12 row-start-1 mb-[calc(110*var(--nsheet-px))] grid grid-cols-[minmax(0,0.55fr)_minmax(0,1fr)] wide:hidden gap-x-[calc(24*var(--nsheet-px))]\",\"children\":[[\"$\",\"figure\",null,{\"aria-hidden\":\"true\",\"className\":\"data-block min-w-0 print-in\",\"data-source\":\"cast code 0xbb9bc244d798123fde783fcc1c72d3bb8c189413 (mainnet, runtime keccak 0x6a5d2475…a67caa) | cast disassemble — cast 1.5.1\",\"style\":{\"--print-order\":0},\"children\":[[\"$\",\"figcaption\",null,{\"className\":\"font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:'case'_1,'tnum'_1] text-ink-3\",\"children\":\"EVM — TheDAO\"}],[\"$\",\"pre\",null,{\"className\":\"mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:'tnum'_1,'zero'_1] [tab-size:2] text-ink-3\",\"children\":\"243c: CALL\\n243d: ISZERO\\n2441: JUMPI\\n  ⋮\\n2471: ADD\\n2473: SSTORE\"}]]}],[\"$\",\"figure\",null,{\"aria-hidden\":\"true\",\"className\":\"data-block min-w-0 print-in justify-self-end\",\"data-source\":\"tx 0x47f7cff7a5e671884629c93b368cb18f58a993f4b19c2a53a8662e3f1482f690, block 4501969 — cast tx + cast calldata-decode \\\"kill(address)\\\"\",\"style\":{\"--print-order\":1},\"children\":[\"$L13\",\"$L14\"]}]]}],\"$L15\",\"$L16\",\"$L17\"]}]}]]}],\"$L18\"]}]\n"])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"13:[\"$\",\"figcaption\",null,{\"className\":\"font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:'case'_1,'tnum'_1] text-ink-3\",\"children\":\"Parity WalletLib.kill\"}]\n14:[\"$\",\"pre\",null,{\"className\":\"mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:'tnum'_1,'zero'_1] [tab-size:2] text-ink-3\",\"children\":\"0000 cbf0b0c0         |sel\\n0004 0000000000000000 |pad\\n000c 00000000ae7168de |_to\\n0014 b525862f4fee37d9 |_to\\n001c 87a971b385b96952 |_to\\n_to = self (devops199)\"}]\n"])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"15:[\"$\",\"div\",null,{\"className\":\"hidden wide:contents\",\"children\":[[\"$\",\"figure\",null,{\"aria-hidden\":\"true\",\"className\":\"data-block min-w-0 print-in z-[2] col-span-3 col-start-1 row-start-1 self-start\",\"data-source\":\"cast code 0xbb9bc244d798123fde783fcc1c72d3bb8c189413 (mainnet, runtime keccak 0x6a5d2475…a67caa) | cast disassemble — cast 1.5.1\",\"style\":{\"--print-order\":0},\"children\":[[\"$\",\"figcaption\",null,{\"className\":\"font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:'case'_1,'tnum'_1] text-ink-3\",\"children\":\"EVM — TheDAO.withdrawRewardFor\"}],[\"$\",\"pre\",null,{\"className\":\"mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:'tnum'_1,'zero'_1] [tab-size:2] fade-right text-ink-3\",\"children\":\"243a: GAS\\n243b: SUB\\n243c: CALL\\n243d: ISZERO\\n243e: PUSH2 0x0002\\n2441: JUMPI\\n  ⋮\\n2464: PUSH1 0x09\\n246c: KECCAK256\\n246e: SLOAD\\n2471: ADD\\n2473: SSTORE\"}]]}],[\"$\",\"figure\",null,{\"aria-hidden\":\"true\",\"className\":\"data-block min-w-0 print-in z-[2] col-span-3 col-start-4 row-start-1 self-start\",\"data-source\":\"tx 0x47f7cff7a5e671884629c93b368cb18f58a993f4b19c2a53a8662e3f1482f690, block 4501969 — cast tx + cast calldata-decode \\\"kill(address)\\\"\",\"style\":{\"--print-order\":1},\"children\":[[\"$\",\"figcaption\",null,{\"className\":\"font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:'case'_1,'tnum'_1] text-ink-3\",\"children\":\"CALLDATA — Parity WalletLibrary.kill\"}],[\"$\",\"pre\",null,{\"className\":\"mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:'tnum'_1,'zero'_1] [tab-size:2] fade-right text-ink-3\",\"children\":\"// tx 0x47f7cff7..f690  block 4501969\\n// selector cbf0b0c0 = kill(address)\\n\\n0000  cbf0b0c0                         | sel\\n0004  000000000000000000000000ae7168de | _to\\n0014  b525862f4fee37d987a971b385b96952 | _to\\n\\n_to  = 0xae7168..b96952 = msg.sender\\nvalue 0  -  nonce 89  -  2017-11-06\\n\\\"I accidentally killed it.\\\"\"}]]}],[\"$\",\"figure\",null,{\"aria-hidden\":\"true\",\"className\":\"data-block min-w-0 print-in z-[2] col-span-2 col-start-7 row-start-1 self-start\",\"data-source\":\"python/program_analysis/templates/medusa_config/medusa.json.j2:3,:7,:9 + docs/primers/glossary.md:44\",\"style\":{\"--print-order\":2},\"children\":[[\"$\",\"figcaption\",null,{\"className\":\"font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:'case'_1,'tnum'_1] text-ink-3\",\"children\":\"SYSTEM STATUS\"}],[\"$\",\"pre\",null,{\"className\":\"mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:'tnum'_1,'zero'_1] [tab-size:2] fade-right text-ink-3\",\"children\":\"ENGINE        MEDUSA\\nWORKERS       16\\nSEQ LEN       100\\nCOVERAGE      GUIDED\\nPHASE         TARGET_FUNCTIONS\"}]]}],[\"$\",\"figure\",null,{\"aria-hidden\":\"true\",\"className\":\"data-block min-w-0 print-in z-[2] col-span-4 col-start-9 row-start-1 self-start\",\"data-source\":\"Bitcoin block 0 coinbase scriptSig — dbl-SHA256(header) == 000000000019d6689c085ae165831e934ff763ae46a2a6c172b3f1b60a8ce26f; Bitcoin Core src/kernel/chainparams.cpp CreateGenesisBlock\",\"style\":{\"--print-order\":3},\"children\":[[\"$\",\"figcaption\",null,{\"className\":\"font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:'case'_1,'tnum'_1] text-ink-3\",\"children\":\"BTC GENESIS — coinbase scriptSig\"}],[\"$\",\"pre\",null,{\"className\":\"mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:'tnum'_1,'zero'_1] [tab-size:2] fade-right text-ink-3\",\"children\":\"00: 04ff ff00 1d01 0445 5468 6520 54
5569 6d65 .......EThe Time\\n10: 7320 3033 2f4a 616e 2f32 3030 3920 4368 s 03/Jan/2009 Ch\\n20: 616e 6365 6c6c 6f72 206f 6e20 6272 696e ancellor on brin\\n30: 6b20 6f66 2073 6563 6f6e 6420 6261 696c k of second bail\\n40: 6f75 7420 666f 7220 6261 6e6b 73        out for banks\"}]]}],\"$L19\"]}]\n"])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"16:[\"$\",\"div\",null,{\"className\":\"relative isolate col-span-12 row-start-2 self-center wide:col-start-3 wide:col-end-11\",\"children\":[[\"$\",\"div\",null,{\"className\":\"hidden wide:contents\",\"children\":[[\"$\",\"div\",null,{\"aria-hidden\":\"true\",\"className\":\"statue statue--bust-01 pointer-events-none absolute top-0 left-0 z-0 w-[28%] -translate-x-[55%] -translate-y-[50%]\",\"children\":[\"$\",\"img\",null,{\"alt\":\"\",\"loading\":\"lazy\",\"src\":\"/art/bust-01-480-print.webp\"}]}],[\"$\",\"div\",null,{\"aria-hidden\":\"true\",\"className\":\"statue statue--temple-01 pointer-events-none absolute right-0 bottom-0 z-0 w-[28%] translate-x-[78%]\",\"children\":[\"$\",\"img\",null,{\"alt\":\"\",\"loading\":\"lazy\",\"src\":\"/art/temple-01-480-print.webp\"}]}]]}],[\"$\",\"div\",null,{\"aria-hidden\":\"true\",\"className\":\"statue statue--bust-01 pointer-events-none absolute -top-[calc(150*var(--nsheet-px))] left-[10%] z-0 w-[44%] wide:hidden\",\"children\":[\"$\",\"img\",null,{\"alt\":\"\",\"loading\":\"lazy\",\"src\":\"/art/bust-01-480-print.webp\"}]}],[\"$\",\"div\",null,{\"className\":\"relative z-[2]\",\"children\":[null,[\"$\",\"div\",null,{\"className\":\"plate @container group relative rounded-lg bg-ink p-6 text-on-ink shadow-plate\",\"children\":[[\"$\",\"span\",null,{\"aria-hidden\":\"true\",\"className\":\"plate-bracket plate-bracket--tl\"}],[\"$\",\"span\",null,{\"aria-hidden\":\"true\",\"className\":\"plate-bracket plate-bracket--tr\"}],[\"$\",\"span\",null,{\"aria-hidden\":\"true\",\"className\":\"plate-bracket plate-bracket--bl\"}],[\"$\",\"span\",null,{\"aria-hidden\":\"true\",\"className\":\"plate-bracket plate-bracket--br\"}],[\"$\",\"div\",null,{\"className\":\"flex items-center justify-between\",\"children\":[[\"$\",\"span\",null,{\"aria-hidden\":\"true\",\"className\":\"flex gap-1.5\",\"children\":[[\"$\",\"span\",null,{\"className\":\"size-2 rounded-full bg-on-ink-2\"}],[\"$\",\"span\",null,{\"className\":\"size-2 rounded-full bg-on-ink-2\"}],[\"$\",\"span\",null,{\"className\":\"size-2 rounded-full bg-on-ink-2\"}]]}],[\"$\",\"span\",null,{\"className\":\"rounded-sm border border-on-ink-2/50 px-1.5 py-0.5 font-mono text-label-sm font-medium tracking-label-sm text-on-ink-2 [font-feature-settings:'case'_1,'tnum'_1]\",\"children\":\"PKCE\"}]]}],[\"$\",\"p\",null,{\"className\":\"mt-4 font-mono text-label-md font-medium tracking-label-md text-on-ink-2 uppercase [font-feature-settings:'case'_1,'tnum'_1]\",\"children\":\"Sign in\"}],[\"$\",\"p\",null,{\"className\":\"mt-1 font-mono text-label-sm font-medium tracking-label-sm text-on-ink-3 uppercase [font-feature-settings:'case'_1]\",\"children\":\"Your session stays on the server\"}],[\"$\",\"div\",null,{\"className\":\"mt-5 grid max-w-[380px] gap-2.5\",\"children\":[[\"$\",\"a\",null,{\"className\":\"flex h-11 items-center justify-center gap-2.5 rounded-sm bg-paper px-4 text-ui-md font-medium text-ink hover:bg-paper/90\",\"href\":\"/api/auth/login?idp=Google\",\"children\":[[\"$\",\"svg\",null,{\"aria-hidden\":\"true\",\"className\":\"size-4\",\"fill\":\"currentColor\",\"viewBox\":\"0 0 488 512\",\"xmlns\":\"http://www.w3.org/2000/svg\",\"children\":[\"$\",\"path\",null,{\"d\":\"M488 261.8C488 403.3 391.1 504 248 504 110.8 504 0 393.2 0 256S110.8 8 248 8c66.8 0 123 24.5 166.3 64.9l-67.5 64.9C258.5 52.6 94.3 116.6 94.3 256c0 86.5 69.1 156.6 153.7 156.6 98.2 0 135-70.4 140.8-106.9H248v-85.3h236.1c2.3 12.7 3.9 24.9 3.9 41.4z\"}]}],\"Continue with Google\"]}],[\"$\",\"a\",null,{\"className\":\"flex h-11 items-center justify-center gap-2.5 rounded-sm border border-on-ink-2/50 px-4 text-ui-md font-medium text-on-ink hover:bg-on-ink-2/10\",\"href\":\"/api/auth/login\",\"children\":\"Continue with email\"}]]}],[\"$\",\"p\",null,{\"className\":\"mt-5 text-body-sm text-on-ink-2\",\"children\":[\"New to Audix?\",\" \",[\"$\",\"a\",null,{\"className\":\"font-medium text-on-ink underline underline-offset-4 hover:text-on-ink\",\"href\":\"/api/auth/login?intent=signup\",\"children\":\"Create account\"}]]}]]}],null]}]]}]\n"])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"17:[\"$\",\"div\",null,{\"className\":\"z-[2] col-span-12 row-start-3 hidden min-w-0 grid-cols-[minmax(0,0.77fr)_minmax(0,0.79fr)_minmax(0,1.3fr)_minmax(0,1.14fr)] items-start gap-x-[calc(24*var(--sheet-px))] wide:grid\",\"children\":[[\"$\",\"figure\",null,{\"aria-hidden\":\"true\",\"className\":\"data-block min-w-0 print-in\",\"data-source\":\"forge 1.5.1, FOUNDRY_INVARIANT_RUNS=16|64|256|1024 FOUNDRY_INVARIANT_DEPTH=15 forge test --mt invariant_solvency --fuzz-seed 0x1234 — design/easter-eggs/fuzz-signal/invariant-runs-raw.txt\",\"style\":{\"--print-order\":4},\"children\":[[\"$\",\"figcaption\",null,{\"className\":\"font-mono text-label-sm font-medium tracking-label-sm text-ink-3 uppercase [font-feature-settings:'case'_1,'tnum'_1]\",\"children\":\"FORGE INVARIANT — SOLVENCY\"}],[\"$\",\"svg\",null,{\"className\":\"mt-2 w-full text-ink-3\",\"fill\":\"none\",\"role\":\"img\",\"viewBox\":\"0 0 320 118\",\"children\":[[\"$\",\"title\",null,{\"children\":\"Foundry invariant throughput — calls vs runs, four real runs, all passing\"}],[\"$\",\"g\",null,{\"stroke\":\"var(--color-rule)\",\"strokeWidth\":\"0.75\",\"children\":[[[\"$\",\"line\",\"h-12\",{\"vectorEffect\":\"non-scaling-stroke\",\"x1\":12,\"x2\":308,\"y1\":12,\"y2\":12}],[\"$\",\"line\",\"h-47\",{\"vectorEffect\":\"non-scaling-stroke\",\"x1\":12,\"x2\":308,\"y1\":47,\"y2\":47}],[\"$\",\"line\",\"h-82\",{\"vectorEffect\":\"non-scaling-stroke\",\"x1\":12,\"x2\":308,\"y1\":82,\"y2\":82}]],[[\"$\",\"line\",\"v-16\",{\"vectorEffect\":\"non-scaling-stroke\",\"x1\":12,\"x2\":12,\"y1\":12,\"y2\":82}],[\"$\",\"line\",\"v-64\",{\"vectorEffect\":\"non-scaling-stroke\",\"x1\":110.66666666666666,\"x2\":110.66666666666666,\"y1\":12,\"y2\":82}],[\"$\",\"line\",\"v-256\",{\"vectorEffect\":\"non-scaling-stroke\",\"x1\":209.33333333333331,\"x2\":209.33333333333331,\"y1\":12,\"y2\":82}],[\"$\",\"line\",\"v-1024\",{\"vectorEffect\":\"non-scaling-stroke\",\"x1\":308,\"x2\":308,\"y1\":12,\"y2\":82}]]]}],[\"$\",\"polyline\",null,{\"className\":\"fuzz-draw\",\"pathLength\":1,\"points\":\"12,82 110.66666666666666,58.666666666666664 209.33333333333331,35.33333333333333 308,12\",\"stroke\":\"currentColor\",\"strokeWidth\":\"1.5\",\"vectorEffect\":\"non-scaling-stroke\"}],[[\"$\",\"rect\",\"16\",{\"fill\":\"currentColor\",\"height\":\"3\",\"width\":\"3\",\"x\":10.5,\"y\":80.5}],[\"$\",\"rect\",\"64\",{\"fill\":\"currentColor\",\"height\":\"3\",\"width\":\"3\",\"x\":109.16666666666666,\"y\":57.166666666666664}],[\"$\",\"rect\",\"256\",{\"fill\":\"currentColor\",\"height\":\"3\",\"width\":\"3\",\"x\":207.83333333333331,\"y\":33.83333333333333}],[\"$\",\"rect\",\"1024\",{\"fill\":\"currentColor\",\"height\":\"3\",\"width\":\"3\",\"x\":306.5,\"y\":10.5}]],[[\"$\",\"text\",\"16\",{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":\"7\",\"textAnchor\":\"start\",\"x\":12,\"y\":\"98\",\"children\":16}],[\"$\",\"text\",\"64\",{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":\"7\",\"textAnchor\":\"middle\",\"x\":110.66666666666666,\"y\":\"98\",\"children\":64}],[\"$\",\"text\",\"256\",{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":\"7\",\"textAnchor\":\"middle\",\"x\":209.33333333333331,\"y\":\"98\",\"children\":256}],[\"$\",\"text\",\"1024\",{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":\"7\",\"textAnchor\":\"end\",\"x\":308,\"y\":\"98\",\"children\":1024}]],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":\"7\",\"x\":12,\"y\":\"112\",\"children\":\"runs\"}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":\"7\",\"textAnchor\":\"start\",\"x\":16,\"y\":75,\"children\":[240,\" calls\"]}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":\"7\",\"textAnchor\":\"end\",\"x\":304,\"y\":22,\"children\":[15360,\" calls\"]}]]}],[\"$\",\"pre\",null,{\"className\":\"mt-1 overflow-hidden font-mono text-data-sm whitespace-pre text-ink-3 [font-feature-settings:'tnum'_1,'zero'_1]\",\"children\":\"[PASS]  calls = runs x depth(15)\"}]]}],[\"$\",\"figure\",null,{\"aria-hidden\":\"true\",\"className\":\"data-block min-w-0 print-in\",\"data-source\":\"EDD/evidence/oneworld/r7/oneworld-r7-skill-discovery.md:124-125,:61,:35-37 + spend-capture.
55json:1979,:19\",\"style\":{\"--print-order\":5},\"children\":[[\"$\",\"figcaption\",null,{\"className\":\"font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:'case'_1,'tnum'_1] text-ink-3\",\"children\":\"METRICS · oneworld r7\"}],[\"$\",\"pre\",null,{\"className\":\"mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:'tnum'_1,'zero'_1] [tab-size:2] fade-right text-ink-3\",\"children\":\"PROPERTIES    3\\nWRAPPERS      6\\nTOKENS        5,760,711 / 25,000,000\\nFORK          k2.6:cloud · 0.146.0\\nREWARD        1\"}]]}],[\"$\",\"figure\",null,{\"aria-hidden\":\"true\",\"className\":\"data-block min-w-0 print-in\",\"data-source\":\"forge test -vvvv — forge 1.5.1-stable (b0a9dd9c), solc 0.8.24, design/easter-eggs/trace/project (REPRODUCE.md)\",\"style\":{\"--print-order\":6},\"children\":[\"$L1a\",\"$L1b\"]}],\"$L1c\"]}]\n"])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"18:[\"$\",\"footer\",null,{\"className\":\"relative z-[2] border-t border-rule\",\"children\":[\"$\",\"div\",null,{\"className\":\"mx-auto flex w-full max-w-sheet-max flex-wrap items-end justify-between gap-6 px-4 py-8 md:px-8 lg:px-12\",\"children\":[[\"$\",\"nav\",null,{\"className\":\"hidden flex-wrap items-center gap-1 wide:flex\",\"children\":[[\"$\",\"$L12\",null,{\"href\":\"/login\",\"children\":\"Sign in\",\"data-slot\":\"button\",\"data-variant\":\"ghost\",\"data-size\":\"default\",\"className\":\"group/button inline-flex shrink-0 items-center justify-center border border-transparent bg-clip-padding whitespace-nowrap transition-all outline-none select-none focus-visible:outline-2 focus-visible:outline-ink focus-visible:outline-offset-2 disabled:pointer-events-none disabled:opacity-50 aria-invalid:border-red-pencil [\u0026_svg]:pointer-events-none [\u0026_svg]:shrink-0 [\u0026_svg:not([class*='size-'])]:size-4 aria-expanded:text-ink gap-1.5 has-data-[icon=inline-end]:pr-3 has-data-[icon=inline-start]:pl-3 h-9 rounded-sm px-2 text-ui-sm font-medium text-ink-2 hover:text-ink\",\"ref\":null}],[\"$\",\"span\",null,{\"aria-hidden\":\"true\",\"className\":\"text-ink-4\",\"children\":\"·\"}],[\"$\",\"a\",null,{\"href\":\"/api/auth/login?intent=signup\",\"children\":\"Create account\",\"data-slot\":\"button\",\"data-variant\":\"ghost\",\"data-size\":\"default\",\"className\":\"group/button inline-flex shrink-0 items-center justify-center border border-transparent bg-clip-padding whitespace-nowrap transition-all outline-none select-none focus-visible:outline-2 focus-visible:outline-ink focus-visible:outline-offset-2 disabled:pointer-events-none disabled:opacity-50 aria-invalid:border-red-pencil [\u0026_svg]:pointer-events-none [\u0026_svg]:shrink-0 [\u0026_svg:not([class*='size-'])]:size-4 aria-expanded:text-ink gap-1.5 has-data-[icon=inline-end]:pr-3 has-data-[icon=inline-start]:pl-3 h-9 rounded-sm px-2 text-ui-sm font-medium text-ink-2 hover:text-ink\",\"ref\":null}]]}],[\"$\",\"div\",null,{\"className\":\"ml-auto flex flex-col items-end gap-2\",\"children\":[[\"$\",\"div\",null,{\"className\":\"rounded-sm border border-rule px-3 py-2 font-mono text-label-sm font-medium tracking-label-sm text-ink-2 uppercase [font-feature-settings:'case'_1,'tnum'_1]\",\"children\":[\"$\",\"p\",null,{\"className\":\"flex flex-col gap-1 text-right\",\"children\":[[\"$\",\"span\",null,{\"children\":\"Audix\"}],[\"$\",\"span\",null,{\"children\":[\"REV \",\"@audix/mcp\",\" \",\"0.1.0\"]}],[\"$\",\"span\",null,{\"children\":\"BUILD cc34ef1  2026-09-03\"}]]}]}],[\"$\",\"p\",null,{\"aria-hidden\":\"true\",\"className\":\"font-mono text-label-sm font-medium tracking-label-sm text-ink-4\",\"children\":\"QVIS·CVSTODIET·IPSOS·CVSTODES\"}]]}]]}]}]\n"])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"19:[\"$\",\"div\",null,{\"aria-hidden\":\"true\",\"className\":\"absolute top-1/2 right-0 z-[1] flex -translate-y-1/2 flex-col items-center gap-[calc(20*var(--sheet-px))] font-mono text-[length:calc(16*var(--sheet-px))] leading-none text-ink-4\",\"children\":[[\"$\",\"span\",null,{\"children\":\"◎\"}],[\"$\",\"span\",null,{\"children\":\"△\"}],[\"$\",\"span\",null,{\"children\":\"○\"}],[\"$\",\"span\",null,{\"children\":\"⬡\"}],[\"$\",\"span\",null,{\"children\":\"✛\"}]]}]\n1a:[\"$\",\"figcaption\",null,{\"className\":\"font-mono text-label-sm font-medium tracking-label-sm uppercase [font-feature-settings:'case'_1,'tnum'_1] text-ink-3\",\"children\":\"FORGE TEST -vvvv — Vault.withdraw\"}]\n1b:[\"$\",\"pre\",null,{\"className\":\"mt-2 overflow-hidden font-mono text-data-sm whitespace-pre [font-feature-settings:'tnum'_1,'zero'_1] [tab-size:2] fade-right text-ink-3\",\"children\":\"    │   ├─ [24779] Vault::withdraw()\\n    │   │   ├─ [17047] Attacker::receive{value: 1}()\\n    │   │   │   ├─ [16403] Vault::withdraw()\\n    │   │   │   │   ├─ [8671] Attacker::receive{value: 1}()\\n    │   │   │   │   │   ├─ [8027] Vault::withdraw()\\n    │   │   │   │   │   │   │   └─ ← [Stop]\\n    │   │   │   │   │   │   └─ ← [Stop]\\n    │   │   │   │   │   └─ ← [Stop]\\n    │   │   │   │   └─ ← [Stop]\\n    │   │   │   └─ ← [Stop]\\n    │   │   └─ ← [Stop]\\n    │   └─ ← [Stop]\\n    └─ ← [Stop]\"}]\n"])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"1c:[\"$\",\"figure\",null,{\"aria-hidden\":\"true\",\"className\":\"data-block min-w-0 print-in\",\"data-source\":\"slither --print cfg topology (slither-analyzer 0.11.6, byte-identical to vendored slither_internal 0.11.3) with SlithIR-SSA node labels from --print slithir-ssa; solc 0.8.33\",\"style\":{\"--print-order\":7},\"children\":[[\"$\",\"figcaption\",null,{\"className\":\"font-mono text-label-sm font-medium tracking-label-sm text-ink-3 uppercase [font-feature-settings:'case'_1,'tnum'_1]\",\"children\":\"SLITHIR CFG — Vault.payout\"}],[\"$\",\"svg\",null,{\"className\":\"mt-2 aspect-[760/455] w-full text-ink-3\",\"fill\":\"none\",\"role\":\"img\",\"viewBox\":\"0 0 760 455\",\"children\":[[\"$\",\"title\",null,{\"children\":\"SlithIR-SSA control-flow graph of Vault.payout — external call before state write inside the loop\"}],[\"$\",\"defs\",null,{\"children\":[\"$\",\"marker\",null,{\"id\":\"cfg-arrow\",\"markerHeight\":\"5\",\"markerWidth\":\"5\",\"orient\":\"auto-start-reverse\",\"refX\":\"4.5\",\"refY\":\"2.5\",\"children\":[\"$\",\"path\",null,{\"d\":\"M0 0L5 2.5L0 5Z\",\"fill\":\"currentColor\"}]}]}],[[\"$\",\"g\",\"n0-n1\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":72.2,\"y1\":34,\"x2\":100,\"y2\":58}],null]}],[\"$\",\"g\",\"n1-n4\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":158.2,\"y1\":58,\"x2\":184,\"y2\":28}],null]}],[\"$\",\"g\",\"n4-n2\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":229.6,\"y1\":28,\"x2\":266,\"y2\":64}],null]}],[\"$\",\"g\",\"n2-n5\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":320,\"y1\":64,\"x2\":350,\"y2\":49}],null]}],[\"$\",\"g\",\"n5-n6\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":446,\"y1\":49,\"x2\":492,\"y2\":102}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":\"5.5\",\"x\":469,\"y\":71.5,\"textAnchor\":\"middle\",\"children\":\"True\"}]]}],[\"$\",\"g\",\"n5-n3\",{\"children\":[[\"$\",\"path\",null,{\"d\":\"M 398 74 V 352 H 228.8 V 374\",\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\"}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":\"5.5\",\"x\":313.4,\"y\":220,\"textAnchor\":\"middle\",\"children\":\"False\"}]]}],[\"$\",\"g\",\"n6-n7\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":613.2,\"y1\":102,\"x2\":640,\"y2\":53}],null]}],[\"$\",\"g\",\"n7-n8\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":683.8,\"y1\":68,\"x2\":674.8,\"y2\":126}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":\"5.5\",\"x\":679.3,\"y\":93,\"textAnchor\":\"middle\",\"children\":\"True\"}]]}],[\"$\",\"g\",\"n7-n9\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":683.8,\"y1\":68,\"x2\":584.6,\"y2\":172}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":\"5.5\",\"x\":634.2,\"y\":116,\"textAnchor\":\"middle\",\"children\":\"False\"}]]}],[\"$\",\"g\",\"n8-n15\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":652,\"y1\":136,\"x2\":473.4,\"y2\":322}],null]}],[\"$\",\"g\",\"n9-n10\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":566,\"y1\":182,\"x2\":521,\"y2\":164}],null]}],[\"$\",\"g\",\"n10-n11\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":446,\"y1\":164,\"x2\":404.8,\"y2\":173}],null]}],[\"$\",\"g\",\"n11-n12\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":292,\"y1\":173,\"x2\":25
557.8,\"y2\":204}],null]}],[\"$\",\"g\",\"n12-n13\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":166,\"y1\":204,\"x2\":141.4,\"y2\":195}],null]}],[\"$\",\"g\",\"n13-n14\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":141.4,\"y1\":195,\"x2\":172,\"y2\":290}],null]}],[\"$\",\"g\",\"n14-n15\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":293.2,\"y1\":290,\"x2\":348,\"y2\":322}],null]}],[\"$\",\"g\",\"n15-n5\",{\"children\":[\"$L1d\",null]}],\"$L1e\"],[\"$L1f\",\"$L20\",\"$L21\",\"$L22\",\"$L23\",\"$L24\",\"$L25\",\"$L26\",\"$L27\",\"$L28\",\"$L29\",\"$L2a\",\"$L2b\",\"$L2c\",\"$L2d\",\"$L2e\",\"$L2f\"]]}]]}]\n"])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"1d:[\"$\",\"path\",null,{\"d\":\"M 473.4 322 H 482 V 14 H 398 V 24\",\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\"}]\n1e:[\"$\",\"g\",\"n3-n16\",{\"children\":[[\"$\",\"line\",null,{\"markerEnd\":\"url(#cfg-arrow)\",\"stroke\":\"currentColor\",\"strokeWidth\":\"0.75\",\"vectorEffect\":\"non-scaling-stroke\",\"x1\":206,\"y1\":384,\"x2\":185.4,\"y2\":422}],null]}]\n1f:[\"$\",\"g\",\"n0\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":20,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":58.2,\"x\":14,\"y\":24}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":20,\"y\":35,\"children\":[[\"$\",\"tspan\",\"ENTRY_POINT\",{\"x\":20,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"ENTRY_POINT\"}]]}]]}]\n20:[\"$\",\"g\",\"n1\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":20,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":58.2,\"x\":100,\"y\":48}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":106,\"y\":59,\"children\":[[\"$\",\"tspan\",\"paid_1 := 0\",{\"x\":106,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"paid_1 := 0\"}]]}]]}]\n21:[\"$\",\"g\",\"n4\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":20,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":45.6,\"x\":184,\"y\":18}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":190,\"y\":29,\"children\":[[\"$\",\"tspan\",\"i_1 := 0\",{\"x\":190,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"i_1 := 0\"}]]}]]}]\n22:[\"$\",\"g\",\"n2\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":20,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":54,\"x\":266,\"y\":54}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":272,\"y\":65,\"children\":[[\"$\",\"tspan\",\"BEGIN_LOOP\",{\"x\":272,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"BEGIN_LOOP\"}]]}]]}]\n23:[\"$\",\"g\",\"n5\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":50,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":96,\"x\":350,\"y\":24}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":356,\"y\":35,\"children\":[[\"$\",\"tspan\",\"i_2 := ϕ(i_3, i_1)\",{\"x\":356,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"i_2 := ϕ(i_3, i_1)\"}],[\"$\",\"tspan\",\"REF_1 -\u003e LENGTH to_1\",{\"x\":356,\"dy\":10,\"xmlSpace\":\"preserve\",\"children\":\"REF_1 -\u003e LENGTH to_1\"}],[\"$\",\"tspan\",\"TMP_0 = i_2 \u003c REF_1\",{\"x\":356,\"dy\":10,\"xmlSpace\":\"preserve\",\"children\":\"TMP_0 = i_2 \u003c REF_1\"}],[\"$\",\"tspan\",\"CONDITION TMP_0\",{\"x\":356,\"dy\":10,\"xmlSpace\":\"preserve\",\"children\":\"CONDITION TMP_0\"}]]}]]}]\n24:[\"$\",\"g\",\"n6\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":40,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":121.2,\"x\":492,\"y\":82}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":498,\"y\":93,\"children\":[[\"$\",\"tspan\",\"REF_2 -\u003e to_1[i_2]\",{\"x\":498,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"REF_2 -\u003e to_1[i_2]\"}],[\"$\",\"tspan\",\"REF_3 -\u003e balances_3[REF_2]\",{\"x\":498,\"dy\":10,\"xmlSpace\":\"preserve\",\"children\":\"REF_3 -\u003e balances_3[REF_2]\"}],[\"$\",\"tspan\",\"bal_1 := REF_3\",{\"x\":498,\"dy\":10,\"xmlSpace\":\"preserve\",\"children\":\"bal_1 := REF_3\"}]]}]]}]\n25:[\"$\",\"g\",\"n7\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\"
55:30,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":87.60000000000001,\"x\":640,\"y\":38}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":646,\"y\":49,\"children\":[[\"$\",\"tspan\",\"TMP_1 = bal_1 == 0\",{\"x\":646,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"TMP_1 = bal_1 == 0\"}],[\"$\",\"tspan\",\"CONDITION TMP_1\",{\"x\":646,\"dy\":10,\"xmlSpace\":\"preserve\",\"children\":\"CONDITION TMP_1\"}]]}]]}]\n26:[\"$\",\"g\",\"n8\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":20,\"rx\":\"1.5\""])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":45.6,\"x\":652,\"y\":126}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":658,\"y\":137,\"children\":[[\"$\",\"tspan\",\"CONTINUE\",{\"x\":658,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"CONTINUE\"}]]}]]}]\n27:[\"$\",\"g\",\"n9\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":20,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":37.2,\"x\":566,\"y\":172}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":572,\"y\":183,\"children\":[[\"$\",\"tspan\",\"END_IF\",{\"x\":572,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"END_IF\"}]]}]]}]\n28:[\"$\",\"g\",\"n10\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":20,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":75,\"x\":446,\"y\":154}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":452,\"y\":165,\"children\":[[\"$\",\"tspan\",\"NEW VARIABLE ok\",{\"x\":452,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"NEW VARIABLE ok\"}]]}]]}]\n29:[\"$\",\"g\",\"n11\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":50,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":1.5,\"vectorEffect\":\"non-scaling-stroke\",\"width\":112.80000000000001,\"x\":292,\"y\":148}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":298,\"y\":159,\"children\":[[\"$\",\"tspan\",\"REF_4 -\u003e to_1[i_2]\",{\"x\":298,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"REF_4 -\u003e to_1[i_2]\"}],[\"$\",\"tspan\",\"TUPLE_0 = LOW_LEVEL_CALL\",{\"x\":298,\"dy\":10,\"xmlSpace\":\"preserve\",\"children\":\"TUPLE_0 = LOW_LEVEL_CALL\"}],[\"$\",\"tspan\",\"  dest:REF_4 value:bal_1\",{\"x\":298,\"dy\":10,\"xmlSpace\":\"preserve\",\"children\":\"  dest:REF_4 value:bal_1\"}],[\"$\",\"tspan\",\"ok_1 = UNPACK TUPLE_0\",{\"x\":298,\"dy\":10,\"xmlSpace\":\"preserve\",\"children\":\"ok_1 = UNPACK TUPLE_0\"}]]}]]}]\n2a:[\"$\",\"g\",\"n12\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":20,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":91.8,\"x\":166,\"y\":194}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":172,\"y\":205,\"children\":[[\"$\",\"tspan\",\"require(bool)(ok_1)\",{\"x\":172,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"require(bool)(ok_1)\"}]]}]]}]\n2b:[\"$\",\"g\",\"n13\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":50,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":1.5,\"vectorEffect\":\"non-scaling-stroke\",\"width\":125.4,\"x\":16,\"y\":170}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":22,\"y\":181,\"children\":[[\"$\",\"tspan\",\"REF_6 -\u003e to_1[i_2]\",{\"x\":22,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"REF_6 -\u003e to_1[i_2]\"}],[\"$\",\"tspan\",\"REF_7 -\u003e balances_3[REF_6]\",{\"x\":22,\"dy\":10,\"xmlSpace\":\"preserve\",\"children\":\"REF_7 -\u003e balances_3[REF_6]\"}],[\"$\",\"tspan\",\"balances_4 := ϕ(balances_3)\",{\"x\":22,\"dy\":10,\"xmlSpace\":\"preserve\",\"children\":\"balances_4 := ϕ(balances_3)\"}],[\"$\",\"tspan\",\"REF_7 := 0\",{\"x\":22,\"dy\":10,\"xmlSpace\":\"preserve\",\"children\":\"REF_7 := 0\"}]]}]]}]\n2c:[\"$\",\"g\",\"n14\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":20,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":121.2,\"x\":172,\"y\":280}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":178,\"y\":291,\"children\":[[\"$\",\"tspan\",\"paid_3 = paid_1 (c)+ bal_1\",{\"x\":178,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"paid_3 = paid_1 (c)+ bal_1\"}]]}]]}]\n2d:[\"$\",\"g\",\"n15\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\"
55:40,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":125.4,\"x\":348,\"y\":302}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":354,\"y\":313,\"children\":[[\"$\",\"tspan\",\"paid_2 := ϕ(paid_1, paid_3)\",{\"x\":354,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"paid_2 := ϕ(paid_1, paid_3)\"}],[\"$\",\"tspan\",\"TMP_3 := i_2\",{\"x\":35"])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"4,\"dy\":10,\"xmlSpace\":\"preserve\",\"children\":\"TMP_3 := i_2\"}],[\"$\",\"tspan\",\"i_3 = i_2 (c)+ 1\",{\"x\":354,\"dy\":10,\"xmlSpace\":\"preserve\",\"children\":\"i_3 = i_2 (c)+ 1\"}]]}]]}]\n2e:[\"$\",\"g\",\"n3\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":20,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":45.6,\"x\":206,\"y\":374}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":212,\"y\":385,\"children\":[[\"$\",\"tspan\",\"END_LOOP\",{\"x\":212,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"END_LOOP\"}]]}]]}]\n2f:[\"$\",\"g\",\"n16\",{\"children\":[[\"$\",\"rect\",null,{\"fill\":\"var(--color-paper)\",\"height\":20,\"rx\":\"1.5\",\"stroke\":\"currentColor\",\"strokeWidth\":0.75,\"vectorEffect\":\"non-scaling-stroke\",\"width\":167.4,\"x\":18,\"y\":412}],[\"$\",\"text\",null,{\"fill\":\"currentColor\",\"fontFamily\":\"var(--font-mono)\",\"fontSize\":7,\"x\":24,\"y\":423,\"children\":[[\"$\",\"tspan\",\"totalPaid_2 = totalPaid_1 (c)+ paid_1\",{\"x\":24,\"dy\":0,\"xmlSpace\":\"preserve\",\"children\":\"totalPaid_2 = totalPaid_1 (c)+ paid_1\"}]]}]]}]\nb:[[\"$\",\"meta\",\"0\",{\"charSet\":\"utf-8\"}],[\"$\",\"meta\",\"1\",{\"name\":\"viewport\",\"content\":\"width=device-width, initial-scale=1\"}]]\n8:null\n"])</script>
55<script nonce="177Igwb5QalKN+E2qQRpqw==">self.__next_f.push([1,"d:[[\"$\",\"title\",\"0\",{\"children\":\"Sign in — Audix\"}],[\"$\",\"meta\",\"1\",{\"name\":\"description\",\"content\":\"Upload your Foundry project, get back a fuzz harness you can run.\"}],[\"$\",\"meta\",\"2\",{\"property\":\"og:title\",\"content\":\"Sign in — Audix\"}],[\"$\",\"meta\",\"3\",{\"property\":\"og:description\",\"content\":\"Upload your Foundry project, get back a fuzz harness you can run.\"}],[\"$\",\"meta\",\"4\",{\"property\":\"og:image\",\"content\":\"http://localhost:3000/opengraph-image?f58eb5ef62801ef8\"}],[\"$\",\"meta\",\"5\",{\"property\":\"og:image:type\",\"content\":\"image/png\"}],[\"$\",\"meta\",\"6\",{\"property\":\"og:image:width\",\"content\":\"1200\"}],[\"$\",\"meta\",\"7\",{\"property\":\"og:image:height\",\"content\":\"630\"}],[\"$\",\"meta\",\"8\",{\"property\":\"og:image:alt\",\"content\":\"Audix — connect the Audix MCP server to your coding agent with one command\"}],[\"$\",\"meta\",\"9\",{\"name\":\"twitter:card\",\"content\":\"summary_large_image\"}],[\"$\",\"meta\",\"10\",{\"name\":\"twitter:title\",\"content\":\"Sign in — Audix\"}],[\"$\",\"meta\",\"11\",{\"name\":\"twitter:description\",\"content\":\"Upload your Foundry project, get back a fuzz harness you can run.\"}],[\"$\",\"meta\",\"12\",{\"name\":\"twitter:image\",\"content\":\"http://localhost:3000/opengraph-image?f58eb5ef62801ef8\"}],[\"$\",\"meta\",\"13\",{\"name\":\"twitter:image:alt\",\"content\":\"Audix — connect the Audix MCP server to your coding agent with one command\"}],[\"$\",\"meta\",\"14\",{\"name\":\"twitter:image:type\",\"content\":\"image/png\"}],[\"$\",\"meta\",\"15\",{\"name\":\"twitter:image:width\",\"content\":\"1200\"}],[\"$\",\"meta\",\"16\",{\"name\":\"twitter:image:height\",\"content\":\"630\"}],[\"$\",\"link\",\"17\",{\"rel\":\"icon\",\"href\":\"/icon.svg?icon.0~5p99o~h1iuh.svg\",\"sizes\":\"any\",\"type\":\"image/svg+xml\"}],[\"$\",\"$L30\",\"18\",{}]]\n"])</script>
55</body></html>

Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.