build(deps): bump toml_edit from 0.25.15+spec-1.1.0 to 0.25.17+spec-1.1.0

[dependabot]

Bumps toml_edit from 0.25.15+spec-1.1.0 to 0.25.17+spec-1.1.0.

Commits

• ceac6e4 chore: Release
• 0fe9e93 docs: Update changelog
• e3a64aa fix(display): Ensure all keys are encoded (#1245)
• 76484d0 fix(display): Ensure all keys are encoded
• 711b1ba refactor(display): Clarify that we are working with encoded keys
• 4f73ebd test(display): Reproduce the key bug
• 6c6a5cd fix(parser): Remove risk of unsoundness with synthetic parser events and 'uns...
• 9c5e95d fix(parser): Remove risk of unsoundness with synthetic parser events and 'uns...
• 4d45944 perf(parser): Remove no-op code (#1243)
• 189c91c perf(parser): Remove no-op code
• 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)

[github-actions]

proofcheck: ⚠️ No evidence found for the PR's claims

no checkable claims in the PR text · no tests added or changed · 1 files (+8/−8), 1 scope note

Claims

No checkable claims (issue references, performance numbers, "adds tests", "no behaviour change", "backwards compatible") were found in the PR title or description.

Tests: do the changed tests fail before the change and pass after it?

⚠️ No test evidence: this PR does not add or change any test.

Projects: rust (cargo): no tests changed · python (pytest in adapters/python): no tests changed

• The PR does not add or modify any test files.

Scope

• 1 files changed (+8 / −8 lines)
• ⚠️ Changes dependency manifests or lockfiles. Cargo.lock

---

_{proofcheck judges evidence, not authorship: it runs the PR's tests on the base and head commits, replays issue reproducers and checks claims against what it measured. It does not guess whether a human or an AI wrote the code. ⚠️ means no evidence, not wrong. Base d21705a → head a7385b1 · proofcheck 1.0.0}