Struct ContractWay 

pub struct ContractWay {
    pub opens: String,
    pub region: String,
    pub boxes: Vec<Region>,
    pub role: Option<String>,
    pub block: String,
}

A contingent edge’s way: the region that decides whether the edge is crossable, and which direction opening it moves in.

The dual of ContractBar, and the reason bar is not extended in place: an existing piece’s metadata says bar and keeps saying bar. The checker normalises the two into one prover; the document keeps both spellings, so nothing already written moves a byte.

Fields

opens: String

laid — the region is empty as built and opening fills it with block; or cleared — the region stands in block as built and opening voids it.

region: String

The region’s name, which is what content addresses.

boxes: Vec<Region>

The cells it covers.

role: Option<String>

The palette role the way is made of, in the author’s own vocabulary.

Provenance for a reader, and never a second authority: what an opening writes is block, because a role name means nothing outside the program that bound it. Recorded because a reviewer reading this document otherwise has no way back to the declaration — minecraft:oak_planks says what the cells become and "tread" says what the author called it.

Optional for the reason License::generated_by is: a role is a program’s vocabulary, so an expansion always has one and a hand-built or ingested piece — which names its blocks directly — has none at all. Writing an invented role there would be a fact about nothing.

ContractBar carries no such field, and deliberately: adding one would move the exported bytes of every piece that already declares a bar, which spec-0042 §2.3 forbids. The checker reads neither.

block: String

The block state the way is made of: what a laid way is filled with, and what a cleared way stands in.

Trait Implementations

impl Clone for ContractWay

fn clone(&self) -> ContractWay

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractWay

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ContractWay

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for ContractWay

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl PartialEq for ContractWay

fn eq(&self, other: &ContractWay) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for ContractWay

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ContractWay