Skip to content

fix(evidence): verify bounded integer local responses - #652

Draft
jeremi wants to merge 1 commit into
mainfrom
agent/fix-evidence-bounded-integer-local-verification
Draft

fix(evidence): verify bounded integer local responses#652
jeremi wants to merge 1 commit into
mainfrom
agent/fix-evidence-bounded-integer-local-verification

Conversation

@jeremi

@jeremi jeremi commented Aug 5, 2026

Copy link
Copy Markdown
Member

Summary

  • map bounded-integer Evidence concepts to the existing integer form in local verification contexts
  • cover the missing mapping with a focused regression test

User impact

evidencectl request prepare previously failed for otherwise valid projects containing a bounded-integer answer. This prevented the DHIS2 immunization tutorial, which has two bounded-integer concepts, from reaching request preparation.

Security-sensitive review note

This changes the closed expected-form mapping used to prepare offline local verification context. It does not expand source access, authentication, authorization, disclosure, signing, or network behavior. Integer response verification already exists; this patch makes bounded-integer concepts select that existing verifier form.

Verification

  • cargo fmt --check
  • cargo check --locked -p registry-evidence --all-targets
  • cargo clippy --locked --profile ci --all-targets -p registry-evidence -p registry-mint -- -D warnings
  • cargo test --locked -p registry-evidence (292 passed, 4 ignored)
  • products/evidence/scripts/check-contracts.sh
  • products/evidence/scripts/check-source-neutrality.sh
  • clean DHIS2 tutorial replay through evidencectl request prepare with synthetic local inputs

Signed-off-by: Jeremi Joslin <jeremi@joslin.fr>
@jeremi
jeremi force-pushed the agent/fix-evidence-bounded-integer-local-verification branch from 040a0f4 to db6b593 Compare August 5, 2026 17:40
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