victauri-core 0.1.0

Core types and protocol for Victauri — Verified Introspection & Control for Tauri
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

#![deny(unsafe_code)]
//! 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.

pub mod error;
pub mod event;
pub mod recording;
pub mod registry;
pub mod snapshot;
pub mod types;
pub mod verification;

pub use error::VictauriError;
pub use event::{AppEvent, EventLog, IpcCall, IpcResult};
pub use recording::{EventRecorder, RecordedEvent, RecordedSession, StateCheckpoint};
pub use registry::{CommandArg, CommandInfo, CommandRegistry, ScoredCommand};
pub use snapshot::{DomElement, DomSnapshot, WindowState};
pub use types::{MemoryDelta, RefHandle, VerificationResult};
pub use verification::{
    AssertionResult, GhostCommand, GhostCommandReport, GhostSource, IpcIntegrityReport,
    SemanticAssertion, check_ipc_integrity, detect_ghost_commands, evaluate_assertion,
    verify_state,
};