[dependabot]

Updates the requirements on wit-bindgen to permit the latest version.

Commits

• 29e0393 Release wit-bindgen 0.63.0 (#1748)
• 99dab3b Update wasm-tools dependencies (#1749)
• 1559c82 Don't cancel spawned rust tasks on component task cancel (#1743)
• 3e8e729 rust: preserve WASIp3 TLS for no-std task context (#1745)
• 1145d46 rust: Suppress wake notifications while destroying async tasks (#1740)
• 673e9d5 feat(moonbit): migrate generated manifests to modern formats (#1741)
• ac8ff51 Replace --async with --sync (#1730)
• e9590b4 chore: bump go-pkg version (#1738)
• 83d497f Export the versioned cabi_realloc on native targets (#1736)
• 687dbb8 Fix non-determinism in the order of with remappings (#1737)
• Additional commits viewable in compare view

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 rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will 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 version will 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 dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[temper-pulseengine]

temper did not enable auto-merge: breaking update wit-bindgen 0.62.0 -> 0.63.0 needs a human review.

[github-actions]

✅ Rivet verification gate — falcon

174/174 passed

count
Passed	174
Failed	0
Skipped (bench-only — needs hardware / sim)	21
Skipped (no steps)	12

Bench-only artifacts (not run by CI)

• FV-FALCON-ARCH-001 — spar AADL architectural model — falcon cascade (v0.13)
• FV-FALCON-ARCH-002 — spar codegen --format wit recheck — works at v0.10.0 (v0.15.0)
• FV-FALCON-COV-001 — witness MC/DC structural coverage — falcon pipeline wired (v0.13)
• FV-FALCON-COV-002 — cargo-llvm-cov statement coverage — workspace-wide (v0.14.0)
• FV-FALCON-COV-003 — witness MC/DC on real Rust source — Geofence subject (v0.14.1)
• FV-FALCON-GEO-003 — Geofence safety path — miri UB/overflow check (v0.12, AI substitute)
• FV-FALCON-LYAP-002 — Strict (cross-term) Lyapunov — exponential-decay inequality + CI-gated Lean proofs (v1.105)
• FV-FALCON-LYAP-004 — Lyapunov exponential convergence — the deferred 'trajectory ⇒ converges' step, discharged (v1.107)
• FV-FALCON-MATHF32-003 — MATHF32-P03 — machine-checked (Gappa→Flocq→coqc) rounding bound for the f32 sin polynomial (v1.127)
• FV-FALCON-MATHF32-004 — MATHF32-P04 — machine-checked (Coq-Interval) approximation bound for the f32 sin polynomial (v1.128)
• FV-FALCON-MATHF32-005 — MATHF32-P05 — machine-checked rounding + approximation bounds for the f32 cosine kernel (v1.129)
• FV-FALCON-MELD-001 — meld-fuse the verified cascade into a single module (v1.5.0)
• FV-FALCON-OCI-001 — OCI-P01 — signed per-component publish, WASI-free build, and through-wasm closed-loop proof (v1.129)
• FV-FALCON-SIM-001 — PX4-SITL end-to-end loop — recipe + preset + smoke (v0.14.0)
• FV-FALCON-SIM-005 — gz-transport NavSat + Home projection — position-dependent loops (v0.18.1)
• FV-FALCON-TARGET-001 — Verified flight core as a bare-metal ARM Cortex-M ELF + sim backend (v1.6.0)
• FV-FALCON-WASMCM-001 — Verified flight core runs in wasmtime as a CM component (v1.26.0)
• FV-FALCON-WASMCM-002 — All 8 falcon CM components build and bundle script emits versioned dist/ (v1.56)
• FV-FALCON-WCET-001 — Compositional WCET + flight-cascade schedulability, kernel-checked (v1.10.0)
• FV-FALCON-WIT-001 — Verified IEKF componentized + plugged into the composed cascade (v1.4.0)
• FV-RELAY-KANICI-003 — Orphaned-proof sweep completed — flight-support + HAL + infra Kani harnesses enforced in CI (v1.108)

Source of truth: artifacts/verification/FV-FALCON-*.yaml.

[avrabe]

Closing as a duplicate of #578. Despite the /fuzz directory in its title, this changes the same line as #578 — root Cargo.toml:90, the workspace wit-bindgen entry — and without the Cargo.lock update #578 carries. Dependabot's /fuzz and / entries resolve to the same manifest. Grouping (landing in the CI batch PR) collapses these into one PR from next week.

[dependabot]

OK, I won't notify you again about this release, but will get in touch when a new version is available. If you'd rather skip all updates until the next major or minor version, let me know by commenting @dependabot ignore this major version or @dependabot ignore this minor version. You can also ignore all major, minor, or patch releases for a dependency by adding an ignore condition with the desired update_types to your config file.

If you change your mind, just re-open this PR and I'll resolve any conflicts on it.