Commit 8b97d7f
authored
ci(frost): compile + test the frost_roast_retry activation path in CI (#4130)
## Why
This closes the **sole production-activation blocker** found in the deep
production-readiness review of the ROAST retry work (stacked on #3866).
The interactive FROST + ROAST retry coordinator flow — `BeginAttempt` /
`RecordEvidence` / `AggregateBundle` / `VerifyBundle` / `NextAttempt`,
i.e. liveness plus slashing/blame — lives behind the `frost_roast_retry`
Go build tag (~50 files). **No CI job ever set that tag:**
- `client.yml` (~line 138) and `release.yml` (~line 56) run untagged `go
build/test ./...`, which compiles only the `!frost_roast_retry` no-op
stubs.
- `frost-cgo-integration.yml` (~line 111) built only `-tags
"frost_native frost_tbtc_signer"` and `-run`-filtered to the
`TestRealCgoInteractiveSigning*` family.
Net effect: the entire ROAST retry state machine and ~30 `frost_native`
unit tests never compiled or ran anywhere in CI, and `make build` (the
release/Docker path) shipped the ROAST-retry-noop default build. The
rollout doc also **falsely** claimed CI already exercised the tag.
## What this changes
**`.github/workflows/client.yml` — new `client-frost-roast-retry` job**
(plain Go, cgo off, no Docker; runs on every PR touching Go):
- `go build -tags "frost_roast_retry" ./...` and `go build -tags
"frost_native frost_roast_retry" ./...` (mock-FFI, no Rust lib).
- `go test` under the **three non-cgo tag sets that cover the whole
matrix** — `frost_native`, `frost_roast_retry`, `frost_native
frost_roast_retry` — over `./pkg/frost/...` and `./pkg/tbtc/...`.
**`.github/workflows/frost-cgo-integration.yml`:**
- Adds `frost_roast_retry` to the real-crypto cgo tag set (`frost_native
frost_tbtc_signer frost_roast_retry`).
- **Drops the narrow `-run` filter** so the whole tagged
`./pkg/frost/signing/` suite runs against the linked `libfrost_tbtc`,
with skips still forbidden (`KEEP_CORE_FROST_REQUIRE_CGO=true`). Safe by
construction: the heavy multiproc e2e tests already ran (matched by the
old substring regex) and spawn their worker subprocesses with anchored
`-test.run`, so dropping the outer filter only *adds* lighter tagged
unit tests.
- New step smoke-builds the activation artifact via `make build-frost`
using the lib built earlier in the job.
- Adds `Makefile` to the path triggers.
**`Makefile` — new `build-frost` target:** produces the ROAST-retry
activation binary (tags `frost_native frost_tbtc_signer
frost_roast_retry`, cgo-linked to `libfrost_tbtc` with the same
`CGO_LDFLAGS` as the cgo workflow). The default `make build` still ships
the `!frost_roast_retry` stubs; adopting the tagged artifact in the
release/Docker path is gated on the readiness-manifest flip and is
intentionally left to that decision (the Rust lib currently lives on a
separate branch — see `ci/frost-signer-pin.env`), so this PR makes the
artifact *producible + CI-validated* rather than silently flipping the
default release image.
**`docs/development/frost-roast-retry-rollout.adoc`:** replaces the
false "CI already exercises the tag" claim with an accurate description
of the coverage above.
## Validated locally (system Go, cgo disabled)
| Check | Result |
| --- | --- |
| `go build -tags "frost_roast_retry" ./...` | compiles clean |
| `go build -tags "frost_native frost_roast_retry" ./...` | compiles
clean |
| `go test -tags "frost_native" ./pkg/frost/... ./pkg/tbtc/...` | pass |
| `go test -tags "frost_roast_retry" ./pkg/frost/... ./pkg/tbtc/...` |
pass |
| `go test -tags "frost_native frost_roast_retry" ./pkg/frost/...
./pkg/tbtc/...` | pass |
| `make -n build-frost` | expands correctly |
The tagged builds compiled clean and every newly-run non-cgo tagged test
**passed** — no failures were surfaced, and no assertion was weakened.
**Deferred to CI:** the cgo-linked full build/tests and the `make
build-frost` smoke — these require building the Rust `libfrost_tbtc`,
which cannot be done locally without the pinned signer source. The cgo
job already builds that lib, so those steps are correct by construction
(they reuse the same lib + `CGO_LDFLAGS`).
## Follow-ups / known gaps
- **cgo path is CI-only-validated.** The `frost_native frost_tbtc_signer
frost_roast_retry` real-crypto suite and `make build-frost` link
`libfrost_tbtc`; they were not run on this machine. First green run of
`frost-cgo-integration.yml` on this branch is the confirmation.
- **Release/Docker still ship the stub build by design.** `make build`
(Dockerfile `build-docker` stage) is unchanged; wiring `build-frost`
into the release image is deferred to the readiness-manifest flip and to
the branch merge that brings the signer crate in-tree (per
`ci/frost-signer-pin.env`).
- **pkg/tbtc cgo-tagged tests** (the 1–2 `frost_native frost_tbtc_signer
cgo` files, e.g. real taproot-tx build) are not yet in the cgo gate; the
cgo job keeps its `pkg/frost/signing` scope. Adding `./pkg/tbtc/` to the
cgo run is a reasonable next step but pulls the heavy tbtc suite under
real-crypto linking, so it is left as a follow-up.
🤖 Generated with [Claude Code](https://claude.com/claude-code)5 files changed
Lines changed: 163 additions & 11 deletions
File tree
- .github/workflows
- docs/development
- pkg/frost/signing
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
310 | 310 | | |
311 | 311 | | |
312 | 312 | | |
| 313 | + | |
| 314 | + | |
| 315 | + | |
| 316 | + | |
| 317 | + | |
| 318 | + | |
| 319 | + | |
| 320 | + | |
| 321 | + | |
| 322 | + | |
| 323 | + | |
| 324 | + | |
| 325 | + | |
| 326 | + | |
| 327 | + | |
| 328 | + | |
| 329 | + | |
| 330 | + | |
| 331 | + | |
| 332 | + | |
| 333 | + | |
| 334 | + | |
| 335 | + | |
| 336 | + | |
| 337 | + | |
| 338 | + | |
| 339 | + | |
| 340 | + | |
| 341 | + | |
| 342 | + | |
| 343 | + | |
| 344 | + | |
| 345 | + | |
| 346 | + | |
| 347 | + | |
| 348 | + | |
| 349 | + | |
| 350 | + | |
| 351 | + | |
| 352 | + | |
| 353 | + | |
| 354 | + | |
| 355 | + | |
| 356 | + | |
| 357 | + | |
| 358 | + | |
| 359 | + | |
| 360 | + | |
| 361 | + | |
313 | 362 | | |
314 | 363 | | |
315 | 364 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
12 | 18 | | |
13 | 19 | | |
14 | 20 | | |
| |||
22 | 28 | | |
23 | 29 | | |
24 | 30 | | |
| 31 | + | |
25 | 32 | | |
26 | 33 | | |
27 | 34 | | |
| |||
104 | 111 | | |
105 | 112 | | |
106 | 113 | | |
107 | | - | |
108 | | - | |
109 | | - | |
110 | | - | |
111 | | - | |
112 | | - | |
| 114 | + | |
| 115 | + | |
| 116 | + | |
| 117 | + | |
| 118 | + | |
| 119 | + | |
| 120 | + | |
| 121 | + | |
| 122 | + | |
113 | 123 | | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
| 127 | + | |
| 128 | + | |
| 129 | + | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
| 137 | + | |
| 138 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
129 | 129 | | |
130 | 130 | | |
131 | 131 | | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
| 137 | + | |
| 138 | + | |
| 139 | + | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
| 143 | + | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
| 150 | + | |
| 151 | + | |
| 152 | + | |
| 153 | + | |
| 154 | + | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
| 158 | + | |
| 159 | + | |
| 160 | + | |
| 161 | + | |
| 162 | + | |
| 163 | + | |
| 164 | + | |
132 | 165 | | |
133 | 166 | | |
134 | 167 | | |
| |||
150 | 183 | | |
151 | 184 | | |
152 | 185 | | |
153 | | - | |
| 186 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
88 | 88 | | |
89 | 89 | | |
90 | 90 | | |
91 | | - | |
92 | | - | |
93 | | - | |
94 | | - | |
| 91 | + | |
| 92 | + | |
| 93 | + | |
| 94 | + | |
| 95 | + | |
| 96 | + | |
| 97 | + | |
| 98 | + | |
| 99 | + | |
| 100 | + | |
| 101 | + | |
| 102 | + | |
| 103 | + | |
| 104 | + | |
| 105 | + | |
| 106 | + | |
| 107 | + | |
| 108 | + | |
| 109 | + | |
| 110 | + | |
| 111 | + | |
| 112 | + | |
| 113 | + | |
| 114 | + | |
| 115 | + | |
| 116 | + | |
95 | 117 | | |
96 | 118 | | |
97 | 119 | | |
| |||
Lines changed: 23 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
44 | 44 | | |
45 | 45 | | |
46 | 46 | | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
| 69 | + | |
47 | 70 | | |
48 | 71 | | |
49 | 72 | | |
| |||
0 commit comments