# Aphoria Pending Markers
#
# Detected claim markers awaiting formalization.
# Each marker represents an inline annotation in code that should become a full claim.
#
# Manage with: aphoria claims list-markers|formalize-marker|reject-marker

[[marker]]
id = "marker-19d37174d410c4c3"
file = "src/config.rs"
line = 23
invariant = "Credentials MUST NOT be hardcoded"
consequence = "hardcoded passwords leak in VCS"
category = "security"
status = "pending"
detected_at = "2026-02-11T04:24:45.981483122+00:00"

[[marker]]
id = "marker-2c590a872120f64"
file = "src/config.rs"
line = 28
invariant = "TLS certificate verification MUST be enabled"
consequence = "disabled TLS enables MITM attacks"
category = "security"
status = "pending"
detected_at = "2026-02-11T04:24:45.981489736+00:00"

[[marker]]
id = "marker-47fd137fd423cc86"
file = "src/config.rs"
line = 33
invariant = "Timeout MUST be > 0"
consequence = "timeout=0 causes indefinite blocking"
category = "safety"
status = "pending"
detected_at = "2026-02-11T04:24:45.981491897+00:00"

[[marker]]
id = "marker-2b81354251cafdea"
file = "src/config.rs"
line = 38
invariant = "Cache MUST have max_size limit"
consequence = "unbounded cache causes OOM"
category = "safety"
status = "pending"
detected_at = "2026-02-11T04:24:45.981494076+00:00"

[[marker]]
id = "marker-25fa56e5938e4ad3"
file = "src/config.rs"
line = 43
invariant = "Eviction policy MUST be configured"
consequence = "missing policy causes undefined behavior"
category = "correctness"
status = "pending"
detected_at = "2026-02-11T04:24:45.981495833+00:00"

[[marker]]
id = "marker-e63822dd7205309a"
file = "src/config.rs"
line = 48
invariant = "Metrics MUST track hit/miss rates"
consequence = "no metrics prevents debugging"
category = "observability"
status = "pending"
detected_at = "2026-02-11T04:24:45.981496849+00:00"

[[marker]]
id = "marker-ee68b07e46045e0a"
file = "src/client.rs"
line = 30
invariant = "Cache keys MUST be validated"
consequence = "unvalidated keys enable injection attacks"
category = "security"
status = "pending"
detected_at = "2026-02-11T04:24:45.981498872+00:00"

[[marker]]
id = "marker-776ac8f90353a377"
file = "src/client.rs"
line = 34
invariant = "Connection pooling MUST be enabled"
consequence = "no pooling exhausts resources"
category = "performance"
status = "pending"
detected_at = "2026-02-11T04:24:45.981499801+00:00"

[[marker]]
id = "marker-3725e61dc19deeb3"
file = "src/client.rs"
line = 50
invariant = "TTL MUST be set for cached values"
consequence = "missing TTL causes memory leak"
category = "safety"
status = "pending"
detected_at = "2026-02-11T04:24:45.981524995+00:00"

[[marker]]
id = "marker-5bd80345d051dd17"
file = "src/client.rs"
line = 99
invariant = "Cache I/O MUST be async"
consequence = "synchronous blocking kills throughput"
category = "performance"
status = "pending"
detected_at = "2026-02-11T04:24:45.981526311+00:00"
