# 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-90a1c9e5bf597284"
file = "src/config.rs"
line = 19
invariant = "Consumer timeout MUST NOT be zero"
consequence = "timeout=0 causes indefinite blocking under connection loss"
category = "safety"
status = "pending"
detected_at = "2026-02-10T09:19:22.236745483+00:00"

[[marker]]
id = "marker-b9d44ec4f8550052"
file = "src/config.rs"
line = 62
invariant = "TLS certificate validation MUST be enabled"
consequence = "disabled validation allows MITM attacks"
category = "security"
status = "pending"
detected_at = "2026-02-10T09:19:22.236752692+00:00"

[[marker]]
id = "marker-e74d927c33b7bb30"
file = "src/processor.rs"
line = 33
invariant = "Message processing MUST be async"
consequence = "synchronous processing blocks event loop and degrades throughput"
category = "performance"
status = "pending"
detected_at = "2026-02-10T09:19:22.236756397+00:00"
