guard: TroveManager joins the storage-layout zero-diff baseline (W9a)

The Recovery-Mode liquidation fix makes TroveManager an upgraded
implementation in the Phase 2 release. It changes no state, so it is a
strict zero-diff target. Baseline captured per the test-header recipe from
the unmodified sovryn-perimeter-fee @ b6584a6 tree with this branch's
hardhat.config.ts overlaid (storageLayout output).

Author: tjcloa

tests-perimeter/StorageLayout.zerodiff.test.js

@@ -13,7 +13,8 @@
 // per-target policy:
 //
 //   ZERO_DIFF   — any label/slot/offset/type difference fails (ActivePool,
-//                 CollSurplusPool: hooked but stateless).
+//                 CollSurplusPool: hooked but stateless; TroveManager: upgraded
+//                 for the Recovery-Mode liquidation fix, logic only).
 //   APPEND_ONLY — the baseline prefix must be byte-identical AND every added
 //                 entry must occupy a slot strictly beyond the baseline's last
 //                 slot; reordering, retyping, resizing or inserting fails
@@ -35,7 +36,7 @@
 //   1. git worktree add <tmp> sovryn-perimeter-fee
 //   2. overlay this repo's hardhat.config.ts (storageLayout output) into <tmp>
 //   3. (cd <tmp> && npx hardhat compile --force)
-//   4. extract the normalized layout for the three targets and overwrite
+//   4. extract the normalized layout for the four targets and overwrite
 //      tests-perimeter/baselines/storage-layout.sovryn-perimeter-fee.json (keep _meta).
 
 const assert = require("assert");
@@ -55,6 +56,8 @@ const TARGETS = [
     { fq: "contracts/ActivePool.sol:ActivePool", policy: ZERO_DIFF },
     // Gains claimCollWithFee — functions only, no state.
     { fq: "contracts/CollSurplusPool.sol:CollSurplusPool", policy: ZERO_DIFF },
+    // Upgraded for the Recovery-Mode liquidation fix (W9a): logic only, no state.
+    { fq: "contracts/TroveManager.sol:TroveManager", policy: ZERO_DIFF },
 ];
 
 describe("Perimeter — storage-layout upgrade safety (surplus-claim fee hook + exit-delay reroute)", () => {

tests-perimeter/baselines/storage-layout.sovryn-perimeter-fee.json

@@ -2,7 +2,7 @@
     "_meta": {
         "purpose": "Storage-layout zero-diff baseline for the Zero surplus-claim exit fee AND the security-perimeter delay hooks.",
         "baseRef": "sovryn-perimeter-fee @ b6584a6",
-        "note": "Normalized solc storageLayout (AST id suffixes after ')' stripped) for the upgradeable BorrowerOperations and CollSurplusPool proxies plus ActivePool, captured from the UNMODIFIED b6584a6 tree, before the surplus-claim fee hook and before the exit-delay hooks were applied. tests-perimeter/StorageLayout.zerodiff.test.js asserts the current tree's layout is identical \u2014 proving neither hook appends state (the controller and queue pointers live in EIP-1967 unstructured slots). Regenerate only on an intentional, reviewed layout change (see the test header).",
+        "note": "Normalized solc storageLayout (AST id suffixes after ')' stripped) for the upgradeable BorrowerOperations and CollSurplusPool proxies plus ActivePool, captured from the UNMODIFIED b6584a6 tree, before the surplus-claim fee hook and before the exit-delay hooks were applied. tests-perimeter/StorageLayout.zerodiff.test.js asserts the current tree's layout is identical \u2014 proving neither hook appends state (the controller and queue pointers live in EIP-1967 unstructured slots). Regenerate only on an intentional, reviewed layout change (see the test header). 2026-09-07 (W9a): contracts/TroveManager.sol:TroveManager added as a ZERO_DIFF target, captured from the same b6584a6 tree, because the Recovery-Mode liquidation fix makes TroveManager an upgraded implementation in the Phase 2 release; the fix changes no state.",
         "consumers": [
             "tests-perimeter/StorageLayout.zerodiff.test.js",
             "tests-perimeter/utils/storageLayout.js"
@@ -163,5 +163,163 @@
             "offset": 0,
             "type": "t_mapping(t_address,t_uint256)"
         }
+    ],
+    "contracts/TroveManager.sol:TroveManager": [
+        {
+            "label": "activePool",
+            "slot": "0",
+            "offset": 0,
+            "type": "t_contract(IActivePool)"
+        },
+        {
+            "label": "defaultPool",
+            "slot": "1",
+            "offset": 0,
+            "type": "t_contract(IDefaultPool)"
+        },
+        {
+            "label": "priceFeed",
+            "slot": "2",
+            "offset": 0,
+            "type": "t_contract(IPriceFeed)"
+        },
+        {
+            "label": "liquityBaseParams",
+            "slot": "3",
+            "offset": 0,
+            "type": "t_contract(ILiquityBaseParams)"
+        },
+        {
+            "label": "troveManagerRedeemOps",
+            "slot": "4",
+            "offset": 0,
+            "type": "t_address"
+        },
+        {
+            "label": "borrowerOperationsAddress",
+            "slot": "5",
+            "offset": 0,
+            "type": "t_address"
+        },
+        {
+            "label": "_stabilityPool",
+            "slot": "6",
+            "offset": 0,
+            "type": "t_contract(IStabilityPool)"
+        },
+        {
+            "label": "gasPoolAddress",
+            "slot": "7",
+            "offset": 0,
+            "type": "t_address"
+        },
+        {
+            "label": "collSurplusPool",
+            "slot": "8",
+            "offset": 0,
+            "type": "t_contract(ICollSurplusPool)"
+        },
+        {
+            "label": "_zusdToken",
+            "slot": "9",
+            "offset": 0,
+            "type": "t_contract(IZUSDToken)"
+        },
+        {
+            "label": "_zeroToken",
+            "slot": "10",
+            "offset": 0,
+            "type": "t_contract(IZEROToken)"
+        },
+        {
+            "label": "_zeroStaking",
+            "slot": "11",
+            "offset": 0,
+            "type": "t_contract(IZEROStaking)"
+        },
+        {
+            "label": "feeDistributor",
+            "slot": "12",
+            "offset": 0,
+            "type": "t_contract(IFeeDistributor)"
+        },
+        {
+            "label": "sortedTroves",
+            "slot": "13",
+            "offset": 0,
+            "type": "t_contract(ISortedTroves)"
+        },
+        {
+            "label": "baseRate",
+            "slot": "14",
+            "offset": 0,
+            "type": "t_uint256"
+        },
+        {
+            "label": "lastFeeOperationTime",
+            "slot": "15",
+            "offset": 0,
+            "type": "t_uint256"
+        },
+        {
+            "label": "Troves",
+            "slot": "16",
+            "offset": 0,
+            "type": "t_mapping(t_address,t_struct(Trove)_storage)"
+        },
+        {
+            "label": "totalStakes",
+            "slot": "17",
+            "offset": 0,
+            "type": "t_uint256"
+        },
+        {
+            "label": "totalStakesSnapshot",
+            "slot": "18",
+            "offset": 0,
+            "type": "t_uint256"
+        },
+        {
+            "label": "totalCollateralSnapshot",
+            "slot": "19",
+            "offset": 0,
+            "type": "t_uint256"
+        },
+        {
+            "label": "L_ETH",
+            "slot": "20",
+            "offset": 0,
+            "type": "t_uint256"
+        },
+        {
+            "label": "L_ZUSDDebt",
+            "slot": "21",
+            "offset": 0,
+            "type": "t_uint256"
+        },
+        {
+            "label": "rewardSnapshots",
+            "slot": "22",
+            "offset": 0,
+            "type": "t_mapping(t_address,t_struct(RewardSnapshot)_storage)"
+        },
+        {
+            "label": "TroveOwners",
+            "slot": "23",
+            "offset": 0,
+            "type": "t_array(t_address)dyn_storage"
+        },
+        {
+            "label": "lastETHError_Redistribution",
+            "slot": "24",
+            "offset": 0,
+            "type": "t_uint256"
+        },
+        {
+            "label": "lastZUSDDebtError_Redistribution",
+            "slot": "25",
+            "offset": 0,
+            "type": "t_uint256"
+        }
     ]
 }