From 640f51be4dbf3a60870022266e7bcac4e2099b6e Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 20 Oct 2026 00:19:57 +0700 Subject: [PATCH] seals: ml_host_io_model gen_hash_verilog follows the gen-verilog assignment-target fix (Closes #11102) specs/ml/host_io_model.t27 is unchanged and gen_hash_zig, gen_hash_c, gen_hash_rust still MATCH; only the Verilog hash moved (#11094). t27c seal --save refuses on macOS for this spec (#11103), so the one value was set to what t27c computes; the recorded 3 of 3 test pass stays valid because the Zig it ran is byte-identical. t27c seal --verify prints no MISMATCH and tools/check_seal_currency.py exits 0. Co-Authored-By: Claude Sonnet 5.5 --- .trinity/seals/ml_host_io_model.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.trinity/seals/ml_host_io_model.json b/.trinity/seals/ml_host_io_model.json index 2860a8742e..8713175d78 100644 --- a/.trinity/seals/ml_host_io_model.json +++ b/.trinity/seals/ml_host_io_model.json @@ -9,7 +9,7 @@ "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:c7d7f02978f06fe0f7d5b11443d062446cc324b0aeb657676b05ba1a3cabb7df", "gen_hash_rust": "sha256:6b88e478f5aafaa3c52fb0d51cb6202bb05bd8418f506f94dacfb10d3a1380de", - "gen_hash_verilog": "sha256:7ee920eef94975c27ab1fac8cb56b0442333ccce189dee9f086818eb8db86f8e", + "gen_hash_verilog": "sha256:a8beaecd9847f48f06d18bd018afaed19333a16133ee88f74d5e9720df8bab5d", "gen_hash_zig": "sha256:97d7cbed838162509499ebd74a6fe6f1a3518415a62c720b16b3e8c224af4c90", "module": "host_io_model", "ring": 12,