feat(FraxFacet): add Frax HopV2 (LayerZero OFT) bridge facet (EXSC-382) [FraxFacet v1.0.0, IFraxHopV2 v1.0.0]

.agents/README.md

@@ -109,7 +109,7 @@ Users can either use the `/analyze-tx <network> <tx_hash>` command directly or t
 | `001-project-structure.md`    | Project structure and file placement guidance                    | ✅ Always   | -                                                                                                             |
 | `002-architecture.md`         | Core architectural principles (Diamond, separation, governance)  | ✅ Always   | -                                                                                                             |
 | `003-context-monitor.md`      | Context window monitoring and handoff management                 | ✅ Always   | -                                                                                                             |
-| `004-config-structure.md`     | Config JSON structure (key-first vs network-first), deploy paths | ❌ On match | `config/**/*.json`, `script/deploy/**/*.s.sol`, `script/deploy/resources/deployRequirements.json`             |
+| `004-config-structure.md`     | Config JSON structure (key-first vs network-first), required-vs-optional value sparsity, deploy paths | ❌ On match | `config/**/*.json`, `script/deploy/**/*.s.sol`, `script/deploy/resources/deployRequirements.json`             |
 | `010-agents-authoring.md`     | Auto-enforced constraints when editing .agents/ rules or commands | ❌ On match | `.agents/rules/*.md`, `.agents/commands/*.md`                                                                 |
 | `099-finish.md`               | Completion checklist to keep repo green                          | ✅ Always   | -                                                                                                             |
 | `100-solidity-basics.md`      | Baseline rules for all Solidity files                            | ❌ On match | `**/*.sol`                                                                                                    |

.agents/rules/004-config-structure.md

@@ -59,6 +59,15 @@ Example:
 }
 ```
 
+### Required vs optional per-network values (sparsity)
+
+Decide per key whether `address(0)` is a valid value, and shape the config accordingly:
+
+- **Required (`address(0)` is invalid).** The parameter must be a real, code-bearing contract on every supported chain (e.g. `hop`, `htlcRegistry`, `airlift`). **List every network explicitly** and read it with the strict overload `_getConfigContractAddress(path, key)`, which reverts on zero or non-contract. A missing or zero entry must fail the deploy loudly.
+- **Optional (`address(0)` is the normal value).** The parameter is meaningful on only a few chains and legitimately zero everywhere else (e.g. Tempo's `tipFeeManager` / `pathUsd`, non-zero only on Tempo). **List only the non-zero networks** — do not enumerate dozens of `0x0000…0000` entries. Read these with `_getOptionalConfigContractAddress(path, key)`, which returns `address(0)` when the key is absent, so a chain omitted from the map deploys with the zero default instead of reverting.
+
+Rationale: `_getConfigContractAddress` reverts on a **missing** key (an absent `readAddress` decodes empty bytes), so an all-zero-but-listed map is not just noise — combined with the fact that `/add-network` does not touch bridge configs, it turns the first deploy on any future chain into a revert on a value that was always meant to be zero. Sparse config for optional keys removes that footgun; explicit listing for required keys keeps a genuinely missing address failing closed. (The bash `checkDeployRequirements` layer already tolerates a missing key when `allowToDeployWithZeroAddress` is `"true"` — set it so for optional keys.)
+
 ### Consistency
 
 - When adding or restructuring a config file, update the corresponding deploy script(s) (including `script/deploy/zksync/` when present) and the relevant contract entry in `deployRequirements.json` so `keyInConfigFile` matches the chosen structure (`.<key>.<NETWORK>` vs `.<NETWORK>.<key>`).

.agents/rules/102-facets.md

@@ -11,6 +11,7 @@ paths:
 
 - Location: `src/Facets/`; name contains `Facet`.
 - Required functions: `_startBridge` (internal), `swapAndStartBridgeTokensVia{FacetName}`, `startBridgeTokensVia{FacetName}`.
+- Facet-scoped selector naming ([CONV:FACET-SELECTORS]): every **external/public** function that is specific to one facet — admin setters, getters, initializers, config methods — must carry the facet/bridge identifier in its name (e.g. `setFraxChainIdToEid`, `getFraxChainIdToEid`, `initFrax`), never a generic name (`setChainIdToEid`, `getChainIdToEid`). Bare names collide by selector when two facets copy-paste the same config subsystem, and `UpdateScriptBase.buildDiamondCut` silently reassigns a colliding selector to the newly-cut facet **and removes every other selector of the previously-owning facet** — uninstalling a live bridge facet at deploy time with no error. The `startBridgeTokensVia{FacetName}` convention already enforces this for entrypoints; apply the same rule to *all* facet-specific functions. When adding a facet whose logic is derived from an existing one, diff its external selectors against the source facet and rename any that match.
 - Modifiers: `nonReentrant`, `refundExcessNative`, `validateBridgeData`, `doesNotContainSourceSwaps`/`doesContainSourceSwaps`, `doesNotContainDestinationCalls`/`doesContainDestinationCalls`.
 - Parameter handling:
   - `receiverAddress` first in `{facetName}Data`, must match `bridgeData.receiver` (EVM).

config/clearSigningProposal.json

@@ -1,6 +1,6 @@
 {
   "$note": "ERC-7730 display.formats entries for the LIFI Diamond, generated by tasks/buildClearSigningProposal.ts from Foundry artifacts. Source of truth for clear-signing UX strings. Consumed by tasks/generateLedgerClearSigning.ts during the sync workflow: entries here are merged into the registry payload pushed to ethereum/clear-signing-erc7730-registry.",
-  "$count": 98,
+  "$count": 100,
   "formats": {
     "startBridgeTokensViaAcross((bytes32 transactionId, string bridge, string integrator, address referrer, address sendingAssetId, address receiver, uint256 minAmount, uint256 destinationChainId, bool hasSourceSwaps, bool hasDestinationCall) _bridgeData, (int64 relayerFeePct, uint32 quoteTimestamp, bytes message, uint256 maxCount) _acrossData)": {
       "intent": "Bridge via Across",
@@ -734,6 +734,73 @@
         }
       ]
     },
+    "startBridgeTokensViaFrax((bytes32 transactionId, string bridge, string integrator, address referrer, address sendingAssetId, address receiver, uint256 minAmount, uint256 destinationChainId, bool hasSourceSwaps, bool hasDestinationCall) _bridgeData, (address oft, uint32 dstEid, uint256 nativeFee, address refundRecipient) _fraxData)": {
+      "intent": "Bridge via Frax",
+      "interpolatedIntent": "Bridge {_bridgeData.minAmount} via Frax to chain {_bridgeData.destinationChainId} for {_bridgeData.receiver}",
+      "fields": [
+        {
+          "path": "_bridgeData.minAmount",
+          "label": "Amount to Bridge",
+          "format": "tokenAmount",
+          "params": {
+            "tokenPath": "_bridgeData.sendingAssetId"
+          },
+          "visible": "always"
+        },
+        {
+          "path": "_bridgeData.destinationChainId",
+          "label": "Destination Chain",
+          "format": "raw",
+          "visible": "always"
+        },
+        {
+          "path": "_bridgeData.receiver",
+          "label": "Recipient",
+          "format": "addressName",
+          "params": {
+            "types": [
+              "eoa",
+              "contract"
+            ],
+            "sources": [
+              "local",
+              "ens"
+            ]
+          },
+          "visible": "always"
+        },
+        {
+          "path": "_bridgeData.transactionId",
+          "label": "Transaction Id",
+          "visible": "never"
+        },
+        {
+          "path": "_bridgeData.bridge",
+          "label": "Bridge",
+          "visible": "never"
+        },
+        {
+          "path": "_bridgeData.integrator",
+          "label": "Integrator",
+          "visible": "never"
+        },
+        {
+          "path": "_bridgeData.referrer",
+          "label": "Referrer",
+          "visible": "never"
+        },
+        {
+          "path": "_bridgeData.hasSourceSwaps",
+          "label": "Has Source Swaps",
+          "visible": "never"
+        },
+        {
+          "path": "_bridgeData.hasDestinationCall",
+          "label": "Has Destination Call",
+          "visible": "never"
+        }
+      ]
+    },
     "startBridgeTokensViaGarden((bytes32 transactionId, string bridge, string integrator, address referrer, address sendingAssetId, address receiver, uint256 minAmount, uint256 destinationChainId, bool hasSourceSwaps, bool hasDestinationCall) _bridgeData, (address redeemer, address refundAddress, uint256 timelock, bytes32 secretHash, bytes32 nonEvmReceiver) _gardenData)": {
       "intent": "Bridge via Garden",
       "interpolatedIntent": "Bridge {_bridgeData.minAmount} via Garden to chain {_bridgeData.destinationChainId} for {_bridgeData.receiver}",
@@ -3680,6 +3747,102 @@
         }
       ]
     },
+    "swapAndStartBridgeTokensViaFrax((bytes32 transactionId, string bridge, string integrator, address referrer, address sendingAssetId, address receiver, uint256 minAmount, uint256 destinationChainId, bool hasSourceSwaps, bool hasDestinationCall) _bridgeData, (address callTo, address approveTo, address sendingAssetId, address receivingAssetId, uint256 fromAmount, bytes callData, bool requiresDeposit)[] _swapData, (address oft, uint32 dstEid, uint256 nativeFee, address refundRecipient) _fraxData)": {
+      "intent": "Swap & Bridge via Frax",
+      "interpolatedIntent": "Swap then bridge {_bridgeData.minAmount} via Frax to chain {_bridgeData.destinationChainId} for {_bridgeData.receiver}",
+      "fields": [
+        {
+          "path": "_swapData.[0].fromAmount",
+          "label": "Amount to Swap",
+          "format": "tokenAmount",
+          "params": {
+            "tokenPath": "_swapData.[0].sendingAssetId"
+          },
+          "visible": "always"
+        },
+        {
+          "path": "_bridgeData.minAmount",
+          "label": "Minimum to Bridge",
+          "format": "tokenAmount",
+          "params": {
+            "tokenPath": "_bridgeData.sendingAssetId"
+          },
+          "visible": "always"
+        },
+        {
+          "path": "_bridgeData.destinationChainId",
+          "label": "Destination Chain",
+          "format": "raw",
+          "visible": "always"
+        },
+        {
+          "path": "_bridgeData.receiver",
+          "label": "Recipient",
+          "format": "addressName",
+          "params": {
+            "types": [
+              "eoa",
+              "contract"
+            ],
+            "sources": [
+              "local",
+              "ens"
+            ]
+          },
+          "visible": "always"
+        },
+        {
+          "path": "_bridgeData.transactionId",
+          "label": "Transaction Id",
+          "visible": "never"
+        },
+        {
+          "path": "_bridgeData.bridge",
+          "label": "Bridge",
+          "visible": "never"
+        },
+        {
+          "path": "_bridgeData.integrator",
+          "label": "Integrator",
+          "visible": "never"
+        },
+        {
+          "path": "_bridgeData.referrer",
+          "label": "Referrer",
+          "visible": "never"
+        },
+        {
+          "path": "_bridgeData.hasSourceSwaps",
+          "label": "Has Source Swaps",
+          "visible": "never"
+        },
+        {
+          "path": "_bridgeData.hasDestinationCall",
+          "label": "Has Destination Call",
+          "visible": "never"
+        },
+        {
+          "path": "_swapData.[].callData",
+          "label": "Swap Data Call Data",
+          "visible": "never"
+        },
+        {
+          "path": "_swapData.[].callTo",
+          "label": "Swap Data Call To",
+          "visible": "never"
+        },
+        {
+          "path": "_swapData.[].approveTo",
+          "label": "Swap Data Approve To",
+          "visible": "never"
+        },
+        {
+          "path": "_swapData.[].requiresDeposit",
+          "label": "Swap Data Requires Deposit",
+          "visible": "never"
+        }
+      ]
+    },
     "swapAndStartBridgeTokensViaGarden((bytes32 transactionId, string bridge, string integrator, address referrer, address sendingAssetId, address receiver, uint256 minAmount, uint256 destinationChainId, bool hasSourceSwaps, bool hasDestinationCall) _bridgeData, (address callTo, address approveTo, address sendingAssetId, address receivingAssetId, uint256 fromAmount, bytes callData, bool requiresDeposit)[] _swapData, (address redeemer, address refundAddress, uint256 timelock, bytes32 secretHash, bytes32 nonEvmReceiver) _gardenData)": {
       "intent": "Swap & Bridge via Garden",
       "interpolatedIntent": "Swap then bridge {_bridgeData.minAmount} via Garden to chain {_bridgeData.destinationChainId} for {_bridgeData.receiver}",

config/frax.json

@@ -0,0 +1,128 @@
+{
+  "DEV NOTICE": "after adding a new mapping, call initFrax (first deploy, wired into UpdateFraxFacet) or setFraxChainIdToEid (incremental update) on every diamond where FraxFacet is deployed. Every destination chain a route targets MUST be seeded here first (unseeded destinations revert UnsupportedChainId). Source for LayerZero EIDs: https://docs.layerzero.network/v2/deployments/deployed-contracts. \"tipFeeManager\"/\"pathUsd\" are intentionally sparse: they list ONLY chains where the value is non-zero (currently just Tempo). Any chain absent from these maps deploys with address(0) — do NOT pad them with zero entries for other networks (see rule 004-config-structure).",
+  "hop": {
+    "mainnet": "0x0000006D38568b00B457580b734e0076C62de659",
+    "abstract": "0x0000006D38568b00B457580b734e0076C62de659",
+    "arbitrum": "0x0000006D38568b00B457580b734e0076C62de659",
+    "avalanche": "0x0000006D38568b00B457580b734e0076C62de659",
+    "base": "0x0000006D38568b00B457580b734e0076C62de659",
+    "berachain": "0x0000006D38568b00B457580b734e0076C62de659",
+    "bsc": "0x0000006D38568b00B457580b734e0076C62de659",
+    "fraxtal": "0x00000000e18aFc20Afe54d4B2C8688bB60c06B36",
+    "hyperevm": "0x0000006D38568b00B457580b734e0076C62de659",
+    "ink": "0x0000006D38568b00B457580b734e0076C62de659",
+    "katana": "0x0000006D38568b00B457580b734e0076C62de659",
+    "linea": "0x0000006D38568b00B457580b734e0076C62de659",
+    "mode": "0x0000006D38568b00B457580b734e0076C62de659",
+    "monad": "0x0000006D38568b00B457580b734e0076C62de659",
+    "optimism": "0x0000006D38568b00B457580b734e0076C62de659",
+    "plume": "0x0000006D38568b00B457580b734e0076C62de659",
+    "polygon": "0x0000006D38568b00B457580b734e0076C62de659",
+    "scroll": "0x0000006D38568b00B457580b734e0076C62de659",
+    "sei": "0x0000006D38568b00B457580b734e0076C62de659",
+    "somnia": "0x0000006D38568b00B457580b734e0076C62de659",
+    "sonic": "0x0000006D38568b00B457580b734e0076C62de659",
+    "stable": "0x0000006D38568b00B457580b734e0076C62de659",
+    "tempo": "0x0000006D38568b00B457580b734e0076C62de659",
+    "unichain": "0x0000006D38568b00B457580b734e0076C62de659",
+    "worldchain": "0x0000006D38568b00B457580b734e0076C62de659",
+    "xlayer": "0x0000006D38568b00B457580b734e0076C62de659",
+    "zksync": "0x0000006D38568b00B457580b734e0076C62de659"
+  },
+  "tipFeeManager": {
+    "tempo": "0xfeEC000000000000000000000000000000000000"
+  },
+  "pathUsd": {
+    "tempo": "0x20C0000000000000000000000000000000000000"
+  },
+  "mappings": [
+    {
+      "chainId": 1,
+      "lzEid": 30101
+    },
+    {
+      "chainId": 10,
+      "lzEid": 30111
+    },
+    {
+      "chainId": 56,
+      "lzEid": 30102
+    },
+    {
+      "chainId": 130,
+      "lzEid": 30320
+    },
+    {
+      "chainId": 137,
+      "lzEid": 30109
+    },
+    {
+      "chainId": 143,
+      "lzEid": 30390
+    },
+    {
+      "chainId": 146,
+      "lzEid": 30332
+    },
+    {
+      "chainId": 196,
+      "lzEid": 30274
+    },
+    {
+      "chainId": 252,
+      "lzEid": 30255
+    },
+    {
+      "chainId": 324,
+      "lzEid": 30165
+    },
+    {
+      "chainId": 480,
+      "lzEid": 30319
+    },
+    {
+      "chainId": 999,
+      "lzEid": 30367
+    },
+    {
+      "chainId": 1329,
+      "lzEid": 30280
+    },
+    {
+      "chainId": 2741,
+      "lzEid": 30324
+    },
+    {
+      "chainId": 8453,
+      "lzEid": 30184
+    },
+    {
+      "chainId": 34443,
+      "lzEid": 30260
+    },
+    {
+      "chainId": 42161,
+      "lzEid": 30110
+    },
+    {
+      "chainId": 43114,
+      "lzEid": 30106
+    },
+    {
+      "chainId": 57073,
+      "lzEid": 30339
+    },
+    {
+      "chainId": 59144,
+      "lzEid": 30183
+    },
+    {
+      "chainId": 98866,
+      "lzEid": 30370
+    },
+    {
+      "chainId": 534352,
+      "lzEid": 30214
+    }
+  ]
+}

config/superset.json

@@ -8,8 +8,17 @@
     "unichain": "0x326D0B0357b394EC5bbeFE87554243E5dc76e56E"
   },
   "mappings": [
-    { "chainId": 42161, "lzEid": 30110 },
-    { "chainId": 8453, "lzEid": 30184 },
-    { "chainId": 130, "lzEid": 30320 }
+    {
+      "chainId": 130,
+      "lzEid": 30320
+    },
+    {
+      "chainId": 8453,
+      "lzEid": 30184
+    },
+    {
+      "chainId": 42161,
+      "lzEid": 30110
+    }
   ]
 }

deployments/arbitrum.staging.json

@@ -73,5 +73,6 @@
   "EcoFacet": "0x532CEdcf24B769EA6dB2D6970220C38b15C9fAF2",
   "LayerSwapFacet": "0x6FB56233842489D772b9Bb004390abF317Efa390",
   "FeeForwarder": "0x7C1923FbD89154156DE2220870C834B141bA8c49",
-  "SupersetFacet": "0xD04A7f8EdB8F4C1dB851bCc919e71dB5E5093fc8"
+  "SupersetFacet": "0xD04A7f8EdB8F4C1dB851bCc919e71dB5E5093fc8",
+  "FraxFacet": "0xCDFE2fc28F6f824F9E619728A52363bd558aB4d0"
 }