Enum FabricTile 

pub enum FabricTile {
    Alu(AluOp),
    Cmp(CmpKind),
    Func(FuncUnit),
    Mem,
    Wire,
    Control,
}

The fabric tile an Op lowers to. A compute tile (Alu/Cmp/Func) has independently-fuzzable datapath semantics and MUST carry an eval == VM witness in the coverage lock; a structural tile (Wire/Control) is realized by the fabric framework itself (a route, a const, a controller edge) and is exercised by every fabric, so it carries no standalone fuzz witness.

Variants

Alu(AluOp)

Combinational arithmetic — an AluOp tile (alu.v).

Cmp(CmpKind)

Combinational comparison — folds into a Select predicate tile.

Func(FuncUnit)

Sequential functional unit — the shared_divider (division/remainder), start/done handshake.

Mem

Memory read — a scratchpad/heap read tile (the induction counter drives the address bus). Today: IterNext’s element read xs[iv] in a sequence loop (proven by fabric_mem_lock).

Wire

Plumbing — Move/LoadConst: realized as a wire / a baked constant, no compute tile.

Control

Control — Return/ReturnNothing: realized by the CFG controller (the fabric’s result edge).

Implementations

impl FabricTile

pub fn is_compute(&self) -> bool

A compute tile has independently-fuzzable datapath semantics (so it needs a witness); structural tiles (Wire/Control) are framework plumbing (exercised by every fabric, no standalone witness).

pub fn capability(&self) -> Option<Capability>

The capability a described target must provide to HOST this tile: the ALU op, the functional unit, the predicated mux a comparison folds into, the state plane for a memory tile. A structural tile (Wire/Control) is the fabric framework’s own and needs nothing from the descriptor.

Trait Implementations

impl Clone for FabricTile

fn clone(&self) -> FabricTile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FabricTile

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

Formats the value using the given formatter.

impl Copy for FabricTile