Skip to content

v1.16.1 — engineer 0.32.1

Choose a tag to compare

View all tags
@swingerman swingerman released this 23 Sep 07:54
· 1 commit to master since this release
v1.16.1
5520e1e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

engineer 0.32.1: safer hardening

Now you can:

  • Leave verify: auto on without it merging code that was never hardened. The merge-readiness bar now covers every checkpoint through CP8.
  • Let autonomy decide who picks the hardening. At high autonomy the refinement-advisor decides alone and tells you why. Below that, it asks.
  • Make the advisor's picks mandatory with one line. Set harden.required: true in the manifest. It replaces mutation.default_per_feature, which now triggers a validation warning.
  • Trust the mutation gate's numbers. Scores and thresholds are both percentages (0–100), and the CP7 handoff carries crap-analyzer's results for harden to read.
  • See fixes harden on the board too. The fix lifecycle gains a hardened stage.
  • Run lean and tlaplus without surprise PRs. They ask before opening one. The TLA+ jar is pinned to v1.7.4.
Assets 2
Loading