Repository navigation

v2 infer: declared returns are judged by the one inhabitance relation (replaces #12379's inline check) - #12566

Merged

gunbai-bot[bot] merged 8 commits into

mainfrom

session/bold-gull-638

Sep 30, 2026

Commits on Sep 28, 2026
- WIP: v2 floor gap: declared return types are never checked (PositionDeclaredR
  Brian Searls
  committed
  3653f3a
- Delete the zz_probe_dr exploratory probe file
  
  briansrls
  and
  claude
  committed
  5366696
Commits on Sep 29, 2026
- Merge main into #12566
  Brian Searls
  committed
  778a6f0
- Declared-return witness: import declared_signature / list-introduction from their post-split homes
  
  Brian Searls
  and
  claude
  committed
  958200b
- Declared return: one inhabitance relation replaces #12379's inline check
  
  Brian Searls
  and
  claude
  committed
  40efcd5
- function_type_evidence_carries_its_body: cite the surviving return check
  
  Brian Searls
  and
  claude
  committed
  dacbf5c
Commits on Sep 30, 2026
- Merge remote-tracking branch 'origin/main' into session/bold-gull-638
  gunbc-ci-auto-heal
  committed
  9dbc537
- Declared-return witness hands infer a ResolvedTree through the fixture wrapper
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  76bc35d