Module debug 

SoftGPU Phase 9 debugger and deterministic exploration.

Declared subset (honest):

• Versioned JSONL traces (softgpu-debug-trace-v1) with a hard event budget
• Breakpoints on SoftGPU global step and/or memory-access ops
• Wave/lane/register snapshots at stop; global memory peek by address
• Seeded schedule exploration (schedule_seed + wave_size candidates)
• Trace minimization to the earliest failing SoftGPU step
• Source mapping: only Program.source_provenance — never invents lines/files

Hostile trace input is rejected with validation/parse errors (no panic on junk).

Structs

DebugRunReport

DebugSession

DebugStop

ExploreReport

ExploreTrial

NoopObserver

StateSnapshot

TraceLog

Enums

Breakpoint

DebugAction

TraceEvent

Constants

DEBUG_TRACE_SCHEMA

DEFAULT_TRACE_EVENT_BUDGET

MAX_TRACE_BYTES

MAX_TRACE_LINE_BYTES

Traits

ExecObserver

Observer invoked from the SoftGPU interpreter (Phase 9).

Functions

explore_and_minimize_race

Bounded seeded search for a SoftGPU ordering/race defect, then minimize WG size.

inspect_sanitizer_finding

Replay a sanitizer finding: run FailFast and capture a debug stop at the finding step.

parse_trace_jsonl

Hostile-input JSONL reader for SoftGPU debug traces.

run_debug

Execute under SoftGPU debugger controls.