Part of #154.
Assigns the scaffold's Target constants for ticket 5 (grilling) via provisional ADR 0004 (docs/adr/0004-first-tier-candidates.md on vulkan/scaffold-7), on a non-final ticket (see the map's floating-point scope).
Candidates compiled in the scaffold (crates/virtio-accel-vulkan/src/lower.rs): FP32 base (VULKAN_TOSA_TARGET, TOSA 1.0 FP Level8K — universal) and provisional INT8 (VULKAN_TOSA_INTEGER_TARGET, TOSA 1.0 Integer — gated per device on shaderInt8 plus VK_KHR_shader_integer_dot_product for MATMUL). FP16 intentionally undeclared until per-device shaderFloat16 + VK_KHR_shader_float_controls probing carries the shared corpus's IDENTITY_EDGES_* (nonfinite, subnormal, signed-zero) per lane; FP8 rejected at admission.
The ticket stays open as design: float-controls variance across ICDs (lavapipe vs RADV vs ANV) and the FP16 gate remain to close before operator work in ticket 9.
Part of #154.
Assigns the scaffold's
Targetconstants for ticket 5 (grilling) via provisional ADR 0004 (docs/adr/0004-first-tier-candidates.mdonvulkan/scaffold-7), on a non-final ticket (see the map's floating-point scope).Candidates compiled in the scaffold (
crates/virtio-accel-vulkan/src/lower.rs): FP32 base (VULKAN_TOSA_TARGET, TOSA 1.0 FP Level8K — universal) and provisional INT8 (VULKAN_TOSA_INTEGER_TARGET, TOSA 1.0 Integer — gated per device onshaderInt8plusVK_KHR_shader_integer_dot_productfor MATMUL). FP16 intentionally undeclared until per-deviceshaderFloat16+VK_KHR_shader_float_controlsprobing carries the shared corpus'sIDENTITY_EDGES_*(nonfinite, subnormal, signed-zero) per lane; FP8 rejected at admission.The ticket stays open as design: float-controls variance across ICDs (lavapipe vs RADV vs ANV) and the FP16 gate remain to close before operator work in ticket 9.