pub struct VerificationEngine {
pub db: Connection,
}Fields§
§db: ConnectionImplementations§
Source§impl VerificationEngine
impl VerificationEngine
pub fn new(db: Connection) -> Self
Sourcepub fn verify_with_claimcheck(
&self,
session_id: &str,
transcript_path: &Path,
project_dir: &Path,
baseline: Option<&str>,
retest: bool,
test_cmd: Option<&str>,
) -> Result<VerificationReport, VerifyError>
pub fn verify_with_claimcheck( &self, session_id: &str, transcript_path: &Path, project_dir: &Path, baseline: Option<&str>, retest: bool, test_cmd: Option<&str>, ) -> Result<VerificationReport, VerifyError>
Verify a session using the real claimcheck binary when available.
transcript_path — path to a .jsonl or .md transcript file exported
from Claude Code, Cursor, or any supported tool.
project_dir — the project root claimcheck should check against.
baseline — git ref for the session window (e.g. “HEAD~3”, “main”).
retest — re-run tests to verify test claims.
Sourcepub fn verify_session(
&self,
session_id: &str,
claims: Vec<AgentClaim>,
) -> Result<VerificationReport, VerifyError>
pub fn verify_session( &self, session_id: &str, claims: Vec<AgentClaim>, ) -> Result<VerificationReport, VerifyError>
Fallback: verify using session_actions in SQLite (no claimcheck binary needed).
pub fn verify_claim( &self, claim: &AgentClaim, evidence: &SessionEvidence, ) -> ClaimVerdict
Auto Trait Implementations§
impl !Freeze for VerificationEngine
impl !RefUnwindSafe for VerificationEngine
impl Send for VerificationEngine
impl !Sync for VerificationEngine
impl Unpin for VerificationEngine
impl UnsafeUnpin for VerificationEngine
impl !UnwindSafe for VerificationEngine
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more