chore(deps): bump ordeal from 0.4.1 to 0.4.2

[dependabot]

Bumps ordeal from 0.4.1 to 0.4.2.

Release notes

Sourced from ordeal's releases.

ordeal v0.4.2

What's Changed

• proof(lean): apply_delete simulation leaf toward kernel_refines_pure (#12) by @​avrabe in pulseengine/ordeal#37
• release: v0.4.2 — Solver::prove_equiv layout oracle (spar #38) by @​avrabe in pulseengine/ordeal#41

Full Changelog: pulseengine/ordeal@v0.4.1...v0.4.2

Changelog

Sourced from ordeal's changelog.

[0.4.2] - 2026-07-03

spar's integration question (issue #38): a semantic oracle for its generated WIT record data-type layouts — small, closed QF_BV equivalence queries, in ordeal's existing fragment. This adds a one-call equivalence helper and a worked example; no new fragment op, no optimization/LP surface. Falsification statement: this release is wrong if Solver::prove_equiv(a, b) returns a verdict that disagrees with asserting BoolTerm::Ne(a, b) and calling Solver::check on the same terms.

Added

• Solver::prove_equiv(a, b) — prove two same-width bitvector terms equivalent via the standard equivalence-as-UNSAT encoding. Unsat (with a checker-validated LRAT certificate) ⟹ equal for all inputs; Sat ⟹ a counterexample; Unknown (including a width mismatch) ⟹ conservative, no claim. Decision-only — it does not grow an optimization/LP arm.
• docs/consuming-ordeal.md — a layout/data-type equivalence section (pack+extract round-trip) showing the programmatic BvTerm graph + verdict.

Commits

• af51dd6 release: v0.4.2 — Solver::prove_equiv layout oracle (spar #38) (#41)
• 5f77b7d proof(lean): discharge the apply_delete simulation leaf (issue #12, v0.5.0) (...
• 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 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)