Crate victauri_core 

Core types and protocol for Victauri — full-stack introspection for Tauri apps via MCP.

This crate provides the shared type system used by all Victauri crates. It has no Tauri dependency and can be used independently for testing.

Re-exports

pub use codegen::CodegenOptions;

pub use codegen::generate_test;

pub use codegen::generate_test_default;

pub use error::VictauriError;

pub use event::AppEvent;

pub use event::EventLog;

pub use event::InteractionKind;

pub use event::IpcCall;

pub use event::IpcResult;

pub use recording::EventRecorder;

pub use recording::RecordedEvent;

pub use recording::RecordedSession;

pub use recording::StateCheckpoint;

pub use registry::CommandArg;

pub use registry::CommandInfo;

pub use registry::CommandRegistry;

pub use registry::ScoredCommand;

pub use registry::auto_discovered_commands;

pub use snapshot::DomElement;

pub use snapshot::DomSnapshot;

pub use snapshot::WindowState;

pub use types::Divergence;

pub use types::DivergenceSeverity;

pub use types::MemoryDelta;

pub use types::RefHandle;

pub use types::VerificationResult;

pub use verification::AssertionCondition;

pub use verification::AssertionResult;

pub use verification::GhostCommand;

pub use verification::GhostCommandReport;

pub use verification::GhostSource;

pub use verification::IpcIntegrityReport;

pub use verification::SemanticAssertion;

pub use verification::check_ipc_integrity;

pub use verification::detect_ghost_commands;

pub use verification::evaluate_assertion;

pub use verification::verify_state;

Modules

codegen

Test code generation from recorded sessions.

error

Typed error enum for the victauri-core crate.

event

Application event types and a thread-safe ring-buffer event log.

recording

Time-travel recording: captures event streams and state checkpoints for replay and debugging.

registry

Thread-safe command registry with substring search and natural-language-to-command resolution.

snapshot

DOM snapshot and window state types for webview introspection.

types

Shared value types: ref handles, memory deltas, and verification results.

verification

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

Functions

acquire_lock

Acquire a mutex lock, recovering from poisoning with a warning.

acquire_read

Acquire a read lock on an RwLock, recovering from poisoning.

acquire_write

Acquire a write lock on an RwLock, recovering from poisoning.