Repository navigation

feat(infer): per-module resolve memo (Option B) — within-module type-grounding memo - #6779

Merged

briansrls merged 6 commits into

session/still-owl-689from

session/census-pre-resolve

Jul 17, 2026

Merged

feat(infer): per-module resolve memo (Option B) — within-module type-grounding memo#6779
briansrls merged 6 commits into
session/still-owl-689from
session/census-pre-resolve

Commits on Jul 17, 2026
- feat(infer): per-module resolve memo (Option B) on still-owl-689
  
  Brian Searls
  and
  cursoragent
  committed
  10d8b18
- feat(infer): split resolve-memo counters into hit/miss/bypass
  
  Brian Searls
  and
  cursoragent
  committed
  86fbf94
- fix(infer): pin Rc in ptr->fp hint cache (ABA-safe)
  
  Brian Searls
  and
  cursoragent
  committed
  53525bd
- fix(infer): release RefCell borrow before memo compute (re-entrancy)
  
  Brian Searls
  and
  cursoragent
  committed
  842f087
- test(infer): thread-local memo toggle for receipt tests
  
  Brian Searls
  and
  cursoragent
  committed
  63d43af
- fix(infer): panic-safe memo scope + module_name key invariant note
  
  Brian Searls
  and
  cursoragent
  committed
  9215b0a