Release notes

HOL Guard v3.57.0a1

Preview

HOL Guard v3.57.0a1, released October 24, 2026, is a preview release with 1 addition, 1 improvement, 2 fixes and 1 other change across 3 merged pull requests. Highlights: Record active-set and candidate counts for scale runs; Remove the unused Python skill-path resolver.

Changes since the previous release on this channel: alpha/v3.56.0a6alpha/v3.57.0a1

1 added · 1 improved · 2 fixed · 1 other

Published Original GitHub release for alpha/v3.57.0a1

Key facts

Version
v3.57.0a1
Channel
Preview
Published
Previous release
alpha/v3.56.0a6
Merged pull requests
3

Documented changes

5 typed entries

Verified contributors

1 verified contributor · 6 credits

Attribution coverage

attribution complete; history inventory partial.

Install

Current installation guide

Scope

Guard v3.57.0a1 is a preview release published 2026-10-24. Upstream documents: Guard 3.57.0a1 is an opt-in prerelease cut from 42ee566. Stable installations remain on the stable channel. 4 commits • 3 merged pull requests • 2 contributors since Guard 3.56.0. Its comparison base is alpha/v3.56.0a6. It includes 6 verified contribution deliveries with public evidence links.

Changes

Added

1
  • diagnosticsRecord active-set and candidate counts for scale runs (#5894) Evidence for this change
    • guard-command keeps counters in native_command_program_work_stats.rs. They record the active extension count of the last compiled controls, plus, per thread, the candidates the last declarative pass considered and…
    • With HOL_GUARD_NATIVE_DIAGNOSTIC set, the resident writes those counts after each request as native_resident_note lines in its existing phase log. As with existing notes, a line is written only when its value…
    • With the variable unset nothing is written. Receipts, decision IDs and the wire format are unchanged.

Improved

1
  • runtimeRemove the unused Python skill-path resolver (fcbbde7) Evidence for this change
    • Merged pull request #5890: fix(contain): find a workspace venv the session's PATH never names (#5890)
    • Merged pull request #5855: fix(command): read a closed double-bracket test as the test it asks (#5855)
    • Merged pull request #5899: refactor(runtime): remove the unused Python skill-path resolver
    • Merged pull request #5862: fix(command): read a grouped command that stands in a pipeline (#5862)
    • Merged pull request #5894: feat(diagnostics): record active-set and candidate counts for scale runs (#5894)
    • Merged pull request #5693: chore(release): 3.56.0 (#5693)

Fixed

2

Other changes

1

Upgrade and compatibility

None documented.

Compare with the previous release

Predecessor on the same channel: alpha/v3.56.0a6

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 ledger6 credits