Module verification 

Cross-boundary verification, ghost command detection, IPC integrity checks, and semantic test assertions.

Structs

AssertionResult

Outcome of evaluating a semantic assertion against an actual value.

ErrorCall

An IPC call that returned an error result.

GhostCommand

A command that exists on only one side of the frontend/backend boundary.

GhostCommandReport

Report of ghost commands – commands that exist on only one side of the IPC boundary.

IpcIntegrityReport

Summary of IPC round-trip health: completed, pending, errored, and stale calls.

SemanticAssertion

A declarative assertion to evaluate against a runtime value (e.g. “equals”, “truthy”).

StaleCall

An IPC call that has been pending longer than the staleness threshold.

Enums

AssertionCondition

Recognized assertion condition operators for evaluate_assertion.

GhostSource

Indicates which side of the IPC boundary a ghost command was found on.

Functions

check_ipc_integrity

Analyzes the event log for IPC health, flagging stale and errored calls.

detect_ghost_commands

Detects commands that exist on only one side of the IPC boundary (frontend vs registry).

evaluate_assertion

Evaluates a semantic assertion against an actual runtime value.

verify_state

Compares frontend and backend state trees, returning all divergences found.