Struct RecordedExecutionProtocolV1 

pub struct RecordedExecutionProtocolV1 {
    pub context_plan: ContextPlanProjectionV1,
    pub execution_plan: ExecutionPlanV1,
    pub invocation: EngineInvocationV1,
    pub observation: EngineObservationV1,
    pub receipt: ReceiptDocumentV1,
    pub published_receipt: PublishedCanonicalReceipt,
    pub accepted_outcome: AcceptedOutcomeV1,
    pub decision: DecisionRecordV1,
}

Authoritative artifacts produced by the owners of stages 5 through 13.

This is intentionally attach-only. A surface that only knows an HTTP status, process exit code, or MCP result must not fabricate protocol lineage.

Fields

context_plan: ContextPlanProjectionV1

execution_plan: ExecutionPlanV1

invocation: EngineInvocationV1

observation: EngineObservationV1

receipt: ReceiptDocumentV1

published_receipt: PublishedCanonicalReceipt

accepted_outcome: AcceptedOutcomeV1

decision: DecisionRecordV1

Implementations

impl RecordedExecutionProtocolV1

pub fn validated_for( &self, task: &TaskEnvelopeV1, receipt_authority: (&ReceiptSignerAdmissionV1, &VerifyingKey), decision_authority: (&DecisionSignerAdmissionV1, &VerifyingKey), actual_context: Option<&TaskAutopilotDecision>, verified_at: &UtcTimestamp, ) -> Result<ValidatedExecutionProtocolV1<'_>, ExecutionProtocolError>

Authenticate both purposes and lifecycle lineage before issuing a token.

The host must resolve the signer snapshot and public key from its trusted configuration, never from receipt-supplied key material. Admission must be valid both at issuance and at the host’s verification time. This authenticates the receipt signer’s claims, not independently signed evaluator artifacts.

pub fn validate_for( &self, task: &TaskEnvelopeV1, ) -> Result<(), ExecutionProtocolError>

Validate the complete Task -> Context -> Plan -> Invocation -> Receipt -> Outcome -> Decision chain without repairing or synthesizing any artifact. This structural check does not establish signer trust; use validated_for before admitting an outcome to learning.

Trait Implementations

impl Clone for RecordedExecutionProtocolV1

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RecordedExecutionProtocolV1

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

Formats the value using the given formatter.