Skip to content

Loki Mode v11.131.0

Choose a tag to compare

@github-actions github-actions released this 05 Nov 13:01
· 60 commits to main since this release
Immutable release. Only release title and notes can be modified.

Loki proves honest fixes again by testing them against the original code, and spends fewer fix rounds on failures it did not cause.

Fixed

  • The check that a new test fails on the original code and passes on the change now runs on a correctly installed copy of the original code (same interpreter, nearest package's own vitest config), so honest fixes can reach VERIFIED again; import, collection and missing-function errors still never count as proof.
  • No Wall snapshot is taken when the Wall is off, which removed a "Wall failed" result on large trees.

Changed

  • Fix rounds stop when a round would get the same failing tests as the previous one, and a TypeScript check that fails only on unused declarations in untouched files is excused only when the same errors already appear on the original code.