refactor(vibenet): simplify conditional withdrawal contract

[haardikk21]

Summary

• simplify ConditionalWithdrawal.sol to use a normal bool public enabled in storage slot 0
• remove the custom hashed storage slot, inline assembly, and redundant flip() function
• update the Race the Agent predicate to read slot 0 with a one-byte boolean mask
• regenerate the Solidity ABI and bytecode artifact, producing a new deterministic contract address
• add a collapsed Advanced details section showing the Solidity contract and exact runtime predicate
• add lightweight Solidity and JSON syntax highlighting with readable light and dark themes

Stack

• Base: chore(vibenet): keep validity demos unlisted #124
• chore(vibenet): keep validity demos unlisted #124 is based on feat(vibenet): add Race the Agent validity demo #119

Verification

• conditional withdrawal contract, deployment, predicate, and race tests passed
• npm run typecheck
• targeted ESLint
• npm run build
• local Race the Agent route returned HTTP 200

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated
omni-ui	Ready	Preview	Sep 3, 2026 7:58pm UTC

[cb-heimdall]

🟡 Heimdall Review Status

Requirement	Status	More Info
Reviews	🟡 0/1	Denominator calculation Show calculation 1 if user is bot 0 1 if user is external 0 2 if repo is sensitive 0 From .codeflow.yml 1 Additional review requirements Show calculation Max 0 0 From CODEOWNERS 0 Global minimum 0 Max 1 1 1 if commit is unverified 0 Sum 1