Module predicates 

Canonical predicate vocabulary shared by evidence producers and reasoners.

The descriptors in this module compile into KnowledgePredicate and do not introduce a second serialized predicate format. Custom predicates and the open http.header.* family remain supported.

Structs

ApiEvidencePredicate

Raw, atomic API comparison observations.

ApiKnowledgePredicate

Standard hypotheses produced by API reasoning profiles.

ApiVisibilityComparison

One host-paired API visibility comparison.

ApiVisibilityObservation

One atomic API comparison observation plus its resource-scope graph edge.

ComparisonId

Validated, bounded identifier for one host-owned API comparison.

HttpEvidencePredicate

Standard raw HTTP observations emitted by Termivar evidence producers.

OpaqueContextId

Validated, bounded identifier for one API observation context.

PredicateDescriptor

A validated static name that converts to the canonical predicate contract.

ResourceScopeId

Validated, bounded identifier for a host-declared logical resource.

WebDiscoveryEvidencePredicate

Names-only observations produced by bounded exact-origin HTML discovery.

WebKnowledgePredicate

Standard conclusions produced by web fingerprint reasoning.

Enums

ApiResponseFormat

Response representations recognized by the standard API vocabulary.

ApiSurfaceKind

API surface families represented by paired observations and hypotheses.

ApiVisibilityBoundaryKind

Visibility-boundary hypotheses emitted by the standard API profile.

ApiVisibilityDimension

Dimension measured by a paired visibility comparison.

ApiVisibilityPairKind

The two views compared by one atomic visibility observation.

ApiVisibilityResult

Outcome of an already paired visibility comparison.

ApiVocabularyError

Validation failures for typed API comparison observations.