Struct ComputationEntry 

pub struct ComputationEntry {
    pub concept: String,
    pub path: String,
    pub runtime: Option<String>,
    pub source: &'static str,
    pub file: Option<String>,
    pub language: Option<String>,
    pub lines: Option<usize>,
    pub parameters: Vec<String>,
    pub has_executor: bool,
    pub has_attester: bool,
    pub redundant_inline: bool,
}

One concept’s Attested Computation (§10), as the bundle declares it.

Fields

concept: String

The concept carrying the contract.

path: String

The bundle-relative file it lives in.

runtime: Option<String>

§10’s runtime, which decides how everything else is interpreted.

None is a conformance error, not an absence — the spec makes it REQUIRED — and it is surfaced here rather than skipped so a listing and okf validate agree about what the bundle contains.

source: &'static str

inline, file or missing.

file: Option<String>

The file named by a computation: key, when source is file.

language: Option<String>

The fenced language of an inline block, when it declared one.

lines: Option<usize>

Lines of code in an inline block.

parameters: Vec<String>

The named holes an agent may fill.

has_executor: bool

Whether an executor is declared.

has_attester: bool

Whether an attester is declared.

redundant_inline: bool

true when the concept carries both an inline block and a computation: file key.

The spec asks for one or the other, so the two halves can disagree with nothing to arbitrate between them. Listed rather than merely counted because the fix is per concept.

Trait Implementations

impl Clone for ComputationEntry

fn clone(&self) -> ComputationEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ComputationEntry

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

Formats the value using the given formatter.

impl Serialize for ComputationEntry

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.