Update HIP-1195 with latest contract changes (#1302)

Signed-off-by: Neeharika-Sompalli <neeharika.sompalli@swirldslabs.com>

Author: Neeharika-Sompalli

HIP/hip-1195.md

@@ -12,7 +12,7 @@ status: Approved
 last-call-date-time: 2025-06-06T07:00:00Z
 created: 2025-02-19
 discussions-to: https://github.com/hiero-ledger/hiero-improvement-proposals/discussions/1172
-updated: 2025-09-17
+updated: 2025-10-03
 ---
 
 ## Abstract
@@ -593,32 +593,27 @@ message EvmHookState {
    */
   proto.ContractID hook_contract_id = 4;
 
-  /**
-   * True if the hook has been deleted.
-   */
-  bool deleted = 5;
-
   /**
    * For a lambda, its first storage key.
    */
-  bytes first_contract_storage_key = 6;
+  bytes first_contract_storage_key = 5;
 
   /**
    * If set, the id of the hook preceding this one in the owner's
    * doubly-linked list of hooks.
    */
-  google.protobuf.Int64Value previous_hook_id = 7;
+  google.protobuf.Int64Value previous_hook_id = 6;
 
   /**
    * If set, the id of the hook following this one in the owner's
    * doubly-linked list of hooks.
    */
-  google.protobuf.Int64Value next_hook_id = 8;
+  google.protobuf.Int64Value next_hook_id = 7;
 
   /**
    * The number of storage slots a lambda is using.
    */
-  uint32 num_storage_slots = 9;
+  uint32 num_storage_slots = 8;
 }
 
 /**
@@ -718,7 +713,8 @@ If any transaction repeats a hook id in its `hook_creation_details` list, it wil
 to create a hook with an id that is already occupied, it will fail with status `INDEX_IN_USE`. Similarly, if either
 update transaction tries to delete a hook with an id not in use, it will fail with status `HOOK_NOT_FOUND`. Much as an
 account can only be deleted when it has zero HTS token balances, a hook can only be deleted when it has zero storage
-slots. Otherwise deletion will fail with `HOOK_DELETION_REQUIRES_EMPTY_STORAGE`.
+slots. Otherwise deletion will fail with `HOOK_DELETION_REQUIRES_EMPTY_STORAGE`. An account can only be deleted when it
+has zero hooks; otherwise deletion will fail with `TRANSACTION_REQUIRES_ZERO_HOOKS`.
 
 To support atomic hook updates for compliance reasons, we **do** support deleting and recreating a hook with the same
 id in a single update transaction. (That is, the `hook_ids_to_delete` list is processed first; then the
@@ -831,8 +827,6 @@ The account allowance EVM hook ABI is as follows,
 pragma solidity >=0.4.9 <0.9.0;
 pragma experimental ABIEncoderV2;
 
-import './IHederaTokenService.sol';
-
 /// The interface for a generic EVM hook.
 interface IHieroHook {
     /// The context the hook is executing in
@@ -850,46 +844,48 @@ interface IHieroHook {
     }
 }
 
+
+// SPDX-License-Identifier: Apache-2.0
+pragma solidity >=0.4.9 <0.9.0;
+pragma experimental ABIEncoderV2;
+
+import './IHieroHook.sol';
 /// The interface for an account allowance hook invoked once before a CryptoTransfer.
 interface IHieroAccountAllowanceHook {
-    /// Combines HBAR and HTS asset transfers.
-    struct Transfers {
-        /// The HBAR transfers
-        IHederaTokenService.TransferList hbar;
-        /// The HTS token transfers
-        IHederaTokenService.TokenTransferList[] tokens;
-    }
+   /// A single balance adjustment in the range of a Hiero native token
+   struct AccountAmount {
+      // The address of the account whose balance is changing
+      address account;
+      // The amount in atomic units of the change
+      int64 amount;
+   }
 
-    /// Combines the full proposed transfers for a Hiero transaction,
-    /// including both its direct transfers and the implied HIP-18
-    /// custom fee transfers.
-    struct ProposedTransfers {
-        /// The transaction's direct transfers
-        Transfers direct;
-        /// The transaction's assessed custom fees
-        Transfers customFee;
-    }
+   /// A single NFT ownership change
+   struct NftTransfer {
+      // The address of the sender
+      address sender;
+      // The address of the receiver
+      address receiver;
+      // The serial number being transferred
+      int64 serialNo;
+   }
 
-    /// Decides if the proposed transfers are allowed, optionally in
-    /// the presence of additional context encoded by the transaction
-    /// payer in the extra calldata.
-    /// @param context The context of the hook call
-    /// @param proposedTransfers The proposed transfers
-    /// @return true If the proposed transfers are allowed, false or revert otherwise
-    function allow(
-       IHieroHook.HookContext calldata context,
-       ProposedTransfers memory proposedTransfers
-    ) external payable returns (bool);
-}
+   /// A zero-sum list of balance adjustments for a Hiero-native token
+   struct TokenTransferList {
+      // The Hiero token address
+      address token;
+      // For a fungible token, the zero-sum balance adjustments
+      AccountAmount[] adjustments;
+      // For a non-fungible token, the NFT ownership changes
+      NftTransfer[] nftTransfers;
+   }
 
-/// The interface for an account allowance hook invoked both before and after a CryptoTransfer.
-interface IHieroAccountAllowancePrePostHook {
    /// Combines HBAR and HTS asset transfers.
    struct Transfers {
-      /// The HBAR transfers
-      IHederaTokenService.TransferList hbar;
+      /// A zero-sum list of balance adjustments for HBAR specifically
+      AccountAmount[] hbarAdjustments;
       /// The HTS token transfers
-      IHederaTokenService.TokenTransferList[] tokens;
+      TokenTransferList[] tokens;
    }
 
    /// Combines the full proposed transfers for a Hiero transaction,
@@ -902,6 +898,27 @@ interface IHieroAccountAllowancePrePostHook {
       Transfers customFee;
    }
 
+   /// Decides if the proposed transfers are allowed, optionally in
+   /// the presence of additional context encoded by the transaction
+   /// payer in the extra calldata.
+   /// @param context The context of the hook call
+   /// @param proposedTransfers The proposed transfers
+   /// @return true If the proposed transfers are allowed, false or revert otherwise
+   function allow(
+      IHieroHook.HookContext calldata context,
+      ProposedTransfers memory proposedTransfers
+   ) external payable returns (bool);
+}
+
+// SPDX-License-Identifier: Apache-2.0
+pragma solidity >=0.4.9 <0.9.0;
+pragma experimental ABIEncoderV2;
+
+import './IHieroHook.sol';
+import './IHieroAccountAllowanceHook.sol';
+
+/// The interface for an account allowance hook invoked both before and after a CryptoTransfer.
+interface IHieroAccountAllowancePrePostHook {
    /// Decides if the proposed transfers are allowed BEFORE the CryptoTransfer
    /// business logic is performed, optionally in the presence of additional
    /// context encoded by the transaction payer in the extra calldata.
@@ -910,9 +927,9 @@ interface IHieroAccountAllowancePrePostHook {
    /// @return true If the proposed transfers are allowed, false or revert otherwise
    function allowPre(
       IHieroHook.HookContext calldata context,
-      ProposedTransfers memory proposedTransfers
+      IHieroAccountAllowanceHook.ProposedTransfers memory proposedTransfers
    ) external payable returns (bool);
-   
+
    /// Decides if the proposed transfers are allowed AFTER the CryptoTransfer
    /// business logic is performed, optionally in the presence of additional
    /// context encoded by the transaction payer in the extra calldata.
@@ -921,7 +938,7 @@ interface IHieroAccountAllowancePrePostHook {
    /// @return true If the proposed transfers are allowed, false or revert otherwise
    function allowPost(
       IHieroHook.HookContext calldata context,
-      ProposedTransfers memory proposedTransfers
+      IHieroAccountAllowanceHook.ProposedTransfers memory proposedTransfers
    ) external payable returns (bool);
 }
 ```