Update conserveBalance account API (#56)

Author: makemake-kbo

src/PhEvm.sol

@@ -405,15 +405,18 @@ interface PhEvm {
         returns (bool);
 
     // ---------------------------------------------------------------
-    //  V2: Protection suite — supply conservation
+    //  V2: Protection suite — balance conservation
     // ---------------------------------------------------------------
 
-    /// @notice Checks that a token's totalSupply is unchanged between two forks.
+    /// @notice Checks that an account's ERC20 balance is unchanged between two forks.
     /// @param fork0 The baseline fork.
     /// @param fork1 The comparison fork.
     /// @param token The ERC20 token address.
-    /// @return True if totalSupply is identical at both forks.
-    function conserveBalance(ForkId calldata fork0, ForkId calldata fork1, address token) external returns (bool);
+    /// @param account The account whose balance should remain unchanged.
+    /// @return True if balanceOf(account) is identical at both forks.
+    function conserveBalance(ForkId calldata fork0, ForkId calldata fork1, address token, address account)
+        external
+        returns (bool);
 
     // ---------------------------------------------------------------
     //  V2: Protection suite — cumulative outflow circuit breaker

src/protection/vault/ERC4626AssetFlowAssertion.sol

@@ -18,13 +18,9 @@ import {ERC4626BaseAssertion} from "./ERC4626BaseAssertion.sol";
 ///   - **Zero address never holds shares**: balanceOf(address(0)) == 0 after every
 ///     share-minting operation.
 ///
-///   - **Share supply conservation**: the vault's share token totalSupply is unchanged
-///     across operations that should only transfer tokens, not mint/burn them.
-///     Uses the V2 `conserveBalance` precompile.
 ///
-/// @dev Uses V2 `registerTxEndTrigger` for tx-wide checks, `registerFnCallTrigger` +
-///      `ph.context()` for call-scoped checks, and `ph.conserveBalance()` for supply
-///      conservation verification.
+/// @dev Uses V2 `registerTxEndTrigger` for tx-wide checks and
+///      `registerFnCallTrigger` + `ph.context()` for call-scoped checks.
 abstract contract ERC4626AssetFlowAssertion is ERC4626BaseAssertion {
     /// @notice Register the default trigger set for asset-flow invariants.
     function _registerAssetFlowTriggers() internal view {