pub struct FindingKey {
pub binding_hash: String,
pub source_head: String,
}Expand description
A binding’s hash(D) plus the source_head a finding was observed at.
Only the binding_hash half keys the store: a changed hash(D) (a
binding-declaration edit) invalidates prior findings by construction —
segregated as superseded, never silently mixed into the current view (A3).
The source_head half is observation metadata, carried on every
finding so it stays self-describing about when it was observed — a moved
head does NOT invalidate a finding (findings survive head movement; see
the module docs).
The real key behind plan 03’s schema stub (which lived, IO-less, in
crate::binding).
Fields§
§binding_hash: StringThe binding’s hash(D) (lowercase hex SHA-256; see
crate::binding::hash_binding) — the store key.
source_head: StringThe composite source-head token the finding was observed at — the per-facet baseline tokens current at observation time. Metadata, not part of the store key.
Trait Implementations§
Source§impl Clone for FindingKey
impl Clone for FindingKey
Source§fn clone(&self) -> FindingKey
fn clone(&self) -> FindingKey
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for FindingKey
impl Debug for FindingKey
Source§impl<'de> Deserialize<'de> for FindingKey
impl<'de> Deserialize<'de> for FindingKey
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>,
impl Eq for FindingKey
Source§impl Ord for FindingKey
impl Ord for FindingKey
Source§fn cmp(&self, other: &FindingKey) -> Ordering
fn cmp(&self, other: &FindingKey) -> Ordering
1.21.0 (const: unstable) · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Source§impl PartialEq for FindingKey
impl PartialEq for FindingKey
Source§impl PartialOrd for FindingKey
impl PartialOrd for FindingKey
Source§impl Serialize for FindingKey
impl Serialize for FindingKey
impl StructuralPartialEq for FindingKey
Auto Trait Implementations§
impl Freeze for FindingKey
impl RefUnwindSafe for FindingKey
impl Send for FindingKey
impl Sync for FindingKey
impl Unpin for FindingKey
impl UnsafeUnpin for FindingKey
impl UnwindSafe for FindingKey
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be
downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further
downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastSend for T
impl<T> DowncastSend for T
Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
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
key and return true if they are equal.impl<T> Fruit for T
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> ⓘ
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> ⓘ
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