From c49df2fdcfbf572977b64cbed4a02057e6d71676 Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Sun, 18 Oct 2026 00:37:37 +0700 Subject: [PATCH] seals: reseal the four fpga/board specs #10014 edited (Closes #10052) #10014 changed specs/boards/xc7a100t_minimal.t27, specs/boards/wukong_v1.t27, specs/fpga/placement.t27 and specs/fpga/stdlib.t27 without resealing, so check_seal_currency reported 8 STALE seals and Spec Guards and Seal Coverage went red for every PR. Written by `t27c seal --save && tri seals sync-twins` on the Railway lab at d03afb0ee. No --update-baseline. Lab: STALE generated-code hash 0, check_seal_coverage OK. Co-Authored-By: Claude Opus 5.5 --- .trinity/seals/BoardMinimalXC7A100T.json | 15 +++++----- .trinity/seals/Placement.json | 20 +++++++++---- .trinity/seals/Stdlib.json | 15 +++++----- .../seals/boards_BoardMinimalXC7A100T.json | 21 ++++++------- .trinity/seals/boards_BoardWukongV1.json | 17 ++++++----- .trinity/seals/fpga_FpgaStdlib.json | 15 +++++----- .trinity/seals/fpga_Placement.json | 30 ++++++++++++++----- .trinity/seals/fpga_Stdlib.json | 17 ++++++----- 8 files changed, 90 insertions(+), 60 deletions(-) diff --git a/.trinity/seals/BoardMinimalXC7A100T.json b/.trinity/seals/BoardMinimalXC7A100T.json index 28b9762cae..7944f80ad2 100644 --- a/.trinity/seals/BoardMinimalXC7A100T.json +++ b/.trinity/seals/BoardMinimalXC7A100T.json @@ -11,23 +11,24 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:8569f541470d27d9ce77b32e00e3237da71fe4f4bc6ee09e4beda2551756ebf5", - "gen_hash_rust": "sha256:35c7ab12f38f2b2aeac2593210fdf77f685462753616632ca71e11843bd5757e", - "gen_hash_verilog": "sha256:1996c695ec008a7be8fbd5cc2528123b4832235aff5f1cad6ef0c9160ba0940a", - "gen_hash_zig": "sha256:6a2b198d22d1a7b74a09696f2da11064e412c0b50ead989f3cbb0bf19209baa7", + "gen_hash_c": "sha256:23df068337e16c5ed89546bcba56e811a54b133d9adefa8e8d2a4f1cca3a9bbd", + "gen_hash_rust": "sha256:25f7e4942a89fc7b6e0bd1d5e49c554bc6fad8643399b2af4e8199d1f90f9a91", + "gen_hash_verilog": "sha256:918ff4173fcd49ffe4e4fcbf1700d12e41cc0bf0b53633c701fb8e9e63ec0819", + "gen_hash_zig": "sha256:5dc6bce89d1f2f3f05ad8ae09391253a34dcd4e0be669fa93a723ae11cdf0b5b", "module": "BoardMinimalXC7A100T", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-10T12:06:24Z", + "sealed_at": "2026-10-17T17:35:47Z", "sealed_by": "t27c-bootstrap@0.5.2", - "spec_hash": "sha256:0a5a2fd4d418235a976748b76bf5d503b4a17e6b41e0c721fc696c17fad8d71d", + "spec_hash": "sha256:1b37e7200a6ed4a3e392602d35cd6e930bf701dbd005f99a63e070c9733b9fe1", "spec_path": "specs/boards/xc7a100t_minimal.t27", "tests": { "failed": 0, "failing": [], "forced": false, "passed": 23, - "total": 23 + "total": 23, + "vacuous": 0 }, "toolchain": { "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", diff --git a/.trinity/seals/Placement.json b/.trinity/seals/Placement.json index b8fc4310e6..a2bf609d18 100644 --- a/.trinity/seals/Placement.json +++ b/.trinity/seals/Placement.json @@ -1,11 +1,19 @@ { - "gen_hash_c": "sha256:d48c0334890830ff578ea566f00179ae8d904f942125cc78b44952d5446bd5e0", - "gen_hash_rust": "sha256:582cf2629659e62b1e6a0477a67f621979312f50c4982bf2ca03fffd2991e7c2", + "gen_hash_c": "sha256:2fe4718b46ffbad2b1b6da8eec9088803febae59669e75eb4cce244fee5931c7", + "gen_hash_rust": "sha256:af645de45c794d4bed2b8948b23626b7a47081df25409a751038296d8ddae9fa", "gen_hash_verilog": "sha256:345ecef4067933bd34f90c6e74272e7b0a6095f2be908606b44453c583897594", - "gen_hash_zig": "sha256:6530b1f1b5096c2fd8c4bff8da81b3d8b16c3bd84670af06a170d10f1ee59906", + "gen_hash_zig": "sha256:fca69cee79c95fd11276fcbb9bb8b287050260f875b0facfc8c8823e4af390a3", "module": "Placement", "ring": 12, - "sealed_at": "2026-10-02T11:02:47Z", - "spec_hash": "sha256:24de42edd04711a0186b0c576e82e398d0b41ba6dcbd902521459d6b3e917ad7", - "spec_path": "specs/fpga/placement.t27" + "sealed_at": "2026-10-17T17:35:47Z", + "spec_hash": "sha256:a86da34f377a7f949b71e98e993e6f3c238a2677bdfaa71651e8b7a2e1c0fe67", + "spec_path": "specs/fpga/placement.t27", + "tests": { + "failed": 0, + "failing": [], + "forced": false, + "passed": 14, + "total": 14, + "vacuous": 0 + } } \ No newline at end of file diff --git a/.trinity/seals/Stdlib.json b/.trinity/seals/Stdlib.json index 108a8ab897..0c90b49ff1 100644 --- a/.trinity/seals/Stdlib.json +++ b/.trinity/seals/Stdlib.json @@ -2,23 +2,24 @@ "built_by": "t27c-bootstrap@0.5.2+0d573722c", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:40817ee4b42ac5b882da76be0c8d210a06f5c86d894103bddd051afe7afd2a8a", - "gen_hash_rust": "sha256:118667fa0da22d4375f83ed803b097b4ce33b6e3e0574c79609998fbef4f3a3f", - "gen_hash_verilog": "sha256:6eb37271d46236f73d0ad37ccae34ec1aafd808093bf4a68dc17fcd05977d3c7", - "gen_hash_zig": "sha256:99eee2f4f0af6652443127fcd49ce1624528daa7f58c1c156d28b8d35d242a01", + "gen_hash_c": "sha256:f0222269dd1567952c8d98fc3a065e06435a20c1c213442c21841bf21ae85755", + "gen_hash_rust": "sha256:07ccce1bb80f1d96238834365bc70740097e85b1a385db213dcfe08cebee2eef", + "gen_hash_verilog": "sha256:fd02d6df901e48d374a9ddaa761efee3138503b19ea488f0224c8c6aac5c8057", + "gen_hash_zig": "sha256:d07fa7236f6def5ea91b20e0d8612d74c5d7ce741128063181ec8b3209a94dee", "module": "Stdlib", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T20:43:31Z", + "sealed_at": "2026-10-17T17:35:48Z", "sealed_by": "t27c-bootstrap@0.5.2", - "spec_hash": "sha256:52736507c4760db8b38d73a53705947930521587ea2203c25b60d9c13da41a91", + "spec_hash": "sha256:0281d3e86502a39b77e5bef580913e64a66aa5a868e94df92e62614b3d6af4d5", "spec_path": "specs/fpga/stdlib.t27", "tests": { "failed": 0, "failing": [], "forced": false, "passed": 17, - "total": 17 + "total": 17, + "vacuous": 0 }, "toolchain": { "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", diff --git a/.trinity/seals/boards_BoardMinimalXC7A100T.json b/.trinity/seals/boards_BoardMinimalXC7A100T.json index 28b9762cae..de395f28c3 100644 --- a/.trinity/seals/boards_BoardMinimalXC7A100T.json +++ b/.trinity/seals/boards_BoardMinimalXC7A100T.json @@ -1,33 +1,34 @@ { - "built_by": "t27c-bootstrap@0.5.2+94a5d5c02", + "built_by": "t27c-bootstrap@0.5.2+d03afb0", "closure": [ { "spec": "specs/base/ops.t27", - "spec_hash": "sha256:ef25280bdd4c1cc8dac5b84533ba73f686c70dcdc5797828490eab07465e9c23" + "spec_hash": "sha256:8e6c6168f64ff2d654a3b276d7f3ceee4fbd408d334590ce03467b1f3aaa68b3" }, { "spec": "specs/base/types.t27", - "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + "spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2" } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:8569f541470d27d9ce77b32e00e3237da71fe4f4bc6ee09e4beda2551756ebf5", - "gen_hash_rust": "sha256:35c7ab12f38f2b2aeac2593210fdf77f685462753616632ca71e11843bd5757e", - "gen_hash_verilog": "sha256:1996c695ec008a7be8fbd5cc2528123b4832235aff5f1cad6ef0c9160ba0940a", - "gen_hash_zig": "sha256:6a2b198d22d1a7b74a09696f2da11064e412c0b50ead989f3cbb0bf19209baa7", + "gen_hash_c": "sha256:23df068337e16c5ed89546bcba56e811a54b133d9adefa8e8d2a4f1cca3a9bbd", + "gen_hash_rust": "sha256:25f7e4942a89fc7b6e0bd1d5e49c554bc6fad8643399b2af4e8199d1f90f9a91", + "gen_hash_verilog": "sha256:918ff4173fcd49ffe4e4fcbf1700d12e41cc0bf0b53633c701fb8e9e63ec0819", + "gen_hash_zig": "sha256:5dc6bce89d1f2f3f05ad8ae09391253a34dcd4e0be669fa93a723ae11cdf0b5b", "module": "BoardMinimalXC7A100T", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-10T12:06:24Z", + "sealed_at": "2026-10-17T17:35:47Z", "sealed_by": "t27c-bootstrap@0.5.2", - "spec_hash": "sha256:0a5a2fd4d418235a976748b76bf5d503b4a17e6b41e0c721fc696c17fad8d71d", + "spec_hash": "sha256:1b37e7200a6ed4a3e392602d35cd6e930bf701dbd005f99a63e070c9733b9fe1", "spec_path": "specs/boards/xc7a100t_minimal.t27", "tests": { "failed": 0, "failing": [], "forced": false, "passed": 23, - "total": 23 + "total": 23, + "vacuous": 0 }, "toolchain": { "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", diff --git a/.trinity/seals/boards_BoardWukongV1.json b/.trinity/seals/boards_BoardWukongV1.json index 01aaeb841c..6fe804120b 100644 --- a/.trinity/seals/boards_BoardWukongV1.json +++ b/.trinity/seals/boards_BoardWukongV1.json @@ -1,24 +1,25 @@ { - "built_by": "t27c-bootstrap@0.5.2+0d573722c", + "built_by": "t27c-bootstrap@0.5.2+d03afb0", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:32cd2904223dc29151a9073f54f73d06bf390117b311571f576fd488f9f834d5", - "gen_hash_rust": "sha256:88ee5d1cfd4d90fcd923abe89a9ecb78800e1fe584cab84136455f25748017eb", - "gen_hash_verilog": "sha256:c4e31c649ed8bd6636883c5d6279fa42c3b846586937e244105fdf7da86a45ed", - "gen_hash_zig": "sha256:cac87fe9d4e542c0482634c17109233fb3d372f6aaa5f495163b86d4b59050ed", + "gen_hash_c": "sha256:fdf338cd2c2ace5f67c4d5df8d078204661e724b21e8bd2fa3f42f5f37f94924", + "gen_hash_rust": "sha256:072fe85c640230263d9636873793494b841ea1ab4b22a7b137fd05a4f06f6967", + "gen_hash_verilog": "sha256:f302fba399df9badb2a16f6fdcf1e9765fa56f01f5bc9831dca0525789b257b7", + "gen_hash_zig": "sha256:31099ae28c59ff43660ee715d13b4de33ecf23d1090bbc107207576b0cb032ea", "module": "BoardWukongV1", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T20:26:41Z", + "sealed_at": "2026-10-17T17:35:47Z", "sealed_by": "t27c-bootstrap@0.5.2", - "spec_hash": "sha256:83cfb3b98f1e924dd17c01280857a659330cfee574d96091145ebeaf46cc3576", + "spec_hash": "sha256:9283b94031bdb9d35d8ccd6ae371a35b1c18742d5b2a2735d14b05491e583d1b", "spec_path": "specs/boards/wukong_v1.t27", "tests": { "failed": 0, "failing": [], "forced": false, "passed": 15, - "total": 15 + "total": 15, + "vacuous": 0 }, "toolchain": { "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", diff --git a/.trinity/seals/fpga_FpgaStdlib.json b/.trinity/seals/fpga_FpgaStdlib.json index 108a8ab897..0c90b49ff1 100644 --- a/.trinity/seals/fpga_FpgaStdlib.json +++ b/.trinity/seals/fpga_FpgaStdlib.json @@ -2,23 +2,24 @@ "built_by": "t27c-bootstrap@0.5.2+0d573722c", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:40817ee4b42ac5b882da76be0c8d210a06f5c86d894103bddd051afe7afd2a8a", - "gen_hash_rust": "sha256:118667fa0da22d4375f83ed803b097b4ce33b6e3e0574c79609998fbef4f3a3f", - "gen_hash_verilog": "sha256:6eb37271d46236f73d0ad37ccae34ec1aafd808093bf4a68dc17fcd05977d3c7", - "gen_hash_zig": "sha256:99eee2f4f0af6652443127fcd49ce1624528daa7f58c1c156d28b8d35d242a01", + "gen_hash_c": "sha256:f0222269dd1567952c8d98fc3a065e06435a20c1c213442c21841bf21ae85755", + "gen_hash_rust": "sha256:07ccce1bb80f1d96238834365bc70740097e85b1a385db213dcfe08cebee2eef", + "gen_hash_verilog": "sha256:fd02d6df901e48d374a9ddaa761efee3138503b19ea488f0224c8c6aac5c8057", + "gen_hash_zig": "sha256:d07fa7236f6def5ea91b20e0d8612d74c5d7ce741128063181ec8b3209a94dee", "module": "Stdlib", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T20:43:31Z", + "sealed_at": "2026-10-17T17:35:48Z", "sealed_by": "t27c-bootstrap@0.5.2", - "spec_hash": "sha256:52736507c4760db8b38d73a53705947930521587ea2203c25b60d9c13da41a91", + "spec_hash": "sha256:0281d3e86502a39b77e5bef580913e64a66aa5a868e94df92e62614b3d6af4d5", "spec_path": "specs/fpga/stdlib.t27", "tests": { "failed": 0, "failing": [], "forced": false, "passed": 17, - "total": 17 + "total": 17, + "vacuous": 0 }, "toolchain": { "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", diff --git a/.trinity/seals/fpga_Placement.json b/.trinity/seals/fpga_Placement.json index 129234aedb..85fad5cdd5 100644 --- a/.trinity/seals/fpga_Placement.json +++ b/.trinity/seals/fpga_Placement.json @@ -1,12 +1,28 @@ { - "gen_hash_c": "sha256:d48c0334890830ff578ea566f00179ae8d904f942125cc78b44952d5446bd5e0", - "gen_hash_rust": "sha256:582cf2629659e62b1e6a0477a67f621979312f50c4982bf2ca03fffd2991e7c2", + "built_by": "t27c-bootstrap@0.5.2+d03afb0", + "closure": [], + "config": "gen=c,rust,verilog,zig;tests=zig", + "gen_hash_c": "sha256:2fe4718b46ffbad2b1b6da8eec9088803febae59669e75eb4cce244fee5931c7", + "gen_hash_rust": "sha256:af645de45c794d4bed2b8948b23626b7a47081df25409a751038296d8ddae9fa", "gen_hash_verilog": "sha256:345ecef4067933bd34f90c6e74272e7b0a6095f2be908606b44453c583897594", - "gen_hash_zig": "sha256:6530b1f1b5096c2fd8c4bff8da81b3d8b16c3bd84670af06a170d10f1ee59906", + "gen_hash_zig": "sha256:fca69cee79c95fd11276fcbb9bb8b287050260f875b0facfc8c8823e4af390a3", "module": "Placement", "ring": 12, - "sealed_at": "2026-10-02T11:02:47Z", - "sealed_by": "t27c-bootstrap@0.4.0", - "spec_hash": "sha256:24de42edd04711a0186b0c576e82e398d0b41ba6dcbd902521459d6b3e917ad7", - "spec_path": "specs/fpga/placement.t27" + "seal_schema": 2, + "sealed_at": "2026-10-17T17:35:47Z", + "sealed_by": "t27c-bootstrap@0.5.2", + "spec_hash": "sha256:a86da34f377a7f949b71e98e993e6f3c238a2677bdfaa71651e8b7a2e1c0fe67", + "spec_path": "specs/fpga/placement.t27", + "tests": { + "failed": 0, + "failing": [], + "forced": false, + "passed": 14, + "total": 14, + "vacuous": 0 + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" + } } \ No newline at end of file diff --git a/.trinity/seals/fpga_Stdlib.json b/.trinity/seals/fpga_Stdlib.json index 108a8ab897..750da1d635 100644 --- a/.trinity/seals/fpga_Stdlib.json +++ b/.trinity/seals/fpga_Stdlib.json @@ -1,24 +1,25 @@ { - "built_by": "t27c-bootstrap@0.5.2+0d573722c", + "built_by": "t27c-bootstrap@0.5.2+d03afb0", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:40817ee4b42ac5b882da76be0c8d210a06f5c86d894103bddd051afe7afd2a8a", - "gen_hash_rust": "sha256:118667fa0da22d4375f83ed803b097b4ce33b6e3e0574c79609998fbef4f3a3f", - "gen_hash_verilog": "sha256:6eb37271d46236f73d0ad37ccae34ec1aafd808093bf4a68dc17fcd05977d3c7", - "gen_hash_zig": "sha256:99eee2f4f0af6652443127fcd49ce1624528daa7f58c1c156d28b8d35d242a01", + "gen_hash_c": "sha256:f0222269dd1567952c8d98fc3a065e06435a20c1c213442c21841bf21ae85755", + "gen_hash_rust": "sha256:07ccce1bb80f1d96238834365bc70740097e85b1a385db213dcfe08cebee2eef", + "gen_hash_verilog": "sha256:fd02d6df901e48d374a9ddaa761efee3138503b19ea488f0224c8c6aac5c8057", + "gen_hash_zig": "sha256:d07fa7236f6def5ea91b20e0d8612d74c5d7ce741128063181ec8b3209a94dee", "module": "Stdlib", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T20:43:31Z", + "sealed_at": "2026-10-17T17:35:48Z", "sealed_by": "t27c-bootstrap@0.5.2", - "spec_hash": "sha256:52736507c4760db8b38d73a53705947930521587ea2203c25b60d9c13da41a91", + "spec_hash": "sha256:0281d3e86502a39b77e5bef580913e64a66aa5a868e94df92e62614b3d6af4d5", "spec_path": "specs/fpga/stdlib.t27", "tests": { "failed": 0, "failing": [], "forced": false, "passed": 17, - "total": 17 + "total": 17, + "vacuous": 0 }, "toolchain": { "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",