Release notes

HOL Guard v3.60.0a79

Preview

HOL Guard v3.60.0a79, released November 13, 2026, is a preview release with 11 other changes.

Changes since the previous release on this channel: alpha/v3.60.0a78alpha/v3.60.0a79

11 other

Published Original GitHub release for alpha/v3.60.0a79

Key facts

Version
v3.60.0a79
Channel
Preview
Published
Previous release
alpha/v3.60.0a78

Documented changes

11 typed entries

Attribution coverage

attribution complete; history inventory partial.

Scope

Guard v3.60.0a79 is a preview release published 2026-11-13. Its comparison base is alpha/v3.60.0a78. It includes 11 verified contribution deliveries with public evidence links.

Changes

Other changes

11
  • Merged pull request #7639: perf(guard): fetch a round's missing proofs side by side Evidence for this change
  • Merged pull request #7606: fix(dashboard): ask for a fresh authenticator code after Guard refuses a decision without one (#7606) Evidence for this change
  • Merged pull request #7615: fix(mcp-servers): update ops-brain contribution for v8.0.0 Evidence for this change
  • Direct commit 2fb84c6b919a: fix(ci): reject untrusted pull_request_target checkouts (#7609) Evidence for this change
  • Direct commit 5e4c5e987d7d: fix(guard): treat core.hooksPath=/dev/null as no hooks for local git writes (#7597) Evidence for this change
  • Direct commit 04e830ae4b47: feat(guard): ship Gmail, Drive and Calendar cloud action packs (#7611) Evidence for this change
  • Direct commit 96bad63e2df7: refactor(guard): move the adapter state key, MCP probe env and Codex app-server reclaim into the native runtime (#7610) Evidence for this change
  • Direct commit 529d2942e42c: fix(guard): let omp read its own tool docs and job streams without review (#7614) Evidence for this change
  • Direct commit 3f08fa158074: docs(bench): add the seeded CIGAR long-task rig and cross-repo results (#7619) Evidence for this change
  • Direct commit 9fb47bae37e2: fix(watch): keep managed tool safety gates enforced Evidence for this change
  • Merged pull request #7559: fix(watch): let the managed pi/omp extension continue past withheld output Evidence for this change

Upgrade and compatibility

None documented.

Compare with the previous release

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

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