{
  "compiler": "ZCC v4.0.0 (ZKAEDI Bootstrap)",
  "default_target": "x86_64",
  "targets": [
    {
      "id": "x86_64",
      "name": "x86-64 System V AMD64",
      "flag": "--target=x86_64",
      "output_format": "GNU Assembler / Intel Syntax (.s)",
      "abi": "System V AMD64 ABI",
      "registers": [
        "rax",
        "rbx",
        "rcx",
        "rdx",
        "rsi",
        "rdi",
        "rbp",
        "rsp",
        "r8-r15",
        "xmm0-xmm15",
        "zmm0-zmm31"
      ],
      "calling_convention": "rdi, rsi, rdx, rcx, r8, r9 (args), rax/rdx (return)",
      "features": [
        "AVX-512",
        "AVX2",
        "FMA3",
        "Hardware CORDIC",
        "sNaN Poisoning"
      ],
      "status": "PRODUCTION_VERIFIED"
    },
    {
      "id": "riscv64",
      "name": "RISC-V 64-bit (RV64GC)",
      "flag": "--target=riscv64",
      "output_format": "RISC-V Assembly (.s)",
      "abi": "LP64D Standard Calling Convention",
      "registers": [
        "a0-a7",
        "t0-t6",
        "s0-s11",
        "ra",
        "sp",
        "gp",
        "tp",
        "ft0-ft11",
        "fa0-fa7"
      ],
      "calling_convention": "a0-a7 (args), a0-a1 (return)",
      "features": [
        "Standard RVI",
        "RVM Integer Multiply/Divide",
        "RVA Atomics",
        "RVC Compressed",
        "RVD Double-precision Float"
      ],
      "status": "PRODUCTION_VERIFIED"
    },
    {
      "id": "wasm32",
      "name": "WebAssembly (WASM32-WASI)",
      "flag": "--target=wasm32-wasi",
      "output_format": "WebAssembly Binary (.wasm)",
      "abi": "WASI Snapshot Preview 1",
      "features": [
        "Freestanding Linear Memory",
        "WASI Posix Imports",
        "Zero Server Sandbox",
        "Sub-millisecond JIT execution"
      ],
      "status": "PRODUCTION_VERIFIED"
    },
    {
      "id": "win64",
      "name": "Windows x64 Portable Executable (PE32+)",
      "flag": "--target=win64",
      "output_format": "Windows PE Executable (.exe)",
      "abi": "Microsoft x64 Calling Convention",
      "registers": [
        "rcx",
        "rdx",
        "r8",
        "r9 (args)",
        "rax (return)",
        "32-byte shadow space"
      ],
      "features": [
        "Direct MZ/PE Header Synthesis",
        "Import Address Table (.idata)",
        "Relocation Table (.reloc)"
      ],
      "status": "PRODUCTION_VERIFIED"
    }
  ],
  "optimization_levels": [
    {
      "level": "O0",
      "description": "No optimization, direct AST-to-assembly lowering"
    },
    {
      "level": "O1",
      "description": "Dead Code Elimination (DCE), Basic Constant Folding"
    },
    {
      "level": "O2",
      "description": "PGO basic-block reordering, SMT-verified peephole transforms, Loop unrolling"
    },
    {
      "level": "O3",
      "description": "Autonomous packed SIMD auto-vectorization (AVX2/AVX-512), Aggressive GVN"
    }
  ],
  "formal_verification": {
    "zk_r1cs": "Available on all targets (generates arithmetic constraint receipts)",
    "smt_superoptimizer": "Z3 QF_BV proved equivalence across peephole rules"
  }
}