Struct ClaimExtractor 

pub struct ClaimExtractor { /* private fields */ }

Implementations

impl ClaimExtractor

pub fn new(run_id: &str, session_id: Option<&str>) -> Self

pub fn verify_pathjail(&mut self, path: &str, jail_root: &Path)

pub fn verify_no_secrets_in_output(&mut self, output: &str)

pub fn verify_budget_compliance(&mut self)

pub fn verify_signatures_preserved( &mut self, original: &[String], compressed: &[String], )

pub fn verify_imports_preserved( &mut self, original_imports: &[String], compressed: &str, )

pub fn add_lean_proof( &mut self, id: &str, text: &str, kind: ClaimKind, theorem: &str, )

pub fn add_custom_claim(&mut self, claim: Claim)

pub fn finalize(self) -> ContextProofV2