Module web_verification 

Deterministic outcomes for standard web discovery evidence.

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.

Rules are scoped to both a semantic action and the current verification case correlation. This prevents historical responses or another executor’s observations from being combined into a new outcome.

Structs

StandardWebVerificationInstallReport

Counts of rules added by an idempotent profile installation.

StandardWebVerificationProfile

Action- and case-scoped verification rules for standard discovery probes.

Enums

StandardWebVerificationError

Failures while constructing or atomically installing standard web rules.

Constants

STANDARD_WEB_VERIFICATION_RULE_COUNT

Number of passive and active rules installed by the standard profile.