chore(deps): bump the actions group with 4 updates

[dependabot]

Bumps the actions group with 4 updates: Swatinem/rust-cache, actions/attest-build-provenance, taiki-e/install-action and hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml.

Updates Swatinem/rust-cache from 2.9.1 to 2.9.2

Release notes

Sourced from Swatinem/rust-cache's releases.

v2.9.2

What's Changed

• Typofix by @​23Skidoo in Swatinem/rust-cache#316
• fix: include target names in build/ and .fingerprint/ cleanup by @​eitsupi in Swatinem/rust-cache#317
• fix: include cdylib/rlib/dylib/staticlib targets in build and fingerprint cleanup by @​eitsupi in Swatinem/rust-cache#320
• Scan content of $CARGO_HOME/bin on restore instead of relying on cargo install metadata by @​clechasseur in Swatinem/rust-cache#325
• docs: Update checkout action version to latest by @​sondrelg in Swatinem/rust-cache#345
• Fix Windows cache path validation after Rollup migration by @​eitsupi in Swatinem/rust-cache#355
• fix: support Cargo V2 build dir layout by @​claytonwramsey in Swatinem/rust-cache#371

New Contributors

• @​23Skidoo made their first contribution in Swatinem/rust-cache#316
• @​eitsupi made their first contribution in Swatinem/rust-cache#317
• @​clechasseur made their first contribution in Swatinem/rust-cache#325
• @​sondrelg made their first contribution in Swatinem/rust-cache#345
• @​claytonwramsey made their first contribution in Swatinem/rust-cache#371

Full Changelog: Swatinem/rust-cache@v2.9.1...v2.9.2

Changelog

Sourced from Swatinem/rust-cache's changelog.

2.9.2

• Fix credentials.toml cleanup
• Improvements to cleanup, preserving more valid targets
• Improvements to cargo install handling
• Correctly sort/dedupe Rust versions

Commits

• 6323deb 2.9.2
• b16e8d7 bump rollup and rebuild
• 3bf42ac invert target/profile check in cleanup
• 6e5b278 correctly sort and dedupe Rust versions
• 5adc05f Bump the actions group across 1 directory with 3 updates (#368)
• 66b1e95 fix: support Cargo V2 build dir layout (#371)
• 72d126e Merge pull request #367 from Swatinem/dependabot/npm_and_yarn/dev-patch-2b495...
• 48968d2 Bump the dev-patch group with 2 updates
• 9f151ac update dependencies, rebuild
• 0e24e5d Bump the actions group across 1 directory with 6 updates (#364)
• Additional commits viewable in compare view

Updates actions/attest-build-provenance from 4.1.1 to 4.2.2

Release notes

Sourced from actions/attest-build-provenance's releases.

v4.2.2

[!NOTE] As of version 4, actions/attest-build-provenance is simply a wrapper on top of actions/attest.

Existing applications may continue to use the attest-build-provenance action, but new implementations should use actions/attest instead.

What's Changed

• Bump actions/attest from 4.2.0 to 4.2.1 in the actions-minor group by @​dependabot[bot] in actions/attest-build-provenance#862

Full Changelog: actions/attest-build-provenance@v4.1.1...v4.2.2

Commits

• 4d10147 Bump actions/attest from 4.2.0 to 4.2.1 in the actions-minor group (#862)
• e3fe62e Bump the actions-minor group with 2 updates (#860)
• See full diff in compare view

Updates taiki-e/install-action from 2.85.8 to 2.85.11

Release notes

Sourced from taiki-e/install-action's releases.

2.85.11

• Update zola@latest to 0.23.2.

• Update wasm-bindgen@latest to 0.2.127.

• Update uv@latest to 0.12.3.

• Update osv-scanner@latest to 2.5.0.

• Update mise@latest to 2026.8.3.

• Update kingfisher@latest to 1.112.0.

• Update editorconfig-checker@latest to 3.10.0.

2.85.10

• Update uv@latest to 0.12.2.

• Update tombi@latest to 1.2.7.

• Update cosign@latest to 3.1.3.

• Update coreutils@latest to 0.10.0.

• Update cargo-rdme@latest to 2.2.0.

• Update cargo-crap@latest to 0.4.3.

2.85.9

• Update zola@latest to 0.23.1.

• Update wild@latest to 0.10.0.

• Update mise@latest to 2026.8.2.

• Update just@latest to 1.58.0.

• Update jaq@latest to 3.1.1.

• Update cargo-nextest@latest to 0.9.143.

• Update cargo-crap@latest to 0.4.2.

• Update biome@latest to 2.5.7.

Changelog

Sourced from taiki-e/install-action's changelog.

[2.85.11] - 2026-08-09

• Update zola@latest to 0.23.2.

• Update wasm-bindgen@latest to 0.2.127.

• Update uv@latest to 0.12.3.

• Update osv-scanner@latest to 2.5.0.

• Update mise@latest to 2026.8.3.

• Update kingfisher@latest to 1.112.0.

• Update editorconfig-checker@latest to 3.10.0.

[2.85.10] - 2026-08-07

• Update uv@latest to 0.12.2.

• Update tombi@latest to 1.2.7.

• Update cosign@latest to 3.1.3.

• Update coreutils@latest to 0.10.0.

• Update cargo-rdme@latest to 2.2.0.

• Update cargo-crap@latest to 0.4.3.

[2.85.9] - 2026-08-06

• Update zola@latest to 0.23.1.

• Update wild@latest to 0.10.0.

• Update mise@latest to 2026.8.2.

• Update just@latest to 1.58.0.

• Update jaq@latest to 3.1.1.

• Update cargo-nextest@latest to 0.9.143.

• Update cargo-crap@latest to 0.4.2.

• Update biome@latest to 2.5.7.

Commits

• 7f4eb89 Release 2.85.11
• c17da62 Update zola@latest to 0.23.2
• 97e8291 Update wasm-bindgen@latest to 0.2.127
• 91f9e5c Update uv@latest to 0.12.3
• bd0cb00 Update osv-scanner@latest to 2.5.0
• 4def957 Update mise@latest to 2026.8.3
• 3d149dc Update kingfisher@latest to 1.112.0
• 20d4381 Update editorconfig-checker@latest to 3.10.0
• 583939e codegen: Ignore clippy::assert_is_empty lint
• 6c6fd71 Release 2.85.10
• Additional commits viewable in compare view

Updates hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml from 774dceb6373d798ad4d96a9e40c3993942c2836e to 887ca863ab0837be4d0002d33389862be8c7bee5

Changelog

Sourced from hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml's changelog.

Changelog

[Unreleased]

Fixed — assail detector precision (false-positive reduction, 2026-06-24)

Three assail analyzer fixes, all conservative (no new false negatives), found while triaging hyperpolymath/proven#68 and JoshuaJewell/paint-type#86:

• UncheckedAllocation (C) is now NULL-check aware. The detector previously flagged every malloc(...) and emitted a line-less, file-level finding. It now scans per line, skips a malloc whose result is NULL-checked within a short window (if (p == NULL), if (!p), nullptr), and attaches a line number — which also lets an inline // panic-attack: accepted marker suppress a reviewed site (marker suppression is line-gated). A genuinely-unchecked malloc still fires. This is why a real null-check fix (proven stubs.c) previously failed to clear.
• DynamicCodeExecution (JS/Python) is word-boundary aware. contains("eval(") matched FFI symbol names like proven_calculator_eval(. Now \beval\s*\( (and \b(?:eval|exec)\s*\( for Python); a genuine eval( still fires.
• CommandInjection (Shell) no longer matches the --eval CLI flag. contains("eval ") matched --eval/-eval. Now the eval builtin is matched only in statement position ((?m)(?:^|[\s;&|(])eval[ \t]).

Verified end-to-end: proven 1→0 active Critical/High (stubs.c clears), paint-type 36→35 (gossamer --eval benchmark FP clears; genuinely-unsafe vendored FFI + the irreducible believe_me axiom correctly remain). 4 new tests in tests/analyzer_tests.rs; full analyzer suite green; zero warnings. PR #134. Refs #32.

Added — attestation unforgeability proof (Idris2, PROOF-PROGRAMME §3.2)

• src/abi/AttestationUnforgeability.idr: Idris2 proof that the intent→evidence→seal attestation chain is unforgeable. Models chain_hash = H(intent‖evidence‖report) + the Ed25519 signature with the cryptographic facts (chain-hash collision-resistance, Ed25519 EUF-CMA message- and signer-binding, signature correctness) as a parameters block — hypotheses, not postulate (PA021 bans escape hatches), so it is an honest conditional theorem. Under %default total it Qed-closes integrity (tampering any phase invalidates the seal), authenticity (a verifying seal comes from the matching key), and nonRepudiation (a genuine seal verifies), plus two corollaries. Typechecks under Idris2 0.8.0. Closes #123.

Added — contractile registry (INDEX.a2ml)

• .machine_readable/contractiles/INDEX.a2ml: the previously-missing contractile registry, modelled on echidna's canonical INDEX. Catalogues all

... (truncated)

Commits

• 887ca86 fix: make production panic controls falsifiable (#176)
• 4da17bb chore(deps): bump the rust-minor group across 1 directory with 2 updates (#175)
• e1004c9 chore(ci): SPDX headers on line 1 and Actions lockfile minted (#174)
• 043a380 chore(ci): make Scorecard periodic, not per-push (#173)
• See full diff 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 <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions