diff --git a/.trinity/seals/Adagrad.json b/.trinity/seals/Adagrad.json index 5804f7529e..28f9d39de2 100644 --- a/.trinity/seals/Adagrad.json +++ b/.trinity/seals/Adagrad.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:132ac5c72a1bca6b0590f681175ef120f50e6f666eb741bc6edc1aaff1e33edf", + "gen_hash_c": "sha256:61ad7a562844c65586b17106ec17522ac51836b7ac40e98f724d3c1383079754", "gen_hash_rust": "sha256:dc0d17bd80e2a026d4172f563d3930163a9bbb704ce308c0700e000ecc1f0aa9", "gen_hash_verilog": "sha256:1884cce26b30c8ad1d5906cd32469a0fc9956db247c583db5728fd62ff7544dc", "gen_hash_zig": "sha256:27e5a40004a80d56ca854fa3d1ae0f6eb4d064844f515c9f9e35aa458ecffa4f", "module": "Adagrad", "ring": 12, - "sealed_at": "2026-10-11T15:13:26Z", + "sealed_at": "2026-10-20T00:40:36Z", "spec_hash": "sha256:08a6128c1d33dd6fee7e3e3b87f411a3996d11c1b42bacda5cc29318b6bb344e", "spec_path": "specs/ml/optimizer/adagrad.t27", "tests": { diff --git a/.trinity/seals/Attention.json b/.trinity/seals/Attention.json index ab24c669fc..41304f7ebb 100644 --- a/.trinity/seals/Attention.json +++ b/.trinity/seals/Attention.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:d6db1c1c53f0f2cc7aa5eb55ebd776cdca18369be6b57fe36be2914ca652b9ed", + "gen_hash_c": "sha256:e3cfc725e4f5a1190bed8689ce698043dae4ca0b1a8bc63d4c5a2ce603a268bb", "gen_hash_rust": "sha256:af7970ed6dbc3b992a758768233444f25f363e6e98a07bb9512b68694f27dccc", "gen_hash_verilog": "sha256:5e200cbd4aef1c0a9ef65b6312ecabc20b5cd44943b5bec1afbb68c0f47f70e9", "gen_hash_zig": "sha256:4ce11a29a74f8bd70ceaaa2aa6314e0b9c3312ca025f6b00cd13cbe31556dca9", "module": "Attention", "ring": 12, - "sealed_at": "2026-10-11T10:43:20Z", + "sealed_at": "2026-10-20T00:40:42Z", "spec_hash": "sha256:f3f3c3bf7bd4d4d79173dc34896aa185857d5abc3e8684c3bfcd949547c9b591", "spec_path": "specs/ml/recurrent/attention_mechanism.t27", "tests": { diff --git a/.trinity/seals/Avgpool2d.json b/.trinity/seals/Avgpool2d.json index a72dc548b6..84a2635a34 100644 --- a/.trinity/seals/Avgpool2d.json +++ b/.trinity/seals/Avgpool2d.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:39484e92dde59ea6003aa29579c663be1f2a2fff26f51d89c03e6d03600233c3", + "gen_hash_c": "sha256:b537909c736ba60508fbc2bfdf0adf3c8dc23ab3a092122a1956df209f101c18", "gen_hash_rust": "sha256:3b8c5c3ca2e5d00307fc6e789685d748679e19ea4853f869a5561fd7ea48eead", "gen_hash_verilog": "sha256:e9da7a31671ad9ba7d84185899d5ac9ac90aa95a3ee48ada52ecc2dc06a81b78", "gen_hash_zig": "sha256:dbc2115c3d9d28e4bcabc275ab2949a604a4952c387324ac41cb944e463e7ac7", "module": "Avgpool2d", "ring": 12, - "sealed_at": "2026-10-11T10:43:18Z", + "sealed_at": "2026-10-20T00:40:12Z", "spec_hash": "sha256:de15759fd183094a4dfdff2ea074dfaa79607bc31c789347eed1df151639e9fb", "spec_path": "specs/ml/layers/avgpool2d_layer.t27", "tests": { diff --git a/.trinity/seals/Batchnorm.json b/.trinity/seals/Batchnorm.json index ca963b3146..fae26b2f94 100644 --- a/.trinity/seals/Batchnorm.json +++ b/.trinity/seals/Batchnorm.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:3fb4de44023edc3ae227ef2379e6fbb9d6596d7cdd792e64f02550994d2b594b", + "gen_hash_c": "sha256:f1b24f61462f6a03db80305b0658df369861523e246b81264601d993d83c340f", "gen_hash_rust": "sha256:5286a92caddb9c43d9de0d79978273dc00cf667bf7ef9507eee02085ce65fe8c", "gen_hash_verilog": "sha256:ed0839202726940807b33f102c9f70b5b7b72e059af38cab494b4ccf8616834a", "gen_hash_zig": "sha256:87ae2270ce9ead3e2ec148c722ddbbab7ddee08744a45fbc7e1c4c96653c51ef", "module": "Batchnorm", "ring": 12, - "sealed_at": "2026-10-11T10:43:18Z", + "sealed_at": "2026-10-20T00:40:14Z", "spec_hash": "sha256:479b0fe4e0c7103ae57150096356ef13b6bdc796f6189d8cb563e4d26c115254", "spec_path": "specs/ml/layers/batchnorm_layer.t27", "tests": { diff --git a/.trinity/seals/Bilstm.json b/.trinity/seals/Bilstm.json index 14e39abb81..caa256e593 100644 --- a/.trinity/seals/Bilstm.json +++ b/.trinity/seals/Bilstm.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:36d162b43b399a65f7f81412ca08419a9b3874245289988c78222cac4e8db0f0", + "gen_hash_c": "sha256:ea1ee59568137ba4dd3ea54c8a11c24234a7906216ad53ad44c980d486586bd4", "gen_hash_rust": "sha256:46d6427a8d780cb22f4b10c62103d9541eb92874e336a92627e5da6250bfbefa", "gen_hash_verilog": "sha256:d304d2d9c18879c385e2bfffbee17e8116d480b9478c496440f846427f3080fb", "gen_hash_zig": "sha256:30ba571314d22ee7d73ee06e401d9994becac949abe17c7b149d4cd9a003790e", "module": "Bilstm", "ring": 12, - "sealed_at": "2026-10-11T15:13:26Z", + "sealed_at": "2026-10-20T01:06:20Z", "spec_hash": "sha256:d9e758b520a636bb30f403dae2bc73376bc5c6e22d34f699e1274ba2b2c28398", "spec_path": "specs/ml/recurrent/bilstm.t27", "tests": { diff --git a/.trinity/seals/BinaryCe.json b/.trinity/seals/BinaryCe.json index de9d5da39d..c96310fb46 100644 --- a/.trinity/seals/BinaryCe.json +++ b/.trinity/seals/BinaryCe.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:59310fcae4221771d573619d879acc206c62fc42062bafd8b781086b0b28c110", + "gen_hash_c": "sha256:cd52a8fbb00bac618e928f07ec5e380ee6aa0a0b3f3af33db27ec44489f63d66", "gen_hash_rust": "sha256:02553dbc9f1a5f15f71db698c3be28867a79d6de65770888adca6fbbca44c06e", "gen_hash_verilog": "sha256:e7b4b9694701e1572d4cb2ff0af1b882639a6d350ba0956dcb51da5b9427cff6", "gen_hash_zig": "sha256:2df874e44404ca33e855467a4442ad6f1298e54bd6974c1e0999ac54db81be19", "module": "BinaryCe", "ring": 12, - "sealed_at": "2026-10-11T10:43:19Z", + "sealed_at": "2026-10-20T00:40:31Z", "spec_hash": "sha256:4b041a9197282c33abafdcc293c3864bae585c9e417d743e0081cf4d734fcf9b", "spec_path": "specs/ml/loss/binary_crossentropy_loss.t27", "tests": { diff --git a/.trinity/seals/Conv2d.json b/.trinity/seals/Conv2d.json index bfc220a6f8..c96628cb1c 100644 --- a/.trinity/seals/Conv2d.json +++ b/.trinity/seals/Conv2d.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:60f9b428ab8ceb7d2f4654a727012c82d12eafbf92d8dde167418d5a43fe0e10", + "gen_hash_c": "sha256:dfb0c0d64045cc4b46e16f9882c5d64107b6dcca5b46569858e05545425a3400", "gen_hash_rust": "sha256:1b00b1fe570ae33bde1434d0125dc478df1d00f0470df7efb378e5dff574bb30", "gen_hash_verilog": "sha256:83f9eae101994f85bb5be9fb7f154f01d88ff0330c3286322f584689c910b420", "gen_hash_zig": "sha256:c1ec25dbf1daf046dfa6600b183fe3b9501525038b576582e66947e39379074f", "module": "Conv2d", "ring": 12, - "sealed_at": "2026-10-19T01:01:23Z", + "sealed_at": "2026-10-20T00:40:17Z", "spec_hash": "sha256:9c3e20d01e59ec8df1ae330ac9c3c27f8e67db34d524475733abaf0f3382b7f0", "spec_path": "specs/ml/layers/conv2d_layer.t27", "tests": { diff --git a/.trinity/seals/CrossEntropy.json b/.trinity/seals/CrossEntropy.json index 337f8c44da..b50d580a5a 100644 --- a/.trinity/seals/CrossEntropy.json +++ b/.trinity/seals/CrossEntropy.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:d1350853fc165da7d82931e15ddf61059b64ee4a4127ab1cb3b57de6445788f7", + "gen_hash_c": "sha256:996be60b6a88d5bfffc7e2b35203fb8f6ed0176802b66f8b0e385e875e5e94e0", "gen_hash_rust": "sha256:137d54d9d12945252284e621a09f43ed1b29716ceea97b984aac99412c88a76a", "gen_hash_verilog": "sha256:40d293de7c2f4843e169afe028032b91fb48c7254d616508974defc7e528741e", "gen_hash_zig": "sha256:f3a779acc7bcac6a9e6eec42d3744ccab05ae60d1f8c8768b7543f0a026a843f", "module": "CrossEntropy", "ring": 12, - "sealed_at": "2026-10-11T10:43:19Z", + "sealed_at": "2026-10-20T00:40:33Z", "spec_hash": "sha256:ddcc9710059ab5fe3ac223a2e067eccbc47b2bd13e874ca24c6e86bf7b5310c3", "spec_path": "specs/ml/loss/cross_entropy_loss.t27", "tests": { diff --git a/.trinity/seals/Dense.json b/.trinity/seals/Dense.json index b37e0659e6..8200c0ab4d 100644 --- a/.trinity/seals/Dense.json +++ b/.trinity/seals/Dense.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:1aac204d92097a77428b3968c9ec7618086862f8f971e4e00d666ed132738602", + "gen_hash_c": "sha256:1ad8815bf37139feb62cca958a8d3b3bdcc1270c624c4ca693463bf08dc42005", "gen_hash_rust": "sha256:eddc6839f3d2523e0d914358a9bbe4478a85ba6ca972722f7870940aef949d67", "gen_hash_verilog": "sha256:d0d0a6cf86b1341e595781acb121396a4458f49af603d66ac2fd28bfd6ea72a5", "gen_hash_zig": "sha256:2ff5de1baadbc14a99914ffed991fbbc0a6896f72c0cb7af5089960645f21887", "module": "Dense", "ring": 12, - "sealed_at": "2026-10-11T10:43:19Z", + "sealed_at": "2026-10-20T00:40:20Z", "spec_hash": "sha256:c756c98dad128be955c1a56ed60b9ea25d6108c91f92065f69f5a8d76ce0422b", "spec_path": "specs/ml/layers/dense_layer.t27", "tests": { diff --git a/.trinity/seals/Dropout.json b/.trinity/seals/Dropout.json index 4dd8a47cc1..99ea236bdf 100644 --- a/.trinity/seals/Dropout.json +++ b/.trinity/seals/Dropout.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:1f7c1a1fdfe6fcdb12c198fc0ecd953cbabbd8f1849b3db1559f0af63fec98a5", + "gen_hash_c": "sha256:da32fdd3b111405296f2e57edbccd077fc90267b214286e58a42b058fd0f2ae7", "gen_hash_rust": "sha256:240a1120bb02c9f68bad64a24dcf83512f2879fc870239b910a2e3a99bd86bea", "gen_hash_verilog": "sha256:8340203c8e16b3dd0e3bd130870077ac8fff01b9f8bcb72df3731d4ec15e8987", "gen_hash_zig": "sha256:08440641e15d9086f609eb4ef0276457f2a802f7d98ff7ddc31a00fd48c64101", "module": "Dropout", "ring": 12, - "sealed_at": "2026-10-11T10:43:19Z", + "sealed_at": "2026-10-20T00:40:22Z", "spec_hash": "sha256:1d8495587051334995edcb6e2d6a2dffb81528aa1a6a78f86d94bc88ccadb3ec", "spec_path": "specs/ml/layers/dropout_layer.t27", "tests": { diff --git a/.trinity/seals/Embedding.json b/.trinity/seals/Embedding.json index b62371453c..8bcba181c2 100644 --- a/.trinity/seals/Embedding.json +++ b/.trinity/seals/Embedding.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:f141fb98f812dfbc14323774e27fcb0bb2dc1eed719d63db678f958fe6e1097e", + "gen_hash_c": "sha256:8af036b6010ab39a207f5f1332b4f24c646bad8d104c6f5ed4fafe784c63662a", "gen_hash_rust": "sha256:74c345177b0da2b457279c8fcb9f0c1932fec692dac6c20eedc6c3cb71b5ee69", "gen_hash_verilog": "sha256:572531e675053a6367c948cec223ec5402a1130e67bd4ba79a38cf30b2a1790b", "gen_hash_zig": "sha256:0a181b0345b5050ddbfbddd22891a88eaee5415737fe014ab80515591b05dcfd", "module": "Embedding", "ring": 12, - "sealed_at": "2026-10-11T10:43:19Z", + "sealed_at": "2026-10-20T00:40:25Z", "spec_hash": "sha256:ee2625cfeb90bf9220fdf4a9d1010af3a2327bceafd4fd6341b08b4e1af54094", "spec_path": "specs/ml/layers/embedding_layer.t27", "tests": { diff --git a/.trinity/seals/EncoderBlock.json b/.trinity/seals/EncoderBlock.json index a9d62716de..30513ad63c 100644 --- a/.trinity/seals/EncoderBlock.json +++ b/.trinity/seals/EncoderBlock.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:809b292e2ed86670b9df53cf644cfcff8020f92bc3fabd9b9a82dd3a9cb9bad1", + "gen_hash_c": "sha256:864b81db96a7491fc8b872d73d11b3bf474e5ac9de74b451a03dca3753441ece", "gen_hash_rust": "sha256:5d7c329654e88c7bbd08840bcf138ac87bed09b20705522efcfc746ec69e9b7b", "gen_hash_verilog": "sha256:14110e9b6924360867c489ce96c8b5da976b8a70b89423f35978616cc29f1435", "gen_hash_zig": "sha256:db1544156f525c66f2a4408b0a0eebd183c5faddde5b35752bb691abae601e0e", "module": "EncoderBlock", "ring": 12, - "sealed_at": "2026-10-11T10:43:22Z", + "sealed_at": "2026-10-20T00:40:55Z", "spec_hash": "sha256:e21519a3f7912ca70d35919cc1f9d2927b746f8e545c741e3772c1eb7e06561a", "spec_path": "specs/ml/transformer/encoder_block.t27", "tests": { diff --git a/.trinity/seals/FeedForward.json b/.trinity/seals/FeedForward.json index 0b49711f82..5ba0db578b 100644 --- a/.trinity/seals/FeedForward.json +++ b/.trinity/seals/FeedForward.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:99213c5eb466883cafffdf865dedb5e9577ac1b9b5115fb157be0834f3a5cba2", + "gen_hash_c": "sha256:c254a42b0dc8acc5c9b2b7933ff80f6b606b9d3ebb5fa6420c0e0ca56c1a6bd2", "gen_hash_rust": "sha256:996394661d8adc13c3b40c5c0958cd07c2a5e26c80813a43a664e90bac04802a", "gen_hash_verilog": "sha256:efb4c19a6c146d3c52aacd8dd8892d99cef861fb6b8514be4e1b9c08ebcf4a1a", "gen_hash_zig": "sha256:ac058271730c1e6689d6e039fd1f3467683dfd656ce16eee3bafe76d1cd02c7a", "module": "FeedForward", "ring": 12, - "sealed_at": "2026-10-11T10:43:22Z", + "sealed_at": "2026-10-20T00:40:57Z", "spec_hash": "sha256:effd9976f70fcdf53427b8ea2c45f96fcb86dece6f0a9c63bd9774dfc8311705", "spec_path": "specs/ml/transformer/feed_forward_network.t27", "tests": { diff --git a/.trinity/seals/Gru.json b/.trinity/seals/Gru.json index 5dd367e2d2..ab1e0d47e2 100644 --- a/.trinity/seals/Gru.json +++ b/.trinity/seals/Gru.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:3a55691994f0b48444fa7d118e69ac14a37827468319c330b3fc23815d7ac3b3", + "gen_hash_c": "sha256:fb4814fac299611e1f53a2f65a4630690911e2de5660d0bd1dd8e038db48240d", "gen_hash_rust": "sha256:eab72fb71adc11da75394aa3d3abdf98c3665143d20fbd86d1e57a2025be5527", "gen_hash_verilog": "sha256:60c582a3f47d655fec90d88ab3d0b0c82d83a1b160a1d0b3eab5d67bdcb0d4af", "gen_hash_zig": "sha256:06374623b7179a0f0e21559f8ca7c58f03e123e2706f84f3b8c7285c8a796d70", "module": "Gru", "ring": 12, - "sealed_at": "2026-10-11T15:13:26Z", + "sealed_at": "2026-10-20T00:40:44Z", "spec_hash": "sha256:c191eb8649f58b0c1e1580164ad215b8c4b548e77dbf32bc4f5ebf4c837dc5a8", "spec_path": "specs/ml/recurrent/gru_cell.t27", "tests": { diff --git a/.trinity/seals/HybridArithmetic.json b/.trinity/seals/HybridArithmetic.json index e037e0c8a3..ac6ef4d4ee 100644 --- a/.trinity/seals/HybridArithmetic.json +++ b/.trinity/seals/HybridArithmetic.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:7fed36b978d6ee065f81ed902cb5193bc6e77502527a89364f48a7169413279d", + "gen_hash_c": "none", "gen_hash_rust": "sha256:d5d6889e8664c565c4c799f77beee3baa96120875709f5caccfbe6844d61bc72", "gen_hash_verilog": "sha256:505aa2cfbafc150adc21330237dfa62fdb3b8327e62f8423b498f450afde5815", "gen_hash_zig": "sha256:f1e60268280d3e22886388ac619408d2da4c86aa26e284492eac82670d18f446", "module": "HybridArithmetic", "ring": 12, - "sealed_at": "2026-10-11T10:43:28Z", + "sealed_at": "2026-10-20T01:05:56Z", "spec_hash": "sha256:60e1436c9824221d833735dc04c56bd447a66e4253703feb6b3b5024f96d1db2", "spec_path": "specs/ternary/hybrid_arithmetic.t27", "tests": { diff --git a/.trinity/seals/Lamb.json b/.trinity/seals/Lamb.json index 263819a830..ee85fe7da9 100644 --- a/.trinity/seals/Lamb.json +++ b/.trinity/seals/Lamb.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:f3dd4c62cd0875cb0e7ae6fda1dc194eda57bb6e2fbffa09d68d029ff34068a8", + "gen_hash_c": "sha256:64319b910d14b8ddd77ac2a29f80d1acc47cc546f2be507d5b1bf76131350b8b", "gen_hash_rust": "sha256:9c1b2c39a92873347f8c0332baae5d42f3e6149280bfa06b61891bdabef2d17c", "gen_hash_verilog": "sha256:0321c8606e5b7258c6b559e79f141332800907689ae4316af06e4517fc0b0b35", "gen_hash_zig": "sha256:520ed2a448f52fad6b84233c05c61fa7e8780b9caa4e44197f5c2364af180b8a", "module": "Lamb", "ring": 12, - "sealed_at": "2026-10-11T15:13:26Z", + "sealed_at": "2026-10-20T01:06:17Z", "spec_hash": "sha256:3dd28c18f0aa03e48a900bc0a78a02bf8a54812f695656dd4aa3c0f991682971", "spec_path": "specs/ml/optimizer/lamb.t27", "tests": { diff --git a/.trinity/seals/Lstm.json b/.trinity/seals/Lstm.json index d2052ceac7..5e42895e61 100644 --- a/.trinity/seals/Lstm.json +++ b/.trinity/seals/Lstm.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:b24209a10b9e1fecba214c5371e2f6082d40e4883e8475d92b5cd17402973f8d", + "gen_hash_c": "sha256:224cd09a6d5c9f0e5970ada826a45da0520aa582acd0b2bad05629f7894dea54", "gen_hash_rust": "sha256:9abf99115a50ab78e1c7a85f1087d73fd2f00608cbabfbce7366acfbb29d076e", "gen_hash_verilog": "sha256:cf79c7aab17eb183eeccecbf815846d36aa9aaf794e9fbd85221ded1ae116c61", "gen_hash_zig": "sha256:b125bf7107aeb718749dcabac7e358b103604f036cd683926b0e8d65e6d10d2d", "module": "Lstm", "ring": 12, - "sealed_at": "2026-10-11T15:13:27Z", + "sealed_at": "2026-10-20T00:40:47Z", "spec_hash": "sha256:5309a4ecb26dd1eff22f0afa785411c178035836bcbe781c4a2f7fae64bc2a67", "spec_path": "specs/ml/recurrent/lstm_cell.t27", "tests": { diff --git a/.trinity/seals/LstmCell.json b/.trinity/seals/LstmCell.json index 578fa0fe5a..4c630a40ab 100644 --- a/.trinity/seals/LstmCell.json +++ b/.trinity/seals/LstmCell.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:67e9d46e36a19b3474cc6dbae920d6927ff3a482210ea848d0f608d0ccef17af", + "gen_hash_c": "sha256:6d6fab627ab4ce45d94be2d5b611f37f6975977ac69a6e31014ed1c93e07095e", "gen_hash_rust": "sha256:f273354cdd17b00779ddaa9bf430ba76eabf674b7c0c2e751f0cbb6e5f6eda77", "gen_hash_verilog": "sha256:3a7ceb27aa49602fde255db6321a7a453cf6ebc8e87bad57c4970f57ef804769", "gen_hash_zig": "sha256:f7f1c164368fa4912292a1d7c2f0cb6b23a3d78bd7a97f5f40dd73b0bd8ec6db", "module": "LstmCell", "ring": 12, - "sealed_at": "2026-10-11T15:13:27Z", + "sealed_at": "2026-10-20T00:40:49Z", "spec_hash": "sha256:ef4ffa30e7adf81c8467768ec637ba33643c7872f6746cf244cdaa12eff68385", "spec_path": "specs/ml/recurrent/lstm_single.t27", "tests": { diff --git a/.trinity/seals/Maxpool2d.json b/.trinity/seals/Maxpool2d.json index 89c3de8174..e90edd91d6 100644 --- a/.trinity/seals/Maxpool2d.json +++ b/.trinity/seals/Maxpool2d.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:6e708ec93f81a12af61c9753d1a4186ecb8b7fb3078e120ce3df26b5872bca9c", + "gen_hash_c": "sha256:fbe20afc7ec2a1106cd1aedaea5489b566da5977dff37df0776c441c8be3f8d0", "gen_hash_rust": "sha256:7e107b2c4bbce9d33ad1588e4b934828a4b23c86dad0325d35351928d181f019", "gen_hash_verilog": "sha256:b1581e22f6ad1d843a39a6696c212acd8ca1c13675e84f72816059f3bc817261", "gen_hash_zig": "sha256:4857e2adccd62add1dd719ce5020e5e9862379ccd399a9fcc32c0923a381cb64", "module": "Maxpool2d", "ring": 12, - "sealed_at": "2026-10-18T21:27:49Z", + "sealed_at": "2026-10-20T00:40:28Z", "spec_hash": "sha256:12627dff26da63deb67347730d28228fda9b60ca09779e37d052f4a94f3e7e0a", "spec_path": "specs/ml/layers/maxpool2d_layer.t27", "tests": { diff --git a/.trinity/seals/Mlp.json b/.trinity/seals/Mlp.json index 9a7b829fc1..bd61ed914f 100644 --- a/.trinity/seals/Mlp.json +++ b/.trinity/seals/Mlp.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:faae2982fea69da6c476d4e8e6506dd88bdb8279202a9696e9b9cf88637cb17c", + "gen_hash_c": "sha256:64a4b2df9079d78ddee5a382690251437fff739fb1a407d41eef882185db143e", "gen_hash_rust": "sha256:0b7f25cc0ac0e2519b3e0092fc71359eddda5d96ee4d311e4a7ebae33c8b64f1", "gen_hash_verilog": "sha256:890f720aedb65673d90646517a62fdedcf022d4cb3c6cecf545861d8656dfbee", "gen_hash_zig": "sha256:746e7a402eb34d5bcb6070e82b62519385aca793d7d8d8e2b37741365b765d5f", "module": "Mlp", "ring": 12, - "sealed_at": "2026-10-11T10:43:20Z", + "sealed_at": "2026-10-20T00:40:39Z", "spec_hash": "sha256:936f35f57c99851545afe0b1797b416777549610a3f57cf49c0727311eef281a", "spec_path": "specs/ml/pathway/mlp.t27", "tests": { diff --git a/.trinity/seals/PositionalEnc.json b/.trinity/seals/PositionalEnc.json index 94cc7ddb45..bfd1231f4f 100644 --- a/.trinity/seals/PositionalEnc.json +++ b/.trinity/seals/PositionalEnc.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:baa54673ba9f12af4afa2f8792d6bb6b52e46e872c7a4fbc3979dcffd4d00aea", + "gen_hash_c": "sha256:8b40191691cdc37172b63c83b8b70ac2ab68c215ac437c5a00c7bb1a11b1a00e", "gen_hash_rust": "sha256:2ac7b280c242cd14a908480d4a3374ec7ff19157d99c042f713f6611fb8b5910", "gen_hash_verilog": "sha256:c16df5676ae6cbba44977010bdabc7099efb7d3a4c8634d7318341328d3b4746", "gen_hash_zig": "sha256:3731945013e48c34fd5cbfd6341c6d99fe0963d4e7daeb364908b545aa5dbff1", "module": "PositionalEnc", "ring": 12, - "sealed_at": "2026-10-11T10:43:22Z", + "sealed_at": "2026-10-20T00:41:06Z", "spec_hash": "sha256:2c979472dc128223ad4645c13b2776435ddf344ea29ffa5ed2e6c0b0056d3f09", "spec_path": "specs/ml/transformer/positional_encoding.t27", "tests": { diff --git a/.trinity/seals/PositionalEncoding.json b/.trinity/seals/PositionalEncoding.json index e78d1c5c9b..268fff19a9 100644 --- a/.trinity/seals/PositionalEncoding.json +++ b/.trinity/seals/PositionalEncoding.json @@ -15,14 +15,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:ec86166221bce17670292479a492d63efd7357d82139d48e6f327e7f7a419576", + "gen_hash_c": "sha256:1435dd1a82bd3797d54947101f888ebd4801d76c5b71ed3d598d29d7aecfe3b6", "gen_hash_rust": "sha256:2b247d65a52db62c750662f763080908ac0ff951224c0dd11ec7d68c1873940b", "gen_hash_verilog": "sha256:6a04da06a13f196eaff527d3cc2e41ad39ed2d3776d19404fd094d7f1309f70a", "gen_hash_zig": "sha256:beba0b97c0b7fcce5960fdb349e4a20e4904b18b98fb6fc405eb8aae40b0b401", "module": "PositionalEncoding", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:26:57Z", + "sealed_at": "2026-10-20T00:41:04Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:9aecf41e59869d97c2c3d7cd6ecab85da44216f837a97701695b274900eec2a8", "spec_path": "specs/ml/transformer/positional_enc.t27", diff --git a/.trinity/seals/PpoCritic.json b/.trinity/seals/PpoCritic.json index 8004e2034e..2ef661b5fa 100644 --- a/.trinity/seals/PpoCritic.json +++ b/.trinity/seals/PpoCritic.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:dfe4928caf3eb0da2a106905e3a49faedc393248d9b0ad584d90e6a687c93739", + "gen_hash_c": "sha256:c6397bff7b73ab1f97e527fb325905e0a41e9ff29ff1f7a9a74803811bb2cf7f", "gen_hash_rust": "sha256:06d8334fc48c1bc40b2dad281f4170c7159ca7e510cd8c8a08b4135203014d6b", "gen_hash_verilog": "sha256:6b8841784e9aaf4927d43fd379b638a02182657882f35222fb977a7efea72521", "gen_hash_zig": "sha256:3af885cdbc8395d8b20dfdb34113a0d32b248f60b7fc7d1f2abf070b0b434004", "module": "PpoCritic", "ring": 12, - "sealed_at": "2026-10-11T15:13:28Z", + "sealed_at": "2026-10-20T01:06:23Z", "spec_hash": "sha256:e9f86be672a9d2741ff8dd621803bd6df93768c54ea98eed45f2f4d81bc266ba", "spec_path": "specs/ml/rl/ppo_critic.t27", "tests": { diff --git a/.trinity/seals/Relu.json b/.trinity/seals/Relu.json index 103ff7e0cb..18ece98abd 100644 --- a/.trinity/seals/Relu.json +++ b/.trinity/seals/Relu.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:1a8f2c6cee8c64ec32aa1e2924bbe4a49a07dcbc7f9b94521c5f45b241718c88", + "gen_hash_c": "sha256:c0b1943292f5dc5239eb6073db265be936a815a6590055850e3b6fb42c93a195", "gen_hash_rust": "sha256:69dd8135cb86f63c5969e73695f2a5f6b9e819e59add3fc583b2b1b763b2807c", "gen_hash_verilog": "sha256:bc8dc5ef04fd4b2b1593a45ae4b3dbb92905d7ec7342da7fb30551ccdd3eb925", "gen_hash_zig": "sha256:e25ac79ae558b2e8b4721ffa9da38a0d2283c6d9f8306eb72ce2aa0a1778b777", "module": "Relu", "ring": 12, - "sealed_at": "2026-10-11T10:43:18Z", + "sealed_at": "2026-10-20T00:40:09Z", "spec_hash": "sha256:0b516ac7e0d25ec67b948833098b21421a1c385cb51abc49146e5855f849f559", "spec_path": "specs/ml/activation/relu_activation.t27", "tests": { diff --git a/.trinity/seals/RnnCell.json b/.trinity/seals/RnnCell.json index ebb8a8ffef..3954ec19c6 100644 --- a/.trinity/seals/RnnCell.json +++ b/.trinity/seals/RnnCell.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:e677424e4496577dc01a8e17d01ef62688aca9e496698d1c8fcb724d89146f01", + "gen_hash_c": "sha256:32b55382184e8fadc8b4b73f0cee45d8e4b337739705e11cdb09fbe9e0e2692d", "gen_hash_rust": "sha256:3ff2ac16d685d33341814205853d1acf8d038298df22322f7aef0f86271014a1", "gen_hash_verilog": "sha256:b566b12ac3c311ed309eb719558b56c9d2ed9f3068c2a1470053d1a863d01ed8", "gen_hash_zig": "sha256:955445b259e2ca54159413a727129e119d1a61e8e38ff67b4e4a3f2c48257540", "module": "RnnCell", "ring": 12, - "sealed_at": "2026-10-11T15:13:27Z", + "sealed_at": "2026-10-20T00:40:52Z", "spec_hash": "sha256:09f67415a49b61d028c7a15e93caff8f3d3d309b7bb9452b1b6260132caf8887", "spec_path": "specs/ml/recurrent/rnn_cell.t27", "tests": { diff --git a/.trinity/seals/TriBloomFilter.json b/.trinity/seals/TriBloomFilter.json index b2e4cc8e47..79a0b78356 100644 --- a/.trinity/seals/TriBloomFilter.json +++ b/.trinity/seals/TriBloomFilter.json @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:b00bda95b1aac949a5d95fc1858e88e09def60242b4c21441b42f454201571c2", + "gen_hash_c": "sha256:a9026d20aabba56f40775f06f222d8add36776cf0948a169cf6302547cef5b3d", "gen_hash_rust": "sha256:67ebb6cdba88379ab02f3fa4bbd408909c7c9f80d4a9c192cecd627c7647195f", "gen_hash_verilog": "sha256:24c4b601078a27fb4912548e409a89479e11c927ab3deb102629a8f28ec3cd51", "gen_hash_zig": "sha256:c509d5520aa35f05c030dd0d01ddc66706d771510e174c15481573925722f892", "module": "TriBloomFilter", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:30Z", + "sealed_at": "2026-10-20T00:42:07Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:af9836843e77e4209c2a72de225a8b60e5f66f2d34572fb6faec6640c612a270", "spec_path": "specs/tri/search/bloom_filter.t27", diff --git a/.trinity/seals/TriFs.json b/.trinity/seals/TriFs.json index 0da4a8b25e..242b9f1074 100644 --- a/.trinity/seals/TriFs.json +++ b/.trinity/seals/TriFs.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:ada36f90ca2016d4b59b43fec636417d0d52fee12099337cb4ebcb04f5feb6c9", + "gen_hash_c": "sha256:5153e8661de48e306ce1b0213f70c48a3edc9c372afe1ec3f85d13bbf833a927", "gen_hash_rust": "sha256:bdb037ed7f31c2729e585ac06306de9de70cd789ab941bd605824326ec5fbbc2", "gen_hash_verilog": "sha256:28386829da10ff0b777303016faa13458e2a5df7e961c7be4eba60ba9b3ba9ff", "gen_hash_zig": "sha256:a1cdb30296cd0f351398fab35a0c1f871c7437c618cbe9a94e9f44425c8a96a6", "module": "TriFs", "ring": 12, - "sealed_at": "2026-10-19T01:32:21Z", + "sealed_at": "2026-10-20T01:06:25Z", "spec_hash": "sha256:8efa7f598919ea7cfb9e5d79189eec736d50c2c577ec27f26ac283c31c6485c6", "spec_path": "specs/tri/io/fs.t27", "tests": { diff --git a/.trinity/seals/TriHex.json b/.trinity/seals/TriHex.json index fc528a0222..9f357a1566 100644 --- a/.trinity/seals/TriHex.json +++ b/.trinity/seals/TriHex.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:f221b39d597fc76084236ec78b74313e009d2c2fe9a4d2426d7b5ad5505c1863", + "gen_hash_c": "sha256:954ee4ce55ebb378f17780b46e633685f7e465b00a8702f22cddd47f8de07928", "gen_hash_rust": "sha256:539d164369029a4d3175a49a2e7a7b9604f4aa0f9db7fad637db8e61eac7d69f", "gen_hash_verilog": "sha256:567c44e1a7d3fb59d34e337ae8c32849e474fbd820661fa87f4a7b3ec7d3939d", "gen_hash_zig": "sha256:34a90e5b8c974f3726cd25e96bf327f323234e4daab664f27c093e59eceb92b1", "module": "TriHex", "ring": 12, - "sealed_at": "2026-10-11T10:29:38Z", + "sealed_at": "2026-10-20T00:41:59Z", "spec_hash": "sha256:1a6d03971b52e254ef4e6dbae12c66e8550bf64cdcc6ada179fbcd2ad6933883", "spec_path": "specs/tri/crypto/hex.t27", "tests": { diff --git a/.trinity/seals/TriLinkedList.json b/.trinity/seals/TriLinkedList.json index 43f92a38a5..a67cf59e34 100644 --- a/.trinity/seals/TriLinkedList.json +++ b/.trinity/seals/TriLinkedList.json @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:efb814c80f1380663b273bdcc4a3f2cce1eb84d30517a5717ac49ec549a6ec8c", + "gen_hash_c": "sha256:472ec8a8950b9b865206b3541f4a1e967f140ee9996a33840529636e43e2c282", "gen_hash_rust": "sha256:d0def4e3ddc53bdbba6ecaa2b13d5c9acd310fb7c49f42b49a3e15d6cd514a88", "gen_hash_verilog": "sha256:10feefb0bf69819e6b925ca91ba5015925cd8311598fab16aca95e93f3a8472e", "gen_hash_zig": "sha256:25f71bb55db2ed65aabc33c8496fb78178b889d5a940379183bdf0caae7fdf67", "module": "TriLinkedList", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:14Z", + "sealed_at": "2026-10-20T00:41:51Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:f002fe52aecc9a974ac7990f7396818116a5510c2f9f1c25204cad64ac1c8e55", "spec_path": "specs/tri/collections/linked_list.t27", diff --git a/.trinity/seals/TriLockfreeStack.json b/.trinity/seals/TriLockfreeStack.json index 5ae22ea95f..4ac95308d2 100644 --- a/.trinity/seals/TriLockfreeStack.json +++ b/.trinity/seals/TriLockfreeStack.json @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:6f1ab6a6d0e4a6e1ffd8ac4aa295783c78479d7d7759aa80cd994a1d3bd364c2", + "gen_hash_c": "sha256:58130cfd37616cd2282ca0c2d2aaf7fe14daf111d84088248cdb64ed657165fd", "gen_hash_rust": "sha256:389e2582a01764bbc9c7ab660bc24f258278e50ef878890ef211064e53015028", "gen_hash_verilog": "sha256:05bcb5c43a303b1ad3d8cb4be0e29ae6a446bb1fde4a6e1aac215b76b4dead25", "gen_hash_zig": "sha256:8d1f2b01ad1ee7efd67e5ddef04d32cd4840495dec159a1695cf51baa273fcfe", "module": "TriLockfreeStack", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:14Z", + "sealed_at": "2026-10-20T00:41:53Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:070134cd4bfde398b1ba0733ee9789081b094eaaa636379463f957c11bd93f25", "spec_path": "specs/tri/collections/lockfree_stack.t27", diff --git a/.trinity/seals/TriLruCache.json b/.trinity/seals/TriLruCache.json index 52c4f0d3ac..90740cf682 100644 --- a/.trinity/seals/TriLruCache.json +++ b/.trinity/seals/TriLruCache.json @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:e325c4b1af907768da9194be7ec173bbeb9e114889ecdf487f05ac45cd1114aa", + "gen_hash_c": "sha256:71cf397056490b6b0bb8f6687f29930af33e7e72e03588419d40dee837f5514b", "gen_hash_rust": "sha256:4f28c6ee7be8c8d01e36ec0b618d7b7dc72e61b188c712b9057d9dd950327481", "gen_hash_verilog": "sha256:1223913bb265d1c162ac2d9b1bbc4db77e7627d424f55ddd9f78101266f8c90f", "gen_hash_zig": "sha256:f313123629fcc93c0086a3ce113415e17769d428fc26efa25d5d275083aeeeec", "module": "TriLruCache", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:15Z", + "sealed_at": "2026-10-20T00:41:56Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:7b5dd7339577bd70cb5f5ffbbd03b0acf0fa024b7b2606ca142af6c586a76b56", "spec_path": "specs/tri/collections/lru_cache.t27", diff --git a/.trinity/seals/TriSha256.json b/.trinity/seals/TriSha256.json index 40d10b1824..185eae7bc6 100644 --- a/.trinity/seals/TriSha256.json +++ b/.trinity/seals/TriSha256.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:f30c61486975af47f5154c8a12a62a2bbad93b8179597cbb31162d9dccd9364c", + "gen_hash_c": "sha256:676fc92823e78ea2c369738aabca2936b34c456b55510cab12883511059fede2", "gen_hash_rust": "sha256:ae7995317ccb632cdb28f716fb1afb655d4d542fb05f4c09c6a22f54df9808f0", "gen_hash_verilog": "sha256:7ffa76e7501ce9892dd25862f7f2021dfaa55340d37143f3e85264e842b35cf7", "gen_hash_zig": "sha256:6e42ce8ca57e857b30ac3e2bba0b0b30d7de560324f8646f4f79c627f30b0d99", "module": "TriSha256", "ring": 12, - "sealed_at": "2026-10-10T15:03:08Z", + "sealed_at": "2026-10-20T00:42:01Z", "spec_hash": "sha256:7f7cbef299f95f1d9eb4bcacf66292e15e084e633d2d2ac3a751dc47da196b7a", "spec_path": "specs/tri/crypto/sha256.t27", "tests": { @@ -13,6 +13,7 @@ "failing": [], "forced": false, "passed": 5, - "total": 5 + "total": 5, + "vacuous": 0 } } \ No newline at end of file diff --git a/.trinity/seals/TriTemplate.json b/.trinity/seals/TriTemplate.json index 2fcbdf55ac..d5e7c53018 100644 --- a/.trinity/seals/TriTemplate.json +++ b/.trinity/seals/TriTemplate.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:b4db899c4d165ae49ef9a936dbb4189e8c75691a93f31299f6edc7264179686e", + "gen_hash_c": "sha256:473856a24e1cb6070781539ba9dc97ace4047f787a23a31aea5ac4801b00d3f0", "gen_hash_rust": "sha256:f48dd8090279a6561f807c64392c79f085756d13bcbfb3c6a37398539591454c", "gen_hash_verilog": "sha256:f38cbd18c5af2d9d9de05e22b3ad13c97b22f2aa9dc0e932f3ae735df2418c96", "gen_hash_zig": "sha256:fef50ba9926f8e1e899ade7f50f31ac422fc4af0a0a74aa694eed9fcab5f6f1d", "module": "TriTemplate", "ring": 12, - "sealed_at": "2026-10-11T15:13:55Z", + "sealed_at": "2026-10-20T00:42:12Z", "spec_hash": "sha256:98cd84d21b02cd1a90a9ecbddebe07de860ab8b31dc1a1661c4c1046461c9dbe", "spec_path": "specs/tri/utils/template.t27", "tests": { diff --git a/.trinity/seals/activation_Relu.json b/.trinity/seals/activation_Relu.json index 2add074840..e233f19d43 100644 --- a/.trinity/seals/activation_Relu.json +++ b/.trinity/seals/activation_Relu.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:1a8f2c6cee8c64ec32aa1e2924bbe4a49a07dcbc7f9b94521c5f45b241718c88", + "gen_hash_c": "sha256:c0b1943292f5dc5239eb6073db265be936a815a6590055850e3b6fb42c93a195", "gen_hash_rust": "sha256:69dd8135cb86f63c5969e73695f2a5f6b9e819e59add3fc583b2b1b763b2807c", "gen_hash_verilog": "sha256:bc8dc5ef04fd4b2b1593a45ae4b3dbb92905d7ec7342da7fb30551ccdd3eb925", "gen_hash_zig": "sha256:e25ac79ae558b2e8b4721ffa9da38a0d2283c6d9f8306eb72ce2aa0a1778b777", "module": "Relu", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:18Z", + "sealed_at": "2026-10-20T00:40:09Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:0b516ac7e0d25ec67b948833098b21421a1c385cb51abc49146e5855f849f559", "spec_path": "specs/ml/activation/relu_activation.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/analog_AnalogLinear.json b/.trinity/seals/analog_AnalogLinear.json index 7f9373ef54..de51de6b2e 100644 --- a/.trinity/seals/analog_AnalogLinear.json +++ b/.trinity/seals/analog_AnalogLinear.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+9b556b7c3", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:294ec2cd61e90873b7907ef44f25207a48967d6d323fee13d94612804e385e34", + "gen_hash_c": "sha256:813bb7508d25b76fb41fd56aa7514e9b364fc14755fbcb2cbbfb049bf3d566de", "gen_hash_rust": "sha256:41c8a5d22739a6cf3bbf2fa7d2db29ca461a8a994d5b05d7838c14c21a781681", "gen_hash_verilog": "sha256:94464f3fcd304291b93a6729872dfcaa643fbc67e05eaa5d00b0e2e213df25e4", "gen_hash_zig": "sha256:65082e5f7bc98fd7874fe89d07131844820a32b360dba73116e62c87b4cd889c", "module": "AnalogLinear", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T15:37:30Z", + "sealed_at": "2026-10-20T00:39:59Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:3ddef7be183aba583ed285334ee389b48a65b41335e98914514235db7c4e5d62", "spec_path": "specs/analog/linear.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/analog_AnalogLinearZoh.json b/.trinity/seals/analog_AnalogLinearZoh.json index 7df8dd802c..68a2b5b232 100644 --- a/.trinity/seals/analog_AnalogLinearZoh.json +++ b/.trinity/seals/analog_AnalogLinearZoh.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/analog/linear.t27", @@ -7,14 +7,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:4f6838fc8b2add48d0ca906b05928493b2d7646db681bc53bfc4a598ee4fc713", + "gen_hash_c": "sha256:8322b37b3cd7abbe190cc6adb0eb8f2d803927e356c2300c708528e1655b9075", "gen_hash_rust": "sha256:7f5a5a59e7f4a409748bb9145551dd55bc33a014ac7e778f6337025353b50b92", "gen_hash_verilog": "sha256:3e34a405e67336f5bf99cd169a6f45c1c71ba38f18e40857a12861205db9a64b", "gen_hash_zig": "sha256:d5a8816e44b48a2b4dda1ccb0dad9632a7f0a7cd739d381465a821179195351d", "module": "AnalogLinearZoh", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:29:47Z", + "sealed_at": "2026-10-20T01:06:02Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:ed6796c7410e7717271fc1074c278e8d6f8eb68aad519f5997700d9e41375b1b", "spec_path": "specs/analog/linear_zoh.t27", diff --git a/.trinity/seals/coder_igla-coder-tokenizer.json b/.trinity/seals/coder_igla-coder-tokenizer.json index 252029ffc2..a3c6d0e779 100644 --- a/.trinity/seals/coder_igla-coder-tokenizer.json +++ b/.trinity/seals/coder_igla-coder-tokenizer.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+efe3c94", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -7,14 +7,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:31c9c63e78f4b8ef8d8f503179a70902034dc59f40732ecc17b0f3fb0a54edaa", + "gen_hash_c": "sha256:ebe9f7dd28110d59b986b32dd8e413f95a8dca848d32ec305c77cc4b60a26b95", "gen_hash_rust": "sha256:7162ccb7d5da080e6b226c008c784730037fbac2e948ebf972683994af6f3326", "gen_hash_verilog": "sha256:31ed1b8415be0ced961f955d1cefb87c31e20562190eeabe39af568b5b519a2e", "gen_hash_zig": "sha256:6d71bef119b2e425cbb20d29d1da4c451fdec4c7db4da69411103769e24d3e13", "module": "igla-coder-tokenizer", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-17T19:44:12Z", + "sealed_at": "2026-10-20T00:40:03Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:66663ef05b4b73ae7857fa098be86caefbd9f36b2e2cb5a1d80483c1248bbe99", "spec_path": "specs/igla/coder/tokenizer.t27", @@ -27,7 +27,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/coder_igla-coder-weights.json b/.trinity/seals/coder_igla-coder-weights.json index 8c5b159195..8c47c4f11f 100644 --- a/.trinity/seals/coder_igla-coder-weights.json +++ b/.trinity/seals/coder_igla-coder-weights.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:f71600e7c5bed5241b008ed737182546438b87a78315d8c185ecaf7e71f65ee5", + "gen_hash_c": "sha256:5932f467a181a99598c10b6c987a868f247df9a0ed31772b1dc95720427fccdd", "gen_hash_rust": "sha256:9c09f5c2927e857cf433f1b8c00a988ad0bff30790bbfe1dab2965f1d66456c9", "gen_hash_verilog": "sha256:6b50a5e7a7120acaedbca547821f2cbf9dc694e4c8906a2bb5d00ec0b032e5ff", "gen_hash_zig": "sha256:d6c9dd2d9e354ee25392b9ac97a9be6d9c84047ea0bf9c8c1ba937d719f78180", "module": "igla-coder-weights", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:30:24Z", + "sealed_at": "2026-10-20T00:40:07Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:df2e4928769b1dab60bd32707b31c39e592eb0a85ff16b7e32ccc8ccb159616b", "spec_path": "specs/igla/coder/weights.t27", diff --git a/.trinity/seals/collections_TriLinkedList.json b/.trinity/seals/collections_TriLinkedList.json index 43f92a38a5..01b242bcc1 100644 --- a/.trinity/seals/collections_TriLinkedList.json +++ b/.trinity/seals/collections_TriLinkedList.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:efb814c80f1380663b273bdcc4a3f2cce1eb84d30517a5717ac49ec549a6ec8c", + "gen_hash_c": "sha256:472ec8a8950b9b865206b3541f4a1e967f140ee9996a33840529636e43e2c282", "gen_hash_rust": "sha256:d0def4e3ddc53bdbba6ecaa2b13d5c9acd310fb7c49f42b49a3e15d6cd514a88", "gen_hash_verilog": "sha256:10feefb0bf69819e6b925ca91ba5015925cd8311598fab16aca95e93f3a8472e", "gen_hash_zig": "sha256:25f71bb55db2ed65aabc33c8496fb78178b889d5a940379183bdf0caae7fdf67", "module": "TriLinkedList", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:14Z", + "sealed_at": "2026-10-20T00:41:51Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:f002fe52aecc9a974ac7990f7396818116a5510c2f9f1c25204cad64ac1c8e55", "spec_path": "specs/tri/collections/linked_list.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/collections_TriLockfreeStack.json b/.trinity/seals/collections_TriLockfreeStack.json index 5ae22ea95f..2323d628ef 100644 --- a/.trinity/seals/collections_TriLockfreeStack.json +++ b/.trinity/seals/collections_TriLockfreeStack.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:6f1ab6a6d0e4a6e1ffd8ac4aa295783c78479d7d7759aa80cd994a1d3bd364c2", + "gen_hash_c": "sha256:58130cfd37616cd2282ca0c2d2aaf7fe14daf111d84088248cdb64ed657165fd", "gen_hash_rust": "sha256:389e2582a01764bbc9c7ab660bc24f258278e50ef878890ef211064e53015028", "gen_hash_verilog": "sha256:05bcb5c43a303b1ad3d8cb4be0e29ae6a446bb1fde4a6e1aac215b76b4dead25", "gen_hash_zig": "sha256:8d1f2b01ad1ee7efd67e5ddef04d32cd4840495dec159a1695cf51baa273fcfe", "module": "TriLockfreeStack", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:14Z", + "sealed_at": "2026-10-20T00:41:53Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:070134cd4bfde398b1ba0733ee9789081b094eaaa636379463f957c11bd93f25", "spec_path": "specs/tri/collections/lockfree_stack.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/collections_TriLruCache.json b/.trinity/seals/collections_TriLruCache.json index 52c4f0d3ac..b3ade0483c 100644 --- a/.trinity/seals/collections_TriLruCache.json +++ b/.trinity/seals/collections_TriLruCache.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:e325c4b1af907768da9194be7ec173bbeb9e114889ecdf487f05ac45cd1114aa", + "gen_hash_c": "sha256:71cf397056490b6b0bb8f6687f29930af33e7e72e03588419d40dee837f5514b", "gen_hash_rust": "sha256:4f28c6ee7be8c8d01e36ec0b618d7b7dc72e61b188c712b9057d9dd950327481", "gen_hash_verilog": "sha256:1223913bb265d1c162ac2d9b1bbc4db77e7627d424f55ddd9f78101266f8c90f", "gen_hash_zig": "sha256:f313123629fcc93c0086a3ce113415e17769d428fc26efa25d5d275083aeeeec", "module": "TriLruCache", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:15Z", + "sealed_at": "2026-10-20T00:41:56Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:7b5dd7339577bd70cb5f5ffbbd03b0acf0fa024b7b2606ca142af6c586a76b56", "spec_path": "specs/tri/collections/lru_cache.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/compiler_CArrayRepeatWrapper.json b/.trinity/seals/compiler_CArrayRepeatWrapper.json index 74b9d95d7e..1eb6faad13 100644 --- a/.trinity/seals/compiler_CArrayRepeatWrapper.json +++ b/.trinity/seals/compiler_CArrayRepeatWrapper.json @@ -1,27 +1,28 @@ { - "built_by": "t27c-bootstrap@0.5.2+5d5d2cdef", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:ff5f5f86e7dac818868b42db9c8e07adadf9538d5c0a9dfd576656b82e7ac74d", - "gen_hash_rust": "sha256:457653094efbaf4ecab99c8e98bbb8c3def0ca3f2194d9c4ecdb497fbf390c6b", - "gen_hash_verilog": "sha256:9c640380ff708a078513f3de9fc919964a8fea6286ed5f14ef12d8af8e5c3139", - "gen_hash_zig": "sha256:93740b7f4b83ddd338ac800a2ccb81261083a1846ebf908dd6123c2ae714a740", + "gen_hash_c": "sha256:43626d31c598b04f3e0c6e5f4d27aea996c03751f9a962a9534a2f665a7602ea", + "gen_hash_rust": "sha256:0db033e5398f78d151ff28e3fe0fa1c9221294a6c69807ff63dda4cafc4adb1f", + "gen_hash_verilog": "sha256:43a29c8ef0c0086b7c6d648a4920828977194722a963a9f663d33ec6ecbad1f3", + "gen_hash_zig": "sha256:db87bac234aac029e57125e636b2abf862ef89a1d909cb819a01e671ee8bd5f0", "module": "CArrayRepeatWrapper", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T14:47:00Z", + "sealed_at": "2026-10-20T00:54:12Z", "sealed_by": "t27c-bootstrap@0.5.2", - "spec_hash": "sha256:b51623666b84c1ada70a0a69aa7a45acf5d910b24b894507673a6dccd2998ded", + "spec_hash": "sha256:186396dec711af608a67e24b295153686ca02f7fc4f9a73e3db5001ad5f34710", "spec_path": "specs/compiler/c_array_repeat_wrapper.t27", "tests": { "failed": 0, "failing": [], "forced": false, - "passed": 3, - "total": 3 + "passed": 6, + "total": 6, + "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/compiler_HirIpCatalog_new.json b/.trinity/seals/compiler_HirIpCatalog_new.json index b1ab44009e..e3fa325943 100644 --- a/.trinity/seals/compiler_HirIpCatalog_new.json +++ b/.trinity/seals/compiler_HirIpCatalog_new.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:6b005bc6eb09c5f4fe4c5aff929d2cad6e12a33192da745f32cea047b3060003", + "gen_hash_c": "sha256:c248021cd27e166208ad08bbf6ebc60145037398f33629a0951f83597931a9dc", "gen_hash_rust": "sha256:a55b3b842a16e5e0ffb2465595e5e844efefadf924e88ed3fbc574042756be7d", "gen_hash_verilog": "sha256:a47d2b1eb8e69be6a312de4c08a17ba7e7f8409f3c9c849943d1819f0b32d390", "gen_hash_zig": "sha256:8879331a503304ca7695c5635d8a975aa6a887e1ab5ee6a0ea4df591c7efa123", "module": "HirIpCatalog_new", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:29:24Z", + "sealed_at": "2026-10-20T00:41:12Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:317c38b0b9b8fb6299102da987e542c174167882d5fcb027c68ddc6f10b4c575", "spec_path": "specs/port/bootstrap/src/compiler/HirIpCatalog_new.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/conformance_T27bConformanceArrayRepeatText.json b/.trinity/seals/conformance_T27bConformanceArrayRepeatText.json index 3488d80d2f..ee6bfdd5e0 100644 --- a/.trinity/seals/conformance_T27bConformanceArrayRepeatText.json +++ b/.trinity/seals/conformance_T27bConformanceArrayRepeatText.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:73cfde6ce03ee63d903eb1c39d71b42dcfd4dac5a43379135a7e8c864618c0ad", + "gen_hash_c": "none", "gen_hash_rust": "sha256:315bc89f006ea78837a59128b6d075dc893cdd20ee3323f8733320c737b4855c", "gen_hash_verilog": "sha256:af2a1d7e4a59505082ed9754ce53a317c11575b2c18683bf3ae8096db33afc04", "gen_hash_zig": "sha256:b6e0724fe92249e79a3d64aaf171b49743c7e5463cc6695a8a0f90e965c2c5f9", "module": "T27bConformanceArrayRepeatText", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:30Z", + "sealed_at": "2026-10-20T01:05:43Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:f0e7b21ba76cfec1f656e1d7efdd948fcc0fe1dbcd9b6a8fb3f85280b254d73e", "spec_path": "specs/tri/t27b/conformance/array_repeat_text.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/conformance_T27bConformanceBigRepeatGlobal.json b/.trinity/seals/conformance_T27bConformanceBigRepeatGlobal.json index a4ca4ae292..96045ddb91 100644 --- a/.trinity/seals/conformance_T27bConformanceBigRepeatGlobal.json +++ b/.trinity/seals/conformance_T27bConformanceBigRepeatGlobal.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:2589e8b8e5a52d7688ac72d3dcb75e1315da2fe6868f18e3b65df97120106beb", + "gen_hash_c": "none", "gen_hash_rust": "sha256:eab369c7fb7629a41d0a2418f859f53e02f87b33d65cab93e5158e666aa602b6", "gen_hash_verilog": "sha256:1b31e0722b55d97cf3d636ac2eb19a92a94ec1ce48ab45fbd1dd1302ae22b24f", "gen_hash_zig": "sha256:c7f595453a871869acd176779b5a9d67bb617ec12c80e1ceb203009160b8ce5d", "module": "T27bConformanceBigRepeatGlobal", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:29:42Z", + "sealed_at": "2026-10-20T01:05:59Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:5b0d8d518d80ffac087b77371b1e87ffddcf32060dd132ee8b2cd10efbd0c05c", "spec_path": "specs/tri/t27b/conformance/big_repeat_global.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/crypto_TriHex.json b/.trinity/seals/crypto_TriHex.json index dee84fb227..ba728de3dc 100644 --- a/.trinity/seals/crypto_TriHex.json +++ b/.trinity/seals/crypto_TriHex.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -7,14 +7,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:f221b39d597fc76084236ec78b74313e009d2c2fe9a4d2426d7b5ad5505c1863", + "gen_hash_c": "sha256:954ee4ce55ebb378f17780b46e633685f7e465b00a8702f22cddd47f8de07928", "gen_hash_rust": "sha256:539d164369029a4d3175a49a2e7a7b9604f4aa0f9db7fad637db8e61eac7d69f", "gen_hash_verilog": "sha256:567c44e1a7d3fb59d34e337ae8c32849e474fbd820661fa87f4a7b3ec7d3939d", "gen_hash_zig": "sha256:34a90e5b8c974f3726cd25e96bf327f323234e4daab664f27c093e59eceb92b1", "module": "TriHex", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:29:38Z", + "sealed_at": "2026-10-20T00:41:59Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:1a6d03971b52e254ef4e6dbae12c66e8550bf64cdcc6ada179fbcd2ad6933883", "spec_path": "specs/tri/crypto/hex.t27", @@ -27,7 +27,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/crypto_TriSha256.json b/.trinity/seals/crypto_TriSha256.json index 70686fdd9b..49da9d107a 100644 --- a/.trinity/seals/crypto_TriSha256.json +++ b/.trinity/seals/crypto_TriSha256.json @@ -1,20 +1,20 @@ { - "built_by": "t27c-bootstrap@0.5.2+f1f8a6980", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "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:f30c61486975af47f5154c8a12a62a2bbad93b8179597cbb31162d9dccd9364c", + "gen_hash_c": "sha256:676fc92823e78ea2c369738aabca2936b34c456b55510cab12883511059fede2", "gen_hash_rust": "sha256:ae7995317ccb632cdb28f716fb1afb655d4d542fb05f4c09c6a22f54df9808f0", "gen_hash_verilog": "sha256:7ffa76e7501ce9892dd25862f7f2021dfaa55340d37143f3e85264e842b35cf7", "gen_hash_zig": "sha256:6e42ce8ca57e857b30ac3e2bba0b0b30d7de560324f8646f4f79c627f30b0d99", "module": "TriSha256", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-10T15:03:08Z", + "sealed_at": "2026-10-20T00:42:01Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:7f7cbef299f95f1d9eb4bcacf66292e15e084e633d2d2ac3a751dc47da196b7a", "spec_path": "specs/tri/crypto/sha256.t27", @@ -23,10 +23,11 @@ "failing": [], "forced": false, "passed": 5, - "total": 5 + "total": 5, + "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/crypto_TriSha512.json b/.trinity/seals/crypto_TriSha512.json index d78cdc523f..bfa11c386a 100644 --- a/.trinity/seals/crypto_TriSha512.json +++ b/.trinity/seals/crypto_TriSha512.json @@ -1,20 +1,20 @@ { - "built_by": "t27c-bootstrap@0.5.2+f1f8a6980", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "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:f9de53422a3e4bd0731b993c911e803ac25fd1c1df5f053d86152623b22494a9", + "gen_hash_c": "sha256:59d90bee81995ab680795ca0557e4c8889bcc0272a523aa04c5bf20ff56aca99", "gen_hash_rust": "sha256:804ca0ee810dd29ca7940f0eeca5790718d03f02626d17ca03bf8ec24d842785", "gen_hash_verilog": "sha256:32d0276742789f7542f126999351e159e136e9391306dabb1689469e4f1c8fd0", "gen_hash_zig": "sha256:4f18e71e844e857ee2100bfa94e6dd2cc1b894a36e62308d85e2369d2ded2dae", "module": "TriSha512", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-10T15:03:15Z", + "sealed_at": "2026-10-20T00:42:04Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:1461baa66a894f586dcb17356847bec5933e6f6a42f6e3b7f59a628c66ce62b1", "spec_path": "specs/tri/crypto/sha512.t27", @@ -23,10 +23,11 @@ "failing": [], "forced": false, "passed": 5, - "total": 5 + "total": 5, + "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/depin_depin.prove.json b/.trinity/seals/depin_depin.prove.json index 714da7eddb..c14e8ca7ef 100644 --- a/.trinity/seals/depin_depin.prove.json +++ b/.trinity/seals/depin_depin.prove.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/tri/crypto/sha256.t27", @@ -7,14 +7,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:9b62b16eddc61a99dc2850fd78897196b247289dff1336b80b1de0c7c8a42d38", + "gen_hash_c": "sha256:213633bc01ab8ca7eb9003bc5cef50dcc6b23ce03dc3e50b27ba3a2aecef55b5", "gen_hash_rust": "sha256:6874de68f94a8c1d7827b2d9ae7b067f8287183f052e56f8d5bfa8770d2214ef", "gen_hash_verilog": "sha256:33c6bbf3c0b221401a0e17f3cf6778b3790a00e69e87d619d4be9e4f840da645", "gen_hash_zig": "sha256:575aa59e61b3339edd9894103eb185628cb3b423b1e8ea93473136747a77d697", "module": "depin.prove", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:22Z", + "sealed_at": "2026-10-20T01:06:03Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:399edc0d7c3c0631ae4eab7918fbde7e5e2902db807bb59f19975b0743eee539", "spec_path": "specs/depin/prove.t27", @@ -22,7 +22,7 @@ "blocked": "does not compile: TriSha256.zig:1:1: error: unable to load 'TriSha256.zig': FileNotFound" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/effects_EffectsCapability.json b/.trinity/seals/effects_EffectsCapability.json index 9bda6386ad..314dedbbf6 100644 --- a/.trinity/seals/effects_EffectsCapability.json +++ b/.trinity/seals/effects_EffectsCapability.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+a828060", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/tri/mutate/plant.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:0e264cbb02da8cbe4fb14eb3b88616d04ed64720796ddbd43a8a6e89ff1bc2d7", + "gen_hash_c": "sha256:2b432a4364df26670ec300442f123a88acfa8d22e1ee8ef25e7554b90fea5dcf", "gen_hash_rust": "sha256:abd1989c584555744be2fd47daa2752178a09653d45a352d9913bb6d4d8f1754", "gen_hash_verilog": "sha256:9095af29373e5bea0f261d85d6798c42d9fd35380d534960ae9cfa1a54da2952", "gen_hash_zig": "sha256:6d7b7ca428bfdc8905f37fbb95825859cd7daa34dbd2caaefc339b03d2cedd89", "module": "EffectsCapability", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T11:43:19Z", + "sealed_at": "2026-10-20T01:06:06Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:db62b443135b51db5605ea97c231176f87b63e2a5dcb4fc01624c05eaa740e6b", "spec_path": "specs/effects/capability.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/effects_EffectsFs.json b/.trinity/seals/effects_EffectsFs.json index 47dd8bf371..89fdefa4f9 100644 --- a/.trinity/seals/effects_EffectsFs.json +++ b/.trinity/seals/effects_EffectsFs.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+a828060", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/effects/capability.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:26c0d23ab1b8849fe2af0705527fcc8f5d63bf91bbb105b0bb364687ea7e8762", + "gen_hash_c": "sha256:22856f568d28e3e3c50395635068cbd343bf55e79f960ece502f660bb3a3a880", "gen_hash_rust": "sha256:d1dfd8d7c92e8a5585db7131c07297757d616d110f3ddee2e528429bca479305", "gen_hash_verilog": "sha256:3116b58e2f19dbbe7808b1e6064262522d8c6bc5a5d92ead25344f0263b3f474", "gen_hash_zig": "sha256:7ddf4894f88fa7145806e33ae5420fad0f97dbbf72298d31318d055d7ee99080", "module": "EffectsFs", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T11:43:20Z", + "sealed_at": "2026-10-20T01:06:09Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:51db5ba969a7c008314714bb542d8ef299906cf0fe394a279ed6c2d0802bd552", "spec_path": "specs/effects/fs_cap.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/effects_EffectsReplayOracle.json b/.trinity/seals/effects_EffectsReplayOracle.json index 5969c977d3..26c754ff6c 100644 --- a/.trinity/seals/effects_EffectsReplayOracle.json +++ b/.trinity/seals/effects_EffectsReplayOracle.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d2c8e7d41", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/effects/clock_cap.t27", @@ -11,18 +11,18 @@ }, { "spec": "specs/tools/t27o/rust_std.t27", - "spec_hash": "sha256:32ee8d8c4af07ad5db18cc961fc3965e491e806a0a40a6129b82aae40f1e4547" + "spec_hash": "sha256:e72606b4b3d7611883db25ed9fdaecb4353fe6a1fef551500b3cd1cc18cceb79" } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:c703e00982bc01b3266f80e262094ab41ea125886532053133f410551311461b", + "gen_hash_c": "sha256:0465baa9bf23441253a64b62314a3fde4d71989730e469875c7d98c42050c0fa", "gen_hash_rust": "sha256:67b5b257de66aba398a554309bdf988ed0c650904e68708695190d0626fa6159", "gen_hash_verilog": "sha256:dd343eb6443a587bd11a6085f90b3ddaac0aa91a3acf78aa761e9702d494e822", "gen_hash_zig": "sha256:35ce20d2118f6676aaead9562c2fe767ddc7aa407b0059b081824123b501ed4f", "module": "EffectsReplayOracle", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T05:04:00Z", + "sealed_at": "2026-10-20T01:06:11Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:13329fed9d6f80c83bf5c4256f5e18d47dd42fc58731c3110c75a0cabf0e542d", "spec_path": "specs/effects/replay_oracle.t27", @@ -35,7 +35,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/hosting_HostingSybil.json b/.trinity/seals/hosting_HostingSybil.json index 0409f59628..9016b2235d 100644 --- a/.trinity/seals/hosting_HostingSybil.json +++ b/.trinity/seals/hosting_HostingSybil.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+47df85ce0", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/hosting/credit.t27", @@ -19,7 +19,7 @@ }, { "spec": "specs/queen/simulation.t27", - "spec_hash": "sha256:1accadfb74aacfb8b05fc14842ec62ca1c2c52ab28a6f05bf307f4593fdaefe1" + "spec_hash": "sha256:3ceec56f690de2d6b9f6b4e48e5180150266ec4d85cc7187dff9930aefa81eb4" }, { "spec": "specs/trinet/node-work-credit.t27", @@ -31,14 +31,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:29259545ac4e6bdc507d5d464e71a80ddd9061c87a1818c558dcd0a4d43f7cff", + "gen_hash_c": "sha256:3d2b06c409b18fe69d976f26a7802d013d33debab415cbd6c87c3062aa41fda2", "gen_hash_rust": "sha256:bec898612c865946e424f0facb497fff46738157bd361ade5a6b41a147a52223", "gen_hash_verilog": "sha256:43bc586bfcc413d17a409231578dea29c0247defab450ac65b1e30bb3aa19a00", "gen_hash_zig": "sha256:7c8ae73d8d7c3d11eda2e50fb31e53d998e505435101c422cb35c4f9191c6571", "module": "HostingSybil", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-10T23:02:54Z", + "sealed_at": "2026-10-20T01:06:15Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:2bc7f7f0db0b5c1a15cfd6fb71151bac785f4288e628f9ea65166af451060ce3", "spec_path": "specs/hosting/sybil.t27", @@ -51,7 +51,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/io_TriFs.json b/.trinity/seals/io_TriFs.json index 7767a2ac21..6424779332 100644 --- a/.trinity/seals/io_TriFs.json +++ b/.trinity/seals/io_TriFs.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:ada36f90ca2016d4b59b43fec636417d0d52fee12099337cb4ebcb04f5feb6c9", + "gen_hash_c": "sha256:5153e8661de48e306ce1b0213f70c48a3edc9c372afe1ec3f85d13bbf833a927", "gen_hash_rust": "sha256:bdb037ed7f31c2729e585ac06306de9de70cd789ab941bd605824326ec5fbbc2", "gen_hash_verilog": "sha256:28386829da10ff0b777303016faa13458e2a5df7e961c7be4eba60ba9b3ba9ff", "gen_hash_zig": "sha256:a1cdb30296cd0f351398fab35a0c1f871c7437c618cbe9a94e9f44425c8a96a6", "module": "TriFs", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:32:21Z", + "sealed_at": "2026-10-20T01:06:25Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:8efa7f598919ea7cfb9e5d79189eec736d50c2c577ec27f26ac283c31c6485c6", "spec_path": "specs/tri/io/fs.t27", diff --git a/.trinity/seals/layers_Avgpool2d.json b/.trinity/seals/layers_Avgpool2d.json index e33c16703a..4a5010c2db 100644 --- a/.trinity/seals/layers_Avgpool2d.json +++ b/.trinity/seals/layers_Avgpool2d.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:39484e92dde59ea6003aa29579c663be1f2a2fff26f51d89c03e6d03600233c3", + "gen_hash_c": "sha256:b537909c736ba60508fbc2bfdf0adf3c8dc23ab3a092122a1956df209f101c18", "gen_hash_rust": "sha256:3b8c5c3ca2e5d00307fc6e789685d748679e19ea4853f869a5561fd7ea48eead", "gen_hash_verilog": "sha256:e9da7a31671ad9ba7d84185899d5ac9ac90aa95a3ee48ada52ecc2dc06a81b78", "gen_hash_zig": "sha256:dbc2115c3d9d28e4bcabc275ab2949a604a4952c387324ac41cb944e463e7ac7", "module": "Avgpool2d", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:18Z", + "sealed_at": "2026-10-20T00:40:12Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:de15759fd183094a4dfdff2ea074dfaa79607bc31c789347eed1df151639e9fb", "spec_path": "specs/ml/layers/avgpool2d_layer.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/layers_Batchnorm.json b/.trinity/seals/layers_Batchnorm.json index 4910bc1621..778484f2d6 100644 --- a/.trinity/seals/layers_Batchnorm.json +++ b/.trinity/seals/layers_Batchnorm.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:3fb4de44023edc3ae227ef2379e6fbb9d6596d7cdd792e64f02550994d2b594b", + "gen_hash_c": "sha256:f1b24f61462f6a03db80305b0658df369861523e246b81264601d993d83c340f", "gen_hash_rust": "sha256:5286a92caddb9c43d9de0d79978273dc00cf667bf7ef9507eee02085ce65fe8c", "gen_hash_verilog": "sha256:ed0839202726940807b33f102c9f70b5b7b72e059af38cab494b4ccf8616834a", "gen_hash_zig": "sha256:87ae2270ce9ead3e2ec148c722ddbbab7ddee08744a45fbc7e1c4c96653c51ef", "module": "Batchnorm", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:18Z", + "sealed_at": "2026-10-20T00:40:14Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:479b0fe4e0c7103ae57150096356ef13b6bdc796f6189d8cb563e4d26c115254", "spec_path": "specs/ml/layers/batchnorm_layer.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/layers_Conv2d.json b/.trinity/seals/layers_Conv2d.json index c39c3fa78d..43cac080e2 100644 --- a/.trinity/seals/layers_Conv2d.json +++ b/.trinity/seals/layers_Conv2d.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+239b4b059", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:60f9b428ab8ceb7d2f4654a727012c82d12eafbf92d8dde167418d5a43fe0e10", + "gen_hash_c": "sha256:dfb0c0d64045cc4b46e16f9882c5d64107b6dcca5b46569858e05545425a3400", "gen_hash_rust": "sha256:1b00b1fe570ae33bde1434d0125dc478df1d00f0470df7efb378e5dff574bb30", "gen_hash_verilog": "sha256:83f9eae101994f85bb5be9fb7f154f01d88ff0330c3286322f584689c910b420", "gen_hash_zig": "sha256:c1ec25dbf1daf046dfa6600b183fe3b9501525038b576582e66947e39379074f", "module": "Conv2d", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:01:23Z", + "sealed_at": "2026-10-20T00:40:17Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:9c3e20d01e59ec8df1ae330ac9c3c27f8e67db34d524475733abaf0f3382b7f0", "spec_path": "specs/ml/layers/conv2d_layer.t27", diff --git a/.trinity/seals/layers_Dense.json b/.trinity/seals/layers_Dense.json index 57b2b4d92a..ada406ccd1 100644 --- a/.trinity/seals/layers_Dense.json +++ b/.trinity/seals/layers_Dense.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:1aac204d92097a77428b3968c9ec7618086862f8f971e4e00d666ed132738602", + "gen_hash_c": "sha256:1ad8815bf37139feb62cca958a8d3b3bdcc1270c624c4ca693463bf08dc42005", "gen_hash_rust": "sha256:eddc6839f3d2523e0d914358a9bbe4478a85ba6ca972722f7870940aef949d67", "gen_hash_verilog": "sha256:d0d0a6cf86b1341e595781acb121396a4458f49af603d66ac2fd28bfd6ea72a5", "gen_hash_zig": "sha256:2ff5de1baadbc14a99914ffed991fbbc0a6896f72c0cb7af5089960645f21887", "module": "Dense", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:19Z", + "sealed_at": "2026-10-20T00:40:20Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:c756c98dad128be955c1a56ed60b9ea25d6108c91f92065f69f5a8d76ce0422b", "spec_path": "specs/ml/layers/dense_layer.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/layers_Dropout.json b/.trinity/seals/layers_Dropout.json index 8e03e2370a..d29363fd12 100644 --- a/.trinity/seals/layers_Dropout.json +++ b/.trinity/seals/layers_Dropout.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:1f7c1a1fdfe6fcdb12c198fc0ecd953cbabbd8f1849b3db1559f0af63fec98a5", + "gen_hash_c": "sha256:da32fdd3b111405296f2e57edbccd077fc90267b214286e58a42b058fd0f2ae7", "gen_hash_rust": "sha256:240a1120bb02c9f68bad64a24dcf83512f2879fc870239b910a2e3a99bd86bea", "gen_hash_verilog": "sha256:8340203c8e16b3dd0e3bd130870077ac8fff01b9f8bcb72df3731d4ec15e8987", "gen_hash_zig": "sha256:08440641e15d9086f609eb4ef0276457f2a802f7d98ff7ddc31a00fd48c64101", "module": "Dropout", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:19Z", + "sealed_at": "2026-10-20T00:40:22Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:1d8495587051334995edcb6e2d6a2dffb81528aa1a6a78f86d94bc88ccadb3ec", "spec_path": "specs/ml/layers/dropout_layer.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/layers_Embedding.json b/.trinity/seals/layers_Embedding.json index 5ea017fc1c..156e5c5c69 100644 --- a/.trinity/seals/layers_Embedding.json +++ b/.trinity/seals/layers_Embedding.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:f141fb98f812dfbc14323774e27fcb0bb2dc1eed719d63db678f958fe6e1097e", + "gen_hash_c": "sha256:8af036b6010ab39a207f5f1332b4f24c646bad8d104c6f5ed4fafe784c63662a", "gen_hash_rust": "sha256:74c345177b0da2b457279c8fcb9f0c1932fec692dac6c20eedc6c3cb71b5ee69", "gen_hash_verilog": "sha256:572531e675053a6367c948cec223ec5402a1130e67bd4ba79a38cf30b2a1790b", "gen_hash_zig": "sha256:0a181b0345b5050ddbfbddd22891a88eaee5415737fe014ab80515591b05dcfd", "module": "Embedding", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:19Z", + "sealed_at": "2026-10-20T00:40:25Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:ee2625cfeb90bf9220fdf4a9d1010af3a2327bceafd4fd6341b08b4e1af54094", "spec_path": "specs/ml/layers/embedding_layer.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/layers_Maxpool2d.json b/.trinity/seals/layers_Maxpool2d.json index b91d2939ba..6a45c48d6d 100644 --- a/.trinity/seals/layers_Maxpool2d.json +++ b/.trinity/seals/layers_Maxpool2d.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+239b4b059", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:6e708ec93f81a12af61c9753d1a4186ecb8b7fb3078e120ce3df26b5872bca9c", + "gen_hash_c": "sha256:fbe20afc7ec2a1106cd1aedaea5489b566da5977dff37df0776c441c8be3f8d0", "gen_hash_rust": "sha256:7e107b2c4bbce9d33ad1588e4b934828a4b23c86dad0325d35351928d181f019", "gen_hash_verilog": "sha256:b1581e22f6ad1d843a39a6696c212acd8ca1c13675e84f72816059f3bc817261", "gen_hash_zig": "sha256:4857e2adccd62add1dd719ce5020e5e9862379ccd399a9fcc32c0923a381cb64", "module": "Maxpool2d", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T21:27:49Z", + "sealed_at": "2026-10-20T00:40:28Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:12627dff26da63deb67347730d28228fda9b60ca09779e37d052f4a94f3e7e0a", "spec_path": "specs/ml/layers/maxpool2d_layer.t27", diff --git a/.trinity/seals/loss_BinaryCe.json b/.trinity/seals/loss_BinaryCe.json index 170c997be2..d6f12ab3de 100644 --- a/.trinity/seals/loss_BinaryCe.json +++ b/.trinity/seals/loss_BinaryCe.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:59310fcae4221771d573619d879acc206c62fc42062bafd8b781086b0b28c110", + "gen_hash_c": "sha256:cd52a8fbb00bac618e928f07ec5e380ee6aa0a0b3f3af33db27ec44489f63d66", "gen_hash_rust": "sha256:02553dbc9f1a5f15f71db698c3be28867a79d6de65770888adca6fbbca44c06e", "gen_hash_verilog": "sha256:e7b4b9694701e1572d4cb2ff0af1b882639a6d350ba0956dcb51da5b9427cff6", "gen_hash_zig": "sha256:2df874e44404ca33e855467a4442ad6f1298e54bd6974c1e0999ac54db81be19", "module": "BinaryCe", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:19Z", + "sealed_at": "2026-10-20T00:40:31Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:4b041a9197282c33abafdcc293c3864bae585c9e417d743e0081cf4d734fcf9b", "spec_path": "specs/ml/loss/binary_crossentropy_loss.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/loss_CrossEntropy.json b/.trinity/seals/loss_CrossEntropy.json index 9e443c655d..3a9bc6fa9b 100644 --- a/.trinity/seals/loss_CrossEntropy.json +++ b/.trinity/seals/loss_CrossEntropy.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:d1350853fc165da7d82931e15ddf61059b64ee4a4127ab1cb3b57de6445788f7", + "gen_hash_c": "sha256:996be60b6a88d5bfffc7e2b35203fb8f6ed0176802b66f8b0e385e875e5e94e0", "gen_hash_rust": "sha256:137d54d9d12945252284e621a09f43ed1b29716ceea97b984aac99412c88a76a", "gen_hash_verilog": "sha256:40d293de7c2f4843e169afe028032b91fb48c7254d616508974defc7e528741e", "gen_hash_zig": "sha256:f3a779acc7bcac6a9e6eec42d3744ccab05ae60d1f8c8768b7543f0a026a843f", "module": "CrossEntropy", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:19Z", + "sealed_at": "2026-10-20T00:40:33Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:ddcc9710059ab5fe3ac223a2e067eccbc47b2bd13e874ca24c6e86bf7b5310c3", "spec_path": "specs/ml/loss/cross_entropy_loss.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/nn_GatedLinearAttention.json b/.trinity/seals/nn_GatedLinearAttention.json index 00f404d9f4..ccc22cc745 100644 --- a/.trinity/seals/nn_GatedLinearAttention.json +++ b/.trinity/seals/nn_GatedLinearAttention.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/ops.t27", @@ -19,14 +19,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:6fdef9a77933bbcf3a319eb63afa8f66307368954b25bb50239eb2e84c7edc1d", + "gen_hash_c": "sha256:8be72cef421a92a65581d8d4ef253dda3e51f8373c8b1d9af8c3444873bbfabc", "gen_hash_rust": "sha256:bfbf5b9c4d22b5d8cf2c606ba15559114058c88d3ed8b7b6207839bd8da0af95", "gen_hash_verilog": "sha256:e5bea46d3c85ee1463db1727ba95edd2d908c970d89083ebb2927667de0ddecf", "gen_hash_zig": "sha256:bd75895ae0e7a1cab59c05814763d994dfb09c3558f2ca19a5ac459c2dfb3aa2", "module": "GatedLinearAttention", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:31:03Z", + "sealed_at": "2026-10-20T00:41:09Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:239f26bd0b8b6a5c153885f842a1073a8d39ec6f121c8ad9be00425b8d14a890", "spec_path": "specs/nn/gla.t27", @@ -39,7 +39,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/optimizer_Adagrad.json b/.trinity/seals/optimizer_Adagrad.json index 9ba211a66b..193687015e 100644 --- a/.trinity/seals/optimizer_Adagrad.json +++ b/.trinity/seals/optimizer_Adagrad.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:132ac5c72a1bca6b0590f681175ef120f50e6f666eb741bc6edc1aaff1e33edf", + "gen_hash_c": "sha256:61ad7a562844c65586b17106ec17522ac51836b7ac40e98f724d3c1383079754", "gen_hash_rust": "sha256:dc0d17bd80e2a026d4172f563d3930163a9bbb704ce308c0700e000ecc1f0aa9", "gen_hash_verilog": "sha256:1884cce26b30c8ad1d5906cd32469a0fc9956db247c583db5728fd62ff7544dc", "gen_hash_zig": "sha256:27e5a40004a80d56ca854fa3d1ae0f6eb4d064844f515c9f9e35aa458ecffa4f", "module": "Adagrad", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:26Z", + "sealed_at": "2026-10-20T00:40:36Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:08a6128c1d33dd6fee7e3e3b87f411a3996d11c1b42bacda5cc29318b6bb344e", "spec_path": "specs/ml/optimizer/adagrad.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/optimizer_Lamb.json b/.trinity/seals/optimizer_Lamb.json index 29447ff398..fe31d95cce 100644 --- a/.trinity/seals/optimizer_Lamb.json +++ b/.trinity/seals/optimizer_Lamb.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -15,14 +15,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:f3dd4c62cd0875cb0e7ae6fda1dc194eda57bb6e2fbffa09d68d029ff34068a8", + "gen_hash_c": "sha256:64319b910d14b8ddd77ac2a29f80d1acc47cc546f2be507d5b1bf76131350b8b", "gen_hash_rust": "sha256:9c1b2c39a92873347f8c0332baae5d42f3e6149280bfa06b61891bdabef2d17c", "gen_hash_verilog": "sha256:0321c8606e5b7258c6b559e79f141332800907689ae4316af06e4517fc0b0b35", "gen_hash_zig": "sha256:520ed2a448f52fad6b84233c05c61fa7e8780b9caa4e44197f5c2364af180b8a", "module": "Lamb", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:26Z", + "sealed_at": "2026-10-20T01:06:17Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:3dd28c18f0aa03e48a900bc0a78a02bf8a54812f695656dd4aa3c0f991682971", "spec_path": "specs/ml/optimizer/lamb.t27", @@ -35,7 +35,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/pathway_Mlp.json b/.trinity/seals/pathway_Mlp.json index a08e6da0aa..42a143d1a8 100644 --- a/.trinity/seals/pathway_Mlp.json +++ b/.trinity/seals/pathway_Mlp.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:faae2982fea69da6c476d4e8e6506dd88bdb8279202a9696e9b9cf88637cb17c", + "gen_hash_c": "sha256:64a4b2df9079d78ddee5a382690251437fff739fb1a407d41eef882185db143e", "gen_hash_rust": "sha256:0b7f25cc0ac0e2519b3e0092fc71359eddda5d96ee4d311e4a7ebae33c8b64f1", "gen_hash_verilog": "sha256:890f720aedb65673d90646517a62fdedcf022d4cb3c6cecf545861d8656dfbee", "gen_hash_zig": "sha256:746e7a402eb34d5bcb6070e82b62519385aca793d7d8d8e2b37741365b765d5f", "module": "Mlp", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:20Z", + "sealed_at": "2026-10-20T00:40:39Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:936f35f57c99851545afe0b1797b416777549610a3f57cf49c0727311eef281a", "spec_path": "specs/ml/pathway/mlp.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/prove.json b/.trinity/seals/prove.json index 5caa4d45dd..890bcd79a2 100644 --- a/.trinity/seals/prove.json +++ b/.trinity/seals/prove.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:9b62b16eddc61a99dc2850fd78897196b247289dff1336b80b1de0c7c8a42d38", + "gen_hash_c": "sha256:213633bc01ab8ca7eb9003bc5cef50dcc6b23ce03dc3e50b27ba3a2aecef55b5", "gen_hash_rust": "sha256:6874de68f94a8c1d7827b2d9ae7b067f8287183f052e56f8d5bfa8770d2214ef", "gen_hash_verilog": "sha256:33c6bbf3c0b221401a0e17f3cf6778b3790a00e69e87d619d4be9e4f840da645", "gen_hash_zig": "sha256:575aa59e61b3339edd9894103eb185628cb3b423b1e8ea93473136747a77d697", "module": "depin.prove", "ring": 0, - "sealed_at": "2026-10-11T15:13:22Z", + "sealed_at": "2026-10-20T01:06:03Z", "spec_hash": "sha256:399edc0d7c3c0631ae4eab7918fbde7e5e2902db807bb59f19975b0743eee539", "spec_path": "specs/depin/prove.t27", "tests": { diff --git a/.trinity/seals/recurrent_Attention.json b/.trinity/seals/recurrent_Attention.json index d6641a1d37..c8b9a227cc 100644 --- a/.trinity/seals/recurrent_Attention.json +++ b/.trinity/seals/recurrent_Attention.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:d6db1c1c53f0f2cc7aa5eb55ebd776cdca18369be6b57fe36be2914ca652b9ed", + "gen_hash_c": "sha256:e3cfc725e4f5a1190bed8689ce698043dae4ca0b1a8bc63d4c5a2ce603a268bb", "gen_hash_rust": "sha256:af7970ed6dbc3b992a758768233444f25f363e6e98a07bb9512b68694f27dccc", "gen_hash_verilog": "sha256:5e200cbd4aef1c0a9ef65b6312ecabc20b5cd44943b5bec1afbb68c0f47f70e9", "gen_hash_zig": "sha256:4ce11a29a74f8bd70ceaaa2aa6314e0b9c3312ca025f6b00cd13cbe31556dca9", "module": "Attention", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:20Z", + "sealed_at": "2026-10-20T00:40:42Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:f3f3c3bf7bd4d4d79173dc34896aa185857d5abc3e8684c3bfcd949547c9b591", "spec_path": "specs/ml/recurrent/attention_mechanism.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/recurrent_Bilstm.json b/.trinity/seals/recurrent_Bilstm.json index 3cb6a6cf58..de6cbbd6a2 100644 --- a/.trinity/seals/recurrent_Bilstm.json +++ b/.trinity/seals/recurrent_Bilstm.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -15,14 +15,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:36d162b43b399a65f7f81412ca08419a9b3874245289988c78222cac4e8db0f0", + "gen_hash_c": "sha256:ea1ee59568137ba4dd3ea54c8a11c24234a7906216ad53ad44c980d486586bd4", "gen_hash_rust": "sha256:46d6427a8d780cb22f4b10c62103d9541eb92874e336a92627e5da6250bfbefa", "gen_hash_verilog": "sha256:d304d2d9c18879c385e2bfffbee17e8116d480b9478c496440f846427f3080fb", "gen_hash_zig": "sha256:30ba571314d22ee7d73ee06e401d9994becac949abe17c7b149d4cd9a003790e", "module": "Bilstm", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:26Z", + "sealed_at": "2026-10-20T01:06:20Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:d9e758b520a636bb30f403dae2bc73376bc5c6e22d34f699e1274ba2b2c28398", "spec_path": "specs/ml/recurrent/bilstm.t27", @@ -35,7 +35,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/recurrent_Gru.json b/.trinity/seals/recurrent_Gru.json index bb1b5dd3e2..8f2974852b 100644 --- a/.trinity/seals/recurrent_Gru.json +++ b/.trinity/seals/recurrent_Gru.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:3a55691994f0b48444fa7d118e69ac14a37827468319c330b3fc23815d7ac3b3", + "gen_hash_c": "sha256:fb4814fac299611e1f53a2f65a4630690911e2de5660d0bd1dd8e038db48240d", "gen_hash_rust": "sha256:eab72fb71adc11da75394aa3d3abdf98c3665143d20fbd86d1e57a2025be5527", "gen_hash_verilog": "sha256:60c582a3f47d655fec90d88ab3d0b0c82d83a1b160a1d0b3eab5d67bdcb0d4af", "gen_hash_zig": "sha256:06374623b7179a0f0e21559f8ca7c58f03e123e2706f84f3b8c7285c8a796d70", "module": "Gru", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:26Z", + "sealed_at": "2026-10-20T00:40:44Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:c191eb8649f58b0c1e1580164ad215b8c4b548e77dbf32bc4f5ebf4c837dc5a8", "spec_path": "specs/ml/recurrent/gru_cell.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/recurrent_Lstm.json b/.trinity/seals/recurrent_Lstm.json index ef6e67f9cd..cbbf60421e 100644 --- a/.trinity/seals/recurrent_Lstm.json +++ b/.trinity/seals/recurrent_Lstm.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:b24209a10b9e1fecba214c5371e2f6082d40e4883e8475d92b5cd17402973f8d", + "gen_hash_c": "sha256:224cd09a6d5c9f0e5970ada826a45da0520aa582acd0b2bad05629f7894dea54", "gen_hash_rust": "sha256:9abf99115a50ab78e1c7a85f1087d73fd2f00608cbabfbce7366acfbb29d076e", "gen_hash_verilog": "sha256:cf79c7aab17eb183eeccecbf815846d36aa9aaf794e9fbd85221ded1ae116c61", "gen_hash_zig": "sha256:b125bf7107aeb718749dcabac7e358b103604f036cd683926b0e8d65e6d10d2d", "module": "Lstm", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:27Z", + "sealed_at": "2026-10-20T00:40:47Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:5309a4ecb26dd1eff22f0afa785411c178035836bcbe781c4a2f7fae64bc2a67", "spec_path": "specs/ml/recurrent/lstm_cell.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/recurrent_LstmCell.json b/.trinity/seals/recurrent_LstmCell.json index fa611c4e08..cc05247f13 100644 --- a/.trinity/seals/recurrent_LstmCell.json +++ b/.trinity/seals/recurrent_LstmCell.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:67e9d46e36a19b3474cc6dbae920d6927ff3a482210ea848d0f608d0ccef17af", + "gen_hash_c": "sha256:6d6fab627ab4ce45d94be2d5b611f37f6975977ac69a6e31014ed1c93e07095e", "gen_hash_rust": "sha256:f273354cdd17b00779ddaa9bf430ba76eabf674b7c0c2e751f0cbb6e5f6eda77", "gen_hash_verilog": "sha256:3a7ceb27aa49602fde255db6321a7a453cf6ebc8e87bad57c4970f57ef804769", "gen_hash_zig": "sha256:f7f1c164368fa4912292a1d7c2f0cb6b23a3d78bd7a97f5f40dd73b0bd8ec6db", "module": "LstmCell", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:27Z", + "sealed_at": "2026-10-20T00:40:49Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:ef4ffa30e7adf81c8467768ec637ba33643c7872f6746cf244cdaa12eff68385", "spec_path": "specs/ml/recurrent/lstm_single.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/recurrent_RnnCell.json b/.trinity/seals/recurrent_RnnCell.json index e4fad47638..17504d9a60 100644 --- a/.trinity/seals/recurrent_RnnCell.json +++ b/.trinity/seals/recurrent_RnnCell.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:e677424e4496577dc01a8e17d01ef62688aca9e496698d1c8fcb724d89146f01", + "gen_hash_c": "sha256:32b55382184e8fadc8b4b73f0cee45d8e4b337739705e11cdb09fbe9e0e2692d", "gen_hash_rust": "sha256:3ff2ac16d685d33341814205853d1acf8d038298df22322f7aef0f86271014a1", "gen_hash_verilog": "sha256:b566b12ac3c311ed309eb719558b56c9d2ed9f3068c2a1470053d1a863d01ed8", "gen_hash_zig": "sha256:955445b259e2ca54159413a727129e119d1a61e8e38ff67b4e4a3f2c48257540", "module": "RnnCell", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:27Z", + "sealed_at": "2026-10-20T00:40:52Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:09f67415a49b61d028c7a15e93caff8f3d3d309b7bb9452b1b6260132caf8887", "spec_path": "specs/ml/recurrent/rnn_cell.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/rl_PpoCritic.json b/.trinity/seals/rl_PpoCritic.json index 9987e9b092..f6f2ed7e5d 100644 --- a/.trinity/seals/rl_PpoCritic.json +++ b/.trinity/seals/rl_PpoCritic.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -15,14 +15,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:dfe4928caf3eb0da2a106905e3a49faedc393248d9b0ad584d90e6a687c93739", + "gen_hash_c": "sha256:c6397bff7b73ab1f97e527fb325905e0a41e9ff29ff1f7a9a74803811bb2cf7f", "gen_hash_rust": "sha256:06d8334fc48c1bc40b2dad281f4170c7159ca7e510cd8c8a08b4135203014d6b", "gen_hash_verilog": "sha256:6b8841784e9aaf4927d43fd379b638a02182657882f35222fb977a7efea72521", "gen_hash_zig": "sha256:3af885cdbc8395d8b20dfdb34113a0d32b248f60b7fc7d1f2abf070b0b434004", "module": "PpoCritic", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:28Z", + "sealed_at": "2026-10-20T01:06:23Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:e9f86be672a9d2741ff8dd621803bd6df93768c54ea98eed45f2f4d81bc266ba", "spec_path": "specs/ml/rl/ppo_critic.t27", @@ -35,7 +35,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/search_TriBloomFilter.json b/.trinity/seals/search_TriBloomFilter.json index b2e4cc8e47..6b1c5f4133 100644 --- a/.trinity/seals/search_TriBloomFilter.json +++ b/.trinity/seals/search_TriBloomFilter.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:b00bda95b1aac949a5d95fc1858e88e09def60242b4c21441b42f454201571c2", + "gen_hash_c": "sha256:a9026d20aabba56f40775f06f222d8add36776cf0948a169cf6302547cef5b3d", "gen_hash_rust": "sha256:67ebb6cdba88379ab02f3fa4bbd408909c7c9f80d4a9c192cecd627c7647195f", "gen_hash_verilog": "sha256:24c4b601078a27fb4912548e409a89479e11c927ab3deb102629a8f28ec3cd51", "gen_hash_zig": "sha256:c509d5520aa35f05c030dd0d01ddc66706d771510e174c15481573925722f892", "module": "TriBloomFilter", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:30Z", + "sealed_at": "2026-10-20T00:42:07Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:af9836843e77e4209c2a72de225a8b60e5f66f2d34572fb6faec6640c612a270", "spec_path": "specs/tri/search/bloom_filter.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/src_port::transport.json b/.trinity/seals/src_port::transport.json index d625699915..9920abaf3c 100644 --- a/.trinity/seals/src_port::transport.json +++ b/.trinity/seals/src_port::transport.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:55ab532b21a8744f13a9c8f63fbf9e729be39ad29b8f5599f66ef1248e956843", + "gen_hash_c": "sha256:3d908e8acb54f2da049f0475f93c2978cf290799b54042450d4aa69474d09d8d", "gen_hash_rust": "sha256:513cce95702a38454b3631d4a85f5b72fa3f982b5bec38576ff7bc5db0d02796", "gen_hash_verilog": "sha256:654189be3748e2d1f0868c63468b74e70376e089b8d86da25c151e2663479ca3", "gen_hash_zig": "sha256:6209f72082b2ee0b31a93f3c825c150896c627d55c36355871556bb0a94d2a5c", "module": "port::transport", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:29:32Z", + "sealed_at": "2026-10-20T00:41:32Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:496523bad57745dfddfb12010e3d4eaf8427ad4f5586004fab49cc678b6d0d46", "spec_path": "specs/port/trios/apps/trios-macos/rings/RUST-13/clade-meshd/src/transport.t27", @@ -22,7 +22,7 @@ "vacuous": 3 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/src_port::trios::crates::trios-ui::rings::UR-03::src::lib.json b/.trinity/seals/src_port::trios::crates::trios-ui::rings::UR-03::src::lib.json index e433d40f21..17cb6a2a98 100644 --- a/.trinity/seals/src_port::trios::crates::trios-ui::rings::UR-03::src::lib.json +++ b/.trinity/seals/src_port::trios::crates::trios-ui::rings::UR-03::src::lib.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+d2c8e7d41", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:e39d7b68f46684ab30a060767fa50d377d9334f73bd9a70a53a2aabd9862a641", + "gen_hash_c": "sha256:8148579362fbac560bb4aa28c038bc4f5f843354ab6aa4479f68b54301d9e2d7", "gen_hash_rust": "sha256:bb3fe1a73144a9a78005c6017312ab622d3268a841b9f5989d3e8518410e4c05", "gen_hash_verilog": "sha256:eda350975a01984e6f2c7653f217da0a99a7c5914db155f909cdf108fb817bcb", "gen_hash_zig": "sha256:70c8f1c93661c3b95a10c115eb9781eb42022b8f610aa1b581d25cf9ed8808bb", "module": "port::trios::crates::trios-ui::rings::UR-03::src::lib", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T05:06:46Z", + "sealed_at": "2026-10-20T00:41:35Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:8c4c7a92d757bdceaaa057e25285f15e653143606946c111e7872034dc45af6e", "spec_path": "specs/port/trios/crates/trios-ui/rings/UR-03/src/lib.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/t27b_T27bBlockers.json b/.trinity/seals/t27b_T27bBlockers.json index f4dc6a4ad0..8c074563d6 100644 --- a/.trinity/seals/t27b_T27bBlockers.json +++ b/.trinity/seals/t27b_T27bBlockers.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:0a7dbec27cf38811f20989fabbac9ee37436a93715a4cc3c240880920c854699", + "gen_hash_c": "sha256:78ea38baa8cf3e64de0889a9e3e235d2ee66e17fd69f5e1f962d91d57e507126", "gen_hash_rust": "sha256:d8e532527e706b00a6497cc860cf8badc71984ddbfc03c0814100fb01bbe0741", "gen_hash_verilog": "sha256:63428892a8439a0bd9e2522924a1a1c65dc6343cd3e87c21711d1db85dd1a942", "gen_hash_zig": "sha256:b873256c2cf3a2a339eb32fe8c35ac3e00994e60288e9142a0dd4a68591f4c62", "module": "T27bBlockers", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:29Z", + "sealed_at": "2026-10-20T00:42:09Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:747102f3d4ce187453e0c1ac568e1716431b207a2473c264613538686d3c4395", "spec_path": "specs/tri/t27b/blockers.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/t27o_T27oRust.json b/.trinity/seals/t27o_T27oRust.json index f4c63e711f..d1c35134cb 100644 --- a/.trinity/seals/t27o_T27oRust.json +++ b/.trinity/seals/t27o_T27oRust.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+b258b9007", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:b8e42e85b2ccd7e591ca3b485fee80244056e0cd01bebeea25b14aa73bd89e68", + "gen_hash_c": "sha256:ab9b5cbb7c29969e25cfeb22b3e4670cd3ca22411cc5cd0c562545e40651d1b3", "gen_hash_rust": "sha256:fdac1e1c4eeebc210cf0e4787f858970791f93b25b51672fb930e3a86668525e", "gen_hash_verilog": "sha256:9019dde0e27c80177a221ab7e74eb64d0264c1b52d2d0116cde1bb0c55f5e75f", "gen_hash_zig": "sha256:531c54a26c50418065283f6c78ea153d2f3b98bc4f2d6531e79cf2d3b5ab776c", "module": "T27oRust", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T18:50:55Z", + "sealed_at": "2026-10-20T00:41:47Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:455dc21c58322da101de1ade5ebc45e713e35b895861860b85709706297d345f", "spec_path": "specs/tools/t27o/rust_convert.t27", diff --git a/.trinity/seals/ternary_HybridArithmetic.json b/.trinity/seals/ternary_HybridArithmetic.json index 456a5bbf17..4152cc4552 100644 --- a/.trinity/seals/ternary_HybridArithmetic.json +++ b/.trinity/seals/ternary_HybridArithmetic.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/ops; // trit operations.t27", @@ -15,14 +15,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:7fed36b978d6ee065f81ed902cb5193bc6e77502527a89364f48a7169413279d", + "gen_hash_c": "none", "gen_hash_rust": "sha256:d5d6889e8664c565c4c799f77beee3baa96120875709f5caccfbe6844d61bc72", "gen_hash_verilog": "sha256:505aa2cfbafc150adc21330237dfa62fdb3b8327e62f8423b498f450afde5815", "gen_hash_zig": "sha256:f1e60268280d3e22886388ac619408d2da4c86aa26e284492eac82670d18f446", "module": "HybridArithmetic", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:28Z", + "sealed_at": "2026-10-20T01:05:56Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:60e1436c9824221d833735dc04c56bd447a66e4253703feb6b3b5024f96d1db2", "spec_path": "specs/ternary/hybrid_arithmetic.t27", @@ -30,7 +30,7 @@ "blocked": "does not compile: spec.zig:94:26: error: use of undeclared identifier 'packed_mode'" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/transformer_EncoderBlock.json b/.trinity/seals/transformer_EncoderBlock.json index 1e2b1ed333..126f2129cb 100644 --- a/.trinity/seals/transformer_EncoderBlock.json +++ b/.trinity/seals/transformer_EncoderBlock.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:809b292e2ed86670b9df53cf644cfcff8020f92bc3fabd9b9a82dd3a9cb9bad1", + "gen_hash_c": "sha256:864b81db96a7491fc8b872d73d11b3bf474e5ac9de74b451a03dca3753441ece", "gen_hash_rust": "sha256:5d7c329654e88c7bbd08840bcf138ac87bed09b20705522efcfc746ec69e9b7b", "gen_hash_verilog": "sha256:14110e9b6924360867c489ce96c8b5da976b8a70b89423f35978616cc29f1435", "gen_hash_zig": "sha256:db1544156f525c66f2a4408b0a0eebd183c5faddde5b35752bb691abae601e0e", "module": "EncoderBlock", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:22Z", + "sealed_at": "2026-10-20T00:40:55Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:e21519a3f7912ca70d35919cc1f9d2927b746f8e545c741e3772c1eb7e06561a", "spec_path": "specs/ml/transformer/encoder_block.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/transformer_FeedForward.json b/.trinity/seals/transformer_FeedForward.json index 0b49711f82..5ba0db578b 100644 --- a/.trinity/seals/transformer_FeedForward.json +++ b/.trinity/seals/transformer_FeedForward.json @@ -1,11 +1,11 @@ { - "gen_hash_c": "sha256:99213c5eb466883cafffdf865dedb5e9577ac1b9b5115fb157be0834f3a5cba2", + "gen_hash_c": "sha256:c254a42b0dc8acc5c9b2b7933ff80f6b606b9d3ebb5fa6420c0e0ca56c1a6bd2", "gen_hash_rust": "sha256:996394661d8adc13c3b40c5c0958cd07c2a5e26c80813a43a664e90bac04802a", "gen_hash_verilog": "sha256:efb4c19a6c146d3c52aacd8dd8892d99cef861fb6b8514be4e1b9c08ebcf4a1a", "gen_hash_zig": "sha256:ac058271730c1e6689d6e039fd1f3467683dfd656ce16eee3bafe76d1cd02c7a", "module": "FeedForward", "ring": 12, - "sealed_at": "2026-10-11T10:43:22Z", + "sealed_at": "2026-10-20T00:40:57Z", "spec_hash": "sha256:effd9976f70fcdf53427b8ea2c45f96fcb86dece6f0a9c63bd9774dfc8311705", "spec_path": "specs/ml/transformer/feed_forward_network.t27", "tests": { diff --git a/.trinity/seals/transformer_FeedForwardNetwork.json b/.trinity/seals/transformer_FeedForwardNetwork.json index 3b8789b1b9..5af3745129 100644 --- a/.trinity/seals/transformer_FeedForwardNetwork.json +++ b/.trinity/seals/transformer_FeedForwardNetwork.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:99213c5eb466883cafffdf865dedb5e9577ac1b9b5115fb157be0834f3a5cba2", + "gen_hash_c": "sha256:c254a42b0dc8acc5c9b2b7933ff80f6b606b9d3ebb5fa6420c0e0ca56c1a6bd2", "gen_hash_rust": "sha256:996394661d8adc13c3b40c5c0958cd07c2a5e26c80813a43a664e90bac04802a", "gen_hash_verilog": "sha256:efb4c19a6c146d3c52aacd8dd8892d99cef861fb6b8514be4e1b9c08ebcf4a1a", "gen_hash_zig": "sha256:ac058271730c1e6689d6e039fd1f3467683dfd656ce16eee3bafe76d1cd02c7a", "module": "FeedForwardNetwork", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:22Z", + "sealed_at": "2026-10-20T00:40:57Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:effd9976f70fcdf53427b8ea2c45f96fcb86dece6f0a9c63bd9774dfc8311705", "spec_path": "specs/ml/transformer/feed_forward_network.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/transformer_LayerNorm.json b/.trinity/seals/transformer_LayerNorm.json index 5f6cf2ac8a..261524085d 100644 --- a/.trinity/seals/transformer_LayerNorm.json +++ b/.trinity/seals/transformer_LayerNorm.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -15,14 +15,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:f1867dd0b3db5867aa436af0901f47995d4ee2a7b7f089da78521197f082fa1a", + "gen_hash_c": "sha256:b492dbcd3cb8bb0883b37a14abcb1f2b8d631f9f6b28416ecf116f8450c53eb3", "gen_hash_rust": "sha256:9d0045ef689360adb44276903ffb4f61a4531048c40f8ea0c6406ad9d3fa078d", "gen_hash_verilog": "sha256:eeecdb08cfd433944831d044b569c18217f43a3fa44295db864ea880b0995e87", "gen_hash_zig": "sha256:afef4edb7cd4e23858823d19c660f13ae2e5d25bbb73fd0000759af17c53f2d5", "module": "LayerNorm", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:30:34Z", + "sealed_at": "2026-10-20T00:41:00Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:02df7cdb4ae81693957c77748a2964c8fc0d66d662ce3f2cb65c0c5afeea7338", "spec_path": "specs/ml/transformer/norm.t27", diff --git a/.trinity/seals/transformer_PositionalEnc.json b/.trinity/seals/transformer_PositionalEnc.json index b2ed23e8f7..6c1ee9a4f2 100644 --- a/.trinity/seals/transformer_PositionalEnc.json +++ b/.trinity/seals/transformer_PositionalEnc.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:baa54673ba9f12af4afa2f8792d6bb6b52e46e872c7a4fbc3979dcffd4d00aea", + "gen_hash_c": "sha256:8b40191691cdc37172b63c83b8b70ac2ab68c215ac437c5a00c7bb1a11b1a00e", "gen_hash_rust": "sha256:2ac7b280c242cd14a908480d4a3374ec7ff19157d99c042f713f6611fb8b5910", "gen_hash_verilog": "sha256:c16df5676ae6cbba44977010bdabc7099efb7d3a4c8634d7318341328d3b4746", "gen_hash_zig": "sha256:3731945013e48c34fd5cbfd6341c6d99fe0963d4e7daeb364908b545aa5dbff1", "module": "PositionalEnc", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:22Z", + "sealed_at": "2026-10-20T00:41:06Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:2c979472dc128223ad4645c13b2776435ddf344ea29ffa5ed2e6c0b0056d3f09", "spec_path": "specs/ml/transformer/positional_encoding.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/transformer_PositionalEncoding.json b/.trinity/seals/transformer_PositionalEncoding.json index 0ae8e8fddf..c0dcd56297 100644 --- a/.trinity/seals/transformer_PositionalEncoding.json +++ b/.trinity/seals/transformer_PositionalEncoding.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -15,14 +15,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:ec86166221bce17670292479a492d63efd7357d82139d48e6f327e7f7a419576", + "gen_hash_c": "sha256:1435dd1a82bd3797d54947101f888ebd4801d76c5b71ed3d598d29d7aecfe3b6", "gen_hash_rust": "sha256:2b247d65a52db62c750662f763080908ac0ff951224c0dd11ec7d68c1873940b", "gen_hash_verilog": "sha256:6a04da06a13f196eaff527d3cc2e41ad39ed2d3776d19404fd094d7f1309f70a", "gen_hash_zig": "sha256:beba0b97c0b7fcce5960fdb349e4a20e4904b18b98fb6fc405eb8aae40b0b401", "module": "PositionalEncoding", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:26:57Z", + "sealed_at": "2026-10-20T00:41:04Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:9aecf41e59869d97c2c3d7cd6ecab85da44216f837a97701695b274900eec2a8", "spec_path": "specs/ml/transformer/positional_enc.t27", diff --git a/.trinity/seals/tri_port::gen_splay_tree.json b/.trinity/seals/tri_port::gen_splay_tree.json index 86f8bd5220..4b7adc641a 100644 --- a/.trinity/seals/tri_port::gen_splay_tree.json +++ b/.trinity/seals/tri_port::gen_splay_tree.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+d2c8e7d41", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:b740c7f444fae270b8846cfb4e24a592b661ee3df3789a17058d7f02914da93f", + "gen_hash_c": "sha256:0300a259d02c7400c0f9a10a58b094c77cc3e07a835350381584e329c53783d0", "gen_hash_rust": "sha256:1ecd9fec6c0b07056731c6ee8cc3e93cfe86a226a45129de14494bbfc4ea06f5", "gen_hash_verilog": "sha256:5cd66d4ab06d44fffa670b0fec2937a43ec21596c970be5e26d496ca9795bde5", "gen_hash_zig": "sha256:8dc904fb26afe5b55b42138209207bb1102393cc9e0a0c3ffa6cd485ee56e97a", "module": "port::gen_splay_tree", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T05:05:15Z", + "sealed_at": "2026-10-20T00:41:30Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:ece58cd9d0c31530fd1a43d7961be491381bb73fd2e8f54fca511e54a86d9925", "spec_path": "specs/port/trinity/src/tri/gen_splay_tree.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/tri_port::trinity.src.tri.gen_image.json b/.trinity/seals/tri_port::trinity.src.tri.gen_image.json index 7ff229e5bc..0058ab6116 100644 --- a/.trinity/seals/tri_port::trinity.src.tri.gen_image.json +++ b/.trinity/seals/tri_port::trinity.src.tri.gen_image.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:08c33ac9ef547209407ae82a8aea11e6ddd2994a7e9c278f4b73b35ed228053f", + "gen_hash_c": "sha256:42a42d8b2005a90dae6cbd27711f925aafc42b89417cbe1d06f0170cd17e3aa9", "gen_hash_rust": "sha256:cbd4da0700fd4305a511b7264d592153e3ed0b51d660073453c5a8e95cc8238c", "gen_hash_verilog": "sha256:9f5166138dfc65b91f9f938a3a9ca394040205638c835a1280a131e4c9800941", "gen_hash_zig": "sha256:6b69112da35cba986025e405daa74cef0f8190df11a1e58eeef72510bfd07236", "module": "port::trinity.src.tri.gen_image", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:25Z", + "sealed_at": "2026-10-20T00:41:22Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:fba2be1c5aeebaf5c5a772a53b829549a6416f83d71df29561c1a413bc9bf876", "spec_path": "specs/port/trinity/src/tri/gen_image.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/tri_port::trinity::src::tri::gen_cache.json b/.trinity/seals/tri_port::trinity::src::tri::gen_cache.json index ca88a66046..6d6f558a5d 100644 --- a/.trinity/seals/tri_port::trinity::src::tri::gen_cache.json +++ b/.trinity/seals/tri_port::trinity::src::tri::gen_cache.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:699eee3c30ceae539e1c5ae6ed4809e2d48b03625cbd43b5e88fad10b666d1dd", + "gen_hash_c": "sha256:cb2b92faf06390015066784d4b14dad246c2e6dca5480fcf347958ae94f401f4", "gen_hash_rust": "sha256:c72739bf0d9f8e1bbfb870dce51108cd7d5dc2926e09f519e95fcdff62eb0fa6", "gen_hash_verilog": "sha256:d17831c7316675dd1bfbbdde75ee879183b1d913a4eb638d52ab2ff62350b8ec", "gen_hash_zig": "sha256:edac0cd569fa53d101c6b088f8d469d7e6e0e3cb86d67db48ba2770fb313686e", "module": "port::trinity::src::tri::gen_cache", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:39Z", + "sealed_at": "2026-10-20T00:41:14Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:3cb9e247d4f1e90d67e1699c964ae82410996e3e2323b134f98fb83d9b8ea0cd", "spec_path": "specs/port/trinity/src/tri/gen_cache.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/tri_port::trinity::src::tri::gen_gradient.json b/.trinity/seals/tri_port::trinity::src::tri::gen_gradient.json index b055bbf840..75bb7c4e5c 100644 --- a/.trinity/seals/tri_port::trinity::src::tri::gen_gradient.json +++ b/.trinity/seals/tri_port::trinity::src::tri::gen_gradient.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+0d573722c", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:2628e21d7c5f32e3b2cf27057fdcc8b8ad2d6477b5f6ad3be8f7175a82bb466f", + "gen_hash_c": "sha256:35dd6f2a7367044da2a4d4bfb66d33b0be0699889addee48eb98721348c23136", "gen_hash_rust": "sha256:dd06d221917ec1567a6b73fee61a31ce9ab04cc8b8be0fa62a7b0b0fff808008", "gen_hash_verilog": "sha256:c7260c9e75dfbf56b18693cc0b443d0602054cbd62bd7ed0f5307de5f91cc30c", "gen_hash_zig": "sha256:d6aa491e92788c5977c55b91f1e87c4dbee90b2eec35c7871229ce8817538248", "module": "port::trinity::src::tri::gen_gradient", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T21:20:26Z", + "sealed_at": "2026-10-20T00:41:19Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:1421b683a9917871094129d877af14ba97a55ca9255e8d6a103c4669a6ab09cb", "spec_path": "specs/port/trinity/src/tri/gen_gradient.t27", @@ -18,10 +18,11 @@ "failing": [], "forced": false, "passed": 4, - "total": 4 + "total": 4, + "vacuous": 2 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/tri_port::trinity::src::tri::gen_record_store.json b/.trinity/seals/tri_port::trinity::src::tri::gen_record_store.json index 61ceb9add9..f164982325 100644 --- a/.trinity/seals/tri_port::trinity::src::tri::gen_record_store.json +++ b/.trinity/seals/tri_port::trinity::src::tri::gen_record_store.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:e30eae4e08c7cb1684f75115391a3467dc05e5276141a2c84cd3f77951ec99aa", + "gen_hash_c": "sha256:7ebe71101a640d4704868a6cab2ec11d1ccd1259a5fd76d93b2ea0d1f56c36a6", "gen_hash_rust": "sha256:4be8601445b67e42441f7cdb3135ec4fa6c25d583dd086d9ef416a8735af822a", "gen_hash_verilog": "sha256:77524da64a7bedafe74f03d711d92d6eace607867ed4643926cc9932c20d0725", "gen_hash_zig": "sha256:35ffd55affbb7d42cf2091db63c7e6370ac589c252df155a857037986af135f5", "module": "port::trinity::src::tri::gen_record_store", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:25Z", + "sealed_at": "2026-10-20T00:41:25Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:baf7a2297fb025bd4fce517b9ef5dbfa47888c8a5daf3cec4e08e3c1e0e1e546", "spec_path": "specs/port/trinity/src/tri/gen_record_store.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/tri_port::trinity::src::tri::gen_skiplist_impl.json b/.trinity/seals/tri_port::trinity::src::tri::gen_skiplist_impl.json index 5151036f14..86e29b8776 100644 --- a/.trinity/seals/tri_port::trinity::src::tri::gen_skiplist_impl.json +++ b/.trinity/seals/tri_port::trinity::src::tri::gen_skiplist_impl.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:3463f06e67b700fe945c221e03891925ea684dc5734cf19b34e59e16c8a99326", + "gen_hash_c": "sha256:13c57dbb11dac0ee09e626f6938fa400838d13f918c7b55a94bb01baa397e2c9", "gen_hash_rust": "sha256:4229815c68ecb34822fb78d52b3f323f67628a58d846a6a8837cecdef568f90b", "gen_hash_verilog": "sha256:747d0419c8af57f64541e7d1124a72be7cc7d37869d0bed447d53e03766855e9", "gen_hash_zig": "sha256:ed47123f270d7fddbae930753f691a097b284af59a005f8772a07cac377c3d2d", "module": "port::trinity::src::tri::gen_skiplist_impl", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:42Z", + "sealed_at": "2026-10-20T00:41:27Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:762983cc29f318a7ecbd97ca956760c95281146a7724ed1a736c324420ff07cd", "spec_path": "specs/port/trinity/src/tri/gen_skiplist_impl.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/tri_tri::gen_canvas.json b/.trinity/seals/tri_tri::gen_canvas.json index 79fb0877b2..e6c9898bb7 100644 --- a/.trinity/seals/tri_tri::gen_canvas.json +++ b/.trinity/seals/tri_tri::gen_canvas.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:54647b531a8d7b73c0aadd682a1d14f3018ac2ba38aed08f9cffc02af0c7ed80", + "gen_hash_c": "sha256:0bd1f878f19e5bafc6cd1d3a30ad11056cceefcb1a14401c0e662bd70709258d", "gen_hash_rust": "sha256:f95873278617d03b8be947af9628ab9bcba2e60bbd56b39326628a79e59dbfe0", "gen_hash_verilog": "sha256:a2483ed61b91fc8ffaac76dfabf7727e6294dea18177153dd278f8f687b00c8b", "gen_hash_zig": "sha256:a5fd6e2a881d7ce85d1f331acbcb66ec42dac2f2dd8e12098b370a2ce43f34ea", "module": "tri::gen_canvas", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:39Z", + "sealed_at": "2026-10-20T00:41:17Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:56bc96623d23d3517fc2698897e68ee3d815563d0795054b2667e78f1d12be61", "spec_path": "specs/port/trinity/src/tri/gen_canvas.t27", @@ -22,7 +22,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/utils_TriTemplate.json b/.trinity/seals/utils_TriTemplate.json index 2ab9220aa2..ee06ea5b6c 100644 --- a/.trinity/seals/utils_TriTemplate.json +++ b/.trinity/seals/utils_TriTemplate.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/base/types.t27", @@ -7,14 +7,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:b4db899c4d165ae49ef9a936dbb4189e8c75691a93f31299f6edc7264179686e", + "gen_hash_c": "sha256:473856a24e1cb6070781539ba9dc97ace4047f787a23a31aea5ac4801b00d3f0", "gen_hash_rust": "sha256:f48dd8090279a6561f807c64392c79f085756d13bcbfb3c6a37398539591454c", "gen_hash_verilog": "sha256:f38cbd18c5af2d9d9de05e22b3ad13c97b22f2aa9dc0e932f3ae735df2418c96", "gen_hash_zig": "sha256:fef50ba9926f8e1e899ade7f50f31ac422fc4af0a0a74aa694eed9fcab5f6f1d", "module": "TriTemplate", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:55Z", + "sealed_at": "2026-10-20T00:42:12Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:98cd84d21b02cd1a90a9ecbddebe07de860ab8b31dc1a1661c4c1046461c9dbe", "spec_path": "specs/tri/utils/template.t27", @@ -27,7 +27,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/verified_VerifiedCorpusMerkle.json b/.trinity/seals/verified_VerifiedCorpusMerkle.json index 745d018089..4dc9e83d19 100644 --- a/.trinity/seals/verified_VerifiedCorpusMerkle.json +++ b/.trinity/seals/verified_VerifiedCorpusMerkle.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+e427d3800", "closure": [ { "spec": "specs/tri/crypto/sha256.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:fb5ce62587f21de8bf9ba01761494ec4c7cf5d9960e3ad51b3c661dc6fcf015e", + "gen_hash_c": "sha256:484ddb859213613891ab62e05a1b5b0ae22bf866b995cdfb67055f6611578168", "gen_hash_rust": "sha256:e54e16ab082c1d202c593226cf23fc8d48c4b8b114b7d1eb9ec9176a94f8dd8f", "gen_hash_verilog": "sha256:a1751a434c6f280ed658aeddc72f41e652e580506ae70cfe367633d5c025fd6a", "gen_hash_zig": "sha256:a93f3bc6cc1f89a0f739d35730d39e162b05ca077ae4ae3a21053b2f5e64058b", "module": "VerifiedCorpusMerkle", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:55Z", + "sealed_at": "2026-10-20T01:06:28Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:62a21dc8e36f220d8ed404ef17d6acc5d71626ad7d6850c349f1dda581d145a8", "spec_path": "specs/verified/corpus_merkle.t27", @@ -31,7 +31,7 @@ "vacuous": 0 }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/bootstrap/src/compiler.rs b/bootstrap/src/compiler.rs index 0f9d664df6..93832b4956 100644 --- a/bootstrap/src/compiler.rs +++ b/bootstrap/src/compiler.rs @@ -20027,29 +20027,29 @@ long double: fabsl, default: llabs)(x)", .all(|n| Self::is_c_word(n) || self.declares(n)) } - /// A repeated element this emitter writes as a C value: a non-string - /// literal, a name, a field or enum member, or a unary or cast over one. - /// Anything else keeps the old `{0}` rather than risk C that does not - /// compile. - fn c_repeat_value_lowers(v: &Node) -> bool { - match v.kind { - NodeKind::ExprLiteral => v.extra_kind != "string", - NodeKind::ExprIdentifier | NodeKind::ExprFieldAccess => true, - NodeKind::ExprUnary | NodeKind::ExprCast => { - v.children.first().map(Self::c_repeat_value_lowers).unwrap_or(false) - } - _ => false, - } + /// The values `[a, b] ** n` repeats (#11181): the literal's children, or -- for a bare `[5]` or + /// `[K]`, which reads as an array dimension, and for a module-level literal -- the text the parser + /// kept, parsed again whole and then comma by comma. + fn c_repeat_list(l: &Node) -> Vec { + if l.kind != NodeKind::ExprArrayLiteral || (l.children.is_empty() && !l.extra_type.is_empty()) { return vec![]; } + if !l.children.is_empty() { return l.children.clone(); } + let one = |t: &str| { + let mut p = Parser::new(Lexer::new(t.trim())); + p.parse_expr().ok().filter(|_| p.current.kind == TokenKind::Eof) + }; + one(&l.extra_size).map_or_else(|| l.extra_size.split(',').filter_map(one).collect(), |e| vec![e]) } - /// Is a repeated element one that `{0}` initialises exactly: a numeric - /// zero in any radix, `false`, or `undefined` (any value will do)? + /// Is a repeated element one that `{0}` initialises exactly: a numeric zero in any radix, `false`, + /// `undefined` (any value will do), or a cast, struct or repeat of those? fn c_repeat_value_is_zero(v: &Node) -> bool { - if v.kind == NodeKind::ExprIdentifier { - return v.name == "undefined"; - } - if v.kind != NodeKind::ExprLiteral || v.extra_kind == "string" { - return false; + match v.kind { + NodeKind::ExprIdentifier => return v.name == "undefined", + NodeKind::ExprCall => return v.name == "@as" && v.children.get(1).is_some_and(Self::c_repeat_value_is_zero), + NodeKind::ExprStructLit => return v.children.iter().all(|f| f.children.first().is_some_and(Self::c_repeat_value_is_zero)), + NodeKind::ExprBinary => return v.extra_op == "**" && Some(Self::c_repeat_list(&v.children[0])).filter(|l| !l.is_empty()).is_some_and(|l| l.iter().all(Self::c_repeat_value_is_zero)), + NodeKind::ExprLiteral if v.extra_kind != "string" => {} + _ => return false, } let t = v.value.replace('_', ""); if t == "false" { @@ -22508,32 +22508,20 @@ long double: fabsl, default: llabs)(x)", if node.children.len() >= 2 { let op = node.extra_op.as_str(); if op == "**" { - // Zig repeat operator: `[_]T{v} ** n`. The source is - // kept as a comment, then the initializer. - // - // #6050: the initializer used to be `{0}` whatever `v` - // was, so `[_]u8{5} ** 4` was an array of zeros. `{0}` - // is right only for a zero value, and stays for one; - // any other single value takes the GNU range the - // `[v; n]` form below already uses (gcc and clang). + // Zig repeat operator: `[_]T{v} ** n`. The source is kept as a + // comment, then the initializer: `{0}` for a zero, else the GNU + // range holding the value (#6050, #11181); clang cannot build one from a call. + let at = self.output.len(); self.write("/* repeat: "); self.gen_c_expr(&node.children[0]); self.write(" ** "); self.gen_c_expr(&node.children[1]); self.write(" */ "); - let lhs = &node.children[0]; - let single = if lhs.kind == NodeKind::ExprArrayLiteral - && lhs.children.len() == 1 - { - Some(&lhs.children[0]) - } else { - None - }; - match single { - Some(v) - if Self::c_repeat_value_lowers(v) - && !Self::c_repeat_value_is_zero(v) => - { + if self.output[at..].matches("/*").count() > 1 { + self.output.truncate(at); // a nested repeat would close this comment early + } + match Self::c_repeat_list(&node.children[0]).as_slice() { + [v] if !Self::c_repeat_value_is_zero(v) => { self.write("{ [0 ... ("); self.gen_c_expr(&node.children[1]); self.write(") - 1] = "); @@ -23413,6 +23401,16 @@ impl Compiler { Ok((codegen.into_string(), refusal)) } + /// #11181: `[a, b] ** n` repeats a list, which a designated range cannot hold, and was written `{0}`; + /// refused, as a switch without `else` is, unless every element is zero. + fn c_repeat_of_a_list(node: &Node) -> Option { + let list = node.children.first().filter(|_| node.extra_op == "**").map(CCodegen::c_repeat_list).unwrap_or_default(); + if list.len() > 1 && !list.iter().all(CCodegen::c_repeat_value_is_zero) { + return Some("a repeat of several values (`[a, b] ** n`) has no C initializer (#11181)".to_string()); + } + node.children.iter().find_map(Self::c_repeat_of_a_list) + } + /// #7308: gen-c lowers a switch to a ternary chain and ended it with `0` when no arm /// matched. Like Zig, refuse an integer switch (a numeric, negative or char label) with no /// `else` or `_` arm; enum-literal labels are left alone, naming every variant is exhaustive. @@ -23449,7 +23447,7 @@ impl Compiler { let lexer = Lexer::new(source); let mut parser = Parser::new(lexer); let ast = parser.parse()?; - if let Some(e) = Self::c_int_switch_without_else(&ast, "") { + if let Some(e) = Self::c_int_switch_without_else(&ast, "").or_else(|| Self::c_repeat_of_a_list(&ast)) { return Err(e); } // Emit FAITHFUL C from the AST; the C compiler optimizes downstream. See diff --git a/bootstrap/stage0/FROZEN_HASH b/bootstrap/stage0/FROZEN_HASH index 781e4d1a8c..704c58b51e 100644 --- a/bootstrap/stage0/FROZEN_HASH +++ b/bootstrap/stage0/FROZEN_HASH @@ -1 +1 @@ -e34e1b174c9673f182318994d759e696dc51c6c734f7f667d0295a45d3b6476e bootstrap/src/compiler.rs +08d882e79f8da0cfb8abc0f98e95de792580dc88d5dd1cb9bae8bd6385e86b72 bootstrap/src/compiler.rs diff --git a/bootstrap/tests/fixtures/core_selfhost/both_refuse/list_repeat.t27 b/bootstrap/tests/fixtures/core_selfhost/both_refuse/list_repeat.t27 new file mode 100644 index 0000000000..c315e6f01c --- /dev/null +++ b/bootstrap/tests/fixtures/core_selfhost/both_refuse/list_repeat.t27 @@ -0,0 +1,4 @@ +// #11181: `[_]i32{1, 2} ** 3` repeats a LIST. A designated range holds one value, so gen-c +// wrote `{0}` -- six zeros where the spec has 1, 2, 1, 2, 1, 2 -- and now refuses it. +module list_repeat; +var pairs: [6]i32 = [_]i32{1, 2} ** 3; diff --git a/bootstrap/tests/fixtures/core_selfhost/both_refuse/list_repeat_bare.t27 b/bootstrap/tests/fixtures/core_selfhost/both_refuse/list_repeat_bare.t27 new file mode 100644 index 0000000000..731c1537b5 --- /dev/null +++ b/bootstrap/tests/fixtures/core_selfhost/both_refuse/list_repeat_bare.t27 @@ -0,0 +1,4 @@ +// #11181: the bare spelling `[1, 2] ** 3`, in a module constant (which keeps only the literal's text), is a +// repeat of a LIST too, and was `{0}` -- six zeros -- just the same. +module list_repeat_bare; +pub const PAIRS : [6]u32 = [1, 2] ** 3; diff --git a/bootstrap/tests/fixtures/core_selfhost/genc/list_repeat_zero.t27 b/bootstrap/tests/fixtures/core_selfhost/genc/list_repeat_zero.t27 new file mode 100644 index 0000000000..dfb6ea3716 --- /dev/null +++ b/bootstrap/tests/fixtures/core_selfhost/genc/list_repeat_zero.t27 @@ -0,0 +1,10 @@ +// #11181: a repeat of a list of ZEROS is still `{0}`, exactly; only a list with a non-zero element is refused. +module list_repeat_zero; +var zeros: [6]i32 = [_]i32{0, 0} ** 3; +fn zero_at(i: usize) -> i32 { + return zeros[i]; +} +test zeros_stay_zero { + assert(zero_at(0) == 0); + assert(zero_at(5) == 0); +} diff --git a/docs/reports/suite_expectations.json b/docs/reports/suite_expectations.json index 38e74f5c30..bf4c3ffde7 100644 --- a/docs/reports/suite_expectations.json +++ b/docs/reports/suite_expectations.json @@ -2,7 +2,7 @@ "schema_version": 1, "generated_by": "t27c suite --bless-expectations", "max_gate_failures": 2, - "max_entries": 66, + "max_entries": 69, "entries": [ { "path": "specs/api/sdk_contract.t27", @@ -639,6 +639,13 @@ "top-level-resync": 15 } }, + { + "path": "specs/ternary/hybrid_arithmetic.t27", + "phase": "gen-c", + "reason": "gen-c refuses a repeat of several values (#11181): a designated range holds one value, and the list used to be written {0}, all zeros. `[_]i8{1, 0, -1, 1} ** 8` is passed as an argument, which C also cannot write as a bare brace list. The refusal replaces silent zeros; the entry goes when gen-c lowers a list repeat.", + "issue": 11181, + "expires": "2026-11-30" + }, { "path": "specs/ternary/packed_trit.t27", "phase": "parse-no-discard", @@ -672,6 +679,20 @@ "bdd-block-fallback": 63 } }, + { + "path": "specs/tri/t27b/conformance/array_repeat_text.t27", + "phase": "gen-c", + "reason": "gen-c refuses a repeat of several values (#11181): a designated range holds one value, and the list used to be written {0}, all zeros. `[1, 2] ** 3` and `[SEED, minus_two()] ** 2` repeat a list; this t27b conformance spec exists to pin that Zig shape. The refusal replaces silent zeros; the entry goes when gen-c lowers a list repeat.", + "issue": 11181, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/t27b/conformance/big_repeat_global.t27", + "phase": "gen-c", + "reason": "gen-c refuses a repeat of several values (#11181): a designated range holds one value, and the list used to be written {0}, all zeros. `[_]u16{ 1, 2 } ** PAIRS` repeats a list 100000 times into a 200000-element global. The refusal replaces silent zeros; the entry goes when gen-c lowers a list repeat.", + "issue": 11181, + "expires": "2026-11-30" + }, { "path": "specs/vm/jit_semantics.t27", "phase": "parse-no-discard", @@ -697,5 +718,5 @@ } ], "_why_entries_fell": "73 -> 66 (2026-10-18, Refs #10416): seven pins are dropped because their specs now consume every token and pass every phase, each reported by the ratchet as an UNEXPECTED PASS: bootrom_tb, low_bit_ternary, isa/registers, isa/ternary_memory, positional_enc, nn/gla and vsa/ops. Four discards improved and are re-pinned to the observed counts: ternary_gemm 1566 -> 1242, base/ternary_memory 52 -> 27, multi_lang_harness 88 -> 28, notebooklm 409 -> 140. The cap follows the count down. 81 -> 73 (2026-10-18, Refs #10075 #10094): #10101 made seven IGLA CODER specs (arch, dataset, eval, pipeline, tokenizer, training, weights) and #10095 made nn/attention consume every token and pass every phase; the ratchet reported each as an UNEXPECTED PASS and the pins are dropped. Two pins fell with their channels: bench_proxy 738 -> 696 (stray-brace 1 -> 0, top-level-resync 25 -> 0) and prm 521 -> 520 (stray-brace 1 -> 0). The cap follows the count down. 74 -> 71 (2026-10-10, #8345): #8209 made specs/math/constants.t27 sample its forall properties, so its top-level-resync channel fell 37 -> 0 (discard 386 -> 349); the entry is re-recorded with the bdd-block-fallback channel only, and the cap follows the count down to the 71 entries it already held. 77 -> 74 (2026-10-08, #7804): the three GoldenFloat lesson specs this change rewrote -- math/phi_split_optimality (pinned 131), math/radix_economy (55) and numeric/phi_ratio (145) -- now consume every token (their `forall` properties are sampled asserts) and pass every phase; the ratchet reported each as an UNEXPECTED PASS and nothing else moved. The pins are dropped and the cap follows the count down. 113 -> 109 (2026-10-05, #6437): four specs whose files were Rust-flavoured pseudo-t27 (a `loop`/`break` with `..` ranges, a `type Trit = Trit` self-alias, `format!`, `for (k, v)` and `if let`) were rewritten in t27 and now pass every phase -- ar/datalog_engine, ar/ternary_logic, test_framework/graph_drift_detection, test_framework/verilog_bench_harness. The ratchet reported each as an UNEXPECTED PASS; nothing else moved. The cap follows the count down. 113 -> 111 (2026-10-04, #6186): typecheck now resolves Zig's prefix optional `?T` (it only knew `T?`) and lets an optional accept its payload, so `specs/pins/parser.t27` (line 330, `cannot assign U32 to ?u32`) and `specs/port/scripts/gen_w378.t27` pass every phase; the ratchet reported both as UNEXPECTED PASS and nothing else moved. The cap follows the count down. 151 -> 133 (2026-10-02, #5497): 51 entries whose specs now pass every phase were removed (the ratchet reported each as an UNEXPECTED PASS); 6 specs that parse now and fail one phase later were re-keyed to that phase; 5 discard pins moved DOWN or only re-split their channels; 33 failures of ported specs merged while the gate was red were added under #5549, whose ports are to be redone. The cap follows the count down so nothing can hide in the slack. 29 core specs that began discarding tokens after bee edits were repaired, not recorded (#5572, #5575).", - "_why_entries_rose": "2026-10-20 (Refs #11101): 65 -> 66, a hand edit. specs/tri/coverage/coverage.t27 (tri coverage, PR #11096) imports from specs/tri/test/report.t27; a use path through the keyword `test` is dropped by the parser (63 tokens, bdd-block-fallback) while the use-splice still resolves it. Recorded under #11101 with an expiry; the cap follows the count back down when the parser reads the path. 2026-10-18 (Refs #10416): no entry added; one pin raised, a blessed re-measure. igla/race/ternary_mac discards 1140, pinned at 1139 (+1). The parser did not change: one compiler measured the file before 5152eeeb7 at 1139, after #10375 at 1141 and after #10379 at 1140. Those two spec rewrites deleted 290 vacuous tests and added exact-value BDD blocks, and two more BDD tokens are now skipped wholesale (bdd-block-fallback 1024 -> 1026), partly offset by a repaired stray brace (1 -> 0). The BDD-skip channel is old; no new parser failure. 2026-10-18 (Refs #10075): no entry added; one pin raised, a hand edit. specs/igla/coder/benchmark.t27 discards 319 tokens, pinned at 315 (+4), all in the bdd-block-fallback channel: #10101 lengthened the `then` conditions of its given/when/then blocks, which the parser skips wholesale. Not a new parser failure; the BDD blocks were already discarded. 2026-10-13 (night tick, Refs #9281): 77 -> 83 (+ max_entries 75 -> 83), a hand edit. Six ported specs fail codegen: five W469 [N][]const u8 locals -- depin_rest #7014 (fields, line 60), tri_asm_base #9211 (lines, 136), sweep #7070 (values, 139), trios-server main #9254 (types, 325), trios-train-cpu main #9258 (args, 467) -- and gen_lru_cache_impl #8923, whose ported identifiers lower to a bare Verilog keyword `end` (verilog-no-keyword-decl, generated line 779). The over-cap state itself (77 > 75) was left by the three W469 hand-ledgers #7689/#7795/#9176, which raised the count without raising the cap while the corpus-ratchet job was already red earlier in the job; the cap raise here covers both, one reviewable event. The cap follows the count up. 2026-10-12 (Refs #8823): 72 -> 74, a hand edit. Two ported specs fail gen-verilog on a 2-D array of aggregate type, which the Verilog backend still refuses (W469 lowering, docs/reports/W469_2D_STRUCT_ARRAY_DESIGN.md): #8823 gen_w698 keeps upstream's [8][]const u8 pads and #8555 railway its [1][]const u8 sub_args. Both landed while the corpus-ratchet job was already red at the type-conflict step (that ledger was blessed separately in #9137/#9145), so the suite never ran on them; recorded under #1959 with the other W469 entries until the emitter grows the lowering. The cap follows the count up. 2026-10-05 (#6221, Refs #5776): 111 -> 113, a hand edit. Two ported specs from the 2026-10-04 batch merge (#5755 tri-issue-create, #5836 validation_engine) fail gen-verilog on a local string array, which the Verilog backend refuses (2-D array-of-aggregate lowering, W469). They landed while this job was already red at the type-conflict step, so the suite never ran on them; recorded under #5549 with the other ports to be redone. 2026-10-04 (#5949): 112 -> 113, a hand edit. typecheck now refuses a Rust `match` block, which the parser kept as text and every backend lowered to nothing (a defect that was always present: `auth/config` `get_type` generated `{}`). The corpus held 31 such blocks in 7 specs. 9 were rewritten in t27, as `switch` or `if`: all of auth/config, ar/restraint, ar/coa_planning, igla/training/roadmap and igla/evaluation/multi_lang_harness, and two of ar/composition's three. Two specs stay red: ar/composition already fails `verilog-no-keyword-decl` upstream, so its entry does not move, and git/diff, whose 21 blocks match `Ok`/`Err` of a shell command t27 cannot express, is the one new entry. No ledger entry could be retired against it without inventing a value (the one-token discard in fpga/testbench/bootrom_tb is `0xT27B007`, which has no hex reading and no other source). 2026-10-04 (#5923): 95 -> 112. +25 typecheck failures from a new rule that refuses a struct field with no type or an integer literal for a type (#3225) -- a defect that was always present, which gen-rust wrote as `pub f: ,` and `tri misread` counted; three more of the 28 specs it refuses already fail an earlier phase. -8 parse entries whose files were Markdown documents and are now t27 modules with passing tests. The cap follows the count down, 126 -> 112. a new typecheck rule (constant literal must fit its declared type, #2925) detects a defect that was always present. The five gft specs are recorded rather than edited because their correct values are a question about the GF-T ladder's definition, not about the compiler. Nothing regressed. 2026-10-02 (#5497): +2 typecheck failures that #5572 and #5575 unmasked, both in the frozen compiler core (#5573, #5574, each with its patch in the issue); and 7 discard pins raised by what the parser cannot express -- formal property statements (`forall`, `implies`, `==>`) that six specs gained in commits of 2026-09-23 .. 2026-09-30 (ternary_add 674e214d, top_level 48a9bbdd, opcodes 14d5d103, constants 9f168546, phi_split_optimality 7bf5794d, jones_polynomial 97296ccc) and pilot_pretraining in the bee commit 524387f6 of 2026-09-16. Each entry says which lines. The caps were hand-edited, which is the reviewable event." + "_why_entries_rose": "2026-10-20 (Refs #11181): 66 -> 69, a hand edit. gen-c now refuses a repeat of a list of values, `[a, b] ** n`, which it used to write `{0}` (all zeros, exit 0). Three specs hold one and now fail gen-c, recorded here with an expiry: ternary/hybrid_arithmetic, tri/t27b/conformance/array_repeat_text and tri/t27b/conformance/big_repeat_global. The cap follows the count back down when gen-c lowers a list repeat. 2026-10-20 (Refs #11101): 65 -> 66, a hand edit. specs/tri/coverage/coverage.t27 (tri coverage, PR #11096) imports from specs/tri/test/report.t27; a use path through the keyword `test` is dropped by the parser (63 tokens, bdd-block-fallback) while the use-splice still resolves it. Recorded under #11101 with an expiry; the cap follows the count back down when the parser reads the path. 2026-10-18 (Refs #10416): no entry added; one pin raised, a blessed re-measure. igla/race/ternary_mac discards 1140, pinned at 1139 (+1). The parser did not change: one compiler measured the file before 5152eeeb7 at 1139, after #10375 at 1141 and after #10379 at 1140. Those two spec rewrites deleted 290 vacuous tests and added exact-value BDD blocks, and two more BDD tokens are now skipped wholesale (bdd-block-fallback 1024 -> 1026), partly offset by a repaired stray brace (1 -> 0). The BDD-skip channel is old; no new parser failure. 2026-10-18 (Refs #10075): no entry added; one pin raised, a hand edit. specs/igla/coder/benchmark.t27 discards 319 tokens, pinned at 315 (+4), all in the bdd-block-fallback channel: #10101 lengthened the `then` conditions of its given/when/then blocks, which the parser skips wholesale. Not a new parser failure; the BDD blocks were already discarded. 2026-10-13 (night tick, Refs #9281): 77 -> 83 (+ max_entries 75 -> 83), a hand edit. Six ported specs fail codegen: five W469 [N][]const u8 locals -- depin_rest #7014 (fields, line 60), tri_asm_base #9211 (lines, 136), sweep #7070 (values, 139), trios-server main #9254 (types, 325), trios-train-cpu main #9258 (args, 467) -- and gen_lru_cache_impl #8923, whose ported identifiers lower to a bare Verilog keyword `end` (verilog-no-keyword-decl, generated line 779). The over-cap state itself (77 > 75) was left by the three W469 hand-ledgers #7689/#7795/#9176, which raised the count without raising the cap while the corpus-ratchet job was already red earlier in the job; the cap raise here covers both, one reviewable event. The cap follows the count up. 2026-10-12 (Refs #8823): 72 -> 74, a hand edit. Two ported specs fail gen-verilog on a 2-D array of aggregate type, which the Verilog backend still refuses (W469 lowering, docs/reports/W469_2D_STRUCT_ARRAY_DESIGN.md): #8823 gen_w698 keeps upstream's [8][]const u8 pads and #8555 railway its [1][]const u8 sub_args. Both landed while the corpus-ratchet job was already red at the type-conflict step (that ledger was blessed separately in #9137/#9145), so the suite never ran on them; recorded under #1959 with the other W469 entries until the emitter grows the lowering. The cap follows the count up. 2026-10-05 (#6221, Refs #5776): 111 -> 113, a hand edit. Two ported specs from the 2026-10-04 batch merge (#5755 tri-issue-create, #5836 validation_engine) fail gen-verilog on a local string array, which the Verilog backend refuses (2-D array-of-aggregate lowering, W469). They landed while this job was already red at the type-conflict step, so the suite never ran on them; recorded under #5549 with the other ports to be redone. 2026-10-04 (#5949): 112 -> 113, a hand edit. typecheck now refuses a Rust `match` block, which the parser kept as text and every backend lowered to nothing (a defect that was always present: `auth/config` `get_type` generated `{}`). The corpus held 31 such blocks in 7 specs. 9 were rewritten in t27, as `switch` or `if`: all of auth/config, ar/restraint, ar/coa_planning, igla/training/roadmap and igla/evaluation/multi_lang_harness, and two of ar/composition's three. Two specs stay red: ar/composition already fails `verilog-no-keyword-decl` upstream, so its entry does not move, and git/diff, whose 21 blocks match `Ok`/`Err` of a shell command t27 cannot express, is the one new entry. No ledger entry could be retired against it without inventing a value (the one-token discard in fpga/testbench/bootrom_tb is `0xT27B007`, which has no hex reading and no other source). 2026-10-04 (#5923): 95 -> 112. +25 typecheck failures from a new rule that refuses a struct field with no type or an integer literal for a type (#3225) -- a defect that was always present, which gen-rust wrote as `pub f: ,` and `tri misread` counted; three more of the 28 specs it refuses already fail an earlier phase. -8 parse entries whose files were Markdown documents and are now t27 modules with passing tests. The cap follows the count down, 126 -> 112. a new typecheck rule (constant literal must fit its declared type, #2925) detects a defect that was always present. The five gft specs are recorded rather than edited because their correct values are a question about the GF-T ladder's definition, not about the compiler. Nothing regressed. 2026-10-02 (#5497): +2 typecheck failures that #5572 and #5575 unmasked, both in the frozen compiler core (#5573, #5574, each with its patch in the issue); and 7 discard pins raised by what the parser cannot express -- formal property statements (`forall`, `implies`, `==>`) that six specs gained in commits of 2026-09-23 .. 2026-09-30 (ternary_add 674e214d, top_level 48a9bbdd, opcodes 14d5d103, constants 9f168546, phi_split_optimality 7bf5794d, jones_polynomial 97296ccc) and pilot_pretraining in the bee commit 524387f6 of 2026-09-16. Each entry says which lines. The caps were hand-edited, which is the reviewable event." } diff --git a/specs/compiler/c_array_repeat_wrapper.t27 b/specs/compiler/c_array_repeat_wrapper.t27 index 8c3c7b668e..6f71775e67 100644 --- a/specs/compiler/c_array_repeat_wrapper.t27 +++ b/specs/compiler/c_array_repeat_wrapper.t27 @@ -1,4 +1,6 @@ ; C by-value array wrappers keep repeat designators inside their array member. +; The repeat OPERATOR `[v] ** n` is covered below (#11181): a bare literal or name between the brackets is not told from +; an array dimension, reached gen-c as bracket text, and was written {0} -- every element zero, whatever v was. module CArrayRepeatWrapper { const WIDTH: usize = 4; @@ -36,6 +38,65 @@ module CArrayRepeatWrapper { assert(returned_at(19, 3) == 19, "last returned element"); } + // The repeat operator `[v] ** n` (#11181): module constant, local, struct field, every scalar type. + const SEED : u32 = 9; + const QUAD : usize = 4; + const ONES : [3]u64 = [7] ** 3; + + pub const RepeatCells = struct { + cells : [4]u16, + }; + + fn op_u8(i: usize) -> u8 { var a : [64]u8 = [5] ** 64; return a[i]; } + fn op_u16(i: usize) -> u16 { var a : [4]u16 = [300] ** 4; return a[i]; } + fn op_u32(i: usize) -> u32 { var a : [4]u32 = [70000] ** 4; return a[i]; } + fn op_u64(i: usize) -> u64 { var a : [4]u64 = [7] ** 4; return a[i]; } + fn op_i32(i: usize) -> i32 { var a : [4]i32 = [-3] ** 4; return a[i]; } + fn op_f64(i: usize) -> f64 { var a : [4]f64 = [1.5] ** 4; return a[i]; } + fn op_bool(i: usize) -> bool { var a : [4]bool = [true] ** 4; return a[i]; } + fn op_hex(i: usize) -> u32 { var a : [4]u32 = [0xFF] ** 4; return a[i]; } + fn op_one(i: usize) -> u32 { var a : [1]u32 = [41] ** 1; return a[i]; } + fn op_big(i: usize) -> u8 { var a : [4096]u8 = [3] ** 4096; return a[i]; } + fn op_named(i: usize) -> u32 { var a : [4]u32 = [SEED] ** QUAD; return a[i]; } + fn op_cast(i: usize) -> u32 { var a : [4]u32 = [@as(u32, 11)] ** 4; return a[i]; } + fn op_param(x: u32, i: usize) -> u32 { var a : [4]u32 = [x] ** 4; return a[i]; } + fn op_const(i: usize) -> u64 { return ONES[i]; } + fn op_nested(i: usize, j: usize) -> u32 { var a : [2][3]u32 = [[1] ** 3] ** 2; return a[i][j]; } + fn op_field(i: usize) -> u16 { var r : RepeatCells = RepeatCells{ .cells = [9] ** 4 }; return r.cells[i]; } + fn op_zero(i: usize) -> u32 { var a : [4]u32 = [0] ** 4; return a[i]; } + + test repeat_operator_fills_every_element { + assert(op_u64(0) == 7, "u64 first"); + assert(op_u64(2) == 7, "u64 third (the issue probe)"); + assert(op_u64(3) == 7, "u64 last"); + assert(op_u8(63) == 5, "u8 over 64 elements"); + assert(op_u16(3) == 300, "u16"); + assert(op_u32(1) == 70000, "u32"); + assert(op_i32(3) == -3, "i32 negative"); + assert(op_f64(2) == 1.5, "f64"); + assert(op_bool(3), "bool"); + assert(op_hex(2) == 255, "hex literal"); + assert(op_one(0) == 41, "one element"); + assert(op_big(4095) == 3, "4096 elements"); + } + + test repeat_operator_in_every_context { + assert(op_named(3) == 9, "named element, named count"); + assert(op_cast(3) == 11, "@as element"); + assert(op_param(13, 0) == 13, "parameter element"); + assert(op_param(13, 3) == 13, "parameter element, last"); + assert(op_const(0) == 7, "module constant, first"); + assert(op_const(2) == 7, "module constant, last"); + assert(op_nested(0, 0) == 1, "nested, first row"); + assert(op_nested(1, 2) == 1, "nested, last element"); + assert(op_field(3) == 9, "struct field"); + } + + test repeat_operator_of_zero_stays_zero { + assert(op_zero(0) == 0, "zero first"); + assert(op_zero(3) == 0, "zero last"); + } + test plain_and_list_controls { assert(plain_at(23, 3) == 23, "plain array repeat"); assert(list_at(0) == 10, "first list element");