t27c PTX backend: ternary x int8 GEMM kernel emitted by a .t27 spec (int8 mma.sync), ptx-run glue

.trinity/seals/coder_igla-coder-ternary-gemm-ptx.json

@@ -0,0 +1,28 @@
+{
+  "built_by": "t27c-bootstrap@0.5.2+2406a4804",
+  "closure": [],
+  "config": "gen=c,rust,verilog,zig;tests=zig",
+  "gen_hash_c": "sha256:7ac537a19563bff12ac28e1a1669de534e956d202b1adf4dc30f2e94d9f96b47",
+  "gen_hash_rust": "sha256:df047da747040c5a33657f13557fee1d3469efc588c9771ab969b612ba14531e",
+  "gen_hash_verilog": "sha256:8f0b6dd58e6c0094639dbb97e1d308dd21c19936c66c6db3c9043ed17c03c3aa",
+  "gen_hash_zig": "sha256:fd96535350bba53d44225aa26dba60a9dcf420d3eb3eaf63565a07864cf688fb",
+  "module": "igla-coder-ternary-gemm-ptx",
+  "ring": 12,
+  "seal_schema": 2,
+  "sealed_at": "2026-10-18T11:38:54Z",
+  "sealed_by": "t27c-bootstrap@0.5.2",
+  "spec_hash": "sha256:2ead1690d3f7fdbff7c9ac62cc6f98a89bb210bf359dccc225d63f236ba03c98",
+  "spec_path": "specs/igla/coder/ternary_gemm_ptx.t27",
+  "tests": {
+    "failed": 0,
+    "failing": [],
+    "forced": false,
+    "passed": 21,
+    "total": 21,
+    "vacuous": 0
+  },
+  "toolchain": {
+    "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
+    "zig": "0.16.0"
+  }
+}

bootstrap/Cargo.toml

@@ -14,6 +14,9 @@ license = "MIT"
 # `audio` (Google Discovery Engine). Built without it, they still parse and
 # exit with a message that names this feature.
 net = ["dep:reqwest"]
+# `cuda`: `t27c ptx-run` (#10404) links libcuda and runs the kernel that
+# specs/igla/coder/ternary_gemm_ptx.t27 emits. Built without it, the subcommand does not exist.
+cuda = []
 # `server`: `t27c serve` (axum), with its sandbox proxy, Railway client and
 # JWT sandbox tokens. Implies `net`.
 server = [