Commits on Sat, Nov 7, 2026

1. Malte Ubl

   List the checked conversions that trust an unverified type in coverage

   5b981a8Nov 7
2. Malte Ubl

   Report width copies from the lowered program and test that no warning means Node's behaviour

   a64ce96Nov 7
3. Malte Ubl

   Let a kind test guard only the conversions it dominates

   81b55d3Nov 7
4. Malte Ubl

   Name an island element read by its receiver's element selector

   75e36f5Nov 7
5. Malte Ubl

   Describe a width-copy observation only when it is the first of its kind

   1150e23Nov 7
6. Malte Ubl

   Name a bracket read of an island member by the member

   ceb477cNov 7
7. Malte Ubl

   Name only an array's numeric read as an element

   1e60cc6Nov 7
8. Malte Ubl

   Name the declaration when a Node island value fails its conversion

   0761241Nov 7
9. Malte Ubl

   Merge origin/main into fix/divergence-soundness

   61e3808Nov 7
10. Malte Ubl

    List the corpus programs main added that carry SC6001

    fc2c0ccNov 7
11. Malte Ubl

    Exempt SC6001 from the corpus sweep instead of listing its programs

    76a0e17Nov 7
12. Malte Ubl

    Report a conversion of a copy, refuse the gate with the opt-out on a replayed verdict, and bound the warning's type text

    a6d25ecNov 7
13. Malte Ubl

    Merge origin/main into fix/divergence-soundness

    d1e1f1cNov 7
14. Malte Ubl

    Count the chained conversion in the copy-soundness baseline

    6ec9035Nov 7
15. Chris Tate

    Name the declaration when a Node island value fails its conversion (#3217)

    3b98ba7Nov 7
16. Malte Ubl

    Merge feat/type-claims-report (#3203) into feat/swallowed-conversion-warning

    d694ac9Nov 7
17. Malte Ubl

    Merge fix/divergence-soundness (#3221) into feat/swallowed-conversion-warning

    438b453Nov 7
18. Malte Ubl

    Warn where a failed checked conversion would be swallowed (SC6009)

    d1a331eNov 7
19. Malte Ubl

    Merge origin/main into feat/swallowed-conversion-warning

    80dd9efNov 7
20. Malte Ubl

    Say why the two warning opt-outs are not in the cache keys

    2a6c677Nov 7
21. Malte Ubl

    List the swallowed-conversion warnings before the width copies

    1376665Nov 7
22. Malte Ubl

    Say that a handler that only rethrows passes the failure on

    8ead0b2Nov 7
23. Malte Ubl

    Name SC6009 on the limitations page's runtime type checks

    0a68bc5Nov 7
24. Malte Ubl

    Merge origin/main into feat/swallowed-conversion-warning

    9b25108Nov 7