Skip to content

v0.4.0

Choose a tag to compare

View all tags
@wcook04 wcook04 released this 26 Jul 14:54
Immutable release. Only release title and notes can be modified.
v0.4.0
1089de1
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Plectis v0.4.0 makes a public open question inspectable before an expert answer is known.

  • plectis hypothesis-handoff validates and renders a source-linked declared gap, a tentative project prior, serious alternatives, outcome-to-hypothesis discriminators, and an exact expert request.
  • Every return names repository-relative landing targets and release checks; no expert answer changes claim status automatically.
  • The worked packet asks whether evaluator-selected cases would expose a different failure profile from the author-selected fixtures.
  • The public-system paper now explains why exposing a prior and update rule makes disagreement cheaper without turning that prior into evidence. Its searchable corpus and reader-facing 20-page PDF are refreshed.
  • The exact release commit passed 456 tests (2 skipped), source smoke, installed-package smoke, Python 3.11/3.12/3.13 CI, user smoke/timing, and CodeQL.

Full details are in CHANGELOG.md and HYPOTHESIS_HANDOFF.md.

Assets 3
Loading