Struct DebugSnapshot 

pub struct DebugSnapshot {

    pub pc: usize,
    pub op_text: String,
    pub narration: String,
    pub fol: String,
    pub socratic: String,
    pub op_reads: Vec<u16>,
    pub op_writes: Option<u16>,
    pub state: String,
    pub error: Option<String>,
    pub step: usize,
    pub total_steps: usize,
    pub total_ops: usize,
    pub frames: Vec<DebugFrame>,
    pub heap: Vec<HeapObject>,
    pub globals: Vec<(String, String)>,
    pub output: Vec<String>,
    pub at_breakpoint: bool,
}

A complete picture of the paused VM for the debug drawer (serde for the UI).

Fields

pc: usize

The pc the program is stopped at (the op about to execute).

op_text: String

The disassembled current op (empty once finished).

narration: String

A plain-English description of the op about to run — the teaching narration (e.g. “add x(6) + y(7) → R4”). Empty for the long-tail ops.

fol: String

The first-order-logic semantics of the op about to run — the formal meaning of this step (e.g. sum = x + y, t ⟺ (i < n), ¬cond → goto 12). Empty for the long-tail ops.

socratic: String

A Socratic prompt for the step about to run — a guiding question that invites the learner to predict the outcome before stepping (“x (6) and y (7) — what is their sum?”). Empty for ops with nothing to anticipate (the UI then shows the plain narration). Matches the engine’s voice: concrete values, second person, —.

op_reads: Vec<u16>

Registers the current op reads / writes — drives the datapath animation.

op_writes: Option<u16>

state: String

"paused" | "done" | "blocked" | "error".

error: Option<String>

step: usize

Position in the execution history (0 = before any op) — the time-travel cursor.

total_steps: usize

Highest step explored so far — the scrubber’s maximum (>= step).

total_ops: usize

Number of instructions in the program (the bytecode tape length).

frames: Vec<DebugFrame>

Call frames, Main first and the current frame last.

heap: Vec<HeapObject>

Heap objects reachable from the current frame + globals (the Heap view).

globals: Vec<(String, String)>

Promoted globals (name → display value).

output: Vec<String>

Output emitted so far (the Show lines).

at_breakpoint: bool

Whether execution is currently stopped on a breakpoint.

Trait Implementations

impl Clone for DebugSnapshot

fn clone(&self) -> DebugSnapshot

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Serialize for DebugSnapshot

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

where __S: Serializer,

Serialize this value into the given Serde serializer.