Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
4 changes: 2 additions & 2 deletions .trinity/seals/"[]const u8".json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:e3c9e2e8d42caa4ff202d4e8ca677e3239ef726b7f1fe5ea593b6d652beadd36",
"gen_hash_rust": "sha256:294f3833b8837beb4af5abd302b8db94229f221e5f63947a9fcf75de93c082a1",
"gen_hash_rust": "sha256:40ce5b0dbd21c9c20874abd77435b4c4f047f8c5f17eb291bc3015274b8e7d2a",
"gen_hash_verilog": "sha256:edf5e314645a8bdd1d45f69c0c54d0d4c5bd7beaaa0aada98cd5826368ed7a52",
"gen_hash_zig": "sha256:2b15caee509e442b757c308531c9813c3e6884dc3c1d52f8e412f9a2651856e8",
"module": "\"[]const u8\"",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:bcb3b01dcd4debb986099332e1f8d6def66dc7b3d5b6e11f9dce845bb5007fb7",
"spec_path": "specs/tri/utils/logger.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/AccountAuth.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:63a8853dafff2360bc3cfe81f053e8a6e407332aa0eef3aeac4231b2ad98d011",
"gen_hash_rust": "sha256:a63fea44fc1062058fa4b9b5fa59b3a1a6c610ff2bf4eeba9e1ff822757da1ed",
"gen_hash_rust": "sha256:9877800f2388ffcb2c89cc325bf3e9f68fb4a349b10d260ed6628466c9bf36b8",
"gen_hash_verilog": "sha256:d8613b47f3635c4e135032259cbabe1d3624c54001f4277b5385276cdc2d7e78",
"gen_hash_zig": "sha256:104124963c3bd4beee769effb215df497c3d195f5dea2e8957f0a334e84dc3de",
"module": "AccountAuth",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:e1355c4ae9276302788b24e68f1229d728b8b23b52f3422a96f55d68ab6e0b62",
"spec_path": "specs/account/auth.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/Adagrad.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:875121a5af1f35fe3b18881592fc70aaee5e7c2c98ed173fe99993e57513b412",
"gen_hash_rust": "sha256:564bed81bfee218c784af1f837ad4493d4b28e8b8ae89bce382ff0a04f110c16",
"gen_hash_rust": "sha256:c7da87b4dfa7310317c60b4dfc57a3e919fc8eb0f828a1d660526b8ca196d763",
"gen_hash_verilog": "sha256:d9caf8fdaf9fdf552a87ca603662559c4487eaa0309cc70736d254b72d7810fb",
"gen_hash_zig": "sha256:86e6f164c90f8137d38da545e67c47a31b1951262150c483e447e25af22d1cb3",
"module": "Adagrad",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:204c8939483e6bb18f55dce184335a73236072e718045cf2308a35b76525a390",
"spec_path": "specs/ml/optimizer/adagrad.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/Adam.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:c15014e54980491f5674ef8b28a3e55c54b57c383a9d4d0993c764a83b988bf7",
"gen_hash_rust": "sha256:bb96e496da5ab874721e141f092004cf416f347040d8bea7815a8d6e80fb053f",
"gen_hash_rust": "sha256:e6bcc6500401f0b429a994f810154e6d42a521a85d7770020ab448380f4fb440",
"gen_hash_verilog": "sha256:194e346c1e13f180bde1d1f89d4ea822364d5879861b36c794da879f986dbea7",
"gen_hash_zig": "sha256:1fba29bc901d350d8f27333375d2e940938837c461dcd46a109150f6c6c63b89",
"module": "Adam",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:47fa62e4268cf8e79f4e4b7ed9972b705c79a74d31b428f88f237d1bc09a7eed",
"spec_path": "specs/ml/optimizer/adam.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/AdamW.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:cad544cef9d2bf132082270cbef851be2a5c50ddcf76325cbb0249ae3cda19c0",
"gen_hash_rust": "sha256:cbf42db3b14158fead5e9bd2f5d78196806924527688fb6e5e71b3e712587f1a",
"gen_hash_rust": "sha256:9a71f8de8c6162e9df5842b53c72c8804920901f6ed31f40bb7a0dea1c70e6ad",
"gen_hash_verilog": "sha256:b2af0ba85f9e9b0bec6a389757bad5b57132f4cccd07974f28f8964687981e50",
"gen_hash_zig": "sha256:12e73820c8968c1cbb619203eb10796ad5a2ab4629306fe196c548962fc86607",
"module": "AdamW",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:a5dbcb7030b094474aaaa271acb30a8e360843416a8ce98070bfee8cc66ae80b",
"spec_path": "specs/ml/optimizer/adamw.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/Advantage.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:cdc9579aad04ad8d2fc9883624119b27bc3deb3405f18d9169a9358898a33b60",
"gen_hash_rust": "sha256:2763a420fa6740f3cc0c41a9dd2627175902ef625604eb96d7791f99e24f5533",
"gen_hash_rust": "sha256:de227e00a020cac2284286e5929a14fe1417c2524fdcbcae82b565ca7a483fc3",
"gen_hash_verilog": "sha256:faf5035f1ea6924c67ae3b0aafd49929eba85481ba2ce6e6ba35bdac01a14b10",
"gen_hash_zig": "sha256:f3110e19e83cff7d6b318c77a3932ea58dd0b645570bbdee418d97578f032d52",
"module": "Advantage",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:7d41d9d1ab43028ea61e4c36eb6c0e40b525e6d0f456db95f0312c2d4d06fc62",
"spec_path": "specs/ml/rl/advantage_estimator.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/AgentRunner.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:008b48ed94bc0a990afb0b60b83ba573d78ed4e7ddd1c10b9694392c76fc4549",
"gen_hash_rust": "sha256:77910080ebad47e8a12df565eb1adb1739eb6ae8946f3b74add05eddbfed085f",
"gen_hash_rust": "sha256:15614f02c267acbe5ba04ceae94799d3b157adf2c382fa0f7f04f9fd10905930",
"gen_hash_verilog": "sha256:8bb1e33c10550b063ffab24c87d17b0592ce4dcf2c0fdacbfa327acac9b071ef",
"gen_hash_zig": "sha256:1407ce21caa87688f5ab8ecfd02aca81fc8ed63db53032442f028e8893bda345",
"module": "AgentRunner",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:959e06da2849febdf16205273e4592a5390ce6c4d2be52caf2b7a5b80e3f5a1e",
"spec_path": "specs/server/agent-runner.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/ApbBridge.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:5d94479f9cb0a971832610f76a4ea7770d5a99c567640e3057f2bfcd609a72c3",
"gen_hash_rust": "sha256:a5c6edbd41d4cd1e709a5a5dd35dc9f6a054d5f9a8cde95307ce08956a449a2f",
"gen_hash_rust": "sha256:493517022c6e8939760def532a3c320246669809cbb9a873757f50e855795fca",
"gen_hash_verilog": "sha256:18df7bd4c01f4a7dafd4b0da575d47485fe5d349ce45ca6af8066e3f7e109469",
"gen_hash_zig": "sha256:56969eb317108ddbc977efcee38807648b850c22b0823bee83df0e753552d84f",
"module": "ApbBridge",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:b5d5ab2b04d04b08a4f307d4744cde9b0c95e7aa000f971bf648f33ca50717ca",
"spec_path": "specs/fpga/apb_bridge.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/Api.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:8997e74109814b9f07113dc468ffba00ec317865506413f7add2481aadca0911",
"gen_hash_rust": "sha256:6bd8e3abc0d10b89175f54c946af37cb652abe1d6383288d27ef59bb41582e1f",
"gen_hash_rust": "sha256:2c6954969a328bdef5e4a79d073815d9ebd8b0c7afe09d125b2ca1b6f28a20b8",
"gen_hash_verilog": "sha256:243b870fc4e2a21b86fef56b47af362c491f62ff956ed3566afdeafed547ab43",
"gen_hash_zig": "sha256:9302e82d4c6ba1f4b1b0f23c5d46dcf203fc6f4513505257146c85cc4022142f",
"module": "Api",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:e46541429008eef0e3a73d4b33d40d438a556712791e282630da97bddbb20d19",
"spec_path": "specs/server/api.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/ArtyA7_Integration.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:b0d3f143bf2e0f4328ee490efe2bdc19d5728a470c85ff0f295285b1c4f65d86",
"gen_hash_rust": "sha256:80e9fbb51e1039e78f07a3b0e714d3dcaa422eca69dcabd99b8ea7ae20256223",
"gen_hash_rust": "sha256:5eb37de517fc6259f2440a02aad9373a3b255fa94d4f45d331c8a08a8c633647",
"gen_hash_verilog": "sha256:426338e1fa66258cd1f8b59141f8986d84967a707088baaac47e9f46d8ca12f1",
"gen_hash_zig": "sha256:39507fcb20694f760f579cf714a7494ac421ff9c0420067e4f3e2519b943471e",
"module": "ArtyA7_Integration",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:008af9aea4cc3d4324c4c41b9418da42908be55e79790bf12301afb74c9328d7",
"spec_path": "specs/fpga/boards/arty_a7_integration.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/AspSolver.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:55419456ce808ff3f0baed2af64640584c30707bc1eaa6bc2eddc6be380a7ddc",
"gen_hash_rust": "sha256:1c6115d02a60911a8ae8ee86cd4e1047ea4cad9711c3466c8edb4ef9fb849d4f",
"gen_hash_rust": "sha256:7bba76b554afc09711246c097476d1d68a64b37baa480269f558a9301ce1a5ae",
"gen_hash_verilog": "sha256:4a3aac88230f26e414bd206d0168d8063b891db31ae52d7ed63c02186a0d6944",
"gen_hash_zig": "sha256:78ef736ad5e3b4d39fc1ff3bcfe0accebcbc0fd090b10fb4941e32e6f6c3cb25",
"module": "AspSolver",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:eca06ff812c61e2693f706b7389c71dcd769c30dfbb2cfb958e0416a5118b404",
"spec_path": "specs/ar/asp_solver.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/Assembler.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:d0535e38962a8d71a52b1b419a5029c2c17f119a0e3582c07df6c10d4f22cd6a",
"gen_hash_rust": "sha256:2c040b07b38e99c2186244a7817acb00dced6063cbf314314010ddd5a6e17d47",
"gen_hash_rust": "sha256:729883825194430c702c80b9c57e53dff5503f8d3218ea112e8df3711056c3e5",
"gen_hash_verilog": "sha256:39953fd339dea630328d1be822404ada011ad2a5455ee008931f05129300dd5f",
"gen_hash_zig": "sha256:c6a9e19f2337415d22a698361568bfc10edffb63dad901eac783bc0dd42d9ef7",
"module": "Assembler",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:554e42402228649a53d22c401e9fdcd96a1d5e1bed47cda8e4c1be30de2c0d00",
"spec_path": "specs/fpga/assembler.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/Attention.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:a81a66e5adcaf87fe62b0a3dc65c1bd11bfe6a4b6356ab2b1369de58fc86bd7b",
"gen_hash_rust": "sha256:7dacd1d0b31826fa904ebcca6c128b3a3bff9a5ab7f68a05dc2ec5a24c8e70c1",
"gen_hash_rust": "sha256:cf2af4859d3d4611f0ddab2c7ba7c527c756c3b47138f23cf8547c25baae0176",
"gen_hash_verilog": "sha256:3614052cf60efdd1c5eedb71a5d445b3c5ea0d93dd877d1866280c2fc7934ecc",
"gen_hash_zig": "sha256:3f0fdececf4c3cdb02cc622e19dbca06d1ae0e2f804daeaf31fe82d736abc70b",
"module": "Attention",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:b8cf25569fa15fece9aa281586f9998c767d802a8275a83ecee58694e774b64e",
"spec_path": "specs/ml/recurrent/attention_mechanism.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/Avgpool2d.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:10bd5bd16af787265861ae6db3f9d86ff6343a4e35123078eda1775340eb44f8",
"gen_hash_rust": "sha256:a96ccd5aee263c70d9f9fa9c3ed8d0369de5d24f170f0c7c054d2720c0e5a90c",
"gen_hash_rust": "sha256:110d1f0ee596f68cfe25f82c40ce23c52b6577119d07d8fdecd03fcc55fd153b",
"gen_hash_verilog": "sha256:1be5691e2b0ce6e59cf310ef6d6f663989d19eb1c1a18806800306409d4911bc",
"gen_hash_zig": "sha256:e5c9249cfa441dc5ece3bd4e6a6cd540105e94e1265c1dd0e4b521e63082a931",
"module": "Avgpool2d",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:05267a4e1f59698a7b77f9960613213d76323188e7e822bfce442888d8367d5a",
"spec_path": "specs/ml/layers/avgpool2d_layer.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/Axi4.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:b7962fedf38252540ea39dd3e52dac295ab3d9c2bb1b83f0fbf87f982daa5900",
"gen_hash_rust": "sha256:32b76ec634d61221cd560d2af84f80e53dcb5d39a03d62e22a6b50765a747b64",
"gen_hash_rust": "sha256:677a72d2d69d4b7376e444013c08284a66c6902b8e7fa05458b949ec953e6682",
"gen_hash_verilog": "sha256:bebd46bf57dad27d003d87bd2dbf2690740c349328dd0053122ae0297f4e48ca",
"gen_hash_zig": "sha256:fc3541d63adcb4f4ae0727f12e67ad2573d9b9b378e31cad50491a3a7eb77e9d",
"module": "Axi4",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:6fb6c9bd19533d03aeedfa90cc66376ec7d766d39367b478e9448997d9670c02",
"spec_path": "specs/fpga/axi4.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/Backend.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:65f87260a7f2744ebf06d32dc9f4ced2185a8e7cef2849ab056f090ab555b330",
"gen_hash_rust": "sha256:81ccfdba38e3ef4964b4ca8acc5049919c4d0c05a3cc9ceecaf84ad336f6784e",
"gen_hash_rust": "sha256:1c41217fa0332c341d72d71e2da67611845e7604b164647febc993997104491d",
"gen_hash_verilog": "sha256:a9d64159297b926cc1d3f1c8760f25f5e325495620e99d4b959b9f9a2f699df4",
"gen_hash_zig": "sha256:da68a0284c02e33b15201029060202d81a344d440e0f3abcb9bdcb8ac8f92d18",
"module": "Backend",
"ring": 32,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:1262feb6bf7fe0c0672a7985bd86b2b07a3e1e9eccf6226d47c6ee7c9ca5d2ca",
"spec_path": "specs/igla/race/backend.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/BaseOps.json
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
{
"conformance_hash": "sha256:17080caa082ebe4e3ef135cb73b47ac65882654eb29e702ede681241f035066a",
"gen_hash_c": "sha256:9d5402588e4730523eb18c8f165e220c4bb0f162321aaa4b7bf1dd202a32e571",
"gen_hash_rust": "sha256:645ef00bf74c47c7f94f34a5c5a6437892b93a6bc834c3922f538ebd0cc2920f",
"gen_hash_rust": "sha256:270e55c108684656da3e9fa8cb5e804810593c5e7dca9bada07828bd95eddb87",
"gen_hash_verilog": "sha256:706210e28a501aec4cf6c30c1bc631384a7401cb070cb84d8531c4966e11d645",
"gen_hash_zig": "sha256:1c298a149495eaef9366bad168ed58fa11e2851068f9203f7ec9b7569eccff59",
"module": "BaseOps",
"ring": 25,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:ef25280bdd4c1cc8dac5b84533ba73f686c70dcdc5797828490eab07465e9c23",
"spec_path": "specs/base/ops.t27",
"tests": {
Expand Down
4 changes: 2 additions & 2 deletions .trinity/seals/BaseTypes.json
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
{
"conformance_hash": "sha256:3b60977a2e6ef7a89d9c0e7ae9c8a64cd928a2bdc65d0fd46b57baebd0e9ad39",
"gen_hash_c": "sha256:fd6aa3261b05efb384d95a38e75b8c44770c8996419f1047eeecf07153c3713b",
"gen_hash_rust": "sha256:b869d7fb24024380e598ecf63036b8ae2ab6460ee75e4c4e0ab9f270b1438b31",
"gen_hash_rust": "sha256:c763b8da4815bcceb5b7760bea3f96a88cb057f73f1dba2620879d91d2cf67ba",
"gen_hash_verilog": "sha256:6bbf16bedbfb02e745828f53ea14d3609f31f713221dd8d2d160e840bb793589",
"gen_hash_zig": "sha256:87503fa5b4a9ae50b1564aa0998f708c59dd8940926ee6e8fbafcb8bc0465e29",
"module": "BaseTypes",
"ring": 25,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:12d9ca3f44b081970a88c4d24c10ee9dbf36eb614cf18404ff571475552c10db",
"spec_path": "specs/base/types.t27",
"tests": {
Expand Down
4 changes: 2 additions & 2 deletions .trinity/seals/BatchRunner.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:0b561cf04b2ce9c50f68de06c93181a712d100a6382b1643ba08971b3bb286e2",
"gen_hash_rust": "sha256:5b66a9059f71c5bfd4ae7b71fb4deed91cf3ea97f66c02a3de24cdac4a7b5480",
"gen_hash_rust": "sha256:21ffa37a401fabb760f5424ccf2efcabfc53fa02ab5560b9e666f34743cde019",
"gen_hash_verilog": "sha256:e62e7dc3d37fd5c5a590ac0662c99701b71c46b7ecb78bc816c76f30727f8735",
"gen_hash_zig": "sha256:76945f12448f252223f4e40105a20152a10ad1b8277915659c7bb3f13953dd3a",
"module": "BatchRunner",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:8d379f63dde398e22375d6ab17f133e701bca3acb3d707b3208feba3fc7882c5",
"spec_path": "specs/tri/pipeline/batch_runner.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/Batchnorm.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:cff68a2bd325ab9be44b6580b5788e86b93f75a889e9c946b4feb497549de371",
"gen_hash_rust": "sha256:c8f1efc93644ca9ca998a8b2166b913f330eb971d787c23592f13c45253897e3",
"gen_hash_rust": "sha256:1861b35d0ab620fad97599cab1a116fac294a87ea895dbc1c7b7b14a2f871c92",
"gen_hash_verilog": "sha256:2f9b96713d8060bf1bbbab1f07417262a35ef754121cb41a09ea6fdfed21bc88",
"gen_hash_zig": "sha256:7b830bd6b7c0814693941d3f84143b2c88274a7a3c590f6c95bb87bf87185383",
"module": "Batchnorm",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:e33d06c87bbdb7128b94c03795ef3a4832b59758ca66412cd89fde649e7db5e0",
"spec_path": "specs/ml/layers/batchnorm_layer.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/Bilstm.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:b5511052cc6b22158de628bdfac768a290dd380e14e3ccd9b73058ab8b3db3c6",
"gen_hash_rust": "sha256:1eac61a7d1f31d39547ed7ec7bb7ba60587e000fae54c571549aab0c38190126",
"gen_hash_rust": "sha256:78aec9de34dd0c40fa82d8fb1ddb94211772a4b78306d7b76a87bd8aed24fc8d",
"gen_hash_verilog": "sha256:ce84bf0099fe527f71d3245d5d875e15fca0737f10d30c3f0a3a89deac059b00",
"gen_hash_zig": "sha256:fce4211d992296676372c737a050e0134146aac63138c94519a32434be2346c1",
"module": "Bilstm",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:d2e4055108ee38da5e3e5cf5c999c6381ebd57c1d6c1ee7ada868b15cccb77d4",
"spec_path": "specs/ml/recurrent/bilstm.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/BinaryCe.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:c2bb7bd593300a1d45cd36acccc15e8428173c177e25f189e9eaac8378364655",
"gen_hash_rust": "sha256:0540c749509d31edf81203c51ed68c71d7cb952afdbc6b6592301a6517cdd0dd",
"gen_hash_rust": "sha256:f7dc4f3b946a198891454522af8b0f0fd4849e4065a65adbcb21da4be10fb212",
"gen_hash_verilog": "sha256:81dadc7e5e5d8f3953d78bfa6f628c2880c7fb3fc32c821c2d3b74d822dcc476",
"gen_hash_zig": "sha256:8a86f192cb24bbdf8fbffe4f8b24c770c2789329430f1de448327ffc91d7cde2",
"module": "BinaryCe",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:7ef7acd6dea18076e9b87ed6b1cc6fa16ef8c0de91a59ce03bb66cb5f4d01e48",
"spec_path": "specs/ml/loss/binary_crossentropy_loss.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/BoardArtyA7.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:cb2391f04fafcf45c17509b51e7d542d2b7f5d9fd00a1af1c82b1b114fde079c",
"gen_hash_rust": "sha256:b1281cfb5fe66837bcc01da4f542ea018442dfccee7303381959f9e90dcb07b3",
"gen_hash_rust": "sha256:f07d741bc79da3fa5b93bd465da58f8145f491d62b3bfa01232c755c5c63f681",
"gen_hash_verilog": "sha256:2a0180761ad6e4925dc83a294fd10eb4b96abfe64872d6276effc36ef3920337",
"gen_hash_zig": "sha256:1220629620e3cd8108ccba931e114de91de5ffb396723d5545e530bef21b56fd",
"module": "BoardArtyA7",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:7b96fe0feb3e7bc3e57acad912c8ab1fba60c054d3e1305abcc27f1e0b94ddd8",
"spec_path": "specs/boards/arty_a7.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/BoardFullXC7A100T.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:8298bcd40bec81ab345c41c9ee1b34bf539fa10d07578217afa19e33f7d24cb5",
"gen_hash_rust": "sha256:6f1351e83f6db730c9e37d56d9f9bdbafee71e09415ad227f3cdab70f36a1aa4",
"gen_hash_rust": "sha256:6098a683ff88b3f4d3a19565360f694939afd5f073d8f5b80d7a47c857267261",
"gen_hash_verilog": "sha256:90fad87dbc511a7a643a71729a976da301d998f9dcd8c4bafb0dcc8de9ed9158",
"gen_hash_zig": "sha256:cb9ee33d5668df1856cabbeb4ab54a2df84be21cca214bff397e6ace9aac6105",
"module": "BoardFullXC7A100T",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:7ed0768769fcbe3216daf7c39d9e9c3955ade2228159ee79593cc91a81f9eadb",
"spec_path": "specs/boards/xc7a100t_full.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/BoardMinimalXC7A100T.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:58a96fd2f86451f5a415266d00b81cd406c9374a6c405c7ed65b0a5ee2b3869d",
"gen_hash_rust": "sha256:7b1d3b816ad170a15ac38dd43039ea3959a7da08e3d3218250a923fa9bcf24ba",
"gen_hash_rust": "sha256:0ea6b4cd9bc9936575d2e94abb4d1a6d41d3fd8651c6207c392cbaca48da2fea",
"gen_hash_verilog": "sha256:dc6cafb47ed1502c30a6bbddddf3d673359daf167808509ba41660fda380b493",
"gen_hash_zig": "sha256:2b099344355b6f030d6836b5e5b11a82b96c85254c1efcd4ca487390cf3f62d1",
"module": "BoardMinimalXC7A100T",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:0a5a2fd4d418235a976748b76bf5d503b4a17e6b41e0c721fc696c17fad8d71d",
"spec_path": "specs/boards/xc7a100t_minimal.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/BootROM.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:216936881a65116c61b6633b35c99f0b65272d98d45ecda26b60d83d4a6c5dd1",
"gen_hash_rust": "sha256:13a0c34677d4d91541b02905c1b11064d9370298b8d73b8a298e3304d5652b2f",
"gen_hash_rust": "sha256:9e93099c3822f1a58c42e05e126977677fb80a8500351b03565931946a544343",
"gen_hash_verilog": "sha256:b413ec51ecf50867f39438bc29b170c413933861ca1f40bb3f05328106bd6147",
"gen_hash_zig": "sha256:ad5a76ae1afb79cb78baa25ca9eb3a8fe6b734ad792a45334664f2c5af49b1d8",
"module": "BootROM",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:095347af6f8f5f079b3e9cc138edcc5cc9dc15ecc82a153fab158de646476958",
"spec_path": "specs/fpga/bootrom.t27"
}
Loading
Loading