0.12.1: the verify fixes 0.12.0 was tagged just before

[arpanghoshal]

v0.12.0 was cut at the release merge, and #213 landed on main shortly after, so the published wheel carries none of the three fixes. git merge-base --is-ancestor 23de2dc v0.12.0 says no.

That is not a subtle regression. On the document that found it, a support agent with a grant of twelve refunds an hour:

ctrlrun 0.12.0 from PyPI     1/1 pass,  31 not applicable
this release                22/22 pass, 10 not applicable

A reader who runs ctrlrun verify against an ordinary policy today gets one guarantee graded and thirty-one reported not applicable. It reads as a tool that checks nothing, and the failure is silent, so nobody would file it as a bug.

Nothing here touches the enforcement path. The whole of it is verify/scenarios.py, the self-check tool, and it under-reported rather than over-claimed, which is the safe direction. It was severe enough to be worth a patch release anyway.

No adapter work. 1.3.0 already declares ctrlrun>=0.5,<0.13, so 0.12.1 is inside the range both published adapters accept. One tag, no ordering dance.

Also in here

adopt-site/ removed: two files of empty Vite dependency cache, .vite/deps/package.json and a _metadata.json with "optimized": {}, swept into the repository root by #138 and referenced by nothing for four milestones. It shipped in no distribution, but it is the root a reader lands on from the README. .vite/ and node_modules/ are now in .gitignore so it cannot come back.

Gate and release verification

All checks passed!                     (ruff, ruff format, mypy --strict: 54 files)
4594 passed                            (working tree)
4514 passed, 6 skipped                 (fresh clone of the release branch)
sbom: ctrlrun 0.12.1 → [('PyYAML', '6.0.3'), ('click', '8.5.0')]
build: ctrlrun-0.12.1.tar.gz and ctrlrun-0.12.1-py3-none-any.whl
the reproducing document, against the fresh clone: 22/22 pass, 10 not applicable

Docs are release/0.12.1.

🤖 Generated with Claude Code

Summary by CodeRabbit

• Bug Fixes

  • Corrected verification sizing and candidate selection so all 22 guarantees are graded.
  • Fixed handling of boolean X_neq conditions.

• Release

  • Updated the project to version 0.12.1.
  • Added release documentation describing the verification improvements.

• Chores

  • Removed committed build-cache artifacts.
  • Updated ignore rules to prevent generated dependencies and build caches from being tracked.

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Advanced

Run ID: 588fad2e-1e2e-45f5-92dd-7768024bd9c5

📥 Commits

Reviewing files that changed from the base of the PR and between 23de2dc and f626d32.

📒 Files selected for processing (6)

• .gitignore
• CHANGELOG.md
• CITATION.cff
• adopt-site/.vite/deps/_metadata.json
• adopt-site/.vite/deps/package.json
• pyproject.toml

💤 Files with no reviewable changes (2)

• adopt-site/.vite/deps/_metadata.json
• adopt-site/.vite/deps/package.json

Included review availability: Your plan provides up to 10 included reviews per hour; 9 remain after this review.

---

📝 Walkthrough

Walkthrough

The project version and citation change to 0.12.1. The changelog adds release notes and documents verification corrections and cache cleanup. Committed Vite cache files are removed, and generated site-tooling caches are ignored.

Changes

Release and cache updates

Layer / File(s)	Summary
Site-tooling cache cleanup .gitignore, adopt-site/.vite/deps/*, CHANGELOG.md	The repository ignores node_modules/ and .vite/. Committed Vite cache files are removed. The changelog records the cleanup.
0.12.1 release metadata pyproject.toml, CITATION.cff, CHANGELOG.md	Project and citation versions change from 0.12.0 to 0.12.1. The changelog adds the release entry and verification notes.

Priority: ⬇️ Low

Estimated code review effort: 1 (Trivial) | ~5 minutes

Change: Bug fix

Merge Risk: ⚪ Minimal · up to f626d

This release is ready to merge; the documented verification fixes are present and the metadata and cache changes show no identified user impact.

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title identifies release 0.12.1 and states that it restores verification fixes omitted from 0.12.0. This matches the primary objective of the pull request, although the wording is grammatically aw…
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch release/0.12.1

---

_{Comment @coderabbitai help to get the list of available commands.}