Repository navigation

fix(oracle-gaps): infect nullish ?. receivers and classify swallowed throws - #60

Draft

KyleAMathews wants to merge 10 commits into

mainfrom

fix/gap-infection-completion

Draft

fix(oracle-gaps): infect nullish ?. receivers and classify swallowed throws#60
KyleAMathews wants to merge 10 commits into
mainfrom
fix/gap-infection-completion

Commits on Nov 13, 2026
- fix(oracle-gaps): infect a ?. site whose receiver is nullish
  
  KyleAMathews
  and
  Isaac
  committed
  53966e9
- Merge origin/main into fix/gap-infection-completion
  
  KyleAMathews
  and
  Isaac
  committed
  678b81a
- test(oracle-gaps): a caught optional read whose throw the owner swallows
  
  KyleAMathews
  and
  Isaac
  committed
  2a343bc
- test(oracle-gaps): the model enumerates only the sites its rendered fixture contains
  
  KyleAMathews
  and
  Isaac
  committed
  c0b92b2
- test(oracle-gaps): key a caught read's ?. site by its innermost statement
  
  KyleAMathews
  and
  Isaac
  committed
  f9bad06
Commits on Nov 14, 2026
- Merge remote-tracking branch 'origin/main' into fix/gap-infection-completion
  KyleAMathews
  committed
  4b5749a
- test(oracle-gaps): a canThrow declaration law for each operator's forms
  
  KyleAMathews
  and
  Isaac
  committed
  3830a33
- fix(oracle-gaps): declare canThrow per operator and check each false declaration
  
  KyleAMathews
  and
  Isaac
  committed
  e211779
- fix(oracle-gaps): a throws program decides its law by its declaration, and the shipped comment names no oracle file
  
  KyleAMathews
  and
  Isaac
  committed
  852d28a
- Merge remote-tracking branch 'origin/main' into fix/gap-infection-completion
  KyleAMathews
  committed
  88197c7