Enum SiliconStatus 

pub enum SiliconStatus {
    CoreDatapath,
    Datapath,
    Sequencer,
    LoadStore,
    Coprocessor,
}

Where each ISA op lives in silicon — the FULL-SURFACE map. Every op has a home, so the WHOLE language is silicon-implementable: the realized reversible datapath, the ALU/value datapath (the build frontier), the instruction sequencer, the load/store + structured-memory unit, or an off-core coprocessor (runtime services). This is an EXHAUSTIVE match with no wildcard — a new Op cannot compile until it declares its silicon home, so the chip can never silently fail to cover a language feature. CoreDatapath is a monotone floor that RISES as datapath ops are realized in RTL and proven ≡ VM by our certified SAT (the silicon_op_support_ratchet lock).

Variants

CoreDatapath

Realized TODAY in rev_alu_core.v — the abelian charge-recovery reversible datapath (wire opcodes 0..4).

Datapath

A register/value ALU op (arithmetic, bitwise, comparison, moves, constants) — belongs on the core datapath; the frontier being grown from CoreDatapath op-by-op.

Sequencer

The instruction sequencer — branch / call / return / halt / closure-make; the fetch-decode-PC front-end.

LoadStore

The load/store + structured-memory unit — collections, structs, enums, tuples, indexing, slicing, iteration, globals.

Coprocessor

An off-core COPROCESSOR / runtime service — I/O, time, policy, CRDTs, concurrency, networking, kernel builtins.

Trait Implementations

impl Clone for SiliconStatus

fn clone(&self) -> SiliconStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SiliconStatus

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

Formats the value using the given formatter.

impl PartialEq for SiliconStatus

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for SiliconStatus

impl Eq for SiliconStatus

impl StructuralPartialEq for SiliconStatus