From 236844a278393b26fb927d2482379296f5c2c80c Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Sun, 24 May 2026 18:04:45 +0200 Subject: [PATCH 1/2] fix(bazel): pin rules_wasm_component via git_override (BCR has no 1.0.0) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit PR #315 added `bazel_dep(name = "rules_wasm_component", version = "1.0.0")` for the REQ-086 witness MC/DC work, but did not add a git_override clause. The Bazel Central Registry does not publish rules_wasm_component, so Bazel reports: ERROR: Error computing the main repository mapping: in module dependency chain -> rules_wasm_component@1.0.0: module rules_wasm_component@1.0.0 not found in registries: * https://bcr.bazel.build/modules/rules_wasm_component/1.0.0/MODULE.bazel: not found …and the Rocq Proofs CI job exits non-zero after ~5 seconds. This has been red on every PR since #315 merged on 2026-05-23. Mirror the rules_rocq_rust pattern that already lives in this file: declare bazel_dep at the BCR version + git_override to the pulseengine repo at a pinned commit. Pin to fbe2057 (#470, "feat: add Nix flake for a reproducible development environment", 2026-05-22 — the most recent commit on rules_wasm_component default branch as of this fix and the closest to the date PR #315 was merged). Refs: REQ-086 Co-Authored-By: Claude Opus 4.7 --- MODULE.bazel | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/MODULE.bazel b/MODULE.bazel index d68b43f..0c75981 100644 --- a/MODULE.bazel +++ b/MODULE.bazel @@ -86,4 +86,15 @@ register_toolchains("@rocq_toolchains//:all") # Bundles the `witness` toolchain (toolchains/witness_toolchain.bzl) and # the `wasm_module_coverage` rule, which is how we produce MC/DC coverage # evidence on the feature-model composition core (REQ-086). +# +# Not in the Bazel Central Registry — pinned via git_override to a +# specific commit on pulseengine/rules_wasm_component, mirroring the +# rules_rocq_rust pattern above. bazel_dep(name = "rules_wasm_component", version = "1.0.0") + +git_override( + module_name = "rules_wasm_component", + remote = "https://github.com/pulseengine/rules_wasm_component.git", + # fbe2057: feat: add Nix flake for a reproducible development environment (#470). + commit = "fbe20571eedaa75676b1f97e74dde0b3ff2f8050", +) From bcc267c3d9bd56ca1bd2be2dc2dcdd75692e87f7 Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Sun, 24 May 2026 21:13:00 +0200 Subject: [PATCH 2/2] fix(bazel): re-pin rules_wasm_component to current HEAD (d2347fb) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit First CI attempt on this branch surfaced a different Bazel error: ERROR: error during computation of main repo mapping: error running 'git reset --hard fbe20571eedaa75676b1f97e74dde0b3ff2f8050' while working with @rules_wasm_component+ The earlier fbe2057 commit is still in the upstream history but Bazel's shallow git fetch (and/or the self-hosted runner's git cache) can't resolve it on-demand. d2347fb is current main HEAD on rules_wasm_component — shallow clones land on it directly so the `git reset --hard` is a no-op. This isolates the unblocker to the production-side that actually works under our runner geometry. Refs: REQ-086 Co-Authored-By: Claude Opus 4.7 --- MODULE.bazel | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/MODULE.bazel b/MODULE.bazel index 0c75981..4e0acdf 100644 --- a/MODULE.bazel +++ b/MODULE.bazel @@ -95,6 +95,10 @@ bazel_dep(name = "rules_wasm_component", version = "1.0.0") git_override( module_name = "rules_wasm_component", remote = "https://github.com/pulseengine/rules_wasm_component.git", - # fbe2057: feat: add Nix flake for a reproducible development environment (#470). - commit = "fbe20571eedaa75676b1f97e74dde0b3ff2f8050", + # d2347fb: chore(deps): bump PulseEngine toolchains (#471) — current + # main HEAD on rules_wasm_component. The earlier fbe2057 pin no + # longer resolves under Bazel's shallow git fetch on self-hosted + # runners (it's still in upstream history; the issue is shallow + # depth), so track HEAD instead. + commit = "d2347fbf79ee5d4e20de0df7e8c1bb3adadf5cfe", )