Struct InferenceProof 

pub struct InferenceProof {
    pub model_commitment: ModelCommitment,
    pub input_hash: Hash256,
    pub output_hash: Hash256,
    pub proof: Hash256,
    pub verification_tag: Hash256,
    pub prompt_hash: Option<Hash256>,
    pub human_attestation: Option<HumanAttestation>,
    pub ai_delta: Option<AiDelta>,
    pub daubert_checklist: Option<DaubertChecklist>,
}

Proof that an inference was correctly executed.

The core fields (model_commitment, input_hash, output_hash, proof, verification_tag) are always present and backward-compatible with existing serialized proofs.

The provenance fields (prompt_hash, human_attestation, ai_delta, daubert_checklist) are Option<T> with serde(default) so that pre-existing serialized proofs continue to deserialize.

Fields

model_commitment: ModelCommitment

The model commitment.

input_hash: Hash256

Hash of the contextual input data (context window / user message).

output_hash: Hash256

Hash of the output data.

proof: Hash256

The cryptographic proof binding input -> model -> output.

verification_tag: Hash256

Auxiliary verification data.

prompt_hash: Option<Hash256>

Hash of the system/user prompt (distinct from input_hash).

Separating prompt from context allows courts to assess whether the AI was directed toward a particular outcome.

human_attestation: Option<HumanAttestation>

Signed human attestation: did the reviewer adopt, modify, or reject?

ai_delta: Option<AiDelta>

Divergence record comparing AI recommendation to final human decision.

daubert_checklist: Option<DaubertChecklist>

Daubert admissibility checklist for FRE 702 compliance.

Implementations

impl InferenceProof

pub fn daubert_admissibility_status(&self) -> DaubertAdmissibility

Return the fail-closed Daubert admissibility status for this proof.

Trait Implementations

impl Clone for InferenceProof

fn clone(&self) -> InferenceProof

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for InferenceProof

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for InferenceProof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for InferenceProof

impl PartialEq for InferenceProof

fn eq(&self, other: &InferenceProof) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for InferenceProof

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for InferenceProof