softgpu 0.8.0

Developer-oriented GPU emulation, testing, debugging, and sanitization runtime
Documentation
{
  "schema_version": 1,
  "updated": "2026-09-16",
  "states": [
    "implemented-unverified",
    "verified-unit",
    "verified-integration",
    "hardware-differential",
    "experimental",
    "unsupported"
  ],
  "entries": [
    {
      "id": "host-macos-aarch64-rust-1.85",
      "category": "host-toolchain",
      "state": "verified-unit",
      "phase": 7
    },
    {
      "id": "host-linux-x86_64-rust-1.85-no-rocm",
      "category": "host-toolchain",
      "state": "verified-unit",
      "phase": 7
    },
    {
      "id": "host-linux-x86_64-rocm-hip-integration",
      "category": "host-toolchain",
      "state": "verified-integration",
      "phase": 5,
      "ci_policy": "required-job-rocm-integration",
      "notes": "Pinned ROCm 7.14.0 digest; Phase 5 code-object script"
    },
    {
      "id": "abi-hsa-init-shutdown-agents",
      "category": "abi",
      "state": "verified-unit",
      "phase": 1
    },
    {
      "id": "abi-hsa-fail-closed-stubs",
      "category": "abi",
      "state": "verified-unit",
      "phase": 1,
      "notes": "generated from pinned hsa.h + hsa_ext_amd.h"
    },
    {
      "id": "abi-hip-linked-load-proof",
      "category": "abi",
      "state": "verified-integration",
      "phase": 1
    },
    {
      "id": "abi-hip-linked-hsa-agent-discovery",
      "category": "abi",
      "state": "verified-integration",
      "phase": 3,
      "notes": "FEATURE=KERNEL_DISPATCH for queue + AQL intercept; not kernel execution"
    },
    {
      "id": "abi-advertised-agent-field-provenance",
      "category": "abi",
      "state": "verified-unit",
      "phase": 2
    },
    {
      "id": "abi-path-c-memory-regions-pools",
      "category": "abi",
      "state": "verified-unit",
      "phase": 3,
      "notes": "SoftGPU software host allocator; not R9700 VRAM"
    },
    {
      "id": "abi-signals-queue-observe",
      "category": "abi",
      "state": "verified-unit",
      "phase": 3,
      "notes": "observe-once packet validation; cancel-on-destroy waits"
    },
    {
      "id": "abi-phase3-charter-concurrency",
      "category": "abi",
      "state": "verified-unit",
      "phase": 3,
      "notes": "wraparound, stress, caps, docs/concurrency-phase3.md, Article 4"
    },
    {
      "id": "abi-aql-diagnostic-intercept",
      "category": "abi",
      "state": "verified-unit",
      "phase": 4,
      "notes": "validate/trace/diagnostic complete|reject; capture/replay; not kernel success"
    },
    {
      "id": "abi-amd-code-object-metadata",
      "category": "abi",
      "state": "verified-unit",
      "phase": 5,
      "notes": "NT_AMDGPU_METADATA gfx1201 subset; softgpu-synthetic fixtures; no ISA execution"
    },
    {
      "id": "functional-sfir-v1-cpu",
      "category": "execution",
      "state": "verified-unit",
      "phase": 6,
      "notes": "softgpu-sfir-v1 disclosed IR on CPU; not gfx1201 ISA; not HIP AQL kernel success"
    },
    {
      "id": "functional-sfir-v1-waves-group-barriers",
      "category": "execution",
      "state": "verified-unit",
      "phase": 7,
      "notes": "SoftGPU software waves/lanes, group memory, barrier segments, selected atomics; Article 8"
    },
    {
      "id": "functional-sfir-v1-sanitizer",
      "category": "execution",
      "state": "verified-unit",
      "phase": 8,
      "notes": "SoftGPU shadow + declared HB race/missing-barrier subset; softgpu-sanitizer-replay-v1; Article 9; not AMDGPU memory model"
    },
    {
      "id": "functional-sfir-v1-debugger",
      "category": "execution",
      "state": "verified-unit",
      "phase": 9,
      "notes": "softgpu-debug-trace-v1, breakpoints, snapshots, hostile reader, seeded explore/minimize; Article 10; no invented source maps"
    },
    {
      "id": "isa-gfx1201-salu-v1",
      "category": "execution",
      "state": "verified-unit",
      "phase": 10,
      "notes": "SALU foundation folded into softgpu-gfx1201-e2e-tiny-v1"
    },
    {
      "id": "isa-gfx1201-e2e-tiny-v1",
      "category": "execution",
      "state": "verified-unit",
      "phase": 11,
      "notes": "llvm-mc tiny_add; AQL softgpu_kernel_success when registered; Article 12; SoftGPU calling convention"
    },
    {
      "id": "isa-gfx1201-compute-v2",
      "category": "execution",
      "state": "verified-unit",
      "phase": "isa-v2",
      "notes": "SOPC/SOPK/branches, VOP1/VOPC, richer SOP/VOP2; builtins clamp64/select_gt50; nested e2e-tiny-v1"
    },
    {
      "id": "abi-hip-aql-kernel-success",
      "category": "abi",
      "state": "unsupported",
      "phase": 11,
      "notes": "Unrestricted HIP launch still unsupported; SoftGPU-registered ISA kernels may succeed"
    },
    {
      "id": "abi-hsa-executable-load",
      "category": "abi",
      "state": "verified-unit",
      "phase": "hip-load",
      "notes": "code_object_reader + executable load/freeze/symbol for SoftGPU gfx1201 agent .text; SoftGPU CC"
    },
    {
      "id": "isa-gfx1201-execution",
      "category": "execution",
      "state": "unsupported",
      "phase": 12,
      "notes": "Full gfx1201 coverage unsupported; Phase 11 is tiny subset only"
    },
    {
      "id": "profile-softgpu-generic-v0",
      "category": "profile",
      "state": "verified-unit",
      "phase": 0
    },
    {
      "id": "profile-amd-r9700-gfx1201-v0",
      "category": "profile",
      "state": "verified-unit",
      "phase": 0
    }
  ]
}