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
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 7 additions & 7 deletions .trinity/seals/Account.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:574b90af41d02e1ac53331d54ceed3f46a1f21b86795fe4660793e6a6e04bd0e",
"gen_hash_rust": "sha256:697dcc7cc6d513a1879097c65dbbdfb5dd4bdff36a2827e60ffad065e836a639",
"gen_hash_verilog": "sha256:b340426e4e7e50df49c72d1b0dff06c0e612151e77ad3340b1f911d3b151dbd9",
"gen_hash_zig": "sha256:289a377eb1f67b64e98cc19cbf13f1cfb6c9f6ba274d4bce274e22470d925776",
"module": "Account",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"spec_hash": "sha256:d59450c1d1f357b44340e8a90413e3685bd34a7c02bcc60dd5efdaa5d44f2fc3",
"sealed_at": "2026-09-24T14:54:05Z",
"spec_hash": "sha256:6e79aa7dfb52d6bbfa75189b40679bbc7c071fa43b9a72b1933bf6bd9f6cc5cb",
"spec_path": "specs/account/schema.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/AccountAuth.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:bf0e3fc8261362fd6a00bf134c365281d50f55103c594f5235eaab8419455fa6",
"gen_hash_rust": "sha256:b2a3cbe92461b117b1681278497c213eba9601030361b42289305bee884d6514",
"gen_hash_verilog": "sha256:d8613b47f3635c4e135032259cbabe1d3624c54001f4277b5385276cdc2d7e78",
"gen_hash_zig": "sha256:7e11ac8cc7173b92ac3c3b62a5f2728fd8764bd438e2aac808525cd31e33065f",
"gen_hash_c": "sha256:66e686630189e9688dcd0ceab2272afcf2127befe15f6510a22dd319aaf956a2",
"gen_hash_rust": "sha256:b73b40dea5835769b08250c0cfc57a1523bd5799713f76e4692bbe7b98ff516e",
"gen_hash_verilog": "sha256:ae895a994c91b755b1e8c28774952d583775540476819b89b0d93cfdcd36d06b",
"gen_hash_zig": "sha256:21396bf64f5da2527fac5a61fd9505a2775c5a0d10bc0133da258ae2409b096c",
"module": "AccountAuth",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:e1355c4ae9276302788b24e68f1229d728b8b23b52f3422a96f55d68ab6e0b62",
"sealed_at": "2026-09-24T14:54:04Z",
"spec_hash": "sha256:d2681624fbfc2d53dd3dafccbed6fc23a9a024bdc93a2a49be492a60bd02a393",
"spec_path": "specs/account/auth.t27"
}
}
12 changes: 6 additions & 6 deletions .trinity/seals/AdamW.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:4f3d474f70421c5af10a8b870ca98ff579250d2f230412575cf51c0061d916f9",
"gen_hash_rust": "sha256:20969877473efdd38111fb8dba59cd02c5f11dfcdec7bccca52357d51e6474f5",
"gen_hash_verilog": "sha256:b4c627e61a5f93624f5901ceb1386f761e68bb8ad1756fd90be8c727871f667c",
"gen_hash_zig": "sha256:eaaca634bf317cb126fa1f126fa9c5171c9951cb2831d4a8a0cde5496c7c1a41",
"gen_hash_c": "sha256:c01ec3973f0a92519fd5bf1490d014ed9651d4cb0f4a89669b288661a85aa9ec",
"gen_hash_rust": "sha256:74cf4e2550bf344dcc876ab3c5586d17cc56f01e351fddba122e7008fc94a935",
"gen_hash_verilog": "sha256:ebecfc4c499455c39a38af49f4a9ac544e70c4452685d9583db2392044160964",
"gen_hash_zig": "sha256:c2709bafcd14e04fe19ee1fac62d6fd6c01df55ed641856c902f8247a35eb1af",
"module": "AdamW",
"ring": 12,
"sealed_at": "2026-09-08T13:45:59Z",
"spec_hash": "sha256:a5dbcb7030b094474aaaa271acb30a8e360843416a8ce98070bfee8cc66ae80b",
"sealed_at": "2026-09-24T14:54:04Z",
"spec_hash": "sha256:1b8cb03ec9edccd4b26b996d4f789f3ab4fc3feaca5df97d75ee003dd26070b0",
"spec_path": "specs/ml/optimizer/adamw.t27"
}
12 changes: 6 additions & 6 deletions .trinity/seals/FileOperations.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:61a94f74dcafa98f7a3e07121068696e3d0a6a294b7fa38500537d6c8204fa33",
"gen_hash_rust": "sha256:4f11cf91ef5f8057e44c7325504c092e19c2976abffe741ea3fabb3a101effa3",
"gen_hash_verilog": "sha256:b6ddaecad42a93299a0a2df72acc0e6c7cada9057447f6166638d4de8c0e760a",
"gen_hash_zig": "sha256:7cd5872d38e55da6ac06836b56150119dfdbbb4c1af7b5479be9dd45050d7e4a",
"gen_hash_c": "sha256:d8225410695ecb78d123cf42d3efe8215d7a72cc6cc7be6f9587e2a1577cf6a0",
"gen_hash_rust": "sha256:3a500b1da38ae323af3d050b15ed589ffbc0011cad18753efc1118e052788453",
"gen_hash_verilog": "sha256:98d83be7900da5403e22b5e3f9f20584ae03304c079d6765285712e7ac32ac54",
"gen_hash_zig": "sha256:8a397618db01c4509e41659bade0eb8a3c14d51127b5a93d457f027610ae35c8",
"module": "FileOperations",
"ring": 12,
"sealed_at": "2026-09-08T10:55:57Z",
"spec_hash": "sha256:2069b57fd0708292d454cc46845d5f0490fb0957e9062d5b62a126ad335fa4e0",
"sealed_at": "2026-09-24T14:54:05Z",
"spec_hash": "sha256:33bb3ea4d4fcadeca351a6dc9e9d7ad5320dd0403baedbe91cc6a37d9b6b4049",
"spec_path": "specs/file/operations.t27"
}
14 changes: 7 additions & 7 deletions .trinity/seals/Formats.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:c9019b00543b767b47295b362d186bf296173291efe97478d7dfc956896c2e8c",
"gen_hash_rust": "sha256:08b0cc1498148250d7300020d922d7de55656e92afaa89f1b8b16593118dbb4e",
"gen_hash_verilog": "sha256:c47193ddf0dae29fa75b4a5b35d859edf515434b188a172e4e3aade69d7bb3f6",
"gen_hash_zig": "sha256:9bbe3a67208d6b61260118c3407d51b2c58904eedd82737936347ab6f1c5121b",
"module": "Formats",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"spec_hash": "sha256:d8d03fabaa03bb05776ae7a1227e97cffb8a249d64b083402d956231d6e8111e",
"sealed_at": "2026-09-24T14:54:04Z",
"spec_hash": "sha256:a4f199a6e60aee624ca0bb259ea60eef7162b0b017ddafef783723ad59fdddc8",
"spec_path": "specs/numeric/formats.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/FormulaDiscovery.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:252d8231ef6103b73e976d83cb9567d1bd16982202d6c6b20c72105636c86593",
"gen_hash_rust": "sha256:ba5913888c12a3cae2d6cd2ee5954c6caa60639d21a5070565316b7f3e2b4bfe",
"gen_hash_verilog": "sha256:fceda54f9e93a21e3547d213f908ba75d655d42720986305439811d350fd41c8",
"gen_hash_zig": "sha256:da589424ea3146eaaa516ce807c8d8e2c651ef02a1250dff7d9386ad14efb184",
"module": "FormulaDiscovery",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"spec_hash": "sha256:5195f89bfc0b1f3ed434ef6371ba940a629ba01eee7a3746f6f14ec0cde9a141",
"sealed_at": "2026-09-24T14:54:03Z",
"spec_hash": "sha256:385d23c3decd15d54b3c59362f92a1a720cc628462793777c1463b3853ca6c60",
"spec_path": "specs/physics/formula_discovery.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/GFCompetitive.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:2bc01a72fd6a17690b47a37dc9fd60377267e79bc862dcfe7da5a5fafac93e74",
"gen_hash_rust": "sha256:88005772e07d069bdd19156acbeb5a4de954ffab1df5d34329acfb7ee0090dd2",
"gen_hash_verilog": "sha256:40115f72387265dc53f0e609f1fae23042408946b9487072850d888cfaa57bea",
"gen_hash_zig": "sha256:48fe7717531e3a17c1a0c066aada8b0b141eac0d458b20888c6dcd10c779c771",
"module": "GFCompetitive",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"spec_hash": "sha256:2e1c74a2e7066c74730a82673ed2d723555599bada8fa1122e0859a5bb24e3eb",
"sealed_at": "2026-09-24T14:54:03Z",
"spec_hash": "sha256:0c7ab6d6bceb875e70487a3f11a726a6f66d3c14cb227dce17cf99a5d41e85fe",
"spec_path": "specs/math/gf_competitive.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/GFCrossLanguageConformance.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:640e444b97a37a22c42933205d7522c98c027cf0074b7e39603286909aeb6b19",
"gen_hash_rust": "sha256:22edbe24d2a28ec8b24ec618f950764e77233bffcd913d52348b83c2bf8eb1b2",
"gen_hash_verilog": "sha256:6867daa0d785eaa857281c136db31ebbf4171ad68f09104c84662b97487a131b",
"gen_hash_zig": "sha256:d0efe2e7c48d18bbe5d1f89d99695363fb1427cd55d06d74bc7c4f5433b6fce9",
"module": "GFCrossLanguageConformance",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"spec_hash": "sha256:6a4970afbc3c2312d69c058364a11f96063e468cbed7b915aa49f306a8dfc4c2",
"sealed_at": "2026-09-24T14:54:03Z",
"spec_hash": "sha256:8fbb627dca8435db3eff8c4aa1cd6a64102d74ffdf5197d70f87e1f5069d6c2a",
"spec_path": "specs/interop/gf_cross_language.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/GoldenFloatFamily.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:44639479f5784222e2ad262ba4f690213f891c45882be1261f75103d7ab0178d",
"gen_hash_rust": "sha256:4504777c0ce8db465f98abdad0eeb2a2d3c4066e1db30634ddb6bed064fe5f77",
"gen_hash_verilog": "sha256:27f17eedaba600701d9df14fc7f9acd528055341d3202ddbafa6c37a86a99e4b",
"gen_hash_zig": "sha256:14979ae0c8ebd04c27f24393cdde365312ebd4417dec5de332fb6a3268ca72ba",
"module": "GoldenFloatFamily",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"spec_hash": "sha256:658017799ed00ee1b7c5669fc3d07980513277ab969168144933764f0ffb3fc6",
"sealed_at": "2026-09-24T14:54:05Z",
"spec_hash": "sha256:bebdc00ac0668a113958a3571a8c150155c6799de52129bcf898361e1090a153",
"spec_path": "specs/numeric/goldenfloat_family.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/HybridArithmetic.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:f4f556d666e54d5fed52a3602039304f57b6c7557e3c7d571e3ddd4a4900039e",
"gen_hash_rust": "sha256:cef3a89b4bb757edee7b2fec6b2656155a849c2eccbe1cda20981d9ce47e06b1",
"gen_hash_verilog": "sha256:505aa2cfbafc150adc21330237dfa62fdb3b8327e62f8423b498f450afde5815",
"gen_hash_zig": "sha256:f1e60268280d3e22886388ac619408d2da4c86aa26e284492eac82670d18f446",
"module": "HybridArithmetic",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"spec_hash": "sha256:d649c30b959f4c59c65b2c99b91aed9d8d4469b11889a347dc77f875550cbe4c",
"sealed_at": "2026-09-24T14:54:05Z",
"spec_hash": "sha256:60e1436c9824221d833735dc04c56bd447a66e4253703feb6b3b5024f96d1db2",
"spec_path": "specs/ternary/hybrid_arithmetic.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/P2Brain.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:0ce0802d678a87f6ae88b38f723b747776fb9f7535107f5a621d42f9d41b6928",
"gen_hash_rust": "sha256:cab802b37f0ec182e6caeaaff49a3c4485ba730f51db60f2acd4bd4f85247ae9",
"gen_hash_verilog": "sha256:b51a6535ca56a149185c8c3ae28ec8ab73bd39628cee5c9cc2f04613143bdedf",
"gen_hash_zig": "sha256:46dfe6997a7020d67f133c61ae8a77ceb9526bcc48460a935ca3b49c3223bf7c",
"module": "P2Brain",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"spec_hash": "sha256:7a4adce8c814539d604fa6a4830e32d5c3639f524aa463d30643bec72670204e",
"sealed_at": "2026-09-24T14:54:04Z",
"spec_hash": "sha256:5ac1cfed2daafbe17a07a2f0d1b55680b35c1448408d5fd4d1b5a55d7fa7aea3",
"spec_path": "specs/physics/p2_brain_physics.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/PBTTemplate.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:38f5df5f18a4663740124eac27fc4832f07c5d81273253e2008892912ee284ed",
"gen_hash_rust": "sha256:0ca23ce44d20069c64707e57faa03ce1c54d9e8e0509347f86ba513e38535bd0",
"gen_hash_verilog": "sha256:5469dd0aa89e9b6aa447edfd0fd60bc7828a851b74bcd56770714c7e6704f428",
"gen_hash_zig": "sha256:72c10d94033a005fd5d41efee641219f86bd007fa5223f6821f8f62b92fc6472",
"module": "PBTTemplate",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"spec_hash": "sha256:4cebca7f2af8129cdd9fe75b79a751bfeb933ecb2adac117d15b6789d8fd5245",
"sealed_at": "2026-09-24T14:54:05Z",
"spec_hash": "sha256:2500c3c7fba87dd869ba38708454d3e9ab7e33600c550129dc1da2c7570be63a",
"spec_path": "specs/test_framework/property_test_template.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/Parsing.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:169d38758a8671afc355477e0f81bb6fbd16d7969a4db52f02093efe7ddf154f",
"gen_hash_rust": "sha256:c2a38d37ce528f599dcfab1ce81f8d547ec825e966975065f0103ade1e57879e",
"gen_hash_verilog": "sha256:4b39f00f18c58de1210c3c02ced859f1b8c6fe801269042ad1774aa8db912a4c",
"gen_hash_zig": "sha256:32bd806798fc46866fa2e0e9265fe324c4e4e6e7837820a6c46f24a2b0bd9986",
"module": "Parsing",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"spec_hash": "sha256:76798d436d63c826bfb2479ea921da0d91f5ec8f027730bd23ef277110372f8d",
"sealed_at": "2026-09-24T14:54:03Z",
"spec_hash": "sha256:8b617c8818b6b456fdbf9040c24b415a2c8e65f597dadf08f5586835e3b7fbc4",
"spec_path": "specs/compiler/parser.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/PinsParser.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:a2d246976083268aa221bb133036dd822a8a59a89d5577867be50e760d693cae",
"gen_hash_rust": "sha256:89a230100846786c858e14b1c4c2955c6db6f4c8a375445536d57454ce7160f6",
"gen_hash_verilog": "sha256:d83321903da73e4b7729242f6348209e7a5e09107c0e15af06530609b969894b",
"gen_hash_zig": "sha256:e5ad57e650910ce9ff3aaca80961bc1be6e22d027c45b07972e76460114f37d4",
"module": "PinsParser",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"spec_hash": "sha256:d5d906f34640716defff3c0b92ac5c953e5d67885c14242db2bdccfd8e6f78d1",
"sealed_at": "2026-09-24T14:54:04Z",
"spec_hash": "sha256:2136baa6752930a651ba388fd268c76b484e02dfb56510fae190614c4e1ead92",
"spec_path": "specs/pins/parser.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/Provider.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:1cbc98580a5c94d9167f66991a1084703d12734debcba95fa027a74b8a3d6376",
"gen_hash_rust": "sha256:c4594bd5171d66edd4632726c6fae1717261c4fa0fca7a1f673b349740d2652c",
"gen_hash_verilog": "sha256:a96fa1554bf1a893fef040f8ff045afa366d467ea863cdd38d5b2c625bce4eaf",
"gen_hash_zig": "sha256:c37456de915d114c2f039adb0caa16d4c2f8b6981890231116475700eea1f49f",
"module": "Provider",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"spec_hash": "sha256:4dc8ea103431d9df995c086ae6800dabc140cca5c5b70666b627bea92e0970f9",
"sealed_at": "2026-09-24T14:54:04Z",
"spec_hash": "sha256:27291359118d31411ad115194c79a659ace32d9281b93f5abbd5dd585b1fed58",
"spec_path": "specs/server/provider.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/Shell.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:8eb63bf1ea885c5d138f0f7954b70cb396b00ae9870d994f06da232c9b5e1a77",
"gen_hash_rust": "sha256:e4755be0fc4e0fdf32618f74ee6893769174b4158071ec6bcd143826a7112817",
"gen_hash_verilog": "sha256:fcc7b1181859a7efca28204e44501da4e6f32d70a661d5b4cb47c792d130a605",
"gen_hash_zig": "sha256:472104178a16f211db7cf8430166a8fb08eaaa32bc430ea96e65219fcd5524d9",
"module": "Shell",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"spec_hash": "sha256:60f890605a6fb4ba6e5e160872c26b9fa2bc8ec5101b367e5d88a86693fe8aa3",
"sealed_at": "2026-09-24T14:54:04Z",
"spec_hash": "sha256:6c8c4ade7ef0dfc805fe1ad42dfb188ed8afd8d2db10bf92807c4921bde839ea",
"spec_path": "specs/shell/schema.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/ShellProcess.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:5ad264905831fc625c37d44004802c9c5efdfe9ffa347442ada0d928db04b46f",
"gen_hash_rust": "sha256:dbaafcf08b35fd98616bc7420aa4cf682b71d24886ca5e3c8fe2e50d9e86ea65",
"gen_hash_verilog": "sha256:1d35771385efa5b79126df34365589655dfbf2ef5101306606db6384d2bbda30",
"gen_hash_zig": "sha256:4688fa1b6f4271aaadcb829f3f98896ca1efedef14f365df76d2ee0213bbaac4",
"module": "ShellProcess",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"spec_hash": "sha256:057d87866236087a7d96ae0fc8b6cc5211d99e16aacd540373154853fef58436",
"sealed_at": "2026-09-24T14:54:03Z",
"spec_hash": "sha256:cf75222dedc5962d97d11d39d7b684d113dca2aa2a6980d9ee06d741e315c54d",
"spec_path": "specs/shell/process.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/TestFramework.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:b787c21ef030d981a6270efd9486dd6354e608606fe900967283c1160112a03e",
"gen_hash_rust": "sha256:e117d7534ac2c36509f96cffbce99dd9a84b89bebc9d15631f6ed48b807da240",
"gen_hash_verilog": "sha256:22e9fb960dce386efaebd3676aa9598981cdf9c9e36013b9a228c13e2e32f1f2",
"gen_hash_zig": "sha256:f039c508acddf04211faad67fc51cbbdd159382b7f1a29a81169ccdc70f54b8b",
"module": "TestFramework",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"spec_hash": "sha256:83f5c5c4cb4aa9441639a9dff69bc621c4bbbc53e44252b257a9f2089fbfec00",
"sealed_at": "2026-09-24T14:54:03Z",
"spec_hash": "sha256:2c2d722efca0235f6d0735fe72990d09d352e8912d72c44cbe5daac873b81a4b",
"spec_path": "specs/test_framework/core.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/TestRunner.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:6e77244454b333ba5227bb833a8c17dbd9d32f95d90a1132c6e39eabd0e383ec",
"gen_hash_rust": "sha256:6c04254e15849f6d109028d0c33dbbf5b70a0cb78c5a67cbb9883839a9ddcb2b",
"gen_hash_verilog": "sha256:141814223cebf6a2de7ace2bb8553e53738cac7ea70613144749e71a421511ad",
"gen_hash_zig": "sha256:85e6b94ee909b29fe54ddb1e397c2840bd7e2b38f684b490c1cdd864e056579b",
"module": "TestRunner",
"ring": 12,
"sealed_at": "2026-08-28T00:22:25Z",
"spec_hash": "sha256:be6fbe2af8975b11dd3d39819d7729d29e3b4cc25e1c41c400784a31506cd996",
"sealed_at": "2026-09-24T14:54:04Z",
"spec_hash": "sha256:0aa5a8a217e7285a31a4caf26537df26e3ac0ee5e271d58fbb5c71e7820fb86e",
"spec_path": "specs/test_framework/runner.t27"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/Tools.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "none",
"gen_hash_rust": "none",
"gen_hash_verilog": "none",
"gen_hash_zig": "none",
"gen_hash_c": "sha256:5a14999f1192bf4bf969d8edecc4b0815fd7c62bf2cb851e34890d76b70c2e49",
"gen_hash_rust": "sha256:bdb84d0221a1715747c84259cdeb71b1c796289d360c459b419ba2ce17752279",
"gen_hash_verilog": "sha256:81e11613d363acb84549ccba26917be7dd7334118eea120e4c77aff7e145c417",
"gen_hash_zig": "sha256:25b8973c8f9778c45b720e143a7d516e1bd203e066d62b369152e1fd99167d30",
"module": "Tools",
"ring": 12,
"sealed_at": "2026-08-28T00:21:37Z",
"spec_hash": "sha256:a5795eb0f4f613be5d87942a58c5841de9e27c69414cc8bd3398aee48b6275f5",
"sealed_at": "2026-09-24T14:54:05Z",
"spec_hash": "sha256:2108b3b917d2475129badf36318c380ede4c056d9d0d8591651fba1db830f76d",
"spec_path": "specs/tools/schema.t27"
}
}
Loading
Loading