pub struct ResearchClaimV1 {
pub schema: String,
pub claim_id: String,
pub project_id: String,
pub run_id: String,
pub statement_digest: String,
pub status: ResearchClaimStatusV1,
pub support_digests: Vec<String>,
pub conflict_digests: Vec<String>,
pub gap_digest: Option<String>,
pub observed_at_ms: u64,
pub claim_digest: String,
}Expand description
One content-addressed claim in a research evidence fabric.
The statement itself is never stored as plaintext. Hosts retain claim text
behind statement_digest and attach support, conflict, or gap digests
before publication. Code validates identity and state shape only.
Fields§
§schema: String§claim_id: String§project_id: String§run_id: String§statement_digest: String§status: ResearchClaimStatusV1§support_digests: Vec<String>§conflict_digests: Vec<String>§gap_digest: Option<String>§observed_at_ms: u64§claim_digest: StringImplementations§
Source§impl ResearchClaimV1
impl ResearchClaimV1
pub fn new( claim_id: impl Into<String>, project_id: impl Into<String>, run_id: impl Into<String>, statement_digest: impl Into<String>, observed_at_ms: u64, ) -> Result<Self, ResearchContractError>
Sourcepub fn validate_for_run(
&self,
run: &ResearchRunV1,
) -> Result<(), ResearchContractError>
pub fn validate_for_run( &self, run: &ResearchRunV1, ) -> Result<(), ResearchContractError>
Bind this claim to the admitted research Run namespace.
pub fn mark_supported( self, support_digests: Vec<String>, ) -> Result<Self, ResearchContractError>
pub fn mark_conflicted( self, conflict_digests: Vec<String>, ) -> Result<Self, ResearchContractError>
pub fn mark_unsupported( self, gap_digest: impl Into<String>, ) -> Result<Self, ResearchContractError>
pub fn validate(&self) -> Result<(), ResearchContractError>
pub fn from_slice(bytes: &[u8]) -> Result<Self, ResearchContractError>
pub fn to_vec(&self) -> Result<Vec<u8>, ResearchContractError>
Trait Implementations§
Source§impl Clone for ResearchClaimV1
impl Clone for ResearchClaimV1
Source§fn clone(&self) -> ResearchClaimV1
fn clone(&self) -> ResearchClaimV1
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for ResearchClaimV1
impl Debug for ResearchClaimV1
Source§impl<'de> Deserialize<'de> for ResearchClaimV1
impl<'de> Deserialize<'de> for ResearchClaimV1
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl Eq for ResearchClaimV1
Source§impl PartialEq for ResearchClaimV1
impl PartialEq for ResearchClaimV1
Source§impl Serialize for ResearchClaimV1
impl Serialize for ResearchClaimV1
impl StructuralPartialEq for ResearchClaimV1
Auto Trait Implementations§
impl Freeze for ResearchClaimV1
impl RefUnwindSafe for ResearchClaimV1
impl Send for ResearchClaimV1
impl Sync for ResearchClaimV1
impl Unpin for ResearchClaimV1
impl UnsafeUnpin for ResearchClaimV1
impl UnwindSafe for ResearchClaimV1
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> FutureExt for T
impl<T> FutureExt for T
Source§fn with_context(self, otel_cx: Context) -> WithContext<Self> ⓘ
fn with_context(self, otel_cx: Context) -> WithContext<Self> ⓘ
Source§fn with_current_context(self) -> WithContext<Self> ⓘ
fn with_current_context(self) -> WithContext<Self> ⓘ
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more