chore: bring slashing-magnitudes-fixes up to date

.solhint.json → .github/configs/solhint.json

@@ -3,10 +3,26 @@
   "rules": {
     "max-line-length": "off",
     "no-inline-assembly": "off",
-    "reason-string": ["warn",{"maxLength":160}],
-    "func-visibility": ["warn",{"ignoreConstructors":true}],
-    "explicit-types": ["warn","explicit"],
-    "quotes": ["warn","double"],
+    "reason-string": [
+      "warn",
+      {
+        "maxLength": 160
+      }
+    ],
+    "func-visibility": [
+      "warn",
+      {
+        "ignoreConstructors": true
+      }
+    ],
+    "explicit-types": [
+      "warn",
+      "explicit"
+    ],
+    "quotes": [
+      "warn",
+      "double"
+    ],
     "const-name-snakecase": "off",
     "not-rely-on-time": "off",
     "avoid-low-level-calls": "off",
@@ -18,6 +34,5 @@
     "no-global-import": "off",
     "immutable-vars-naming": "off",
     "no-console": "off"
-
   }
-}
+}

.github/configs/storage-diff.json

@@ -0,0 +1,44 @@
+{
+    "contracts": [
+      {
+        "name": "AVSDirectory",
+        "address": "0x135dda560e946695d6f155dacafc6f1f25c1f5af"
+      },
+      {
+        "name": "DelegationManager",
+        "address": "0x39053D51B77DC0d36036Fc1fCc8Cb819df8Ef37A"
+      },
+      {
+        "name": "RewardsCoordinator",
+        "address": "0x7750d328b314EfFa365A0402CcfD489B80B0adda"
+      },
+      {
+        "name": "StrategyManager",
+        "address": "0x858646372CC42E1A627fcE94aa7A7033e7CF075A"
+      },
+      {
+        "name": "StrategyFactory",
+        "address": "0x5e4C39Ad7A3E881585e383dB9827EB4811f6F647"
+      },
+      {
+        "name": "EigenPodManager",
+        "address": "0x91E677b07F7AF907ec9a428aafA9fc14a0d3A338"
+      },
+      {
+        "name": "EigenPod",
+        "address": "0xd4018Ce9A041a9c110A9d0383d2b5E1c66Ae1513"
+      },
+      {
+        "name": "stETH Strategy",
+        "address": "0x93c4b944D05dfe6df7645A86cd2206016c51564D"
+      },
+      {
+        "name": "EigenStrategy",
+        "address": "0xaCB55C530Acdb2849e6d4f36992Cd8c9D50ED8F7"
+      },
+      {
+        "name": "StrategyBase",
+        "address": "0x6c6E8aF98a49bBaBCc17ca1dbA6b95c5D58A2ccb"
+      }
+    ]
+}

.github/configs/typos-cli.toml

@@ -0,0 +1,68 @@
+[files]
+extend-exclude = [
+    "**/lib/**",
+    "**/docs/images/**",
+    # Not present locally, but is in remote (github).
+    "**/doc/**"
+]
+ignore-hidden = true
+ignore-files = true
+ignore-dot = true
+ignore-vcs = true
+ignore-global = true
+ignore-parent = true
+
+[default]
+binary = false
+check-filename = true
+check-file = true
+unicode = true
+ignore-hex = true
+identifier-leading-digits = false
+locale = "en"
+extend-ignore-identifiers-re = []
+extend-ignore-words-re = []
+extend-ignore-re = []
+
+[default.extend-identifiers]
+
+# Weird syntax, but this how you ignore corrections for certain words.
+[default.extend-words]
+strat = "strat"
+froms = "froms"
+
+[type.go]
+extend-glob = []
+extend-ignore-identifiers-re = []
+extend-ignore-words-re = []
+extend-ignore-re = []
+
+[type.go.extend-identifiers]
+flate = "flate"
+
+[type.go.extend-words]
+
+[type.sh]
+extend-glob = []
+extend-ignore-identifiers-re = []
+extend-ignore-words-re = []
+extend-ignore-re = []
+
+[type.sh.extend-identifiers]
+ot = "ot"
+stap = "stap"
+
+[type.sh.extend-words]
+
+[type.py]
+extend-glob = []
+extend-ignore-identifiers-re = []
+extend-ignore-words-re = []
+extend-ignore-re = []
+
+[type.py.extend-identifiers]
+NDArray = "NDArray"
+arange = "arange"
+EOFError = "EOFError"
+
+[type.py.extend-words]

.github/pull_request_template.md

@@ -0,0 +1,11 @@
+**Motivation:**
+
+*Explain here the context, and why you're making that change. What is the problem you're trying to solve.*
+
+**Modifications:**
+
+*Describe the modifications you've done.*
+
+**Result:**
+
+*After your change, what will change.*

.github/workflows/certora.yml

@@ -0,0 +1,62 @@
+# name: Certora
+
+# on:
+#   workflow_dispatch:
+#   pull_request:
+#     branches:
+#       - dev
+#   push:
+#     branches:
+#       - dev
+#       - master
+#       - release-v*
+#       - formal-verification
+#       - m2-mainnet
+#       - testnet-holesky
+
+# jobs:
+#   certora:
+#     name: Test
+
+#     runs-on: ubuntu-latest
+#     steps:
+
+#       - uses: actions/checkout@v3
+#         with:
+#           submodules: recursive
+
+#       - name: Install Foundry
+#         uses: foundry-rs/foundry-toolchain@v1
+#         with:
+#           version: stable
+
+#       - name: Install forge dependencies
+#         run: forge install
+
+#       - name: Install Python
+#         uses: actions/setup-python@v2
+#         with:
+#           python-version: '3.10'
+#           cache: 'pip'
+
+#       - name: Install Java
+#         uses: actions/setup-java@v2
+#         with:
+#           distribution: temurin
+#           java-version: '17'
+
+#       - name: Install Certora CLI
+#         run: pip install certora-cli
+
+#       - name: Install Solidity Compiler
+#         run: |
+#           pip install solc-select
+#           solc-select use 0.8.27 --always-install
+
+#       - name: Run Certora Verification
+#         run: |
+#           for script in $(ls certora/scripts/{,**}/*.sh | grep -v '\WnoCI\W'); do
+#             bash "$script"
+#           done
+#         env:
+#           CERTORAKEY: ${{ secrets.CERTORAKEY }}

.github/workflows/checks.yml

@@ -0,0 +1,43 @@
+name: Check
+
+on:
+  push:
+  workflow_dispatch: {}
+
+permissions:
+  contents: read
+  pull-requests: read
+
+env:
+  CLICOLOR: 1
+
+jobs:
+  typos:
+    name: Typo Linting
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: crate-ci/[email protected]
+        with:
+          config: .github/configs/typos-cli.toml
+
+  commitlint:
+    name: Commit Linting
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: wagoid/commitlint-github-action@v6
+
+  go-bindings:
+    name: Bindings
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+      - name: Build and validate
+        if: github.event_name == 'push'
+        run: |
+          make docker
+          docker run -v `pwd`:/build -w /build --rm -i eigenlayer-contracts:latest bash -c "make gha"
+          if [ ! -z "$(git status --porcelain)" ]; then git diff; git status; exit 1; fi