Release notes

HOL Guard v3.60.0a67

Preview

HOL Guard v3.60.0a67, released November 11, 2026, is a preview release with 2 additions, 1 fix and 1 other change across 3 merged pull requests. Highlights: Add ferraus MCP server contribution; Add Co-Review MCP server contribution (external, opt-in).

Changes since the previous release on this channel: alpha/v3.60.0a66alpha/v3.60.0a67

2 added · 1 fixed · 1 other

Published Original GitHub release for alpha/v3.60.0a67

Key facts

Version
v3.60.0a67
Channel
Preview
Published
Previous release
alpha/v3.60.0a66
Merged pull requests
3

Documented changes

4 typed entries

Verified contributors

4 verified contributors · 5 credits

View the complete verified roster

Attribution coverage

attribution complete; history inventory partial.

Install

Current installation guide

Scope

Guard v3.60.0a67 is a preview release published 2026-11-11. Upstream documents: Guard 3.60.0a67 is an opt-in prerelease cut from 69ba369. Stable installations remain on the stable channel. 3 commits • 3 merged pull requests • 3 contributors since Guard 3.60.0a66. Its comparison base is alpha/v3.60.0a66. It includes 5 verified contribution deliveries with public evidence links.

Changes

Added

2
  • mcpAdd ferraus MCP server contribution (#7331) Evidence for this change
  • Add Co-Review MCP server contribution (external, opt-in) (#7474) Evidence for this change
    • Merged pull request #7474: Add Co-Review MCP server contribution (external, opt-in)
    • Merged pull request #7331: feat(mcp): add ferraus MCP server contribution
    • Direct commit 6ab9ed7b1b9e: fix(mcp): review open_review and clarify GitHub posting guidance
    • Merged pull request #7516: fix(cigar): list a rename's lines in files Guard keeps out, by number
    • Direct commit 524066848181: fix(mcp): review ferraus_score and clarify model downloads

Fixed

1
  • cigarList a rename's lines in files Guard keeps out, by number (#7516) Evidence for this change
    • Lines by number only. Each kept-out file that holds the old name is listed as path:6, 9: Guard keeps this file's text out of this note; edit these lines too. None of the file's text appears in the note.
    • Counted toward "whole". The file counts toward the walk's holding total, so the note can say "Every line naming ... no other project file holds it" when that is true.
    • Included in the rename command. The file joins the holders for the one-command rename, so the perl rewrite and its test run cover it too.

Other changes

1

Upgrade and compatibility

None documented.

Compare with the previous release

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

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