Skip to content

[codex] fix submit range upper-bound mismatch#29

Open
mmaker wants to merge 1 commit intomainfrom
codex/fix-submit-range-boundary-mismatch
Open

[codex] fix submit range upper-bound mismatch#29
mmaker wants to merge 1 commit intomainfrom
codex/fix-submit-range-boundary-mismatch

Conversation

@mmaker
Copy link
Copy Markdown
Collaborator

@mmaker mmaker commented Mar 31, 2026

What changed

This keeps the public Range<u32> API end-exclusive while converting the range end to the inclusive proof parameter expected by the submit protocol.

Why

The wrapper and server passed raw Range.end values into proof parameters even though the proof system treats those maxima as inclusive. That made endpoint values acceptable to the proof logic while the public wrapper rejected them.

Impact

Submit request validation and proof verification now agree on the same boundary semantics.

Validation

  • cargo test -p ooniauth-core test_inclusive_upper_bound
  • cargo test -p ooniauth-core test_submit_request

@mmaker mmaker marked this pull request as ready for review March 31, 2026 00:58
@mmaker mmaker requested a review from DecFox March 31, 2026 00:58
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