docs: Add Safe smart account reference

.github/styles/config/vocabularies/default/accept.txt

@@ -13,6 +13,7 @@
 [Bb]inance
 [Bb]lockchain
 [Bb]lockchains
+[Bb]oolean
 [Bb]undler
 [Bb]undlers
 [Cc]hainlist
@@ -251,7 +252,6 @@ Zora
 address_full_match
 auditable
 auth_code
-boolean
 bytestrings
 checksummed
 createTransaction

pages/_meta.json

@@ -35,6 +35,11 @@
     "title": "Advanced",
     "type": "page"
   },
+  "reference-smart-account": {
+    "title": "Smart Account Reference",
+    "type": "page",
+    "display": "hidden"
+  },
   "resource-hub": {
     "title": "Resource Hub",
     "type": "page",

pages/advanced/_meta.json

@@ -19,6 +19,10 @@
   },
   "smart-account-audits": "Audits",
   "smart-account-bug-bounty": "Bug Bounty",
+  "smart-account-reference": {
+    "title": "Reference",
+    "href": "/reference-smart-account/overview"
+  },
   "-- Features": {
     "type": "separator",
     "title": "Features"

pages/reference-smart-account/_meta.json

@@ -0,0 +1,19 @@
+{
+  "home": {
+    "title": "← Go Back",
+    "href": "/advanced/smart-account-overview"
+  },
+  "overview": "Overview",
+  "-- Safe Reference": {
+    "type": "separator",
+    "title": "Safe Reference"
+  },
+  "setup": "Setup",
+  "owners": "Owners",
+  "transactions": "Transactions",
+  "modules": "Modules",
+  "guards": "Guards",
+  "fallback": "Fallback Handler",
+  "signatures": "Signatures",
+  "utilities": "Utilities"
+}

pages/reference-smart-account/fallback/_meta.json

@@ -0,0 +1,5 @@
+{
+  "fallback": "fallback",
+  "receive": "receive",
+  "setFallbackHandler": "setFallbackHandler"
+}

pages/reference-smart-account/fallback/fallback.mdx

@@ -0,0 +1,31 @@
+import { Tabs } from 'nextra/components'
+
+# `fallback`
+
+This function emits the [`SafeReceived`](./fallback/receive.mdx#safereceived) event when it receives a payment.
+
+## Usage
+
+{/* <!-- vale off --> */}
+
+<Tabs items={['example.sol']}>
+  <Tabs.Tab>
+    ```solidity
+    interface ISafe {
+        fallback() external;
+    }
+
+    contract Example {
+        function example() ... {
+            (ISafe safe).fallback();
+        }
+    }
+    ```
+  </Tabs.Tab>
+</Tabs>
+
+{/* <!-- vale on --> */}
+
+## Events
+
+### [`SafeReceived`](./receive.mdx#safereceived)

pages/reference-smart-account/fallback/receive.mdx

@@ -0,0 +1,35 @@
+import { Tabs } from 'nextra/components'
+
+# `receive`
+
+Receive function accepts native currency transactions.
+
+## Usage
+
+{/* <!-- vale off --> */}
+
+<Tabs items={['example.sol']}>
+  <Tabs.Tab>
+    ```solidity
+    interface ISafe {
+        receive() external payable;
+    }
+
+    contract Example {
+        function example() ... {
+            (ISafe safe).receive();
+        }
+    }
+    ```
+  </Tabs.Tab>
+</Tabs>
+
+## Events
+
+### `SafeReceived`
+
+```solidity
+event SafeReceived(address sender, uint256 value)
+```
+
+Emitted when the Safe contract receives a payment.

pages/reference-smart-account/fallback/setFallbackHandler.mdx

@@ -0,0 +1,56 @@
+import { Tabs, Callout } from 'nextra/components'
+
+# `setFallbackHandler`
+
+Set Fallback Handler to `handler` for the Safe.
+
+<Callout type='warning'>
+  Only fallback calls without value and with data will be forwarded. This can
+  only be done via a Safe transaction. Cannot be set to the Safe itself.
+</Callout>
+
+## Usage
+
+{/* <!-- vale off --> */}
+
+<Tabs items={['example.sol']}>
+  <Tabs.Tab>
+    ```solidity
+    interface ISafe {
+        function setFallbackHandler(address handler) external;
+    }
+
+    contract Example {
+        function example() ... {
+            (ISafe safe).setFallbackHandler("0x...");
+        }
+    }
+    ```
+  </Tabs.Tab>
+</Tabs>
+
+{/* <!-- vale on --> */}
+
+## Parameters
+
+### `handler`
+
+- **Type:** `address`
+
+Contract to handle fallback calls.
+
+```solidity focus=2
+(ISafe safe).setFallbackHandler(
+    "0x..."
+);
+```
+
+## Events
+
+### `ChangedFallbackHandler`
+
+```solidity
+event ChangedFallbackHandler(address handler);
+```
+
+Emitted when the fallback handler is changed.

pages/reference-smart-account/guards/_meta.json

@@ -0,0 +1,4 @@
+{
+  "setGuard": "setGuard",
+  "setModuleGuard": "setModuleGuard"
+}

pages/reference-smart-account/guards/setGuard.mdx

@@ -0,0 +1,56 @@
+import { Tabs, Callout } from 'nextra/components'
+
+# `setGuard`
+
+Set Transaction Guard `guard` that checks transactions before execution.
+
+<Callout type='warning'>This action can only be done via a Safe transaction.</Callout>
+<Callout type='error' emoji='🚨'>
+  Since a guard has full power to block Safe transaction execution, a broken
+  guard can cause a denial of service for the Safe. Make sure to carefully audit
+  the guard code and design recovery mechanisms.
+</Callout>
+
+## Usage
+
+{/* <!-- vale off --> */}
+
+<Tabs items={['example.sol']}>
+  <Tabs.Tab>
+    ```solidity
+    interface ISafe {
+        function setGuard(address guard) external;
+    }
+
+    contract Example {
+        function example() ... {
+            (ISafe safe).setGuard("0x...");
+        }
+    }
+    ```
+  </Tabs.Tab>
+</Tabs>
+
+## Parameters
+
+### `guard`
+
+- **Type:** `address`
+
+The address of the guard to be used or the 0 address to disable the guard.
+
+```solidity focus=2
+(ISafe safe).setGuard(
+    "0x..."
+);
+```
+
+## Events
+
+### `ChangedGuard`
+
+```solidity
+event ChangedGuard(address guard);
+```
+
+Emitted when a guard is set for the Safe.

pages/reference-smart-account/guards/setModuleGuard.mdx

@@ -0,0 +1,63 @@
+import { Tabs, Callout } from 'nextra/components'
+
+# `setModuleGuard`
+
+Set a Module Guard that checks transactions initiated by the module before
+execution. 
+
+<Callout type='warning'>
+  This action can only be done via a Safe transaction.
+</Callout>
+
+<Callout type='error' emoji='🚨'>
+  Since a Module Guard has full power to block Safe transaction execution
+  initiated via a module, a broken Module Guard can cause a denial of service
+  for the Safe Modules. Make sure to carefully audit the Module Guard code and
+  design recovery mechanisms.
+</Callout>
+
+## Usage
+
+{/* <!-- vale off --> */}
+
+<Tabs items={['example.sol']}>
+  <Tabs.Tab>
+    ```solidity
+    interface ISafe {
+        function setModuleGuard(address moduleGuard) external;
+    }
+
+    contract Example {
+        function example() ... {
+            (ISafe safe).setModuleGuard("0x...");
+        }
+    }
+    ```
+  </Tabs.Tab>
+</Tabs>
+
+{/* <!-- vale on --> */}
+
+## Parameters
+
+### `moduleGuard`
+
+- **Type:** `address`
+
+The address of the Module Guard to be used or the zero address to disable the Module Guard.
+
+```solidity focus=2
+(ISafe safe).setModuleGuard(
+    "0x..."
+);
+```
+
+## Events
+
+### `ChangedModuleGuard`
+
+```solidity
+event ChangedModuleGuard(address moduleGuard);
+```
+
+Emitted when a Module Guard is set for the Safe.

pages/reference-smart-account/modules/_meta.json

@@ -0,0 +1,8 @@
+{
+  "enableModule": "enableModule",
+  "disableModule": "disableModule",
+  "execTransactionFromModule": "execTransactionFromModule",
+  "execTransactionFromModuleReturnData": "execTransactionFromModuleReturnData",
+  "getModulesPaginated": "getModulesPaginated",
+  "isModuleEnabled": "isModuleEnabled"
+}

pages/reference-smart-account/modules/disableModule.mdx

@@ -0,0 +1,67 @@
+import { Tabs, Callout } from 'nextra/components'
+
+# `disableModule`
+
+Disables the module `module` for the Safe.
+
+<Callout type='warning'>This action can only be done via a Safe transaction.</Callout>
+
+## Usage
+
+{/* <!-- vale off --> */}
+
+<Tabs items={['example.sol']}>
+  <Tabs.Tab>
+    ```solidity
+    interface ISafe {
+        function disableModule(address prevModule, address module) external;
+    }
+
+    contract Example {
+        function example() ... {
+            (ISafe safe).disableModule("0x...", "0x...");
+        }
+    }
+    ```
+  </Tabs.Tab>
+</Tabs>
+
+{/* <!-- vale on --> */}
+
+## Parameters
+
+### `prevModule`
+
+- **Type:** `address`
+
+Previous module in the modules linked list.
+
+```solidity focus=2
+(ISafe safe).disableModule(
+    "0x...",
+    "0x..."
+);
+```
+
+### `module`
+
+- **Type:** `address`
+
+Module to be removed.
+
+```solidity focus=3
+(ISafe safe).disableModule(
+    "0x...",
+    "0x..."
+);
+```
+
+## Events
+
+### `DisabledModule`
+
+```solidity
+event DisabledModule(address module);
+```
+
+Emitted when a module is disabled for the Safe.