MCPcopy Index your code
hub / github.com/AI45Lab/Code / record_verification_reports

Method record_verification_reports

core/src/agent_api.rs:1109–1114  ·  view source on GitHub ↗

Add externally produced verification reports to this session's completion evidence.

(
        &self,
        reports: impl IntoIterator<Item = crate::verification::VerificationReport>,
    )

Source from the content-addressed store, hash-verified

1107
1108 /// Add externally produced verification reports to this session's completion evidence.
1109 pub fn record_verification_reports(
1110 &self,
1111 reports: impl IntoIterator<Item = crate::verification::VerificationReport>,
1112 ) {
1113 VerificationRuntime::from_session(self).record(reports);
1114 }
1115
1116 // ========================================================================
1117 // Hook API

Calls 1

recordMethod · 0.45