diff --git a/contracts/predictify-hybrid/src/types.rs b/contracts/predictify-hybrid/src/types.rs
index afe04e1c..f2fb37a4 100644
--- a/contracts/predictify-hybrid/src/types.rs
+++ b/contracts/predictify-hybrid/src/types.rs
@@ -974,6 +974,9 @@ impl Market {
 
         // Validate oracle config
         self.oracle_config.validate(env)?;
+        if self.has_fallback {
+            self.fallback_oracle_config.validate(env)?;
+        }
 
         // Validate end time
         if self.end_time <= env.ledger().timestamp() {
@@ -3195,3 +3198,77 @@ pub struct Balance {
     pub asset: ReflectorAsset,
     pub amount: i128,
 }
+
+#[cfg(test)]
+mod tests {
+    extern crate std;
+
+    use super::*;
+    use soroban_sdk::testutils::Address as _;
+
+    fn valid_oracle_config(env: &Env) -> OracleConfig {
+        OracleConfig::new(
+            OracleProvider::Reflector,
+            Address::generate(env),
+            String::from_str(env, "BTC/USD"),
+            1_000_000,
+            String::from_str(env, "gt"),
+        )
+    }
+
+    #[test]
+    fn market_validate_rejects_invalid_fallback_when_enabled() {
+        let env = Env::default();
+        let admin = Address::generate(&env);
+        let outcomes = Vec::from_array(
+            &env,
+            [String::from_str(&env, "yes"), String::from_str(&env, "no")],
+        );
+
+        let invalid_fallback = OracleConfig::new(
+            OracleProvider::Pyth,
+            Address::generate(&env),
+            String::from_str(&env, "BTC/USD"),
+            1_000_000,
+            String::from_str(&env, "gt"),
+        );
+
+        let market = Market::new(
+            &env,
+            admin,
+            String::from_str(&env, "Will BTC be above $10,000?"),
+            outcomes,
+            env.ledger().timestamp() + 1000,
+            valid_oracle_config(&env),
+            Some(invalid_fallback),
+            3600,
+            MarketState::Active,
+        );
+
+        assert_eq!(market.validate(&env), Err(crate::Error::InvalidOracleConfig));
+    }
+
+    #[test]
+    fn market_validate_allows_no_fallback_sentinel_path() {
+        let env = Env::default();
+        let admin = Address::generate(&env);
+        let outcomes = Vec::from_array(
+            &env,
+            [String::from_str(&env, "yes"), String::from_str(&env, "no")],
+        );
+
+        let market = Market::new(
+            &env,
+            admin,
+            String::from_str(&env, "Will BTC be above $10,000?"),
+            outcomes,
+            env.ledger().timestamp() + 1000,
+            valid_oracle_config(&env),
+            None,
+            3600,
+            MarketState::Active,
+        );
+
+        assert_eq!(market.validate(&env), Ok(()));
+    }
+}
diff --git a/docs/contracts/TYPES_SYSTEM.md b/docs/contracts/TYPES_SYSTEM.md
index e656b140..f081de4d 100644
--- a/docs/contracts/TYPES_SYSTEM.md
+++ b/docs/contracts/TYPES_SYSTEM.md
@@ -1,541 +1,374 @@
-# Predictify Hybrid Types System
-
-## Overview
-
-The Predictify Hybrid contract now features a comprehensive, organized type system that centralizes all data structures and provides better organization, validation, and maintainability. This document outlines the architecture, usage patterns, and best practices for working with the types system.
-
-## Architecture
-
-### Type Categories
-
-Types are organized into logical categories for better understanding and maintenance:
-
-1. **Oracle Types** - Oracle providers, configurations, and data structures
-2. **Market Types** - Market data structures and state management
-3. **Price Types** - Price data and validation structures
-4. **Validation Types** - Input validation and business logic types
-5. **Utility Types** - Helper types and conversion utilities
-
-### Core Components
-
-#### 1. Oracle Types
-
-**OracleProvider Enum**
-```rust
-pub enum OracleProvider {
-    BandProtocol,
-    DIA,
-    Reflector,
-    Pyth,
-}
-```
-
-**OracleConfig Struct**
-```rust
-pub struct OracleConfig {
-    pub provider: OracleProvider,
-    pub feed_id: String,
-    pub threshold: i128,
-    pub comparison: String,
-}
-```
-
-#### 2. Market Types
-
-**Market Struct**
-```rust
-pub struct Market {
-    pub admin: Address,
-    pub question: String,
-    pub outcomes: Vec<String>,
-    pub end_time: u64,
-    pub oracle_config: OracleConfig,
-    // ... other fields
-}
-```
-
-#### 3. Price Types
-
-**PythPrice Struct**
-```rust
-pub struct PythPrice {
-    pub price: i128,
-    pub conf: u64,
-    pub expo: i32,
-    pub publish_time: u64,
-}
-```
-
-**ReflectorPriceData Struct**
-```rust
-pub struct ReflectorPriceData {
-    pub price: i128,
-    pub timestamp: u64,
-}
-```
-
-## Usage Patterns
-
-### 1. Creating Oracle Configurations
-
-```rust
-use types::{OracleProvider, OracleConfig};
-
-let oracle_config = OracleConfig::new(
-    OracleProvider::Pyth,
-    String::from_str(&env, "BTC/USD"),
-    2500000, // $25,000 threshold
-    String::from_str(&env, "gt"), // greater than
-);
-
-// Validate the configuration
-oracle_config.validate(&env)?;
-```
-
-### 2. Creating Markets
-
-```rust
-use types::{Market, OracleConfig, OracleProvider};
-
-let market = Market::new(
-    &env,
-    admin,
-    question,
-    outcomes,
-    end_time,
-    oracle_config,
-);
-
-// Validate market parameters
-market.validate(&env)?;
-```
-
-### 3. Market State Management
-
-```rust
-use types::MarketState;
-
-let state = MarketState::from_market(&market, &env);
-
-if state.is_active() {
-    // Market is accepting votes
-} else if state.has_ended() {
-    // Market has ended
-} else if state.is_resolved() {
-    // Market is resolved
-}
-```
-
-### 4. Oracle Result Handling
-
-```rust
-use types::OracleResult;
-
-let result = OracleResult::price(2500000);
-
-if result.is_available() {
-    if let Some(price) = result.get_price() {
-        // Use the price
-    }
-}
-```
-
-## Type Validation
-
-### Built-in Validation
-
-All types include built-in validation methods:
-
-```rust
-// Oracle configuration validation
-oracle_config.validate(&env)?;
-
-// Market validation
-market.validate(&env)?;
-
-// Price validation
-pyth_price.validate()?;
-```
-
-### Validation Helpers
-
-The types module provides validation helper functions:
-
-```rust
-use types::validation;
-
-// Validate oracle provider
-validation::validate_oracle_provider(&OracleProvider::Pyth)?;
-
-// Validate price
-validation::validate_price(2500000)?;
-
-// Validate stake
-validation::validate_stake(stake, min_stake)?;
-
-// Validate duration
-validation::validate_duration(30)?;
-```
-
-## Type Conversion
-
-### Conversion Helpers
-
-```rust
-use types::conversion;
-
-// Convert string to oracle provider
-let provider = conversion::string_to_oracle_provider("pyth")
-    .ok_or(Error::InvalidOracleConfig)?;
-
-// Convert oracle provider to string
-let provider_name = conversion::oracle_provider_to_string(&provider);
-
-// Validate comparison operator
-conversion::validate_comparison(&comparison, &env)?;
-```
-
-## Market Operations
-
-### Market State Queries
-
-```rust
-// Check if market is active
-if market.is_active(&env) {
-    // Accept votes
-}
-
-// Check if market has ended
-if market.has_ended(&env) {
-    // Resolve market
-}
-
-// Check if market is resolved
-if market.is_resolved() {
-    // Allow claims
-}
-```
-
-### User Operations
-
-```rust
-// Get user's vote
-let user_vote = market.get_user_vote(&user);
-
-// Get user's stake
-let user_stake = market.get_user_stake(&user);
-
-// Check if user has claimed
-let has_claimed = market.has_user_claimed(&user);
-
-// Get user's dispute stake
-let dispute_stake = market.get_user_dispute_stake(&user);
-```
-
-### Market Modifications
-
-```rust
-// Add vote and stake
-market.add_vote(user, outcome, stake);
-
-// Add dispute stake
-market.add_dispute_stake(user, stake);
-
-// Mark user as claimed
-market.mark_claimed(user);
-
-// Set oracle result
-market.set_oracle_result(result);
-
-// Set winning outcome
-market.set_winning_outcome(outcome);
-
-// Mark fees as collected
-market.mark_fees_collected();
-```
-
-### Market Calculations
-
-```rust
-// Get total dispute stakes
-let total_disputes = market.total_dispute_stakes();
-
-// Get winning stake total
-let winning_total = market.winning_stake_total();
-```
-
-## Oracle Integration
-
-### Oracle Provider Support
-
-```rust
-// Check if provider is supported
-if oracle_provider.is_supported() {
-    // Use the provider
-}
-
-// Get provider name
-let name = oracle_provider.name();
-
-// Get default feed format
-let format = oracle_provider.default_feed_format();
-```
-
-### Oracle Configuration
-
-```rust
-// Check comparison operators
-if oracle_config.is_greater_than(&env) {
-    // Handle greater than comparison
-} else if oracle_config.is_less_than(&env) {
-    // Handle less than comparison
-} else if oracle_config.is_equal_to(&env) {
-    // Handle equal to comparison
-}
-```
-
-## Price Data Handling
-
-### Pyth Price Data
-
-```rust
-let pyth_price = PythPrice::new(2500000, 1000, -2, timestamp);
-
-// Get price in cents
-let price_cents = pyth_price.price_in_cents();
-
-// Check if price is stale (manual check)
-if env.ledger().timestamp() > pyth_price.publish_time + max_age {
-    // Handle stale price
-}
-
-// Validate price data
-pyth_price.validate()?;
-```
-
-### Reflector Price Data
-
-```rust
-let reflector_price = ReflectorPriceData::new(2500000, timestamp);
-
-// Get price in cents
-let price_cents = reflector_price.price_in_cents();
-
-// Check if price is stale (manual check)
-if env.ledger().timestamp() > reflector_price.timestamp + max_age {
-    // Handle stale price
-}
-
-// Validate price data
-reflector_price.validate()?;
-```
-
-## Validation Types
-
-### Market Creation Parameters
-
-```rust
-let params = MarketCreationParams::new(
-    admin,
-    question,
-    outcomes,
-    duration_days,
-    oracle_config,
-);
-
-// Validate all parameters
-params.validate(&env)?;
-
-// Calculate end time
-let end_time = params.calculate_end_time(&env);
-```
-
-### Vote Parameters
-
-```rust
-let vote_params = VoteParams::new(user, outcome, stake);
-
-// Validate vote parameters
-vote_params.validate(&env, &market)?;
-```
-
-## Best Practices
-
-### 1. Always Validate Types
-
-```rust
-// ❌ Don't skip validation
-let market = Market::new(&env, admin, question, outcomes, end_time, oracle_config);
-
-// ✅ Always validate
-let market = Market::new(&env, admin, question, outcomes, end_time, oracle_config);
-market.validate(&env)?;
-```
-
-### 2. Use Type-Safe Operations
-
-```rust
-// ❌ Manual state checking
-if current_time < market.end_time && market.winning_outcome.is_none() {
-    // Market is active
-}
-
-// ✅ Use type-safe methods
-if market.is_active(current_time) {
-    // Market is active
-}
-```
-
-### 3. Leverage Built-in Methods
-
-```rust
-// ❌ Manual calculations
-let mut total = 0;
-for (user, outcome) in market.votes.iter() {
-    if &outcome == winning_outcome {
-        total += market.stakes.get(user.clone()).unwrap_or(0);
-    }
-}
-
-// ✅ Use built-in methods
-let total = market.winning_stake_total();
-```
-
-### 4. Use Validation Helpers
-
-```rust
-// ❌ Manual validation
-if stake < min_stake {
-    return Err(Error::InsufficientStake);
-}
-
-// ✅ Use validation helpers
-validation::validate_stake(stake, min_stake)?;
-```
-
-### 5. Handle Oracle Results Safely
-
-```rust
-// ❌ Direct access
-let price = oracle_result.price;
-
-// ✅ Safe access
-if let Some(price) = oracle_result.get_price() {
-    // Use the price
-}
-```
-
-## Testing
-
-### Type Testing
-
-The types module includes comprehensive tests:
-
-```rust
-#[test]
-fn test_oracle_provider() {
-    let provider = OracleProvider::Pyth;
-    assert_eq!(provider.name(), "Pyth Network");
-    assert!(provider.is_supported());
-}
-
-#[test]
-fn test_market_creation() {
-    let market = Market::new(&env, admin, question, outcomes, end_time, oracle_config);
-    assert!(market.is_active(&env));
-    assert!(!market.is_resolved());
-}
-
-#[test]
-fn test_validation_helpers() {
-    assert!(validation::validate_oracle_provider(&OracleProvider::Pyth).is_ok());
-    assert!(validation::validate_price(2500000).is_ok());
-}
-```
-
-## Migration Guide
-
-### From Direct Type Usage
-
-1. **Replace direct struct creation**:
-   ```rust
-   // Old
-   let market = Market { /* fields */ };
-   
-   // New
-   let market = Market::new(&env, admin, question, outcomes, end_time, oracle_config);
-   ```
-
-2. **Use validation methods**:
-   ```rust
-   // Old
-   if threshold <= 0 { return Err(Error::InvalidThreshold); }
-   
-   // New
-   oracle_config.validate(&env)?;
-   ```
-
-3. **Use type-safe operations**:
-   ```rust
-   // Old
-   if current_time < market.end_time { /* active */ }
-   
-   // New
-   if market.is_active(&env) { /* active */ }
-   ```
-
-## Type Reference
-
-### Oracle Types
-
-| Type | Purpose | Key Methods |
-|------|---------|-------------|
-| `OracleProvider` | Oracle service enumeration | `name()`, `is_supported()`, `default_feed_format()` |
-| `OracleConfig` | Oracle configuration | `new()`, `validate()`, `is_supported()`, `is_greater_than()` |
-| `PythPrice` | Pyth price data | `new()`, `price_in_cents()`, `is_stale()`, `validate()` |
-| `ReflectorPriceData` | Reflector price data | `new()`, `price_in_cents()`, `is_stale()`, `validate()` |
-
-### Market Types
-
-| Type | Purpose | Key Methods |
-|------|---------|-------------|
-| `Market` | Market data structure | `new()`, `validate()`, `is_active()`, `add_vote()` |
-| `MarketState` | Market state enumeration | `from_market()`, `is_active()`, `has_ended()` |
-| `MarketCreationParams` | Market creation parameters | `new()`, `validate()`, `calculate_end_time()` |
-| `VoteParams` | Vote parameters | `new()`, `validate()` |
-
-### Utility Types
-
-| Type | Purpose | Key Methods |
-|------|---------|-------------|
-| `OracleResult` | Oracle result wrapper | `price()`, `unavailable()`, `is_available()`, `get_price()` |
-| `ReflectorAsset` | Reflector asset types | `stellar()`, `other()`, `is_stellar()`, `is_other()` |
-
-### Validation Functions
-
-| Function | Purpose | Parameters |
-|----------|---------|------------|
-| `validate_oracle_provider()` | Validate oracle provider | `provider: &OracleProvider` |
-| `validate_price()` | Validate price value | `price: i128` |
-| `validate_stake()` | Validate stake amount | `stake: i128, min_stake: i128` |
-| `validate_duration()` | Validate duration | `duration_days: u32` |
-
-### Conversion Functions
-
-| Function | Purpose | Parameters |
-|----------|---------|------------|
-| `string_to_oracle_provider()` | Convert string to provider | `s: &str` |
-| `oracle_provider_to_string()` | Convert provider to string | `provider: &OracleProvider` |
-| `validate_comparison()` | Validate comparison operator | `comparison: &String, env: &Env` |
-
-## Future Enhancements
-
-1. **Type Serialization**: Proper serialization/deserialization support
-2. **Type Metrics**: Collection and reporting of type usage statistics
-3. **Type Validation**: Enhanced validation with custom rules
-4. **Type Events**: Event emission for type state changes
-5. **Type Localization**: Support for multiple languages in type messages
-
-## Conclusion
-
-The new types system provides a robust foundation for managing data structures in the Predictify Hybrid contract. By following the patterns and best practices outlined in this document, developers can create more maintainable, type-safe, and well-organized code. 
\ No newline at end of file
+# Predictify Hybrid Types System (Code-Synced)
+
+This document is the canonical field/variant reference for every `#[contracttype]` defined in `/contracts/predictify-hybrid/src/types.rs`.
+
+## Scope
+
+- Source of truth: `/contracts/predictify-hybrid/src/types.rs`
+- Included here: all `#[contracttype]` enums and structs in that file
+- Not included: non-`contracttype` helper structs (for example, `OraclePriceData`)
+
+## Enums
+
+### `MarketState`
+- `Active`
+- `Ended`
+- `Disputed`
+- `Resolved`
+- `Closed`
+- `Cancelled`
+
+### `OracleProvider`
+- `Reflector`
+- `Pyth`
+- `BandProtocol`
+- `DIA`
+
+### `ReflectorAsset`
+- `Stellar`
+- `BTC`
+- `ETH`
+- `Other(Symbol)`
+
+### `OracleVerificationStatus`
+- `Pending`
+- `InProgress`
+- `Verified`
+- `InvalidSignature`
+- `StaleData`
+- `OracleUnavailable`
+- `ThresholdNotMet`
+- `NoConsensus`
+
+### `MarketStatus`
+- `Active`
+- `Ended`
+- `Disputed`
+- `Resolved`
+- `Closed`
+- `Cancelled`
+
+### `BetStatus`
+- `Active`
+- `Won`
+- `Lost`
+- `Refunded`
+- `Cancelled`
+
+### `EventVisibility`
+- `Public`
+- `Private`
+
+## Structs
+
+### `OracleConfig`
+| Field | Type |
+|---|---|
+| `provider` | `OracleProvider` |
+| `oracle_address` | `Address` |
+| `feed_id` | `String` |
+| `threshold` | `i128` |
+| `comparison` | `String` |
+
+### `Market`
+| Field | Type |
+|---|---|
+| `admin` | `Address` |
+| `question` | `String` |
+| `outcomes` | `Vec<String>` |
+| `end_time` | `u64` |
+| `oracle_config` | `OracleConfig` |
+| `has_fallback` | `bool` |
+| `fallback_oracle_config` | `OracleConfig` |
+| `resolution_timeout` | `u64` |
+| `oracle_result` | `Option<String>` |
+| `votes` | `Map<Address, String>` |
+| `stakes` | `Map<Address, i128>` |
+| `claimed` | `Map<Address, bool>` |
+| `total_staked` | `i128` |
+| `dispute_stakes` | `Map<Address, i128>` |
+| `winning_outcomes` | `Option<Vec<String>>` |
+| `fee_collected` | `bool` |
+| `state` | `MarketState` |
+| `total_extension_days` | `u32` |
+| `max_extension_days` | `u32` |
+| `extension_history` | `Vec<MarketExtension>` |
+| `category` | `Option<String>` |
+| `tags` | `Vec<String>` |
+| `min_pool_size` | `Option<i128>` |
+| `bet_deadline` | `u64` |
+| `dispute_window_seconds` | `u64` |
+
+### `BetLimits`
+| Field | Type |
+|---|---|
+| `min_bet` | `i128` |
+| `max_bet` | `i128` |
+
+### `EventHistoryEntry`
+| Field | Type |
+|---|---|
+| `market_id` | `Symbol` |
+| `question` | `String` |
+| `outcomes` | `Vec<String>` |
+| `end_time` | `u64` |
+| `created_at` | `u64` |
+| `state` | `MarketState` |
+| `winning_outcome` | `Option<String>` |
+| `total_staked` | `i128` |
+| `archived_at` | `Option<u64>` |
+| `category` | `String` |
+| `tags` | `Vec<String>` |
+
+### `PlatformStatistics`
+| Field | Type |
+|---|---|
+| `total_events_created` | `u64` |
+| `total_bets_placed` | `u64` |
+| `total_volume` | `i128` |
+| `total_fees_collected` | `i128` |
+| `active_events_count` | `u32` |
+
+### `UserStatistics`
+| Field | Type |
+|---|---|
+| `total_bets_placed` | `u64` |
+| `total_amount_wagered` | `i128` |
+| `total_winnings` | `i128` |
+| `total_bets_won` | `u64` |
+| `win_rate` | `u32` |
+| `last_activity_ts` | `u64` |
+
+### `OracleResult`
+| Field | Type |
+|---|---|
+| `market_id` | `Symbol` |
+| `outcome` | `String` |
+| `price` | `i128` |
+| `threshold` | `i128` |
+| `comparison` | `String` |
+| `provider` | `OracleProvider` |
+| `feed_id` | `String` |
+| `timestamp` | `u64` |
+| `block_number` | `u32` |
+| `is_verified` | `bool` |
+| `confidence_score` | `u32` |
+| `sources_count` | `u32` |
+| `signature` | `Option<String>` |
+| `error_message` | `Option<String>` |
+
+### `GlobalOracleValidationConfig`
+| Field | Type |
+|---|---|
+| `max_staleness_secs` | `u64` |
+| `max_confidence_bps` | `u32` |
+
+### `EventOracleValidationConfig`
+| Field | Type |
+|---|---|
+| `max_staleness_secs` | `u64` |
+| `max_confidence_bps` | `u32` |
+
+### `MultiOracleResult`
+| Field | Type |
+|---|---|
+| `market_id` | `Symbol` |
+| `final_outcome` | `String` |
+| `individual_results` | `Vec<OracleResult>` |
+| `consensus_reached` | `bool` |
+| `consensus_threshold` | `u32` |
+| `agreement_percentage` | `u32` |
+| `timestamp` | `u64` |
+
+### `OracleSource`
+| Field | Type |
+|---|---|
+| `source_id` | `Symbol` |
+| `provider` | `OracleProvider` |
+| `contract_address` | `Address` |
+| `weight` | `u32` |
+| `is_active` | `bool` |
+| `priority` | `u32` |
+| `last_success` | `u64` |
+| `failure_count` | `u32` |
+
+### `OracleFetchRequest`
+| Field | Type |
+|---|---|
+| `market_id` | `Symbol` |
+| `feed_id` | `String` |
+| `max_data_age` | `u64` |
+| `required_confirmations` | `u32` |
+| `use_fallback` | `bool` |
+| `min_confidence` | `u32` |
+
+### `ReflectorPriceData`
+| Field | Type |
+|---|---|
+| `price` | `i128` |
+| `timestamp` | `u64` |
+| `source` | `String` |
+
+### `MarketExtension`
+| Field | Type |
+|---|---|
+| `additional_days` | `u32` |
+| `admin` | `Address` |
+| `reason` | `String` |
+| `fee_amount` | `i128` |
+| `timestamp` | `u64` |
+
+### `ExtensionStats`
+| Field | Type |
+|---|---|
+| `total_extensions` | `u32` |
+| `total_extension_days` | `u32` |
+| `max_extension_days` | `u32` |
+| `can_extend` | `bool` |
+| `extension_fee_per_day` | `i128` |
+
+### `MarketCreationParams`
+| Field | Type |
+|---|---|
+| `admin` | `Address` |
+| `question` | `String` |
+| `outcomes` | `Vec<String>` |
+| `duration_days` | `u32` |
+| `oracle_config` | `OracleConfig` |
+| `creation_fee` | `i128` |
+
+### `CommunityConsensus`
+| Field | Type |
+|---|---|
+| `outcome` | `String` |
+| `votes` | `u32` |
+| `total_votes` | `u32` |
+| `percentage` | `i128` |
+
+### `MarketPauseInfo`
+| Field | Type |
+|---|---|
+| `is_paused` | `bool` |
+| `paused_at` | `u64` |
+| `pause_duration_hours` | `u32` |
+| `paused_by` | `Address` |
+| `pause_end_time` | `u64` |
+| `original_state` | `MarketState` |
+
+### `EventDetailsQuery`
+| Field | Type |
+|---|---|
+| `market_id` | `Symbol` |
+| `question` | `String` |
+| `outcomes` | `Vec<String>` |
+| `created_at` | `u64` |
+| `end_time` | `u64` |
+| `status` | `MarketStatus` |
+| `oracle_provider` | `String` |
+| `feed_id` | `String` |
+| `total_staked` | `i128` |
+| `winning_outcome` | `Option<String>` |
+| `oracle_result` | `Option<String>` |
+| `participant_count` | `u32` |
+| `vote_count` | `u32` |
+| `admin` | `Address` |
+
+### `UserBetQuery`
+| Field | Type |
+|---|---|
+| `user` | `Address` |
+| `market_id` | `Symbol` |
+| `outcome` | `String` |
+| `stake_amount` | `i128` |
+| `voted_at` | `u64` |
+| `is_winning` | `bool` |
+| `has_claimed` | `bool` |
+| `potential_payout` | `i128` |
+| `dispute_stake` | `i128` |
+
+### `UserBalanceQuery`
+| Field | Type |
+|---|---|
+| `user` | `Address` |
+| `available_balance` | `i128` |
+| `total_staked` | `i128` |
+| `total_winnings` | `i128` |
+| `active_bet_count` | `u32` |
+| `resolved_market_count` | `u32` |
+| `unclaimed_balance` | `i128` |
+
+### `MarketPoolQuery`
+| Field | Type |
+|---|---|
+| `market_id` | `Symbol` |
+| `total_pool` | `i128` |
+| `outcome_pools` | `Map<String, i128>` |
+| `platform_fees` | `i128` |
+| `implied_probability_yes` | `u32` |
+| `implied_probability_no` | `u32` |
+
+### `ContractStateQuery`
+| Field | Type |
+|---|---|
+| `total_markets` | `u32` |
+| `active_markets` | `u32` |
+| `resolved_markets` | `u32` |
+| `total_value_locked` | `i128` |
+| `total_fees_collected` | `i128` |
+| `unique_users` | `u32` |
+| `contract_version` | `String` |
+| `last_update` | `u64` |
+
+### `MultipleBetsQuery`
+| Field | Type |
+|---|---|
+| `bets` | `Vec<UserBetQuery>` |
+| `total_stake` | `i128` |
+| `total_potential_payout` | `i128` |
+| `winning_bets` | `u32` |
+
+### `Bet`
+| Field | Type |
+|---|---|
+| `user` | `Address` |
+| `market_id` | `Symbol` |
+| `outcome` | `String` |
+| `amount` | `i128` |
+| `timestamp` | `u64` |
+| `status` | `BetStatus` |
+
+### `BetStats`
+| Field | Type |
+|---|---|
+| `total_bets` | `u32` |
+| `total_amount_locked` | `i128` |
+| `unique_bettors` | `u32` |
+| `outcome_totals` | `Map<String, i128>` |
+
+### `Event`
+| Field | Type |
+|---|---|
+| `id` | `Symbol` |
+| `description` | `String` |
+| `outcomes` | `Vec<String>` |
+| `end_time` | `u64` |
+| `oracle_config` | `OracleConfig` |
+| `has_fallback` | `bool` |
+| `fallback_oracle_config` | `OracleConfig` |
+| `resolution_timeout` | `u64` |
+| `admin` | `Address` |
+| `created_at` | `u64` |
+| `status` | `MarketState` |
+| `visibility` | `EventVisibility` |
+| `allowlist` | `Vec<Address>` |
+
+### `Balance`
+| Field | Type |
+|---|---|
+| `user` | `Address` |
+| `asset` | `ReflectorAsset` |
+| `amount` | `i128` |
+
+## Maintenance Rule
+
+When adding, removing, or renaming any field or variant in `types.rs`, update this document in the same PR.