Struct LocalDatabase 

pub struct LocalDatabase<F: VfsFile> { /* private fields */ }

One exclusively locked database handle is the transaction/session boundary. Closing drops uncommitted state. Failed I/O fences the controller until reopen.

Implementations

impl<F: VfsFile> LocalDatabase<F>

pub fn vault_initialized(&self) -> Result<bool, LocalReadError>

Metadata only; no key derivation and no credential material returned.

pub fn vault_unlock( &mut self, password: &str, create: bool, ) -> Result<LocalVaultKey, LocalReadError>

Creation is explicit and only admitted outside a transaction. Existing files are authenticated first; wrong passwords never replace saved state.

pub fn vault_keys( &self, key: &LocalVaultKey, ) -> Result<Vec<String>, LocalReadError>

pub fn vault_reveal( &self, key: &LocalVaultKey, name: &str, ) -> Result<Option<String>, LocalReadError>

Plaintext is returned only through this explicit reveal operation.

pub fn vault_put( &mut self, key: &LocalVaultKey, name: &str, value: Option<&str>, ) -> Result<(), LocalReadError>

Mutations stage an encrypted native action alongside ordinary SQL. Errors abort an active transaction, just like failed SQL statements.

impl<F: VfsFile> LocalDatabase<F>

pub fn create( file: F, name: impl Into<PathBuf>, now_ms: u64, ) -> Result<Self, LocalReadError>

pub fn open(file: F, name: impl Into<PathBuf>) -> Result<Self, LocalReadError>

pub fn query( &mut self, sql: &str, now_ms: u64, ) -> Result<ScalarResult, LocalReadError>

pub fn check_healthy(&self) -> Result<(), LocalReadError>

Host-side read operations must honor the same interrupted-publication fence.

pub fn catalog(&self) -> Result<ScalarResult, LocalReadError>

Read actual persisted contracts without inferring schemas from row payloads.

pub fn read_query( &self, sql: &str, parameters: &[Value], scopes: &[ReadScope], ) -> Result<ScalarResult, LocalReadError>

Only SELECT is admitted; a caller cannot widen the host’s source-row scope.

pub fn query_with_params( &mut self, sql: &str, parameters: &[Value], now_ms: u64, ) -> Result<ScalarResult, LocalReadError>

pub fn into_inner(self) -> F