Commits

Commit history

1. Commits on Oct 10, 2026

   • P2-114 The FileStream.Position row fires only where the stream had an asynchronous read or write (#455)

     Show description for 6fba66a
     

     Zafnok

     and

     claude

     authored
     6fba66aView commit details

     Copy full SHA for 6fba66a

     Browse repository at this point

   • P2-075 A runtime-change row matches only the overloads and members its change affects (#457)

     Show description for ddc5c9c
     

     Zafnok

     and

     claude

     authored
     ddc5c9cView commit details

     Copy full SHA for ddc5c9c

     Browse repository at this point

   • P2-093 A relational pattern lowers as a comparison (#458)

     Show description for 57fe610
     

     Zafnok

     and

     claude

     authored
     57fe610View commit details

     Copy full SHA for 57fe610

     Browse repository at this point

   • P2-117 `Enum.GetValues<T>()` and `Enum.IsDefined<T>(v)` equal the `Type`-taking calls they replace (#459)

     Show description for b757818
     

     Zafnok

     and

     claude

     authored
     b757818View commit details

     Copy full SHA for b757818

     Browse repository at this point

   • P2-153 Soundness: the text of a body that uses an auto-property or an event of an explicit layout holds none of the layout (#453)

     Show description for 1096de3
     

     Zafnok

     and

     claude

     authored
     1096de3View commit details

     Copy full SHA for 1096de3

     Browse repository at this point

   • P2-150 Soundness: the lowered body of an operation that reads a type's layout holds none of it (#452)

     Show description for bf4d4fc
     

     Zafnok

     and

     claude

     authored
     bf4d4fcView commit details

     Copy full SHA for bf4d4fc

     Browse repository at this point

   • P2-151 Soundness: a type argument's layout reaches a generic member of the solution that reads it, and neither text holds it (#451)

     Show description for 6343e3b
     

     Zafnok

     and

     claude

     authored
     6343e3bView commit details

     Copy full SHA for 6343e3b

     Browse repository at this point

   • P2-095 A conversion to `Nullable<T>` and `default(T?)` no longer keep a pair opaque (#450)

     Show description for 55bd03a
     

     Zafnok

     and

     claude

     authored
     55bd03aView commit details

     Copy full SHA for 55bd03a

     Browse repository at this point

   • P2-087 A lifted or otherwise unlowered binary operator no longer keeps a changed pair opaque (#445)

     Show description for 6a12ae2
     

     Zafnok

     and

     claude

     authored
     6a12ae2View commit details

     Copy full SHA for 6a12ae2

     Browse repository at this point

   • P2-147 The floating-point "pairs are decided" test counts verdicts over 39 random pairs, and fails about once in 20 runs (#448)

     Show description for 7b212b0
     

     Zafnok

     and

     claude

     authored
     7b212b0View commit details

     Copy full SHA for 7b212b0

     Browse repository at this point

   • P2-132 Find what blocks the pair workers past four threads, and raise the default jobs from one (#447)

     Show description for 944b9f8
     

     Zafnok

     and

     claude

     authored
     944b9f8View commit details

     Copy full SHA for 944b9f8

     Browse repository at this point
2. Commits on Oct 9, 2026

   • P2-148 The second-solver print property fails at random when Z3 is slower on the printed text than on the query (#449)

     Show description for c1a0c93
     

     Zafnok

     and

     claude

     authored
     c1a0c93View commit details

     Copy full SHA for c1a0c93

     Browse repository at this point

   • P2-149 Soundness: a type's layout can change what an ordinary body does, and no fingerprint of such a body holds it (#446)

     Show description for 5b83f1c
     

     Zafnok

     and

     claude

     authored
     5b83f1cView commit details

     Copy full SHA for 5b83f1c

     Browse repository at this point

   • P2-122 The pattern forms behind `switch-pattern` are counted, and the largest one without a ticket lowers (#444)

     Show description for 17e4cf6
     

     Zafnok

     and

     claude

     authored
     17e4cf6View commit details

     Copy full SHA for 17e4cf6

     Browse repository at this point

   • Bump the nuget-minor-patch group with 2 updates (#440)

     Show description for 84833c9
     

     dependabot[bot]

     and

     github-actions[bot]

     authored
     84833c9View commit details

     Copy full SHA for 84833c9

     Browse repository at this point

   • P2-146 Soundness: the marshalling settings an `extern` function takes from its types and its assembly are in no fingerprint (#443)

     Show description for f7c5e3b
     

     Zafnok

     and

     claude

     authored
     f7c5e3bView commit details

     Copy full SHA for f7c5e3b

     Browse repository at this point

   • P2-134 Thorough mode's later passes cost ten hours on Git Extensions and prove nothing: set their budgets from the measurement (#441)

     Show description for c8bf202
     

     Zafnok

     and

     claude

     authored
     c8bf202View commit details

     Copy full SHA for c8bf202

     Browse repository at this point

   • docs(tickets): file P2-148, the second-solver print property fails when Z3 is slower on the text (#439)

     Show description for 7539156
     

     Zafnok

     and

     claude

     authored
     7539156View commit details

     Copy full SHA for 7539156

     Browse repository at this point

   • docs(runs): rerun the three large pairs at one commit and bring the scoreboard to it (#442)

     Show description for 979aeb9
     

     Zafnok

     and

     claude

     authored
     979aeb9View commit details

     Copy full SHA for 979aeb9

     Browse repository at this point
3. Commits on Oct 8, 2026

   • docs(tickets): file P2-147, the floating-point count test draws random pairs (#438)

     Show description for 18b751f
     

     Zafnok

     and

     claude

     authored
     18b751fView commit details

     Copy full SHA for 18b751f

     Browse repository at this point

   • P2-143 A `params` call that .NET 9 binds to the `params ReadOnlySpan<T>` overload is the same call as the `params T[]` one (#435)

     Show description for 014fe3d
     

     Zafnok

     and

     claude

     authored
     014fe3dView commit details

     Copy full SHA for 014fe3d

     Browse repository at this point

   • P2-142 `TimeSpan.FromHours(2)` binds to an integer overload on .NET 9, and the two overloads agree while the result is in range (#433)

     Show description for 15caf62
     

     Zafnok

     and

     claude

     authored
     15caf62View commit details

     Copy full SHA for 15caf62

     Browse repository at this point

   • P2-144 A switch expression that matches no arm throws another exception type after a migration from .NET Framework, and such pairs are Equivalent by congruence (#436)

     Show description for 46c34ce
     

     Zafnok

     and

     claude

     authored
     46c34ceView commit details

     Copy full SHA for 46c34ce

     Browse repository at this point

   • P2-145 Soundness: the attributes of an `extern` function are its code (gap 2: an `extern` method is a procedure) (#434)

     Show description for 828f4af
     

     Zafnok

     and

     claude

     authored
     828f4afView commit details

     Copy full SHA for 828f4af

     Browse repository at this point

   • P2-145 Soundness: the attributes of an `extern` function are its code (gap 1: a local function's attributes are fingerprinted) (#431)

     Show description for 6beb97d
     

     Zafnok

     and

     claude

     authored
     6beb97dView commit details

     Copy full SHA for 6beb97d

     Browse repository at this point

   • docs(adr): 0054 an `extern` method is a procedure, compared by what it imports (P2-145 criterion 3) (#432)

     Show description for 6a88653
     

     Zafnok

     and

     claude

     authored
     6a88653View commit details

     Copy full SHA for 6a88653

     Browse repository at this point

   • P2-106 A body whose only diagnostics are warnings promoted to errors is not `unbound` (#424)

     Show description for 4005742
     

     Zafnok

     and

     claude

     authored
     4005742View commit details

     Copy full SHA for 4005742

     Browse repository at this point

   • P2-101 The timeout Unknowns that 20 times the budget does not decide: find what their queries share (#430)

     Show description for 1c43dd6
     

     Zafnok

     and

     claude

     authored
     1c43dd6View commit details

     Copy full SHA for 1c43dd6

     Browse repository at this point

   • P2-136 The delegate conversions P2-067 left opaque are counted, and the largest cause is removed (#429)

     Show description for 9141a8a
     

     Zafnok

     and

     claude

     authored
     9141a8aView commit details

     Copy full SHA for 9141a8a

     Browse repository at this point

   • docs(tickets): file P2-145, the attributes of an extern function are not compared (#428)

     Show description for ccc5cf8
     

     Zafnok

     and

     claude

     authored
     ccc5cf8View commit details

     Copy full SHA for ccc5cf8

     Browse repository at this point

   • P2-119 A controller action with one method is not an ambiguous overload (#423)

     Show description for b68abf4
     

     Zafnok

     and

     claude

     authored
     b68abf4View commit details

     Copy full SHA for b68abf4

     Browse repository at this point

   • P2-137 The callee pairs behind `rebound-call` are counted, and the largest ones that are one call get a catalogue entry (#426)

     Show description for 7bd83c5
     

     Zafnok

     and

     claude

     authored
     7bd83c5View commit details

     Copy full SHA for 7bd83c5

     Browse repository at this point

   • P2-107 On a same-runtime pair, a whole-body opaque pair with identical source is not "changed" (#425)

     Show description for b08f06f
     

     Zafnok

     and

     claude

     authored
     b08f06fView commit details

     Copy full SHA for b08f06f

     Browse repository at this point

   • docs(adr): on one runtime a partial method is fingerprinted by its implementing part (#422)

     Show description for 44338e4
     

     Zafnok

     and

     claude

     authored
     44338e4View commit details

     Copy full SHA for 44338e4

     Browse repository at this point

   • P1-030 Abstraction refinement, part 1: a pure function a candidate depends on is given its real meaning (#420)

     Show description for c59fa0f
     

     Zafnok

     and

     claude

     authored
     c59fa0fView commit details

     Copy full SHA for c59fa0f

     Browse repository at this point