integration: complete GF-T train+infer stack (all 8 PRs, locally verified) (Refs #1764)

.trinity/seals/ternary_GftArgmax4.json

@@ -0,0 +1,11 @@
+{
+  "gen_hash_c": "sha256:8dba73ec299d75dd87de614ec9c713a566cf3dfb8f4b3b979b9c2d22ee94cbe2",
+  "gen_hash_rust": "sha256:f1d62eb7deb05fdaebdf5ca826fe8c76b7b25188feeae7847d215059e9c7e7eb",
+  "gen_hash_verilog": "sha256:1f0ca3c28dcb0770bc6d7300bd1b93b3bbb6ab1b7d6e3ca1169eb7ce63aa1ed2",
+  "gen_hash_zig": "sha256:458c9965906ebbafa52b0b7b91af7bed637ffec1f45e6aa582dfa79d73d1ab06",
+  "module": "GftArgmax4",
+  "ring": 12,
+  "sealed_at": "2026-08-06T15:36:28Z",
+  "spec_hash": "sha256:c208991377d1523087aed04969aac10ad910ef317e8bdb67bf5d290d70a4fff8",
+  "spec_path": "specs/ternary/gft_argmax4.t27"
+}

.trinity/seals/ternary_GftClassifier4.json

@@ -0,0 +1,11 @@
+{
+  "gen_hash_c": "sha256:f75066b2cb76484193fb3eb727c36b5da46cff7e0c65e5a21f59ede67157c3b3",
+  "gen_hash_rust": "sha256:2681704656cf2890e273ca94180dee8df83e0fb3dbe239d296c7f7e5bf289cfc",
+  "gen_hash_verilog": "sha256:6af26958c700eec02e2e8bf1b8b7a330e55b4facd278a714b0aa38aee0bdf526",
+  "gen_hash_zig": "sha256:2ef9d4c30371c2e5a79966a0741af216b7d7fe30c57f35c8a5bb16ba18fc97c1",
+  "module": "GftClassifier4",
+  "ring": 12,
+  "sealed_at": "2026-08-06T16:05:08Z",
+  "spec_hash": "sha256:1a29b2d28e2a54cbf689bccf038987c6f266fe2cc63cc7f6e32cab317f2ef2e5",
+  "spec_path": "specs/ternary/gft_classifier4.t27"
+}

.trinity/seals/ternary_GftExp2.json

@@ -0,0 +1,11 @@
+{
+  "gen_hash_c": "sha256:4622b231fae99d22258e7f918ffba79d6536a3f9cfc84be4893be06683ed046f",
+  "gen_hash_rust": "sha256:3ad0d2798dd31b1f2237ccf4d8e9bb58f98568f6aca15d8a70154eda53e089c9",
+  "gen_hash_verilog": "sha256:01824789d4eb57b9bea30b6e740dd785429487973e21aea9bd7d8f974d4ae908",
+  "gen_hash_zig": "sha256:86ba88aa4c6d45064d01d183a682f5a75bf59c7e1c6831fc09a0fe6f9ce4582d",
+  "module": "GftExp2",
+  "ring": 12,
+  "sealed_at": "2026-08-06T16:24:43Z",
+  "spec_hash": "sha256:52849a662623d3213c2b5f2c397c84a8f75045b867bb210ca9f322a4527d30f4",
+  "spec_path": "specs/ternary/gft_exp2.t27"
+}

.trinity/seals/ternary_GftLayer4.json

@@ -0,0 +1,11 @@
+{
+  "gen_hash_c": "sha256:9bf0c0acfa30c4015949c67d9941253db0bd67b7f02be99c62b8ff0d8e11d159",
+  "gen_hash_rust": "sha256:a6a71ad96385715538578c4bf47745459718194dc3201cc96dcb0aa0ceedd09d",
+  "gen_hash_verilog": "sha256:4329ebd770dae1cb20139e795371e43b07b6a7494fa0626f954a4927c7cfb661",
+  "gen_hash_zig": "sha256:0faf6c887362433f449fbb8ece58c1ab881fe120664641ccf844e753e0e12bcf",
+  "module": "GftLayer4",
+  "ring": 12,
+  "sealed_at": "2026-08-06T16:24:43Z",
+  "spec_hash": "sha256:b47247ab396672cad9a48e3429ab1ebb09a9b729e0ea8a7a761505b56914d456",
+  "spec_path": "specs/ternary/gft_layer4.t27"
+}

.trinity/seals/ternary_GftLog2.json

@@ -0,0 +1,11 @@
+{
+  "gen_hash_c": "sha256:75f978e51e511e9603498ceb9967300792995873b502aae0e9148b96b41327ae",
+  "gen_hash_rust": "sha256:687edcb0c65a118086b8da89051a8edc7a52b6891babcefb3bfb88f33f623ea0",
+  "gen_hash_verilog": "sha256:8c42bac8470c8b36d6546e9e95f2d503cf50d6d3a2d40bbdcf0cfaec6fb43685",
+  "gen_hash_zig": "sha256:139c0ab8aed1018c7c9e478eb7068cf63348eb93af0cb5fd1109490178c6549c",
+  "module": "GftLog2",
+  "ring": 12,
+  "sealed_at": "2026-08-06T16:54:52Z",
+  "spec_hash": "sha256:8eb008b250b93d3ec404e36be81a8e02c58a0495ba6f5e370e6f3f8361761644",
+  "spec_path": "specs/ternary/gft_log2.t27"
+}

.trinity/seals/ternary_GftNll.json

@@ -0,0 +1,11 @@
+{
+  "gen_hash_c": "sha256:4bef3df4b957ee8318850b0b83458701ac68e4935bdda7c57e4df4174cf529c7",
+  "gen_hash_rust": "sha256:bfd7eddf7132aa036fab731cf279f7eacbad0ecbc60e95296207167b2f1fecc4",
+  "gen_hash_verilog": "sha256:98fb953a267e09ad50d80f7c087d0125decca93a2e67508220f6baa123e25f33",
+  "gen_hash_zig": "sha256:847e7b618dd89cbbf71a89a21e59a042fc09d644ce92f5e5196dad7563a92c25",
+  "module": "GftNll",
+  "ring": 12,
+  "sealed_at": "2026-08-06T16:54:52Z",
+  "spec_hash": "sha256:17e2121ad5a409fe247a3829ab0c46936fd4e374eb6cccc220a6c45311ca419c",
+  "spec_path": "specs/ternary/gft_nll.t27"
+}

.trinity/seals/ternary_GftRecip.json

@@ -0,0 +1,11 @@
+{
+  "gen_hash_c": "sha256:0d3f730a503ad68b663b25c169f5ac98021918c50148556af410eba34ae15080",
+  "gen_hash_rust": "sha256:5d4388dfab08026b34849e8367916d69571cf0dfe989d0d21cf71c64d0ffe62f",
+  "gen_hash_verilog": "sha256:61ae0eefef219c08ae8f1eef692e6d0fef2a37117cd303b819d84b378557ec92",
+  "gen_hash_zig": "sha256:e0ec5bac7a5f1f6569509b5869fdc8ce47be0e885d971d70f25a2d5444749fa7",
+  "module": "GftRecip",
+  "ring": 12,
+  "sealed_at": "2026-08-06T16:37:21Z",
+  "spec_hash": "sha256:29996bb0f8c54f920745ae5b4990af7c35d7d88513b9682b4f59a30bb342ba31",
+  "spec_path": "specs/ternary/gft_recip.t27"
+}

.trinity/seals/ternary_GftRelu.json

@@ -0,0 +1,11 @@
+{
+  "gen_hash_c": "sha256:c09f4b25cf8dfa462a34b12b16d117959b8fa70f335ce046e336a8e872e3b8e1",
+  "gen_hash_rust": "sha256:1c12de52edfd6156aa394a37504c0d8bcb5b057cc627f7c0c7d04f6c3b178b27",
+  "gen_hash_verilog": "sha256:5aa7a9f7a56f760f45db0c8ef7146798e434a1efbb591f8b2f33d28bfbeac95b",
+  "gen_hash_zig": "sha256:e5a7071219a061da61b75ee861332a8d8de72d3789f96dcdb0dfba2df993a011",
+  "module": "GftRelu",
+  "ring": 12,
+  "sealed_at": "2026-08-06T17:38:06Z",
+  "spec_hash": "sha256:67977206cb649dcffe7703ea2aa8d330f67b0dce6b63c3e063d2c4ef5d1112e2",
+  "spec_path": "specs/ternary/gft_relu.t27"
+}

.trinity/seals/ternary_GftSgdStep.json

@@ -0,0 +1,11 @@
+{
+  "gen_hash_c": "sha256:5515d0ea89d404f1f3b4cf2a3cddff4696c15054a9805cdfd22714c42884e36b",
+  "gen_hash_rust": "sha256:5385f7872c428856cf7dd8404a3624ddbbb556fcea1829963ec4f6ea31e70b2a",
+  "gen_hash_verilog": "sha256:688a6551ea442bf503fcc1d7baa3a7532f2474d774b0b59142cc0d5cf9dd20fc",
+  "gen_hash_zig": "sha256:395ba1306710fa36de41e2e57910c0c0dd262040d49f69c5bb9719b99e85d576",
+  "module": "GftSgdStep",
+  "ring": 12,
+  "sealed_at": "2026-08-06T17:05:04Z",
+  "spec_hash": "sha256:21db83ed35b6b0627dc77997430eaf7739126aeff07ea0120b917421eda29108",
+  "spec_path": "specs/ternary/gft_sgd_step.t27"
+}

.trinity/seals/ternary_GftSoftmax4.json

@@ -0,0 +1,11 @@
+{
+  "gen_hash_c": "sha256:f7a75ffa403fe0cad383dc525ad321e8bc0eba1a4c1644afe4f0e16a2e2277af",
+  "gen_hash_rust": "sha256:9123d46a1037c9c4a731d18fb893a318d40874e533073e5423a1dba037ca19ff",
+  "gen_hash_verilog": "sha256:f3a3f96ebc601543d7357e8d8ddf719c170fb5022ed95dec174aa1324a372af8",
+  "gen_hash_zig": "sha256:50bd63072a2bf4d6ca27d413afbc08298be4b9bdf7cab039c90d275f795a2693",
+  "module": "GftSoftmax4",
+  "ring": 12,
+  "sealed_at": "2026-08-06T16:37:21Z",
+  "spec_hash": "sha256:8f1855265b9a598a2d50973226ebf78aa05d96c0a03d5873bf1391e54a2137d2",
+  "spec_path": "specs/ternary/gft_softmax4.t27"
+}

.trinity/seals/ternary_GftSoftmaxGrad4.json

@@ -0,0 +1,11 @@
+{
+  "gen_hash_c": "sha256:550d8c42b95aa1789c03b4a8a97d00bdd6cbf7f037d7222a499e0cff61b33731",
+  "gen_hash_rust": "sha256:1ae267a11f55f4d3dafb9e501de14d3864ad8858b1fcf34b29c88605660ca858",
+  "gen_hash_verilog": "sha256:3d06bd4749a33aa86a8ad7c12ca1d251e88fc191ebb0cd39151a5a306ed85872",
+  "gen_hash_zig": "sha256:c9fa5b6027ab4cf0dd6a0d3d81e9c056d713d508312502db127730d98f3a3265",
+  "module": "GftSoftmaxGrad4",
+  "ring": 12,
+  "sealed_at": "2026-08-06T17:01:15Z",
+  "spec_hash": "sha256:efb7ddf9728f24009405883d4cbd9d9f34d57e8206b36e114cda360bf5a54fd4",
+  "spec_path": "specs/ternary/gft_softmax_grad4.t27"
+}

bootstrap/tests/gft_argmax4.rs

@@ -0,0 +1,79 @@
+// ============================================================================
+// Check for the spec-first GF-T classification head (specs/ternary/gft_argmax4.t27):
+// four signed GF-T16 logits -> the index {0,1,2,3} of the maximum real value
+// (lowest index wins ties). Comparison is a total order on the GF-T encoding.
+// Bit-exact to the ideal exact-float argmax over 1000 vectors
+// (tests/gft_argmax4_vectors.txt).
+// ============================================================================
+
+use std::env;
+use std::fs;
+use std::path::PathBuf;
+use std::process::Command;
+
+fn t27c() -> &'static str { env!("CARGO_BIN_EXE_t27c") }
+fn spec_path() -> PathBuf {
+    PathBuf::from(env!("CARGO_MANIFEST_DIR")).join("..").join("specs").join("ternary").join("gft_argmax4.t27")
+}
+fn vectors_path() -> PathBuf {
+    PathBuf::from(env!("CARGO_MANIFEST_DIR")).join("tests").join("gft_argmax4_vectors.txt")
+}
+fn tool_available(t: &str) -> bool {
+    Command::new(t).arg("-V").output().map(|o| o.status.success()).unwrap_or(false)
+}
+
+#[test]
+fn spec_first_gft_argmax4_matches_oracle() {
+    let gen = Command::new(t27c()).arg("gen-verilog").arg(spec_path()).output().expect("gen-verilog");
+    assert!(gen.status.success(), "gen-verilog failed:\n{}", String::from_utf8_lossy(&gen.stderr));
+    let v = String::from_utf8_lossy(&gen.stdout).into_owned();
+    assert!(
+        v.contains("input  wire [31:0] x0") && v.contains("input  wire [31:0] x3")
+            && v.contains("output wire [7:0] result"),
+        "argmax4 missing logits -> index interface:\n{}", v
+    );
+
+    if !tool_available("iverilog") || !tool_available("vvp") {
+        eprintln!("SKIP: iverilog/vvp not on PATH; skipping argmax4 check");
+        return;
+    }
+
+    let vectors = fs::read_to_string(vectors_path()).expect("read vectors");
+    let n = vectors.lines().filter(|l| !l.trim().is_empty()).count();
+    let dir = env::temp_dir().join(format!("t27_am4_{}", std::process::id()));
+    let _ = fs::remove_dir_all(&dir);
+    fs::create_dir_all(&dir).unwrap();
+    fs::write(dir.join("spec.v"), &gen.stdout).unwrap();
+    fs::write(dir.join("vec.txt"), &vectors).unwrap();
+
+    let tb = format!(
+        r#"`timescale 1ns/1ps
+module tb;
+  reg [31:0] x0,x1,x2,x3; wire [7:0] y; integer fails,nn,fd,code; reg [7:0] exp;
+  GftArgmax4 dut(.clk(1'b0),.rst_n(1'b1),.en(1'b1),.x0(x0),.x1(x1),.x2(x2),.x3(x3),.ready(),.result(y));
+  initial begin
+    fails=0; nn=0; fd=$fopen("{}","r");
+    while(!$feof(fd)) begin code=$fscanf(fd,"%h %h %h %h %d\n",x0,x1,x2,x3,exp);
+      if(code==5) begin #1; nn=nn+1;
+        if(y!==exp) begin fails=fails+1; if(fails<=6)$display("FAIL y=%0d exp=%0d",y,exp); end
+      end end
+    $fclose(fd);
+    if(fails==0)$display("ALL_PASS %0d",nn); else $display("FAILED %0d/%0d",fails,nn);
+    $finish;
+  end
+endmodule
+"#,
+        dir.join("vec.txt").to_str().unwrap()
+    );
+    fs::write(dir.join("tb.v"), tb).unwrap();
+
+    let vvp = dir.join("sim.vvp");
+    let compile = Command::new("iverilog").args(["-g2012", "-o", vvp.to_str().unwrap()])
+        .arg(dir.join("spec.v")).arg(dir.join("tb.v")).output().unwrap();
+    assert!(compile.status.success(), "iverilog compile failed:\n{}", String::from_utf8_lossy(&compile.stderr));
+    let run = Command::new("vvp").arg(&vvp).output().unwrap();
+    let stdout = String::from_utf8_lossy(&run.stdout).into_owned();
+    let _ = fs::remove_dir_all(&dir);
+    assert!(stdout.contains(&format!("ALL_PASS {}", n)), "argmax4 differs from the oracle:\n{}", stdout);
+    assert!(!stdout.contains("FAIL"), "argmax4 mismatch:\n{}", stdout);
+}