Struct LoopLaneArtifact 

pub struct LoopLaneArtifact {
    pub placement_json: String,
    pub report_json: String,
    pub spatial_source: String,
    pub certificate_json: String,
    pub pretty: String,
    pub plasticine: PlasticineArtifact,
}

What the loop lane hands largo emit rdu: the Plasticine artifact of the first function on the RDU mesh descriptor, with its pieces rendered — the placement, the modeled report row, the Spatial source, the certificate summary bound to the certificate by its digest, and the text an engineer reads first.

Fields

placement_json: String

The checkerboard placement (pretty JSON).

report_json: String

The modeled report row: II, latencies, utilization, the VM anchor, the certificate row (pretty JSON).

spatial_source: String

Spatial source for the counted loop (a standalone SpatialApp).

certificate_json: String

The SAT certificate summary — kind, what it proves, steps, variables, width, rechecked, digest — or the reason it was omitted.

pretty: String

One screen of text: the lane, the placement, the II, the anchor, the certificate.

plasticine: PlasticineArtifact

The Plasticine artifact itself (the loop fabric, the metapipeline, the placement object, the certificate object, the regression-harness Spatial app).

Trait Implementations

impl Debug for LoopLaneArtifact

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

Formats the value using the given formatter.