Module web_reasoning 

Standard deterministic ontology and reasoning rules for web observations.

Runtime scope

• Build: always/default.
• Execution: Surface B (deterministic decision runtime).
• Default termivar scan: yes, through StandardWebDecisionRuntime.
• Support: implemented and tested.

See docs/internals/runtime-map.md.

The standard runtime composes this profile by default. Direct lower-level hosts may choose whether to install it. It defines semantic vocabulary and Bayesian rules, but performs no network I/O and never verifies a vulnerability.

Structs

StandardWebInstallReport

Counts of new definitions installed by one idempotent profile operation.

StandardWebReasoning

Validated web-domain ontology and deterministic fingerprint rule pack.

Enums

StandardWebReasoningError

Failures while constructing or installing the standard web profile.

Constants

STANDARD_WEB_AXIOM_COUNT

Number of semantic axioms defined by StandardWebReasoning.

STANDARD_WEB_CONCEPT_COUNT

Number of concepts defined by StandardWebReasoning.

STANDARD_WEB_RULE_COUNT

Number of deterministic fingerprint rules defined by StandardWebReasoning.