synth v0.82.0

What's Changed

• v0.82 planning: the coupling defect, twelve artifacts, and the anchor moved to v0.81.0 in one PR by @avrabe in #1485
• v0.82 CLOSEARM lane (#1484): the conjunction two gates never read, and a population of 32 by @avrabe in #1486
• v0.82 JESSDIVERGE4 lane (#1436): the named measurement was half a measurement by @avrabe in #1487
• v0.82 R14NARROW follow-up (#1484): the rule written to stop conjunction defects was one by @avrabe in #1488
• v0.82 FIRSTTOKEN lane (#1476): the widening was implemented THREE WAYS and every one costs more than the hole by @avrabe in #1489
• v0.82 WIDEFILE5 lane (#1439): the sign surface was named by instruction, not by effect by @avrabe in #1490
• v0.82 LADDER4 lane (#1432): four releases shipped "refused every offered auth method" and it was the wrong fact by @avrabe in #1491
• v0.82 lane wave: eight lanes in one change, because runner contention is the binding constraint by @avrabe in #1492
• v0.82 cold-review round 1: six false statements corrected, and one was a guard that could not fail by @avrabe in #1493
• Release v0.82.0 — version bump, CHANGELOG, and cold-review round 2 corrections by @avrabe in #1494

Full Changelog: v0.81.0...v0.82.0