Issues

• meld 0.59.0 refuses the gust:os composite's --share-stack in CI but accepts it locally, and reports a different component count for the same inputs

  pulseengine/gale#434 · Filter by author avrabe opened on Oct 1, 2026

• The rustup fetch retry gives up after ~90s, and sh.rustup.rs has failed twice in one day across 12 install sites

  pulseengine/gale#433 · Filter by author avrabe opened on Oct 1, 2026

• ordeal soundness advisory (GHSA-xfxf-qxr3-435x): proofs/ordeal-bv unaffected; pin ordeal 0.22.1

  pulseengine/gale#422 · Filter by author avrabe opened on Sep 30, 2026
  3

• 67% of CI compute cannot move to our own runners: 17 container: jobs blocked on podman-in-podman on pulseengine-ci-01

  pulseengine/gale#419 · Filter by author avrabe opened on Sep 23, 2026
  2

• The Renode gate executes committed ELF fixtures that nothing rebuilds — 11 of 16 are older than their own source

  pulseengine/gale#413 · Filter by author avrabe opened on Sep 22, 2026
  2

• plan(gust): REQ-OS-UNPRIV-001 — tenants run unprivileged, the last rung before MPUSHIP and v0.10.0

  pulseengine/gale#408 · Filter by author avrabe opened on Sep 18, 2026
  5

• dissolved objects address wasm data via r11 at ~1 MiB; qemu reads it as zero, silicon BusFaults (os-time fixed in probe; fused.o spans 1.1 MiB, unrunnable)

  pulseengine/gale#398 · Filter by author avrabe opened on Sep 16, 2026
  2

• bench: four boards on wohl.local — F100 runs gale firmware; WL55JC1, WB55RG, G031K8 identify but have no target model

  pulseengine/gale#397 · Filter by author avrabe opened on Sep 16, 2026
  1

• The required 'Zephyr C Coverage' context does not compile gale — it measures upstream Zephyr with our replacements switched off

  pulseengine/gale#395 · Filter by author avrabe opened on Sep 16, 2026

• Zephyr is 2 patch releases behind (v4.4.0 vs v4.4.2) — and 42 vendored kernel files never receive upstream fixes at all

  pulseengine/gale#391 · Filter by author avrabe opened on Sep 16, 2026

• gust is 34% of the repo, filed under benches/, in no workspace — and that is why 48 of its 50 binaries never run

  pulseengine/gale#390 · Filter by author avrabe opened on Sep 16, 2026

• Two REQUIRED contexts cannot fail, and the cross-arch self-test asserts nothing about the gate

  pulseengine/gale#389 · Filter by author avrabe opened on Sep 16, 2026

• Claims vs reality: the honesty doc understates the trusted base by 9, and benchmarks.md claims CI gates that do not exist

  pulseengine/gale#388 · Filter by author avrabe opened on Sep 16, 2026

• Built but never tested: 3 dead Renode targets, ~48 unrun probe binaries, and a gate of mine that is blind to one of them

  pulseengine/gale#387 · Filter by author avrabe opened on Sep 16, 2026

• Two build paths, no comparison: the dissolve pipeline runs 8 synth versions behind the pin, and verus-strip splits on a syn major

  pulseengine/gale#386 · Filter by author avrabe opened on Sep 16, 2026

• 31 of 53 CI jobs have no timeout at job or step level — on a repo whose bottleneck is runner starvation

  pulseengine/gale#382 · Filter by author avrabe opened on Sep 11, 2026
  1

• DMA: the typed gust:hal/dma seam is specified, unimplemented, and uncompilable in the thin profile

  pulseengine/gale#374 · Filter by author avrabe opened on Sep 10, 2026
  2

• Script sweep: every gate in one compiled language, and no gate invoked by nothing

  pulseengine/gale#368 · Filter by author avrabe opened on Sep 9, 2026
  2

• varve: the pulseengine rolling root rotated and the registry moved — pin and realms file must move together

  pulseengine/gale#365 · Filter by author avrabe opened on Sep 9, 2026
  1

• Shared bench: jess and gale are about to collide on the same STLINK-V3 / G474 — proposing a claim convention (and happy for you to own it)

  pulseengine/gale#356 · Filter by author avrabe opened on Sep 5, 2026
  11

• Ship the verified MPU primitive the way sem/mutex/msgq are shipped — jess's flight memory-safety guarantee currently rests on code no embedder can consume

  pulseengine/gale#348 · Filter by author avrabe opened on Sep 4, 2026
  7

• Control restoration tracker: gate sweep state (11 restored, 3 open)

  pulseengine/gale#327 · Filter by author avrabe opened on Sep 2, 2026
  3

• Feedback wanted: needs and wishes for gale

  pulseengine/gale#323 · Filter by author avrabe opened on Sep 2, 2026
  2

• Fused gale-nano as a self-contained wasm component (exports gust:os, residual = gust:hal) for cosign-signed OCI delivery

  pulseengine/gale#224 · Filter by author avrabe opened on Jul 23, 2026
  4

• Consumption-contract alignment: publish gale's verified components as cosign-signed OCI (like relay's falcon-flight)?

  pulseengine/gale#223 · Filter by author avrabe opened on Jul 23, 2026
  24