resolve vale errors

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

@@ -229,6 +229,7 @@ Telos
 Tenet
 ThunderCore
 Transaction Service
+Transciever
 U2U
 UI Kit
 Ultron

pages/safenet/architecture/guarantee-engine.mdx

@@ -5,7 +5,7 @@
 * Gives guarantees
 * Kept as general as possible
 * Manages list of guarantee implementations
-* Only used in challange flows
+* Only used in challenge flows
 * Uses `Transciever` contracts as bridge adapters
 * Verifies proofs by the processor
 * Owned by the SafeDAO

pages/safenet/architecture/guarantee.mdx

@@ -3,4 +3,4 @@
 * Data Message
 * Given by guarantee engine
 * Validated by guarantee implementation ??
-* Not atomic (i.e. completely proven in a single Ethereum Transaction). This allows, for example, nested optimistic validity ZK proofs for more complicated guarantees.
+* Not atomic (that is completely proven in a single Ethereum Transaction). This allows, for example, nested optimistic validity ZK proofs for more complicated guarantees.

pages/safenet/concepts/optimistic-validity-proof.mdx

@@ -1,3 +1,3 @@
 # Optimistic Validity Proof
 
-* optimistically assume settlements are valid, but provide a mechanism for challenging them, where the onus of proof is on the processor. I.e. the processor must prove correctness if challenged (as opposed to optimistic fraud proofs, where the challenger must prove incorrectness).
+* optimistically assume settlements are valid, but provide a mechanism for challenging them, where the onus of proof is on the processor. The processor must prove correctness if challenged (as opposed to optimistic fraud proofs, where the challenger must prove incorrectness).

pages/safenet/concepts/settlement.mdx

@@ -1,6 +1,6 @@
 # Settlement
 
-* process by which a processor debits funds from a Safenet account in order to repay the liquidity provider for the short-term loan (i.e. pre-fund) from the Safenet action.
+* process by which a processor debits funds from a Safenet account in order to repay the liquidity provider for the short-term loan (pre-fund) from the Safenet action.
 
 1. If no `validator` challenges the settlement request, the settlement is executed.
 2. If a `validator` challenges the settlement request, the `processor` needs to provide a proof that the transaction was valid. This proof requires external bridges and is gas and time consuming.

pages/safenet/overview/introduction.mdx

@@ -1,6 +1,6 @@
 ## Why Safenet?
 
-Blockchains have the potential to become the global settlement layer for society—enabling seamless coordination, transactions, and a more interconnected world. Achieving this vision means moving the world’s entire economy (i.e., GDP) on-chain.
+Blockchains have the potential to become the global settlement layer for society—enabling seamless coordination, transactions, and a more interconnected world. Achieving this vision means moving the world's entire GDP on-chain.
 
 However, several significant challenges need to be addressed:
 

pages/safenet/overview/safenet-overview.mdx

@@ -3,7 +3,7 @@
 Safenet is a hybrid network combining on-chain smart contracts across multiple blockchains and rollups, alongside a decentralized network of off-chain actors that process transactions across these chains. 
 It uses Ethereum mainnet as the home chain for configuration and coordination.
 
-![safenet-highlevel-overview](../../../assets/safenet-highlevel-overview.png)
+![Safenet-highlevel-overview](../../../assets/safenet-highlevel-overview.png)
 
 Safenet is composed of the following key components: