Module verification 

Deterministic passive and active verification.

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.

Verifiers consume immutable knowledge snapshots and never execute probes. Passive rules may use existing evidence. Active rules are eligible only when their expression cites evidence added after the passive snapshot, so probe execution remains an explicit boundary outside the decision engine.

Structs

ActiveVerifier

Pure verifier for evidence collected by an explicit active probe.

PassiveVerifier

Pure verifier for evidence collected without an additional probe.

VerificationCase

Stable identity linking a planned action to its hypothesis provenance.

VerificationPipeline

Ordered passive-to-active verification pipeline.

VerificationPipelineReport

Full passive/active audit trail for one verification case.

VerificationReport

Outcome and audit trail for one verification stage.

VerificationRule

Declarative evidence expression mapped to one non-unknown outcome.

VerificationRuleEvaluation

Explainable evaluation of one verifier rule.

Enums

VerificationError

Validation and evaluation errors raised by verification components.

VerifierWrite

Result of registering a verifier rule identity.

Functions

apply_outcome

Applies verifier-owned hypothesis state transitions to the knowledge base.