Struct HttpEvidencePredicate 

pub struct HttpEvidencePredicate;

Standard raw HTTP observations emitted by Termivar evidence producers.

This is an open vocabulary: Self::response_header supports custom normalized response header names in addition to the common constants.

Implementations

impl HttpEvidencePredicate

pub const REQUEST_METHOD: PredicateDescriptor

HTTP request method.

pub const REQUEST_URL: PredicateDescriptor

Requested URL.

pub const REQUEST_PATH_SEGMENT: PredicateDescriptor

One bounded, non-empty URL path segment.

pub const RESPONSE_STATUS: PredicateDescriptor

Numeric HTTP response status.

pub const RESPONSE_FINAL_URL: PredicateDescriptor

Final URL after redirects.

pub const RESPONSE_VERSION: PredicateDescriptor

Debug-formatted HTTP protocol version.

pub const RESPONSE_MEDIA_TYPE: PredicateDescriptor

Validated, lowercase media-type essence without parameters.

pub const RESPONSE_MEDIA_TYPE_JSON_COMPATIBLE: PredicateDescriptor

Whether the validated media type uses JSON or a +json suffix.

pub const RESPONSE_BODY_BYTES_OBSERVED: PredicateDescriptor

Number of response body bytes retained by the bounded collector.

pub const RESPONSE_BODY_TRUNCATED: PredicateDescriptor

Whether the bounded response body was truncated.

pub const RESPONSE_BODY_SHA256: PredicateDescriptor

SHA-256 digest of the observed response body bytes.

pub const RESPONSE_BODY_SAMPLE: PredicateDescriptor

Optional bounded textual response body sample.

pub const RESPONSE_FORM_CONTROL_NAMES: PredicateDescriptor

Named HTML form-control names (input/select/textarea name attributes) conservatively observed in the bounded response sample. This predicate contains control names only; control values are never copied into it. (The separate, host-authorized Self::RESPONSE_BODY_SAMPLE still carries the original bounded HTML, which may include value= attribute contents.) Presence indicates candidate input discovery, not server acceptance, and never implies a complete set.

pub const TIMING_TTFB_MS: PredicateDescriptor

Time to first response byte in milliseconds.

pub const TIMING_TOTAL_MS: PredicateDescriptor

Total request duration in milliseconds.

pub const COOKIE_NAME: PredicateDescriptor

Response cookie name. Cookie values are never represented here.

pub const HEADER_ALLOW: PredicateDescriptor

Captured Allow response header.

pub const HEADER_CONTENT_TYPE: PredicateDescriptor

Captured Content-Type response header.

pub const HEADER_SERVER: PredicateDescriptor

Captured Server response header.

pub const HEADER_WWW_AUTHENTICATE: PredicateDescriptor

Captured WWW-Authenticate response header.

pub const HEADER_X_POWERED_BY: PredicateDescriptor

Captured X-Powered-By response header.

pub const RATE_LIMIT_DETECTED: PredicateDescriptor

Whether the response status directly indicated rate limiting.

pub const RATE_LIMIT_ADVERTISED: PredicateDescriptor

Whether the response advertised rate-limit metadata.

pub const RATE_LIMIT_RETRY_AFTER: PredicateDescriptor

Normalized Retry-After value.

pub const RATE_LIMIT_LIMIT: PredicateDescriptor

Normalized rate-limit capacity.

pub const RATE_LIMIT_REMAINING: PredicateDescriptor

Normalized remaining rate-limit capacity.

pub const RATE_LIMIT_RESET: PredicateDescriptor

Normalized rate-limit reset value.

pub fn response_header( normalized_name: impl Into<String>, ) -> Result<KnowledgePredicate, ReasoningModelError>

Creates an open-family predicate for a validated, normalized header.

HTTP producers remain responsible for header syntax validation and lowercase normalization before calling this method.

pub const fn fixed() -> &'static [PredicateDescriptor]

Returns every fixed descriptor in stable declaration order.