From 2308c7341f96f0adcf62156b20fbba5292fe28c2 Mon Sep 17 00:00:00 2001
From: Ayla Croft <aylacroft@proton.me>
Date: Wed, 7 Oct 2026 23:29:49 -0400
Subject: [PATCH] chore(s133): the Linux Burrito bundle leaves exla out

The exla NIF never loaded in the Linux bundle: Burrito's musl ERTS cannot
load XLA's glibc library (__libc_single_threaded), so the bundle already
booted with the local embedder off and scored with the Elixir path in
VectorStores.Brute. The 68.7 MB it carried did nothing.

The desktop release's applications are now chosen per Burrito target, from
the BURRITO_TARGET the package workflow sets on each job. linux_x86_64 gets
none; macOS and Windows keep what the host declares, and the headless
release is unchanged. A local mix release desktop with no target behaves
as before.

Slice 133 AC12, landed ahead of the rest of the slice on the owner's
decision D5.

Signed-off-by: Ayla Croft <aylacroft@proton.me>
---
 mix.exs                           | 18 ++++++++++++++++--
 test/release_composition_test.exs | 31 +++++++++++++++++++++++++++++++
 2 files changed, 47 insertions(+), 2 deletions(-)
 create mode 100644 test/release_composition_test.exs

diff --git a/mix.exs b/mix.exs
index 972a148..f68e239 100644
--- a/mix.exs
+++ b/mix.exs
@@ -60,8 +60,9 @@ defmodule Trinity.MixProject do
       desktop: [
         steps: [:assemble, &Burrito.wrap/1],
         # Slice 032: exla in the release, loaded and not started (see `exla_deps/0`); on a
-        # Windows host it is not declared at all.
-        applications: exla_release_applications(),
+        # Windows host it is not declared at all. Slice 133: not in the Linux bundle either
+        # (`desktop_release_applications/1`).
+        applications: desktop_release_applications(System.get_env("BURRITO_TARGET")),
         burrito: [
           targets: [
             linux_x86_64: [os: :linux, cpu: :x86_64],
@@ -126,6 +127,19 @@ defmodule Trinity.MixProject do
     end
   end
 
+  @doc """
+  The desktop release's applications for one Burrito target (slice 133, AC12). The Linux
+  bundle leaves exla out: its NIF never loaded there (Burrito's musl ERTS against a glibc
+  `.so`, the `__libc_single_threaded` failure above), so the bundle already ran with the local
+  embedder off and the Elixir scorer in `Trinity.Memory.VectorStores.Brute`, and the 68.7 MB
+  it carried was dead weight (slice 032's PROOF). macOS keeps it until slice 133's eval; the
+  headless release keeps `exla_release_applications/0`. Public only so a test can call it.
+  `package.yml` sets `BURRITO_TARGET` per job; a local `mix release desktop` without it builds
+  every target with what the host declares, as before.
+  """
+  def desktop_release_applications("linux_x86_64"), do: []
+  def desktop_release_applications(_target), do: exla_release_applications()
+
   defp exla_deps do
     case :os.type() do
       {:win32, _} -> []
diff --git a/test/release_composition_test.exs b/test/release_composition_test.exs
new file mode 100644
index 0000000..6d53f4f
--- /dev/null
+++ b/test/release_composition_test.exs
@@ -0,0 +1,31 @@
+# SPDX-FileCopyrightText: Sudo Apt Holdings LLC
+# SPDX-License-Identifier: Apache-2.0
+defmodule ReleaseCompositionTest do
+  @moduledoc """
+  Slice 133, AC12. The Linux Burrito bundle carries no exla. The release's applications are
+  computed in `mix.exs`, so this asserts on the function `releases/0` calls for the desktop
+  release, for each target `package.yml` builds. The artifact's size and its
+  `TRINITY_SMOKE_EXLA` line are the package run's half and are cited in the proof.
+  """
+  use ExUnit.Case, async: true
+
+  test "the Linux bundle leaves exla out" do
+    linux = Trinity.MixProject.desktop_release_applications("linux_x86_64")
+    refute Keyword.has_key?(linux, :exla)
+  end
+
+  test "macOS and Windows bundles, and a build with no target, keep what the host declares" do
+    for target <- ["macos_aarch64", "windows_x86_64", nil] do
+      assert Trinity.MixProject.desktop_release_applications(target) == headless()
+    end
+  end
+
+  test "the headless release still carries exla where the host declares it" do
+    case :os.type() do
+      {:win32, _} -> assert headless() == []
+      _ -> assert headless()[:exla] == :load
+    end
+  end
+
+  defp headless, do: Trinity.MixProject.project()[:releases][:headless][:applications]
+end