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

Draft

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