pub struct ProofReceipt {
pub schema: String,
pub receipt_id: String,
pub redacted: bool,
pub redacted_payload_digest: Option<String>,
pub claim: LaneClaim,
pub worktree_identity: Option<WorktreeIdentity>,
pub summary: String,
pub commands: Vec<CommandProof>,
pub files: Vec<FileProof>,
pub outcomes: Vec<OutcomeProof>,
}Fields§
§schema: String§receipt_id: String§redacted: bool§redacted_payload_digest: Option<String>§claim: LaneClaim§worktree_identity: Option<WorktreeIdentity>§summary: String§commands: Vec<CommandProof>§files: Vec<FileProof>§outcomes: Vec<OutcomeProof>Implementations§
Source§impl ProofReceipt
impl ProofReceipt
pub fn new(claim: LaneClaim, summary: impl Into<String>) -> Self
pub fn with_command(self, command: CommandProof) -> Self
pub fn with_file(self, file: FileProof) -> Self
pub fn with_outcome(self, outcome: OutcomeProof) -> Self
pub fn with_worktree_identity(self, identity: WorktreeIdentity) -> Self
pub fn summary(&self) -> &str
pub fn blockers(&self) -> Vec<String>
pub fn validate(&self) -> Result<()>
pub fn is_verified(&self) -> bool
pub fn validate_for_completion_claim(&self, claim: &LaneClaim) -> Result<()>
pub fn validate_worktree_identity( &self, expected: &WorktreeIdentity, ) -> Result<()>
pub fn receipt_id(&self) -> Result<String>
pub fn render(&self, format: ReceiptFormat) -> Result<String>
Trait Implementations§
Source§impl Clone for ProofReceipt
impl Clone for ProofReceipt
Source§fn clone(&self) -> ProofReceipt
fn clone(&self) -> ProofReceipt
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 ProofReceipt
impl Debug for ProofReceipt
Source§impl<'de> Deserialize<'de> for ProofReceipt
impl<'de> Deserialize<'de> for ProofReceipt
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 ProofReceipt
Source§impl PartialEq for ProofReceipt
impl PartialEq for ProofReceipt
Source§fn eq(&self, other: &ProofReceipt) -> bool
fn eq(&self, other: &ProofReceipt) -> bool
Tests for
self and other values to be equal, and is used by ==.Source§impl Serialize for ProofReceipt
impl Serialize for ProofReceipt
impl StructuralPartialEq for ProofReceipt
Auto Trait Implementations§
impl Freeze for ProofReceipt
impl RefUnwindSafe for ProofReceipt
impl Send for ProofReceipt
impl Sync for ProofReceipt
impl Unpin for ProofReceipt
impl UnsafeUnpin for ProofReceipt
impl UnwindSafe for ProofReceipt
Blanket Implementations§
Source§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
Source§type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
Source§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
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> 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 moreSource§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
Source§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
Returns the layout of the type.
Source§impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
Source§unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
Returns whether the given value has been niched. Read more
Source§fn resolve_niched(out: Place<NichedOption<T, N1>>)
fn resolve_niched(out: Place<NichedOption<T, N1>>)
Writes data to
out indicating that a T is niched.