Skip to content

Commit 6453b79

Browse files
hyperpolymathclaude
andcommitted
fix(wave3): copy crates/ into rust-builder (workspace members were omitted)
The shared rust-builder stage copied only src/rust + src/interfaces + benches, but Cargo.toml's [workspace] members include crates/echidna-core{,-spark}, echidna-mcp, echidna-wire, typed_wasm. `cargo build` failed: failed to read `/build/crates/echidna-core/Cargo.toml`: No such file. This stage was a byte-identical copy of the original nine Containerfiles, so those images could never have built green either — corroborates the stale-doc-drift finding (Wave-3 "done" was never build-verified). Found by actually running `podman build` on all 9 targets (all failed fast at this step before any expensive prover build). Refs #53. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
1 parent e04fd37 commit 6453b79

1 file changed

Lines changed: 5 additions & 0 deletions

File tree

.containerization/Containerfile.wave3

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -44,6 +44,11 @@ RUN rustup toolchain install nightly && rustup default nightly
4444
WORKDIR /build
4545

4646
COPY Cargo.toml Cargo.lock ./
47+
# Workspace members: crates/* (echidna-core, -core-spark, -mcp, -wire,
48+
# typed_wasm) + src/interfaces/* + root pkg at src/rust. The original nine
49+
# Containerfiles omitted `crates/` — their rust-builder stage could never
50+
# have built green (workspace manifest references crates/echidna-core).
51+
COPY crates ./crates
4752
COPY src/rust ./src/rust
4853
COPY src/interfaces ./src/interfaces
4954
COPY benches ./benches

0 commit comments

Comments
 (0)