Skip to content

Handle finite feature values and overflow-safe rolling aggregates - #3

Merged
dev-belly merged 1 commit into
mainfrom
codex/20261002-numeric-contract
Oct 3, 2026
Merged

dev-belly merged 1 commit into
mainfrom
codex/20261002-numeric-contract

Conversation

@dev-belly

Copy link
Copy Markdown
Owner

Valid JSON integer values outside signed int64 previously failed at SQLite binding, although the Python reference accepted them. Rolling sums also rejected finite results after intermediate overflow, and means rejected two 1e308 inputs despite their finite 1e308 average.

Convert observation values explicitly to binary64 at the SQL boundary while retaining original values in normalized evidence. Reject unrepresentable integer inputs with a contract error. Keep compensated summation for ordinary inputs and use an exact-ratio fallback for exceptional binary64 sum/mean overflow. Document rounding and monetary limits.

Validation: 75 unittest cases passed locally; new regression cases reproduced the original failures. Both committed snapshot and rolling bundles replay byte-for-byte. git diff --check passed.

@dev-belly
dev-belly merged commit ed19dc6 into main Oct 3, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant