Skip to content

holbuild v0.10.1

Choose a tag to compare

View all tags
@xrchz xrchz released this 17 Jul 04:30
v0.10.1
This tag was signed with the committer’s verified signature. The key has expired.
xrchz Ramana Kumar
GPG key ID: ED471C788B900433
Expired
Verified
Learn about vigilant mode.
a10f55e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

This patch release improves Proof-IR failure handling and failed-prefix checkpoint recovery.

Fixes

  • Preserve and report the final goal context when every alternative of a Proof-IR choice fails.
  • Report useful proof context when failed-prefix replay or resumed proof execution fails.
  • Make failed-prefix checkpoint reuse safer after structural proof edits by validating a canonical dependency-prefix signature.
  • Rewind resumed proofs by actual proof-history operations rather than successful Proof-IR leaf count, fixing recovery when structural operations create
    multiple history entries.
  • Retain sufficient proof history to support structural prefix rewind across heap resume.
  • Avoid an infix-keyword warning in project graph processing.

Compatibility note

Failed-prefix checkpoint metadata has been upgraded. Checkpoints created by earlier metadata versions will be ignored and rebuilt as needed.

Testing

Added regression coverage for:

  • failed-prefix diagnostics,
  • exhausted choice diagnostics,
  • structural edits to failed proof prefixes,
  • structural prefix rewind and resumed proof history.

What's Changed

  • Improve failed prefix diagnostics by @xrchz in #141
  • Fix issues in checkpoint replay semantics by @xrchz in #143

Full Changelog: v0.10.0...v0.10.1

Contributors

xrchz
Assets 2
Loading