Release notes

HOL Guard v3.58.0a3

Preview

HOL Guard v3.58.0a3, released October 26, 2026, is a preview release with 1 addition and 1 other change across 1 merged pull request. Highlights: Install and uninstall HOL listings with each runtime's CLI.

Changes since the previous release on this channel: alpha/v3.58.0a2alpha/v3.58.0a3

1 added · 1 other

Published Original GitHub release for alpha/v3.58.0a3

Key facts

Version
v3.58.0a3
Channel
Preview
Published
Previous release
alpha/v3.58.0a2
Merged pull requests
1

Documented changes

2 typed entries

Verified contributors

1 verified contributor · 1 credit

Attribution coverage

attribution complete; history inventory partial.

Scope

Guard v3.58.0a3 is a preview release published 2026-10-26. Upstream documents: Guard 3.58.0a3 is an opt-in prerelease cut from 0096dce. Stable installations remain on the stable channel. 1 commit • 1 merged pull request • 1 contributor since Guard 3.58.0a2. Its comparison base is alpha/v3.58.0a2. It includes 1 verified contribution delivery with public evidence links.

Changes

Added

1
  • pluginInstall and uninstall HOL listings with each runtime's CLI (#6013) Evidence for this change
    • Guard downloads the listing's install spec from https://hol.org/api/guard/plugins/install-spec (identifiers only, 64 KiB cap). --spec-file reads a local spec instead, for offline use and tests. The spec must name…
    • The native Plugin Kit checks every identifier in the spec and turns it into argument vectors for a fixed set of programs: claude, codex and npx. Anything else in the spec is printed under "Install by hand" and…
    • The default is a plan: Guard prints the commands and changes nothing. --apply runs them without a shell, asking Install for ? [y/N] for each runtime. --yes skips the prompts for CI. --runtime limits…
    • Merged pull request #6013: feat(plugin): install and uninstall HOL listings with each runtime's CLI (#6013)

Other changes

1

Upgrade and compatibility

None documented.

Compare with the previous release

Predecessor on the same channel: alpha/v3.58.0a2

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 ledger1 credit