pub struct ResearchWorkflowStepV1 {
pub schema: String,
pub step_id: String,
pub project_id: String,
pub run_id: String,
pub workflow_digest: String,
pub step_identity_digest: String,
pub result_receipt_digest: Option<String>,
pub input_digests: Vec<String>,
pub output_artifact_digests: Vec<String>,
pub depends_on: Vec<String>,
pub step_digest: String,
}Expand description
One research-visible workflow step bound to digests and optional receipts.
Code does not schedule the step. It only records the exact identity and artifact/input digests so a later review finding can select a minimal re-run set without rewriting the parent evidence ledger.
Fields§
§schema: String§step_id: String§project_id: String§run_id: String§workflow_digest: String§step_identity_digest: String§result_receipt_digest: Option<String>§input_digests: Vec<String>§output_artifact_digests: Vec<String>§depends_on: Vec<String>§step_digest: StringImplementations§
Source§impl ResearchWorkflowStepV1
impl ResearchWorkflowStepV1
pub fn new( step_id: impl Into<String>, project_id: impl Into<String>, run_id: impl Into<String>, workflow_digest: impl Into<String>, step_identity_digest: impl Into<String>, input_digests: Vec<String>, output_artifact_digests: Vec<String>, depends_on: Vec<String>, ) -> Result<Self, ResearchContractError>
Sourcepub fn bind_result_receipt(
self,
receipt: &ExecutionResultReceiptV1,
) -> Result<Self, ResearchContractError>
pub fn bind_result_receipt( self, receipt: &ExecutionResultReceiptV1, ) -> Result<Self, ResearchContractError>
Bind the exact execution result receipt produced for this step.
The receipt identity digest must match the admitted step identity. The receipt evidence digest must appear in the step inputs so a reviewer cannot attach an unrelated terminal outcome.
pub fn validate_for_run( &self, run: &ResearchRunV1, ) -> Result<(), 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 ResearchWorkflowStepV1
impl Clone for ResearchWorkflowStepV1
Source§fn clone(&self) -> ResearchWorkflowStepV1
fn clone(&self) -> ResearchWorkflowStepV1
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 ResearchWorkflowStepV1
impl Debug for ResearchWorkflowStepV1
Source§impl<'de> Deserialize<'de> for ResearchWorkflowStepV1
impl<'de> Deserialize<'de> for ResearchWorkflowStepV1
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 ResearchWorkflowStepV1
Source§impl PartialEq for ResearchWorkflowStepV1
impl PartialEq for ResearchWorkflowStepV1
Source§impl Serialize for ResearchWorkflowStepV1
impl Serialize for ResearchWorkflowStepV1
impl StructuralPartialEq for ResearchWorkflowStepV1
Auto Trait Implementations§
impl Freeze for ResearchWorkflowStepV1
impl RefUnwindSafe for ResearchWorkflowStepV1
impl Send for ResearchWorkflowStepV1
impl Sync for ResearchWorkflowStepV1
impl Unpin for ResearchWorkflowStepV1
impl UnsafeUnpin for ResearchWorkflowStepV1
impl UnwindSafe for ResearchWorkflowStepV1
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