Moving [tools.bolt] to v1.8.0 (#35) turned up findings the old bolt pin never reported. To land the tooling upgrade, the rules below are set to warn in bolt.bend; their groups stay at error for every other rule. Fix the findings, then delete those def <rule>() lines to restore error.
By rule:
- 320 × S004
- 117 × S003
- 91 × L001
- 56 × L002
By file (top 12):
- 132
./ezaudio/mp3_enc.bend
- 131
./bench/main.bend
- 106
./ezaudio/mp3_dec.bend
- 79
./ezaudio/mp3_syn.bend
- 63
./ezaudio/LAWS.bend
- 27
./ezaudio/main.bend
- 26
./ezaudio/mp3.bend
- 20
./ezaudio/wav.bend
Reproduce: nix flake check (lint), or bolt --gpu off at the repo root with bolt v1.8.0.
🤖 Generated with Claude Code
Moving
[tools.bolt]to v1.8.0 (#35) turned up findings the old bolt pin never reported. To land the tooling upgrade, the rules below are set towarninbolt.bend; their groups stay aterrorfor every other rule. Fix the findings, then delete thosedef <rule>()lines to restoreerror.By rule:
By file (top 12):
./ezaudio/mp3_enc.bend./bench/main.bend./ezaudio/mp3_dec.bend./ezaudio/mp3_syn.bend./ezaudio/LAWS.bend./ezaudio/main.bend./ezaudio/mp3.bend./ezaudio/wav.bendReproduce:
nix flake check(lint), orbolt --gpu offat the repo root with bolt v1.8.0.🤖 Generated with Claude Code