{
  "type": "ZkVmReceipt",
  "system": "risc0",
  "receiptFormat": "groth16-bn254",
  "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
  "seal": "FnJqQnhZy76bVkvzmYiAACydxrN9RUYhxw4zNJzhhr4pLI6hDUPeNwI51Ya5ECyPpssBNECQOmye6BM6Xxi9qAiTiV6bBUfMBAhoX5euqwU2XM6nITpS0SOw9o0U2ujQEj3AXKbZ+UiQMQRMN87cjvULIv97Ly8fWTgnkQyrIKYpYueTxBJwRPsuuSrS8pHxBqVbCOrADHxqZ+Z1AKCnmQ1zfNmdsYlaDaEZ2+aFjqJWexI8GJICt9R0mD/AW5v+Dk3zbGIqOCA+KagVeSnjEfn3NSnO9qCOct/6K/1bXAEbhfZX+E7EJpImENeBypDJt77vujBKYhSKRiHIGmT2Xw==",
  "journal": {
    "chaingraph_version": "0.4.0",
    "kernel_digest": "sha256:b112b2136dc497e69f632232e47a9a70fa63d7dbc3d67c313cf89edb1fb97f33",
    "output": {
      "conversions": [
        {
          "eip_rule": "MUST round down towards 0",
          "input": "1000",
          "op": "convertToShares",
          "output": "333",
          "output_if_rounded_other_way": "334",
          "rounding_changes_result": true,
          "rounding_direction": "down",
          "side": "assets_to_shares"
        },
        {
          "eip_rule": "MUST round down towards 0",
          "input": "1000",
          "op": "convertToAssets",
          "output": "3003",
          "output_if_rounded_other_way": "3004",
          "rounding_changes_result": true,
          "rounding_direction": "down",
          "side": "shares_to_assets"
        },
        {
          "eip_rule": "MUST return as close to and no more than the exact amount of Vault shares that would be minted in a deposit call",
          "input": "1000",
          "op": "previewDeposit",
          "output": "333",
          "output_if_rounded_other_way": "334",
          "rounding_changes_result": true,
          "rounding_direction": "down",
          "side": "assets_to_shares"
        },
        {
          "eip_rule": "MUST return as close to and no fewer than the exact amount of assets that would be deposited in a mint call",
          "input": "1000",
          "op": "previewMint",
          "output": "3004",
          "output_if_rounded_other_way": "3003",
          "rounding_changes_result": true,
          "rounding_direction": "up",
          "side": "shares_to_assets"
        },
        {
          "eip_rule": "MUST return as close to and no fewer than the exact amount of Vault shares that would be burned in a withdraw call",
          "input": "1000",
          "op": "previewWithdraw",
          "output": "334",
          "output_if_rounded_other_way": "333",
          "rounding_changes_result": true,
          "rounding_direction": "up",
          "side": "assets_to_shares"
        },
        {
          "eip_rule": "MUST return as close to and no more than the exact amount of assets that would be withdrawn in a redeem call",
          "input": "1000",
          "op": "previewRedeem",
          "output": "3003",
          "output_if_rounded_other_way": "3004",
          "rounding_changes_result": true,
          "rounding_direction": "down",
          "side": "shares_to_assets"
        }
      ],
      "declared_context": {
        "chain_id": "1",
        "network_label": "declared label, not a selector"
      },
      "fee": null,
      "note": "Recomputes ERC-4626 share/asset conversions from caller-declared vault state, applying the per-function rounding directions ERC-4626 mandates (convertToShares/convertToAssets/previewDeposit/previewRedeem round down; previewMint/previewWithdraw round up) and reporting the direction used for each. This kernel does NOT read any chain: it cannot know whether the declared total_assets/total_supply match any deployed vault, whether that vault's own implementation actually applies these directions, whether a rate change between two declared snapshots came from yield, loss, donation or an attack, or whether the declared fee basis points are the fee a vault really charges. Round-trip loss and zero-share-mint findings are properties of the declared numbers under the standard's arithmetic, not an audit of any deployment.",
      "rate_drift": null,
      "reasons": [],
      "round_trip": null,
      "rounding_table": [
        {
          "direction": "down",
          "eip_rule": "MUST round down towards 0",
          "op": "convertToAssets"
        },
        {
          "direction": "down",
          "eip_rule": "MUST round down towards 0",
          "op": "convertToShares"
        },
        {
          "direction": "down",
          "eip_rule": "MUST return as close to and no more than the exact amount of Vault shares that would be minted in a deposit call",
          "op": "previewDeposit"
        },
        {
          "direction": "up",
          "eip_rule": "MUST return as close to and no fewer than the exact amount of assets that would be deposited in a mint call",
          "op": "previewMint"
        },
        {
          "direction": "down",
          "eip_rule": "MUST return as close to and no more than the exact amount of assets that would be withdrawn in a redeem call",
          "op": "previewRedeem"
        },
        {
          "direction": "up",
          "eip_rule": "MUST return as close to and no fewer than the exact amount of Vault shares that would be burned in a withdraw call",
          "op": "previewWithdraw"
        }
      ],
      "vault_state": {
        "decimals_offset_used": "0",
        "total_assets": "1000000000000000000000",
        "total_supply": "333000000000000000000",
        "virtual_amounts_used": true,
        "virtual_assets": "1",
        "virtual_shares": "1"
      }
    }
  }
}