Release notes

HOL Guard v3.60.0a4

Preview

HOL Guard v3.60.0a4, released November 5, 2026, is a preview release with 2 improvements, 13 fixes and 1 other change across 15 merged pull requests. Highlights: Split the Oh My Pi listing and search proofs into their own module; Verify exact Cloud Review consent in the native runtime.

Changes since the previous release on this channel: alpha/v3.60.0a3alpha/v3.60.0a4

2 improved · 13 fixed · 1 other

Published Original GitHub release for alpha/v3.60.0a4

Key facts

Version
v3.60.0a4
Channel
Preview
Published
Previous release
alpha/v3.60.0a3
Merged pull requests
15

Documented changes

16 typed entries

Verified contributors

Credits being verified. Attribution coverage is unknown.

Attribution coverage

attribution not yet verified; history inventory partial.

Scope

Guard v3.60.0a4 is a preview release published 2026-11-05. Upstream documents: Guard 3.60.0a4 is an opt-in prerelease cut from 11bdb6a. Stable installations remain on the stable channel. 15 commits • 15 merged pull requests • 1 contributor since Guard 3.60.0a3. Its comparison base is alpha/v3.60.0a3. Attribution for this release is being verified.

Changes

Improved

2

Fixed

13

Other changes

1

Upgrade and compatibility

None documented.

Compare with the previous release

Predecessor on the same channel: alpha/v3.60.0a3

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.