veracode_platform/

lib.rs

//! # Veracode API Client Library
//!
//! A comprehensive Rust client library for interacting with Veracode APIs including
//! Applications, Identity, Pipeline Scan, and Sandbox APIs.

#![cfg_attr(test, allow(clippy::expect_used))]
//!
//! This library provides a safe and ergonomic interface to the Veracode platform,
//! handling HMAC authentication, request/response serialization, and error handling.
//!
//! ## Features
//!
//! - 🔐 **HMAC Authentication** - Built-in support for Veracode API credentials
//! - 🌍 **Multi-Regional Support** - Automatic endpoint routing for Commercial, European, and Federal regions
//! - 🔄 **Smart API Routing** - Automatically uses REST or XML APIs based on the operation
//! - 📱 **Applications API** - Manage applications, builds, and scans (REST)
//! - 👤 **Identity API** - User and team management (REST)
//! - 🔍 **Pipeline Scan API** - Automated security scanning in CI/CD pipelines (REST)
//! - 🧪 **Sandbox API** - Development sandbox management (REST)
//! - 📤 **Sandbox Scan API** - File upload and scan operations (XML)
//! - 🚀 **Async/Await** - Built on tokio for high-performance async operations
//! - ⚡ **Type-Safe** - Full Rust type safety with serde serialization
//! - 📊 **Rich Data Types** - Comprehensive data structures for all API responses
//!
//! ## Quick Start
//!
//! ```no_run
//! use veracode_platform::{VeracodeConfig, VeracodeClient, VeracodeRegion};
//!
//! #[tokio::main]
//! async fn main() -> Result<(), Box<dyn std::error::Error>> {
//!     // Create configuration - automatically supports both API types
//!     let config = VeracodeConfig::new(
//!         "your_api_id",
//!         "your_api_key",
//!     ).with_region(VeracodeRegion::Commercial); // Optional: defaults to Commercial
//!
//!     let client = VeracodeClient::new(config)?;
//!     
//!     // REST API modules (use api.veracode.*)
//!     let apps = client.get_all_applications().await?;
//!     let pipeline = client.pipeline_api();
//!     let identity = client.identity_api();
//!     let sandbox = client.sandbox_api();  // REST API for sandbox management
//!     let policy = client.policy_api();
//!     
//!     // XML API modules (automatically use analysiscenter.veracode.*)
//!     let scan = client.scan_api(); // XML API for scanning
//!     
//!     Ok(())
//! }
//! ```
//!
//! ## Regional Support
//!
//! The library automatically handles regional endpoints for both API types:
//!
//! ```no_run
//! use veracode_platform::{VeracodeConfig, VeracodeRegion};
//!
//! // European region
//! let config = VeracodeConfig::new("api_id", "api_key")
//!     .with_region(VeracodeRegion::European);
//! // REST APIs will use: api.veracode.eu
//! // XML APIs will use: analysiscenter.veracode.eu
//!
//! // US Federal region  
//! let config = VeracodeConfig::new("api_id", "api_key")
//!     .with_region(VeracodeRegion::Federal);
//! // REST APIs will use: api.veracode.us
//! // XML APIs will use: analysiscenter.veracode.us
//! ```
//!
//! ## API Types
//!
//! Different Veracode modules use different API endpoints:
//!
//! - **REST API (api.veracode.*)**: Applications, Identity, Pipeline, Policy, Sandbox management
//! - **XML API (analysiscenter.veracode.*)**: Sandbox scanning operations
//!
//! The client automatically routes each module to the correct API type based on the operation.
//!
//! ## Sandbox Operations
//!
//! Note that sandbox functionality is split across two modules:
//!
//! - **`sandbox_api()`** - Sandbox management (create, delete, list sandboxes) via REST API
//! - **`scan_api()`** - File upload and scan operations via XML API
//!
//! This separation reflects the underlying Veracode API architecture where sandbox management
//! uses the newer REST endpoints while scan operations use the legacy XML endpoints.

pub mod app;
pub mod build;
pub mod client;
pub mod findings;
pub mod identity;
pub mod json_validator;
pub mod pipeline;
pub mod policy;
pub mod reporting;
pub mod sandbox;
pub mod scan;
pub mod validation;
pub mod workflow;

use reqwest::Error as ReqwestError;
use secrecy::{ExposeSecret, SecretString};
use std::fmt;
use std::sync::Arc;
use std::time::Duration;

// Re-export common types for convenience
pub use app::{
    Application, ApplicationQuery, ApplicationsResponse, CreateApplicationRequest,
    UpdateApplicationRequest,
};
pub use build::{
    Build, BuildApi, BuildError, BuildList, CreateBuildRequest, DeleteBuildRequest,
    DeleteBuildResult, GetBuildInfoRequest, GetBuildListRequest, UpdateBuildRequest,
};
pub use client::VeracodeClient;
pub use findings::{
    CweInfo, FindingCategory, FindingDetails, FindingStatus, FindingsApi, FindingsError,
    FindingsQuery, FindingsResponse, RestFinding,
};
pub use identity::{
    ApiCredential, BusinessUnit, CreateApiCredentialRequest, CreateTeamRequest, CreateUserRequest,
    IdentityApi, IdentityError, Role, Team, UpdateTeamRequest, UpdateUserRequest, User, UserQuery,
    UserType,
};
pub use json_validator::{MAX_JSON_DEPTH, validate_json_depth};
pub use pipeline::{
    CreateScanRequest, DevStage, Finding, FindingsSummary, PipelineApi, PipelineError, Scan,
    ScanConfig, ScanResults, ScanStage, ScanStatus, SecurityStandards, Severity,
};
pub use policy::{
    ApiSource, PolicyApi, PolicyComplianceResult, PolicyComplianceStatus, PolicyError, PolicyRule,
    PolicyScanRequest, PolicyScanResult, PolicyThresholds, ScanType, SecurityPolicy, SummaryReport,
};
pub use reporting::{AuditReportRequest, GenerateReportResponse, ReportingApi, ReportingError};
pub use sandbox::{
    ApiError, ApiErrorResponse, CreateSandboxRequest, Sandbox, SandboxApi, SandboxError,
    SandboxListParams, SandboxScan, UpdateSandboxRequest,
};
pub use scan::{
    BeginPreScanRequest, BeginScanRequest, PreScanMessage, PreScanResults, ScanApi, ScanError,
    ScanInfo, ScanModule, UploadFileRequest, UploadLargeFileRequest, UploadProgress,
    UploadProgressCallback, UploadedFile,
};
pub use validation::{
    AppGuid, AppName, DEFAULT_PAGE_SIZE, Description, MAX_APP_NAME_LEN, MAX_DESCRIPTION_LEN,
    MAX_GUID_LEN, MAX_PAGE_NUMBER, MAX_PAGE_SIZE, ValidationError, validate_url_segment,
};
pub use workflow::{VeracodeWorkflow, WorkflowConfig, WorkflowError, WorkflowResultData};
/// Retry configuration for HTTP requests
#[derive(Debug, Clone)]
pub struct RetryConfig {
    /// Maximum number of retry attempts (default: 5)
    pub max_attempts: u32,
    /// Initial delay between retries in milliseconds (default: 1000ms)
    pub initial_delay_ms: u64,
    /// Maximum delay between retries in milliseconds (default: 30000ms)
    pub max_delay_ms: u64,
    /// Exponential backoff multiplier (default: 2.0)
    pub backoff_multiplier: f64,
    /// Maximum total time to spend on retries in milliseconds (default: 300000ms = 5 minutes)
    pub max_total_delay_ms: u64,
    /// Buffer time in seconds to add when waiting for rate limit window reset (default: 5s)
    pub rate_limit_buffer_seconds: u64,
    /// Maximum number of retry attempts specifically for rate limit errors (default: 1)
    pub rate_limit_max_attempts: u32,
    /// Whether to enable jitter in retry delays (default: true)
    pub jitter_enabled: bool,
}

impl Default for RetryConfig {
    fn default() -> Self {
        Self {
            max_attempts: 5,
            initial_delay_ms: 1000,
            max_delay_ms: 30000,
            backoff_multiplier: 2.0,
            max_total_delay_ms: 300_000,  // 5 minutes
            rate_limit_buffer_seconds: 5, // 5 second buffer for rate limit windows
            rate_limit_max_attempts: 1,   // Only retry once for rate limits
            jitter_enabled: true,         // Enable jitter by default
        }
    }
}

impl RetryConfig {
    /// Create a new retry configuration with conservative defaults
    #[must_use]
    pub fn new() -> Self {
        Self::default()
    }

    /// Set the maximum number of retry attempts
    #[must_use]
    pub fn with_max_attempts(mut self, max_attempts: u32) -> Self {
        self.max_attempts = max_attempts;
        self
    }

    /// Set the initial delay between retries
    #[must_use]
    pub fn with_initial_delay(mut self, delay_ms: u64) -> Self {
        self.initial_delay_ms = delay_ms;
        self
    }

    /// Set the initial delay between retries (alias for compatibility)
    #[must_use]
    pub fn with_initial_delay_millis(mut self, delay_ms: u64) -> Self {
        self.initial_delay_ms = delay_ms;
        self
    }

    /// Set the maximum delay between retries
    #[must_use]
    pub fn with_max_delay(mut self, delay_ms: u64) -> Self {
        self.max_delay_ms = delay_ms;
        self
    }

    /// Set the maximum delay between retries (alias for compatibility)
    #[must_use]
    pub fn with_max_delay_millis(mut self, delay_ms: u64) -> Self {
        self.max_delay_ms = delay_ms;
        self
    }

    /// Set the exponential backoff multiplier
    #[must_use]
    pub fn with_backoff_multiplier(mut self, multiplier: f64) -> Self {
        self.backoff_multiplier = multiplier;
        self
    }

    /// Set the exponential backoff multiplier (alias for compatibility)
    #[must_use]
    pub fn with_exponential_backoff(mut self, multiplier: f64) -> Self {
        self.backoff_multiplier = multiplier;
        self
    }

    /// Set the maximum total time to spend on retries
    #[must_use]
    pub fn with_max_total_delay(mut self, delay_ms: u64) -> Self {
        self.max_total_delay_ms = delay_ms;
        self
    }

    /// Set the buffer time to add when waiting for rate limit window reset
    #[must_use]
    pub fn with_rate_limit_buffer(mut self, buffer_seconds: u64) -> Self {
        self.rate_limit_buffer_seconds = buffer_seconds;
        self
    }

    /// Set the maximum number of retry attempts for rate limit errors
    #[must_use]
    pub fn with_rate_limit_max_attempts(mut self, max_attempts: u32) -> Self {
        self.rate_limit_max_attempts = max_attempts;
        self
    }

    /// Disable jitter in retry delays
    ///
    /// Jitter adds randomness to retry delays to prevent thundering herd problems.
    /// Disabling jitter makes retry timing more predictable but may cause synchronized
    /// retries from multiple clients.
    #[must_use]
    pub fn with_jitter_disabled(mut self) -> Self {
        self.jitter_enabled = false;
        self
    }

    /// Calculate the delay for a given attempt number using exponential backoff
    #[must_use]
    pub fn calculate_delay(&self, attempt: u32) -> Duration {
        if attempt == 0 {
            return Duration::from_millis(0);
        }

        #[allow(
            clippy::cast_possible_truncation,
            clippy::cast_sign_loss,
            clippy::cast_precision_loss,
            clippy::cast_possible_wrap
        )]
        let delay_ms = (self.initial_delay_ms as f64
            * self
                .backoff_multiplier
                .powi(attempt.saturating_sub(1) as i32))
        .round() as u64;

        let mut capped_delay = delay_ms.min(self.max_delay_ms);

        // Apply jitter if enabled (±25% randomization)
        if self.jitter_enabled {
            use rand::RngExt;
            #[allow(
                clippy::cast_possible_truncation,
                clippy::cast_sign_loss,
                clippy::cast_precision_loss
            )]
            let jitter_range = (capped_delay as f64 * 0.25).round() as u64;
            let min_delay = capped_delay.saturating_sub(jitter_range);
            let max_delay = capped_delay.saturating_add(jitter_range);
            capped_delay = rand::rng().random_range(min_delay..=max_delay);
        }

        Duration::from_millis(capped_delay)
    }

    /// Calculate the delay for rate limit (429) errors
    ///
    /// For Veracode's 500 requests/minute rate limiting, this calculates the optimal
    /// wait time based on the current time within the minute window or uses the
    /// server's Retry-After header if provided.
    #[must_use]
    pub fn calculate_rate_limit_delay(&self, retry_after_seconds: Option<u64>) -> Duration {
        if let Some(seconds) = retry_after_seconds {
            // Use the server's suggested delay
            Duration::from_secs(seconds)
        } else {
            // Fall back to minute window calculation for Veracode's 500/minute limit
            let now = std::time::SystemTime::now()
                .duration_since(std::time::UNIX_EPOCH)
                .unwrap_or_default();

            let current_second = now.as_secs() % 60;

            // Wait until the next minute window + configurable buffer to ensure window has reset
            let seconds_until_next_minute = 60_u64.saturating_sub(current_second);

            Duration::from_secs(
                seconds_until_next_minute.saturating_add(self.rate_limit_buffer_seconds),
            )
        }
    }

    /// Check if an error is retryable based on its type
    #[must_use]
    pub fn is_retryable_error(&self, error: &VeracodeError) -> bool {
        match error {
            VeracodeError::Http(reqwest_error) => {
                // Retry on network errors, timeouts, and temporary server errors
                if reqwest_error.is_timeout()
                    || reqwest_error.is_connect()
                    || reqwest_error.is_request()
                {
                    return true;
                }

                // Check for retryable HTTP status codes
                if let Some(status) = reqwest_error.status() {
                    match status.as_u16() {
                        // 429 Too Many Requests
                        429 => true,
                        // 502 Bad Gateway, 503 Service Unavailable, 504 Gateway Timeout
                        502..=504 => true,
                        // Other server errors (5xx) - retry conservatively
                        500..=599 => true,
                        // Don't retry client errors (4xx) except 429
                        _ => false,
                    }
                } else {
                    // Network-level errors without status codes are typically retryable
                    true
                }
            }
            // Don't retry authentication, serialization, validation, or configuration errors
            VeracodeError::Authentication(_)
            | VeracodeError::Serialization(_)
            | VeracodeError::Validation(_)
            | VeracodeError::InvalidConfig(_) => false,
            // InvalidResponse could be temporary (like malformed JSON due to network issues)
            VeracodeError::InvalidResponse(_) => true,
            // HttpStatus errors - check status code for retryability
            VeracodeError::HttpStatus { status_code, .. } => match status_code {
                // 429 Too Many Requests (handled separately by RateLimited)
                429 => true,
                // 502 Bad Gateway, 503 Service Unavailable, 504 Gateway Timeout
                502..=504 => true,
                // Other server errors (5xx) - retry conservatively
                500..=599 => true,
                // Don't retry client errors (4xx) including 401/403 auth errors
                // Auth errors should be handled by credential refresh logic
                400..=499 => false,
                // Other status codes - don't retry
                _ => false,
            },
            // NotFound is typically not retryable
            VeracodeError::NotFound(_) => false,
            // New retry-specific error is not retryable (avoid infinite loops)
            VeracodeError::RetryExhausted(_) => false,
            // Rate limited errors are retryable with special handling
            VeracodeError::RateLimited { .. } => true,
        }
    }
}

/// Custom error type for Veracode API operations.
///
/// This enum represents all possible errors that can occur when interacting
/// with the Veracode Applications API.
#[derive(Debug)]
#[must_use = "Need to handle all error enum types."]
pub enum VeracodeError {
    /// HTTP request failed
    Http(ReqwestError),
    /// JSON serialization/deserialization failed
    Serialization(serde_json::Error),
    /// Authentication error (invalid credentials, signature generation failure, etc.)
    Authentication(String),
    /// API returned an error response
    InvalidResponse(String),
    /// HTTP error with status code (for better error handling)
    HttpStatus {
        /// HTTP status code
        status_code: u16,
        /// URL that was requested
        url: String,
        /// Error message/response body
        message: String,
    },
    /// Configuration is invalid
    InvalidConfig(String),
    /// When an item is not found
    NotFound(String),
    /// When all retry attempts have been exhausted
    RetryExhausted(String),
    /// Rate limit exceeded (HTTP 429) - includes server's suggested retry delay
    RateLimited {
        /// Number of seconds to wait before retrying (from Retry-After header)
        retry_after_seconds: Option<u64>,
        /// The original HTTP error response
        message: String,
    },
    /// Input validation failed
    Validation(validation::ValidationError),
}

impl VeracodeClient {
    /// Create a specialized client for XML API operations.
    ///
    /// This internal method creates a client configured for the XML API
    /// (analysiscenter.veracode.*) based on the current region settings.
    /// Used exclusively for sandbox scan operations that require the XML API.
    fn new_xml_client(config: VeracodeConfig) -> Result<Self, VeracodeError> {
        let mut xml_config = config;
        xml_config.base_url = xml_config.xml_base_url.clone();
        Self::new(xml_config)
    }

    /// Get an applications API instance.
    /// Uses REST API (api.veracode.*).
    #[must_use]
    pub fn applications_api(&self) -> &Self {
        self
    }

    /// Get a sandbox API instance.
    /// Uses REST API (api.veracode.*).
    #[must_use]
    pub fn sandbox_api(&self) -> SandboxApi<'_> {
        SandboxApi::new(self)
    }

    /// Get an identity API instance.
    /// Uses REST API (api.veracode.*).
    #[must_use]
    pub fn identity_api(&self) -> IdentityApi<'_> {
        IdentityApi::new(self)
    }

    /// Get a pipeline scan API instance.
    /// Uses REST API (api.veracode.*).
    #[must_use]
    pub fn pipeline_api(&self) -> PipelineApi {
        PipelineApi::new(self.clone())
    }

    /// Get a policy API instance.
    /// Uses REST API (api.veracode.*).
    #[must_use]
    pub fn policy_api(&self) -> PolicyApi<'_> {
        PolicyApi::new(self)
    }

    /// Get a findings API instance.
    /// Uses REST API (api.veracode.*).
    #[must_use]
    pub fn findings_api(&self) -> FindingsApi {
        FindingsApi::new(self.clone())
    }

    /// Get a reporting API instance.
    /// Uses REST API (api.veracode.*).
    #[must_use]
    pub fn reporting_api(&self) -> reporting::ReportingApi {
        reporting::ReportingApi::new(self.clone())
    }

    /// Get a scan API instance.
    /// Uses XML API (analysiscenter.veracode.*) for both sandbox and application scans.
    ///
    /// # Errors
    ///
    /// Returns an error if the XML client cannot be created.
    pub fn scan_api(&self) -> Result<ScanApi, VeracodeError> {
        // Create a specialized XML client for scan operations
        let xml_client = Self::new_xml_client(self.config().clone())?;
        Ok(ScanApi::new(xml_client))
    }

    /// Get a build API instance.
    /// Uses XML API (analysiscenter.veracode.*) for build management operations.
    ///
    /// # Errors
    ///
    /// Returns an error if the XML client cannot be created.
    pub fn build_api(&self) -> Result<build::BuildApi, VeracodeError> {
        // Create a specialized XML client for build operations
        let xml_client = Self::new_xml_client(self.config().clone())?;
        Ok(build::BuildApi::new(xml_client))
    }

    /// Get a workflow helper instance.
    /// Provides high-level operations that combine multiple API calls.
    #[must_use]
    pub fn workflow(&self) -> workflow::VeracodeWorkflow {
        workflow::VeracodeWorkflow::new(self.clone())
    }
}

impl fmt::Display for VeracodeError {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        match self {
            VeracodeError::Http(e) => write!(f, "HTTP error: {e}"),
            VeracodeError::Serialization(e) => write!(f, "Serialization error: {e}"),
            VeracodeError::Authentication(e) => write!(f, "Authentication error: {e}"),
            VeracodeError::InvalidResponse(e) => write!(f, "Invalid response: {e}"),
            VeracodeError::HttpStatus {
                status_code,
                url,
                message,
            } => write!(f, "HTTP {status_code} error at {url}: {message}"),
            VeracodeError::InvalidConfig(e) => write!(f, "Invalid configuration: {e}"),
            VeracodeError::NotFound(e) => write!(f, "Item not found: {e}"),
            VeracodeError::RetryExhausted(e) => write!(f, "Retry attempts exhausted: {e}"),
            VeracodeError::RateLimited {
                retry_after_seconds,
                message,
            } => match retry_after_seconds {
                Some(seconds) => {
                    write!(f, "Rate limit exceeded: {message} (retry after {seconds}s)")
                }
                None => write!(f, "Rate limit exceeded: {message}"),
            },
            VeracodeError::Validation(e) => write!(f, "Validation error: {e}"),
        }
    }
}

impl std::error::Error for VeracodeError {}

impl From<ReqwestError> for VeracodeError {
    fn from(error: ReqwestError) -> Self {
        VeracodeError::Http(error)
    }
}

impl From<serde_json::Error> for VeracodeError {
    fn from(error: serde_json::Error) -> Self {
        VeracodeError::Serialization(error)
    }
}

impl From<validation::ValidationError> for VeracodeError {
    fn from(error: validation::ValidationError) -> Self {
        VeracodeError::Validation(error)
    }
}

/// ARC-based credential storage for thread-safe access via memory pointers
///
/// This struct provides secure credential storage with the following protections:
/// - Fields are private to prevent direct access
/// - `SecretString` provides memory protection and debug redaction
/// - ARC allows safe sharing across threads
/// - Access is only possible through controlled expose_* methods
#[derive(Clone)]
pub struct VeracodeCredentials {
    /// API ID stored in ARC for shared access - PRIVATE for security
    api_id: Arc<SecretString>,
    /// API key stored in ARC for shared access - PRIVATE for security  
    api_key: Arc<SecretString>,
}

impl VeracodeCredentials {
    /// Create new ARC-based credentials
    #[must_use]
    pub fn new(api_id: String, api_key: String) -> Self {
        Self {
            api_id: Arc::new(SecretString::new(api_id.into())),
            api_key: Arc::new(SecretString::new(api_key.into())),
        }
    }

    /// Get API ID via memory pointer (ARC) - USE WITH CAUTION
    ///
    /// # Security Warning
    /// This returns an `Arc<SecretString>` which allows the caller to call `expose_secret()`.
    /// Only use this method when you need to share credentials across thread boundaries.
    /// For authentication, prefer using `expose_api_id()` directly.
    #[must_use]
    pub fn api_id_ptr(&self) -> Arc<SecretString> {
        Arc::clone(&self.api_id)
    }

    /// Get API key via memory pointer (ARC) - USE WITH CAUTION
    ///
    /// # Security Warning
    /// This returns an `Arc<SecretString>` which allows the caller to call `expose_secret()`.
    /// Only use this method when you need to share credentials across thread boundaries.
    /// For authentication, prefer using `expose_api_key()` directly.
    #[must_use]
    pub fn api_key_ptr(&self) -> Arc<SecretString> {
        Arc::clone(&self.api_key)
    }

    /// Access API ID securely (temporary access for authentication)
    ///
    /// This is the preferred method for accessing the API ID during authentication.
    /// The returned reference is only valid for the lifetime of this call.
    #[must_use]
    pub fn expose_api_id(&self) -> &str {
        self.api_id.expose_secret()
    }

    /// Access API key securely (temporary access for authentication)
    ///
    /// This is the preferred method for accessing the API key during authentication.
    /// The returned reference is only valid for the lifetime of this call.
    #[must_use]
    pub fn expose_api_key(&self) -> &str {
        self.api_key.expose_secret()
    }
}

impl std::fmt::Debug for VeracodeCredentials {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.debug_struct("VeracodeCredentials")
            .field("api_id", &"[REDACTED]")
            .field("api_key", &"[REDACTED]")
            .finish()
    }
}

/// Configuration for the Veracode API client.
///
/// This struct contains all the necessary configuration for connecting to
/// the Veracode APIs, including authentication credentials and regional settings.
/// It automatically manages both REST API (api.veracode.*) and XML API
/// (analysiscenter.veracode.*) endpoints based on the selected region.
#[derive(Clone)]
pub struct VeracodeConfig {
    /// ARC-based credentials for thread-safe access
    pub credentials: VeracodeCredentials,
    /// Base URL for the current client instance
    pub base_url: String,
    /// REST API base URL (api.veracode.*)
    pub rest_base_url: String,
    /// XML API base URL (analysiscenter.veracode.*)
    pub xml_base_url: String,
    /// Veracode region for your account
    pub region: VeracodeRegion,
    /// Whether to validate TLS certificates (default: true)
    pub validate_certificates: bool,
    /// Retry configuration for HTTP requests
    pub retry_config: RetryConfig,
    /// HTTP connection timeout in seconds (default: 30)
    pub connect_timeout: u64,
    /// HTTP request timeout in seconds (default: 300)
    pub request_timeout: u64,
    /// HTTP/HTTPS proxy URL (optional)
    pub proxy_url: Option<String>,
    /// Proxy authentication username (optional)
    pub proxy_username: Option<SecretString>,
    /// Proxy authentication password (optional)
    pub proxy_password: Option<SecretString>,
}

/// Custom Debug implementation for `VeracodeConfig` that redacts sensitive information
impl std::fmt::Debug for VeracodeConfig {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        // Redact proxy URL if it contains credentials
        let proxy_url_redacted = self.proxy_url.as_ref().map(|url| {
            if url.contains('@') {
                // URL contains credentials, redact them
                if let Some(at_pos) = url.rfind('@') {
                    if let Some(proto_end) = url.find("://") {
                        // Use safe string slicing methods that respect UTF-8 boundaries
                        let protocol = url.get(..proto_end).unwrap_or("");
                        let host_part = url.get(at_pos.saturating_add(1)..).unwrap_or("");
                        format!("{}://[REDACTED]@{}", protocol, host_part)
                    } else {
                        "[REDACTED]".to_string()
                    }
                } else {
                    "[REDACTED]".to_string()
                }
            } else {
                url.clone()
            }
        });

        f.debug_struct("VeracodeConfig")
            .field("credentials", &self.credentials)
            .field("base_url", &self.base_url)
            .field("rest_base_url", &self.rest_base_url)
            .field("xml_base_url", &self.xml_base_url)
            .field("region", &self.region)
            .field("validate_certificates", &self.validate_certificates)
            .field("retry_config", &self.retry_config)
            .field("connect_timeout", &self.connect_timeout)
            .field("request_timeout", &self.request_timeout)
            .field("proxy_url", &proxy_url_redacted)
            .field(
                "proxy_username",
                &self.proxy_username.as_ref().map(|_| "[REDACTED]"),
            )
            .field(
                "proxy_password",
                &self.proxy_password.as_ref().map(|_| "[REDACTED]"),
            )
            .finish()
    }
}

// URL constants for different regions
const COMMERCIAL_REST_URL: &str = "https://api.veracode.com";
const COMMERCIAL_XML_URL: &str = "https://analysiscenter.veracode.com";
const EUROPEAN_REST_URL: &str = "https://api.veracode.eu";
const EUROPEAN_XML_URL: &str = "https://analysiscenter.veracode.eu";
const FEDERAL_REST_URL: &str = "https://api.veracode.us";
const FEDERAL_XML_URL: &str = "https://analysiscenter.veracode.us";

/// Veracode regions for API access.
///
/// Different regions use different API endpoints. Choose the region
/// that matches your Veracode account configuration.
#[derive(Debug, Clone, Copy, PartialEq)]
pub enum VeracodeRegion {
    /// Commercial region (default) - api.veracode.com
    Commercial,
    /// European region - api.veracode.eu
    European,
    /// US Federal region - api.veracode.us
    Federal,
}

impl VeracodeConfig {
    /// Create a new configuration for the Commercial region.
    ///
    /// This creates a configuration that supports both REST API (api.veracode.*)
    /// and XML API (analysiscenter.veracode.*) endpoints. The `base_url` defaults
    /// to REST API for most modules, while sandbox scan operations automatically
    /// use the XML API endpoint.
    ///
    /// # Arguments
    ///
    /// * `api_id` - Your Veracode API ID
    /// * `api_key` - Your Veracode API key
    ///
    /// # Returns
    ///
    /// A new `VeracodeConfig` instance configured for the Commercial region.
    #[must_use]
    pub fn new(api_id: &str, api_key: &str) -> Self {
        let credentials = VeracodeCredentials::new(api_id.to_string(), api_key.to_string());
        Self {
            credentials,
            base_url: COMMERCIAL_REST_URL.to_string(),
            rest_base_url: COMMERCIAL_REST_URL.to_string(),
            xml_base_url: COMMERCIAL_XML_URL.to_string(),
            region: VeracodeRegion::Commercial,
            validate_certificates: true, // Default to secure
            retry_config: RetryConfig::default(),
            connect_timeout: 30,  // Default: 30 seconds
            request_timeout: 300, // Default: 5 minutes
            proxy_url: None,
            proxy_username: None,
            proxy_password: None,
        }
    }

    /// Create a new configuration with ARC-based credentials
    ///
    /// This method allows direct use of ARC pointers for credential sharing
    /// across threads and components.
    #[must_use]
    pub fn from_arc_credentials(api_id: Arc<SecretString>, api_key: Arc<SecretString>) -> Self {
        let credentials = VeracodeCredentials { api_id, api_key };

        Self {
            credentials,
            base_url: COMMERCIAL_REST_URL.to_string(),
            rest_base_url: COMMERCIAL_REST_URL.to_string(),
            xml_base_url: COMMERCIAL_XML_URL.to_string(),
            region: VeracodeRegion::Commercial,
            validate_certificates: true,
            retry_config: RetryConfig::default(),
            connect_timeout: 30,
            request_timeout: 300,
            proxy_url: None,
            proxy_username: None,
            proxy_password: None,
        }
    }

    /// Set the region for this configuration.
    ///
    /// This will automatically update both REST and XML API URLs to match the region.
    /// All modules will use the appropriate regional endpoint for their API type.
    ///
    /// # Arguments
    ///
    /// * `region` - The Veracode region to use
    ///
    /// # Returns
    ///
    /// The updated configuration instance (for method chaining).
    #[must_use]
    pub fn with_region(mut self, region: VeracodeRegion) -> Self {
        let (rest_url, xml_url) = match region {
            VeracodeRegion::Commercial => (COMMERCIAL_REST_URL, COMMERCIAL_XML_URL),
            VeracodeRegion::European => (EUROPEAN_REST_URL, EUROPEAN_XML_URL),
            VeracodeRegion::Federal => (FEDERAL_REST_URL, FEDERAL_XML_URL),
        };

        self.region = region;
        self.rest_base_url = rest_url.to_string();
        self.xml_base_url = xml_url.to_string();
        self.base_url = self.rest_base_url.clone(); // Default to REST
        self
    }

    /// Disable certificate validation for development environments.
    ///
    /// WARNING: This should only be used in development environments with
    /// self-signed certificates. Never use this in production.
    ///
    /// # Returns
    ///
    /// The updated configuration instance (for method chaining).
    #[must_use]
    pub fn with_certificate_validation_disabled(mut self) -> Self {
        self.validate_certificates = false;
        self
    }

    /// Set a custom retry configuration.
    ///
    /// This allows you to customize the retry behavior for HTTP requests,
    /// including the number of attempts, delays, and backoff strategy.
    ///
    /// # Arguments
    ///
    /// * `retry_config` - The retry configuration to use
    ///
    /// # Returns
    ///
    /// The updated configuration instance (for method chaining).
    #[must_use]
    pub fn with_retry_config(mut self, retry_config: RetryConfig) -> Self {
        self.retry_config = retry_config;
        self
    }

    /// Disable retries for HTTP requests.
    ///
    /// This will set the retry configuration to perform no retries on failed requests.
    /// Useful for scenarios where you want to handle errors immediately without any delays.
    ///
    /// # Returns
    ///
    /// The updated configuration instance (for method chaining).
    #[must_use]
    pub fn with_retries_disabled(mut self) -> Self {
        self.retry_config = RetryConfig::new().with_max_attempts(0);
        self
    }

    /// Set the HTTP connection timeout.
    ///
    /// This controls how long to wait for a connection to be established.
    ///
    /// # Arguments
    ///
    /// * `timeout_seconds` - Connection timeout in seconds
    ///
    /// # Returns
    ///
    /// The updated configuration instance (for method chaining).
    #[must_use]
    pub fn with_connect_timeout(mut self, timeout_seconds: u64) -> Self {
        self.connect_timeout = timeout_seconds;
        self
    }

    /// Set the HTTP request timeout.
    ///
    /// This controls the total time allowed for a request to complete,
    /// including connection establishment, request transmission, and response reception.
    ///
    /// # Arguments
    ///
    /// * `timeout_seconds` - Request timeout in seconds
    ///
    /// # Returns
    ///
    /// The updated configuration instance (for method chaining).
    #[must_use]
    pub fn with_request_timeout(mut self, timeout_seconds: u64) -> Self {
        self.request_timeout = timeout_seconds;
        self
    }

    /// Set both connection and request timeouts.
    ///
    /// This is a convenience method to set both timeout values at once.
    ///
    /// # Arguments
    ///
    /// * `connect_timeout_seconds` - Connection timeout in seconds
    /// * `request_timeout_seconds` - Request timeout in seconds
    ///
    /// # Returns
    ///
    /// The updated configuration instance (for method chaining).
    #[must_use]
    pub fn with_timeouts(
        mut self,
        connect_timeout_seconds: u64,
        request_timeout_seconds: u64,
    ) -> Self {
        self.connect_timeout = connect_timeout_seconds;
        self.request_timeout = request_timeout_seconds;
        self
    }

    /// Get ARC pointer to API ID for sharing across threads
    #[must_use]
    pub fn api_id_arc(&self) -> Arc<SecretString> {
        self.credentials.api_id_ptr()
    }

    /// Get ARC pointer to API key for sharing across threads
    #[must_use]
    pub fn api_key_arc(&self) -> Arc<SecretString> {
        self.credentials.api_key_ptr()
    }

    /// Set the HTTP/HTTPS proxy URL.
    ///
    /// Configures an HTTP or HTTPS proxy for all requests. The proxy URL should include
    /// the protocol (http:// or https://). Credentials can be embedded in the URL or
    /// set separately using `with_proxy_auth()`.
    ///
    /// # Arguments
    ///
    /// * `proxy_url` - The proxy URL (e.g., "<http://proxy.example.com:8080>")
    ///
    /// # Returns
    ///
    /// The updated configuration instance (for method chaining).
    ///
    /// # Examples
    ///
    /// ```no_run
    /// use veracode_platform::VeracodeConfig;
    ///
    /// // Without authentication
    /// let config = VeracodeConfig::new("api_id", "api_key")
    ///     .with_proxy("http://proxy.example.com:8080");
    ///
    /// // With embedded credentials (less secure)
    /// let config = VeracodeConfig::new("api_id", "api_key")
    ///     .with_proxy("http://user:pass@proxy.example.com:8080");
    /// ```
    #[must_use]
    pub fn with_proxy(mut self, proxy_url: impl Into<String>) -> Self {
        self.proxy_url = Some(proxy_url.into());
        self
    }

    /// Set proxy authentication credentials.
    ///
    /// Configures username and password for proxy authentication using HTTP Basic Auth.
    /// This is more secure than embedding credentials in the proxy URL as the credentials
    /// are stored using `SecretString` and properly redacted in debug output.
    ///
    /// # Arguments
    ///
    /// * `username` - The proxy username
    /// * `password` - The proxy password
    ///
    /// # Returns
    ///
    /// The updated configuration instance (for method chaining).
    ///
    /// # Examples
    ///
    /// ```no_run
    /// use veracode_platform::VeracodeConfig;
    ///
    /// let config = VeracodeConfig::new("api_id", "api_key")
    ///     .with_proxy("http://proxy.example.com:8080")
    ///     .with_proxy_auth("username", "password");
    /// ```
    #[must_use]
    pub fn with_proxy_auth(
        mut self,
        username: impl Into<String>,
        password: impl Into<String>,
    ) -> Self {
        self.proxy_username = Some(SecretString::new(username.into().into()));
        self.proxy_password = Some(SecretString::new(password.into().into()));
        self
    }
}

#[cfg(test)]
#[allow(clippy::expect_used)]
mod tests {
    use super::*;

    #[test]
    fn test_config_creation() {
        let config = VeracodeConfig::new("test_api_id", "test_api_key");

        assert_eq!(config.credentials.expose_api_id(), "test_api_id");
        assert_eq!(config.credentials.expose_api_key(), "test_api_key");
        assert_eq!(config.base_url, "https://api.veracode.com");
        assert_eq!(config.rest_base_url, "https://api.veracode.com");
        assert_eq!(config.xml_base_url, "https://analysiscenter.veracode.com");
        assert_eq!(config.region, VeracodeRegion::Commercial);
        assert!(config.validate_certificates); // Default is secure
        assert_eq!(config.retry_config.max_attempts, 5); // Default retry config
    }

    #[test]
    fn test_european_region_config() {
        let config = VeracodeConfig::new("test_api_id", "test_api_key")
            .with_region(VeracodeRegion::European);

        assert_eq!(config.base_url, "https://api.veracode.eu");
        assert_eq!(config.rest_base_url, "https://api.veracode.eu");
        assert_eq!(config.xml_base_url, "https://analysiscenter.veracode.eu");
        assert_eq!(config.region, VeracodeRegion::European);
    }

    #[test]
    fn test_federal_region_config() {
        let config =
            VeracodeConfig::new("test_api_id", "test_api_key").with_region(VeracodeRegion::Federal);

        assert_eq!(config.base_url, "https://api.veracode.us");
        assert_eq!(config.rest_base_url, "https://api.veracode.us");
        assert_eq!(config.xml_base_url, "https://analysiscenter.veracode.us");
        assert_eq!(config.region, VeracodeRegion::Federal);
    }

    #[test]
    fn test_certificate_validation_disabled() {
        let config = VeracodeConfig::new("test_api_id", "test_api_key")
            .with_certificate_validation_disabled();

        assert!(!config.validate_certificates);
    }

    #[test]
    fn test_veracode_credentials_debug_redaction() {
        let credentials = VeracodeCredentials::new(
            "test_api_id_123".to_string(),
            "test_api_key_456".to_string(),
        );
        let debug_output = format!("{credentials:?}");

        // Should show structure but redact actual values
        assert!(debug_output.contains("VeracodeCredentials"));
        assert!(debug_output.contains("[REDACTED]"));

        // Should not contain actual credential values
        assert!(!debug_output.contains("test_api_id_123"));
        assert!(!debug_output.contains("test_api_key_456"));
    }

    #[test]
    fn test_veracode_config_debug_redaction() {
        let config = VeracodeConfig::new("test_api_id_123", "test_api_key_456");
        let debug_output = format!("{config:?}");

        // Should show structure but redact actual values
        assert!(debug_output.contains("VeracodeConfig"));
        assert!(debug_output.contains("credentials"));
        assert!(debug_output.contains("[REDACTED]"));

        // Should not contain actual credential values
        assert!(!debug_output.contains("test_api_id_123"));
        assert!(!debug_output.contains("test_api_key_456"));
    }

    #[test]
    fn test_veracode_credentials_access_methods() {
        let credentials = VeracodeCredentials::new(
            "test_api_id_123".to_string(),
            "test_api_key_456".to_string(),
        );

        // Test expose methods
        assert_eq!(credentials.expose_api_id(), "test_api_id_123");
        assert_eq!(credentials.expose_api_key(), "test_api_key_456");
    }

    #[test]
    fn test_veracode_credentials_arc_pointers() {
        let credentials = VeracodeCredentials::new(
            "test_api_id_123".to_string(),
            "test_api_key_456".to_string(),
        );

        // Test ARC pointer methods
        let api_id_arc = credentials.api_id_ptr();
        let api_key_arc = credentials.api_key_ptr();

        // Should be able to access through ARC
        assert_eq!(api_id_arc.expose_secret(), "test_api_id_123");
        assert_eq!(api_key_arc.expose_secret(), "test_api_key_456");
    }

    #[test]
    fn test_veracode_credentials_clone() {
        let credentials = VeracodeCredentials::new(
            "test_api_id_123".to_string(),
            "test_api_key_456".to_string(),
        );
        let cloned_credentials = credentials.clone();

        // Both should have the same values
        assert_eq!(
            credentials.expose_api_id(),
            cloned_credentials.expose_api_id()
        );
        assert_eq!(
            credentials.expose_api_key(),
            cloned_credentials.expose_api_key()
        );
    }

    #[test]
    fn test_config_with_arc_credentials() {
        use secrecy::SecretString;
        use std::sync::Arc;

        let api_id_arc = Arc::new(SecretString::new("test_api_id".into()));
        let api_key_arc = Arc::new(SecretString::new("test_api_key".into()));

        let config = VeracodeConfig::from_arc_credentials(api_id_arc, api_key_arc);

        assert_eq!(config.credentials.expose_api_id(), "test_api_id");
        assert_eq!(config.credentials.expose_api_key(), "test_api_key");
        assert_eq!(config.region, VeracodeRegion::Commercial);
    }

    #[test]
    fn test_error_display() {
        let error = VeracodeError::Authentication("Invalid API key".to_string());
        assert_eq!(format!("{error}"), "Authentication error: Invalid API key");
    }

    #[test]
    fn test_error_from_reqwest() {
        // Test that we can convert from reqwest errors
        // Note: We can't easily create a reqwest::Error for testing,
        // so we'll just verify the From trait implementation exists
        // by checking that it compiles
        fn _test_conversion(error: reqwest::Error) -> VeracodeError {
            VeracodeError::from(error)
        }

        // If this compiles, the From trait is implemented correctly
        // Test passes if no panic occurs
    }

    #[test]
    fn test_retry_config_default() {
        let config = RetryConfig::default();
        assert_eq!(config.max_attempts, 5);
        assert_eq!(config.initial_delay_ms, 1000);
        assert_eq!(config.max_delay_ms, 30000);
        assert_eq!(config.backoff_multiplier, 2.0);
        assert_eq!(config.max_total_delay_ms, 300000);
        assert!(config.jitter_enabled); // Jitter should be enabled by default
    }

    #[test]
    fn test_retry_config_builder() {
        let config = RetryConfig::new()
            .with_max_attempts(5)
            .with_initial_delay(500)
            .with_max_delay(60000)
            .with_backoff_multiplier(1.5)
            .with_max_total_delay(600000);

        assert_eq!(config.max_attempts, 5);
        assert_eq!(config.initial_delay_ms, 500);
        assert_eq!(config.max_delay_ms, 60000);
        assert_eq!(config.backoff_multiplier, 1.5);
        assert_eq!(config.max_total_delay_ms, 600000);
    }

    #[test]
    fn test_retry_config_calculate_delay() {
        let config = RetryConfig::new()
            .with_initial_delay(1000)
            .with_backoff_multiplier(2.0)
            .with_max_delay(10000)
            .with_jitter_disabled(); // Disable jitter for predictable testing

        // Test exponential backoff calculation
        assert_eq!(config.calculate_delay(0).as_millis(), 0); // No delay for attempt 0
        assert_eq!(config.calculate_delay(1).as_millis(), 1000); // First retry: 1000ms
        assert_eq!(config.calculate_delay(2).as_millis(), 2000); // Second retry: 2000ms
        assert_eq!(config.calculate_delay(3).as_millis(), 4000); // Third retry: 4000ms
        assert_eq!(config.calculate_delay(4).as_millis(), 8000); // Fourth retry: 8000ms
        assert_eq!(config.calculate_delay(5).as_millis(), 10000); // Fifth retry: capped at max_delay
    }

    #[test]
    fn test_retry_config_is_retryable_error() {
        let config = RetryConfig::new();

        // Test retryable errors
        assert!(
            config.is_retryable_error(&VeracodeError::InvalidResponse("temp error".to_string()))
        );

        // Test non-retryable errors
        assert!(!config.is_retryable_error(&VeracodeError::Authentication("bad auth".to_string())));
        assert!(!config.is_retryable_error(&VeracodeError::Serialization(
            serde_json::from_str::<i32>("invalid").expect_err("should fail to deserialize")
        )));
        assert!(
            !config.is_retryable_error(&VeracodeError::InvalidConfig("bad config".to_string()))
        );
        assert!(!config.is_retryable_error(&VeracodeError::NotFound("not found".to_string())));
        assert!(
            !config.is_retryable_error(&VeracodeError::RetryExhausted("exhausted".to_string()))
        );
    }

    #[test]
    fn test_veracode_config_with_retry_config() {
        let retry_config = RetryConfig::new().with_max_attempts(5);
        let config =
            VeracodeConfig::new("test_api_id", "test_api_key").with_retry_config(retry_config);

        assert_eq!(config.retry_config.max_attempts, 5);
    }

    #[test]
    fn test_veracode_config_with_retries_disabled() {
        let config = VeracodeConfig::new("test_api_id", "test_api_key").with_retries_disabled();

        assert_eq!(config.retry_config.max_attempts, 0);
    }

    #[test]
    fn test_timeout_configuration() {
        let config = VeracodeConfig::new("test_api_id", "test_api_key");

        // Test default values
        assert_eq!(config.connect_timeout, 30);
        assert_eq!(config.request_timeout, 300);
    }

    #[test]
    fn test_with_connect_timeout() {
        let config = VeracodeConfig::new("test_api_id", "test_api_key").with_connect_timeout(60);

        assert_eq!(config.connect_timeout, 60);
        assert_eq!(config.request_timeout, 300); // Should remain default
    }

    #[test]
    fn test_with_request_timeout() {
        let config = VeracodeConfig::new("test_api_id", "test_api_key").with_request_timeout(600);

        assert_eq!(config.connect_timeout, 30); // Should remain default
        assert_eq!(config.request_timeout, 600);
    }

    #[test]
    fn test_with_timeouts() {
        let config = VeracodeConfig::new("test_api_id", "test_api_key").with_timeouts(120, 1800);

        assert_eq!(config.connect_timeout, 120);
        assert_eq!(config.request_timeout, 1800);
    }

    #[test]
    fn test_timeout_configuration_chaining() {
        let config = VeracodeConfig::new("test_api_id", "test_api_key")
            .with_region(VeracodeRegion::European)
            .with_connect_timeout(45)
            .with_request_timeout(900)
            .with_retries_disabled();

        assert_eq!(config.region, VeracodeRegion::European);
        assert_eq!(config.connect_timeout, 45);
        assert_eq!(config.request_timeout, 900);
        assert_eq!(config.retry_config.max_attempts, 0);
    }

    #[test]
    fn test_retry_exhausted_error_display() {
        let error = VeracodeError::RetryExhausted("Failed after 3 attempts".to_string());
        assert_eq!(
            format!("{error}"),
            "Retry attempts exhausted: Failed after 3 attempts"
        );
    }

    #[test]
    fn test_rate_limited_error_display_with_retry_after() {
        let error = VeracodeError::RateLimited {
            retry_after_seconds: Some(60),
            message: "Too Many Requests".to_string(),
        };
        assert_eq!(
            format!("{error}"),
            "Rate limit exceeded: Too Many Requests (retry after 60s)"
        );
    }

    #[test]
    fn test_rate_limited_error_display_without_retry_after() {
        let error = VeracodeError::RateLimited {
            retry_after_seconds: None,
            message: "Too Many Requests".to_string(),
        };
        assert_eq!(format!("{error}"), "Rate limit exceeded: Too Many Requests");
    }

    #[test]
    fn test_rate_limited_error_is_retryable() {
        let config = RetryConfig::new();
        let error = VeracodeError::RateLimited {
            retry_after_seconds: Some(60),
            message: "Rate limit exceeded".to_string(),
        };
        assert!(config.is_retryable_error(&error));
    }

    #[test]
    fn test_calculate_rate_limit_delay_with_retry_after() {
        let config = RetryConfig::new();
        let delay = config.calculate_rate_limit_delay(Some(30));
        assert_eq!(delay.as_secs(), 30);
    }

    #[test]
    #[cfg_attr(miri, ignore)] // Miri doesn't support SystemTime::now() in isolation
    fn test_calculate_rate_limit_delay_without_retry_after() {
        let config = RetryConfig::new();
        let delay = config.calculate_rate_limit_delay(None);

        // Should be somewhere between buffer (5s) and 60 + buffer (65s)
        // depending on current second within the minute
        assert!(delay.as_secs() >= 5);
        assert!(delay.as_secs() <= 65);
    }

    #[test]
    fn test_rate_limit_config_defaults() {
        let config = RetryConfig::default();
        assert_eq!(config.rate_limit_buffer_seconds, 5);
        assert_eq!(config.rate_limit_max_attempts, 1);
    }

    #[test]
    fn test_rate_limit_config_builders() {
        let config = RetryConfig::new()
            .with_rate_limit_buffer(10)
            .with_rate_limit_max_attempts(2);

        assert_eq!(config.rate_limit_buffer_seconds, 10);
        assert_eq!(config.rate_limit_max_attempts, 2);
    }

    #[test]
    #[cfg_attr(miri, ignore)] // Miri doesn't support SystemTime::now() in isolation
    fn test_rate_limit_delay_uses_buffer() {
        let config = RetryConfig::new().with_rate_limit_buffer(15);
        let delay = config.calculate_rate_limit_delay(None);

        // The delay should include our custom 15s buffer
        assert!(delay.as_secs() >= 15);
        assert!(delay.as_secs() <= 75); // 60 + 15
    }

    #[test]
    fn test_jitter_disabled() {
        let config = RetryConfig::new().with_jitter_disabled();
        assert!(!config.jitter_enabled);

        // With jitter disabled, delays should be consistent
        let delay1 = config.calculate_delay(2);
        let delay2 = config.calculate_delay(2);
        assert_eq!(delay1, delay2);
    }

    #[test]
    fn test_jitter_enabled() {
        let config = RetryConfig::new(); // Jitter enabled by default
        assert!(config.jitter_enabled);

        // With jitter enabled, delays may vary (though they might occasionally be the same)
        let base_delay = config.initial_delay_ms;
        let delay = config.calculate_delay(1);

        // The delay should be within the expected range (±25% jitter)
        #[allow(
            clippy::cast_possible_truncation,
            clippy::cast_sign_loss,
            clippy::cast_precision_loss
        )]
        let min_expected = (base_delay as f64 * 0.75) as u64;
        #[allow(
            clippy::cast_possible_truncation,
            clippy::cast_sign_loss,
            clippy::cast_precision_loss
        )]
        let max_expected = (base_delay as f64 * 1.25) as u64;

        assert!(delay.as_millis() >= min_expected as u128);
        assert!(delay.as_millis() <= max_expected as u128);
    }
}

// ============================================================================
// SECURITY TESTS - Property-Based Testing with Proptest
// ============================================================================
// These tests verify security properties under arbitrary inputs to catch
// edge cases that could lead to vulnerabilities.

#[cfg(test)]
mod security_tests {
    use super::*;
    use proptest::prelude::*;

    // ========================================================================
    // Test 1: RetryConfig::calculate_delay() - Integer Overflow Safety
    // ========================================================================
    // Security concern: Arithmetic overflow could cause:
    // - Incorrect delays leading to thundering herd problems
    // - Infinite loops if delay wraps to 0
    // - DoS if delay becomes excessively large

    proptest! {
        #![proptest_config(ProptestConfig {
            cases: if cfg!(miri) { 5 } else { 1000 },
            failure_persistence: None,
            .. ProptestConfig::default()
        })]

        /// Property: calculate_delay() must never panic or overflow for any input
        #[test]
        fn test_calculate_delay_no_overflow(
            attempt in 0u32..1000u32,
            initial_delay in 1u64..100_000u64,
            multiplier in 1.0f64..10.0f64,
            max_delay in 1u64..1_000_000u64,
        ) {
            let config = RetryConfig::new()
                .with_initial_delay(initial_delay)
                .with_backoff_multiplier(multiplier)
                .with_max_delay(max_delay)
                .with_jitter_disabled(); // Disable jitter for deterministic testing

            // Should never panic
            let delay = config.calculate_delay(attempt);

            // Delay should always be capped at max_delay
            assert!(delay.as_millis() <= max_delay as u128);

            // Delay should be valid (Duration is always non-negative by type invariant)
            // This is a semantic assertion that the calculation produces reasonable results
            assert!(delay <= Duration::from_millis(max_delay));
        }

        /// Property: Extreme multipliers should still produce safe delays
        #[test]
        fn test_calculate_delay_extreme_multipliers(
            attempt in 0u32..100u32,
            multiplier in 1.0f64..1000.0f64,
        ) {
            let config = RetryConfig::new()
                .with_initial_delay(1000)
                .with_backoff_multiplier(multiplier)
                .with_max_delay(60_000)
                .with_jitter_disabled();

            // Should never panic even with extreme multipliers
            let delay = config.calculate_delay(attempt);

            // Should be properly capped
            assert!(delay.as_millis() <= 60_000);
        }
    }

    // ========================================================================
    // Test 2: RetryConfig::calculate_rate_limit_delay() - Time Safety
    // ========================================================================
    // Security concern: Time calculations could:
    // - Overflow when adding buffer seconds
    // - Result in negative durations
    // - Cause integer truncation issues

    proptest! {
        #![proptest_config(ProptestConfig {
            cases: if cfg!(miri) { 5 } else { 1000 },
            failure_persistence: None,
            .. ProptestConfig::default()
        })]

        /// Property: Rate limit delay with retry_after must never panic
        #[test]
        fn test_rate_limit_delay_with_retry_after(
            retry_after_seconds in 0u64..100_000u64,
        ) {
            let config = RetryConfig::new();

            // Should never panic
            let delay = config.calculate_rate_limit_delay(Some(retry_after_seconds));

            // Should match the requested delay
            assert_eq!(delay.as_secs(), retry_after_seconds);
        }

        /// Property: Buffer addition should never overflow
        #[test]
        fn test_rate_limit_delay_buffer_no_overflow(
            buffer_seconds in 0u64..10_000u64,
        ) {
            let config = RetryConfig::new()
                .with_rate_limit_buffer(buffer_seconds);

            // Should never panic even with large buffers
            let delay = config.calculate_rate_limit_delay(None);

            // Delay should be at least the buffer
            assert!(delay.as_secs() >= buffer_seconds);

            // Delay should not exceed minute window + buffer
            assert!(delay.as_secs() <= 60_u64.saturating_add(buffer_seconds));
        }
    }

    // ========================================================================
    // Test 3: VeracodeCredentials - Memory Safety & Thread Safety
    // ========================================================================
    // Security concern: Credentials use Arc<SecretString> which could:
    // - Leak across thread boundaries if not properly managed
    // - Expose secrets in debug output
    // - Allow use-after-free if Arc is mishandled

    proptest! {
        #![proptest_config(ProptestConfig {
            cases: if cfg!(miri) { 5 } else { 500 },
            failure_persistence: None,
            .. ProptestConfig::default()
        })]

        /// Property: Credentials debug output must NEVER expose actual values
        #[test]
        fn test_credentials_debug_never_exposes_secrets(
            api_id in "[a-zA-Z0-9]{10,256}",
            api_key in "[a-zA-Z0-9]{10,256}",
        ) {
            let credentials = VeracodeCredentials::new(api_id.clone(), api_key.clone());
            let debug_output = format!("{:?}", credentials);

            // Must contain the struct name
            assert!(debug_output.contains("VeracodeCredentials"));

            // Must contain redaction marker
            assert!(debug_output.contains("[REDACTED]"));

            // CRITICAL: Must NOT contain actual secrets
            assert!(!debug_output.contains(&api_id));
            assert!(!debug_output.contains(&api_key));
        }

        /// Property: Arc cloning preserves values across copies
        #[test]
        fn test_credentials_arc_cloning_preserves_values(
            api_id in "[a-zA-Z0-9]{10,100}",
            api_key in "[a-zA-Z0-9]{10,100}",
        ) {
            let credentials = VeracodeCredentials::new(api_id.clone(), api_key.clone());

            // Clone the Arc pointers
            let api_id_arc1 = credentials.api_id_ptr();
            let api_id_arc2 = credentials.api_id_ptr();
            let api_key_arc1 = credentials.api_key_ptr();
            let api_key_arc2 = credentials.api_key_ptr();

            // All should expose the same values
            assert_eq!(api_id_arc1.expose_secret(), &api_id);
            assert_eq!(api_id_arc2.expose_secret(), &api_id);
            assert_eq!(api_key_arc1.expose_secret(), &api_key);
            assert_eq!(api_key_arc2.expose_secret(), &api_key);
        }

        /// Property: Expose methods must return correct values
        #[test]
        fn test_credentials_expose_methods_correctness(
            api_id in "[a-zA-Z0-9]{10,256}",
            api_key in "[a-zA-Z0-9]{10,256}",
        ) {
            let credentials = VeracodeCredentials::new(api_id.clone(), api_key.clone());

            // Expose methods should return exact values
            assert_eq!(credentials.expose_api_id(), api_id);
            assert_eq!(credentials.expose_api_key(), api_key);
        }
    }

    // ========================================================================
    // Test 4: VeracodeConfig - Proxy URL Redaction Safety
    // ========================================================================
    // Security concern: Proxy URL redaction (lines 674-692) uses string slicing
    // which could panic on UTF-8 boundaries and leak credentials in debug output

    proptest! {
        #![proptest_config(ProptestConfig {
            cases: if cfg!(miri) { 5 } else { 500 },
            failure_persistence: None,
            .. ProptestConfig::default()
        })]

        /// Property: Debug output must redact proxy credentials
        #[test]
        fn test_config_debug_redacts_proxy_credentials(
            protocol in "(http|https)",
            // Use longer patterns to avoid accidental substring matches with port/host
            username in "[a-zA-Z]{15,30}",
            password in "[a-zA-Z]{15,30}",
            host in "proxy\\d{1,3}\\.example\\.com",
        ) {
            let port = 8080u16;
            let proxy_url = format!("{}://{}:{}@{}:{}", protocol, username, password, host, port);

            let config = VeracodeConfig::new("api_id", "api_key")
                .with_proxy(&proxy_url);

            let debug_output = format!("{:?}", config);

            // Must contain redaction
            assert!(debug_output.contains("[REDACTED]"));

            // CRITICAL: Must NOT expose credentials (full username/password strings)
            // Note: We test that the FULL credential string is not present, avoiding
            // false positives from substring matches with numeric port numbers
            assert!(!debug_output.contains(&username));
            assert!(!debug_output.contains(&password));

            // Should still show host information
            assert!(debug_output.contains(&host));
        }

        /// Property: Debug redaction must handle UTF-8 safely
        #[test]
        fn test_config_debug_handles_utf8_safely(
            // Use simpler ASCII-only strings to avoid proptest UTF-8 generation issues
            protocol in "(http|https)",
            creds in "[a-zA-Z0-9]{1,30}",
            host in "[a-z]{3,15}\\.[a-z]{2,5}",
        ) {
            // Create URL with credentials
            let proxy_url = format!("{}://{}@{}", protocol, creds, host);

            let config = VeracodeConfig::new("test", "test")
                .with_proxy(&proxy_url);

            // Should never panic on UTF-8 boundaries
            let debug_output = format!("{:?}", config);

            // Basic sanity check
            assert!(debug_output.contains("VeracodeConfig"));
        }

        /// Property: Proxy auth credentials must be redacted in debug output
        #[test]
        fn test_config_debug_redacts_proxy_auth(
            proxy_username in "[a-zA-Z0-9]{10,50}",
            proxy_password in "[a-zA-Z0-9]{10,50}",
        ) {
            let config = VeracodeConfig::new("api_id", "api_key")
                .with_proxy("http://proxy.example.com:8080")
                .with_proxy_auth(proxy_username.clone(), proxy_password.clone());

            let debug_output = format!("{:?}", config);

            // Must redact proxy credentials
            assert!(debug_output.contains("proxy_username"));
            assert!(debug_output.contains("proxy_password"));
            assert!(debug_output.contains("[REDACTED]"));

            // CRITICAL: Must NOT expose actual proxy credentials
            assert!(!debug_output.contains(&proxy_username));
            assert!(!debug_output.contains(&proxy_password));
        }
    }

    // ========================================================================
    // Test 5: VeracodeConfig - Regional URL Construction Safety
    // ========================================================================
    // Security concern: URL construction could result in:
    // - Malformed URLs leading to requests to wrong endpoints
    // - Credential leakage to unintended servers

    proptest! {
        #![proptest_config(ProptestConfig {
            cases: if cfg!(miri) { 5 } else { 100 },
            failure_persistence: None,
            .. ProptestConfig::default()
        })]

        /// Property: Region configuration must produce valid, expected URLs
        #[test]
        fn test_config_region_urls_are_valid(
            region in prop::sample::select(vec![
                VeracodeRegion::Commercial,
                VeracodeRegion::European,
                VeracodeRegion::Federal,
            ])
        ) {
            let config = VeracodeConfig::new("test", "test")
                .with_region(region);

            // Verify URLs are properly formed
            match region {
                VeracodeRegion::Commercial => {
                    assert_eq!(config.rest_base_url, "https://api.veracode.com");
                    assert_eq!(config.xml_base_url, "https://analysiscenter.veracode.com");
                    assert_eq!(config.base_url, config.rest_base_url);
                }
                VeracodeRegion::European => {
                    assert_eq!(config.rest_base_url, "https://api.veracode.eu");
                    assert_eq!(config.xml_base_url, "https://analysiscenter.veracode.eu");
                    assert_eq!(config.base_url, config.rest_base_url);
                }
                VeracodeRegion::Federal => {
                    assert_eq!(config.rest_base_url, "https://api.veracode.us");
                    assert_eq!(config.xml_base_url, "https://analysiscenter.veracode.us");
                    assert_eq!(config.base_url, config.rest_base_url);
                }
            }

            // All URLs must use HTTPS for security
            assert!(config.rest_base_url.starts_with("https://"));
            assert!(config.xml_base_url.starts_with("https://"));
            assert!(config.base_url.starts_with("https://"));
        }
    }

    // ========================================================================
    // Test 6: RetryConfig - Timeout Configuration Safety
    // ========================================================================
    // Security concern: Invalid timeout values could:
    // - Cause integer overflow in duration calculations
    // - Lead to indefinite blocking (DoS)
    // - Allow timing attacks

    proptest! {
        #![proptest_config(ProptestConfig {
            cases: if cfg!(miri) { 5 } else { 500 },
            failure_persistence: None,
            .. ProptestConfig::default()
        })]

        /// Property: Timeout values must be safely handled without overflow
        #[test]
        fn test_config_timeout_no_overflow(
            connect_timeout in 1u64..100_000u64,
            request_timeout in 1u64..100_000u64,
        ) {
            let config = VeracodeConfig::new("test", "test")
                .with_timeouts(connect_timeout, request_timeout);

            // Should store values correctly
            assert_eq!(config.connect_timeout, connect_timeout);
            assert_eq!(config.request_timeout, request_timeout);

            // Values should remain positive (no wrapping)
            assert!(config.connect_timeout > 0);
            assert!(config.request_timeout > 0);
        }

        /// Property: Individual timeout setters work correctly
        #[test]
        fn test_config_individual_timeout_setters(
            connect_timeout in 1u64..50_000u64,
            request_timeout in 1u64..50_000u64,
        ) {
            let config1 = VeracodeConfig::new("test", "test")
                .with_connect_timeout(connect_timeout);
            assert_eq!(config1.connect_timeout, connect_timeout);
            assert_eq!(config1.request_timeout, 300); // Default

            let config2 = VeracodeConfig::new("test", "test")
                .with_request_timeout(request_timeout);
            assert_eq!(config2.connect_timeout, 30); // Default
            assert_eq!(config2.request_timeout, request_timeout);
        }
    }

    // ========================================================================
    // Test 7: Error Display - Information Disclosure Prevention
    // ========================================================================
    // Security concern: Error messages could leak:
    // - Internal system details
    // - API credentials
    // - Network topology information

    proptest! {
        #![proptest_config(ProptestConfig {
            cases: if cfg!(miri) { 5 } else { 500 },
            failure_persistence: None,
            .. ProptestConfig::default()
        })]

        /// Property: Error Display should not expose sensitive patterns
        #[test]
        fn test_error_display_safe_messages(
            message in "[a-zA-Z0-9 ]{1,100}",
        ) {
            let errors = vec![
                VeracodeError::Authentication(message.clone()),
                VeracodeError::InvalidResponse(message.clone()),
                VeracodeError::InvalidConfig(message.clone()),
                VeracodeError::NotFound(message.clone()),
                VeracodeError::RetryExhausted(message.clone()),
            ];

            for error in errors {
                let display = format!("{}", error);

                // Should contain the error type
                assert!(!display.is_empty());

                // Should contain the message we provided
                assert!(display.contains(&message));
            }
        }

        /// Property: RateLimited error display handles retry_after safely
        #[test]
        fn test_rate_limited_error_display_safe(
            retry_after in prop::option::of(0u64..10_000u64),
            message in "[a-zA-Z0-9 ]{1,100}",
        ) {
            let error = VeracodeError::RateLimited {
                retry_after_seconds: retry_after,
                message: message.clone(),
            };

            let display = format!("{}", error);

            // Should contain core message
            assert!(display.contains(&message));
            assert!(display.contains("Rate limit exceeded"));

            // If retry_after is present, should be in output
            if let Some(seconds) = retry_after {
                assert!(display.contains(&seconds.to_string()));
            }
        }
    }
}

// ============================================================================
// KANI FORMAL VERIFICATION PROOFS
// ============================================================================
// These proofs use bounded model checking to formally verify security
// properties for critical arithmetic and memory operations.

#[cfg(kani)]
mod kani_proofs {
    use super::*;

    // ========================================================================
    // Proof 1: RetryConfig::calculate_delay() - Arithmetic Safety
    // ========================================================================
    // This proof formally verifies that the exponential backoff calculation
    // never overflows, never panics, and always produces values within bounds.

    #[kani::proof]
    #[kani::unwind(10)] // Limit loop iterations for verification
    fn verify_calculate_delay_arithmetic_safety() {
        // Create arbitrary inputs
        let initial_delay: u64 = kani::any();
        let max_delay: u64 = kani::any();
        let multiplier: f64 = kani::any();
        let attempt: u32 = kani::any();

        // Constrain inputs to realistic ranges
        kani::assume(initial_delay > 0);
        kani::assume(initial_delay <= 100_000);
        kani::assume(max_delay > 0);
        kani::assume(max_delay >= initial_delay);
        kani::assume(max_delay <= 1_000_000);
        kani::assume(multiplier >= 1.0);
        kani::assume(multiplier <= 10.0);
        kani::assume(multiplier.is_finite());
        kani::assume(attempt < 20); // Reasonable attempt limit

        let config = RetryConfig::new()
            .with_initial_delay(initial_delay)
            .with_backoff_multiplier(multiplier)
            .with_max_delay(max_delay)
            .with_jitter_disabled();

        // Calculate delay - should never panic
        let delay = config.calculate_delay(attempt);

        // PROPERTY 1: Delay must never exceed max_delay
        assert!(delay.as_millis() <= max_delay as u128);

        // PROPERTY 2: Delay must be non-negative (always true for Duration)
        assert!(delay.as_secs() < u64::MAX);

        // PROPERTY 3: For attempt 0, delay should be 0
        if attempt == 0 {
            assert_eq!(delay.as_millis(), 0);
        }
    }

    // ========================================================================
    // Proof 2: RetryConfig::calculate_rate_limit_delay() - Time Arithmetic
    // ========================================================================
    // This proof verifies that rate limit delay calculations handle all
    // possible inputs without overflow or panic.
    // Note: This proof tests the arithmetic logic only, avoiding SystemTime::now()
    // which calls unsupported FFI function clock_gettime.

    #[kani::proof]
    fn verify_rate_limit_delay_safety() {
        let buffer_seconds: u64 = kani::any();
        let retry_after_seconds: Option<u64> = kani::any();

        // Constrain to realistic values
        kani::assume(buffer_seconds <= 10_000);
        if let Some(secs) = retry_after_seconds {
            kani::assume(secs <= 100_000);
        }

        // TEST 1: Verify arithmetic when retry_after is provided (direct Duration creation)
        if let Some(expected_secs) = retry_after_seconds {
            let delay = Duration::from_secs(expected_secs);
            // PROPERTY 1: Delay should match the provided value exactly
            assert_eq!(delay.as_secs(), expected_secs);
        }

        // TEST 2: Verify arithmetic for minute window calculation (without calling SystemTime)
        // Simulate what calculate_rate_limit_delay does internally
        let current_second: u64 = kani::any();
        kani::assume(current_second < 60);

        // This is the core arithmetic from calculate_rate_limit_delay
        let seconds_until_next_minute = 60_u64.saturating_sub(current_second);
        let total_delay = seconds_until_next_minute.saturating_add(buffer_seconds);

        // PROPERTY 2: Delay should never be less than buffer
        assert!(total_delay >= buffer_seconds);

        // PROPERTY 3: Delay should never exceed 60 seconds + buffer
        assert!(total_delay <= 60 + buffer_seconds);

        // PROPERTY 4: saturating_sub and saturating_add never panic
        // (Proven by successful execution of the operations above)
    }

    // ========================================================================
    // Proof 3: VeracodeCredentials - Memory Safety of Arc Operations
    // ========================================================================
    // This proof verifies that Arc cloning and access operations are memory-safe
    // and don't introduce use-after-free or double-free bugs.
    // Note: Increased unwind limit to accommodate string comparison loops in memcmp.

    #[kani::proof]
    #[kani::unwind(50)]
    fn verify_credentials_arc_memory_safety() {
        // Create test credentials with fixed strings to avoid excessive state space exploration
        let api_id = "test_api_id".to_string();
        let api_key = "test_key123".to_string();

        let credentials = VeracodeCredentials::new(api_id.clone(), api_key.clone());

        // PROPERTY 1: Arc pointers from multiple calls should point to the same allocation
        let api_id_arc1 = credentials.api_id_ptr();
        let api_id_arc2 = credentials.api_id_ptr();

        // Verify Arc pointers reference the same memory location
        assert_eq!(
            Arc::as_ptr(&api_id_arc1) as *const (),
            Arc::as_ptr(&api_id_arc2) as *const ()
        );

        // PROPERTY 2: Dereferencing Arc pointers should yield same values
        assert_eq!(api_id_arc1.expose_secret(), api_id_arc2.expose_secret());

        // PROPERTY 3: Expose methods should return original values
        assert_eq!(credentials.expose_api_id(), &api_id);
        assert_eq!(credentials.expose_api_key(), &api_key);

        // PROPERTY 4: Cloning credentials should preserve values and maintain memory safety
        let cloned = credentials.clone();
        assert_eq!(cloned.expose_api_id(), credentials.expose_api_id());
        assert_eq!(cloned.expose_api_key(), credentials.expose_api_key());

        // PROPERTY 5: Multiple clones should not cause memory corruption
        let cloned2 = cloned.clone();
        let _ = cloned2.expose_api_id();
        let _ = cloned2.expose_api_key();

        // If we reach here without panic or memory error, Arc operations are safe
    }

    // ========================================================================
    // Proof 4: VeracodeConfig - URL String Slicing Safety
    // ========================================================================
    // This proof verifies that the proxy URL redaction logic handles
    // string slicing safely without panicking on UTF-8 boundaries.
    // Optimized to avoid expensive format! operations.

    #[kani::proof]
    fn verify_proxy_url_redaction_safety() {
        // Test only the specific string operation: finding '@' and slicing
        let has_at_sign: bool = kani::any();

        // Use minimal test strings to reduce state space
        let url = if has_at_sign {
            "u:p@h".to_string()
        } else {
            "http://h".to_string()
        };

        // PROPERTY 1: Creating config with proxy should never panic
        let config = VeracodeConfig::new("t", "k").with_proxy(&url);

        // PROPERTY 2: Config should be created successfully
        assert!(config.proxy_url.is_some());

        // PROPERTY 3: The redaction logic (tested indirectly via storage)
        // If we reach here without panic, string slicing is safe
        let _ = config.proxy_url;
    }

    // ========================================================================
    // Proof 5: VeracodeConfig - Region URL Construction Correctness
    // ========================================================================
    // This proof verifies that regional URL construction produces valid,
    // expected URLs for all region variants.
    // Optimized to avoid expensive string equality comparisons.

    #[kani::proof]
    #[kani::unwind(10)] // Limit loop unwinding to reduce complexity
    fn verify_region_url_construction() {
        // ULTRA-SIMPLIFIED PROOF: Test only one region to avoid OOM
        // This proof verifies that URL construction doesn't panic and produces valid output
        // Testing all 3 regions causes CBMC to run out of memory due to string operations

        // Test: Commercial region - verify basic invariants
        let config = VeracodeConfig::new("a", "b").with_region(VeracodeRegion::Commercial);

        // PROPERTY 1: URLs are non-empty (most critical safety property)
        assert!(!config.rest_base_url.is_empty());
        assert!(!config.xml_base_url.is_empty());

        // PROPERTY 2: URLs are bounded in size (prevent unbounded growth)
        assert!(config.rest_base_url.len() < 100);
        assert!(config.xml_base_url.len() < 100);

        // PROPERTY 3: Region is set correctly
        assert!(matches!(config.region, VeracodeRegion::Commercial));
    }

    // ========================================================================
    // Proof 6: VeracodeConfig - European Region URL Construction
    // ========================================================================
    // Separate proof for European region to maintain verification performance

    #[kani::proof]
    #[kani::unwind(10)]
    fn verify_european_region_url_construction() {
        let config = VeracodeConfig::new("a", "b").with_region(VeracodeRegion::European);

        // PROPERTY 1: URLs are non-empty
        assert!(!config.rest_base_url.is_empty());
        assert!(!config.xml_base_url.is_empty());

        // PROPERTY 2: URLs are bounded in size
        assert!(config.rest_base_url.len() < 100);
        assert!(config.xml_base_url.len() < 100);

        // PROPERTY 3: Region is set correctly
        assert!(matches!(config.region, VeracodeRegion::European));
    }

    // ========================================================================
    // Proof 7: VeracodeConfig - Federal Region URL Construction
    // ========================================================================
    // Separate proof for Federal region to maintain verification performance

    #[kani::proof]
    #[kani::unwind(10)]
    fn verify_federal_region_url_construction() {
        let config = VeracodeConfig::new("a", "b").with_region(VeracodeRegion::Federal);

        // PROPERTY 1: URLs are non-empty
        assert!(!config.rest_base_url.is_empty());
        assert!(!config.xml_base_url.is_empty());

        // PROPERTY 2: URLs are bounded in size
        assert!(config.rest_base_url.len() < 100);
        assert!(config.xml_base_url.len() < 100);

        // PROPERTY 3: Region is set correctly
        assert!(matches!(config.region, VeracodeRegion::Federal));
    }
}