Struct SlotDescriptor 

pub struct SlotDescriptor {
    pub key: SymbolKey,
    pub offset: SlotOffset,
    pub initial: Option<FourStateValue>,
    pub net_info: Option<NetLayout>,
}

One signal’s slot within a StateLayout (state.md Key Data Structures; ledger ST-141).

Reconciliation (ST-153): state.md’s {key, offset, initial, net_info} (adopted here) vs. runtime.md’s independently drafted {name, byte_offset, bit_width, is_4state, kind} are reconciled by composition, not duplication, not by picking one draft wholesale:

• name is available by composing key with crate::netlist::NetlistView::hierarchical_path — never stored a second time here, since a second copy could drift from the netlist track’s own name table.
• byte_offset/bit_width are offset.word_offset/offset.bit_width (already present on SlotOffset — ST-144 — no renaming needed).
• is_4state is dropped, not reconciled 1:1: 4-state-ness is a whole-arena BuildMode (Task 2/10), not a per-slot property, so runtime.md’s per-slot field would be redundant with the arena’s own mode.
• kind is net_info’s presence/absence (Some => net, None => variable/port) plus NetLayout::kind when present.

This is the one, documented SlotDescriptor shape this plan’s every later task consumes identically, and the one CODEGEN/RUNTIME are expected to consume once their own waves start.

initial is STATE’s own sv-lang-free FourStateValue, not sv_lang::OwnedSVInt: this type is consumed by vj-runtime, which must never reach the sv-lang family (ARCHITECTURE §3). The frontend-side layout builder converts constants with four_state_of_constant before storing them.

Fields

key: SymbolKey

offset: SlotOffset

initial: Option<FourStateValue>

net_info: Option<NetLayout>

Trait Implementations

impl Clone for SlotDescriptor

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SlotDescriptor

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

Formats the value using the given formatter.

impl PartialEq for SlotDescriptor

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SlotDescriptor