cestercian commented on PR #221: URL: https://github.com/apache/datasketches-rust/pull/221#issuecomment-5410361308
@tisonkun thanks for the invariant-table prompt. Earlier revisions were follow-ups against individual counterexamples (the issue images, then `MIN_K` / capacity). This round used your prompt as written: enumerate the deserialized-state contract first, then one `InvalidData` boundary, with tests that start from a canonical five-item image and mutate one field. Implementation was Cursor cloud agents on this contributor fork. Verification was `cargo x prepare-testdata`, `cargo x check`, `cargo x test`, and `cargo x lint` (`serde_tests` 101 passed, including the C++/Java REQ fixtures). Java `section_size_raw` can land 2 ULPs off the C++/Rust doubling-schedule replay, so that check keeps the reachable `(k, state, num_sections)` relation and tolerates that float noise so the pinned TCK images still load. Happy to adjust the validation or the 2-ULP tolerance if you want it stricter. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
