updated sequencing docs

Author: pthmas

learn/sequencing/forced-inclusion.md

@@ -23,10 +23,6 @@ It mainly consists of:
 ## Sequencing Implementations {#sequencing-implementations}
 
 An implementation of the sequencing interface mainly acts as a middleware that connects Rollkit rollup and the sequencing layer. It implements the sequencing interface functions described above.
-There are several implementations of the sequencer:
+There are several implementations of the sequencer but for now only one is available in Rollkit.
 
 * [single-sequencer](/learn/sequencing/single.md) - The simplest and most widely used sequencing model, where a single node (the sequencer) is responsible for ordering transactions and producing blocks.
-
-* [based-sequencer](/learn/sequencing/based.md) - A more decentralized model where multiple sequencers work together to order transactions and produce blocks, improving censorship resistance (Not available yet).
-
-* [forced-inclusion-sequencer](/learn/sequencing/forced-inclusion.md) - A model that ensures all transactions are included in the rollup, even if they are not ordered by the sequencer, providing strong guarantees against censorship. (Not available yet).

learn/sequencing/overview.md

@@ -24,18 +24,9 @@ A single sequencer is the simplest sequencing architecture for a Rollkit-based r
 - **Simplicity:** Easy to set up and operate, making it ideal for development, testing, and small-scale deployments.
 - **Low Latency:** Fast block production and transaction inclusion, since there is no consensus overhead among multiple sequencers.
 
-## Considerations
-
-- **Centralization:** The sequencer is a single point of control. However, this is often acceptable for many applications, especially in early stages or permissioned environments.
-- **No Fault Tolerance:** If the sequencer is unavailable, the rollup cannot make progress. High-availability setups and monitoring can mitigate this risk.
-
 ## Use Cases
 
 - Production rollups seeking simplicity and performance
 - Prototyping and development
 - Private or permissioned rollups
 - Projects that value deterministic ordering and operational control
-
-## Future-Proofing
-
-While the single sequencer model is robust and production-ready, Rollkit is designed to support more advanced sequencing architectures in the future. Projects can seamlessly upgrade to decentralized sequencing when the technology and their needs mature.