diff --git a/.trinity/seals/Batchnorm.json b/.trinity/seals/Batchnorm.json index fae26b2f94..c782c910c0 100644 --- a/.trinity/seals/Batchnorm.json +++ b/.trinity/seals/Batchnorm.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:f1b24f61462f6a03db80305b0658df369861523e246b81264601d993d83c340f", - "gen_hash_rust": "sha256:5286a92caddb9c43d9de0d79978273dc00cf667bf7ef9507eee02085ce65fe8c", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:ed0839202726940807b33f102c9f70b5b7b72e059af38cab494b4ccf8616834a", "gen_hash_zig": "sha256:87ae2270ce9ead3e2ec148c722ddbbab7ddee08744a45fbc7e1c4c96653c51ef", "module": "Batchnorm", "ring": 12, - "sealed_at": "2026-10-20T00:40:14Z", + "sealed_at": "2026-10-20T04:35:24Z", "spec_hash": "sha256:479b0fe4e0c7103ae57150096356ef13b6bdc796f6189d8cb563e4d26c115254", "spec_path": "specs/ml/layers/batchnorm_layer.t27", "tests": { diff --git a/.trinity/seals/Embedding.json b/.trinity/seals/Embedding.json index 8bcba181c2..9137a7f8b0 100644 --- a/.trinity/seals/Embedding.json +++ b/.trinity/seals/Embedding.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:8af036b6010ab39a207f5f1332b4f24c646bad8d104c6f5ed4fafe784c63662a", - "gen_hash_rust": "sha256:74c345177b0da2b457279c8fcb9f0c1932fec692dac6c20eedc6c3cb71b5ee69", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:572531e675053a6367c948cec223ec5402a1130e67bd4ba79a38cf30b2a1790b", "gen_hash_zig": "sha256:0a181b0345b5050ddbfbddd22891a88eaee5415737fe014ab80515591b05dcfd", "module": "Embedding", "ring": 12, - "sealed_at": "2026-10-20T00:40:25Z", + "sealed_at": "2026-10-20T04:35:30Z", "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 30513ad63c..b4fe1b5636 100644 --- a/.trinity/seals/EncoderBlock.json +++ b/.trinity/seals/EncoderBlock.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:864b81db96a7491fc8b872d73d11b3bf474e5ac9de74b451a03dca3753441ece", - "gen_hash_rust": "sha256:5d7c329654e88c7bbd08840bcf138ac87bed09b20705522efcfc746ec69e9b7b", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:14110e9b6924360867c489ce96c8b5da976b8a70b89423f35978616cc29f1435", "gen_hash_zig": "sha256:db1544156f525c66f2a4408b0a0eebd183c5faddde5b35752bb691abae601e0e", "module": "EncoderBlock", "ring": 12, - "sealed_at": "2026-10-20T00:40:55Z", + "sealed_at": "2026-10-20T04:36:18Z", "spec_hash": "sha256:e21519a3f7912ca70d35919cc1f9d2927b746f8e545c741e3772c1eb7e06561a", "spec_path": "specs/ml/transformer/encoder_block.t27", "tests": { diff --git a/.trinity/seals/Gru.json b/.trinity/seals/Gru.json index ab1e0d47e2..76cd66a684 100644 --- a/.trinity/seals/Gru.json +++ b/.trinity/seals/Gru.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:fb4814fac299611e1f53a2f65a4630690911e2de5660d0bd1dd8e038db48240d", - "gen_hash_rust": "sha256:eab72fb71adc11da75394aa3d3abdf98c3665143d20fbd86d1e57a2025be5527", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:60c582a3f47d655fec90d88ab3d0b0c82d83a1b160a1d0b3eab5d67bdcb0d4af", "gen_hash_zig": "sha256:06374623b7179a0f0e21559f8ca7c58f03e123e2706f84f3b8c7285c8a796d70", "module": "Gru", "ring": 12, - "sealed_at": "2026-10-20T00:40:44Z", + "sealed_at": "2026-10-20T04:35:47Z", "spec_hash": "sha256:c191eb8649f58b0c1e1580164ad215b8c4b548e77dbf32bc4f5ebf4c837dc5a8", "spec_path": "specs/ml/recurrent/gru_cell.t27", "tests": { diff --git a/.trinity/seals/Lstm.json b/.trinity/seals/Lstm.json index 5e42895e61..3ed463c260 100644 --- a/.trinity/seals/Lstm.json +++ b/.trinity/seals/Lstm.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:224cd09a6d5c9f0e5970ada826a45da0520aa582acd0b2bad05629f7894dea54", - "gen_hash_rust": "sha256:9abf99115a50ab78e1c7a85f1087d73fd2f00608cbabfbce7366acfbb29d076e", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:cf79c7aab17eb183eeccecbf815846d36aa9aaf794e9fbd85221ded1ae116c61", "gen_hash_zig": "sha256:b125bf7107aeb718749dcabac7e358b103604f036cd683926b0e8d65e6d10d2d", "module": "Lstm", "ring": 12, - "sealed_at": "2026-10-20T00:40:47Z", + "sealed_at": "2026-10-20T04:35:51Z", "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 4c630a40ab..9cc5b324bc 100644 --- a/.trinity/seals/LstmCell.json +++ b/.trinity/seals/LstmCell.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:6d6fab627ab4ce45d94be2d5b611f37f6975977ac69a6e31014ed1c93e07095e", - "gen_hash_rust": "sha256:f273354cdd17b00779ddaa9bf430ba76eabf674b7c0c2e751f0cbb6e5f6eda77", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:3a7ceb27aa49602fde255db6321a7a453cf6ebc8e87bad57c4970f57ef804769", "gen_hash_zig": "sha256:f7f1c164368fa4912292a1d7c2f0cb6b23a3d78bd7a97f5f40dd73b0bd8ec6db", "module": "LstmCell", "ring": 12, - "sealed_at": "2026-10-20T00:40:49Z", + "sealed_at": "2026-10-20T04:35:55Z", "spec_hash": "sha256:ef4ffa30e7adf81c8467768ec637ba33643c7872f6746cf244cdaa12eff68385", "spec_path": "specs/ml/recurrent/lstm_single.t27", "tests": { diff --git a/.trinity/seals/MHABlock.json b/.trinity/seals/MHABlock.json index 007fb37687..0743153fdd 100644 --- a/.trinity/seals/MHABlock.json +++ b/.trinity/seals/MHABlock.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:ef5ef839826373a561c522253f214b949b8af1550865ac8a8ec784dcbfcf39f7", - "gen_hash_rust": "sha256:602ca39f725dd13ee99c4e32a0ebae3886bd273f1975d9f1790f17d3ffd23a31", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:b67c80e1b91f2bcaa7ad1f95344f6159b184b9b49fa521fe722eb07bd562f039", "gen_hash_zig": "sha256:3bcdfedf0645ef4f0b31fe0531b952cb151fd925c990b7e14875837ac938b83f", "module": "MHABlock", "ring": 12, - "sealed_at": "2026-10-11T14:04:05Z", + "sealed_at": "2026-10-20T04:36:21Z", "spec_hash": "sha256:69938ff2bd02e259adc55871e84232f2fbe5c747ae0bddc9f1af0f28bc1a8a64", "spec_path": "specs/ml/transformer/mha_block.t27", "tests": { diff --git a/.trinity/seals/Mlp.json b/.trinity/seals/Mlp.json index bd61ed914f..6be859d4ae 100644 --- a/.trinity/seals/Mlp.json +++ b/.trinity/seals/Mlp.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:64a4b2df9079d78ddee5a382690251437fff739fb1a407d41eef882185db143e", - "gen_hash_rust": "sha256:0b7f25cc0ac0e2519b3e0092fc71359eddda5d96ee4d311e4a7ebae33c8b64f1", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:890f720aedb65673d90646517a62fdedcf022d4cb3c6cecf545861d8656dfbee", "gen_hash_zig": "sha256:746e7a402eb34d5bcb6070e82b62519385aca793d7d8d8e2b37741365b765d5f", "module": "Mlp", "ring": 12, - "sealed_at": "2026-10-20T00:40:39Z", + "sealed_at": "2026-10-20T04:35:44Z", "spec_hash": "sha256:936f35f57c99851545afe0b1797b416777549610a3f57cf49c0727311eef281a", "spec_path": "specs/ml/pathway/mlp.t27", "tests": { diff --git a/.trinity/seals/PinsParser.json b/.trinity/seals/PinsParser.json index 8788cd7e19..2616691a31 100644 --- a/.trinity/seals/PinsParser.json +++ b/.trinity/seals/PinsParser.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:a2d246976083268aa221bb133036dd822a8a59a89d5577867be50e760d693cae", - "gen_hash_rust": "sha256:5e0b7a798b733aeaeeeac3407e9f1b17708f260bae393348ba72f7d6772180a7", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:d83321903da73e4b7729242f6348209e7a5e09107c0e15af06530609b969894b", "gen_hash_zig": "sha256:c750271cd12593680feb5977057c84af76dc356608778a7abddbf2e68940451a", "module": "PinsParser", "ring": 12, - "sealed_at": "2026-10-20T03:57:54Z", + "sealed_at": "2026-10-20T04:36:26Z", "spec_hash": "sha256:2136baa6752930a651ba388fd268c76b484e02dfb56510fae190614c4e1ead92", "spec_path": "specs/pins/parser.t27", "tests": { diff --git a/.trinity/seals/PpoActor.json b/.trinity/seals/PpoActor.json index 465cc4bd50..681abf098e 100644 --- a/.trinity/seals/PpoActor.json +++ b/.trinity/seals/PpoActor.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:39425bb5ec52b6c634d346e8f4f6669aeb6d2455843e426f56a65755d72f2ee5", - "gen_hash_rust": "sha256:a549e6a7d34eadc5e8eb62eb82c8dada070de89aa920cf2436b025cde08da906", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:d7da328475f1d3fb27b5b8356db2de6622f9a6efdc5aa93c00fc4220b5515e43", "gen_hash_zig": "sha256:9cbed672cac3162b376ec87a3b461b6e80aba577e0633b353410f4b0080b313d", "module": "PpoActor", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:30:31Z", + "sealed_at": "2026-10-20T04:36:09Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:e57727c231fab6904e63992d1045a899e0a35cf8ca599970ad1d9ac48210b4dd", "spec_path": "specs/ml/rl/ppo_actor.t27", diff --git a/.trinity/seals/RnnCell.json b/.trinity/seals/RnnCell.json index 3954ec19c6..427da21f26 100644 --- a/.trinity/seals/RnnCell.json +++ b/.trinity/seals/RnnCell.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:32b55382184e8fadc8b4b73f0cee45d8e4b337739705e11cdb09fbe9e0e2692d", - "gen_hash_rust": "sha256:3ff2ac16d685d33341814205853d1acf8d038298df22322f7aef0f86271014a1", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:b566b12ac3c311ed309eb719558b56c9d2ed9f3068c2a1470053d1a863d01ed8", "gen_hash_zig": "sha256:955445b259e2ca54159413a727129e119d1a61e8e38ff67b4e4a3f2c48257540", "module": "RnnCell", "ring": 12, - "sealed_at": "2026-10-20T00:40:52Z", + "sealed_at": "2026-10-20T04:36:00Z", "spec_hash": "sha256:09f67415a49b61d028c7a15e93caff8f3d3d309b7bb9452b1b6260132caf8887", "spec_path": "specs/ml/recurrent/rnn_cell.t27", "tests": { diff --git a/.trinity/seals/SacActor.json b/.trinity/seals/SacActor.json index 1a1e49ae39..616c985f9e 100644 --- a/.trinity/seals/SacActor.json +++ b/.trinity/seals/SacActor.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:437a641831e3438619f333444d068666d583fdc252a7fb2742873e525e340640", - "gen_hash_rust": "sha256:2e598047ccd1cc609ed6466f99e6ccc988c5cd521e1c8482d888cb019c401a1c", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:d51f3eff6e7f408c88bac65afeb0824666e79f815303658a8be43459a2591e3b", "gen_hash_zig": "sha256:cd8ffa77d404011fe0bbbff9ad48479b4e00610d5c267c21891c6230b7dc895c", "module": "SacActor", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:26:55Z", + "sealed_at": "2026-10-20T04:36:12Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:3bcac389928b5ed73b6dddc6ec88e5dda201361ab9caf4379a5d95fda4b9ff1d", "spec_path": "specs/ml/rl/sac_actor.t27", diff --git a/.trinity/seals/SacCritic.json b/.trinity/seals/SacCritic.json index c8e8cb780c..d866de9457 100644 --- a/.trinity/seals/SacCritic.json +++ b/.trinity/seals/SacCritic.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:704d01e193ff2330cb4b4050fad02ca4c8325e22ad79e8d96915c63766b764a3", - "gen_hash_rust": "sha256:ad8159f2f1bd74faf058290ce7e6c44341c03790b6f5decbee87533fa23a4d81", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:4d1be4ba32b8ad14ae1e760624fada1b1c522419cd982152ecb19f21f8cb20e5", "gen_hash_zig": "sha256:1d3070326723d5035e5e4d5a16806b91d45df04489b55c5f55d40a8ea9192ed3", "module": "SacCritic", "ring": 12, - "sealed_at": "2026-10-11T10:43:22Z", + "sealed_at": "2026-10-20T04:36:15Z", "spec_hash": "sha256:739b7c15eae98d46a9e52a998f036ee87563ff8fcaca7cac77164ec238285eb0", "spec_path": "specs/ml/rl/sac_critic.t27", "tests": { diff --git a/.trinity/seals/Seq2seq.json b/.trinity/seals/Seq2seq.json index 4ed602f167..9e32effb0b 100644 --- a/.trinity/seals/Seq2seq.json +++ b/.trinity/seals/Seq2seq.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:5d1d07927cd6349035b0491f6359abbcaf037b62a25f2456885f68e8ffb7da11", - "gen_hash_rust": "sha256:c001958359383625def7ed8614868f6301891cb63e805ce4c9d6e556eff3b670", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:ba0b9e7e0ad4e276af1c3cb5a34230d9857789455148af9ae21a98c3160da632", "gen_hash_zig": "sha256:d1e5f9247f56606fed32352e0f0fea967e8543b90a746cc3d7c5d81fb0616843", "module": "Seq2seq", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:30:58Z", + "sealed_at": "2026-10-20T04:36:06Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:5c46ba7a1707474d16582e25b29343e78dbd1664cb694ab6ce81e0090cd677fe", "spec_path": "specs/ml/recurrent/seq2seq.t27", diff --git a/.trinity/seals/Sgd.json b/.trinity/seals/Sgd.json index cafbc67979..c460b209c4 100644 --- a/.trinity/seals/Sgd.json +++ b/.trinity/seals/Sgd.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:2eeb7b3ad4c54df892b269d366d72577f390933a5f7014e750cd0af14b875aee", - "gen_hash_rust": "sha256:2d6cae860f3ae0439d719d2b84260dde177fb1e8b4a3addaf37338000f1f1312", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:38c74b6aa1084ea3f54f32446ebb36ae8b6cc5b8e16aac36e7400972deaad9a9", "gen_hash_zig": "sha256:569aa863092bd5290217e011ba35ce70afa0d782d0dddd901728f6cf75af7ff3", "module": "Sgd", "ring": 12, - "sealed_at": "2026-10-11T10:43:20Z", + "sealed_at": "2026-10-20T04:35:35Z", "spec_hash": "sha256:d344b6438e73f6e275f3837c14267919d3629fa0e12898a96451e2782885884f", "spec_path": "specs/ml/optimizer/sgd.t27", "tests": { diff --git a/.trinity/seals/SgdMomentum.json b/.trinity/seals/SgdMomentum.json index 4e7555c1a0..a8db97f011 100644 --- a/.trinity/seals/SgdMomentum.json +++ b/.trinity/seals/SgdMomentum.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:fdf3a3b91fdd7325925aa4829f0a8aaa71d4670cf8ddb481942e57dc91c812da", - "gen_hash_rust": "sha256:0842bb62da886ca12742db4b287a7d831c1185e7b5e3f337cf20b0c580c29c16", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:c12dda42c364c822e09071797f4438504da838d86c60ccf2b72c6e9a2b1da83f", "gen_hash_zig": "sha256:1a2f6ce84750148636e07d5b0abcdc2ec5c264f087fd323aea3d430d435414d8", "module": "SgdMomentum", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:30:58Z", + "sealed_at": "2026-10-20T04:35:39Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:af2ef054e245e2de293b4337badcfcdfa1c8429ae1c0f3e747111c81945f0e1f", "spec_path": "specs/ml/optimizer/sgd_momentum.t27", diff --git a/.trinity/seals/TriBitmap.json b/.trinity/seals/TriBitmap.json index 44f22a38d1..1c137fda84 100644 --- a/.trinity/seals/TriBitmap.json +++ b/.trinity/seals/TriBitmap.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:c63fce02cb3b858d862a2c4a8a172327e3557c4fe68cb7e5f3719c27d3ba9dad", - "gen_hash_rust": "sha256:997d8a9db7ae9a92edaf2c2254abf5ed400d47a1a26076fdb91fa350f1d73d6f", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:cd67b2c5738e7a423b7ae5d2c8ecaa4b0b45d2fd2383005224a822b3d09e9938", "gen_hash_zig": "sha256:7756d88b7f3202122131a2fabab8e4c9f0694c26058f2497561f2daa7e89c7fc", "module": "TriBitmap", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:12Z", + "sealed_at": "2026-10-20T04:37:25Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:37903256855937cd22617a6e6cd33f2495d6bea08486d58029ef10350ae2a61c", "spec_path": "specs/tri/collections/bitmap.t27", diff --git a/.trinity/seals/TriBitvector.json b/.trinity/seals/TriBitvector.json index d2a4d7f838..a70cc157bd 100644 --- a/.trinity/seals/TriBitvector.json +++ b/.trinity/seals/TriBitvector.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:78c108a793900b52757b5591b432d59d49340508f4553c5eeff85c2b7e85f619", - "gen_hash_rust": "sha256:1291ca4b7cc75f4f170dcaaef10baecc042f63e296e979c14bf93336b51efa20", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:869fb7d4664242b2e7ca0dcf98fa58894adf8d196eb2e7b68eeb50041b1f57e6", "gen_hash_zig": "sha256:e975277ec510357c800cb528606f1227e2b3e671ba77300a2d95cbc05a9a9455", "module": "TriBitvector", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:32:06Z", + "sealed_at": "2026-10-20T04:37:29Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:e2107be5bd0d36b955939f7b0935b7abef464ed5138e5c9fe817888ae0e4de9b", "spec_path": "specs/tri/collections/bitvector.t27", diff --git a/.trinity/seals/TriBloomFilter.json b/.trinity/seals/TriBloomFilter.json index 79a0b78356..6167223df3 100644 --- a/.trinity/seals/TriBloomFilter.json +++ b/.trinity/seals/TriBloomFilter.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:a9026d20aabba56f40775f06f222d8add36776cf0948a169cf6302547cef5b3d", - "gen_hash_rust": "sha256:67ebb6cdba88379ab02f3fa4bbd408909c7c9f80d4a9c192cecd627c7647195f", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:24c4b601078a27fb4912548e409a89479e11c927ab3deb102629a8f28ec3cd51", "gen_hash_zig": "sha256:c509d5520aa35f05c030dd0d01ddc66706d771510e174c15481573925722f892", "module": "TriBloomFilter", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:42:07Z", + "sealed_at": "2026-10-20T04:38:14Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:af9836843e77e4209c2a72de225a8b60e5f66f2d34572fb6faec6640c612a270", "spec_path": "specs/tri/search/bloom_filter.t27", diff --git a/.trinity/seals/TriBuilder.json b/.trinity/seals/TriBuilder.json index 38f15dd010..f60ea68263 100644 --- a/.trinity/seals/TriBuilder.json +++ b/.trinity/seals/TriBuilder.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:f1070680be2ed8d74e3c84f5213df2b3b157cad071cf0f87c5824a09d70d6a85", - "gen_hash_rust": "sha256:5ab414ad9a354cfdbc59002df571e96b71034930422e152897d4c03c36a574b0", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:7864301b593ae0b8969c0c5ca721b91f2c7bc21ab8a07f95ae3f81e3d75cf6d4", "gen_hash_zig": "sha256:78744855f1ae4bcf38f546287c291bf4570005c71d87cb1d9aafa6819607791a", "module": "TriBuilder", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T04:00:45Z", + "sealed_at": "2026-10-20T04:38:11Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:fd08e6de8e826e8ae273fb364e8419f0d950b5daf3420c96200a4248802b5591", "spec_path": "specs/tri/pipeline/builder.t27", diff --git a/.trinity/seals/TriCircularBuffer.json b/.trinity/seals/TriCircularBuffer.json index b440fc44f7..7ae4bc1ff5 100644 --- a/.trinity/seals/TriCircularBuffer.json +++ b/.trinity/seals/TriCircularBuffer.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:c30a37c85e70b6b30a94c823e89327b29490b96143fe98a0a68a359b51831af2", - "gen_hash_rust": "sha256:9e347d71b4cac25b58de0d50fbe67eff763241acae25db7eb2640104935959cb", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:0bf974dd041d80f5026b2eb162288639b9ebe423eafb68e81c532cc0f4672c94", "gen_hash_zig": "sha256:e7b1491cd13a887b0ce93ec1168a629cbc686e088d82701ee9f46a920b84c305", "module": "TriCircularBuffer", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:13Z", + "sealed_at": "2026-10-20T04:37:32Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:7d4828786a7342f3b5970f559428837448debd91fe2096dd60aad3030369b7a9", "spec_path": "specs/tri/collections/circular_buffer.t27", diff --git a/.trinity/seals/TriConfig.json b/.trinity/seals/TriConfig.json index 79f37501bc..ff663dcabd 100644 --- a/.trinity/seals/TriConfig.json +++ b/.trinity/seals/TriConfig.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:093c90e1729e177722d9c7358eda8468f4266c44d6d7f46237fdf0e17b97d919", - "gen_hash_rust": "sha256:1fd1f872ed90bc5247104c80f7b26d28a9ae66278a8c78dac56ade1b6e3978a4", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:8bdc8a5fad9c728cd2fdc2531e420076e341bcb0465283acf78e62e45e649605", "gen_hash_zig": "sha256:a286c02615d688076a7be6c514dd04353c54b2e690c4955bd89d163caedcfcf9", "module": "TriConfig", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:27:34Z", + "sealed_at": "2026-10-20T04:38:26Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:123048ae88bbf0c2ae35d0a2acb196428958befe0863e183e4fd641000830784", "spec_path": "specs/tri/utils/config.t27", diff --git a/.trinity/seals/TriCsv.json b/.trinity/seals/TriCsv.json index a96dd22e94..47e8f18185 100644 --- a/.trinity/seals/TriCsv.json +++ b/.trinity/seals/TriCsv.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:84a3dc30c56333e534168a40375fed4322fc8f520626d5b66029b5723c87f28e", - "gen_hash_rust": "sha256:79225dab7387ee538a5af950da3b2c1f2a6bf6a2f74d1e26f29f73dc16f48329", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:9e1b747f38641675a9728d1752124c7f38a445c320210464687315bc89b2d4c6", "gen_hash_zig": "sha256:b9e230c7fdaddcfe7aacc37a129ce674c1c47d024792b0fb55aab416f0b9c24c", "module": "TriCsv", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:27:20Z", + "sealed_at": "2026-10-20T04:38:03Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:46f19cb5e9a459dac872b3297fb9418d5b95cf239e0e7f3b2d006b94bf1629ab", "spec_path": "specs/tri/encoding/csv.t27", diff --git a/.trinity/seals/TriDeque.json b/.trinity/seals/TriDeque.json index 5794cbe6b9..c064261da9 100644 --- a/.trinity/seals/TriDeque.json +++ b/.trinity/seals/TriDeque.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:90153c0f302ded1c87b3370df62934fc9b0052aff214367898c1fbfba2961327", - "gen_hash_rust": "sha256:c0984f3a8281f88de1f2a03abad404201e2e7acbc1c45f84806c7cf76a712b34", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:6b070715a9171b588cd69e63fd190893994688baee5f2401210c2f77760cfdaa", "gen_hash_zig": "sha256:1bddb59ec6954df295443e8efcd0d7050acd6625dd7a1566b533aad40e676a01", "module": "TriDeque", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:13Z", + "sealed_at": "2026-10-20T04:37:37Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:65ffc2b6ebd8830693e7e53c48a5b0c20ffc7ec225fb390803c61b50a21f994f", "spec_path": "specs/tri/collections/deque.t27", diff --git a/.trinity/seals/TriFs.json b/.trinity/seals/TriFs.json index 8ca4a661a6..b23c54fc17 100644 --- a/.trinity/seals/TriFs.json +++ b/.trinity/seals/TriFs.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:5153e8661de48e306ce1b0213f70c48a3edc9c372afe1ec3f85d13bbf833a927", - "gen_hash_rust": "sha256:c3ac25e2bde216467e180f38b89741ab6fd97ed8c070308197eeb8b23abf43a4", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:28386829da10ff0b777303016faa13458e2a5df7e961c7be4eba60ba9b3ba9ff", "gen_hash_zig": "sha256:a1cdb30296cd0f351398fab35a0c1f871c7437c618cbe9a94e9f44425c8a96a6", "module": "TriFs", "ring": 12, - "sealed_at": "2026-10-20T04:00:33Z", + "sealed_at": "2026-10-20T04:38:08Z", "spec_hash": "sha256:8efa7f598919ea7cfb9e5d79189eec736d50c2c577ec27f26ac283c31c6485c6", "spec_path": "specs/tri/io/fs.t27", "tests": { diff --git a/.trinity/seals/TriJson.json b/.trinity/seals/TriJson.json index e4fc917723..1df19f0d9e 100644 --- a/.trinity/seals/TriJson.json +++ b/.trinity/seals/TriJson.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:5514cdf9080a874da8414257516ac17fdab3993f5895b2b8735997d367b03cc7", - "gen_hash_rust": "sha256:b1745c1cae4c655b4fa2634c41574aea4055879e7b8925df094945e2aa256730", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:879bd274778e644d048ed9d9dc8735797f49b29e2d27dc6e319402c170e5ca30", "gen_hash_zig": "sha256:69d52f9c450de32060bf8e9501979d99e186a08047dd412c379b58a132949a9c", "module": "TriJson", "ring": 12, - "sealed_at": "2026-10-11T10:29:39Z", + "sealed_at": "2026-10-20T04:38:05Z", "spec_hash": "sha256:5343625e2ad0f2ccdf56a9a3b3237ac6068441024a13e3d3a26fd24ed54e6c8d", "spec_path": "specs/tri/encoding/json.t27", "tests": { diff --git a/.trinity/seals/TriLinkedList.json b/.trinity/seals/TriLinkedList.json index a67cf59e34..80a66204ae 100644 --- a/.trinity/seals/TriLinkedList.json +++ b/.trinity/seals/TriLinkedList.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:472ec8a8950b9b865206b3541f4a1e967f140ee9996a33840529636e43e2c282", - "gen_hash_rust": "sha256:d0def4e3ddc53bdbba6ecaa2b13d5c9acd310fb7c49f42b49a3e15d6cd514a88", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:10feefb0bf69819e6b925ca91ba5015925cd8311598fab16aca95e93f3a8472e", "gen_hash_zig": "sha256:25f71bb55db2ed65aabc33c8496fb78178b889d5a940379183bdf0caae7fdf67", "module": "TriLinkedList", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:41:51Z", + "sealed_at": "2026-10-20T04:37:43Z", "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 4ac95308d2..43bede3096 100644 --- a/.trinity/seals/TriLockfreeStack.json +++ b/.trinity/seals/TriLockfreeStack.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:58130cfd37616cd2282ca0c2d2aaf7fe14daf111d84088248cdb64ed657165fd", - "gen_hash_rust": "sha256:389e2582a01764bbc9c7ab660bc24f258278e50ef878890ef211064e53015028", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:05bcb5c43a303b1ad3d8cb4be0e29ae6a446bb1fde4a6e1aac215b76b4dead25", "gen_hash_zig": "sha256:8d1f2b01ad1ee7efd67e5ddef04d32cd4840495dec159a1695cf51baa273fcfe", "module": "TriLockfreeStack", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:41:53Z", + "sealed_at": "2026-10-20T04:37:46Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:070134cd4bfde398b1ba0733ee9789081b094eaaa636379463f957c11bd93f25", "spec_path": "specs/tri/collections/lockfree_stack.t27", diff --git a/.trinity/seals/TriLru.json b/.trinity/seals/TriLru.json index ac1df28d8e..b1ea9afda9 100644 --- a/.trinity/seals/TriLru.json +++ b/.trinity/seals/TriLru.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:4fc10ed98735c4df78f18581ff9bd1cfec892ca653ea771b5730b60e7b01bee1", - "gen_hash_rust": "sha256:8d8878c4d7266de04f7df856463d074e6b1d63b595d65f327e34f884a49fa809", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:3871e242321872f327189e71a9de3cdd9edf88f710a5685c64c641a6edab52e3", "gen_hash_zig": "sha256:96ad8e5a8e7f44f65f5112073783e4169f3595c5c89292cb1c533d3e8920ce10", "module": "TriLru", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:15Z", + "sealed_at": "2026-10-20T04:37:49Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:be679240383e07530216228ab3b60fba9655cde2a17b47a3403513e128833811", "spec_path": "specs/tri/collections/lru.t27", diff --git a/.trinity/seals/TriLruCache.json b/.trinity/seals/TriLruCache.json index 90740cf682..86ae6a498a 100644 --- a/.trinity/seals/TriLruCache.json +++ b/.trinity/seals/TriLruCache.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:71cf397056490b6b0bb8f6687f29930af33e7e72e03588419d40dee837f5514b", - "gen_hash_rust": "sha256:4f28c6ee7be8c8d01e36ec0b618d7b7dc72e61b188c712b9057d9dd950327481", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:1223913bb265d1c162ac2d9b1bbc4db77e7627d424f55ddd9f78101266f8c90f", "gen_hash_zig": "sha256:f313123629fcc93c0086a3ce113415e17769d428fc26efa25d5d275083aeeeec", "module": "TriLruCache", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:41:56Z", + "sealed_at": "2026-10-20T04:37:52Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:7b5dd7339577bd70cb5f5ffbbd03b0acf0fa024b7b2606ca142af6c586a76b56", "spec_path": "specs/tri/collections/lru_cache.t27", diff --git a/.trinity/seals/TriPolynomial.json b/.trinity/seals/TriPolynomial.json index e4da436b21..12c03f698a 100644 --- a/.trinity/seals/TriPolynomial.json +++ b/.trinity/seals/TriPolynomial.json @@ -1,11 +1,14 @@ { "gen_hash_c": "sha256:fd1a290613185cc522bf45313dcb29fd1ac8a405e3674c107b5a2f15d42d025a", - "gen_hash_rust": "sha256:994af3af47281b7a7e3eb60a522457aa4ad46d8ed0ef190a164ca46cc7793824", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:e0dab11e724d3516ecb22bdff06b468208ff6cebd3f318c8e2876bb1b29fc8f3", "gen_hash_zig": "sha256:f4492e40ba3f2a8a629657a41c82c3058768d62f248f014586e5cf5155f45cfe", "module": "TriPolynomial", "ring": 12, - "sealed_at": "2026-10-02T11:02:52Z", + "sealed_at": "2026-10-20T04:38:08Z", "spec_hash": "sha256:6dfdfd7f5f7132973be835ebbed7277c4724e0ea4f58c68ce7027890861e49ea", - "spec_path": "specs/tri/math/polynomial.t27" + "spec_path": "specs/tri/math/polynomial.t27", + "tests": { + "blocked": "does not compile: spec.zig:32:28: error: extra capture in for loop" + } } \ No newline at end of file diff --git a/.trinity/seals/TriPriorityQueue.json b/.trinity/seals/TriPriorityQueue.json index a31820ebbc..6308b5addf 100644 --- a/.trinity/seals/TriPriorityQueue.json +++ b/.trinity/seals/TriPriorityQueue.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:ac55a93985fcd3c5c96428200ab0ae6e765cdcd59d68e13625b55ee8ce152d3f", - "gen_hash_rust": "sha256:70fc0cbf30c5f4163d7330dff0262a29fb1033109607978e06b811b2cebf4984", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:0d4033604a11827a246d43b86e0167f64a06ae033c03cb5b1f6332bb6ef005bb", "gen_hash_zig": "sha256:c9ca766e2744c315bef34ed8632aaf6ec45ead121f8064b2461a3577a44bf3cb", "module": "TriPriorityQueue", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:16Z", + "sealed_at": "2026-10-20T04:37:55Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:875c4f0b94dc8cc56922aeac593bcb08e6c869cf25b209c1aa9b383c06813adf", "spec_path": "specs/tri/collections/priority_queue.t27", diff --git a/.trinity/seals/TriRegex.json b/.trinity/seals/TriRegex.json index 571f66345f..d9844187ef 100644 --- a/.trinity/seals/TriRegex.json +++ b/.trinity/seals/TriRegex.json @@ -1,11 +1,14 @@ { "gen_hash_c": "sha256:33a8cb86a5ea3e1d5b86681397cdc9894f5d4516321662a0287b81af20a71397", - "gen_hash_rust": "sha256:c0b8409ea70776c9d2aca4c099bcf26dcf7de0a40b6d5302ee68459405b993ee", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:c670bc2a3f3a441bb0ae344394f793926874bd31e9bdb90b756d5b3848bb693d", "gen_hash_zig": "sha256:b13a41f6ca0c8cf6bc9a24fc7d32576d0b43d03339bdd7845234af1559705853", "module": "TriRegex", "ring": 12, - "sealed_at": "2026-10-02T11:02:53Z", + "sealed_at": "2026-10-20T04:38:15Z", "spec_hash": "sha256:0ae26a93afecf928282513431aeba0b9beb8f82e1b7603d8cb7de03017c6cab3", - "spec_path": "specs/tri/search/regex.t27" + "spec_path": "specs/tri/search/regex.t27", + "tests": { + "blocked": "does not compile: spec.zig:47:18: error: operator != not allowed for type 'spec.Regex'" + } } \ No newline at end of file diff --git a/.trinity/seals/TriRegexAdvanced.json b/.trinity/seals/TriRegexAdvanced.json index 95959ebc30..c50c2cbd85 100644 --- a/.trinity/seals/TriRegexAdvanced.json +++ b/.trinity/seals/TriRegexAdvanced.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:551dc8e0b28ab347a7db3104605e52ea0c0fa19f59f1e5fce965c24a4db092ec", - "gen_hash_rust": "sha256:296165c23d6494a8a053ef91b0911be281cdda725fd88c35b7ff9384c2073fbd", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:34b6957f0ebd0a1e282c8191989e87d74064d34b280a160a549ba1636c69a39c", "gen_hash_zig": "sha256:1790f944bb1944583a66bd2a29e483ee77cc0cd48f17e0a8e2cd2f4fb22e611f", "module": "TriRegexAdvanced", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T04:00:53Z", + "sealed_at": "2026-10-20T04:38:18Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:e4f8fdc06c23388f70cf0453ebe038c2045f6091ad7bd2d50c7d7f4bd994586f", "spec_path": "specs/tri/search/regex_advanced.t27", diff --git a/.trinity/seals/TriSkipList.json b/.trinity/seals/TriSkipList.json index c832c823a3..a911737c99 100644 --- a/.trinity/seals/TriSkipList.json +++ b/.trinity/seals/TriSkipList.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:4eae3a0e991fe181829f6f2bb4e46c9e7167f57520e40f80b91b3a480d4273b4", - "gen_hash_rust": "sha256:78b88432e37b7092cd95d19ce274a7ac4dbaf22605bdf1c401d83fcd6502dfbe", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:5aec986f19e0e3c4da882350f3c72c14709f462113ad9a2c3fb0ffdbef75645c", "gen_hash_zig": "sha256:d29af7738bf309a1b2eace085b4d00ef06f290a2bf2be4219c9a4feb55d697d8", "module": "TriSkipList", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T15:12:22Z", + "sealed_at": "2026-10-20T04:37:57Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:604761ee96e2319ca03c47e533a2e56c2dea94dd5d47405a1dd2ffb081427a66", "spec_path": "specs/tri/collections/skip_list.t27", diff --git a/.trinity/seals/TriStack.json b/.trinity/seals/TriStack.json index b295257d6c..6b5b0cf848 100644 --- a/.trinity/seals/TriStack.json +++ b/.trinity/seals/TriStack.json @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:f755d4da402b860e87438ebed2475894dc749eee776f6feae866077368a7f1b4", - "gen_hash_rust": "sha256:29566f8dc345ecbe3a8ef0608f65614de1ebdc0de71bd479d775728754ae5301", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:ec4ff610db0f1dca69f57eb0b048707b03d24d2a589337dbcffaca3b4929f812", "gen_hash_zig": "sha256:ef21da202cdf3e657871e572a227f6fe8d0e6ccae0486602e9fd92b3d86ed5b5", "module": "TriStack", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:16Z", + "sealed_at": "2026-10-20T04:38:01Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:aaf2961a72305a68151baa955a9dbdc88b1028563880c276132fd922199ade61", "spec_path": "specs/tri/collections/stack.t27", diff --git a/.trinity/seals/bin_port::trios::crates::trios_train_cpu::gradient.json b/.trinity/seals/bin_port::trios::crates::trios_train_cpu::gradient.json index b16a1311f8..e5b05fd6ba 100644 --- a/.trinity/seals/bin_port::trios::crates::trios_train_cpu::gradient.json +++ b/.trinity/seals/bin_port::trios::crates::trios_train_cpu::gradient.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+9920f51d2", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:5fe41430c09894a586d28e3f62ba9cd74bf2a222d7622bdc7de418e74952b4e1", - "gen_hash_rust": "sha256:4e22276634b4ac6683d2c8115ba97967031919575d7e29bfc289a1618c9692f7", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:4a18c3ff2d897a7d76816d7deb826dd9711e4afb80077ca902a279e525d11811", "gen_hash_zig": "sha256:3f029ad3e8aa4d976b1bb516f9c319427bbc85feac797818ba2bac167ac619ed", "module": "port::trios::crates::trios_train_cpu::gradient", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T03:59:41Z", + "sealed_at": "2026-10-20T04:36:37Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:9e0e61fd23298478908bf266ee8cad435db9c414b2f61f51fa215688f0a56189", "spec_path": "specs/port/trios/crates/trios-train-cpu/src/bin/gradient.t27", diff --git a/.trinity/seals/bus-pubsub.json b/.trinity/seals/bus-pubsub.json index 79669a9389..4c8c2a2064 100644 --- a/.trinity/seals/bus-pubsub.json +++ b/.trinity/seals/bus-pubsub.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:102f13a39782d4087a4604a4b8cbc0e460d8175925136d085dcdd4d351ae3b96", - "gen_hash_rust": "sha256:f9d934919f903ab25ebeefc0879a49fcab1143e0dbb8172791fe5f2e1118497b", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:6e335f45fb2f1e959a071005d2dc0140ab7c87ce96756cff6b6da20712ff1f7d", "gen_hash_zig": "sha256:5baa2c4d2f69485d93106e10f5cb207aaca5a742bc2ca20921009c774b89e6dd", "module": "bus-pubsub", "ring": 12, - "sealed_at": "2026-10-11T15:13:20Z", + "sealed_at": "2026-10-20T04:34:26Z", "spec_hash": "sha256:382751dfba3a4c31595948fd481c50c2e383881399e6f3ce87516c03d33324e9", "spec_path": "specs/bus/pubsub.t27", "tests": { diff --git a/.trinity/seals/bus-schema.json b/.trinity/seals/bus-schema.json index 44abc98bac..a37699bb5e 100644 --- a/.trinity/seals/bus-schema.json +++ b/.trinity/seals/bus-schema.json @@ -3,13 +3,13 @@ "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:dfabef0d788ade5f2b4e7a55bcbc63d6a7c1ef17dca9135ecae799b87cb5e432", - "gen_hash_rust": "sha256:b957d5cc87a211ea44164ab03d6125457698ac52cd0efbe83cca56e49f808e84", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:e6b1d283eae6b7a97ce7025de436ffe6d883cccbc43a14f5e688bd80381e71b6", "gen_hash_zig": "sha256:7bc39985be3705964426d94e68b9b1d7d277bec0efdb4b4a7f16e2defe577d07", "module": "bus-schema", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:26:43Z", + "sealed_at": "2026-10-20T04:34:30Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:1252d5a26a2656a213ae87826324b561dd5969349885ec9536d6289eca17616e", "spec_path": "specs/bus/schema.t27", diff --git a/.trinity/seals/bus_bus-pubsub.json b/.trinity/seals/bus_bus-pubsub.json index 69c28317db..9f8eec8f9d 100644 --- a/.trinity/seals/bus_bus-pubsub.json +++ b/.trinity/seals/bus_bus-pubsub.json @@ -1,20 +1,20 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/bus/schema.t27", - "spec_hash": "sha256:6f42b4d018d5e568ca1d0f2efd1181bb36fc0b6e44e98d032fdf746454b87d54" + "spec_hash": "sha256:1252d5a26a2656a213ae87826324b561dd5969349885ec9536d6289eca17616e" } ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:102f13a39782d4087a4604a4b8cbc0e460d8175925136d085dcdd4d351ae3b96", - "gen_hash_rust": "sha256:f9d934919f903ab25ebeefc0879a49fcab1143e0dbb8172791fe5f2e1118497b", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:6e335f45fb2f1e959a071005d2dc0140ab7c87ce96756cff6b6da20712ff1f7d", "gen_hash_zig": "sha256:5baa2c4d2f69485d93106e10f5cb207aaca5a742bc2ca20921009c774b89e6dd", "module": "bus-pubsub", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:20Z", + "sealed_at": "2026-10-20T04:34:26Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:382751dfba3a4c31595948fd481c50c2e383881399e6f3ce87516c03d33324e9", "spec_path": "specs/bus/pubsub.t27", @@ -22,7 +22,7 @@ "blocked": "does not compile: spec.zig:266:21: error: use of undeclared identifier 'bus'" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/bus_bus-schema.json b/.trinity/seals/bus_bus-schema.json index 47816ac711..8157d64e6e 100644 --- a/.trinity/seals/bus_bus-schema.json +++ b/.trinity/seals/bus_bus-schema.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:dfabef0d788ade5f2b4e7a55bcbc63d6a7c1ef17dca9135ecae799b87cb5e432", - "gen_hash_rust": "sha256:b957d5cc87a211ea44164ab03d6125457698ac52cd0efbe83cca56e49f808e84", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:e6b1d283eae6b7a97ce7025de436ffe6d883cccbc43a14f5e688bd80381e71b6", "gen_hash_zig": "sha256:7bc39985be3705964426d94e68b9b1d7d277bec0efdb4b4a7f16e2defe577d07", "module": "bus-schema", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:26:43Z", + "sealed_at": "2026-10-20T04:34:30Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:1252d5a26a2656a213ae87826324b561dd5969349885ec9536d6289eca17616e", "spec_path": "specs/bus/schema.t27", diff --git a/.trinity/seals/coder_igla-coder-arch.json b/.trinity/seals/coder_igla-coder-arch.json index 4a95e61b57..65e8d7d0cb 100644 --- a/.trinity/seals/coder_igla-coder-arch.json +++ b/.trinity/seals/coder_igla-coder-arch.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -16,13 +16,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:c176c0644c50e6b300a2522450e9207363dcb7d8063beaa901a9fc907447abfb", - "gen_hash_rust": "sha256:d133b79a702a1fba1a17d83d3958c91787580b79620b8367512e713abebe06fb", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:85b1e777eafffcab5e69c523ee6b94b455bdb5ff7837f9752104b4f3d045257e", "gen_hash_zig": "sha256:4e55bd0fd917258df8f62b92e1d108e7e10b19eb0a9319dd1b5ec360cebf4e9f", "module": "igla-coder-arch", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:29:54Z", + "sealed_at": "2026-10-20T04:34:48Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:8549d399f320ee9b807f9e2763211e59f69cda452ea6f6f778075cb442a10382", "spec_path": "specs/igla/coder/arch.t27", diff --git a/.trinity/seals/coder_igla-coder-pipeline.json b/.trinity/seals/coder_igla-coder-pipeline.json index a4ad142b8c..8e3086b478 100644 --- a/.trinity/seals/coder_igla-coder-pipeline.json +++ b/.trinity/seals/coder_igla-coder-pipeline.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -24,13 +24,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:c55f26bb7460b4999c7b2f66cfe7462167e21b6d7aeb9371f72e2b53b3544207", - "gen_hash_rust": "sha256:e6768cf6c5998589bbc9aaa8096e033d3969a73547abc5ef37fe130e20c3a3fd", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:c67372e3860fa816994d8eef4d62d96eb9d8f270fc99009c9f831a77ff408f4e", "gen_hash_zig": "sha256:48f89d5548b6d028be4040c877236bc2c2dd578f955ce806a8e5d661be181856", "module": "igla-coder-pipeline", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:30:21Z", + "sealed_at": "2026-10-20T04:34:55Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:4543c1341fe751e31ac5ec1b230015930985f6cde1061ec5d22ebf999ec14519", "spec_path": "specs/igla/coder/pipeline.t27", diff --git a/.trinity/seals/collections_TriBitmap.json b/.trinity/seals/collections_TriBitmap.json index 44f22a38d1..5e308a294d 100644 --- a/.trinity/seals/collections_TriBitmap.json +++ b/.trinity/seals/collections_TriBitmap.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:c63fce02cb3b858d862a2c4a8a172327e3557c4fe68cb7e5f3719c27d3ba9dad", - "gen_hash_rust": "sha256:997d8a9db7ae9a92edaf2c2254abf5ed400d47a1a26076fdb91fa350f1d73d6f", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:cd67b2c5738e7a423b7ae5d2c8ecaa4b0b45d2fd2383005224a822b3d09e9938", "gen_hash_zig": "sha256:7756d88b7f3202122131a2fabab8e4c9f0694c26058f2497561f2daa7e89c7fc", "module": "TriBitmap", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:12Z", + "sealed_at": "2026-10-20T04:37:25Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:37903256855937cd22617a6e6cd33f2495d6bea08486d58029ef10350ae2a61c", "spec_path": "specs/tri/collections/bitmap.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_TriBitvector.json b/.trinity/seals/collections_TriBitvector.json index e6d081e39a..756a5531d5 100644 --- a/.trinity/seals/collections_TriBitvector.json +++ b/.trinity/seals/collections_TriBitvector.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:78c108a793900b52757b5591b432d59d49340508f4553c5eeff85c2b7e85f619", - "gen_hash_rust": "sha256:1291ca4b7cc75f4f170dcaaef10baecc042f63e296e979c14bf93336b51efa20", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:869fb7d4664242b2e7ca0dcf98fa58894adf8d196eb2e7b68eeb50041b1f57e6", "gen_hash_zig": "sha256:e975277ec510357c800cb528606f1227e2b3e671ba77300a2d95cbc05a9a9455", "module": "TriBitvector", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:32:06Z", + "sealed_at": "2026-10-20T04:37:29Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:e2107be5bd0d36b955939f7b0935b7abef464ed5138e5c9fe817888ae0e4de9b", "spec_path": "specs/tri/collections/bitvector.t27", diff --git a/.trinity/seals/collections_TriCircularBuffer.json b/.trinity/seals/collections_TriCircularBuffer.json index b440fc44f7..8daaf4c1da 100644 --- a/.trinity/seals/collections_TriCircularBuffer.json +++ b/.trinity/seals/collections_TriCircularBuffer.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:c30a37c85e70b6b30a94c823e89327b29490b96143fe98a0a68a359b51831af2", - "gen_hash_rust": "sha256:9e347d71b4cac25b58de0d50fbe67eff763241acae25db7eb2640104935959cb", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:0bf974dd041d80f5026b2eb162288639b9ebe423eafb68e81c532cc0f4672c94", "gen_hash_zig": "sha256:e7b1491cd13a887b0ce93ec1168a629cbc686e088d82701ee9f46a920b84c305", "module": "TriCircularBuffer", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:13Z", + "sealed_at": "2026-10-20T04:37:32Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:7d4828786a7342f3b5970f559428837448debd91fe2096dd60aad3030369b7a9", "spec_path": "specs/tri/collections/circular_buffer.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_TriDeque.json b/.trinity/seals/collections_TriDeque.json index 5794cbe6b9..048caf3499 100644 --- a/.trinity/seals/collections_TriDeque.json +++ b/.trinity/seals/collections_TriDeque.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:90153c0f302ded1c87b3370df62934fc9b0052aff214367898c1fbfba2961327", - "gen_hash_rust": "sha256:c0984f3a8281f88de1f2a03abad404201e2e7acbc1c45f84806c7cf76a712b34", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:6b070715a9171b588cd69e63fd190893994688baee5f2401210c2f77760cfdaa", "gen_hash_zig": "sha256:1bddb59ec6954df295443e8efcd0d7050acd6625dd7a1566b533aad40e676a01", "module": "TriDeque", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:13Z", + "sealed_at": "2026-10-20T04:37:37Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:65ffc2b6ebd8830693e7e53c48a5b0c20ffc7ec225fb390803c61b50a21f994f", "spec_path": "specs/tri/collections/deque.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_TriLinkedList.json b/.trinity/seals/collections_TriLinkedList.json index 01b242bcc1..ca26101232 100644 --- a/.trinity/seals/collections_TriLinkedList.json +++ b/.trinity/seals/collections_TriLinkedList.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+e427d3800", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:472ec8a8950b9b865206b3541f4a1e967f140ee9996a33840529636e43e2c282", - "gen_hash_rust": "sha256:d0def4e3ddc53bdbba6ecaa2b13d5c9acd310fb7c49f42b49a3e15d6cd514a88", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:10feefb0bf69819e6b925ca91ba5015925cd8311598fab16aca95e93f3a8472e", "gen_hash_zig": "sha256:25f71bb55db2ed65aabc33c8496fb78178b889d5a940379183bdf0caae7fdf67", "module": "TriLinkedList", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:41:51Z", + "sealed_at": "2026-10-20T04:37:43Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:f002fe52aecc9a974ac7990f7396818116a5510c2f9f1c25204cad64ac1c8e55", "spec_path": "specs/tri/collections/linked_list.t27", diff --git a/.trinity/seals/collections_TriLockfreeStack.json b/.trinity/seals/collections_TriLockfreeStack.json index 2323d628ef..1367ff6e25 100644 --- a/.trinity/seals/collections_TriLockfreeStack.json +++ b/.trinity/seals/collections_TriLockfreeStack.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+e427d3800", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:58130cfd37616cd2282ca0c2d2aaf7fe14daf111d84088248cdb64ed657165fd", - "gen_hash_rust": "sha256:389e2582a01764bbc9c7ab660bc24f258278e50ef878890ef211064e53015028", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:05bcb5c43a303b1ad3d8cb4be0e29ae6a446bb1fde4a6e1aac215b76b4dead25", "gen_hash_zig": "sha256:8d1f2b01ad1ee7efd67e5ddef04d32cd4840495dec159a1695cf51baa273fcfe", "module": "TriLockfreeStack", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:41:53Z", + "sealed_at": "2026-10-20T04:37:46Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:070134cd4bfde398b1ba0733ee9789081b094eaaa636379463f957c11bd93f25", "spec_path": "specs/tri/collections/lockfree_stack.t27", diff --git a/.trinity/seals/collections_TriLru.json b/.trinity/seals/collections_TriLru.json index ac1df28d8e..d5430d629f 100644 --- a/.trinity/seals/collections_TriLru.json +++ b/.trinity/seals/collections_TriLru.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:4fc10ed98735c4df78f18581ff9bd1cfec892ca653ea771b5730b60e7b01bee1", - "gen_hash_rust": "sha256:8d8878c4d7266de04f7df856463d074e6b1d63b595d65f327e34f884a49fa809", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:3871e242321872f327189e71a9de3cdd9edf88f710a5685c64c641a6edab52e3", "gen_hash_zig": "sha256:96ad8e5a8e7f44f65f5112073783e4169f3595c5c89292cb1c533d3e8920ce10", "module": "TriLru", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:15Z", + "sealed_at": "2026-10-20T04:37:49Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:be679240383e07530216228ab3b60fba9655cde2a17b47a3403513e128833811", "spec_path": "specs/tri/collections/lru.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 b3ade0483c..eb29ff4a12 100644 --- a/.trinity/seals/collections_TriLruCache.json +++ b/.trinity/seals/collections_TriLruCache.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+e427d3800", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:71cf397056490b6b0bb8f6687f29930af33e7e72e03588419d40dee837f5514b", - "gen_hash_rust": "sha256:4f28c6ee7be8c8d01e36ec0b618d7b7dc72e61b188c712b9057d9dd950327481", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:1223913bb265d1c162ac2d9b1bbc4db77e7627d424f55ddd9f78101266f8c90f", "gen_hash_zig": "sha256:f313123629fcc93c0086a3ce113415e17769d428fc26efa25d5d275083aeeeec", "module": "TriLruCache", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:41:56Z", + "sealed_at": "2026-10-20T04:37:52Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:7b5dd7339577bd70cb5f5ffbbd03b0acf0fa024b7b2606ca142af6c586a76b56", "spec_path": "specs/tri/collections/lru_cache.t27", diff --git a/.trinity/seals/collections_TriPriorityQueue.json b/.trinity/seals/collections_TriPriorityQueue.json index a31820ebbc..9062287837 100644 --- a/.trinity/seals/collections_TriPriorityQueue.json +++ b/.trinity/seals/collections_TriPriorityQueue.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:ac55a93985fcd3c5c96428200ab0ae6e765cdcd59d68e13625b55ee8ce152d3f", - "gen_hash_rust": "sha256:70fc0cbf30c5f4163d7330dff0262a29fb1033109607978e06b811b2cebf4984", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:0d4033604a11827a246d43b86e0167f64a06ae033c03cb5b1f6332bb6ef005bb", "gen_hash_zig": "sha256:c9ca766e2744c315bef34ed8632aaf6ec45ead121f8064b2461a3577a44bf3cb", "module": "TriPriorityQueue", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:16Z", + "sealed_at": "2026-10-20T04:37:55Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:875c4f0b94dc8cc56922aeac593bcb08e6c869cf25b209c1aa9b383c06813adf", "spec_path": "specs/tri/collections/priority_queue.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_TriSkipList.json b/.trinity/seals/collections_TriSkipList.json index 7c66b82be6..9be2d642d3 100644 --- a/.trinity/seals/collections_TriSkipList.json +++ b/.trinity/seals/collections_TriSkipList.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+686f1aa91", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:4eae3a0e991fe181829f6f2bb4e46c9e7167f57520e40f80b91b3a480d4273b4", - "gen_hash_rust": "sha256:78b88432e37b7092cd95d19ce274a7ac4dbaf22605bdf1c401d83fcd6502dfbe", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:5aec986f19e0e3c4da882350f3c72c14709f462113ad9a2c3fb0ffdbef75645c", "gen_hash_zig": "sha256:d29af7738bf309a1b2eace085b4d00ef06f290a2bf2be4219c9a4feb55d697d8", "module": "TriSkipList", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T15:12:22Z", + "sealed_at": "2026-10-20T04:37:57Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:604761ee96e2319ca03c47e533a2e56c2dea94dd5d47405a1dd2ffb081427a66", "spec_path": "specs/tri/collections/skip_list.t27", diff --git a/.trinity/seals/collections_TriStack.json b/.trinity/seals/collections_TriStack.json index b295257d6c..5c18f9f42e 100644 --- a/.trinity/seals/collections_TriStack.json +++ b/.trinity/seals/collections_TriStack.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:f755d4da402b860e87438ebed2475894dc749eee776f6feae866077368a7f1b4", - "gen_hash_rust": "sha256:29566f8dc345ecbe3a8ef0608f65614de1ebdc0de71bd479d775728754ae5301", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:ec4ff610db0f1dca69f57eb0b048707b03d24d2a589337dbcffaca3b4929f812", "gen_hash_zig": "sha256:ef21da202cdf3e657871e572a227f6fe8d0e6ccae0486602e9fd92b3d86ed5b5", "module": "TriStack", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:33:16Z", + "sealed_at": "2026-10-20T04:38:01Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:aaf2961a72305a68151baa955a9dbdc88b1028563880c276132fd922199ade61", "spec_path": "specs/tri/collections/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/commands.json b/.trinity/seals/commands.json index a203321218..c74f2a1e95 100644 --- a/.trinity/seals/commands.json +++ b/.trinity/seals/commands.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:a8ecd8abea3568a46be778894b132fe42a5114c18865864ab5a387f48eaa46b1", - "gen_hash_rust": "sha256:195364864f27689d973f05af508df826007aff751aade9ea3cf761ca0ab7b471", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:fbcec0243b0ef7c0c99f53a66f8b61dc9435739b4179c9690ce1a2c02b96c774", "gen_hash_zig": "sha256:7c43fe103e2d973c473ef1c5f9f19883ec6a87f523887a7cdc1c7ad338ed0419", "module": "commands", "ring": 12, - "sealed_at": "2026-10-19T05:21:14Z", + "sealed_at": "2026-10-20T04:34:17Z", "spec_hash": "sha256:1cd4643fecb3a98d19e676f17aa3f4eefedb679e9bc39840e4305a65dc72afd5", "spec_path": "compiler/runtime/commands.t27", "tests": { diff --git a/.trinity/seals/config-load.json b/.trinity/seals/config-load.json index 76661662a7..ad0ca256d4 100644 --- a/.trinity/seals/config-load.json +++ b/.trinity/seals/config-load.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:6384d22857492ce04dcae4456355feb022a16a8f191f9d1ac1f767cfdef36e9b", - "gen_hash_rust": "sha256:9be5ab75f6525403eca53055b8fc16cecb145192e5f74405a47698faefce03c2", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:5c7ee1e3b28d505af0f549832db88528e73d3cddd8cc1040fd1f8b467d6a02d5", "gen_hash_zig": "sha256:14fe4e47a65fe7ab045a12a8e08580836adfc5e20178391cecd8598ac7b7dc29", "module": "config-load", "ring": 12, - "sealed_at": "2026-10-11T15:13:22Z", + "sealed_at": "2026-10-20T04:34:33Z", "spec_hash": "sha256:a8c4929b3738482119ef5a329921e3ea7e9c1ba98362ea6c918ca4697c1acd05", "spec_path": "specs/config/load.t27", "tests": { diff --git a/.trinity/seals/config-migrate.json b/.trinity/seals/config-migrate.json index 11cbaec4d1..9f864ce044 100644 --- a/.trinity/seals/config-migrate.json +++ b/.trinity/seals/config-migrate.json @@ -3,13 +3,13 @@ "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:6d853d3d4c480736eba7a9c4c9c69af3deabc52a988d44cfeb3a64ad578cda83", - "gen_hash_rust": "sha256:c00a343be083d1eff6102de27d5f7c27284f4c7ee207bbf443681b293a017eef", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:50ef282ca5511c2edfcc2e60e2b4edafdc6c0a4b4b65fb13991bbfc63c71f275", "gen_hash_zig": "sha256:dd6e9bd5d73a84facd5cedb3b3c42a22706327dc0de4075c41353bcac061acbd", "module": "config-migrate", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:26:48Z", + "sealed_at": "2026-10-20T04:34:37Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:ab0847ac373e33ae5faace2148ddbce7f0b20210c02e5fc521126e04ae43975c", "spec_path": "specs/config/migrate.t27", diff --git a/.trinity/seals/config-schema.json b/.trinity/seals/config-schema.json index 3cedbb21bf..2f8f1c402f 100644 --- a/.trinity/seals/config-schema.json +++ b/.trinity/seals/config-schema.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:be73003a2bf1c055545e4f4d1d1f0e1e405c3ebdb3a12b2c9744866d098c29cb", - "gen_hash_rust": "sha256:aabf277c39c64ab983b5bacc36ec4e458d57e6acdab9ed2d3d3750db9055fa9b", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:0793d0432d72fadedcc3c38c84006b034bc03a926df7be5ac64a7289526d8e9e", "gen_hash_zig": "sha256:78f73e7ac40fdb012e3e29278c830826a96801bb98119e5874e8f3477ab3d149", "module": "config-schema", "ring": 12, - "sealed_at": "2026-10-19T01:26:50Z", + "sealed_at": "2026-10-20T04:34:42Z", "spec_hash": "sha256:229fe8bf76605de9b592a153b4a1d07380b7933ac26025fb314fdbcbcecd369d", "spec_path": "specs/config/schema.t27", "tests": { diff --git a/.trinity/seals/config_config-load.json b/.trinity/seals/config_config-load.json index 7afdb20025..82b0e60159 100644 --- a/.trinity/seals/config_config-load.json +++ b/.trinity/seals/config_config-load.json @@ -1,20 +1,20 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/config/schema.t27", - "spec_hash": "sha256:94ff9316988cd0e6912e7e39745c34b259b7d740ef462430f3c238b96ba86e6d" + "spec_hash": "sha256:229fe8bf76605de9b592a153b4a1d07380b7933ac26025fb314fdbcbcecd369d" } ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:6384d22857492ce04dcae4456355feb022a16a8f191f9d1ac1f767cfdef36e9b", - "gen_hash_rust": "sha256:9be5ab75f6525403eca53055b8fc16cecb145192e5f74405a47698faefce03c2", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:5c7ee1e3b28d505af0f549832db88528e73d3cddd8cc1040fd1f8b467d6a02d5", "gen_hash_zig": "sha256:14fe4e47a65fe7ab045a12a8e08580836adfc5e20178391cecd8598ac7b7dc29", "module": "config-load", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:22Z", + "sealed_at": "2026-10-20T04:34:33Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:a8c4929b3738482119ef5a329921e3ea7e9c1ba98362ea6c918ca4697c1acd05", "spec_path": "specs/config/load.t27", @@ -22,7 +22,7 @@ "blocked": "does not compile: spec.zig:78:34: error: use of undeclared identifier 'config_schema'" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/config_config-migrate.json b/.trinity/seals/config_config-migrate.json index 9c43fca7b2..00e2fc483d 100644 --- a/.trinity/seals/config_config-migrate.json +++ b/.trinity/seals/config_config-migrate.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:6d853d3d4c480736eba7a9c4c9c69af3deabc52a988d44cfeb3a64ad578cda83", - "gen_hash_rust": "sha256:c00a343be083d1eff6102de27d5f7c27284f4c7ee207bbf443681b293a017eef", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:50ef282ca5511c2edfcc2e60e2b4edafdc6c0a4b4b65fb13991bbfc63c71f275", "gen_hash_zig": "sha256:dd6e9bd5d73a84facd5cedb3b3c42a22706327dc0de4075c41353bcac061acbd", "module": "config-migrate", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:26:48Z", + "sealed_at": "2026-10-20T04:34:37Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:ab0847ac373e33ae5faace2148ddbce7f0b20210c02e5fc521126e04ae43975c", "spec_path": "specs/config/migrate.t27", diff --git a/.trinity/seals/config_config-schema.json b/.trinity/seals/config_config-schema.json index ca3f2f5d00..acf2fbf35f 100644 --- a/.trinity/seals/config_config-schema.json +++ b/.trinity/seals/config_config-schema.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:be73003a2bf1c055545e4f4d1d1f0e1e405c3ebdb3a12b2c9744866d098c29cb", - "gen_hash_rust": "sha256:aabf277c39c64ab983b5bacc36ec4e458d57e6acdab9ed2d3d3750db9055fa9b", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:0793d0432d72fadedcc3c38c84006b034bc03a926df7be5ac64a7289526d8e9e", "gen_hash_zig": "sha256:78f73e7ac40fdb012e3e29278c830826a96801bb98119e5874e8f3477ab3d149", "module": "config-schema", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:26:50Z", + "sealed_at": "2026-10-20T04:34:42Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:229fe8bf76605de9b592a153b4a1d07380b7933ac26025fb314fdbcbcecd369d", "spec_path": "specs/config/schema.t27", diff --git a/.trinity/seals/conformance_T27bConformanceEmptyAnonLiteral.json b/.trinity/seals/conformance_T27bConformanceEmptyAnonLiteral.json index 0563fcb78d..7642b079be 100644 --- a/.trinity/seals/conformance_T27bConformanceEmptyAnonLiteral.json +++ b/.trinity/seals/conformance_T27bConformanceEmptyAnonLiteral.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+5d5d2cdef", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:9bd39353de996406eee6417bb9609fc829d80b5dfd9c46d0cd0ce525d11ea9a9", - "gen_hash_rust": "sha256:45245058a3d23c601726966e6d3af41aa83ad1b5911a6b7e1d4e0650c6b416ff", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:227f3050499f6d181f9f20979003eef78e745164119bd9adba805ac4d4a83834", "gen_hash_zig": "sha256:ecdadacecb9640fb2d9673dc54c2de5d9e38cc9e9bb9b6e24c64b169dee01485", "module": "T27bConformanceEmptyAnonLiteral", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T14:59:26Z", + "sealed_at": "2026-10-20T04:38:21Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:6623dba69088c4cea5233caf854b4a14ebac30f475abc08afe3e00c7ffc0ebad", "spec_path": "specs/tri/t27b/conformance/empty_anon_literal.t27", @@ -18,10 +18,11 @@ "failing": [], "forced": false, "passed": 4, - "total": 4 + "total": 4, + "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/encoding_TriCsv.json b/.trinity/seals/encoding_TriCsv.json index a2ad78b10e..3d5acc0975 100644 --- a/.trinity/seals/encoding_TriCsv.json +++ b/.trinity/seals/encoding_TriCsv.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:84a3dc30c56333e534168a40375fed4322fc8f520626d5b66029b5723c87f28e", - "gen_hash_rust": "sha256:79225dab7387ee538a5af950da3b2c1f2a6bf6a2f74d1e26f29f73dc16f48329", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:9e1b747f38641675a9728d1752124c7f38a445c320210464687315bc89b2d4c6", "gen_hash_zig": "sha256:b9e230c7fdaddcfe7aacc37a129ce674c1c47d024792b0fb55aab416f0b9c24c", "module": "TriCsv", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:27:20Z", + "sealed_at": "2026-10-20T04:38:03Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:46f19cb5e9a459dac872b3297fb9418d5b95cf239e0e7f3b2d006b94bf1629ab", "spec_path": "specs/tri/encoding/csv.t27", diff --git a/.trinity/seals/encoding_TriJson.json b/.trinity/seals/encoding_TriJson.json index e0f504642a..a77cef7642 100644 --- a/.trinity/seals/encoding_TriJson.json +++ b/.trinity/seals/encoding_TriJson.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:5514cdf9080a874da8414257516ac17fdab3993f5895b2b8735997d367b03cc7", - "gen_hash_rust": "sha256:b1745c1cae4c655b4fa2634c41574aea4055879e7b8925df094945e2aa256730", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:879bd274778e644d048ed9d9dc8735797f49b29e2d27dc6e319402c170e5ca30", "gen_hash_zig": "sha256:69d52f9c450de32060bf8e9501979d99e186a08047dd412c379b58a132949a9c", "module": "TriJson", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:29:39Z", + "sealed_at": "2026-10-20T04:38:05Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:5343625e2ad0f2ccdf56a9a3b3237ac6068441024a13e3d3a26fd24ed54e6c8d", "spec_path": "specs/tri/encoding/json.t27", @@ -26,7 +26,7 @@ "blocked": "does not compile: spec.zig:53:18: error: no field or member function named 'parseValue' in 'spec.Parser'" }, "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 b0e00e4229..5689b12cd0 100644 --- a/.trinity/seals/io_TriFs.json +++ b/.trinity/seals/io_TriFs.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+9920f51d2", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:5153e8661de48e306ce1b0213f70c48a3edc9c372afe1ec3f85d13bbf833a927", - "gen_hash_rust": "sha256:c3ac25e2bde216467e180f38b89741ab6fd97ed8c070308197eeb8b23abf43a4", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:28386829da10ff0b777303016faa13458e2a5df7e961c7be4eba60ba9b3ba9ff", "gen_hash_zig": "sha256:a1cdb30296cd0f351398fab35a0c1f871c7437c618cbe9a94e9f44425c8a96a6", "module": "TriFs", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T04:00:33Z", + "sealed_at": "2026-10-20T04:38:08Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:8efa7f598919ea7cfb9e5d79189eec736d50c2c577ec27f26ac283c31c6485c6", "spec_path": "specs/tri/io/fs.t27", diff --git a/.trinity/seals/layers_Batchnorm.json b/.trinity/seals/layers_Batchnorm.json index 778484f2d6..d3a2475374 100644 --- a/.trinity/seals/layers_Batchnorm.json +++ b/.trinity/seals/layers_Batchnorm.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+e427d3800", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:f1b24f61462f6a03db80305b0658df369861523e246b81264601d993d83c340f", - "gen_hash_rust": "sha256:5286a92caddb9c43d9de0d79978273dc00cf667bf7ef9507eee02085ce65fe8c", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:ed0839202726940807b33f102c9f70b5b7b72e059af38cab494b4ccf8616834a", "gen_hash_zig": "sha256:87ae2270ce9ead3e2ec148c722ddbbab7ddee08744a45fbc7e1c4c96653c51ef", "module": "Batchnorm", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:40:14Z", + "sealed_at": "2026-10-20T04:35:24Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:479b0fe4e0c7103ae57150096356ef13b6bdc796f6189d8cb563e4d26c115254", "spec_path": "specs/ml/layers/batchnorm_layer.t27", diff --git a/.trinity/seals/layers_Embedding.json b/.trinity/seals/layers_Embedding.json index 156e5c5c69..e7ae24e415 100644 --- a/.trinity/seals/layers_Embedding.json +++ b/.trinity/seals/layers_Embedding.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+e427d3800", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:8af036b6010ab39a207f5f1332b4f24c646bad8d104c6f5ed4fafe784c63662a", - "gen_hash_rust": "sha256:74c345177b0da2b457279c8fcb9f0c1932fec692dac6c20eedc6c3cb71b5ee69", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:572531e675053a6367c948cec223ec5402a1130e67bd4ba79a38cf30b2a1790b", "gen_hash_zig": "sha256:0a181b0345b5050ddbfbddd22891a88eaee5415737fe014ab80515591b05dcfd", "module": "Embedding", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:40:25Z", + "sealed_at": "2026-10-20T04:35:30Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:ee2625cfeb90bf9220fdf4a9d1010af3a2327bceafd4fd6341b08b4e1af54094", "spec_path": "specs/ml/layers/embedding_layer.t27", diff --git a/.trinity/seals/legacy_main_zig_handwritten.json b/.trinity/seals/legacy_main_zig_handwritten.json index cf95c21def..1a51823cf1 100644 --- a/.trinity/seals/legacy_main_zig_handwritten.json +++ b/.trinity/seals/legacy_main_zig_handwritten.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+9920f51d2", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:88c4ba2b8d2fc505a49a525079402be1968d1be420c36fc8241d2e8e9239b3b8", - "gen_hash_rust": "sha256:189658bcccf7fe41d256a0f5aa14f92e0c05f745949a55842783b29dc8c921f4", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:a18ecdc04e1092bd1e8b2ef8e2850a467c90bf3f3fa98709ccb46f69342d0f15", "gen_hash_zig": "sha256:ff2a314758f2f986fd3eafbfecbf02dfa01f3e3c62dc200382de90642984d4d8", "module": "main_zig_handwritten", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T03:54:56Z", + "sealed_at": "2026-10-20T04:34:23Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:3b65d34b5a660d11c8a0a7e6ca20e1fdccfc64420ae95359c0eeabf13a39f618", "spec_path": "contrib/backend/zig/legacy/main_zig_handwritten.t27", diff --git a/.trinity/seals/lsp-client.json b/.trinity/seals/lsp-client.json index 97395f1b50..1d7184dbad 100644 --- a/.trinity/seals/lsp-client.json +++ b/.trinity/seals/lsp-client.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:de265ab80bd2802da383e21fa22a7e775506ca338f9285236e7727df8d83e1bf", - "gen_hash_rust": "sha256:4cbdbed1680dde8383a719de5e52ff851ccbc132bda8930b8800ddd22f9acfc7", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:13821cd7a130a9612d04a2b0f4172e04c94ed8a4cee3ca6fd1142730076ba540", "gen_hash_zig": "sha256:309d3ce9f1509259382612113f4675cbac74e648322443eb6771ce3f0dc110cb", "module": "lsp-client", "ring": 12, - "sealed_at": "2026-10-11T15:13:24Z", + "sealed_at": "2026-10-20T04:35:03Z", "spec_hash": "sha256:2af7e789086d43e3f424965b392e42bead315d36c3b77c78b7dfe342f4611de2", "spec_path": "specs/lsp/client.t27", "tests": { diff --git a/.trinity/seals/lsp-schema.json b/.trinity/seals/lsp-schema.json index 3c94993afa..c2bad736ac 100644 --- a/.trinity/seals/lsp-schema.json +++ b/.trinity/seals/lsp-schema.json @@ -3,13 +3,13 @@ "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:74be8e6671ad40f859edd033c9b2091c94b90d86db7daac6efe397dc1a1e01be", - "gen_hash_rust": "sha256:e30c94e6d24df2109f94ce155c0a4082158027049e4ed65eb84d425178a5765b", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:2ac28a74a8189a8ec8775e447cdebd60a825b1d4875d15039dabce7969b7ef5a", "gen_hash_zig": "sha256:cc7556dd427d492092731348d9aad8c54b1598d9ee5e27a58f765cbc990f7a5c", "module": "lsp-schema", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:30:46Z", + "sealed_at": "2026-10-20T04:35:13Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:7b956f45d3f4095c89fdf37aa8e1b54642e5a5e14790c609c1a230743a4fbb77", "spec_path": "specs/lsp/schema.t27", diff --git a/.trinity/seals/lsp-server.json b/.trinity/seals/lsp-server.json index 2a59ed06ad..bb4049f90f 100644 --- a/.trinity/seals/lsp-server.json +++ b/.trinity/seals/lsp-server.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:ab1d61a9937f8d37ebd5b9f9196815c0e84f7cbf9750c0e90acca7d5219497d2", - "gen_hash_rust": "sha256:ac9190793697b2793176b2090bf3a1288aa1f2ec8069a92f0d1d80f593429f41", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:fe1e9a0d4e7f30b5ecda364afb5debdf842199382d6307cc6f0e657392b251c3", "gen_hash_zig": "sha256:d15c3331ff41dd51a07c6891128d6a03b2a9d17e7082c573d70902470c37ffa4", "module": "lsp-server", "ring": 12, - "sealed_at": "2026-10-11T15:13:24Z", + "sealed_at": "2026-10-20T04:35:19Z", "spec_hash": "sha256:a516bc2a70eff9cd5352176d5a71b7f41db16c5cce232057dac4f0b4472d190d", "spec_path": "specs/lsp/server.t27", "tests": { diff --git a/.trinity/seals/lsp_lsp-client.json b/.trinity/seals/lsp_lsp-client.json index a45dcad898..d00e54b716 100644 --- a/.trinity/seals/lsp_lsp-client.json +++ b/.trinity/seals/lsp_lsp-client.json @@ -1,20 +1,20 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/lsp/schema.t27", - "spec_hash": "sha256:073db3208df4c6b2d953b0e0b5d9cfa8d89825a65da23f06d512ec1e465fb811" + "spec_hash": "sha256:7b956f45d3f4095c89fdf37aa8e1b54642e5a5e14790c609c1a230743a4fbb77" } ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:de265ab80bd2802da383e21fa22a7e775506ca338f9285236e7727df8d83e1bf", - "gen_hash_rust": "sha256:4cbdbed1680dde8383a719de5e52ff851ccbc132bda8930b8800ddd22f9acfc7", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:13821cd7a130a9612d04a2b0f4172e04c94ed8a4cee3ca6fd1142730076ba540", "gen_hash_zig": "sha256:309d3ce9f1509259382612113f4675cbac74e648322443eb6771ce3f0dc110cb", "module": "lsp-client", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:24Z", + "sealed_at": "2026-10-20T04:35:03Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:2af7e789086d43e3f424965b392e42bead315d36c3b77c78b7dfe342f4611de2", "spec_path": "specs/lsp/client.t27", @@ -22,7 +22,7 @@ "blocked": "does not compile: spec.zig:145:339: error: expected type '[]u8', found '*const [8:0]u8'" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/lsp_lsp-schema.json b/.trinity/seals/lsp_lsp-schema.json index 3c94993afa..af4ed964f8 100644 --- a/.trinity/seals/lsp_lsp-schema.json +++ b/.trinity/seals/lsp_lsp-schema.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:74be8e6671ad40f859edd033c9b2091c94b90d86db7daac6efe397dc1a1e01be", - "gen_hash_rust": "sha256:e30c94e6d24df2109f94ce155c0a4082158027049e4ed65eb84d425178a5765b", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:2ac28a74a8189a8ec8775e447cdebd60a825b1d4875d15039dabce7969b7ef5a", "gen_hash_zig": "sha256:cc7556dd427d492092731348d9aad8c54b1598d9ee5e27a58f765cbc990f7a5c", "module": "lsp-schema", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:30:46Z", + "sealed_at": "2026-10-20T04:35:13Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:7b956f45d3f4095c89fdf37aa8e1b54642e5a5e14790c609c1a230743a4fbb77", "spec_path": "specs/lsp/schema.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/lsp_lsp-server.json b/.trinity/seals/lsp_lsp-server.json index 08b4f3c570..6b7c89b3f4 100644 --- a/.trinity/seals/lsp_lsp-server.json +++ b/.trinity/seals/lsp_lsp-server.json @@ -1,20 +1,20 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/lsp/schema.t27", - "spec_hash": "sha256:073db3208df4c6b2d953b0e0b5d9cfa8d89825a65da23f06d512ec1e465fb811" + "spec_hash": "sha256:7b956f45d3f4095c89fdf37aa8e1b54642e5a5e14790c609c1a230743a4fbb77" } ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:ab1d61a9937f8d37ebd5b9f9196815c0e84f7cbf9750c0e90acca7d5219497d2", - "gen_hash_rust": "sha256:ac9190793697b2793176b2090bf3a1288aa1f2ec8069a92f0d1d80f593429f41", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:fe1e9a0d4e7f30b5ecda364afb5debdf842199382d6307cc6f0e657392b251c3", "gen_hash_zig": "sha256:d15c3331ff41dd51a07c6891128d6a03b2a9d17e7082c573d70902470c37ffa4", "module": "lsp-server", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:24Z", + "sealed_at": "2026-10-20T04:35:19Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:a516bc2a70eff9cd5352176d5a71b7f41db16c5cce232057dac4f0b4472d190d", "spec_path": "specs/lsp/server.t27", @@ -22,7 +22,7 @@ "blocked": "does not compile: spec.zig:18:32: error: expected type '[3]u8', found '*const [7:0]u8'" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/math_TriPolynomial.json b/.trinity/seals/math_TriPolynomial.json index 3980c1487c..71b6fbdf2c 100644 --- a/.trinity/seals/math_TriPolynomial.json +++ b/.trinity/seals/math_TriPolynomial.json @@ -1,12 +1,32 @@ { + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2" + }, + { + "spec": "specs/math/constants.t27", + "spec_hash": "sha256:57187e7afda1d88167b2af0382ad7f0623aa6b269ba020a78e3ffeebba1161bb" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:fd1a290613185cc522bf45313dcb29fd1ac8a405e3674c107b5a2f15d42d025a", - "gen_hash_rust": "sha256:994af3af47281b7a7e3eb60a522457aa4ad46d8ed0ef190a164ca46cc7793824", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:e0dab11e724d3516ecb22bdff06b468208ff6cebd3f318c8e2876bb1b29fc8f3", "gen_hash_zig": "sha256:f4492e40ba3f2a8a629657a41c82c3058768d62f248f014586e5cf5155f45cfe", "module": "TriPolynomial", "ring": 12, - "sealed_at": "2026-10-02T11:02:52Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-20T04:38:08Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:6dfdfd7f5f7132973be835ebbed7277c4724e0ea4f58c68ce7027890861e49ea", - "spec_path": "specs/tri/math/polynomial.t27" + "spec_path": "specs/tri/math/polynomial.t27", + "tests": { + "blocked": "does not compile: spec.zig:32:28: error: extra capture in for loop" + }, + "toolchain": { + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", + "zig": "0.16.0" + } } \ No newline at end of file diff --git a/.trinity/seals/optimizer_Sgd.json b/.trinity/seals/optimizer_Sgd.json index 4ac5506111..a944293870 100644 --- a/.trinity/seals/optimizer_Sgd.json +++ b/.trinity/seals/optimizer_Sgd.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:2eeb7b3ad4c54df892b269d366d72577f390933a5f7014e750cd0af14b875aee", - "gen_hash_rust": "sha256:2d6cae860f3ae0439d719d2b84260dde177fb1e8b4a3addaf37338000f1f1312", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:38c74b6aa1084ea3f54f32446ebb36ae8b6cc5b8e16aac36e7400972deaad9a9", "gen_hash_zig": "sha256:569aa863092bd5290217e011ba35ce70afa0d782d0dddd901728f6cf75af7ff3", "module": "Sgd", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:20Z", + "sealed_at": "2026-10-20T04:35:35Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:d344b6438e73f6e275f3837c14267919d3629fa0e12898a96451e2782885884f", "spec_path": "specs/ml/optimizer/sgd.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_SgdMomentum.json b/.trinity/seals/optimizer_SgdMomentum.json index 4e7555c1a0..6131cc6efe 100644 --- a/.trinity/seals/optimizer_SgdMomentum.json +++ b/.trinity/seals/optimizer_SgdMomentum.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:fdf3a3b91fdd7325925aa4829f0a8aaa71d4670cf8ddb481942e57dc91c812da", - "gen_hash_rust": "sha256:0842bb62da886ca12742db4b287a7d831c1185e7b5e3f337cf20b0c580c29c16", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:c12dda42c364c822e09071797f4438504da838d86c60ccf2b72c6e9a2b1da83f", "gen_hash_zig": "sha256:1a2f6ce84750148636e07d5b0abcdc2ec5c264f087fd323aea3d430d435414d8", "module": "SgdMomentum", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:30:58Z", + "sealed_at": "2026-10-20T04:35:39Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:af2ef054e245e2de293b4337badcfcdfa1c8429ae1c0f3e747111c81945f0e1f", "spec_path": "specs/ml/optimizer/sgd_momentum.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/parser.json b/.trinity/seals/parser.json index 4999c21498..532798fa25 100644 --- a/.trinity/seals/parser.json +++ b/.trinity/seals/parser.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:edfac7cadf5ab3707cb8bb438f8e07924b40416940952708a41bca6589b1691a", - "gen_hash_rust": "sha256:47aac5828d76c5f4c25f4ae976d557449d320e87e83320c5338127450bb32072", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:ae0ad0bee27d6d11efc90805d4e08d81eb7034f83e5c711ddfcd836cd9e1d564", "gen_hash_zig": "sha256:b9b2f59aac09e1393244ce1df0b4ad073f2039b6b534ad0868c9ae3b44d2104d", "module": "parser", "ring": 12, - "sealed_at": "2026-10-11T15:13:19Z", + "sealed_at": "2026-10-20T04:34:12Z", "spec_hash": "sha256:8e54cb97892379b3f3f01327572bac67767bb949c57c09ff7234f11f816d5e74", "spec_path": "compiler/parser/parser.t27", "tests": { diff --git a/.trinity/seals/parser_parser.json b/.trinity/seals/parser_parser.json index f846b5a0b8..fc2a9b71ba 100644 --- a/.trinity/seals/parser_parser.json +++ b/.trinity/seals/parser_parser.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:edfac7cadf5ab3707cb8bb438f8e07924b40416940952708a41bca6589b1691a", - "gen_hash_rust": "sha256:47aac5828d76c5f4c25f4ae976d557449d320e87e83320c5338127450bb32072", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:ae0ad0bee27d6d11efc90805d4e08d81eb7034f83e5c711ddfcd836cd9e1d564", "gen_hash_zig": "sha256:b9b2f59aac09e1393244ce1df0b4ad073f2039b6b534ad0868c9ae3b44d2104d", "module": "parser", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:19Z", + "sealed_at": "2026-10-20T04:34:12Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:8e54cb97892379b3f3f01327572bac67767bb949c57c09ff7234f11f816d5e74", "spec_path": "compiler/parser/parser.t27", @@ -17,7 +17,7 @@ "blocked": "does not compile: spec.zig:26:14: error: expected '(', found '.'" }, "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 42a143d1a8..5e653e7b43 100644 --- a/.trinity/seals/pathway_Mlp.json +++ b/.trinity/seals/pathway_Mlp.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+e427d3800", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:64a4b2df9079d78ddee5a382690251437fff739fb1a407d41eef882185db143e", - "gen_hash_rust": "sha256:0b7f25cc0ac0e2519b3e0092fc71359eddda5d96ee4d311e4a7ebae33c8b64f1", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:890f720aedb65673d90646517a62fdedcf022d4cb3c6cecf545861d8656dfbee", "gen_hash_zig": "sha256:746e7a402eb34d5bcb6070e82b62519385aca793d7d8d8e2b37741365b765d5f", "module": "Mlp", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:40:39Z", + "sealed_at": "2026-10-20T04:35:44Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:936f35f57c99851545afe0b1797b416777549610a3f57cf49c0727311eef281a", "spec_path": "specs/ml/pathway/mlp.t27", diff --git a/.trinity/seals/pins_PinsParser.json b/.trinity/seals/pins_PinsParser.json index 0087f87584..70dc77deae 100644 --- a/.trinity/seals/pins_PinsParser.json +++ b/.trinity/seals/pins_PinsParser.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+9920f51d2", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/ops.t27", @@ -16,13 +16,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:a2d246976083268aa221bb133036dd822a8a59a89d5577867be50e760d693cae", - "gen_hash_rust": "sha256:5e0b7a798b733aeaeeeac3407e9f1b17708f260bae393348ba72f7d6772180a7", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:d83321903da73e4b7729242f6348209e7a5e09107c0e15af06530609b969894b", "gen_hash_zig": "sha256:c750271cd12593680feb5977057c84af76dc356608778a7abddbf2e68940451a", "module": "PinsParser", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T03:57:54Z", + "sealed_at": "2026-10-20T04:36:26Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:2136baa6752930a651ba388fd268c76b484e02dfb56510fae190614c4e1ead92", "spec_path": "specs/pins/parser.t27", diff --git a/.trinity/seals/pipeline_TriBuilder.json b/.trinity/seals/pipeline_TriBuilder.json index 171bcb60f3..5fe3fb75e1 100644 --- a/.trinity/seals/pipeline_TriBuilder.json +++ b/.trinity/seals/pipeline_TriBuilder.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+9920f51d2", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:f1070680be2ed8d74e3c84f5213df2b3b157cad071cf0f87c5824a09d70d6a85", - "gen_hash_rust": "sha256:5ab414ad9a354cfdbc59002df571e96b71034930422e152897d4c03c36a574b0", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:7864301b593ae0b8969c0c5ca721b91f2c7bc21ab8a07f95ae3f81e3d75cf6d4", "gen_hash_zig": "sha256:78744855f1ae4bcf38f546287c291bf4570005c71d87cb1d9aafa6819607791a", "module": "TriBuilder", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T04:00:45Z", + "sealed_at": "2026-10-20T04:38:11Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:fd08e6de8e826e8ae273fb364e8419f0d950b5daf3420c96200a4248802b5591", "spec_path": "specs/tri/pipeline/builder.t27", diff --git a/.trinity/seals/portable::relay_observer.json b/.trinity/seals/portable::relay_observer.json index 3a0c8a4d70..39cad1c9ed 100644 --- a/.trinity/seals/portable::relay_observer.json +++ b/.trinity/seals/portable::relay_observer.json @@ -8,13 +8,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:f84fe5951e26c78d586edd6df1374a3f7da63e9041a5d362f079fab2a2e31f51", - "gen_hash_rust": "sha256:c3fd9426b8d974fb894535860d9e7fdd68806edaa8f75b565a6c81536eb16536", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:2c5c71026848c8d0c9a8d8ce78bc010433fc09e646333e287fde8fda1360853d", "gen_hash_zig": "sha256:aa12cf4f2de4e98f8dac3c1aea405279758b7a860d3a4e7a24e04278ab72a81c", "module": "portable::relay_observer", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:27:03Z", + "sealed_at": "2026-10-20T04:36:46Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:b1e014de90defe8a4c1189c941f8765937a522fc70a118a6c7698834caf8db3d", "spec_path": "specs/portable/relay_observer.t27", diff --git a/.trinity/seals/portable_portable::relay_observer.json b/.trinity/seals/portable_portable::relay_observer.json index 99ca975769..d26a390c09 100644 --- a/.trinity/seals/portable_portable::relay_observer.json +++ b/.trinity/seals/portable_portable::relay_observer.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/compiler/lexer.t27", @@ -8,13 +8,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:f84fe5951e26c78d586edd6df1374a3f7da63e9041a5d362f079fab2a2e31f51", - "gen_hash_rust": "sha256:c3fd9426b8d974fb894535860d9e7fdd68806edaa8f75b565a6c81536eb16536", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:2c5c71026848c8d0c9a8d8ce78bc010433fc09e646333e287fde8fda1360853d", "gen_hash_zig": "sha256:aa12cf4f2de4e98f8dac3c1aea405279758b7a860d3a4e7a24e04278ab72a81c", "module": "portable::relay_observer", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:27:03Z", + "sealed_at": "2026-10-20T04:36:46Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:b1e014de90defe8a4c1189c941f8765937a522fc70a118a6c7698834caf8db3d", "spec_path": "specs/portable/relay_observer.t27", diff --git a/.trinity/seals/provider-adapters.json b/.trinity/seals/provider-adapters.json index 41201e37b3..0e540c869d 100644 --- a/.trinity/seals/provider-adapters.json +++ b/.trinity/seals/provider-adapters.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:4f6147549fa0e2bf449397679e020485e2e6ab504dd24277a46ee577e77500a2", - "gen_hash_rust": "sha256:2035ef589ce85c390e2aa80aaf203056bb1fa8cc9609ee3556fa993744196fe8", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:4538c5ac0f78e9170fb39c8236444bad007ab346438b9b7a010f9f6a6a1be8bf", "gen_hash_zig": "sha256:d6b61ff4976a83e2b569bb12a59b3232031cb9321b84d62a7f82be00ba0141f0", "module": "provider-adapters", "ring": 12, - "sealed_at": "2026-10-11T15:13:47Z", + "sealed_at": "2026-10-20T04:36:51Z", "spec_hash": "sha256:44cc915fdbf56b9983f59ea065cee449fef17492c798cfb29e804ed89dd4f74d", "spec_path": "specs/provider/adapters.t27", "tests": { diff --git a/.trinity/seals/provider-schema.json b/.trinity/seals/provider-schema.json index d715d46882..be0228fc74 100644 --- a/.trinity/seals/provider-schema.json +++ b/.trinity/seals/provider-schema.json @@ -3,13 +3,13 @@ "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:4665ed9497d82f96d2a48c6768499911a68eac99ee21be82195f58b8af756d52", - "gen_hash_rust": "sha256:fb29e435cadbd3bacfba79b6f9bf71de7dfa224531a3c3fd9112858f7f34efed", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:e552fa190b8c6bd1cbc9ec772715ae2eb5b7326b3c6eb6d2bbb0ffa5a5864ddb", "gen_hash_zig": "sha256:ed7169ad94fdb96e91a4d217a56d9678106ad61622156c9705b4def43f14a8d1", "module": "provider-schema", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:27:05Z", + "sealed_at": "2026-10-20T04:36:56Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:a3ad8e0eb5a8d6e5351af31e1d9c544f9cbcc6bb1cf32e4aca0f8fbb35ad57fc", "spec_path": "specs/provider/schema.t27", diff --git a/.trinity/seals/provider-stream.json b/.trinity/seals/provider-stream.json index 742b4dfd0c..0e373d2db0 100644 --- a/.trinity/seals/provider-stream.json +++ b/.trinity/seals/provider-stream.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:e6954c32f591b89994582e87d35c77b4a6e075fb267f2c2fac6ec0e2856a6707", - "gen_hash_rust": "sha256:417489b32ca2444f915f80e91f19a682c887cb7e02f209840aad46d9eea848ae", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:aa08529964eb21dca7c3bb146f1b959b47bbc37ca47c6b25f32e2d3faf94cc84", "gen_hash_zig": "sha256:2d76430420716a4c89b5d37de85be8ca61bdd13394f7ae476c293725b20ce733", "module": "provider-stream", "ring": 12, - "sealed_at": "2026-10-11T15:13:47Z", + "sealed_at": "2026-10-20T04:36:57Z", "spec_hash": "sha256:e9ac77426592b1e0dc7b3b65a06128bb1cf270f4830df9c686032bb4afe46537", "spec_path": "specs/provider/stream.t27", "tests": { diff --git a/.trinity/seals/provider-transform.json b/.trinity/seals/provider-transform.json index a00aaf2888..cfb0321c9d 100644 --- a/.trinity/seals/provider-transform.json +++ b/.trinity/seals/provider-transform.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:c715dab60e567f1020be00e0458486dee2c72bc4fb13d57513c3016973cee1f4", - "gen_hash_rust": "sha256:8409756abd9d2e2b64236035a3a12917e78364bd39c13749cbd6851309bcf8a9", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:5fb9643a95ee7a99f10d42026f37ff2ad29b65588d9325eac2e70b257ecd4dda", "gen_hash_zig": "sha256:57869613566f721e59f01f2a8ba62c0d5f6bfb9bdf0e505056af7c9ebc644d63", "module": "provider-transform", "ring": 12, - "sealed_at": "2026-10-09T23:18:14Z", + "sealed_at": "2026-10-20T04:36:59Z", "spec_hash": "sha256:36515acc158b89c93aabdef86e4dd4f3b867dd648ca234f9e246573ba91c3061", "spec_path": "specs/provider/transform.t27", "tests": { diff --git a/.trinity/seals/provider_provider-adapters.json b/.trinity/seals/provider_provider-adapters.json index b51d5c6bc3..cb96827716 100644 --- a/.trinity/seals/provider_provider-adapters.json +++ b/.trinity/seals/provider_provider-adapters.json @@ -1,20 +1,20 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/provider/schema.t27", - "spec_hash": "sha256:3b8d446df95da8691a9ccf669e31fd3b7592251495be3703542f3bc320d91d2b" + "spec_hash": "sha256:a3ad8e0eb5a8d6e5351af31e1d9c544f9cbcc6bb1cf32e4aca0f8fbb35ad57fc" } ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:4f6147549fa0e2bf449397679e020485e2e6ab504dd24277a46ee577e77500a2", - "gen_hash_rust": "sha256:2035ef589ce85c390e2aa80aaf203056bb1fa8cc9609ee3556fa993744196fe8", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:4538c5ac0f78e9170fb39c8236444bad007ab346438b9b7a010f9f6a6a1be8bf", "gen_hash_zig": "sha256:d6b61ff4976a83e2b569bb12a59b3232031cb9321b84d62a7f82be00ba0141f0", "module": "provider-adapters", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:47Z", + "sealed_at": "2026-10-20T04:36:51Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:44cc915fdbf56b9983f59ea065cee449fef17492c798cfb29e804ed89dd4f74d", "spec_path": "specs/provider/adapters.t27", @@ -22,7 +22,7 @@ "blocked": "does not compile: spec.zig:22:36: error: expected type '[3]u8', found '*const [3:0]u8'" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/provider_provider-schema.json b/.trinity/seals/provider_provider-schema.json index a90f11f419..02f56af3a3 100644 --- a/.trinity/seals/provider_provider-schema.json +++ b/.trinity/seals/provider_provider-schema.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:4665ed9497d82f96d2a48c6768499911a68eac99ee21be82195f58b8af756d52", - "gen_hash_rust": "sha256:fb29e435cadbd3bacfba79b6f9bf71de7dfa224531a3c3fd9112858f7f34efed", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:e552fa190b8c6bd1cbc9ec772715ae2eb5b7326b3c6eb6d2bbb0ffa5a5864ddb", "gen_hash_zig": "sha256:ed7169ad94fdb96e91a4d217a56d9678106ad61622156c9705b4def43f14a8d1", "module": "provider-schema", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:27:05Z", + "sealed_at": "2026-10-20T04:36:56Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:a3ad8e0eb5a8d6e5351af31e1d9c544f9cbcc6bb1cf32e4aca0f8fbb35ad57fc", "spec_path": "specs/provider/schema.t27", diff --git a/.trinity/seals/provider_provider-stream.json b/.trinity/seals/provider_provider-stream.json index 55cd1bf0aa..e05593adc1 100644 --- a/.trinity/seals/provider_provider-stream.json +++ b/.trinity/seals/provider_provider-stream.json @@ -1,20 +1,20 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/provider/schema.t27", - "spec_hash": "sha256:3b8d446df95da8691a9ccf669e31fd3b7592251495be3703542f3bc320d91d2b" + "spec_hash": "sha256:a3ad8e0eb5a8d6e5351af31e1d9c544f9cbcc6bb1cf32e4aca0f8fbb35ad57fc" } ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:e6954c32f591b89994582e87d35c77b4a6e075fb267f2c2fac6ec0e2856a6707", - "gen_hash_rust": "sha256:417489b32ca2444f915f80e91f19a682c887cb7e02f209840aad46d9eea848ae", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:aa08529964eb21dca7c3bb146f1b959b47bbc37ca47c6b25f32e2d3faf94cc84", "gen_hash_zig": "sha256:2d76430420716a4c89b5d37de85be8ca61bdd13394f7ae476c293725b20ce733", "module": "provider-stream", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:47Z", + "sealed_at": "2026-10-20T04:36:57Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:e9ac77426592b1e0dc7b3b65a06128bb1cf270f4830df9c686032bb4afe46537", "spec_path": "specs/provider/stream.t27", @@ -22,7 +22,7 @@ "blocked": "does not compile: spec.zig:153:102: error: expected '}', found ':'" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/provider_provider-transform.json b/.trinity/seals/provider_provider-transform.json index d7912b3c23..d0e0f0d45f 100644 --- a/.trinity/seals/provider_provider-transform.json +++ b/.trinity/seals/provider_provider-transform.json @@ -1,20 +1,20 @@ { - "built_by": "t27c-bootstrap@0.5.2+6c48dbb76", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/provider/schema.t27", - "spec_hash": "sha256:3b8d446df95da8691a9ccf669e31fd3b7592251495be3703542f3bc320d91d2b" + "spec_hash": "sha256:a3ad8e0eb5a8d6e5351af31e1d9c544f9cbcc6bb1cf32e4aca0f8fbb35ad57fc" } ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:c715dab60e567f1020be00e0458486dee2c72bc4fb13d57513c3016973cee1f4", - "gen_hash_rust": "sha256:8409756abd9d2e2b64236035a3a12917e78364bd39c13749cbd6851309bcf8a9", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:5fb9643a95ee7a99f10d42026f37ff2ad29b65588d9325eac2e70b257ecd4dda", "gen_hash_zig": "sha256:57869613566f721e59f01f2a8ba62c0d5f6bfb9bdf0e505056af7c9ebc644d63", "module": "provider-transform", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T23:18:14Z", + "sealed_at": "2026-10-20T04:36:59Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:36515acc158b89c93aabdef86e4dd4f3b867dd648ca234f9e246573ba91c3061", "spec_path": "specs/provider/transform.t27", @@ -22,7 +22,7 @@ "blocked": "does not compile: spec.zig:215:33: error: expected type '[]u8', found '*const [19:0]u8'" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/queen_port-feed-untested.json b/.trinity/seals/queen_port-feed-untested.json index 59f7137601..4c0b9782c8 100644 --- a/.trinity/seals/queen_port-feed-untested.json +++ b/.trinity/seals/queen_port-feed-untested.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:5b06d817bb3e6c165d856acba9569a297de05348bc04f637e16ef1e3c8fe17af", - "gen_hash_rust": "sha256:4f9ad7275a415424b049ec33db95eaf63a8a493ca689c6ed29d60f955bd9b79a", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:8fbc563ff339f067294c7804d6227d9316265379556dea5c3b3fab0346329465", "gen_hash_zig": "sha256:8b75217f29b72d3a4ac231b13899e30c761614cd0efeffc79898c91ebfc8c470", "module": "port-feed-untested", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:28:51Z", + "sealed_at": "2026-10-20T04:36:31Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:28b9d5ab8a0c1781dcbe15c5ecf4410fee02e669355a080a2e5e1f4982a98b50", "spec_path": "specs/port/tools/queen/feed_untested.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/race_igla-race-ternary-inference.json b/.trinity/seals/race_igla-race-ternary-inference.json index c156591048..ab8ee57913 100644 --- a/.trinity/seals/race_igla-race-ternary-inference.json +++ b/.trinity/seals/race_igla-race-ternary-inference.json @@ -1,12 +1,44 @@ { + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2" + }, + { + "spec": "specs/igla/race/bram_weights.t27", + "spec_hash": "sha256:2e64758765a33902d746fd41a11372846b5aa2e7d2b027c25908bda679cb3a0c" + }, + { + "spec": "specs/igla/race/systolic_ternary.t27", + "spec_hash": "sha256:f0bde5c8a46118437ac641eb8b8f07055679070e32525e50e96e7c90a4baa61b" + }, + { + "spec": "specs/igla/race/ternary_gemm.t27", + "spec_hash": "sha256:aaf25b765c12cf5586c9e2beab215988b63be7bc6e1679528972425b885d0fbe" + }, + { + "spec": "specs/igla/race/ternary_mac.t27", + "spec_hash": "sha256:6732a78e24444ecaf13cdb864124531e8ca4ea858969297f5c70d9b84eaa4935" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:a394130a2e055fcc032068945f386631b7a8772447efc59b2af06adab8b85c3e", - "gen_hash_rust": "sha256:3818559011c10c28c2e7a2d6f9b92ac3dba285e8b5fca0a5cf2a1c9e74801c14", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:f487224c7834eba663dfe44e11b65b159e3b8c1037048a2fe563598632035926", "gen_hash_zig": "sha256:29919bcad3d830afb7380dce4934dfb560204b1dabf2726b2b879d77e34e5ef2", "module": "igla-race-ternary-inference", "ring": 12, - "sealed_at": "2026-10-02T11:02:50Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-20T04:34:59Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:0233524d5b0ec20aa6737ca8df376d32a69a7ab1f50e8461298edb40bfd18c6d", - "spec_path": "specs/igla/race/ternary_inference.t27" + "spec_path": "specs/igla/race/ternary_inference.t27", + "tests": { + "blocked": "does not compile: spec.zig:40:30: error: array literal requires address-of operator (&) to coerce to slice type '[]i8'" + }, + "toolchain": { + "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 8f2974852b..25bda7ea90 100644 --- a/.trinity/seals/recurrent_Gru.json +++ b/.trinity/seals/recurrent_Gru.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+e427d3800", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:fb4814fac299611e1f53a2f65a4630690911e2de5660d0bd1dd8e038db48240d", - "gen_hash_rust": "sha256:eab72fb71adc11da75394aa3d3abdf98c3665143d20fbd86d1e57a2025be5527", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:60c582a3f47d655fec90d88ab3d0b0c82d83a1b160a1d0b3eab5d67bdcb0d4af", "gen_hash_zig": "sha256:06374623b7179a0f0e21559f8ca7c58f03e123e2706f84f3b8c7285c8a796d70", "module": "Gru", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:40:44Z", + "sealed_at": "2026-10-20T04:35:47Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:c191eb8649f58b0c1e1580164ad215b8c4b548e77dbf32bc4f5ebf4c837dc5a8", "spec_path": "specs/ml/recurrent/gru_cell.t27", diff --git a/.trinity/seals/recurrent_Lstm.json b/.trinity/seals/recurrent_Lstm.json index cbbf60421e..5fd47d1209 100644 --- a/.trinity/seals/recurrent_Lstm.json +++ b/.trinity/seals/recurrent_Lstm.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+e427d3800", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:224cd09a6d5c9f0e5970ada826a45da0520aa582acd0b2bad05629f7894dea54", - "gen_hash_rust": "sha256:9abf99115a50ab78e1c7a85f1087d73fd2f00608cbabfbce7366acfbb29d076e", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:cf79c7aab17eb183eeccecbf815846d36aa9aaf794e9fbd85221ded1ae116c61", "gen_hash_zig": "sha256:b125bf7107aeb718749dcabac7e358b103604f036cd683926b0e8d65e6d10d2d", "module": "Lstm", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:40:47Z", + "sealed_at": "2026-10-20T04:35:51Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:5309a4ecb26dd1eff22f0afa785411c178035836bcbe781c4a2f7fae64bc2a67", "spec_path": "specs/ml/recurrent/lstm_cell.t27", diff --git a/.trinity/seals/recurrent_LstmCell.json b/.trinity/seals/recurrent_LstmCell.json index cc05247f13..4f033b08dc 100644 --- a/.trinity/seals/recurrent_LstmCell.json +++ b/.trinity/seals/recurrent_LstmCell.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+e427d3800", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:6d6fab627ab4ce45d94be2d5b611f37f6975977ac69a6e31014ed1c93e07095e", - "gen_hash_rust": "sha256:f273354cdd17b00779ddaa9bf430ba76eabf674b7c0c2e751f0cbb6e5f6eda77", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:3a7ceb27aa49602fde255db6321a7a453cf6ebc8e87bad57c4970f57ef804769", "gen_hash_zig": "sha256:f7f1c164368fa4912292a1d7c2f0cb6b23a3d78bd7a97f5f40dd73b0bd8ec6db", "module": "LstmCell", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:40:49Z", + "sealed_at": "2026-10-20T04:35:55Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:ef4ffa30e7adf81c8467768ec637ba33643c7872f6746cf244cdaa12eff68385", "spec_path": "specs/ml/recurrent/lstm_single.t27", diff --git a/.trinity/seals/recurrent_RnnCell.json b/.trinity/seals/recurrent_RnnCell.json index 17504d9a60..5f5abb28d0 100644 --- a/.trinity/seals/recurrent_RnnCell.json +++ b/.trinity/seals/recurrent_RnnCell.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+e427d3800", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:32b55382184e8fadc8b4b73f0cee45d8e4b337739705e11cdb09fbe9e0e2692d", - "gen_hash_rust": "sha256:3ff2ac16d685d33341814205853d1acf8d038298df22322f7aef0f86271014a1", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:b566b12ac3c311ed309eb719558b56c9d2ed9f3068c2a1470053d1a863d01ed8", "gen_hash_zig": "sha256:955445b259e2ca54159413a727129e119d1a61e8e38ff67b4e4a3f2c48257540", "module": "RnnCell", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:40:52Z", + "sealed_at": "2026-10-20T04:36:00Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:09f67415a49b61d028c7a15e93caff8f3d3d309b7bb9452b1b6260132caf8887", "spec_path": "specs/ml/recurrent/rnn_cell.t27", diff --git a/.trinity/seals/recurrent_Seq2seq.json b/.trinity/seals/recurrent_Seq2seq.json index 4ed602f167..2b50687888 100644 --- a/.trinity/seals/recurrent_Seq2seq.json +++ b/.trinity/seals/recurrent_Seq2seq.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+093bf4713", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:5d1d07927cd6349035b0491f6359abbcaf037b62a25f2456885f68e8ffb7da11", - "gen_hash_rust": "sha256:c001958359383625def7ed8614868f6301891cb63e805ce4c9d6e556eff3b670", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:ba0b9e7e0ad4e276af1c3cb5a34230d9857789455148af9ae21a98c3160da632", "gen_hash_zig": "sha256:d1e5f9247f56606fed32352e0f0fea967e8543b90a746cc3d7c5d81fb0616843", "module": "Seq2seq", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-18T09:30:58Z", + "sealed_at": "2026-10-20T04:36:06Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:5c46ba7a1707474d16582e25b29343e78dbd1664cb694ab6ce81e0090cd677fe", "spec_path": "specs/ml/recurrent/seq2seq.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_PpoActor.json b/.trinity/seals/rl_PpoActor.json index 26ea615015..9acc9d4689 100644 --- a/.trinity/seals/rl_PpoActor.json +++ b/.trinity/seals/rl_PpoActor.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:39425bb5ec52b6c634d346e8f4f6669aeb6d2455843e426f56a65755d72f2ee5", - "gen_hash_rust": "sha256:a549e6a7d34eadc5e8eb62eb82c8dada070de89aa920cf2436b025cde08da906", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:d7da328475f1d3fb27b5b8356db2de6622f9a6efdc5aa93c00fc4220b5515e43", "gen_hash_zig": "sha256:9cbed672cac3162b376ec87a3b461b6e80aba577e0633b353410f4b0080b313d", "module": "PpoActor", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:30:31Z", + "sealed_at": "2026-10-20T04:36:09Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:e57727c231fab6904e63992d1045a899e0a35cf8ca599970ad1d9ac48210b4dd", "spec_path": "specs/ml/rl/ppo_actor.t27", diff --git a/.trinity/seals/rl_SacActor.json b/.trinity/seals/rl_SacActor.json index e088b6d630..687ef48d39 100644 --- a/.trinity/seals/rl_SacActor.json +++ b/.trinity/seals/rl_SacActor.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:437a641831e3438619f333444d068666d583fdc252a7fb2742873e525e340640", - "gen_hash_rust": "sha256:2e598047ccd1cc609ed6466f99e6ccc988c5cd521e1c8482d888cb019c401a1c", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:d51f3eff6e7f408c88bac65afeb0824666e79f815303658a8be43459a2591e3b", "gen_hash_zig": "sha256:cd8ffa77d404011fe0bbbff9ad48479b4e00610d5c267c21891c6230b7dc895c", "module": "SacActor", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:26:55Z", + "sealed_at": "2026-10-20T04:36:12Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:3bcac389928b5ed73b6dddc6ec88e5dda201361ab9caf4379a5d95fda4b9ff1d", "spec_path": "specs/ml/rl/sac_actor.t27", diff --git a/.trinity/seals/rl_SacCritic.json b/.trinity/seals/rl_SacCritic.json index 111722434a..f5f1933801 100644 --- a/.trinity/seals/rl_SacCritic.json +++ b/.trinity/seals/rl_SacCritic.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -16,13 +16,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:704d01e193ff2330cb4b4050fad02ca4c8325e22ad79e8d96915c63766b764a3", - "gen_hash_rust": "sha256:ad8159f2f1bd74faf058290ce7e6c44341c03790b6f5decbee87533fa23a4d81", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:4d1be4ba32b8ad14ae1e760624fada1b1c522419cd982152ecb19f21f8cb20e5", "gen_hash_zig": "sha256:1d3070326723d5035e5e4d5a16806b91d45df04489b55c5f55d40a8ea9192ed3", "module": "SacCritic", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:22Z", + "sealed_at": "2026-10-20T04:36:15Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:739b7c15eae98d46a9e52a998f036ee87563ff8fcaca7cac77164ec238285eb0", "spec_path": "specs/ml/rl/sac_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/runtime-execute.json b/.trinity/seals/runtime-execute.json index 870d5327c5..0819f87edf 100644 --- a/.trinity/seals/runtime-execute.json +++ b/.trinity/seals/runtime-execute.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:b9730b6a9224ef8541b9e388868d5dbdc3918eac00d78f4b099102ab43633477", - "gen_hash_rust": "sha256:b4cdc6c37861d1d9aa52cd4b9b2b9eab91fad348140f6b28f1dd631cde448c77", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:0ae14e879aab71a2bf68d23fddade8c8596f5960da0cecf9831999d2939ad1f8", "gen_hash_zig": "sha256:2d7e9e83a32837d919e8a0af733680596da4e66979b76e96cf4adfe328cb273f", "module": "runtime-execute", "ring": 12, - "sealed_at": "2026-10-19T01:27:07Z", + "sealed_at": "2026-10-20T04:37:02Z", "spec_hash": "sha256:aaf1e9f22e14b0fe770cb5138b72465c2f6986a391a9eccf87c34b9b3a76a614", "spec_path": "specs/runtime/execute.t27", "tests": { diff --git a/.trinity/seals/runtime-instance.json b/.trinity/seals/runtime-instance.json index 2b2e66b31a..44b8a58fd3 100644 --- a/.trinity/seals/runtime-instance.json +++ b/.trinity/seals/runtime-instance.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:49c8e5ca04b92f9bd063f371ec29d269b6188161c12bc5ff0d3e1113c260eac1", - "gen_hash_rust": "sha256:09e33c018f48e162289d7e65d6b44e8fa91d9306a90aa3ac67f0c227f0812631", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:47c4092442c34bf599da2060419cc464820380c8c7a4ede143f7a2b94b904fe7", "gen_hash_zig": "sha256:011cfa1584533032df8576eab9a52eebfff30c481f77dd46d81f992c99b1a7e0", "module": "runtime-instance", "ring": 12, - "sealed_at": "2026-10-11T15:13:48Z", + "sealed_at": "2026-10-20T04:37:04Z", "spec_hash": "sha256:7c9c1e3aa479bb78c8bcef3999d1e35f2b48e69be878c7a75767bb783bf46f99", "spec_path": "specs/runtime/instance.t27", "tests": { diff --git a/.trinity/seals/runtime-process.json b/.trinity/seals/runtime-process.json index 57ece7b19e..d2f7c1fa11 100644 --- a/.trinity/seals/runtime-process.json +++ b/.trinity/seals/runtime-process.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:e88db393a4f2eed6b595bfbadd017dc8873760ae9b78e674f86e4c1e2afc4509", - "gen_hash_rust": "sha256:016395401c83c4d72401b2da10eb9855417977724806aef25babbd73f007f1aa", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:6c7ca7c613e8cb67be0f39138caf38de34a43ef842a9198f224678d136701589", "gen_hash_zig": "sha256:5761fc3f6b233f3e4d63cd196356a97dd4342072e0cf2889a9a03d8ad702e0f4", "module": "runtime-process", "ring": 12, - "sealed_at": "2026-10-19T01:27:09Z", + "sealed_at": "2026-10-20T04:37:08Z", "spec_hash": "sha256:d564814939a9246cb1cddf02c471be7fa93170fbed27b06c2e544a009fd61a7f", "spec_path": "specs/runtime/process.t27", "tests": { diff --git a/.trinity/seals/runtime_commands.json b/.trinity/seals/runtime_commands.json index 2a3e9951ec..cf13f29bdc 100644 --- a/.trinity/seals/runtime_commands.json +++ b/.trinity/seals/runtime_commands.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+d9378a895", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:a8ecd8abea3568a46be778894b132fe42a5114c18865864ab5a387f48eaa46b1", - "gen_hash_rust": "sha256:195364864f27689d973f05af508df826007aff751aade9ea3cf761ca0ab7b471", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:fbcec0243b0ef7c0c99f53a66f8b61dc9435739b4179c9690ce1a2c02b96c774", "gen_hash_zig": "sha256:7c43fe103e2d973c473ef1c5f9f19883ec6a87f523887a7cdc1c7ad338ed0419", "module": "commands", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T05:21:14Z", + "sealed_at": "2026-10-20T04:34:17Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:1cd4643fecb3a98d19e676f17aa3f4eefedb679e9bc39840e4305a65dc72afd5", "spec_path": "compiler/runtime/commands.t27", diff --git a/.trinity/seals/runtime_runtime-execute.json b/.trinity/seals/runtime_runtime-execute.json index 337b12db11..ef05b993ad 100644 --- a/.trinity/seals/runtime_runtime-execute.json +++ b/.trinity/seals/runtime_runtime-execute.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:b9730b6a9224ef8541b9e388868d5dbdc3918eac00d78f4b099102ab43633477", - "gen_hash_rust": "sha256:b4cdc6c37861d1d9aa52cd4b9b2b9eab91fad348140f6b28f1dd631cde448c77", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:0ae14e879aab71a2bf68d23fddade8c8596f5960da0cecf9831999d2939ad1f8", "gen_hash_zig": "sha256:2d7e9e83a32837d919e8a0af733680596da4e66979b76e96cf4adfe328cb273f", "module": "runtime-execute", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:27:07Z", + "sealed_at": "2026-10-20T04:37:02Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:aaf1e9f22e14b0fe770cb5138b72465c2f6986a391a9eccf87c34b9b3a76a614", "spec_path": "specs/runtime/execute.t27", diff --git a/.trinity/seals/runtime_runtime-instance.json b/.trinity/seals/runtime_runtime-instance.json index 73c48c3f40..0305c60687 100644 --- a/.trinity/seals/runtime_runtime-instance.json +++ b/.trinity/seals/runtime_runtime-instance.json @@ -1,20 +1,20 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/runtime/process.t27", - "spec_hash": "sha256:77fd1ee5e9cf0b38c1f140a325f4a72e1ebfc3c2c79d2f03a76d5e2b3155495d" + "spec_hash": "sha256:d564814939a9246cb1cddf02c471be7fa93170fbed27b06c2e544a009fd61a7f" } ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:49c8e5ca04b92f9bd063f371ec29d269b6188161c12bc5ff0d3e1113c260eac1", - "gen_hash_rust": "sha256:09e33c018f48e162289d7e65d6b44e8fa91d9306a90aa3ac67f0c227f0812631", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:47c4092442c34bf599da2060419cc464820380c8c7a4ede143f7a2b94b904fe7", "gen_hash_zig": "sha256:011cfa1584533032df8576eab9a52eebfff30c481f77dd46d81f992c99b1a7e0", "module": "runtime-instance", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:48Z", + "sealed_at": "2026-10-20T04:37:04Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:7c9c1e3aa479bb78c8bcef3999d1e35f2b48e69be878c7a75767bb783bf46f99", "spec_path": "specs/runtime/instance.t27", @@ -22,7 +22,7 @@ "blocked": "does not compile: spec.zig:118:43: error: use of undeclared identifier 'runtime_process'" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/runtime_runtime-process.json b/.trinity/seals/runtime_runtime-process.json index 74dd06b2cb..5519e967d3 100644 --- a/.trinity/seals/runtime_runtime-process.json +++ b/.trinity/seals/runtime_runtime-process.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:e88db393a4f2eed6b595bfbadd017dc8873760ae9b78e674f86e4c1e2afc4509", - "gen_hash_rust": "sha256:016395401c83c4d72401b2da10eb9855417977724806aef25babbd73f007f1aa", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:6c7ca7c613e8cb67be0f39138caf38de34a43ef842a9198f224678d136701589", "gen_hash_zig": "sha256:5761fc3f6b233f3e4d63cd196356a97dd4342072e0cf2889a9a03d8ad702e0f4", "module": "runtime-process", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:27:09Z", + "sealed_at": "2026-10-20T04:37:08Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:d564814939a9246cb1cddf02c471be7fa93170fbed27b06c2e544a009fd61a7f", "spec_path": "specs/runtime/process.t27", diff --git a/.trinity/seals/search_TriBloomFilter.json b/.trinity/seals/search_TriBloomFilter.json index 6b1c5f4133..f703b122f0 100644 --- a/.trinity/seals/search_TriBloomFilter.json +++ b/.trinity/seals/search_TriBloomFilter.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+e427d3800", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:a9026d20aabba56f40775f06f222d8add36776cf0948a169cf6302547cef5b3d", - "gen_hash_rust": "sha256:67ebb6cdba88379ab02f3fa4bbd408909c7c9f80d4a9c192cecd627c7647195f", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:24c4b601078a27fb4912548e409a89479e11c927ab3deb102629a8f28ec3cd51", "gen_hash_zig": "sha256:c509d5520aa35f05c030dd0d01ddc66706d771510e174c15481573925722f892", "module": "TriBloomFilter", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:42:07Z", + "sealed_at": "2026-10-20T04:38:14Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:af9836843e77e4209c2a72de225a8b60e5f66f2d34572fb6faec6640c612a270", "spec_path": "specs/tri/search/bloom_filter.t27", diff --git a/.trinity/seals/search_TriRegex.json b/.trinity/seals/search_TriRegex.json index 00d7fb1b0b..752d4f5fa6 100644 --- a/.trinity/seals/search_TriRegex.json +++ b/.trinity/seals/search_TriRegex.json @@ -1,12 +1,32 @@ { + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2" + }, + { + "spec": "specs/math/constants.t27", + "spec_hash": "sha256:57187e7afda1d88167b2af0382ad7f0623aa6b269ba020a78e3ffeebba1161bb" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:33a8cb86a5ea3e1d5b86681397cdc9894f5d4516321662a0287b81af20a71397", - "gen_hash_rust": "sha256:c0b8409ea70776c9d2aca4c099bcf26dcf7de0a40b6d5302ee68459405b993ee", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:c670bc2a3f3a441bb0ae344394f793926874bd31e9bdb90b756d5b3848bb693d", "gen_hash_zig": "sha256:b13a41f6ca0c8cf6bc9a24fc7d32576d0b43d03339bdd7845234af1559705853", "module": "TriRegex", "ring": 12, - "sealed_at": "2026-10-02T11:02:53Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-20T04:38:15Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:0ae26a93afecf928282513431aeba0b9beb8f82e1b7603d8cb7de03017c6cab3", - "spec_path": "specs/tri/search/regex.t27" + "spec_path": "specs/tri/search/regex.t27", + "tests": { + "blocked": "does not compile: spec.zig:47:18: error: operator != not allowed for type 'spec.Regex'" + }, + "toolchain": { + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", + "zig": "0.16.0" + } } \ No newline at end of file diff --git a/.trinity/seals/search_TriRegexAdvanced.json b/.trinity/seals/search_TriRegexAdvanced.json index 5a11c9209b..8168e503fb 100644 --- a/.trinity/seals/search_TriRegexAdvanced.json +++ b/.trinity/seals/search_TriRegexAdvanced.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+9920f51d2", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:551dc8e0b28ab347a7db3104605e52ea0c0fa19f59f1e5fce965c24a4db092ec", - "gen_hash_rust": "sha256:296165c23d6494a8a053ef91b0911be281cdda725fd88c35b7ff9384c2073fbd", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:34b6957f0ebd0a1e282c8191989e87d74064d34b280a160a549ba1636c69a39c", "gen_hash_zig": "sha256:1790f944bb1944583a66bd2a29e483ee77cc0cd48f17e0a8e2cd2f4fb22e611f", "module": "TriRegexAdvanced", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T04:00:53Z", + "sealed_at": "2026-10-20T04:38:18Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:e4f8fdc06c23388f70cf0453ebe038c2045f6091ad7bd2d50c7d7f4bd994586f", "spec_path": "specs/tri/search/regex_advanced.t27", diff --git a/.trinity/seals/server-mdns.json b/.trinity/seals/server-mdns.json index 5cb32a7d5c..2a5e917d23 100644 --- a/.trinity/seals/server-mdns.json +++ b/.trinity/seals/server-mdns.json @@ -3,13 +3,13 @@ "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:5a92697de1533973a445c393525a0449762a41a6eb6c428d3e4ab282a25bb173", - "gen_hash_rust": "sha256:7334d3b26823aebc98be13ac344a2b855bc1e1a3573557d7607ceae4f35f75eb", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:2473b9055f7cdb88ff3345724478e88ae5cda2a1c2f888e9804e06ab6b8d6cdb", "gen_hash_zig": "sha256:68deaa966e8f8300d747b781038fdbe196d130974fc447c16bde5e68c1ac2e6f", "module": "server-mdns", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T03:59:48Z", + "sealed_at": "2026-10-20T04:37:11Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:d4c81a0aeae107fba11fa1f2a3e6f287b9743b5b4e3e450b80930c5ed4839153", "spec_path": "specs/server/mdns.t27", diff --git a/.trinity/seals/server-router.json b/.trinity/seals/server-router.json index 289a035d5d..e5b0b2a95c 100644 --- a/.trinity/seals/server-router.json +++ b/.trinity/seals/server-router.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:c216a81c92ea9011f5eb77dd43a048ab3583576b50db61de27ce810591b15427", - "gen_hash_rust": "sha256:0e67dcd50001e385a83d0450b2873f0edf902e263a685c6fa3c90e2a427d681a", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:c76d199b5caebf0f29458b7804d03876b4bf324fd749e9f31c310314e5a9ae64", "gen_hash_zig": "sha256:e796c3cf59552f2943c705667d4fcde02d031d3ec68efc9f0da2e2b0bf25066a", "module": "server-router", "ring": 12, - "sealed_at": "2026-10-20T03:59:52Z", + "sealed_at": "2026-10-20T04:37:14Z", "spec_hash": "sha256:b42a7981025b0ab2ef7213db14a562586ee18b8de5f7f63ebbc37f50d7057426", "spec_path": "specs/server/router.t27", "tests": { diff --git a/.trinity/seals/server-sse.json b/.trinity/seals/server-sse.json index 4f5d84bea4..a5ffaf6442 100644 --- a/.trinity/seals/server-sse.json +++ b/.trinity/seals/server-sse.json @@ -3,13 +3,13 @@ "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:9b2e5a8af011154acc3069465d081d6aa3121b12275675fbf1b71b700a6b5c08", - "gen_hash_rust": "sha256:990269d453fa7d58d5053af4a5657d284f00c7352bcb1eed15a6b639e304e6fa", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:cd404d8979409a806fe676edbdaad1c8628b1095f2d4f4f8b605aae8c6f150ea", "gen_hash_zig": "sha256:8dabcdd0065841d08f1f67a328176273b98a326c0c80cbeb2a93133c00d4586b", "module": "server-sse", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T03:59:56Z", + "sealed_at": "2026-10-20T04:37:17Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:341eabd9510acc5bac79927af22f8dcef653313e90f10761cbeaa2186298dfbb", "spec_path": "specs/server/sse.t27", diff --git a/.trinity/seals/server_server-mdns.json b/.trinity/seals/server_server-mdns.json index 83e5da6e4e..8dd4bd1089 100644 --- a/.trinity/seals/server_server-mdns.json +++ b/.trinity/seals/server_server-mdns.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+9920f51d2", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:5a92697de1533973a445c393525a0449762a41a6eb6c428d3e4ab282a25bb173", - "gen_hash_rust": "sha256:7334d3b26823aebc98be13ac344a2b855bc1e1a3573557d7607ceae4f35f75eb", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:2473b9055f7cdb88ff3345724478e88ae5cda2a1c2f888e9804e06ab6b8d6cdb", "gen_hash_zig": "sha256:68deaa966e8f8300d747b781038fdbe196d130974fc447c16bde5e68c1ac2e6f", "module": "server-mdns", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T03:59:48Z", + "sealed_at": "2026-10-20T04:37:11Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:d4c81a0aeae107fba11fa1f2a3e6f287b9743b5b4e3e450b80930c5ed4839153", "spec_path": "specs/server/mdns.t27", diff --git a/.trinity/seals/server_server-router.json b/.trinity/seals/server_server-router.json index 5de2efe1b4..c5eb26f94a 100644 --- a/.trinity/seals/server_server-router.json +++ b/.trinity/seals/server_server-router.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+9920f51d2", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:c216a81c92ea9011f5eb77dd43a048ab3583576b50db61de27ce810591b15427", - "gen_hash_rust": "sha256:0e67dcd50001e385a83d0450b2873f0edf902e263a685c6fa3c90e2a427d681a", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:c76d199b5caebf0f29458b7804d03876b4bf324fd749e9f31c310314e5a9ae64", "gen_hash_zig": "sha256:e796c3cf59552f2943c705667d4fcde02d031d3ec68efc9f0da2e2b0bf25066a", "module": "server-router", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T03:59:52Z", + "sealed_at": "2026-10-20T04:37:14Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:b42a7981025b0ab2ef7213db14a562586ee18b8de5f7f63ebbc37f50d7057426", "spec_path": "specs/server/router.t27", diff --git a/.trinity/seals/server_server-sse.json b/.trinity/seals/server_server-sse.json index 3bb29a97dd..c0a45083a8 100644 --- a/.trinity/seals/server_server-sse.json +++ b/.trinity/seals/server_server-sse.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+9920f51d2", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:9b2e5a8af011154acc3069465d081d6aa3121b12275675fbf1b71b700a6b5c08", - "gen_hash_rust": "sha256:990269d453fa7d58d5053af4a5657d284f00c7352bcb1eed15a6b639e304e6fa", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:cd404d8979409a806fe676edbdaad1c8628b1095f2d4f4f8b605aae8c6f150ea", "gen_hash_zig": "sha256:8dabcdd0065841d08f1f67a328176273b98a326c0c80cbeb2a93133c00d4586b", "module": "server-sse", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T03:59:56Z", + "sealed_at": "2026-10-20T04:37:17Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:341eabd9510acc5bac79927af22f8dcef653313e90f10761cbeaa2186298dfbb", "spec_path": "specs/server/sse.t27", diff --git a/.trinity/seals/skill_registry.json b/.trinity/seals/skill_registry.json index a7e7396632..d3673f1b88 100644 --- a/.trinity/seals/skill_registry.json +++ b/.trinity/seals/skill_registry.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:f28ef9b278de64ae7a89728c270eeb873b5c4fc3529c4b4397ce5b8ffb54b856", - "gen_hash_rust": "sha256:cf0c157dc49fdc5578d7202ee28166cc732b7bd521507671712636bd414b518a", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:b1f84f2d1d0d002bcf358d784d09a4d84092ca466444783bd3375930ad809824", "gen_hash_zig": "sha256:c52d40811704388f79be2433e0629fdaca8dee887a465531386ddb5ba1b93940", "module": "skill_registry", "ring": 12, - "sealed_at": "2026-10-09T23:18:01Z", + "sealed_at": "2026-10-20T04:34:22Z", "spec_hash": "sha256:efc00e7a9304fdb444984c6e3030ea28ac79c22124599c92f1c29b8d61c6d132", "spec_path": "compiler/skill/registry.t27", "tests": { @@ -13,6 +13,7 @@ "failing": [], "forced": false, "passed": 10, - "total": 10 + "total": 10, + "vacuous": 6 } } \ No newline at end of file diff --git a/.trinity/seals/skill_skill_registry.json b/.trinity/seals/skill_skill_registry.json index bedaa75df5..9889ad003c 100644 --- a/.trinity/seals/skill_skill_registry.json +++ b/.trinity/seals/skill_skill_registry.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+6c48dbb76", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:f28ef9b278de64ae7a89728c270eeb873b5c4fc3529c4b4397ce5b8ffb54b856", - "gen_hash_rust": "sha256:cf0c157dc49fdc5578d7202ee28166cc732b7bd521507671712636bd414b518a", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:b1f84f2d1d0d002bcf358d784d09a4d84092ca466444783bd3375930ad809824", "gen_hash_zig": "sha256:c52d40811704388f79be2433e0629fdaca8dee887a465531386ddb5ba1b93940", "module": "skill_registry", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T23:18:01Z", + "sealed_at": "2026-10-20T04:34:22Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:efc00e7a9304fdb444984c6e3030ea28ac79c22124599c92f1c29b8d61c6d132", "spec_path": "compiler/skill/registry.t27", @@ -18,10 +18,11 @@ "failing": [], "forced": false, "passed": 10, - "total": 10 + "total": 10, + "vacuous": 6 }, "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 17cb6a2a98..36ef4541e2 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+e427d3800", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:8148579362fbac560bb4aa28c038bc4f5f843354ab6aa4479f68b54301d9e2d7", - "gen_hash_rust": "sha256:bb3fe1a73144a9a78005c6017312ab622d3268a841b9f5989d3e8518410e4c05", + "gen_hash_rust": "none", "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-20T00:41:35Z", + "sealed_at": "2026-10-20T04:36:40Z", "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", diff --git a/.trinity/seals/src_port::trios::crates::trios_doctor.json b/.trinity/seals/src_port::trios::crates::trios_doctor.json index 9daca599b2..2389ae7655 100644 --- a/.trinity/seals/src_port::trios::crates::trios_doctor.json +++ b/.trinity/seals/src_port::trios::crates::trios_doctor.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+7a3795d36", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:558b8253d3dec1635f7abd007b1a3145261988b0e0a71b8911a37e76369eaa43", - "gen_hash_rust": "sha256:35410c665677b2a1f2f820a8f2f680ad06f0667b0a8b95d41c99791f8bc44302", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:cd620156768d851b06e3f1efb6592c6d22d8cc9862fe12224a35d5408d93c5ef", "gen_hash_zig": "sha256:26c3fb7f8d58dba547c24f12bef6b51023a33faf14bc0c892293e0d13af87c32", "module": "port::trios::crates::trios_doctor", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T03:14:41Z", + "sealed_at": "2026-10-20T04:36:34Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:bf8a2f9d1352d8525b7f929ef4e4aab262a364d150377d991001440f7d388ade", "spec_path": "specs/port/trios/crates/trios-doctor/src/main.t27", diff --git a/.trinity/seals/sync-index.json b/.trinity/seals/sync-index.json index 55fec32263..50c2620b91 100644 --- a/.trinity/seals/sync-index.json +++ b/.trinity/seals/sync-index.json @@ -1,11 +1,11 @@ { "gen_hash_c": "sha256:97a7b67f459611839206e2f566edf989ca76574112b94b24a24391ad3b61e204", - "gen_hash_rust": "sha256:90ec72bc705a1578210421e82b976a653fd9fc408e2d9f5a8dc07a57cbe0c711", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:75009d5cece160f978da4a775e6586925176dd73618b168f90ad180bc65e6d19", "gen_hash_zig": "sha256:3b270d0ff2bc05be3f7268dc9d35a4deac21b1477f973c73bfa267327388555d", "module": "sync-index", "ring": 12, - "sealed_at": "2026-10-11T15:13:49Z", + "sealed_at": "2026-10-20T04:37:18Z", "spec_hash": "sha256:cf881e126a13ece468c589da0d1a252ad98a07931d25268645071a9ea360a71c", "spec_path": "specs/sync/index.t27", "tests": { diff --git a/.trinity/seals/sync-schema.json b/.trinity/seals/sync-schema.json index 9427661145..0ea710f44a 100644 --- a/.trinity/seals/sync-schema.json +++ b/.trinity/seals/sync-schema.json @@ -3,13 +3,13 @@ "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:4f53d9a85cab02f85158381d8280d25323cb69621c3e239b6799dc5afe2e0ae0", - "gen_hash_rust": "sha256:8355164926857b6499e2b7e4844fa3f54737de43426230fe634ffcc398d9635d", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:ac73f932814f0ef8860c9d3d3119fa89e2d5bb95f725ca3ae26a620a16ad80fd", "gen_hash_zig": "sha256:d58923ca832ebc4e34f8472c023f7edf49892e1c64ba11f46905c3ab1e4ca05a", "module": "sync-schema", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T04:00:01Z", + "sealed_at": "2026-10-20T04:37:21Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:b24fd2c313180aae99e393a756bcd42ca69b4034c432329fd7dae56ced1cf3f8", "spec_path": "specs/sync/schema.t27", diff --git a/.trinity/seals/sync_sync-index.json b/.trinity/seals/sync_sync-index.json index 993b6c2bfd..e49c4297fb 100644 --- a/.trinity/seals/sync_sync-index.json +++ b/.trinity/seals/sync_sync-index.json @@ -1,20 +1,20 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/sync/schema.t27", - "spec_hash": "sha256:022dea839139928d01a4116f8676fd8177271a63cc8fb5ea286dba7db2d66137" + "spec_hash": "sha256:b24fd2c313180aae99e393a756bcd42ca69b4034c432329fd7dae56ced1cf3f8" } ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:97a7b67f459611839206e2f566edf989ca76574112b94b24a24391ad3b61e204", - "gen_hash_rust": "sha256:90ec72bc705a1578210421e82b976a653fd9fc408e2d9f5a8dc07a57cbe0c711", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:75009d5cece160f978da4a775e6586925176dd73618b168f90ad180bc65e6d19", "gen_hash_zig": "sha256:3b270d0ff2bc05be3f7268dc9d35a4deac21b1477f973c73bfa267327388555d", "module": "sync-index", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:49Z", + "sealed_at": "2026-10-20T04:37:18Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:cf881e126a13ece468c589da0d1a252ad98a07931d25268645071a9ea360a71c", "spec_path": "specs/sync/index.t27", @@ -22,7 +22,7 @@ "blocked": "does not compile: spec.zig:180:29: error: unused capture" }, "toolchain": { - "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10", "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/sync_sync-schema.json b/.trinity/seals/sync_sync-schema.json index 015e539530..eba57f39d6 100644 --- a/.trinity/seals/sync_sync-schema.json +++ b/.trinity/seals/sync_sync-schema.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+9920f51d2", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:4f53d9a85cab02f85158381d8280d25323cb69621c3e239b6799dc5afe2e0ae0", - "gen_hash_rust": "sha256:8355164926857b6499e2b7e4844fa3f54737de43426230fe634ffcc398d9635d", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:ac73f932814f0ef8860c9d3d3119fa89e2d5bb95f725ca3ae26a620a16ad80fd", "gen_hash_zig": "sha256:d58923ca832ebc4e34f8472c023f7edf49892e1c64ba11f46905c3ab1e4ca05a", "module": "sync-schema", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T04:00:01Z", + "sealed_at": "2026-10-20T04:37:21Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:b24fd2c313180aae99e393a756bcd42ca69b4034c432329fd7dae56ced1cf3f8", "spec_path": "specs/sync/schema.t27", diff --git a/.trinity/seals/tools_port::browseros::trios::agent_server::apps::server::src::tools::tool_registry.json b/.trinity/seals/tools_port::browseros::trios::agent_server::apps::server::src::tools::tool_registry.json index 373170efcc..fb074c823d 100644 --- a/.trinity/seals/tools_port::browseros::trios::agent_server::apps::server::src::tools::tool_registry.json +++ b/.trinity/seals/tools_port::browseros::trios::agent_server::apps::server::src::tools::tool_registry.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+8cc6f0334", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:50416bde84169944fb7936442e8225d6d17e8fdad590c2b63345e63dcf99d95d", - "gen_hash_rust": "sha256:c4cccb496dc4ad7bde8dba5443345721ae297f15b5c0018b6d5b8f99f70b3ceb", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:5b2f705fc644b6d6e97aa0fa1ac17340c136c07181dc03a8f453c3643b78901f", "gen_hash_zig": "sha256:d11292b315661d15c7a9fb605e353301a173de7b0cc3af30b65c79ee601798d3", "module": "port::browseros::trios::agent_server::apps::server::src::tools::tool_registry", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T15:13:35Z", + "sealed_at": "2026-10-20T04:36:29Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:f24ef068c21dda90b942939804debf0f99f6012fe3f63cab44680695d1732320", "spec_path": "specs/port/browseros/trios/agent-server/apps/server/src/tools/tool-registry.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/transformer_EncoderBlock.json b/.trinity/seals/transformer_EncoderBlock.json index 126f2129cb..a95b2b5bdc 100644 --- a/.trinity/seals/transformer_EncoderBlock.json +++ b/.trinity/seals/transformer_EncoderBlock.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+e427d3800", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:864b81db96a7491fc8b872d73d11b3bf474e5ac9de74b451a03dca3753441ece", - "gen_hash_rust": "sha256:5d7c329654e88c7bbd08840bcf138ac87bed09b20705522efcfc746ec69e9b7b", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:14110e9b6924360867c489ce96c8b5da976b8a70b89423f35978616cc29f1435", "gen_hash_zig": "sha256:db1544156f525c66f2a4408b0a0eebd183c5faddde5b35752bb691abae601e0e", "module": "EncoderBlock", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:40:55Z", + "sealed_at": "2026-10-20T04:36:18Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:e21519a3f7912ca70d35919cc1f9d2927b746f8e545c741e3772c1eb7e06561a", "spec_path": "specs/ml/transformer/encoder_block.t27", diff --git a/.trinity/seals/transformer_FeedForwardLayer.json b/.trinity/seals/transformer_FeedForwardLayer.json index da95124752..ef14eccc2e 100644 --- a/.trinity/seals/transformer_FeedForwardLayer.json +++ b/.trinity/seals/transformer_FeedForwardLayer.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -24,13 +24,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:6668bfaf0fc43cc4e8017ac7754ce4c7f892ba81d185b4364cb7be668b7a98f6", - "gen_hash_rust": "sha256:83f525780b70d4057f228e3a3a00108c2398be83ceae99d24e272ae53b140d54", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:dff781b1bf17877cba57ac069658353f53b52e749d3d42d28d0bb23840f3c15f", "gen_hash_zig": "sha256:86978c6c521866f3ce352d2b7f1da78996660eb5779a57b07b0c62782efae893", "module": "FeedForwardLayer", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:43:22Z", + "sealed_at": "2026-10-20T04:36:20Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:dd32a1faf9939b2b72f1cb416ce3b1a7f9b7f9864be9e241eca8bcf60b3ed82a", "spec_path": "specs/ml/transformer/feed_forward.t27", @@ -38,7 +38,7 @@ "blocked": "does not compile: spec.zig:71:16: error: use of undeclared identifier 'dense'" }, "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 261524085d..078b39aeb1 100644 --- a/.trinity/seals/transformer_LayerNorm.json +++ b/.trinity/seals/transformer_LayerNorm.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+e427d3800", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -16,13 +16,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:b492dbcd3cb8bb0883b37a14abcb1f2b8d631f9f6b28416ecf116f8450c53eb3", - "gen_hash_rust": "sha256:9d0045ef689360adb44276903ffb4f61a4531048c40f8ea0c6406ad9d3fa078d", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:eeecdb08cfd433944831d044b569c18217f43a3fa44295db864ea880b0995e87", "gen_hash_zig": "sha256:afef4edb7cd4e23858823d19c660f13ae2e5d25bbb73fd0000759af17c53f2d5", "module": "LayerNorm", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T00:41:00Z", + "sealed_at": "2026-10-20T04:36:24Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:02df7cdb4ae81693957c77748a2964c8fc0d66d662ce3f2cb65c0c5afeea7338", "spec_path": "specs/ml/transformer/norm.t27", diff --git a/.trinity/seals/transformer_MHABlock.json b/.trinity/seals/transformer_MHABlock.json index 5addb68877..2382ab9ae4 100644 --- a/.trinity/seals/transformer_MHABlock.json +++ b/.trinity/seals/transformer_MHABlock.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+0bc75496f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -19,7 +19,7 @@ }, { "spec": "specs/ml/transformer/norm.t27", - "spec_hash": "sha256:0e84efa2cc8864e04d109dcee711579ef940a7591f438898a979ec5183d536f6" + "spec_hash": "sha256:02df7cdb4ae81693957c77748a2964c8fc0d66d662ce3f2cb65c0c5afeea7338" }, { "spec": "specs/numeric/gf16.t27", @@ -28,13 +28,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:ef5ef839826373a561c522253f214b949b8af1550865ac8a8ec784dcbfcf39f7", - "gen_hash_rust": "sha256:602ca39f725dd13ee99c4e32a0ebae3886bd273f1975d9f1790f17d3ffd23a31", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:b67c80e1b91f2bcaa7ad1f95344f6159b184b9b49fa521fe722eb07bd562f039", "gen_hash_zig": "sha256:3bcdfedf0645ef4f0b31fe0531b952cb151fd925c990b7e14875837ac938b83f", "module": "MHABlock", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T14:04:05Z", + "sealed_at": "2026-10-20T04:36:21Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:69938ff2bd02e259adc55871e84232f2fbe5c747ae0bddc9f1af0f28bc1a8a64", "spec_path": "specs/ml/transformer/mha_block.t27", @@ -42,7 +42,7 @@ "blocked": "does not compile: spec.zig:66:19: error: use of undeclared identifier 'norm'" }, "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_TriConfig.json b/.trinity/seals/utils_TriConfig.json index 1a794c6d99..9c14f9e7b6 100644 --- a/.trinity/seals/utils_TriConfig.json +++ b/.trinity/seals/utils_TriConfig.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d8f7f104f", + "built_by": "t27c-bootstrap@0.5.2+55f2b1cb2", "closure": [ { "spec": "specs/base/types.t27", @@ -12,13 +12,13 @@ ], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:093c90e1729e177722d9c7358eda8468f4266c44d6d7f46237fdf0e17b97d919", - "gen_hash_rust": "sha256:1fd1f872ed90bc5247104c80f7b26d28a9ae66278a8c78dac56ade1b6e3978a4", + "gen_hash_rust": "none", "gen_hash_verilog": "sha256:8bdc8a5fad9c728cd2fdc2531e420076e341bcb0465283acf78e62e45e649605", "gen_hash_zig": "sha256:a286c02615d688076a7be6c514dd04353c54b2e690c4955bd89d163caedcfcf9", "module": "TriConfig", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T01:27:34Z", + "sealed_at": "2026-10-20T04:38:26Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:123048ae88bbf0c2ae35d0a2acb196428958befe0863e183e4fd641000830784", "spec_path": "specs/tri/utils/config.t27", diff --git a/bootstrap/src/compiler.rs b/bootstrap/src/compiler.rs index 8543e71ed7..a75c32ba50 100644 --- a/bootstrap/src/compiler.rs +++ b/bootstrap/src/compiler.rs @@ -23458,10 +23458,24 @@ impl Compiler { Ok(codegen.into_string()) } + /// #11182: `S{ .f = p }` or `s.f = p` with `f` a `[]T` field (`Vec` here) and `p` a `[]T` parameter or `&x` moves the caller's storage; a borrow needs a lifetime on the struct and every constructor, so refuse. + fn rust_slice_field_capture(structs: &std::collections::HashMap>, n: &Node, params: &[String]) -> Option { + let params: Vec = if n.kind == NodeKind::FnDecl { n.params.iter().filter(|(_, t)| t.trim_start().starts_with("[]") && t.trim() != "[]const u8").map(|p| p.0.clone()).collect() } else { params.to_vec() }; + let taken = |v: &Node| (v.kind == NodeKind::ExprUnary && v.extra_op == "&") || (v.kind == NodeKind::ExprIdentifier && params.contains(&v.name)); + let slice = |s: &str, f: &str| structs.iter().any(|(k, fs)| (s.is_empty() || k == s) && fs.iter().any(|(n, t)| n == f && t.trim_start_matches('?').starts_with("[]") && t.trim() != "[]const u8")); + let hit = match n.kind { + NodeKind::ExprStructLit => n.children.iter().find(|f| f.children.first().is_some_and(taken) && slice(&n.name, &f.name)).map(|f| (n.name.as_str(), f.name.as_str())), + NodeKind::StmtAssign if n.children.len() == 2 && n.children[0].kind == NodeKind::ExprFieldAccess && taken(&n.children[1]) && slice("", &n.children[0].name) => Some(("", n.children[0].name.as_str())), + _ => None, + }; + hit.map(|(s, f)| format!("`{s}.{f}` is a `[]T` field filled from borrowed storage: gen-rust writes it `Vec` and takes the storage by value, so the caller's storage is moved; a borrow needs a lifetime on the struct and on every constructor (#11182)")).or_else(|| n.children.iter().find_map(|c| Self::rust_slice_field_capture(structs, c, ¶ms))) + } + pub fn compile_rust(source: &str) -> Result { let lexer = Lexer::new(source); let mut parser = Parser::new(lexer); let ast = parser.parse()?; + Self::rust_slice_field_capture(&Self::collect_struct_decls(&ast), &ast, &[]).map_or(Ok(()), Err)?; // Emit FAITHFUL Rust from the AST. Do NOT run t27c's own optimizer on the // Rust backend: several of its passes (const-propagation and the // unconditional copy-propagation / dead-store passes) corrupt a @@ -24561,11 +24575,6 @@ fn rust_ident(name: &str) -> String { } } -/// The lowering for a bracketed type whose brackets do not hold a size. -fn return_unsized(elem: String) -> String { - format!("Vec<{}>", elem) -} - /// Does `hay` use `name` as a whole identifier? /// /// Substring matching is wrong here and cheaply so: `T` occurs inside `Trit`, @@ -28472,7 +28481,7 @@ impl RustCodegen { .chars() .all(|c| c.is_ascii_alphanumeric() || c == '_')); if !sized { - return_unsized(Self::t27_type_to_rust(after)) + format!("Vec<{}>", Self::t27_type_to_rust(after)) } else { let elem = Self::t27_type_to_rust(after); if size.chars().all(|c| c.is_ascii_digit()) { diff --git a/bootstrap/stage0/FROZEN_HASH b/bootstrap/stage0/FROZEN_HASH index 54c67eceb4..f541f0cb25 100644 --- a/bootstrap/stage0/FROZEN_HASH +++ b/bootstrap/stage0/FROZEN_HASH @@ -1 +1 @@ -bc931a7f7fb31cab2b917e2a95e69cf8aa393f37eee134012d3f128f5fcecdb2 bootstrap/src/compiler.rs +111aabbfdb5c7dba8647fc58968e4bc7bff55a21f5430e169bc7e83ae7131936 bootstrap/src/compiler.rs diff --git a/bootstrap/tests/backend_behaviour.rs b/bootstrap/tests/backend_behaviour.rs index b50338ef00..2e3168ccc9 100644 --- a/bootstrap/tests/backend_behaviour.rs +++ b/bootstrap/tests/backend_behaviour.rs @@ -736,3 +736,11 @@ fn rust_lowers_log2_to_a_method() { }; assert_eq!(out, "3"); } + +#[test] // #11218: a `[]T` field filled from borrowed storage is refused (`refuse_*`); the `keep_*` fixtures still generate +fn gen_rust_refuses_a_slice_field_filled_from_borrowed_storage() { + for f in std::fs::read_dir(gate_fixture("../rust_slice_fields")).unwrap().flatten() { + let (out, refuse) = (t27c_on(&["gen-rust"], &f.path()), f.file_name().to_string_lossy().starts_with("refuse")); + assert!(out.status.success() != refuse && out.stdout.is_empty() == refuse && String::from_utf8_lossy(&out.stderr).contains("#11182") == refuse, "{:?} refuse={refuse}", f.path()); + } +} diff --git a/bootstrap/tests/fixtures/rust_slice_fields/keep_array_field.t27 b/bootstrap/tests/fixtures/rust_slice_fields/keep_array_field.t27 new file mode 100644 index 0000000000..f13bdee1c3 --- /dev/null +++ b/bootstrap/tests/fixtures/rust_slice_fields/keep_array_field.t27 @@ -0,0 +1,13 @@ +// #11182 control: an array field is owned, so storing an array parameter in it is not a borrow; not refused. +module KeepArrayField; + +pub const Pile = struct { + items : [4]i64, + size : usize, +}; + +fn pile(storage: [4]i64) -> Pile { + return Pile{ .items = storage, .size = 0 }; +} + +endmodule diff --git a/bootstrap/tests/fixtures/rust_slice_fields/keep_declared_only.t27 b/bootstrap/tests/fixtures/rust_slice_fields/keep_declared_only.t27 new file mode 100644 index 0000000000..f8cdd7aa17 --- /dev/null +++ b/bootstrap/tests/fixtures/rust_slice_fields/keep_declared_only.t27 @@ -0,0 +1,17 @@ +// #11182 control: a `[]T` field nothing in the module fills from borrowed storage; not refused. +module KeepDeclaredOnly; + +pub const Pile = struct { + items : []i64, + size : usize, +}; + +fn size_of(p: Pile) -> usize { + return p.size; +} + +fn room(p: *Pile) -> bool { + return p.size < p.items.len; +} + +endmodule diff --git a/bootstrap/tests/fixtures/rust_slice_fields/keep_other_field.t27 b/bootstrap/tests/fixtures/rust_slice_fields/keep_other_field.t27 new file mode 100644 index 0000000000..3dcb8fd3a9 --- /dev/null +++ b/bootstrap/tests/fixtures/rust_slice_fields/keep_other_field.t27 @@ -0,0 +1,18 @@ +// #11182 control: `items` is a slice in one struct and a number in another; only the struct literal's own type counts. +module KeepOtherField; + +pub const Pile = struct { + items : []i64, + size : usize, +}; + +pub const Count = struct { + items : usize, + size : usize, +}; + +fn count(storage: []i64) -> Count { + return Count{ .items = storage.len, .size = 0 }; +} + +endmodule diff --git a/bootstrap/tests/fixtures/rust_slice_fields/keep_text_field.t27 b/bootstrap/tests/fixtures/rust_slice_fields/keep_text_field.t27 new file mode 100644 index 0000000000..b3dba35efd --- /dev/null +++ b/bootstrap/tests/fixtures/rust_slice_fields/keep_text_field.t27 @@ -0,0 +1,13 @@ +// #11182 control: a `[]const u8` field is text (`&str`), borrowed by design; not refused. +module KeepTextField; + +pub const Label = struct { + text : []const u8, + size : usize, +}; + +fn label(text: []const u8) -> Label { + return Label{ .text = text, .size = 0 }; +} + +endmodule diff --git a/bootstrap/tests/fixtures/rust_slice_fields/refuse_address_of.t27 b/bootstrap/tests/fixtures/rust_slice_fields/refuse_address_of.t27 new file mode 100644 index 0000000000..4ea586091f --- /dev/null +++ b/bootstrap/tests/fixtures/rust_slice_fields/refuse_address_of.t27 @@ -0,0 +1,14 @@ +// #11182: `&buf` borrows a local array into a `[]T` field; a Vec field cannot hold it. +module RefuseAddressOf; + +pub const Pile = struct { + items : []i64, + size : usize, +}; + +fn local_pile() -> Pile { + var buf : [4]i64 = [0] ** 4; + return Pile{ .items = &buf, .size = 0 }; +} + +endmodule diff --git a/bootstrap/tests/fixtures/rust_slice_fields/refuse_assign.t27 b/bootstrap/tests/fixtures/rust_slice_fields/refuse_assign.t27 new file mode 100644 index 0000000000..6a8142fd87 --- /dev/null +++ b/bootstrap/tests/fixtures/rust_slice_fields/refuse_assign.t27 @@ -0,0 +1,13 @@ +// #11182: storing the caller's slice with an assignment is the same move. +module RefuseAssign; + +pub const Pile = struct { + items : []i64, + size : usize, +}; + +fn attach(p: *Pile, storage: []i64) -> void { + p.items = storage; +} + +endmodule diff --git a/bootstrap/tests/fixtures/rust_slice_fields/refuse_ctor_param.t27 b/bootstrap/tests/fixtures/rust_slice_fields/refuse_ctor_param.t27 new file mode 100644 index 0000000000..fcd72c960e --- /dev/null +++ b/bootstrap/tests/fixtures/rust_slice_fields/refuse_ctor_param.t27 @@ -0,0 +1,13 @@ +// #11182: the constructor stores the caller's slice in a `[]T` field. gen-rust would write `Vec` and move it. +module RefuseCtorParam; + +pub const Pile = struct { + items : []i64, + size : usize, +}; + +fn empty(storage: []i64) -> Pile { + return Pile{ .items = storage, .size = 0 }; +} + +endmodule diff --git a/bootstrap/tests/fixtures/rust_slice_fields/refuse_struct_after.t27 b/bootstrap/tests/fixtures/rust_slice_fields/refuse_struct_after.t27 new file mode 100644 index 0000000000..1e0c3897b3 --- /dev/null +++ b/bootstrap/tests/fixtures/rust_slice_fields/refuse_struct_after.t27 @@ -0,0 +1,13 @@ +// #11182: the same, with the struct declared after the function and the field optional. +module RefuseStructAfter; + +fn empty(storage: []i64) -> Pile { + return Pile{ .items = storage, .size = 0 }; +} + +pub const Pile = struct { + items : ?[]i64, + size : usize, +}; + +endmodule diff --git a/docs/reports/suite_expectations.json b/docs/reports/suite_expectations.json index bf4c3ffde7..7e7eda2fc4 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": 69, + "max_entries": 135, "entries": [ { "path": "specs/api/sdk_contract.t27", @@ -46,6 +46,20 @@ "top-level-resync": 27 } }, + { + "path": "specs/bus/pubsub.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `PublishResult.error`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/bus/schema.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `EventFilter.event_types`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/compiler/pipeline.t27", "phase": "parse-no-discard", @@ -57,6 +71,27 @@ "top-level-resync": 30 } }, + { + "path": "specs/config/load.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `LoadResult.errors`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/config/migrate.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `MigrationResult.steps`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/config/schema.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `AgentConfig.capabilities`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/igla/coder/_tmp_pipeline_import.t27", "phase": "parse-no-discard", @@ -69,6 +104,13 @@ "brace-body/in-fallback": 26 } }, + { + "path": "specs/igla/coder/arch.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `CoderForwardOutput.past_key_values`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/igla/coder/bench_proxy.t27", "phase": "parse-no-discard", @@ -91,6 +133,13 @@ "bdd-block-fallback": 319 } }, + { + "path": "specs/igla/coder/pipeline.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `PipeModuleSpec.ports`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/igla/coder/prm.t27", "phase": "parse-no-discard", @@ -410,6 +459,27 @@ "clause-junk": 6 } }, + { + "path": "specs/lsp/client.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `InitializationOptions.root_path`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/lsp/schema.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Diagnostic.tags`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/lsp/server.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `ServerInfo.name`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/math/constants.t27", "phase": "parse-no-discard", @@ -445,6 +515,104 @@ "top-level-resync": 118 } }, + { + "path": "specs/ml/layers/batchnorm_layer.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `BatchNormState.running_mean`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/ml/layers/embedding_layer.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `EmbeddingWeights.W`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/ml/optimizer/sgd.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `SGDState.velocity`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/ml/optimizer/sgd_momentum.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `SgdMomentumState.velocities`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/ml/pathway/mlp.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `MLPState.w1`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/ml/recurrent/gru_cell.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `GRUWeights.Wr`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/ml/recurrent/lstm_cell.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `LSTMState.h`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/ml/recurrent/lstm_single.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `LSTMState.h`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/ml/recurrent/rnn_cell.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `RNNParams.w_x`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/ml/recurrent/seq2seq.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Seq2SeqState.encoder_hidden`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/ml/rl/ppo_actor.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `PolicyOutput.logits`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/ml/rl/sac_actor.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `PolicyOutput.mean`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/ml/rl/sac_critic.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `SACCriticConfig.hidden_dims`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/ml/transformer/encoder_block.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `FFNWeights.w1`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/ml/transformer/feed_forward.t27", "phase": "parse-no-discard", @@ -457,6 +625,13 @@ "top-level-resync": 58 } }, + { + "path": "specs/ml/transformer/mha_block.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `DropoutResult.output`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/ml/transformer/multi_head_attn.t27", "phase": "parse-no-discard", @@ -468,6 +643,20 @@ "bdd-block-fallback": 70 } }, + { + "path": "specs/ml/transformer/norm.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `NormGradients.d_gamma`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/pins/parser.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Parser.tokens`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-rehearsal.t27", "phase": "gen-verilog", @@ -475,6 +664,13 @@ "issue": 5549, "expires": "2026-11-30" }, + { + "path": "specs/port/browseros/trios/agent-server/apps/server/src/tools/tool-registry.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `BrowserToolRegistry.tools`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/port/fpga/verilog/gft_dup2_jtag.t27", "phase": "parse-no-discard", @@ -508,6 +704,13 @@ "issue": 5549, "expires": "2026-11-30" }, + { + "path": "specs/port/tools/queen/feed_untested.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `CoverageResult.names`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/port/trinity/src/api/depin_rest.t27", "phase": "gen-verilog", @@ -599,6 +802,13 @@ "issue": 7070, "expires": "2026-11-30" }, + { + "path": "specs/port/trios/crates/trios-doctor/src/main.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Diagnostic.checks`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/port/trios/crates/trios-server/src/main.t27", "phase": "gen-verilog", @@ -606,6 +816,13 @@ "issue": 9254, "expires": "2026-11-30" }, + { + "path": "specs/port/trios/crates/trios-train-cpu/src/bin/gradient.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `TrainGrads.g_embed`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/port/trios/crates/trios-train-cpu/src/bin/main.t27", "phase": "gen-verilog", @@ -613,6 +830,48 @@ "issue": 9258, "expires": "2026-11-30" }, + { + "path": "specs/port/trios/crates/trios-ui/rings/UR-03/src/lib.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `SidebarProps.items`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/portable/relay_observer.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `WebSocketMessage.data`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/provider/adapters.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `HttpHeader.name`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/provider/schema.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `RequestParams.messages`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/provider/stream.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `SseEvent.data`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/provider/transform.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `TransformResult.messages`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/queen/brain_summaries.t27", "phase": "parse-no-discard", @@ -639,6 +898,62 @@ "top-level-resync": 15 } }, + { + "path": "specs/runtime/execute.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Task.args`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/runtime/instance.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Registration.name`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/runtime/process.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `SpawnOptions.env`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/server/mdns.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Resolver.services`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/server/router.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Router.routes`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/server/sse.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `SEServer.clients`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/sync/index.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `IndexState.blocks`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/sync/schema.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `SyncSession.operations`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/ternary/hybrid_arithmetic.t27", "phase": "gen-c", @@ -668,6 +983,83 @@ "bdd-block-fallback": 48 } }, + { + "path": "specs/tri/collections/bitmap.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Bitmap.bits`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/collections/bitvector.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `BitVector.bits`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/collections/circular_buffer.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `CircularBuffer.data`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/collections/deque.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Deque.data`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/collections/linked_list.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `LinkedList.nodes`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/collections/lockfree_stack.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `LockFreeStack.nodes`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/collections/lru.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `LRU.keys`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/collections/lru_cache.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `LRUCache.nodes`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/collections/priority_queue.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `PriorityQueue.data`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/collections/skip_list.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `SkipList.values`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/collections/stack.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Stack.items`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/tri/coverage/coverage.t27", "phase": "parse-no-discard", @@ -679,6 +1071,62 @@ "bdd-block-fallback": 63 } }, + { + "path": "specs/tri/encoding/csv.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `.headers`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/encoding/json.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `JsonObject.entries`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/io/fs.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Path.parts`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/math/polynomial.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `.coeffs`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/pipeline/builder.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Builder.items`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/search/bloom_filter.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `BloomFilter.bits`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/search/regex.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Match.groups`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/search/regex_advanced.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `RegexMatch.groups`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/tri/t27b/conformance/array_repeat_text.t27", "phase": "gen-c", @@ -693,6 +1141,20 @@ "issue": 11181, "expires": "2026-11-30" }, + { + "path": "specs/tri/t27b/conformance/empty_anon_literal.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `EmptyLitBag.items`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, + { + "path": "specs/tri/utils/config.t27", + "phase": "gen-rust", + "reason": "gen-rust refuses `Config.entries`, a `[]T` field filled from borrowed storage (a `[]T` parameter or `&x`) (#11182): it wrote the field `Vec` and took the storage by value, which moves the caller's storage, and this spec's Rust did not compile with rustc either. A borrow needs a lifetime on the struct and on every constructor, which gen-rust does not write; the entry goes when it does.", + "issue": 11182, + "expires": "2026-11-30" + }, { "path": "specs/vm/jit_semantics.t27", "phase": "parse-no-discard", @@ -718,5 +1180,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 #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." + "_why_entries_rose": "2026-10-20 (Refs #11182): 69 -> 135, a hand edit. gen-rust now refuses a `[]T` struct field filled from borrowed storage, `S{ .f = p }` or `s.f = p` with `p` a `[]T` parameter or `&x`, which it used to write as `Vec` taken by value (exit 0, the caller's storage moved or, for `&x`, a type error). 73 tracked specs hold one: 66 are recorded here, 3 already carry a parse-no-discard entry, 4 sit outside specs/ (compiler/ and contrib/) and are not walked by the suite. Measured: the master output of all 73 was rejected by rustc, so no Rust that compiled is lost. The cap follows the count back down when gen-rust writes a lifetime for a borrowed slice field. 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." }