Repository navigation

Recover callee Arrow through Instantiation-grounding refusal - #13630

Closed

gunbai-bot[bot] wants to merge 2 commits into

n7/payload-binder-derived-factfrom

n7/callee-signature-arrow

Closed

Recover callee Arrow through Instantiation-grounding refusal#13630
gunbai-bot[bot] wants to merge 2 commits into
n7/payload-binder-derived-factfrom
n7/callee-signature-arrow

Commits on Oct 9, 2026
- Keep a recovered callee Arrow when Instantiation grounding refuses.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4a05f7c
- WIP: N7: derived fact for payload binder over call-result scrutinee (g_tokeni
  gunbc-ci-auto-heal
  committed
  f2e116c