Merge pull request #563 from ProvableHQ/mitchmindtree/abi

feat: add ABI generation guide and type lowering specification

Author: JoshuaBatty

.github/mlc_config.json

@@ -0,0 +1,5 @@
+{
+  "retryOn429": true,
+  "retryCount": 3,
+  "fallbackRetryDelay": "30s"
+}

.github/workflows/ci-branches.yml

@@ -15,3 +15,4 @@ jobs:
       - uses: gaurav-nelson/github-action-markdown-link-check@v1
         with:
           folder-path: 'documentation'
+          config-file: '.github/mlc_config.json'

documentation/cli/03_build.md

@@ -21,8 +21,11 @@ On invoking the build command, Leo automatically creates a `build/⁠` and `outp
   Leo     2 statements after dead code elimination.
   Leo     The program checksum is: '[...]'.
   Leo ✅ Compiled '{PROGRAM_NAME}.aleo' into Aleo instructions.
+  Leo ✅ Generated ABI at 'build/abi.json'.
 ```
 
+The build also generates an **ABI file** at `build/abi.json` describing your program's public interface (transitions, mappings, and types). See the [ABI Generation guide](../guides/11_abi.md) for details on the format and type lowering specification.
+
 ### Flags:
 ```
 --offline

documentation/guides/00_overview.md

@@ -30,3 +30,5 @@ There's a lot to learn about Leo! To help tame the complexity, we've put togethe
 
 - [**Upgrading Programs**](./10_program_upgradability.md) - Coming soon!
 
+- [**ABI Generation**](./11_abi.md) - Learn about the ABI format and type lowering for SDK integration.
+