victauri-core 0.1.3

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
26
27
28
29
30
31
32
33

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

#[doc(hidden)]
pub extern crate inventory;

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

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