build(deps): Update wasmtime-wasi requirement from 27 to 45#44
Conversation
Updates the requirements on [wasmtime-wasi](https://github.com/bytecodealliance/wasmtime) to permit the latest version. - [Release notes](https://github.com/bytecodealliance/wasmtime/releases) - [Changelog](https://github.com/bytecodealliance/wasmtime/blob/v34.0.2/RELEASES.md) - [Commits](bytecodealliance/wasmtime@v27.0.0...v34.0.2) --- updated-dependencies: - dependency-name: wasmtime-wasi dependency-version: 34.0.2 dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
|
running 55 tests test result: ok. 55 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 55 tests test result: ok. 55 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 10 tests test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 10 tests test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 10 tests test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 10 tests test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 17 tests test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s --- scenario: attitude --- running 55 tests test result: ok. 55 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 10 tests test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 13 tests test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 13 tests test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 13 tests test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.60s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 17 tests test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s --- scenario: step --- running 10 tests test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 13 tests test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 17 tests test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s running 16 tests test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 16 tests test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 16 tests test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.78s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 5 tests test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s --- noise=0 (deterministic) --- running 1 test test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 16 filtered out; finished in 0.05s running 9 tests test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 17 tests test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s running 10 tests test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s falcon-hitl-rfspoof: backend=stub duration=5s running 17 tests test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 9 tests test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s [falcon-hello-demo] building release binary... running 9 tests test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 9 tests test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 9 tests test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 20 tests test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 13 tests test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 13 tests test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 13 tests test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 17 tests test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s --- scenario: mission --- running 10 tests test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 10 tests test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 10 tests test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 17 tests test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 1 test test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 16 filtered out; finished in 0.02s falcon verification gate (type: sw-verification, filter: (has-tag "falcon"))34 artifact(s) matched: FV-FALCON-SIM-007, FV-FALCON-MAVLINK-002, FV-FALCON-HITL-002, FV-FALCON-ATT-001, FV-FALCON-SIM-002, FV-FALCON-RATE-001, FV-FALCON-PIPELINE-001, FV-FALCON-EKF-001, FV-FALCON-TQ-001, FV-FALCON-UAM-001, FV-FALCON-GEO-003, FV-FALCON-FAULT-001, FV-FALCON-COV-003, FV-FALCON-COV-002, FV-FALCON-HITL-001, FV-FALCON-GEO-002, FV-FALCON-SIM-005, FV-FALCON-SIM-006, FV-FALCON-WORLD-001, FV-FALCON-ARCH-002, FV-FALCON-EKF-STUB-001, FV-FALCON-COV-004, FV-FALCON-SIM-001, FV-FALCON-NID-002, FV-FALCON-POS-001, FV-FALCON-MIX-001, FV-FALCON-GEO-001, FV-FALCON-SIM-003, FV-FALCON-COV-005, FV-FALCON-MAVLINK-001, FV-FALCON-NID-001, FV-FALCON-COV-001, FV-FALCON-ARCH-001, FV-FALCON-SIM-004[ skip-no-steps] FV-FALCON-SIM-007: (no steps defined) test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s falcon-sitl-gz: backend=mock scenario=hover duration=5s running 55 tests test result: ok. 55 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 55 tests test result: ok. 55 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 55 tests test result: ok. 55 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.42s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 20 tests test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 20 tests test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.29s running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s running 7 tests test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [ PASS] ( 0.26s) FV-FALCON-SIM-003: cargo test -p falcon-sitl-gz ❌ Rivet verification gate — falcon24/25 passed
Failed artifacts
Bench-only artifacts (not run by CI)
Source of truth: |
…rename PR #44 (Dependabot upgrade from wasmtime-wasi 27 to 45) merged with main still importing wasmtime_wasi::preview1, breaking all CI jobs that hit witness-wasi-harness compile (Test ubuntu/macos/windows, llvm-cov, Verification gate). Diagnosis: wasmtime-wasi 44 renamed the module preview1 → p1; the type WasiP1Ctx now lives at wasmtime_wasi::p1::WasiP1Ctx. The fix is a single import line: -use wasmtime_wasi::preview1::{self, WasiP1Ctx}; +use wasmtime_wasi::p1::{self as preview1, WasiP1Ctx}; The 'as preview1' alias keeps the rest of the file unchanged. Also: Cargo.toml bumped to wasmtime = '45' / wasmtime-wasi = '45' to match main's actual resolution (PR #44 only updated wasmtime-wasi, not wasmtime; the two MUST stay in lock-step or wasmtime trait impls don't satisfy the wasmtime-wasi signatures). Verification: - cargo build -p witness-wasi-harness --tests → green. - cargo test --workspace --all-targets → 405 passing (preserved). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
…rename PR #44 (Dependabot upgrade from wasmtime-wasi 27 to 45) merged with main still importing wasmtime_wasi::preview1, breaking all CI jobs that hit witness-wasi-harness compile (Test ubuntu/macos/windows, llvm-cov, Verification gate). Diagnosis: wasmtime-wasi 44 renamed the module preview1 → p1; the type WasiP1Ctx now lives at wasmtime_wasi::p1::WasiP1Ctx. The fix is a single import line: -use wasmtime_wasi::preview1::{self, WasiP1Ctx}; +use wasmtime_wasi::p1::{self as preview1, WasiP1Ctx}; The 'as preview1' alias keeps the rest of the file unchanged. Also: Cargo.toml bumped to wasmtime = '45' / wasmtime-wasi = '45' to match main's actual resolution (PR #44 only updated wasmtime-wasi, not wasmtime; the two MUST stay in lock-step or wasmtime trait impls don't satisfy the wasmtime-wasi signatures). Verification: - cargo build -p witness-wasi-harness --tests → green. - cargo test --workspace --all-targets → 405 passing (preserved). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
* fix(witness-wasi-harness): update for wasmtime-wasi 45 preview1 → p1 rename PR #44 (Dependabot upgrade from wasmtime-wasi 27 to 45) merged with main still importing wasmtime_wasi::preview1, breaking all CI jobs that hit witness-wasi-harness compile (Test ubuntu/macos/windows, llvm-cov, Verification gate). Diagnosis: wasmtime-wasi 44 renamed the module preview1 → p1; the type WasiP1Ctx now lives at wasmtime_wasi::p1::WasiP1Ctx. The fix is a single import line: -use wasmtime_wasi::preview1::{self, WasiP1Ctx}; +use wasmtime_wasi::p1::{self as preview1, WasiP1Ctx}; The 'as preview1' alias keeps the rest of the file unchanged. Also: Cargo.toml bumped to wasmtime = '45' / wasmtime-wasi = '45' to match main's actual resolution (PR #44 only updated wasmtime-wasi, not wasmtime; the two MUST stay in lock-step or wasmtime trait impls don't satisfy the wasmtime-wasi signatures). Verification: - cargo build -p witness-wasi-harness --tests → green. - cargo test --workspace --all-targets → 405 passing (preserved). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * chore: workspace cfg(kani) lint suppression + v1.0 rollout audit Three small cleanups for trailing-edge tidiness: 1. **cfg(kani) warnings** — every engine using #[cfg(kani)] for its Kani model-checker harness was emitting an 'unexpected_cfgs' warning on every cargo build (default rustc behavior). Added a workspace-level [workspace.lints.rust] check-cfg = ['cfg(kani)'] declaration; engines inherit via [lints] workspace = true. Build noise gone, kani path still recognised. Crates wired: ccsds, cfdp, ci, cs, ds, fm, hk, hs, lc, md, mm, nid, sc, sca, sch, tbl, to. 2. **v1.0 rollout audit** — removed 'Check-It qualified checkers' line. Check-It was pre-v0.7 aspirational; it isn't in the actual PulseEngine toolchain (rivet/spar/witness/sigil/meld/synth/loom/kiln/smithy/wohl). Replaced with the v0.14.3-derived TQ-record path (DO-330-grade Tool Qualification Reports for Verus/Kani/miri/witness/spar). 3. **Inherited from cherry-pick of v0.19.2 fix** — wasmtime-wasi 45's preview1 → p1 rename. Required because PR #44 (Dependabot 27→45) landed without updating the harness import. Identical to the fix on v0.19.2 branch; whichever lands first carries it. Verification: - cargo build --workspace → 0 cfg(kani) warnings (was 17). - cargo test --workspace --all-targets → 405 passing. - rivet validate → PASS. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
…ding 2 closed) (#46) * feat(falcon): v0.19.2 — Actuators message + multi_thread runtime; Finding 2 closed Lands the architectural fix for v0.19.1's Finding 1 (per-rotor Double publishes → single Actuators publish) plus a tokio runtime model fix that fully closes Finding 2 (IMU + NavSat under-rate). Ships: - gz.msgs.Actuators defined locally (gz-transport-rs 0.1.0 doesn't ship actuators.proto); prost::Message derive, wire-compatible with Harmonic MulticopterMotorModel. - Single publish to /<model>/cmd_vel; per-rotor mpsc fanout collapsed to one channel carrying [4×f32]. - tokio runtime: new_current_thread → new_multi_thread(2 workers). The spawned subscriber + publisher tasks now actually run after setup block_on returns (current_thread only drives during explicit block_on; the 51 IMU frames / 4 Hz observed at v0.19.1 were stragglers from the brief setup window). Closes Finding 2. - prost = { version = "0.13", features = ["derive"] } as gazebo dep. - bench-evidence/gz-sim/{1779853824-*, 2026-05-27-*.md} - FV-FALCON-SIM-008 + FEAT-FALCON-v0.19.2 rollout entry. v0.19.2 bench (15-second hover): verdict: backend=gazebo steps=1500 climb=0.00 m counters: imu_recv=3572 navsat_recv=178 motor_send=1500 IMU rate observed 203 Hz / configured 200 Hz ✓ NavSat observed 10.1 Hz / configured 10 Hz ✓ motor_send observed 100 Hz exact ✓ climb 0.00 m ✗ (sub-issues) Two sub-issues found, both v0.19.3 targets: 1a. gz-transport-rs 0.1.0's advertise-direction discovery isn't reaching gz Sim 8's registry (subscribe direction works; gz CLI publish on same topic does register). Upstream wire-format or partition mismatch. 1b. Even native `gz topic -p` publishing full-rpm Actuators to /quad/cmd_vel doesn't lift the body. SDF model tuning issue (motorConstant or plugin namespace). Verification: - cargo test --workspace → 405 passing (preserved). - cargo test -p falcon-sitl-gz --features gazebo → 11/11. - cargo build --features gazebo → green. - rivet validate → PASS. Headline: IMU + NavSat now stream at configured rates, counters work end-to-end, bridge survives heavy load (3572+178+1500 events in 17 s, zero errors). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * fix(witness-wasi-harness): update for wasmtime-wasi 45 preview1 → p1 rename PR #44 (Dependabot upgrade from wasmtime-wasi 27 to 45) merged with main still importing wasmtime_wasi::preview1, breaking all CI jobs that hit witness-wasi-harness compile (Test ubuntu/macos/windows, llvm-cov, Verification gate). Diagnosis: wasmtime-wasi 44 renamed the module preview1 → p1; the type WasiP1Ctx now lives at wasmtime_wasi::p1::WasiP1Ctx. The fix is a single import line: -use wasmtime_wasi::preview1::{self, WasiP1Ctx}; +use wasmtime_wasi::p1::{self as preview1, WasiP1Ctx}; The 'as preview1' alias keeps the rest of the file unchanged. Also: Cargo.toml bumped to wasmtime = '45' / wasmtime-wasi = '45' to match main's actual resolution (PR #44 only updated wasmtime-wasi, not wasmtime; the two MUST stay in lock-step or wasmtime trait impls don't satisfy the wasmtime-wasi signatures). Verification: - cargo build -p witness-wasi-harness --tests → green. - cargo test --workspace --all-targets → 405 passing (preserved). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Updates the requirements on wasmtime-wasi to permit the latest version.
Release notes
Sourced from wasmtime-wasi's releases.
Changelog
Sourced from wasmtime-wasi's changelog.
... (truncated)
Commits
ed0d2feRelease Wasmtime 34.0.2 (#11275)e402901[34.0.2] backportfd_renumberfixes (#11280)ebdadc4Release Wasmtime 34.0.1 (#11119)f5a9490[34.0.0] Fix globals/tables holding their registered types (#11104)597c0c8Make auto-publish script more robust (#11090) (#11108)f6cd545cargo vet: pulley-macros is audited as crates io (#11089) (#11100)26ed24aRelease Wasmtime 34.0.0 (#11085)22f045efix: do not collect backtrace on eachgc_runtimeaccess (#11068) (#11074)b3ae195Update release notes (#10983)550b304Fix crash optimizing icmp with vectors (#10948) (#10955)Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)