Release notes

HOL Guard v3.59.0

Stable

HOL Guard v3.59.0, released November 4, 2026, is a stable release with 55 additions, 6 improvements, 177 fixes and 11 other changes. Highlights: builder: carry reviewed literals on the unclassified rule; optional license and; cigar: add a folder picker for projects and keep CIGAR on after it rests (#6992).

Changes since the previous release on this channel: v3.58.0v3.59.0

55 added · 6 improved · 177 fixed · 11 other

Published Original GitHub release for v3.59.0

Key facts

Version
v3.59.0
Channel
Stable
Published
Previous release
v3.58.0

Documented changes

249 typed entries

Verified contributors

Credits being verified. Attribution coverage is unknown.

Attribution coverage

attribution not yet verified; history inventory partial.

Scope

Guard v3.59.0 is a stable release published 2026-11-04. Upstream documents: builder: carry reviewed literals on the unclassified rule; optional license and description (#6868). Its comparison base is v3.58.0. Attribution for this release is being verified.

Changes

Added

55

Improved

6

Fixed

177

Other changes

11

Upgrade and compatibility

None documented.

Compare with the previous release

Predecessor on the same channel: v3.58.0

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.

Evidence ledger0 credits

No credits are published for this release yet.