Repository navigation

Hold the argument-to-formal rule in one place: inference bound named arguments by position, refusing valid programs - #9192

Merged

briansrls merged 4 commits into

mainfrom

session/deep-ant-102-formal-selection

Aug 25, 2026

Merged

Hold the argument-to-formal rule in one place: inference bound named arguments by position, refusing valid programs#9192
briansrls merged 4 commits into
mainfrom
session/deep-ant-102-formal-selection

Commits on Aug 25, 2026
- Hold the argument-to-formal rule in one place, so inference stops handing an argument its neighbour's formal
  
  Brian Searls
  and
  claude
  committed
  5e16bce
- Regenerate the stage0 mirror so the selector is no longer inert
  
  Brian Searls
  and
  claude
  committed
  51c39d2
- Refuse two arguments that select one formal, so the argument-to-formal relation is a bijection in both directions
  
  Brian Searls
  and
  claude
  committed
  70c2ff8
- Take the positional fallback from a running rank over unclaimed formals, so a named argument before a positional one stops fabricating a refusal
  
  Brian Searls
  and
  claude
  committed
  214f919