Release notes

HOL Guard v3.59.0a55

Preview

HOL Guard v3.59.0a55, released November 4, 2026, is a preview release with 2 fixes and 1 other change across 1 merged pull request. Highlights: Leave passing matches out of CIGAR prompt context; Read the decompressing viewers and the remaining text filters instead of reviewing them.

Changes since the previous release on this channel: alpha/v3.59.0a54alpha/v3.59.0a55

2 fixed · 1 other

Published Original GitHub release for alpha/v3.59.0a55

Key facts

Version
v3.59.0a55
Channel
Preview
Published
Previous release
alpha/v3.59.0a54
Merged pull requests
1

Documented changes

3 typed entries

Verified contributors

1 verified contributor · 2 credits

Attribution coverage

attribution complete; history inventory partial.

Scope

Guard v3.59.0a55 is a preview release published 2026-11-04. Upstream documents: Guard 3.59.0a55 is an opt-in prerelease cut from c72e309. Stable installations remain on the stable channel. 2 commits • 1 merged pull request • 2 contributors since Guard 3.59.0a54. Its comparison base is alpha/v3.59.0a54. It includes 2 verified contribution deliveries with public evidence links.

Changes

Fixed

2
  • guardLeave passing matches out of CIGAR prompt context (c72e309) Evidence for this change
  • guardRead the decompressing viewers and the remaining text filters instead of reviewing them (#7192) Evidence for this change
    • Merged pull request #7201: fix(guard): leave passing matches out of CIGAR prompt context
    • Merged pull request #7192: fix(guard): read the decompressing viewers and the remaining text filters instead of reviewing them

Other changes

1

Upgrade and compatibility

None documented.

Compare with the previous release

Predecessor on the same channel: alpha/v3.59.0a54

Verified contributors

Credits derive from public pull-request authorship, verified commit authorship, or verified co-authorship — never from thanks text or release metadata. Each distinct contributor is listed once; the evidence ledger paginates every published credit record.

Contributors

Evidence ledger2 credits