feat: add ABI generation guide and type lowering specification

mitchmindtree · mitchmindtree · commit 634b4f2a31db · 2026-01-27T11:00:43.000+11:00
Adds comprehensive documentation for Leo's ABI generation feature:

- Create `guides/11_abi.md` covering ABI format, type reference, and
  lowering specification (optional types, storage vectors, tuples)
- Update `guides/00_overview.md` to link new ABI guide
- Update `cli/03_build.md` to mention ABI output location
diff --git a/documentation/cli/03_build.md b/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
diff --git a/documentation/guides/00_overview.md b/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.
+
diff --git a/documentation/guides/11_abi.md b/documentation/guides/11_abi.md

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