Repository navigation

Share the ranking skeleton of the three SCIP maps; pin their output (cleanup S5) - #233

Merged

nevermemo merged 4 commits into

mainfrom

refactor/cleanup-s5-scip-query

Oct 24, 2026

Merged

Share the ranking skeleton of the three SCIP maps; pin their output (cleanup S5)#233
nevermemo merged 4 commits into
mainfrom
refactor/cleanup-s5-scip-query

Commits on Oct 23, 2026
- Share the ranking skeleton of the SCIP impact and implements maps
  
  nevermemo
  and
  claude
  committed
  b0f48db
- Pin the SCIP map output; move TestedByMap onto the shared helper
  
  nevermemo
  and
  claude
  committed
  443e4a8
Commits on Oct 24, 2026
- Pin the dedupe winner against seed order and the hit order as literals
  
  nevermemo
  and
  claude
  committed
  5c966f7
- Merge remote-tracking branch 'origin/main' into refactor/cleanup-s5-scip-query
  nevermemo
  committed
  fc22701