{"bundle_version":1,"target":{"id":"omniguard-production-20261114","name":"OmniGuard production acceptance fixture","kind":"isolated-fixture"},"revision":"production-fixed-v0.1.4","rules":["OG-SOL-001","OG-SOL-002","OG-SOL-003","OG-SOL-004","OG-SOL-005","OG-SOL-006","OG-SOL-007","OG-SOL-008","OG-SOL-009","OG-SOL-010","OG-SOL-011","OG-SOL-012"],"report":{"schema_version":3,"engine_version":"0.1.4","scanned_files":1,"analysis":{"mode":"solc","compiler_version":"0.8.26+commit.8a97fa7a.Linux.g++"},"coverage":{"rule_set":"solidity-core/2026.11","rules":["OG-SOL-001","OG-SOL-002","OG-SOL-003","OG-SOL-004","OG-SOL-005","OG-SOL-006","OG-SOL-007","OG-SOL-008","OG-SOL-009","OG-SOL-010","OG-SOL-011","OG-SOL-012"],"files":["EffectVault.sol"],"source_sha256":{"EffectVault.sol":"18c00bd192c116d3b419c51b182f1301f41e602a5a9eb5e567b64860324635d8"},"complete":true},"diagnostics":[],"findings":[]},"sources":[{"path":"EffectVault.sol","sha256":"18c00bd192c116d3b419c51b182f1301f41e602a5a9eb5e567b64860324635d8","content":"// SPDX-License-Identifier: MIT\npragma solidity 0.8.26;\n\ncontract EffectVault {\n    struct Credit { uint256 amount; }\n    mapping(address => Credit) private credits;\n\n    function deposit() external payable {\n        credits[msg.sender].amount += msg.value;\n    }\n\n    function balanceOf(address who) external view returns (uint256) {\n        return credits[who].amount;\n    }\n\n    function withdraw() external {\n        Credit storage credit = credits[msg.sender];\n        uint256 amount = credit.amount;\n        require(amount != 0, \"no credit\");\n        credit.amount = 0;\n        _send(payable(msg.sender), amount);\n    }\n\n    function _send(address payable recipient, uint256 amount) private {\n        (bool ok,) = recipient.call{value: amount}(\"\");\n        require(ok, \"send failed\");\n    }\n}\n"}]}