Repository navigation

Pick the DP score width from bounds on the scores; check it, retry at 32 bits - #14

Merged

glennhickey merged 9 commits into

mainfrom

robust-score-width

Oct 12, 2026

Merged

Pick the DP score width from bounds on the scores; check it, retry at 32 bits#14
glennhickey merged 9 commits into
mainfrom
robust-score-width

Commits on Oct 11, 2026
- Pick the score width from bounds on the scores; check it, retry in 32 bits
  
  glennhickey
  and
  claude
  committed
  f46f6c6
- Test the score width choice, its checks and the 32-bit retry
  
  glennhickey
  and
  claude
  committed
  7312421
- Scan for floor-zone scores after the DP, out of line
  
  glennhickey
  and
  claude
  committed
  8eeb089
- Clamp row 0's gap scores at the floor, in 64 bits
  
  glennhickey
  and
  claude
  committed
  0f6d155
- Print the match and mismatch scores the width rule used
  
  glennhickey
  and
  claude
  committed
  8d41b30
- Align scores the 32-bit bounds cannot prove, checked, instead of refusing them
  
  glennhickey
  and
  claude
  committed
  1a682ec
- Test row 0 on an input where its wrap gave a wrong result
  
  glennhickey
  and
  claude
  committed
  a41d204
Commits on Oct 12, 2026
- Align the DP's loops to 32 bytes on x86
  
  glennhickey
  and
  claude
  committed
  e2aa0f1
- Say the scores are in range when a proven 32-bit alignment fails
  
  glennhickey
  and
  claude
  committed
  12f99c4