Repository navigation

Bound the transcendental tests independently of the implementation - #354

Merged

thedavidmeister merged 19 commits into

mainfrom

2026-10-07-issue-342-independent-error-bounds

Oct 11, 2026

Merged

Bound the transcendental tests independently of the implementation#354
thedavidmeister merged 19 commits into
mainfrom
2026-10-07-issue-342-independent-error-bounds

Commits on Oct 7, 2026
- Bound the transcendental tests independently of the implementation
  
  baku-ccron
  and
  claude
  committed
  bb22556
- Move the remaining bound arithmetic onto exact test helpers
  
  baku-ccron
  and
  claude
  committed
  ed39b3a
- Pin pow10 references 57 and 58 and test the error bound helpers
  
  baku-ccron
  and
  claude
  committed
  34fd983
- Bound log10Unrounded and log10Ratio with the exact helpers
  
  baku-ccron
  and
  claude
  committed
  2d58c17
- Move the remaining bound arithmetic and result checks onto exact helpers
  
  baku-ccron
  and
  claude
  committed
  e125a48
- Tighten the sqrt and precision slacks to the exact helpers' truncation
  
  baku-ccron
  and
  claude
  committed
  f03f80b
- Test the error bound helpers' limits and values worked by hand
  
  baku-ccron
  and
  claude
  committed
  e2a0358
- Move the pow bounds and result checks onto the exact helpers
  
  baku-ccron
  and
  claude
  committed
  3969365
Commits on Oct 10, 2026
- Merge origin/main into 2026-10-07-issue-342-independent-error-bounds
  
  baku-ccron
  and
  claude
  committed
  1327aba
Commits on Oct 11, 2026
- Merge origin/main into 2026-10-07-issue-342-independent-error-bounds
  
  baku-ccron
  and
  claude
  committed
  34bcd0e
- Check pow's half and huge-exponent results exactly, not by library ops
  
  baku-ccron
  and
  claude
  committed
  8f15727
- Record the #342 mutation scan
  
  baku-ccron
  and
  claude
  committed
  0a4c9ce
- Merge origin/main into 2026-10-07-issue-342-independent-error-bounds
  
  baku-ccron
  and
  claude
  committed
  b79270a
- Use main's payload helper names after the merge
  
  baku-ccron
  and
  claude
  committed
  a0f8181
- Unify quotient on the 75-76 digit helper
  
  baku-ccron
  and
  claude
  committed
  075dbda
- Merge origin/main (#421) into 2026-10-07-issue-342-independent-error-bounds
  
  baku-ccron
  and
  claude
  committed
  0823227
- Error bounds from the proofs, not the README
  
  baku-ccron
  and
  claude
  committed
  8975508
- audit: correct the #354 scan entry: dead constants are equivalent
  
  baku-ccron
  and
  claude
  committed
  23fadaf
- Merge remote-tracking branch 'origin/main' into 2026-10-07-issue-342-independent-error-bounds
  baku-ccron
  committed
  2a4bd94

Commits

Commits on Oct 7, 2026

Commits on Oct 10, 2026

Commits on Oct 11, 2026