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) + )); + } +}