Struct VerificationCapture 

pub struct VerificationCapture<'a> {
    pub log: File,
    pub path: &'a Path,
    pub run: VerificationRun,
    /* private fields */
}

Fields

log: File

path: &'a Path

run: VerificationRun

Implementations

impl VerificationCapture<'_>

pub fn config(&self) -> DetConfig

pub fn container(&self) -> ContainerScope

pub fn evidence_log_level(&self) -> LevelFilter

The actual admitted logging request, with the canonical native evidence floor and the existing explicit full-trace diagnostic policy.

pub fn run_in_container<G, F, P>( self, guards: G, resources: &str, work: F, ) -> Result<(PhysicalRun<P>, G), Error>

where G: 'static, F: FnMut(&mut G, VerificationCommand) -> Result<CapturedOutput<P>, Error> + 'static, P: Serialize + DeserializeOwned + 'static,

Consume this capture through the existing container/resource owner. The closure performs only physical work. Writer policy, forwarding, drain/flush, loss latches and comparison remain in the common library.

pub fn run_in_container_with_executable_overlay<G, F, P>( self, plan: &ExecutableOverlay, source: Option<&Path>, guards: G, resources: &str, work: F, ) -> Result<(PhysicalRun<P>, G), Error>

where G: 'static, F: FnMut(&mut G, VerificationCommand) -> Result<CapturedOutput<P>, Error> + 'static, P: Serialize + DeserializeOwned + 'static,

Same common capture, with the preprocessor’s validated readonly executable plan also applied to this physical run’s own container.

pub fn record_terminal_deadlock(&self) -> TerminalDeadlockGuard

Install the common terminal-deadlock report only for this capture’s actual run and report path. Keep the returned affine guard in scope until the physical run and its failure handling have completed.