build(deps): bump wit-bindgen from 0.60.0 to 0.61.1

[dependabot]

Bumps wit-bindgen from 0.60.0 to 0.61.1.

Commits

• 0b0069d Release wit-bindgen 0.61.1 (#1698)
• 8cde5ce Don't force link cabi_realloc on non-Wasm builds. (#1697)
• e5cbca3 Release wit-bindgen 0.61.0 (#1694)
• 17d9bfa Unconditionally link wasip3 C-based intrinsics (#1695)
• 4f831f2 Bump wasm-tools dependencies (#1693)
• d4001ab Rework method chaining system of Rust generator (#1602)
• 8ee0a9d Add a --locked job to CI (#1692)
• 084407c D guest bindings generator (#1561)
• df9b033 Fix more compat with nightly rust, more wasip3 fixes (#1691)
• b119e28 Prepare tests to run on WASIp3 (#1688)
• 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)

[dependabot]

A newer version of wit-bindgen exists, but since this PR has been edited by someone other than Dependabot I haven't updated it. You'll get a PR for the updated version as normal once this PR is merged.

[github-actions]

✅ Rivet verification gate — falcon

164/164 passed

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

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.