Repository navigation

fix(oracles): types label a survivor as outside-annotation, and never skip a mutant or mark it dead - #36

Merged

KyleAMathews merged 16 commits into

mainfrom

overnight/typed-label

Nov 12, 2026

Merged

fix(oracles): types label a survivor as outside-annotation, and never skip a mutant or mark it dead#36
KyleAMathews merged 16 commits into
mainfrom
overnight/typed-label

Commits on Nov 11, 2026
- test(oracles): types never skip a mutant or mark it dead; they label its survivor (RED)
  
  KyleAMathews
  and
  Isaac
  committed
  3506293
- feat(oracles): types label a survivor and never skip or kill a mutant
  
  KyleAMathews
  and
  Isaac
  committed
  c0fc574
- test(oracles): a closure that reads a let before its assignment keeps its dead-code site
  
  KyleAMathews
  and
  Isaac
  committed
  6b03ea0
- Merge origin/main into overnight/typed-label
  
  KyleAMathews
  and
  Isaac
  committed
  fc6a2e2
- test(oracles): the sixth review's causes as generated programs (RED)
  
  KyleAMathews
  and
  Isaac
  committed
  a177d49
- fix(oracles): no dead mark or skip that a dead zone, a binding, eval, or with defeats; a returned call is a site
  
  KyleAMathews
  and
  Isaac
  committed
  a932254
- fix(oracles): an export list keeps a constant receiver
  
  KyleAMathews
  and
  Isaac
  committed
  10853a2
- test(oracles): every binding form crossed with every read position, the spellings of eval, and a label across && (RED)
  
  KyleAMathews
  and
  Isaac
  committed
  1d2710a
- fix(oracles): resolve every scope question through TypeScript's binder
  
  KyleAMathews
  and
  Isaac
  committed
  e847db5
- Merge origin/main into overnight/typed-label
  
  KyleAMathews
  and
  Isaac
  committed
  ed779a5
- fix(oracles): a name inside a with resolves to nothing, so no with check in localBinding
  
  KyleAMathews
  and
  Isaac
  committed
  f16fce3
- test(oracles): settled async and generator runs, eval held by a local binding, and labels without strict null checks (RED)
  
  KyleAMathews
  and
  Isaac
  committed
  8bf7f1b
- fix(oracles): a call of any eval is direct, and a bigint label needs a nonzero bigint literal
  
  KyleAMathews
  and
  Isaac
  committed
  c846069
- Merge origin/main into overnight/typed-label
  
  KyleAMathews
  and
  Isaac
  committed
  7cd842f
Commits on Nov 12, 2026
- test(oracles): bound a text program's settling, name any thrown value, and state the settled comparison's limits
  
  KyleAMathews
  and
  Isaac
  committed
  46470fc
- Merge origin/main into overnight/typed-label
  
  KyleAMathews
  and
  Isaac
  committed
  815a999

Commits

Commits on Nov 11, 2026

Commits on Nov 12, 2026