From 258153a4acba45dc33a282bc6fd59edb03d1d710 Mon Sep 17 00:00:00 2001 From: Jeremi Joslin Date: Thu, 6 Aug 2026 00:35:41 +0700 Subject: [PATCH] fix(evidence): verify bounded integer local responses Signed-off-by: Jeremi Joslin --- crates/registry-evidence/src/local_verification.rs | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/crates/registry-evidence/src/local_verification.rs b/crates/registry-evidence/src/local_verification.rs index 8da3cbe5e..b0783ab78 100644 --- a/crates/registry-evidence/src/local_verification.rs +++ b/crates/registry-evidence/src/local_verification.rs @@ -192,6 +192,7 @@ pub async fn prepare_local_verification_context_for_format( fn local_expected_form(form: ConceptForm) -> Option { match form { ConceptForm::Boolean => Some(ExpectedScalarFormDocument::Boolean), + ConceptForm::BoundedInteger => Some(ExpectedScalarFormDocument::Integer), ConceptForm::ControlledCategory => Some(ExpectedScalarFormDocument::String), ConceptForm::ReviewedStructuredValue => Some(ExpectedScalarFormDocument::Structured), _ => None, @@ -228,3 +229,16 @@ pub(crate) fn verify_local_response_at( } .map_err(|_| LocalVerificationError) } + +#[cfg(test)] +mod tests { + use super::*; + + #[test] + fn bounded_integer_has_an_exact_local_verification_form() { + assert!(matches!( + local_expected_form(ConceptForm::BoundedInteger), + Some(ExpectedScalarFormDocument::Integer) + )); + } +}