v0.13.1

Evaluator

The evaluator's core packages no longer depend on the golang.org/x/mod module, which was only used to format version strings.

Fix a regression causing "cyclic field to reference" in some cases.

Fix a regression causing closedness rules to not apply in some cases.

Disable a minor optimization which was also causing closedness rules to not apply in some cases.

cmd/cue

Fix a build error triggered by changes in the upcoming Go 1.25 version, allowing v0.13 to be used further into the future.

cue mod mirror --dry-run now works as documented; it had been left unimplemented by accident.

Full list of changes since v0.13.0

• internal/ci: bump Go version for v0.13.1 by @mvdan in 65a5178
• internal/core/adt: also typo check disjuncts by @mpvl in 72bf578
• internal/core/adt: add tests for Issue 3957 by @mpvl in ea56b5a
• internal/golangorgx/tools/tokeninternal: remove by @mvdan in e316125
• internal/core/adt: partially revert CL 1214950 by @mpvl in 0f896f6
• internal/core/adt: add tests for 3946 by @mpvl in a7ab473
• internal/cueversion: avoid dependency on golang.org/x/mod by @rogpeppe in 85e1230
• internal/core/adt: do not always filter disjuncts by @mpvl in c5bc992
• internal/core/adt: add tests for 3947 by @mpvl in 8350f89
• cmd/cue: implement mirror --dry-run by @rogpeppe in 8e68892