Repository navigation

fix(validation): preserve representable recovery metrics - #488

Draft

seonghobae wants to merge 973 commits into

mainfrom

fix/validation-bias-overflow-safe-mean

Draft

fix(validation): preserve representable recovery metrics#488
seonghobae wants to merge 973 commits into
mainfrom
fix/validation-bias-overflow-safe-mean

This pull request is big! We're only showing the most recent 250 commits

Commits on Sep 9, 2026
Commits on Sep 10, 2026
- test(validation): cover raw cross-product roundoff fallback
  seonghobae
  committed
  bd3506b
- test(validation): cover normalized subnormal restore fallback
  seonghobae
  committed
  ba9d285
- test(validation): expose translation-overflow residual loss
  seonghobae
  committed
  4163459
- test(validation): cover irrational three-level root refusal
  seonghobae
  committed
  fbd1d19
- test(validation): cover subnormal three-level restoration
  seonghobae
  committed
  f16af0a
- test(validation): cover non-square two-level count factor
  seonghobae
  committed
  f15c439
- test(validation): correct non-square count-factor oracle bits
  seonghobae
  committed
  c1c136d
- refactor(validation): remove unreachable three-level subnormal branch
  seonghobae
  committed
  c74b799
- test(validation): cover translated false-zero refusal
  seonghobae
  committed
  2ff249e
- refactor(validation): remove unreachable normalized SE guard
  seonghobae
  committed
  b59bbde
- refactor(validation): simplify deviation SE invariant
  seonghobae
  committed
  2977d7d
- fix(validation): remove impossible scaled false-zero branches
  seonghobae
  committed
  28f855c
- fix(validation): satisfy finite-restoration lint
  seonghobae
  committed
  3da78a5
- refactor(validation): encode nonzero deviation scale invariant
  seonghobae
  committed
  5ff6cdd
- refactor(validation): remove impossible translated dispersion overflow
  seonghobae
  committed
  e9447e4
- refactor(validation): remove impossible translated result guards
  seonghobae
  committed
  3fc135d
- refactor(validation): remove impossible scaled SE overflow guard
  seonghobae
  committed
  c577372
- refactor(validation): make bounded dyadic comparison total
  seonghobae
  committed
  6fa05fb
- style(validation): apply rustfmt to dyadic comparison tests
  seonghobae
  committed
  5da52f3
- fix(validation): satisfy checked conversion policy
  seonghobae
  committed
  9464e46
- style(validation): apply exact rustfmt after checked conversions
  seonghobae
  committed
  18822bc
- ci(validation): capture exact-proof resource evidence
  seonghobae
  committed
  496e668
- fix(ci): bind proof-budget evidence to PR head
  seonghobae
  committed
  f5c1d2e
- test(validation): isolate proof-budget process resources
  seonghobae
  committed
  92ae4c7
- test(validation): capture isolated proof-budget RSS
  seonghobae
  committed
  9c28a5c
- style(validation): rustfmt isolated resource harness
  seonghobae
  committed
  6b00d71
- style(validation): match repository rustfmt
  seonghobae
  committed
  a68055f
- test(validation): characterize large-sample bias SE reference
  seonghobae
  committed
  6fa9edc
- style(validation): rustfmt large-sample reference contract
  seonghobae
  committed
  0bd9d9e
- style(validation): match rustfmt line width
  seonghobae
  committed
  2ed1c02
- style(validation): normalize import ordering
  seonghobae
  committed
  aaf7921
- style(validation): simplify reference assertions
  seonghobae
  committed
  40582fb
- test(validation): encode exact large-sample gap without lossy cast
  seonghobae
  committed
  01ca308
- test(validation): broaden large-sample bias SE reference geometry
  seonghobae
  committed
  1b50af7
- test(validation): characterize non-singleton fallback rounding gap
  seonghobae
  committed
  b790253
- fix(validation): admit exact linear bias SE by proof
  seonghobae
  committed
  591813e
- test(validation): promote proof-driven large-sample bias SE
  seonghobae
  committed
  5e145c7
- test(validation): prove exact n17 midpoint target
  seonghobae
  committed
  6f0063d
- test(validation): preserve wide proof refusal fallback
  seonghobae
  committed
  bace14c
- docs(validation): align bias-SE proof routing
  seonghobae
  committed
  1b7e8dd
- docs(validation): correct exact-proof admission changelog
  seonghobae
  committed
  50b5112
- docs(validation): align wide proof admission authority
  seonghobae
  committed
  ea0a843
- docs(validation): replace stale n16 proof cutoff
  seonghobae
  committed
  86a951e
- docs(validation): align test strategy with proof routing
  seonghobae
  committed
  b9518ed
- docs(validation): qualify historical bias-SE cutoff
  seonghobae
  committed
  b9a2d99
- docs(validation): correct wide-proof changelog policy
  seonghobae
  committed
  e07848a
- docs(validation): qualify superseded n=17 cutoff
  seonghobae
  committed
  ab0a75c
- test(validation): cover positive subnormal bias SE refusal
  seonghobae
  committed
  fab5e85
- fix(validation): document false-zero regression crate
  seonghobae
  committed
  c1b31a7
Commits on Sep 11, 2026
Commits on Sep 20, 2026
Commits on Sep 21, 2026
- fix(validation): migrate claim promotion provenance contract
  seonghobae
  committed
  48c9fc9
- fix(validation): preserve chronology helper and rustfmt contract
  seonghobae
  committed
  76d0b53
- fix(ci): follow central commercial readiness entrypoint
  seonghobae
  committed
  3617704
- docs(ops): align commercial entrypoint with central scheduler
  seonghobae
  committed
  76b70c3
- style(validation): rustfmt recovery accuracy target
  seonghobae
  committed
  17552fd
- style(validation): rustfmt recovery authority composition
  seonghobae
  committed
  6ff22e2
- style(validation): rustfmt extreme uncertainty contract
  seonghobae
  committed
  df1b86b
- style(validation): rustfmt recovery payload identity
  seonghobae
  committed
  a71790f
- style(validation): rustfmt recovery profile provenance
  seonghobae
  committed
  207192b
- style(validation): rustfmt recovery registration chronology
  seonghobae
  committed
  4b87f27
- style(validation): rustfmt replication structure
  seonghobae
  committed
  d7e8f69
- style(validation): rustfmt seed-manifest membership
  seonghobae
  committed
  f194078
- style(validation): rustfmt claim promotion
  seonghobae
  committed
  04c9c1a
- style(validation): rustfmt public recovery exports
  seonghobae
  committed
  9f4538e
- style(validation): rustfmt scientific recovery profile
  seonghobae
  committed
  6b8919f
- style(validation): rustfmt scientific recovery evidence
  seonghobae
  committed
  84d61f2
- fix(validation): synchronize sha2 lock dependency
  seonghobae
  committed
  6cc5e5d
- fix(validation): restore exact lock checksums
  seonghobae
  committed
  31d55fd

Commits

Commits on Sep 9, 2026

Commits on Sep 10, 2026

Commits on Sep 11, 2026

Commits on Sep 20, 2026