feat(cli): reachable-graph closure follows call_indirect into table functions (#275) (#276)

--all-exports compiled the closure of the exports over direct `call` (#235),
but a function reached only through `call_indirect` (a table entry) was
invisible to that closure and omitted from the ELF — so a module dispatching
through a function table is not self-contained (gale's falcon: 280 functions →
24 symbols).

- Decoder: parse the Element section (`elem_func_indices` on DecodedModule) —
  the function indices that populate the table = the possible call_indirect
  targets. Empty for modules with no element section (byte-identical output).
- Closure: reachable_from_exports unions in every table function once a
  reachable function performs a call_indirect (sound over-approximation), then
  follows their direct calls transitively. Verified on a minimal indirect-call
  module: the via-table-only target is now compiled in (was absent).

Behavior-frozen: control_step 0x00210A55 / flight_seam 0x07FDF307 / div_const
338/338 all result-identical (no element section → closure unchanged).

SCOPE: this is the reachability half. call_indirect DISPATCH in the
select_with_stack path is still incomplete — the indirect call is dropped in
selection, and the encoder's table-base uses R11 (collides with R11=mem-base).
So a module using indirect dispatch gets its table functions present but the
indirect call is not yet wired end-to-end. Direct-call modules are fully
self-contained. Tracked as a follow-up. v0.11.33.

Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>

Author: avrabe

CHANGELOG.md

@@ -7,6 +7,41 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.11.33] - 2026-06-05
+
+**Whole-reachable-graph closure now follows `call_indirect` into table functions
+(#275, foundation — see the honest scope note).**
+
+`--all-exports` compiled the closure of the exports over **direct** `call`
+(#235), but a function reached only through `call_indirect` (a table entry) was
+invisible to that closure and left out of the ELF — so a module that dispatches
+through a function table is not self-contained.
+
+- **Decoder:** parse the Element section (`elem_func_indices` on `DecodedModule`)
+  — the function indices that populate the table, i.e. the possible
+  `call_indirect` targets. Empty for modules with no element section, so their
+  output is byte-identical.
+- **Closure:** `reachable_from_exports` now unions in every table function once a
+  reachable function performs a `call_indirect` (a sound over-approximation —
+  any table entry could be the dynamic callee), then keeps following their direct
+  calls transitively. Verified on a minimal indirect-call module: the
+  call-only-via-table target is now compiled into the object (was absent).
+- **Behavior-frozen:** the three differential fixtures stay result-identical
+  (`control_step` 0x00210A55, `flight_seam` 0x07FDF307, `div_const` 338/338) —
+  they use no element section, so the closure is unchanged.
+
+**Scope / known remaining (not in this release).** This lands the *reachability*
+half. `call_indirect` **dispatch** in the `select_with_stack` (`--all-exports`)
+path is still incomplete: the indirect call is currently dropped during
+selection, and the encoder's table-base expansion uses R11 — which collides with
+synth's R11 = linear-memory-base ABI. So a module using indirect dispatch now has
+its table functions *present* in the ELF but the indirect call itself is not yet
+wired end-to-end. Modules using only **direct** calls are fully self-contained.
+Tracked for a follow-up.
+
+**Falsification:** wrong if a module using only direct `call` still omits a
+reachable internal callee, or if any fixture differential diverges.
+
 ## [0.11.32] - 2026-06-05
 
 **`mul`+`add` → `mla` fusion now fires on the real `flat_flight` (#257 follow-up).**

Cargo.lock

@@ -27,7 +27,7 @@ resolver = "2"
 # semver to publish, so the convention now catches up: workspace
 # version follows the release tag, bumped pre-tag in the release
 # checklist. See docs/release-process.md.
-version = "0.11.32"
+version = "0.11.33"
 edition = "2024"
 rust-version = "1.88"
 authors = ["PulseEngine Team"]

Cargo.toml

@@ -7,7 +7,7 @@ module(
     name = "synth",
     # Kept in lockstep with [workspace.package] version in Cargo.toml.
     # Both are bumped pre-tag — see docs/release-process.md.
-    version = "0.11.32",
+    version = "0.11.33",
 )
 
 # Bazel dependencies

MODULE.bazel

@@ -11,6 +11,6 @@ categories.workspace = true
 description = "aWsm backend integration for the Synth compiler"
 
 [dependencies]
-synth-core = { path = "../synth-core", version = "0.11.32" }
+synth-core = { path = "../synth-core", version = "0.11.33" }
 anyhow.workspace = true
 thiserror.workspace = true

crates/synth-backend-awsm/Cargo.toml

@@ -11,8 +11,8 @@ categories.workspace = true
 description = "RISC-V encoder, ELF builder, PMP allocator, and bare-metal startup for synth"
 
 [dependencies]
-synth-core = { path = "../synth-core", version = "0.11.32" }
-synth-synthesis = { path = "../synth-synthesis", version = "0.11.32" }
+synth-core = { path = "../synth-core", version = "0.11.33" }
+synth-synthesis = { path = "../synth-synthesis", version = "0.11.33" }
 anyhow.workspace = true
 thiserror.workspace = true
 tracing.workspace = true

crates/synth-backend-riscv/Cargo.toml

@@ -11,6 +11,6 @@ categories.workspace = true
 description = "Wasker backend integration for the Synth compiler"
 
 [dependencies]
-synth-core = { path = "../synth-core", version = "0.11.32" }
+synth-core = { path = "../synth-core", version = "0.11.33" }
 anyhow.workspace = true
 thiserror.workspace = true

crates/synth-backend-wasker/Cargo.toml

@@ -15,7 +15,7 @@ default = ["arm-cortex-m"]
 arm-cortex-m = ["synth-synthesis"]
 
 [dependencies]
-synth-core = { path = "../synth-core", version = "0.11.32" }
-synth-synthesis = { path = "../synth-synthesis", version = "0.11.32", optional = true }
+synth-core = { path = "../synth-core", version = "0.11.33" }
+synth-synthesis = { path = "../synth-synthesis", version = "0.11.33", optional = true }
 anyhow.workspace = true
 thiserror.workspace = true

crates/synth-backend/Cargo.toml

@@ -27,18 +27,18 @@ verify = ["synth-verify"]
 # Path deps carry `version` so `cargo publish` rewrites them to the
 # crates.io coordinate. Bumping the workspace version requires
 # updating these in lockstep — see docs/release-process.md.
-synth-core = { path = "../synth-core", version = "0.11.32" }
-synth-frontend = { path = "../synth-frontend", version = "0.11.32" }
-synth-synthesis = { path = "../synth-synthesis", version = "0.11.32" }
-synth-backend = { path = "../synth-backend", version = "0.11.32" }
+synth-core = { path = "../synth-core", version = "0.11.33" }
+synth-frontend = { path = "../synth-frontend", version = "0.11.33" }
+synth-synthesis = { path = "../synth-synthesis", version = "0.11.33" }
+synth-backend = { path = "../synth-backend", version = "0.11.33" }
 
 # Optional external backends
-synth-backend-awsm = { path = "../synth-backend-awsm", version = "0.11.32", optional = true }
-synth-backend-wasker = { path = "../synth-backend-wasker", version = "0.11.32", optional = true }
-synth-backend-riscv = { path = "../synth-backend-riscv", version = "0.11.32", optional = true }
+synth-backend-awsm = { path = "../synth-backend-awsm", version = "0.11.33", optional = true }
+synth-backend-wasker = { path = "../synth-backend-wasker", version = "0.11.33", optional = true }
+synth-backend-riscv = { path = "../synth-backend-riscv", version = "0.11.33", optional = true }
 
 # Optional verification (requires z3)
-synth-verify = { path = "../synth-verify", version = "0.11.32", optional = true, features = ["z3-solver", "arm"] }
+synth-verify = { path = "../synth-verify", version = "0.11.33", optional = true, features = ["z3-solver", "arm"] }
 
 # Optional PulseEngine WASM optimizer
 # Uncomment when loom crate is available: