Dargon789
diff --git a/‎.changeset/brown-seals-sing.md
+5 b/‎.changeset/brown-seals-sing.md
+5
diff --git a/‎.changeset/brown-turkeys-marry.md
+5 b/‎.changeset/brown-turkeys-marry.md
+5
diff --git a/‎.changeset/dirty-bananas-shake.md
+5 b/‎.changeset/dirty-bananas-shake.md
+5
diff --git a/‎.changeset/eighty-hounds-promise.md
-5 b/‎.changeset/eighty-hounds-promise.md
-5
diff --git a/‎.changeset/famous-timers-compare.md
+5 b/‎.changeset/famous-timers-compare.md
+5
diff --git a/‎.changeset/four-chairs-help.md
-5 b/‎.changeset/four-chairs-help.md
-5
diff --git a/‎.changeset/good-cameras-rush.md
+5 b/‎.changeset/good-cameras-rush.md
+5
diff --git a/‎.changeset/good-cameras-serve.md
+5 b/‎.changeset/good-cameras-serve.md
+5
diff --git a/‎.changeset/gorgeous-apes-jam.md
+5 b/‎.changeset/gorgeous-apes-jam.md
+5
diff --git a/‎.changeset/great-lions-hear.md
-5 b/‎.changeset/great-lions-hear.md
-5
diff --git a/‎.changeset/green-drinks-report.md
+5 b/‎.changeset/green-drinks-report.md
+5
diff --git a/‎.changeset/healthy-books-shout.md
-5 b/‎.changeset/healthy-books-shout.md
-5
diff --git a/‎.changeset/hot-shrimps-wait.md
-5 b/‎.changeset/hot-shrimps-wait.md
-5
diff --git a/‎.changeset/lovely-dodos-lay.md
-5 b/‎.changeset/lovely-dodos-lay.md
-5
diff --git a/‎.changeset/lucky-teachers-sip.md
+5 b/‎.changeset/lucky-teachers-sip.md
+5
diff --git a/‎.changeset/pink-wasps-hammer.md
-5 b/‎.changeset/pink-wasps-hammer.md
-5
diff --git a/‎.changeset/pretty-lobsters-tan.md
+5 b/‎.changeset/pretty-lobsters-tan.md
+5
diff --git a/‎.changeset/proud-cooks-do.md
+5 b/‎.changeset/proud-cooks-do.md
+5
diff --git a/‎.changeset/proud-planes-arrive.md
-5 b/‎.changeset/proud-planes-arrive.md
-5
diff --git a/‎.changeset/seven-donkeys-tap.md
-5 b/‎.changeset/seven-donkeys-tap.md
-5
diff --git a/‎.changeset/sixty-tips-wink.md
+5 b/‎.changeset/sixty-tips-wink.md
+5
diff --git a/‎.changeset/small-seahorses-bathe.md
-5 b/‎.changeset/small-seahorses-bathe.md
-5
diff --git a/‎.changeset/ten-hats-begin.md
+5 b/‎.changeset/ten-hats-begin.md
+5
diff --git a/‎.changeset/ten-peas-mix.md
+5 b/‎.changeset/ten-peas-mix.md
+5
diff --git a/‎.changeset/tricky-bats-pretend.md
-5 b/‎.changeset/tricky-bats-pretend.md
-5
diff --git a/‎.changeset/weak-roses-bathe.md
-5 b/‎.changeset/weak-roses-bathe.md
-5
diff --git a/‎.github/actions/gas-compare/action.yml
+2-1 b/‎.github/actions/gas-compare/action.yml
+2-1
diff --git a/‎.github/actions/setup/action.yml
+1-1 b/‎.github/actions/setup/action.yml
+1-1
diff --git a/‎.github/actions/storage-layout/action.yml
+2-1 b/‎.github/actions/storage-layout/action.yml
+2-1
diff --git a/‎.gitignore
+1 b/‎.gitignore
+1
diff --git a/‎CHANGELOG.md
+51-1 b/‎CHANGELOG.md
+51-1
diff --git a/‎FUNDING.json
+3 b/‎FUNDING.json
+3
diff --git a/‎LICENSE
+1-1 b/‎LICENSE
+1-1
diff --git a/‎README.md
+2-2 b/‎README.md
+2-2
diff --git a/‎RELEASING.md
+1-1 b/‎RELEASING.md
+1-1
diff --git a/‎SECURITY.md
+1-1 b/‎SECURITY.md
+1-1
diff --git a/‎audits/2017-03.md
+1-1 b/‎audits/2017-03.md
+1-1
diff --git a/‎certora/README.md
+2-2 b/‎certora/README.md
+2-2
diff --git a/‎certora/run.js
+1-1 b/‎certora/run.js
+1-1
diff --git a/‎certora/specs/AccessControlDefaultAdminRules.spec
+2-2 b/‎certora/specs/AccessControlDefaultAdminRules.spec
+2-2
diff --git a/‎certora/specs/ERC20FlashMint.spec
+3-3 b/‎certora/specs/ERC20FlashMint.spec
+3-3
diff --git a/‎contracts/access/AccessControl.sol
+1-1 b/‎contracts/access/AccessControl.sol
+1-1
@@ -44,7 +44,8 @@ runs:
       shell: bash
     - name: Save report
       if: github.event_name != 'pull_request'
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         name: gasreport
+        overwrite: true
         path: ${{ inputs.out_report }}
@@ -19,4 +19,4 @@ runs:
     - name: Install Foundry
       uses: foundry-rs/foundry-toolchain@v1
       with:
-        version: nightly
+        version: stable
@@ -50,7 +50,8 @@ runs:
       shell: bash
     - name: Save artifacts
       if: github.event_name != 'pull_request'
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         name: layout
+        overwrite: true
         path: ${{ inputs.out_layout }}
@@ -37,6 +37,7 @@ npm-debug.log
 
 # docs artifacts
 docs/modules/api
+build/site
 
 # only used to package @openzeppelin/contracts
 contracts/build/
 
@@ -3,5 +3,8 @@
     "ethereum": {
       "ownedBy": "0xAeb37910f93486C85A1F8F994b67E8187554d664"
     }
+  },
+  "opRetro": {
+    "projectId": "0x939241afa4c4b9e1dda6b8250baa8f04fa8b0debce738cfd324c0b18f9926d25"
   }
 }
@@ -1,6 +1,6 @@
 The MIT License (MIT)
 
-Copyright (c) 2016-2024 Zeppelin Group Ltd
+Copyright (c) 2016-2025 Zeppelin Group Ltd
 
 Permission is hereby granted, free of charge, to any person obtaining
 a copy of this software and associated documentation files (the
 
@@ -160,7 +160,7 @@ function writeEntry(spec, contract, success, url) {
     formatRow(
       spec,
       contract,
-      success ? ':x:' : ':heavy_check_mark:',
+      success ? ':heavy_check_mark:' : ':x:',
       url ? `[link](${url?.replace('/output/', '/jobStatus/')})` : 'error',
       url ? `[link](${url})` : 'error',
     ),
 
@@ -176,7 +176,7 @@ rule renounceRoleEffect(env e, bytes32 role) {
 
 /*
 ┌─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┐
-│ Rule: defaultAdmin is only affected by accepting an admin transfer or renoucing                                     │
+│ Rule: defaultAdmin is only affected by accepting an admin transfer or renouncing                                    │
 └─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
 */
 rule noDefaultAdminChange(env e, method f, calldataarg args) {
@@ -188,7 +188,7 @@ rule noDefaultAdminChange(env e, method f, calldataarg args) {
     f.selector == sig:acceptDefaultAdminTransfer().selector ||
     f.selector == sig:renounceRole(bytes32,address).selector
   ),
-    "default admin is only affected by accepting an admin transfer or renoucing";
+    "default admin is only affected by accepting an admin transfer or renouncing";
 }
 
 /*
 
@@ -18,7 +18,7 @@ methods {
 */
 ghost mapping(address => mathint)                     trackedMintAmount;
 ghost mapping(address => mathint)                     trackedBurnAmount;
-ghost mapping(address => mapping(address => mathint)) trackedTransferedAmount;
+ghost mapping(address => mapping(address => mathint)) trackedTransferredAmount;
 
 function specUpdate(address from, address to, uint256 amount) {
     if (from == 0 && to == 0) { assert(false); } // defensive
@@ -28,7 +28,7 @@ function specUpdate(address from, address to, uint256 amount) {
     } else if (to == 0) {
         trackedBurnAmount[from] = amount;
     } else {
-        trackedTransferedAmount[from][to] = amount;
+        trackedTransferredAmount[from][to] = amount;
     }
 }
 
@@ -51,5 +51,5 @@ rule checkMintAndBurn(env e) {
 
     assert trackedMintAmount[receiver] == to_mathint(amount);
     assert trackedBurnAmount[receiver] == amount + to_mathint(recipient == 0 ? fees : 0);
-    assert (fees > 0 && recipient != 0) => trackedTransferedAmount[receiver][recipient] == to_mathint(fees);
+    assert (fees > 0 && recipient != 0) => trackedTransferredAmount[receiver][recipient] == to_mathint(fees);
 }
@@ -191,7 +191,7 @@ abstract contract AccessControl is Context, IAccessControl, ERC165 {
     }
 
     /**
-     * @dev Attempts to revoke `role` to `account` and returns a boolean indicating if `role` was revoked.
+     * @dev Attempts to revoke `role` from `account` and returns a boolean indicating if `role` was revoked.
      *
      * Internal function without access restriction.
      *
Original file line number	Diff line number	Diff line change
`@@ -3,5 +3,8 @@`
`3`	`3`	`"ethereum": {`
`4`	`4`	`"ownedBy": "0xAeb37910f93486C85A1F8F994b67E8187554d664"`
`5`	`5`	`}`
	`6`	`+ },`
	`7`	`+ "opRetro": {`
	`8`	`+ "projectId": "0x939241afa4c4b9e1dda6b8250baa8f04fa8b0debce738cfd324c0b18f9926d25"`
`6`	`9`	`}`
`7`	`10`	`}`
Original file line number	Diff line number	Diff line change
`@@ -191,7 +191,7 @@ abstract contract AccessControl is Context, IAccessControl, ERC165 {`
`191`	`191`	`}`
`192`	`192`
`193`	`193`	`/**`
`194`		- * @dev Attempts to revoke `role` to `account` and returns a boolean indicating if `role` was revoked.
	`194`	+ * @dev Attempts to revoke `role` from `account` and returns a boolean indicating if `role` was revoked.
`195`	`195`	`*`
`196`	`196`	`* Internal function without access restriction.`
`197`	`197`	`*`