Skip to main content

victauri_core/
lib.rs

1#![deny(missing_docs)]
2//! Core types and protocol for Victauri — full-stack introspection for Tauri apps via MCP.
3//!
4//! This crate provides the shared type system used by all Victauri crates.
5//! It has no Tauri dependency and can be used independently for testing.
6
7#[doc(hidden)]
8pub extern crate inventory;
9
10pub mod codegen;
11pub mod error;
12pub mod event;
13pub mod recording;
14pub mod registry;
15pub mod snapshot;
16pub mod types;
17pub mod verification;
18
19pub use codegen::{CodegenOptions, generate_test, generate_test_default};
20pub use error::VictauriError;
21pub use event::{AppEvent, EventLog, InteractionKind, IpcCall, IpcResult};
22pub use recording::{EventRecorder, RecordedEvent, RecordedSession, StateCheckpoint};
23pub use registry::{
24    CommandArg, CommandInfo, CommandInfoFactory, CommandRegistry, ScoredCommand,
25    auto_discovered_commands,
26};
27pub use snapshot::{DomElement, DomSnapshot, WindowState};
28pub use types::{Divergence, DivergenceSeverity, MemoryDelta, RefHandle, VerificationResult};
29pub use verification::{
30    AssertionCondition, AssertionResult, GhostCommand, GhostCommandReport, GhostSource,
31    IpcIntegrityReport, SemanticAssertion, check_ipc_integrity, detect_ghost_commands,
32    evaluate_assertion, verify_state,
33};