Document Engine X maintained proof deployment

2026-05-07 05:26:11 -07:00
parent 65a1650df9
commit 8f39bc539b
6 changed files with 1888 additions and 1 deletions
--- a/reports/status/chain138-cusdc-25pct-to-mainnet-cwusdc-bridge-20260507.md
+++ b/reports/status/chain138-cusdc-25pct-to-mainnet-cwusdc-bridge-20260507.md
@@ -0,0 +1,52 @@
+# Chain 138 cUSDC -> Mainnet cWUSDC 25% Bridge Proof
+
+Generated: 2026-05-07T05:07Z
+
+## Summary
+
+25% of the original Chain 138 deployer cUSDC balance was bridged to Ethereum Mainnet and minted as cWUSDC.
+
+| Item | Value |
+|---|---:|
+| Deployer / recipient | `0x4A666F96fC8764181194447A7dFdb7d471b301C8` |
+| Source token | Chain 138 `cUSDC` `0xf22258f57794CC8E06237084b353Ab30fFfa640b` |
+| Destination token | Mainnet `cWUSDC` `0x2de5F116bFcE3d0f922d9C8351e0c5Fc24b9284a` |
+| Chain 138 bridge | `0x152ed3e9912161b76bdfd368d0c84b7c31c10de7` |
+| Mainnet receiver | `0x2bF74583206A49Be07E0E8A94197C12987AbD7B5` |
+| Original Chain 138 cUSDC balance | `278,290,101.145438` |
+| 25% target | `69,572,525.286359` |
+| Canary amount | `1.000000` |
+| Remainder amount | `69,572,524.286359` |
+| Total bridged | `69,572,525.286359` |
+
+## Transactions
+
+| Step | Chain | Tx hash | Message id | Amount |
+|---|---|---|---|---:|
+| Canary lock/send | Chain 138 | `0xc4a4768b3eff4c3b45fbf6fb1a5d8489b560f79761e275e12b613031306485c3` | `0xcd01fb83c563a5182413f4deaaf86f18aab09482c8461d004d3839d8ac0a88ef` | `1.000000 cUSDC` |
+| 25% remainder lock/send | Chain 138 | `0x8dc4d8ebeae14ebb68279a011e71977c554083807efefe8e2045688d0382c853` | `0x088b54518d7b7adebe51585190af99733f9e15def15ee4fa0cae3ea460250dac` | `69,572,524.286359 cUSDC` |
+
+Both messages minted on Mainnet during polling.
+
+## Final Balances
+
+| Balance | Raw | Human |
+|---|---:|---:|
+| Chain 138 deployer cUSDC | `208717575859079` | `208,717,575.859079` |
+| Chain 138 bridge cUSDC escrow | `463540143332900` | `463,540,143.332900` |
+| Mainnet deployer cWUSDC | `70390629648705` | `70,390,629.648705` |
+| Mainnet cWUSDC total supply | `464645157034315` | `464,645,157.034315` |
+| Mainnet bridge mintedTotal(cWUSDC) | `463533143332900` | `463,533,143.332900` |
+
+## Route Checks
+
+- Source route used destination selector `5009297550715157269` for Ethereum Mainnet.
+- Mainnet receiver has `canonicalToMirrored(cUSDC) = cWUSDC`.
+- Mainnet receiver peer is enabled for selector `138`: `0x152eD3e9912161b76BDFd368D0C84B7C31C10dE7`, `true`.
+- The `.env` value `CHAIN138_SELECTOR=16015286601757825753` is not enabled on the Mainnet receiver. Do not use that selector for destination-side peer verification without reconciling the bridge/relay selector model.
+
+## Fee Notes
+
+The Chain 138 bridge fee token is Chain 138 LINK `0xb7721dD53A8c629d9f1Ba31a5819AFe250002b03`.
+
+Each send quoted `1000009600000000` raw LINK fee units. The deployer LINK balance after both sends was `962181013847780800000000`.
--- a/reports/status/dbis-engine-x-5b-cwusdc-ladder-recalc-20260506.md
+++ b/reports/status/dbis-engine-x-5b-cwusdc-ladder-recalc-20260506.md
--- a/reports/status/dbis-engine-x-mainnet-001-005-loop-proof-20260506.md
+++ b/reports/status/dbis-engine-x-mainnet-001-005-loop-proof-20260506.md
@@ -0,0 +1,91 @@
+# DBIS Engine X Mainnet 0.01 / 0.05 USD Loop Proof
+
+Generated: 2026-05-06
+
+## Summary
+
+Ethereum Mainnet proof completed with a dedicated Engine X proof vault. The proof uses wallet `cWUSDC`, XAUt collateral, and a dedicated internal `17 cWUSDC / 17 USDC` proof pool. Existing public Uniswap/DODO pools were not mutated.
+
+The loop shape is:
+
+```text
+escrow XAUt collateral
+borrow/deposit USDC inside the proof vault
+swap wallet cWUSDC -> USDC to repay the borrow
+swap the released/deposited USDC back into cWUSDC
+return XAUt collateral
+close
+```
+
+The final wallet cWUSDC reduction from the proof loops was `0.005801 cWUSDC`, which is `0.600812%` of the loop cWUSDC input and below the configured `1%` cap.
+
+## Live Contracts
+
+| Component | Address |
+|---|---|
+| DBIS Engine X proof vault | `0x9aA317dDccC2293d9F34dD9c837e24caF43CbfA3` |
+| cWUSDC | `0x2de5F116bFcE3d0f922d9C8351e0c5Fc24b9284a` |
+| USDC | `0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48` |
+| XAUt | `0x68749665FF8D2d112Fa859AA293F07A622782F38` |
+
+Contract source: `smom-dbis-138/contracts/flash/DBISEngineXProofVault.sol`
+
+## Transactions
+
+| Action | Tx |
+|---|---|
+| Deploy proof vault | `0x177cc94329b35e93da2004d578c8f27ff02995bd244cd8651c0b243490f3e8cf` |
+| Approve cWUSDC | `0x76b3e30a746c2fedce59ba242fb311d1791e9692dff1e328acabcd831a3ed81a` |
+| Approve USDC | `0x193b9a124805304e12ab4c506314446d4041ae2ac3cfa09d6225d17cb106ad88` |
+| Approve XAUt | `0x163d626761b44a4b02aa99fb117bbd6c503573399f48b43dec6b1770ba3ef931` |
+| Seed proof pool, `17 cWUSDC / 17 USDC` | `0xce0e262f99030ffba90d6659c30a8147a5f888fd7570a05bfa5a4743b118e39b` |
+| Fund lender bucket, `5 USDC` | `0x6655f95343adca03d3b8289b91d570f9ca5be9526c8a9590968428c00feba714` |
+| Batch proof, all 8 scenarios | `0xda991e4128379100d2159fe8e67dd412816ef76a583451c6cb610d6e3c67d471` |
+
+## Proof Results
+
+All amounts are 6-decimal raw-token compatible.
+
+| Scenario | Total USDC debt proved | cWUSDC in | cWUSDC returned | Net cWUSDC loss | Loss % |
+|---|---:|---:|---:|---:|---:|
+| `0.01`, single | `0.010000` | `0.010036` | `0.009975` | `0.000061` | `0.607812%` |
+| `0.01`, 3 loops | `0.030000` | `0.030111` | `0.029926` | `0.000185` | `0.614393%` |
+| `0.01`, 5 loops | `0.050000` | `0.050185` | `0.049880` | `0.000305` | `0.607751%` |
+| `0.01`, 7 loops | `0.070000` | `0.070259` | `0.069832` | `0.000427` | `0.607751%` |
+| `0.05`, single | `0.050000` | `0.050302` | `0.050000` | `0.000302` | `0.600374%` |
+| `0.05`, 3 loops | `0.150000` | `0.150911` | `0.150006` | `0.000905` | `0.599691%` |
+| `0.05`, 5 loops | `0.250000` | `0.251535` | `0.250029` | `0.001506` | `0.598724%` |
+| `0.05`, 7 loops | `0.350000` | `0.352187` | `0.350077` | `0.002110` | `0.599114%` |
+
+Aggregate:
+
+```text
+Total cWUSDC in:       0.965526
+Total cWUSDC returned: 0.959725
+Net cWUSDC loss:       0.005801
+Aggregate loss:        0.600812%
+```
+
+## Final On-Chain State
+
+Proof vault:
+
+```text
+poolCwusdcReserve:    17.005801 cWUSDC
+poolUsdcReserve:      17.000000 USDC
+lenderUsdcAvailable:   5.000000 USDC
+minimum XAUt for 0.01: 0.000004 XAUt
+minimum XAUt for 0.05: 0.000020 XAUt
+```
+
+Deployer wallet after proof:
+
+```text
+ETH:     0.007651475572918235
+cWUSDC: 818,104.362346
+USDC:    0.326379
+XAUt:    0.003256
+```
+
+XAUt collateral was returned to the wallet. USDC was reduced by the `17 USDC` pool seed and `5 USDC` lender funding. The proof pool retained only the cWUSDC round-trip loss as intended.
+
--- a/reports/status/mainnet-xaut-secured-loop-components-20260506T214708Z.json
+++ b/reports/status/mainnet-xaut-secured-loop-components-20260506T214708Z.json
@@ -0,0 +1,511 @@
+{
+  "addresses": {
+    "USDC": "0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48",
+    "XAUt": "0x68749665FF8D2d112Fa859AA293F07A622782F38",
+    "aaveDataProvider": "0x0a16f2FCC0D44FaE41cc54e079281D84A363bECD",
+    "aavePool": "0x87870Bca3F3fD6335C3F4ce8392D69350B4fA4E2",
+    "aaveProvider": "0x2f39d218133AFaB8F2B819B1066c7E434Ad94E9e",
+    "cWUSDC": "0x2de5F116bFcE3d0f922d9C8351e0c5Fc24b9284a",
+    "cWUSDT": "0xaF5017d0163ecb99D9B5D94e3b4D7b09Af44D8AE",
+    "cWXAUT": "0xACE1DBF857549a11aF1322e1f91F2F64b029c906",
+    "deployerOrHolder": "0x4A666F96fC8764181194447A7dFdb7d471b301C8"
+  },
+  "component": {
+    "name": "DBIS Engine X",
+    "purpose": "Ethereum Mainnet XAUt/USD secured-loop proof engine. XAUt is interpreted as XAU and USDC/cWUSDC as USD.",
+    "repo": "https://gitea.d-bis.org/DBIS/ENGINE-X.git",
+    "repoBindingStatus": "declared_not_cloned"
+  },
+  "constraints": {
+    "borrowCeiling": "D <= F * P * L",
+    "flashRepayment": "S >= F * (1 + g)",
+    "healthFactor": "HF = ((F * P * LT_XAUt) + (D * LT_USDC)) / D",
+    "primaryProofVenue": "Uniswap",
+    "safeDebt": "D <= (F * P * LT_XAUt) / (HF_target - LT_USDC)",
+    "takeoutCapacity": "F <= cWUSDC_value / (P_after_slippage * (1 + g))",
+    "uniswapRepayment": "XAUt out must cover flash principal plus Uniswap fee",
+    "uniswapRoute": "cWUSDC -> cWXAUT -> XAUt"
+  },
+  "generatedAt": "2026-05-06T21:48:04.307306+00:00",
+  "interpretation": {
+    "USDC": "USD cash/debt/collateral value",
+    "XAUt": "XAU commodity/collateral value",
+    "cWUSDC": "USD-denominated owned asset value for this model"
+  },
+  "mainnetProof": {
+    "aave": {
+      "dataProvider": "0x0a16f2FCC0D44FaE41cc54e079281D84A363bECD",
+      "finding": "XAUt is collateral-enabled but live LTV is zero, so live Aave cannot originate the USDC debt leg from XAUt collateral.",
+      "pool": "0x87870Bca3F3fD6335C3F4ce8392D69350B4fA4E2",
+      "provider": "0x2f39d218133AFaB8F2B819B1066c7E434Ad94E9e",
+      "reserves": {
+        "USDC": {
+          "aToken": "0x98C23E9d8f34FEFb1B7BD6a91B7FF122F4e16F5c",
+          "asset": "0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48",
+          "availableLiquidityRaw": "166807676484607",
+          "availableLiquidityUnits": "166807676.484607",
+          "borrowCapWholeTokens": "4500000000",
+          "borrowingEnabled": true,
+          "decimals": 6,
+          "isActive": true,
+          "isFrozen": false,
+          "liquidationBonusBps": 10450,
+          "liquidationThresholdBps": 7800,
+          "ltvBps": 7500,
+          "reserveFactorBps": 1000,
+          "stableBorrowRateEnabled": false,
+          "stableDebtToken": "0x0000000000000000000000000000000000000000",
+          "supplyCapWholeTokens": "5000000000",
+          "usageAsCollateralEnabled": true,
+          "variableDebtToken": "0x72E95b8931767C79bA4EeE721354d6E99a61D004"
+        },
+        "XAUt": {
+          "aToken": "0x8A2b6f94Ff3A89a03E8c02Ee92b55aF90c9454A2",
+          "asset": "0x68749665FF8D2d112Fa859AA293F07A622782F38",
+          "availableLiquidityRaw": "15988185513",
+          "availableLiquidityUnits": "15988.185513",
+          "borrowCapWholeTokens": "1",
+          "borrowingEnabled": false,
+          "decimals": 6,
+          "isActive": true,
+          "isFrozen": false,
+          "liquidationBonusBps": 10600,
+          "liquidationThresholdBps": 7500,
+          "ltvBps": 0,
+          "reserveFactorBps": 2000,
+          "stableBorrowRateEnabled": false,
+          "stableDebtToken": "0x0000000000000000000000000000000000000000",
+          "supplyCapWholeTokens": "25000",
+          "usageAsCollateralEnabled": true,
+          "variableDebtToken": "0xa665bB258D2a732C170dFD505924214c0b1AC74F"
+        }
+      }
+    },
+    "routes": {
+      "cWrappedXauPools": {
+        "cwusdcCwxautUniv2": {
+          "pair": "0xFfa378CC7c4FFEfa2793952Ef0dF8763ca8fE9B2",
+          "reserve0Raw": "12927855752",
+          "reserve0Units": "12927.855752",
+          "reserve1Raw": "23271",
+          "reserve1Units": "0.023271",
+          "status": "ok",
+          "token0": {
+            "address": "0x2de5F116bFcE3d0f922d9C8351e0c5Fc24b9284a",
+            "decimals": 6,
+            "symbol": "\"cWUSDC\""
+          },
+          "token1": {
+            "address": "0xACE1DBF857549a11aF1322e1f91F2F64b029c906",
+            "decimals": 6,
+            "symbol": "\"cWXAUT\""
+          }
+        },
+        "cwusdtCwxautUniv2": {
+          "pair": "0x3A1dAbab7B375918A36480e7256b29c9200e808A",
+          "reserve0Raw": "300000",
+          "reserve0Units": "0.3",
+          "reserve1Raw": "1000000000",
+          "reserve1Units": "1000",
+          "status": "ok",
+          "token0": {
+            "address": "0xACE1DBF857549a11aF1322e1f91F2F64b029c906",
+            "decimals": 6,
+            "symbol": "\"cWXAUT\""
+          },
+          "token1": {
+            "address": "0xaF5017d0163ecb99D9B5D94e3b4D7b09Af44D8AE",
+            "decimals": 6,
+            "symbol": "\"cWUSDT\""
+          }
+        },
+        "cwxautUsdcUniv2": {
+          "pair": "0x0000000000000000000000000000000000000000",
+          "status": "missing"
+        },
+        "cwxautXautUniv2": {
+          "pair": "0xEd1E7d67608F2f56E0E8C2c46E42d29C34e25eb0",
+          "reserve0Raw": "15",
+          "reserve0Units": "0.000015",
+          "reserve1Raw": "276729",
+          "reserve1Units": "0.276729",
+          "status": "ok",
+          "token0": {
+            "address": "0x68749665FF8D2d112Fa859AA293F07A622782F38",
+            "decimals": 6,
+            "symbol": "\"XAUt\""
+          },
+          "token1": {
+            "address": "0xACE1DBF857549a11aF1322e1f91F2F64b029c906",
+            "decimals": 6,
+            "symbol": "\"cWXAUT\""
+          }
+        }
+      },
+      "cwxautUsdcDodo": {
+        "baseBalanceRaw": "831",
+        "baseBalanceUnits": "0.000831",
+        "baseReserveRaw": "831",
+        "baseReserveUnits": "0.000831",
+        "baseToken": {
+          "address": "0xACE1DBF857549a11aF1322e1f91F2F64b029c906",
+          "decimals": 6,
+          "symbol": "\"cWXAUT\""
+        },
+        "pool": "0x1D51a38C924382287d770AbB61deb9C39ACa96E9",
+        "quoteBalanceRaw": "2659200",
+        "quoteBalanceUnits": "2.6592",
+        "quoteReserveRaw": "2659200",
+        "quoteReserveUnits": "2.6592",
+        "quoteToken": {
+          "address": "0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48",
+          "decimals": 6,
+          "symbol": "\"USDC\""
+        },
+        "status": "ok"
+      },
+      "internalUsdMeshUniv2": {
+        "pair": "0x422608c5dDff909675ac2C5F872fD42f16B9287A",
+        "reserve0Raw": "9900803423131",
+        "reserve0Units": "9900803.423131",
+        "reserve1Raw": "9900803423129",
+        "reserve1Units": "9900803.423129",
+        "status": "ok",
+        "token0": {
+          "address": "0x2de5F116bFcE3d0f922d9C8351e0c5Fc24b9284a",
+          "decimals": 6,
+          "symbol": "\"cWUSDC\""
+        },
+        "token1": {
+          "address": "0xaF5017d0163ecb99D9B5D94e3b4D7b09Af44D8AE",
+          "decimals": 6,
+          "symbol": "\"cWUSDT\""
+        }
+      },
+      "officialXautPools": {
+        "xautUsdcUniv2": {
+          "pair": "0xf2ED762E4B5ea630A0a390Acd366597383cbF29A",
+          "reserve0Raw": "106",
+          "reserve0Units": "0.000106",
+          "reserve1Raw": "510500",
+          "reserve1Units": "0.5105",
+          "status": "ok",
+          "token0": {
+            "address": "0x68749665FF8D2d112Fa859AA293F07A622782F38",
+            "decimals": 6,
+            "symbol": "\"XAUt\""
+          },
+          "token1": {
+            "address": "0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48",
+            "decimals": 6,
+            "symbol": "\"USDC\""
+          }
+        },
+        "xautUsdcUniv3": [
+          {
+            "exists": true,
+            "fee": 100,
+            "liquidity": "0",
+            "pool": "0xCD1FB6E44F73Edb20A0Cb7A23495888230D8993E"
+          },
+          {
+            "exists": true,
+            "fee": 500,
+            "liquidity": "202332554",
+            "pool": "0x425e00Cf56B45A55756E655f6af536003d793f2E"
+          },
+          {
+            "exists": true,
+            "fee": 3000,
+            "liquidity": "21130358552",
+            "pool": "0x841ea2475A989eECCD27Fe39967c19CB097357A3"
+          },
+          {
+            "exists": true,
+            "fee": 10000,
+            "liquidity": "419665832",
+            "pool": "0x16439c7007b9267cf1557f50F37497fCAa69A0dC"
+          }
+        ],
+        "xautWethUniv2": {
+          "pair": "0x589eA310F2500f6859d2619518fd1b95bB1bB0B1",
+          "reserve0Raw": "552",
+          "reserve0Units": "0.000552",
+          "reserve1Raw": "1033701040841919",
+          "reserve1Units": "0.00103370104",
+          "status": "ok",
+          "token0": {
+            "address": "0x68749665FF8D2d112Fa859AA293F07A622782F38",
+            "decimals": 6,
+            "symbol": "\"XAUt\""
+          },
+          "token1": {
+            "address": "0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2",
+            "decimals": 18,
+            "symbol": "\"WETH\""
+          }
+        },
+        "xautWethUniv3": [
+          {
+            "exists": true,
+            "fee": 100,
+            "liquidity": "0",
+            "pool": "0x179B43C8C6299D3993aDfC5068a9D19037dAE7FA"
+          },
+          {
+            "exists": false,
+            "fee": 500,
+            "pool": "0x0000000000000000000000000000000000000000"
+          },
+          {
+            "exists": true,
+            "fee": 3000,
+            "liquidity": "201017665360273",
+            "pool": "0xC5C7c21F4e60770CA5991a8832127A40f5236f73"
+          },
+          {
+            "exists": true,
+            "fee": 10000,
+            "liquidity": "16791344144700",
+            "pool": "0x3E04d683f7187BC0293e05006203AcCB29311767"
+          }
+        ]
+      },
+      "officialXautTakeoutRoute": {
+        "reason": "No repo-approved on-chain redemption/venue proof currently converts cWXAUT into official Mainnet XAUt inside the same transaction.",
+        "required": "A minOut-verifiable cWUSDC -> cWXAUT -> XAUt route or a compliant redemption adapter callable in the flash callback.",
+        "status": "proof_gated"
+      }
+    },
+    "tokens": {
+      "USDC": {
+        "address": "0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48",
+        "decimals": 6,
+        "holderBalanceRaw": "1",
+        "holderBalanceUnits": "0.000001",
+        "symbol": "\"USDC\""
+      },
+      "XAUt": {
+        "address": "0x68749665FF8D2d112Fa859AA293F07A622782F38",
+        "decimals": 6,
+        "holderBalanceRaw": "173",
+        "holderBalanceUnits": "0.000173",
+        "symbol": "\"XAUt\""
+      },
+      "cWUSDC": {
+        "address": "0x2de5F116bFcE3d0f922d9C8351e0c5Fc24b9284a",
+        "decimals": 6,
+        "holderBalanceRaw": "818121368147",
+        "holderBalanceUnits": "818121.368147",
+        "symbol": "\"cWUSDC\""
+      },
+      "cWUSDT": {
+        "address": "0xaF5017d0163ecb99D9B5D94e3b4D7b09Af44D8AE",
+        "decimals": 6,
+        "holderBalanceRaw": "8523829088635",
+        "holderBalanceUnits": "8523829.088635",
+        "symbol": "\"cWUSDT\""
+      },
+      "cWXAUT": {
+        "address": "0xACE1DBF857549a11aF1322e1f91F2F64b029c906",
+        "decimals": 6,
+        "holderBalanceRaw": "0",
+        "holderBalanceUnits": "0",
+        "symbol": "\"cWXAUT\""
+      }
+    }
+  },
+  "mode": "read_only_mainnet_proof_components",
+  "operatorCommands": {
+    "componentProof": "pnpm mainnet-xaut:loop-components",
+    "engineXComponentProof": "pnpm dbis-engine-x:component-proof",
+    "engineXRepo": "git ls-remote https://gitea.d-bis.org/DBIS/ENGINE-X.git",
+    "fullLoopNext": "mainnet fork first: build DBIS Engine X around Uniswap route/flash proof; Aave is informational until XAUt LTV is non-zero.",
+    "pyCompile": "python3 -m py_compile scripts/verify/prove-mainnet-xaut-secured-loop-components.py",
+    "shellSyntax": "bash -n scripts/verify/prove-mainnet-xaut-secured-loop-components.sh"
+  },
+  "readiness": {
+    "broadcastSafe": false,
+    "forkMockLoop": "ready_to_build_with_uniswap_primary_route",
+    "liveMainnetBorrowLeg": "not_used_uniswap_primary_aave_xaut_ltv_zero",
+    "primaryProofVenue": "uniswap",
+    "swapTakeoutLeg": "uniswap_cwusdc_cwxaut_xaut_route_ready"
+  },
+  "sizingModel": {
+    "forkMockCase": {
+      "borrowLegStatus": "model_ready",
+      "case": "fork_or_mock_secured_credit",
+      "healthFactorAtSafeDebt": "1.933846",
+      "maxFlashPrincipalXautBySwapAndLiquidity": "156.800894119962",
+      "maxUsdcDebtByHealthFactor": "1291940.9815",
+      "maxUsdcDebtByLtv": "526250.626464",
+      "safeUsdcDebt": "526250.626464",
+      "xautLiquidationThresholdBps": 7500,
+      "xautLtvBps": 6500
+    },
+    "liveAaveCase": {
+      "borrowLegStatus": "blocked_zero_ltv",
+      "case": "live_aave_mainnet",
+      "healthFactorAtSafeDebt": null,
+      "maxFlashPrincipalXautBySwapAndLiquidity": "156.800894119962",
+      "maxUsdcDebtByHealthFactor": "1291940.9815",
+      "maxUsdcDebtByLtv": "0",
+      "safeUsdcDebt": "0",
+      "xautLiquidationThresholdBps": 7500,
+      "xautLtvBps": 0
+    },
+    "swapTakeoutCapacity": {
+      "constraint": "F <= cWUSDC_value / (P_after_slippage * (1 + g))",
+      "maxXautFlashPrincipalRepayableByCwusdcRoute": "156.800894119962"
+    },
+    "variables": {
+      "cwusdcValueUsd": "818121.368147",
+      "flashFeeBps": "5",
+      "hfTarget": "1.25",
+      "priceAfterSlippageUsdPerXaut": "5214.97352729",
+      "slippageBps": "100",
+      "usdcLiquidationThresholdBps": 7800,
+      "xautPriceUsd": "5163.34012603"
+    }
+  },
+  "uniswapProofModel": {
+    "assumptions": {
+      "cwusdcUsdPerUnit": "1",
+      "cwxautToXautReference": "1:1 reference only unless cWXAUT/XAUt pair exists and quotes live",
+      "priceAfterSlippageUsdPerXaut": "5214.97352729",
+      "slippageBps": "100",
+      "uniswapV2FeeBps": 30,
+      "xautPriceUsd": "5163.34012603"
+    },
+    "inputToken": "0x2de5F116bFcE3d0f922d9C8351e0c5Fc24b9284a",
+    "intermediateToken": "0xACE1DBF857549a11aF1322e1f91F2F64b029c906",
+    "mode": "uniswap_cwusdc_to_cwxaut_then_cwxaut_xaut_quote_pair",
+    "proofRoute": [
+      "cWUSDC",
+      "cWXAUT",
+      "XAUt"
+    ],
+    "quotePairTarget": {
+      "base": "0xACE1DBF857549a11aF1322e1f91F2F64b029c906",
+      "pair": "0xEd1E7d67608F2f56E0E8C2c46E42d29C34e25eb0",
+      "quote": "0x68749665FF8D2d112Fa859AA293F07A622782F38",
+      "role": "official XAUt quote/takeout pair for cWXAUT",
+      "status": "ok"
+    },
+    "rows": [
+      {
+        "cwusdcInputRawPerLoop": "10000",
+        "cwusdcInputUnitsPerLoop": "0.01",
+        "cwxautOutRawPerLoop": "0",
+        "cwxautOutUnitsPerLoop": "0",
+        "cwxautOutUnitsTotal": "0",
+        "executableOnMainnet": true,
+        "loops": 1,
+        "perLoopUsdValue": "0.01",
+        "quotePairStatus": "ok",
+        "referenceSurplusCwxautVsRequiredXautUnits": "-0.000001917555",
+        "requiredOfficialXautUnitsTotal": "0.000001917555",
+        "totalUsdValue": "0.01"
+      },
+      {
+        "cwusdcInputRawPerLoop": "10000",
+        "cwusdcInputUnitsPerLoop": "0.01",
+        "cwxautOutRawPerLoop": "0",
+        "cwxautOutUnitsPerLoop": "0",
+        "cwxautOutUnitsTotal": "0",
+        "executableOnMainnet": true,
+        "loops": 3,
+        "perLoopUsdValue": "0.01",
+        "quotePairStatus": "ok",
+        "referenceSurplusCwxautVsRequiredXautUnits": "-0.000005752665",
+        "requiredOfficialXautUnitsTotal": "0.000005752665",
+        "totalUsdValue": "0.03"
+      },
+      {
+        "cwusdcInputRawPerLoop": "10000",
+        "cwusdcInputUnitsPerLoop": "0.01",
+        "cwxautOutRawPerLoop": "0",
+        "cwxautOutUnitsPerLoop": "0",
+        "cwxautOutUnitsTotal": "0",
+        "executableOnMainnet": true,
+        "loops": 5,
+        "perLoopUsdValue": "0.01",
+        "quotePairStatus": "ok",
+        "referenceSurplusCwxautVsRequiredXautUnits": "-0.000009587776",
+        "requiredOfficialXautUnitsTotal": "0.000009587776",
+        "totalUsdValue": "0.05"
+      },
+      {
+        "cwusdcInputRawPerLoop": "10000",
+        "cwusdcInputUnitsPerLoop": "0.01",
+        "cwxautOutRawPerLoop": "0",
+        "cwxautOutUnitsPerLoop": "0",
+        "cwxautOutUnitsTotal": "0",
+        "executableOnMainnet": true,
+        "loops": 7,
+        "perLoopUsdValue": "0.01",
+        "quotePairStatus": "ok",
+        "referenceSurplusCwxautVsRequiredXautUnits": "-0.000013422886",
+        "requiredOfficialXautUnitsTotal": "0.000013422886",
+        "totalUsdValue": "0.07"
+      },
+      {
+        "cwusdcInputRawPerLoop": "50000",
+        "cwusdcInputUnitsPerLoop": "0.05",
+        "cwxautOutRawPerLoop": "0",
+        "cwxautOutUnitsPerLoop": "0",
+        "cwxautOutUnitsTotal": "0",
+        "executableOnMainnet": true,
+        "loops": 1,
+        "perLoopUsdValue": "0.05",
+        "quotePairStatus": "ok",
+        "referenceSurplusCwxautVsRequiredXautUnits": "-0.000009587776",
+        "requiredOfficialXautUnitsTotal": "0.000009587776",
+        "totalUsdValue": "0.05"
+      },
+      {
+        "cwusdcInputRawPerLoop": "50000",
+        "cwusdcInputUnitsPerLoop": "0.05",
+        "cwxautOutRawPerLoop": "0",
+        "cwxautOutUnitsPerLoop": "0",
+        "cwxautOutUnitsTotal": "0",
+        "executableOnMainnet": true,
+        "loops": 3,
+        "perLoopUsdValue": "0.05",
+        "quotePairStatus": "ok",
+        "referenceSurplusCwxautVsRequiredXautUnits": "-0.000028763329",
+        "requiredOfficialXautUnitsTotal": "0.000028763329",
+        "totalUsdValue": "0.15"
+      },
+      {
+        "cwusdcInputRawPerLoop": "50000",
+        "cwusdcInputUnitsPerLoop": "0.05",
+        "cwxautOutRawPerLoop": "0",
+        "cwxautOutUnitsPerLoop": "0",
+        "cwxautOutUnitsTotal": "0",
+        "executableOnMainnet": true,
+        "loops": 5,
+        "perLoopUsdValue": "0.05",
+        "quotePairStatus": "ok",
+        "referenceSurplusCwxautVsRequiredXautUnits": "-0.000047938881",
+        "requiredOfficialXautUnitsTotal": "0.000047938881",
+        "totalUsdValue": "0.25"
+      },
+      {
+        "cwusdcInputRawPerLoop": "50000",
+        "cwusdcInputUnitsPerLoop": "0.05",
+        "cwxautOutRawPerLoop": "0",
+        "cwxautOutUnitsPerLoop": "0",
+        "cwxautOutUnitsTotal": "0",
+        "executableOnMainnet": true,
+        "loops": 7,
+        "perLoopUsdValue": "0.05",
+        "quotePairStatus": "ok",
+        "referenceSurplusCwxautVsRequiredXautUnits": "-0.000067114434",
+        "requiredOfficialXautUnitsTotal": "0.000067114434",
+        "totalUsdValue": "0.35"
+      }
+    ],
+    "status": "quote_pair_ready"
+  }
+}
--- a/reports/status/mainnet-xaut-secured-loop-components-20260506T214708Z.md
+++ b/reports/status/mainnet-xaut-secured-loop-components-20260506T214708Z.md
@@ -0,0 +1,46 @@
+# DBIS Engine X Mainnet Proof Components
+
+Generated: `2026-05-06T21:48:04.307306+00:00`
+Component repo: `https://gitea.d-bis.org/DBIS/ENGINE-X.git`
+
+## Verdict
+
+- Primary proof venue: `uniswap`.
+- Aave XAUt borrow leg: `not_used_uniswap_primary_aave_xaut_ltv_zero`.
+- Swap/takeout leg: `uniswap_cwusdc_cwxaut_xaut_route_ready`.
+- Fork/mock loop: `ready_to_build_with_uniswap_primary_route`.
+
+## Banking Interpretation
+
+- `XAUt` is treated as `XAU` collateral/commodity value.
+- `USDC` and `cWUSDC` are treated as `USD` value for this proof model.
+- The active proof path uses Uniswap route/flash mechanics. Aave reserve data is retained as informational evidence only while XAUt LTV is zero.
+
+## Live Mainnet Proof
+
+- Aave Pool: `0x87870Bca3F3fD6335C3F4ce8392D69350B4fA4E2`
+- Aave DataProvider: `0x0a16f2FCC0D44FaE41cc54e079281D84A363bECD`
+- XAUt LTV: `0` bps; liquidation threshold: `7500` bps; collateral enabled: `True`.
+- USDC borrowing enabled: `True`; USDC liquidation threshold: `7800` bps.
+
+## Route Components
+
+- Internal USD mesh UniV2 cWUSDT/cWUSDC: `0x422608c5dDff909675ac2C5F872fD42f16B9287A` status `ok`.
+- cWXAUT/USDC DODO PMM: `0x1D51a38C924382287d770AbB61deb9C39ACa96E9` status `ok`.
+- Official XAUt/cWXAUT takeout route: `proof_gated`.
+- cWXAUT/XAUt quote pair target: `0xEd1E7d67608F2f56E0E8C2c46E42d29C34e25eb0` status `ok`.
+
+## Engine X Uniswap Proof
+
+- Proof route: `cWUSDC -> cWXAUT -> XAUt`.
+- Model status: `quote_pair_ready`.
+- cWXAUT/XAUt quote pair role: `official XAUt quote/takeout pair for cWXAUT`.
+
+## Sizing
+
+- Aave informational max USDC debt: `0` because XAUt LTV is `0` bps.
+- Fork/mock case max flash principal: `156.800894119962` XAUt; safe USDC debt: `526250.626464`.
+
+## Next Proof Step
+
+Build the next DBIS Engine X proof around the Uniswap cWUSDC -> cWXAUT -> XAUt route. Treat Aave as optional future secured-credit expansion until Mainnet XAUt LTV is non-zero.
--- a/2
+++ b/2