Commits

Commit history

1. Commits on Oct 15, 2026

   • feat: accept a compiled re.Pattern[str] in matches(), its siblings and match.matches_regex()

     Solganis

     committed
     26619baView commit details

     Copy full SHA for 26619ba

     View code at this pointBrowse repository at this point
2. Commits on Oct 4, 2026

   • fix: hand a callable value back from check() and not_, and hold a verdict after a pivot to its value under ty and mypy

     Solganis

     committed
     373816dView commit details

     Copy full SHA for 373816d

     View code at this pointBrowse repository at this point

   • fix: narrow is_not_none() under ty for an optional number, sequence, set, datetime and callable

     Solganis

     committed
     505a022View commit details

     Copy full SHA for 505a022

     View code at this pointBrowse repository at this point
3. Commits on Sep 29, 2026

   • fix: take a numpy integer or an int subclass wherever an integer is taken, and refuse anything else by name

     Solganis

     committed
     77b85b8View commit details

     Copy full SHA for 77b85b8

     View code at this pointBrowse repository at this point

   • fix: take a union or a tuple of causes in caused_by and has_root_cause

     Solganis

     committed
     7333060View commit details

     Copy full SHA for 7333060

     View code at this pointBrowse repository at this point

   • fix: type a polled callable's call by the expectation set on it

     Solganis

     committed
     725dbcdView commit details

     Copy full SHA for 725dbcd

     View code at this pointBrowse repository at this point

   • fix: type raised() as the builder over the caught exception

     Solganis

     committed
     55882a4View commit details

     Copy full SHA for 55882a4

     View code at this pointBrowse repository at this point
4. Commits on Sep 24, 2026

   • fix: close the typing gaps the chain corpus found

     Solganis

     committed
     7a9e896View commit details

     Copy full SHA for 7a9e896

     View code at this pointBrowse repository at this point

   • fix: stop the capability facade claiming the subject after a call or a pivot

     Solganis

     committed
     d5ef920View commit details

     Copy full SHA for d5ef920

     View code at this pointBrowse repository at this point
5. Commits on Sep 23, 2026

   • fix: keep the promise a declaration makes about the value

     Solganis

     committed
     440b2a7View commit details

     Copy full SHA for 440b2a7

     View code at this pointBrowse repository at this point

   • fix: refuse the calls and chains the run time refuses

     Solganis

     committed
     1f8e4e1View commit details

     Copy full SHA for 1f8e4e1

     View code at this pointBrowse repository at this point
6. Commits on Sep 22, 2026

   • docs: correct what the guides, reference and contributor notes say about this release

     Solganis

     committed
     ea15054View commit details

     Copy full SHA for ea15054

     View code at this pointBrowse repository at this point
7. Commits on Sep 21, 2026

   • fix: bind polling operands to the polled value type

     Solganis

     committed
     f671b6eView commit details

     Copy full SHA for f671b6e

     View code at this pointBrowse repository at this point

   • feat: give every negated view its own type

     Solganis

     committed
     56954f8View commit details

     Copy full SHA for 56954f8

     View code at this pointBrowse repository at this point
8. Commits on Sep 2, 2026

   • build: regenerate every recorded artefact with one command

     Solganis

     committed
     3dfe7ecView commit details

     Copy full SHA for 3dfe7ec

     View code at this pointBrowse repository at this point

   • fix: stop the protocol generators reporting success after ruff failed

     Solganis

     committed
     b509ac7View commit details

     Copy full SHA for b509ac7

     View code at this pointBrowse repository at this point

   • fix: refuse the dict assertions a capable value has no keys for

     Solganis

     committed
     89033ffView commit details

     Copy full SHA for 89033ff

     View code at this pointBrowse repository at this point
9. Commits on Aug 28, 2026

   • fix: let the object fallback answer the numeric assertions a registered number runs

     Solganis

     committed
     46a4a8eView commit details

     Copy full SHA for 46a4a8e

     View code at this pointBrowse repository at this point

   • fix: refuse the numeric assertions a capable value cannot convert for

     Solganis

     committed
     7289b87View commit details

     Copy full SHA for 7289b87

     View code at this pointBrowse repository at this point

   • style: cut every comment to what the code cannot say itself

     Solganis

     committed
     fdfd9efView commit details

     Copy full SHA for fdfd9ef

     View code at this pointBrowse repository at this point

   • style: give variables real names in place of single letters

     Solganis

     committed
     112e0baView commit details

     Copy full SHA for 112e0ba

     View code at this pointBrowse repository at this point

   • docs: name pyrefly as the fourth gated checker and refresh the recorded counts

     Solganis

     committed
     40d2623View commit details

     Copy full SHA for 40d2623

     View code at this pointBrowse repository at this point

   • feat: narrow is_instance_of and is_instance_of_any on up to three classes

     Solganis

     committed
     754f031View commit details

     Copy full SHA for 754f031

     View code at this pointBrowse repository at this point

   • fix: accept nested tuples and keep union narrowing portable across the four checkers

     Solganis

     committed
     2d4e973View commit details

     Copy full SHA for 2d4e973

     View code at this pointBrowse repository at this point

   • style: cut comments down to the fact they carry

     Solganis

     committed
     d2e5f9cView commit details

     Copy full SHA for d2e5f9c

     View code at this pointBrowse repository at this point
10. Commits on Aug 26, 2026

    • feat: give every exported symbol a type a checker can name

      Solganis

      committed
      b0796ddView commit details

      Copy full SHA for b0796dd

      View code at this pointBrowse repository at this point

    • fix: point the library typing pins at the surface the umbrella hands back

      Solganis

      committed
      2be7e15View commit details

      Copy full SHA for 2be7e15

      View code at this pointBrowse repository at this point

    • feat: narrow six more families a capable value cannot answer

      Solganis

      committed
      da9272cView commit details

      Copy full SHA for da9272c

      View code at this pointBrowse repository at this point

    • feat: narrow what a value with only a capability is offered

      Solganis

      committed
      8d8bbb4View commit details

      Copy full SHA for 8d8bbb4

      View code at this pointBrowse repository at this point

    • chore: keep mutmut's baseline clear of the tests its mutants tree breaks

      Solganis

      committed
      f3fea84View commit details

      Copy full SHA for f3fea84

      View code at this pointBrowse repository at this point
11. Commits on Aug 21, 2026

    • typing: close the places where a chain stopped being checked

      Solganis

      committed
      1548b85View commit details

      Copy full SHA for 1548b85

      View code at this pointBrowse repository at this point
12. Commits on Aug 20, 2026

    • typing: annotate the runtime and hold the views to what it accepts

      Solganis

      committed
      f892baeView commit details

      Copy full SHA for f892bae

      View code at this pointBrowse repository at this point
13. Commits on Aug 19, 2026

    • typing: give check() the verdict twin of the view it was reached from

      Solganis

      committed
      7b7eae5View commit details

      Copy full SHA for 7b7eae5

      View code at this pointBrowse repository at this point
14. Commits on Aug 15, 2026

    • docs: cut the prose in comments and module docstrings

      Solganis

      committed
      1d8daaaView commit details

      Copy full SHA for 1d8daaa

      View code at this pointBrowse repository at this point
15. Commits on Aug 8, 2026

    • chore: stop quoting a false-survivor share nobody re-measures

      Solganis

      committed
      fc7ebabView commit details

      Copy full SHA for fc7ebab

      View code at this pointBrowse repository at this point