updating with new content

Author: kmurphypolygon

docs/cdk/agglayer/roadmap.md

@@ -0,0 +1,13 @@
+---
+hide:
+- toc
+---
+
+The diagram below shows the roadmap for the AggLayer with the end goals in mind.
+
+!!! tip "LxLy v2.0 clarification"
+    The unified bridge technology remains in production and functional.
+
+<center>
+![AggLayer roadmap](../../img/cdk/agglayer/roadmap.png)
+</center>

docs/cdk/agglayer/specifications.md

@@ -1,3 +1,5 @@
+The following document describes how token and message transactions are implemented by the unified bridge across various L1 and L2 permutations.
+
 <center>
 ![Token flows](../../img/cdk/agglayer/tx-flows.png)
 </center>

docs/cdk/agglayer/token-flows.md

@@ -54,7 +54,7 @@ nav:
       - CDK: cdk/index.md
       - Overview: cdk/overview.md
       - Version compatibility matrix: cdk/version-matrix.md
-      #- Build: '!import https://github.com/0xPolygon/kurtosis-cdk?branch=main'
+      - Build: '!import https://github.com/0xPolygon/kurtosis-cdk?branch=main'
       - Architecture:
         - CDK rollup: cdk/architecture/cdk-zkevm.md
         - CDK validium: cdk/architecture/cdk-validium.md
@@ -390,8 +390,8 @@ nav:
             - Meta-transactions: pos/concepts/transactions/meta-transactions.md
   - Miden:
       - Miden: miden/index.md
-      #- Miden base: '!import https://github.com/0xPolygonMiden/miden-base?branch=main'
-      #- Miden client: '!import https://github.com/0xPolygonMiden/miden-client?branch=main'
+      - Miden base: '!import https://github.com/0xPolygonMiden/miden-base?branch=main'
+      - Miden client: '!import https://github.com/0xPolygonMiden/miden-client?branch=main'
   - Developer tools: 
       - Developer tools: tools/index.md
       - dApp development: 
@@ -556,14 +556,13 @@ nav:
       - Welcome: innovation-design/welcome.md
       - AggLayer:
         - Overview: cdk/agglayer/overview.md
+        - Roadmap: cdk/agglayer/roadmap.md
         - AggLayer | Unified bridge: cdk/agglayer/unified-bridge.md
         - AggLayer | Token flows: cdk/agglayer/token-flows.md
         - AggLayer | Go - DEPRECATING: cdk/agglayer/agglayer-go.md
         - AggLayer | Rust: cdk/agglayer/agglayer-rs.md
         - AggLayer | Pessimistic proof: cdk/agglayer/pessimistic-proof.md
         - AggLayer | Bridge & call : cdk/agglayer/bridge-and-call.md
-        - Specifications:
-          - Low-level specs: cdk/agglayer/specifications.md
         - Future functionality: cdk/agglayer/future-functionality.md
       - Polygon type 1 prover:
           - Introduction and definitions: cdk/architecture/type-1-prover/intro-t1-prover.md