draft AggLayer docs

Author: kmurphypolygon

docs/innovation-design/agglayer/balance-tracking.md

@@ -0,0 +1,3 @@
+## Preamble
+
+[pic]

docs/innovation-design/agglayer/current-state-dev.md

@@ -38,6 +38,14 @@ hide:
          </div>
          <p class="feature-paragraph">Driven by innovation, the Polygon type 1 prover is fully Ethereum equivalent.</p>
       </a>
+   </div>
+   <div class="grid-item">
+      <a href="./agglayer">
+         <div class="product-list-item-header">
+            <div class="feature-card-heading">AggLayer documentation</div>
+         </div>
+         <p class="feature-paragraph">What we have now and what's coming up.</p>
+      </a>
    </div>
     <div class="grid-item">
       <a href="./plonky">

docs/innovation-design/agglayer/current-state-func.md

@@ -551,6 +551,16 @@ nav:
   - Innovation & design:
       - Learn: innovation-design/index.md
       - Welcome: innovation-design/welcome.md
+      - AggLayer:
+        - Overview: innovation-design/agglayer/index.md
+        - End goal: innovation-design/agglayer/end-goal.md
+        - Current state (functional): 
+          - Unified bridge: innovation-design/agglayer/unified-bridge.md
+          - AggLayer today: innovation-design/agglayer/current-state-func.md
+        - Current state (in developement): innovation-design/agglayer/current-state-dev.md
+        - Next release: 
+          - Pessimistic proof: innovation-design/agglayer/pessimistic-proof.md
+          - Balance tracking: innovation-design/agglayer/balance-tracking.md
       - Polygon type 1 prover:
           - Introduction and definitions: cdk/architecture/type-1-prover/intro-t1-prover.md
           - How to: