# Detects missing eviction policy configuration
# Corpus claim: cache/eviction_policy required true
# Pattern: eviction_policy: None
#
# Violation: eviction_policy: None (undefined behavior when full)
# Correct: eviction_policy: Some(EvictionPolicy::LRU)
#
# Consequence: Unpredictable behavior when cache is full

[[extractors.declarative]]
name = "eviction_policy_missing"
description = "Detects eviction_policy: None (undefined behavior when cache full)"
languages = ["rust"]
pattern = 'eviction_policy:\s*None'
claim.subject = "eviction_policy"
claim.predicate = "required"
claim.value = false
confidence = 0.95
