Skip to content

fix(drv): gate the PROVIDERS enumeration against reality #314

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
avrabe merged 1 commit into from
Aug 28, 2026
Merged

fix(drv): gate the PROVIDERS enumeration against reality #314

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 19 additions & 0 deletions benches/gust/drivers/build-gustos-components.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -37,6 +37,25 @@ PROVIDERS=(
"timer-provider:gust_timer_provider"
)

# DRIFT GATE on the list above. The enumeration is deliberate -- it defines the
# PUBLISHED composition, and a newly added provider must not silently join the
# fused composite just by existing. But an enumeration nobody checks is how three
# other gates in this tree came to exclude the newest thing without saying so
# (see CROSS-ARCH.md). So: enumerated on purpose, and verified against reality.
#
# If a `*-provider` directory exists that is not listed, this fails and names it.
# The fix is a deliberate decision -- add it to PROVIDERS and to
# build-fused-gustos.sh, or record why it is excluded -- not a silent skip.
_listed="$(printf '%s\n' "${PROVIDERS[@]}" | cut -d: -f1 | sort)"
_present="$(cd "$HERE" && ls -d *-provider 2>/dev/null | sed 's|/$||' | sort)"
if [ "$_listed" != "$_present" ]; then
echo "FATAL: PROVIDERS list has drifted from the *-provider directories." >&2
echo " listed but absent: $(comm -23 <(echo "$_listed") <(echo "$_present") | tr '\n' ' ')" >&2
echo " present but unlisted: $(comm -13 <(echo "$_listed") <(echo "$_present") | tr '\n' ' ')" >&2
echo " Add it to PROVIDERS and build-fused-gustos.sh, or record why it is excluded." >&2
exit 2
fi

# Checked at SOURCE, not in the binary. A `Tasks` table lives in wasm .bss, which a
# module never declares, so no reliable binary signal says "this module holds one" —
# see build-fused-gustos.sh's gate 4 for the signal that was tried and rejected.
Expand Down
Loading