softgpu-functional 0.8.0

//! SoftGPU Phase 6 functional execution (CPU) + Phase 7 GPU semantic machine
//! + Phase 8 sanitizers + Phase 9 debugger.
//!
//! **Research gate (locked):** SoftGPU Functional IR (`softgpu-sfir-v1`) — an
//! explicit, SoftGPU-owned IR. Phase 7 adds SoftGPU software waves/lanes, group
//! memory, barriers, structured divergence, and selected atomics. Phase 8 adds
//! a declared SoftGPU happens-before sanitizer subset. Phase 9 adds versioned
//! traces, breakpoints, inspection, and seeded schedule exploration. SoftGPU
//! does **not** claim gfx1201 ISA emulation.
//!
//! See `docs/functional-path.md` and Articles 7–10.

pub mod debug;
pub mod error;
pub mod exec;
pub mod ir;
pub mod kernels;
pub mod memory;
pub mod sanitize;

pub use debug::{
    explore_and_minimize_race, inspect_sanitizer_finding, parse_trace_jsonl, run_debug, Breakpoint,
    DebugAction, DebugRunReport, DebugSession, DebugStop, ExecObserver, ExploreReport,
    ExploreTrial, NoopObserver, StateSnapshot, TraceEvent, TraceLog, DEBUG_TRACE_SCHEMA,
    DEFAULT_TRACE_EVENT_BUDGET, MAX_TRACE_BYTES, MAX_TRACE_LINE_BYTES,
};
pub use error::{FunctionalError, Result};
pub use exec::{
    run, run_with_budget, run_with_config, run_with_config_sanitized, run_with_observer,
    run_with_sanitizer, ExecConfig, LaunchConfig, RunReport, SchedulePolicy, DEFAULT_WAVE_SIZE,
    FUNCTIONAL_MODE_MARKER, MAX_GROUP_BYTES,
};
pub use ir::{
    load_program_path, load_program_str, AddrSpace, AtomicOrder, AtomicScope, Op, Program, TypeId,
    SFIR_SCHEMA,
};
pub use memory::GlobalArena;
pub use sanitize::{
    Finding, FindingKind, ReplayBundle, SanitizeMode, SanitizeReport, Sanitizer, WorkItemId,
    MAX_SHADOW_BYTES, SANITIZER_REPLAY_SCHEMA,
};

/// Crate version.
pub const VERSION: &str = env!("CARGO_PKG_VERSION");