diff --git a/.trinity/seals/AspSolver.json b/.trinity/seals/AspSolver.json index 61b0c0913c..150ebc32c8 100644 --- a/.trinity/seals/AspSolver.json +++ b/.trinity/seals/AspSolver.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:419cef31000fa4978e86ecf50444662ff1250c5c3df1425a39c4d4fd39082a77", "gen_hash_rust": "sha256:2a576b0a6cd7dec310e83f2b2460ee539ad9571bc557c932655e4646c2fe9334", "gen_hash_verilog": "sha256:3522743354eff4f8f1d9f03d25b7df23bc6185c4962c82e4de79098782265cd7", - "gen_hash_zig": "sha256:2b256acd2521988613d1293f620e88058f8a1d072bef6ea3e8ce3f44c8f84f15", + "gen_hash_zig": "sha256:5d3a6c05ad017e55b93383a536bec34870c76ab5d79552602613b13e0f894cc3", "module": "AspSolver", "ring": 12, - "sealed_at": "2026-10-05T18:28:30Z", + "sealed_at": "2026-10-10T13:37:48Z", "spec_hash": "sha256:d579dfd36ca9650e62f7117ec20f79610c2ba945f3b239a51f65f09c20e7f1a2", "spec_path": "specs/ar/asp_solver.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-asp_solver-580447/spec.zig:50:17: error: use of undeclared identifier 'new_proof_trace'" + "blocked": "does not compile: spec.zig:50:17: error: use of undeclared identifier 'new_proof_trace'" } } \ No newline at end of file diff --git a/.trinity/seals/Composition.json b/.trinity/seals/Composition.json index 4c2207978d..b173fb8c17 100644 --- a/.trinity/seals/Composition.json +++ b/.trinity/seals/Composition.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:6f163250f9f1a4e38072cec7a75d6540d02632b71bf1fb405f7e2f5f2b954dd4", "gen_hash_rust": "sha256:c0402405ffb95a6ef610458eb89f108a4616ea0365bb840654d59108f493d3ac", "gen_hash_verilog": "sha256:2ef760b68bf87ef33e05187e95494251dfdddd74b91dcf96bb6b5a51d78f7e1d", - "gen_hash_zig": "sha256:dab1c0dc717bd06d2fe7fef5a3d6ca4df8c82877d48d306cae8922be151b9e9f", + "gen_hash_zig": "sha256:7eff6e8a928b41f6da76be826b4d278bc5eb4d421959a2f1787ecfd160db99c8", "module": "Composition", "ring": 12, - "sealed_at": "2026-10-05T17:01:10Z", + "sealed_at": "2026-10-10T13:37:51Z", "spec_hash": "sha256:0444c57bb6c469aacd5efeaa3e69bc8a3b074a8ad3732ac9d34af0122e67a6cf", "spec_path": "specs/ar/composition.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-composition-3769901/spec.zig:58:13: error: use of undeclared identifier 'Trit'" + "blocked": "does not compile: spec.zig:58:13: error: use of undeclared identifier 'Trit'" } } \ No newline at end of file diff --git a/.trinity/seals/DatalogEngine.json b/.trinity/seals/DatalogEngine.json index 2f02fd84d5..25e49645dd 100644 --- a/.trinity/seals/DatalogEngine.json +++ b/.trinity/seals/DatalogEngine.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:cda6d81139a9034a158f2dd9c9fb2aa58dd4992915fcb29aec0f0c0b2ecd30e1", "gen_hash_rust": "sha256:1252ba97aba435163d1b2d01d98be91e112f56b1e7849c95b486ba6bda62a90f", "gen_hash_verilog": "sha256:45b43fbee960040abb2137f294bed64dfbec4316ea0def85d9c34ef48c88bee4", - "gen_hash_zig": "sha256:f134a1664c6299fbd1b050c2bec1394c7bf7cb9ee79d7dde7454290c7d4e980f", + "gen_hash_zig": "sha256:360d788f707ac0c86c992d01c39aefd39a08e303d9e4e1b8784712808d37167a", "module": "DatalogEngine", "ring": 12, - "sealed_at": "2026-10-05T18:28:30Z", + "sealed_at": "2026-10-10T13:37:53Z", "spec_hash": "sha256:83777e70a8892d002a701793b29c302748644d2b71fe71da230df85b14911cdf", "spec_path": "specs/ar/datalog_engine.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-datalog_engine-581201/spec.zig:21:18: error: use of undeclared identifier 'Trit'" + "blocked": "does not compile: spec.zig:21:18: error: use of undeclared identifier 'Trit'" } } \ No newline at end of file diff --git a/.trinity/seals/Explainability.json b/.trinity/seals/Explainability.json index f79244d43c..a18d23241d 100644 --- a/.trinity/seals/Explainability.json +++ b/.trinity/seals/Explainability.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:f0736c127540a9425b55d78d2795ed49488b496378461c38b16c0780e5785609", "gen_hash_rust": "sha256:2a61ee1a81d21bf3390a80080f3fa9e9a4be251347c38a55073ac08e77919299", "gen_hash_verilog": "sha256:f0f9fca4fd8795607c9ac572ef510888f9467aff2f64eadf8725b94993e205df", - "gen_hash_zig": "sha256:11dc7a4f8865f7db59d30ddb8bb10b8030844c737d15cdee8bb8d7636ff40ad4", + "gen_hash_zig": "sha256:af4c6593f1b92a48b017fc47dbaaac250ed53267ec30d3d4e2ae3c81a73a8de4", "module": "Explainability", "ring": 12, - "sealed_at": "2026-10-05T18:28:31Z", + "sealed_at": "2026-10-10T13:37:55Z", "spec_hash": "sha256:fa0b2c4b6213ae1664e5ede0f7277e5a92b077a8291ea69af9abda53a6346b7f", "spec_path": "specs/ar/explainability.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-explainability-581589/spec.zig:21:20: error: use of undeclared identifier 'ProofStep'" + "blocked": "does not compile: spec.zig:21:20: error: use of undeclared identifier 'ProofStep'" } } \ No newline at end of file diff --git a/.trinity/seals/FileOperations.json b/.trinity/seals/FileOperations.json index 198bf2b8e3..19766d6c69 100644 --- a/.trinity/seals/FileOperations.json +++ b/.trinity/seals/FileOperations.json @@ -2,10 +2,10 @@ "gen_hash_c": "sha256:5e10135793d7b97afe692bcefe7d86226e0ed5a587f1578b94ae56184d00ad09", "gen_hash_rust": "sha256:b3ab405acb8d3beb4c56f684095cf9048de14b5c216edcfd7feaca7aee1d6f14", "gen_hash_verilog": "sha256:98d83be7900da5403e22b5e3f9f20584ae03304c079d6765285712e7ac32ac54", - "gen_hash_zig": "sha256:c02341870714002f9e0356b33c2de5ef281941d34eceadca0da571ba26ef8b25", + "gen_hash_zig": "sha256:ffda98dd4b2a12b77971d9a285242058bd187185ba1dc0be4a5edb2467b90f16", "module": "FileOperations", "ring": 12, - "sealed_at": "2026-10-07T07:08:57Z", + "sealed_at": "2026-10-10T13:38:05Z", "spec_hash": "sha256:33bb3ea4d4fcadeca351a6dc9e9d7ad5320dd0403baedbe91cc6a37d9b6b4049", "spec_path": "specs/file/operations.t27", "tests": { diff --git a/.trinity/seals/GitDiff.json b/.trinity/seals/GitDiff.json index a9aefbfec0..d891490f04 100644 --- a/.trinity/seals/GitDiff.json +++ b/.trinity/seals/GitDiff.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:a04d8ad2e82919c0665c1d3e2ee405c478cd8a81849c8ced4f8fd3b8a1b6866d", "gen_hash_rust": "sha256:61af9398e2b82aee5154eb208453498bcb33248d16713b8629d601fb1e910235", "gen_hash_verilog": "sha256:8dbff0c5cab9e460ea58f6dd0d5cb38bbf565a8d205f37192429403fbf7eaedd", - "gen_hash_zig": "sha256:bd79f15d8c2d95c328d8beaf8c3aa7c464a397386fa55ce18da25a3668f2a878", + "gen_hash_zig": "sha256:e6f49bda547107df4f54226c5d05819d44c7fb05ba7120b943d127e8acbdb8f6", "module": "GitDiff", "ring": 12, - "sealed_at": "2026-10-05T18:40:25Z", + "sealed_at": "2026-10-10T13:38:07Z", "spec_hash": "sha256:6ba08cd0bbdecdfe3a925775aef0c93858e2ae4f888bd331ba94f01eb01a355f", "spec_path": "specs/git/diff.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-diff-754696/spec.zig:72:18: error: use of undeclared identifier 'execute_command'" + "blocked": "does not compile: spec.zig:72:18: error: use of undeclared identifier 'execute_command'" } } \ No newline at end of file diff --git a/.trinity/seals/GitStatus.json b/.trinity/seals/GitStatus.json index 688f401cc7..81e7a13650 100644 --- a/.trinity/seals/GitStatus.json +++ b/.trinity/seals/GitStatus.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:93a82304880ae7525dfd369f51762362e306931ff985ad7c807600c771a63caa", "gen_hash_rust": "sha256:77fa7f240010565407558155c2adfeac82d322e03a62c86f0e29380030a3e916", "gen_hash_verilog": "sha256:7250f53a19b5b35bffb4bc27608fd103864775dacf339bfc587aa1e53ce52c35", - "gen_hash_zig": "sha256:d17c239a09897061c0d76c97e9182aa9ec587a1b96bff3ae39e605e293248433", + "gen_hash_zig": "sha256:329a3fb8590aaa3a8706d6339dcb55e95c23221812394bfac3052ab9a3e5ca24", "module": "GitStatus", "ring": 12, - "sealed_at": "2026-10-04T08:33:07Z", + "sealed_at": "2026-10-10T13:38:08Z", "spec_hash": "sha256:9e1e97a20e573b4427cace89dbf080c0958ba6d9e607bd689828ef41f1835dca", "spec_path": "specs/git/status.t27", "tests": { - "blocked": "does not compile: /var/folders/cm/2n1qdh892xldd1rc2ly1jv8r0000gn/T/t27c-test-report-status-19612/spec.zig:21:18: error: use of undeclared identifier 'execute_command'" + "blocked": "does not compile: spec.zig:21:18: error: use of undeclared identifier 'execute_command'" } } \ No newline at end of file diff --git a/.trinity/seals/JonesTopologyDecisionGate.json b/.trinity/seals/JonesTopologyDecisionGate.json index fe34cbd8f8..88d4d2a6b4 100644 --- a/.trinity/seals/JonesTopologyDecisionGate.json +++ b/.trinity/seals/JonesTopologyDecisionGate.json @@ -2,10 +2,10 @@ "gen_hash_c": "sha256:f692906ee6bc32d5e88cc3578d39b0fb10087cb4177c2c4637d9043f7191714d", "gen_hash_rust": "sha256:728645cbb11d02e1b1bc5885a74bcba326bc2f9c5b8caa6d52802a27e45a524b", "gen_hash_verilog": "sha256:d125080cd09486de6a5bd2e57d679beb21292af116aa7de6549289f8eb11db87", - "gen_hash_zig": "sha256:72a15949c4b5cc16d87a373116808bc1f10e3839670f08ab9a8fdc5218b7370b", + "gen_hash_zig": "sha256:dd863009c43990f5e6423739f2f853bb66ac6ceb3cfa5f7025ea9e1d098bd506", "module": "JonesTopologyDecisionGate", "ring": 12, - "sealed_at": "2026-10-07T10:05:54Z", + "sealed_at": "2026-10-10T13:38:03Z", "spec_hash": "sha256:d8d386a8900862a9cbe422409e621468d5d47833e2132ea78cc775d4c316cf50", "spec_path": "specs/demos/jones_topology_decision_gate.t27", "tests": { diff --git a/.trinity/seals/JonesTopologyFilter.json b/.trinity/seals/JonesTopologyFilter.json index 3fe6586269..4dae88eb7c 100644 --- a/.trinity/seals/JonesTopologyFilter.json +++ b/.trinity/seals/JonesTopologyFilter.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:3bbf650ffb70b616857d886173126c8b076da17f0232fe59fa8cb0dbf5caea26", "gen_hash_rust": "sha256:b34c3ea63e7136690c2d13785f6fc54063d61f68641ebac82df0b03a5cf14bd4", "gen_hash_verilog": "sha256:fbfcfd427747dd7ad81f16b9095875570a98d3f79ac38e98326218deed2bbf67", - "gen_hash_zig": "sha256:0ed1789ea2b21553297cfd9d36bfe34f383122a6878a38c3d83dbb7f70181f02", + "gen_hash_zig": "sha256:9a53176b83936e608a2b74dfc9adcfb878cfc8d34e495be57b16709bd8e6227b", "module": "JonesTopologyFilter", "ring": 12, - "sealed_at": "2026-10-03T10:13:43Z", + "sealed_at": "2026-10-10T13:38:04Z", "spec_hash": "sha256:86e27ad50ebad637e99cc378a1ec836da577c6cc41b14cc98092966e30377914", "spec_path": "specs/demos/jones_topology_filter.t27", "tests": { - "blocked": "does not compile: /var/folders/jz/zcjlxjps7gs81jtkwvkbryzc0000gn/T/t27c-test-report-jones_topology_filter-5497/spec.zig:211:66: error: expected ')', found 'an identifier'" + "blocked": "does not compile: spec.zig:211:66: error: expected ')', found 'an identifier'" } } \ No newline at end of file diff --git a/.trinity/seals/ProofTrace.json b/.trinity/seals/ProofTrace.json index de24f0b648..6ae33ed528 100644 --- a/.trinity/seals/ProofTrace.json +++ b/.trinity/seals/ProofTrace.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:b2c1490a2bf55215c07841cab1f39d91e3f4887389627efc4e7732b1c2f2b2b5", "gen_hash_rust": "sha256:91e7fc6158dcb3578bd2e110e2fa6deda55030817d761d1cd034d8594162d52f", "gen_hash_verilog": "sha256:277e8f3d888b436b3386fa512f275d3994fcc40b711df9bb60d10815457e9a1d", - "gen_hash_zig": "sha256:e3aeec909789b58d6e993ead042e59695a45ce6452e6ce36785acd3bfe1f2026", + "gen_hash_zig": "sha256:ffd3277978a372167f80976728d74b5b553540eb6c475c5c9b3097566939d9b4", "module": "ProofTrace", "ring": 12, - "sealed_at": "2026-10-05T18:28:31Z", + "sealed_at": "2026-10-10T13:37:57Z", "spec_hash": "sha256:2bc144c93ba41b7bdbdcc2d72c197a508f3b44151489f790c19a71aefd6b0190", "spec_path": "specs/ar/proof_trace.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-proof_trace-581890/spec.zig:34:83: error: use of undeclared identifier 'now'" + "blocked": "does not compile: spec.zig:34:83: error: use of undeclared identifier 'now'" } } \ No newline at end of file diff --git a/.trinity/seals/Restraint.json b/.trinity/seals/Restraint.json index 6b7aa503ce..c7ee9c8e12 100644 --- a/.trinity/seals/Restraint.json +++ b/.trinity/seals/Restraint.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:0534c2aba61febcc2997bdacf7417a2d82138275df69f59a1220ba2733c77405", "gen_hash_rust": "sha256:008724838835be361b763cbf03b44030f3dc0bf3d19c3cd11a0c26c31d87f0a9", "gen_hash_verilog": "sha256:08430bcd16608114a0f6fe9d4100e1e07d60bdb5732026547ea470654ecc789a", - "gen_hash_zig": "sha256:bc9be745811d9dbb2e7cc663c493d447d02980d3e3b1225d3d3031908be92021", + "gen_hash_zig": "sha256:42b59b67852141c2d3800ed4eba41b35ca7b30cb7cc27a901deb68499b1a1c86", "module": "Restraint", "ring": 12, - "sealed_at": "2026-10-04T08:01:36Z", + "sealed_at": "2026-10-10T13:37:58Z", "spec_hash": "sha256:12dfd593370c2cc352ea1dd3c9e99356a28977bf24dbffc49de9a5dfa2f13fc8", "spec_path": "specs/ar/restraint.t27", "tests": { - "blocked": "does not compile: /var/folders/cm/2n1qdh892xldd1rc2ly1jv8r0000gn/T/t27c-test-report-restraint-54980/spec.zig:58:18: error: use of undeclared identifier 'K_UNKNOWN'" + "blocked": "does not compile: spec.zig:58:18: error: use of undeclared identifier 'K_UNKNOWN'" } } \ No newline at end of file diff --git a/.trinity/seals/ShellProcess.json b/.trinity/seals/ShellProcess.json index 0d0bb171ba..dcb34f76fd 100644 --- a/.trinity/seals/ShellProcess.json +++ b/.trinity/seals/ShellProcess.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:5ad264905831fc625c37d44004802c9c5efdfe9ffa347442ada0d928db04b46f", "gen_hash_rust": "sha256:60d1482a1e43ff8adb56c3c7eff49d4d6389d2e09ae4a14cfa8780bc3dc97539", "gen_hash_verilog": "sha256:1d35771385efa5b79126df34365589655dfbf2ef5101306606db6384d2bbda30", - "gen_hash_zig": "sha256:4688fa1b6f4271aaadcb829f3f98896ca1efedef14f365df76d2ee0213bbaac4", + "gen_hash_zig": "sha256:be2baa9226bde4f6e2127d67303923f336e82357e119100f32de3415f7fce273", "module": "ShellProcess", "ring": 12, - "sealed_at": "2026-10-04T07:51:34Z", + "sealed_at": "2026-10-10T13:38:16Z", "spec_hash": "sha256:cf75222dedc5962d97d11d39d7b684d113dca2aa2a6980d9ee06d741e315c54d", "spec_path": "specs/shell/process.t27", "tests": { - "blocked": "does not compile: /var/folders/yt/_nxm8bn90wd6y67z19vg_6bh0000gn/T/t27c-test-report-process-34663/spec.zig:23:73: error: use of undeclared identifier 'Result'" + "blocked": "does not compile: spec.zig:23:73: error: use of undeclared identifier 'Result'" } } \ No newline at end of file diff --git a/.trinity/seals/StorageMigrate.json b/.trinity/seals/StorageMigrate.json index eaa7a7b882..88613f0e5d 100644 --- a/.trinity/seals/StorageMigrate.json +++ b/.trinity/seals/StorageMigrate.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:4de635f68f6eb3b53bf1b0de7df14268d8e209d38ec0685bc8f04616cfe14c17", "gen_hash_rust": "sha256:060844562228a2de1125143f5adb3eda2fa9ad91360d4c267b11713528ff9232", "gen_hash_verilog": "sha256:aef49913466821124c67d4d2b40fbb6eeca60c4f1bffaccc1228857f5504b6f6", - "gen_hash_zig": "sha256:448c91e2eeedefac982506e2c8a6dddef13001bbfab4f7fac64f39a469e885e4", + "gen_hash_zig": "sha256:e5ac7799b5ec5d4c6bf2a9c1f86a89d0775b46b7ed97c65ad53bae8fa532b688", "module": "StorageMigrate", "ring": 12, - "sealed_at": "2026-10-05T18:41:42Z", + "sealed_at": "2026-10-10T13:38:17Z", "spec_hash": "sha256:30a5c86e9a79bd86c5c7a3d8a78c7ec3ab232dfa6290087424cefe6285af3e37", "spec_path": "specs/storage/migrate.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-migrate-762929/spec.zig:23:14: error: expected ',' after field" + "blocked": "does not compile: spec.zig:23:14: error: expected ',' after field" } } \ No newline at end of file diff --git a/.trinity/seals/TernaryLogic.json b/.trinity/seals/TernaryLogic.json index 0cb799f99a..0bc361f495 100644 --- a/.trinity/seals/TernaryLogic.json +++ b/.trinity/seals/TernaryLogic.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:4ff2a706eda7f22176cc8ab0172ead0cc4c256142cdce13090e5f94f49e226a4", "gen_hash_rust": "sha256:1e0b3747782d5aafc56888eb767a7122cf89ac61e017e677e3753ff7cf89c3f9", "gen_hash_verilog": "sha256:e0fa721d9fa0bca9980d24d20fec753e1e1b8f137290d4e6f66fd1f0a68b645c", - "gen_hash_zig": "sha256:88e273bda69507a300e605e20455a4e2a5e00c0b1b9a93c7ea7c387ef810a001", + "gen_hash_zig": "sha256:0ad57f34faff535fd20ab6ae128c09419a2cb9eaaaaef21e092e8823312c16ed", "module": "TernaryLogic", "ring": 12, - "sealed_at": "2026-10-05T15:12:55Z", + "sealed_at": "2026-10-10T13:38:00Z", "spec_hash": "sha256:b5ec763b76df588338100c414345fa9381515745e02835cc64bab92bec9a1436", "spec_path": "specs/ar/ternary_logic.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-ternary_logic-2732978/spec.zig:18:16: error: use of undeclared identifier 'Trit'" + "blocked": "does not compile: spec.zig:18:16: error: use of undeclared identifier 'Trit'" } } \ No newline at end of file diff --git a/.trinity/seals/ToolsRegistry.json b/.trinity/seals/ToolsRegistry.json index 8b62bcfcb5..c35838e1b3 100644 --- a/.trinity/seals/ToolsRegistry.json +++ b/.trinity/seals/ToolsRegistry.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:f0f24859ae937e913bf26bd7d47ee08f563cc87107fa8408009ae20e25c1fed8", "gen_hash_rust": "sha256:706d8c2d394fa0c11fef572645bddeeb57ba058ac77ef93f69b774856b0b565f", "gen_hash_verilog": "sha256:e41ace918915eeeb176b7a1d9b32aaeea7ef2f3c93f4fd9334fcd2d6ce3c027a", - "gen_hash_zig": "sha256:9022e2b532eb56e2716d71825f03d584982bdaeaa083c82eb38fdc31d244a428", + "gen_hash_zig": "sha256:9ef398d7b4a4a03c01fe9258d7ebf89fe953aeacdabb741263def7ccbb2ded2b", "module": "ToolsRegistry", "ring": 12, - "sealed_at": "2026-10-06T13:02:29Z", + "sealed_at": "2026-10-10T13:38:18Z", "spec_hash": "sha256:45bea1322d1fbc1b4fb10260d29a3c6b4d6208b51f1c457a2fb8541df6aebf2c", "spec_path": "specs/tools/registry.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-registry-3533857/spec.zig:23:59: error: use of undeclared identifier 'Result'" + "blocked": "does not compile: spec.zig:23:59: error: use of undeclared identifier 'Result'" } } \ No newline at end of file diff --git a/.trinity/seals/TriAhoCorasick.json b/.trinity/seals/TriAhoCorasick.json index b32afd9b78..f5ce2aadc4 100644 --- a/.trinity/seals/TriAhoCorasick.json +++ b/.trinity/seals/TriAhoCorasick.json @@ -2,10 +2,10 @@ "gen_hash_c": "sha256:5675e16d0c3f3f224b9c711c27dc22f35354d68f17f698699d69e4f185c0cbe2", "gen_hash_rust": "sha256:2e3fc1b5a73955f81968987e4232891969e4c20b88f77bd612a6c687c52d6d5d", "gen_hash_verilog": "sha256:9802bc7f8589907f8a867594acfa8c2ade8ba1221d258e238db36f12382b9beb", - "gen_hash_zig": "sha256:bb134a6e821d9b85267c43bcf60a92ef78707d95de59e94a98ccbd5081a87d8b", + "gen_hash_zig": "sha256:3ddc426908463a4713a133ec4c33bd601e778788dea5c1fdc4f5df0978a6e982", "module": "TriAhoCorasick", "ring": 12, - "sealed_at": "2026-10-09T23:18:30Z", + "sealed_at": "2026-10-10T13:38:20Z", "spec_hash": "sha256:77f63a000c48b767716e72ae3e8429c44f2debb2b9ce51c086cc5d0f8aa2d114", "spec_path": "specs/tri/search/aho_corasick.t27", "tests": { diff --git a/.trinity/seals/TriKdTree.json b/.trinity/seals/TriKdTree.json index 1742f095aa..bea951ebf4 100644 --- a/.trinity/seals/TriKdTree.json +++ b/.trinity/seals/TriKdTree.json @@ -2,10 +2,13 @@ "gen_hash_c": "sha256:8d1bfe9cd256ab37be7ff2c54f1ff3f814a257d0a658c5b5a65e0441d0ba58e6", "gen_hash_rust": "sha256:60a01bdf59b5a66e5962473efe5efefa2e0367d6f09932874a811f5482f2aaed", "gen_hash_verilog": "sha256:8a8716c9ea2ad004c377aee6f5a43e86004007622a609c1702e554463a41956a", - "gen_hash_zig": "sha256:17a9a42e05e1611063c020d51782f68dfd96788dc4fad6b769f0bd1927f665f0", + "gen_hash_zig": "sha256:1e7fe0888bb9252d0da40af9bc4920c7e38dbe7a635f45f0eb96e92edc577b9e", "module": "TriKdTree", "ring": 12, - "sealed_at": "2026-10-02T10:47:22Z", + "sealed_at": "2026-10-10T13:38:23Z", "spec_hash": "sha256:addfe9e2acdc781ad66b980b1cf2b231d334dcb0471eaedbf22867a32cc94748", - "spec_path": "specs/tri/trees/kd_tree.t27" + "spec_path": "specs/tri/trees/kd_tree.t27", + "tests": { + "blocked": "does not compile: spec.zig:100:9: error: local variable is never mutated" + } } \ No newline at end of file diff --git a/.trinity/seals/TriShellSort.json b/.trinity/seals/TriShellSort.json index da94d8801b..f5504883fb 100644 --- a/.trinity/seals/TriShellSort.json +++ b/.trinity/seals/TriShellSort.json @@ -2,10 +2,13 @@ "gen_hash_c": "sha256:472481a75732d4b6ab7a0d87b531031f6208c1268834e85108fcbba97ae56c0f", "gen_hash_rust": "sha256:5021aa2c065913ee5b983333489151730c354c94332a402bca5c2f74fdcde094", "gen_hash_verilog": "sha256:955626df7aed361cad9083a87e8bab9c8357b06d683f7a8122b44e7f2f919028", - "gen_hash_zig": "sha256:83684e5d06de0cab0402c0dc8f2249d8c079a2f758c8d7a835670e5ef743e424", + "gen_hash_zig": "sha256:d2b081a5b983c2933ac8a958d8e2a8746e35c72369cb2785acec1c5743b61773", "module": "TriShellSort", "ring": 12, - "sealed_at": "2026-10-02T11:02:53Z", + "sealed_at": "2026-10-10T13:38:21Z", "spec_hash": "sha256:ef2346eba9cf05d8e2ee67598fa7af0082983effe9ca9cda88ee05b1ddeac057", - "spec_path": "specs/tri/sort/shell_sort.t27" + "spec_path": "specs/tri/sort/shell_sort.t27", + "tests": { + "blocked": "does not compile: spec.zig:22:22: error: no member named 'length' in '[]i64'" + } } \ No newline at end of file diff --git a/.trinity/seals/VSAOps.json b/.trinity/seals/VSAOps.json index 203f4f56b4..6231e2dbb1 100644 --- a/.trinity/seals/VSAOps.json +++ b/.trinity/seals/VSAOps.json @@ -2,10 +2,13 @@ "gen_hash_c": "sha256:da742951bad3de16408948097ca66724ed4a81ed71acbf6c36ef81e502d0acc9", "gen_hash_rust": "sha256:e29125f3d3105509b0a1b038eb3c5d7baa2af6eaac2240057d84d24b5fe5e68e", "gen_hash_verilog": "sha256:e4be62c8876102e115ae4bdc392a5964f5d625d0b54f99f85269d76a7669745f", - "gen_hash_zig": "sha256:45c7f7a1f5b9a70440c57bd3dd3afc8d8b9c43e99d031051dc549a96622b6f48", + "gen_hash_zig": "sha256:e321a1abf5ff0fd651e88eaa6a125d91ce742cc0dee90b18bc10d807d248c178", "module": "VSAOps", "ring": 12, - "sealed_at": "2026-10-02T11:02:54Z", + "sealed_at": "2026-10-10T13:38:24Z", "spec_hash": "sha256:5f8f1e6257d4daea69a8f492f77f0531aff8d1ca955882b6bcab3d1fccbb6604", - "spec_path": "specs/vsa/ops.t27" + "spec_path": "specs/vsa/ops.t27", + "tests": { + "blocked": "does not compile: spec.zig:31:11: error: no field or member function named 'reserve' in '[]spec.Trit'" + } } \ No newline at end of file diff --git a/.trinity/seals/ar_AspSolver.json b/.trinity/seals/ar_AspSolver.json index 61b0c0913c..150ebc32c8 100644 --- a/.trinity/seals/ar_AspSolver.json +++ b/.trinity/seals/ar_AspSolver.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:419cef31000fa4978e86ecf50444662ff1250c5c3df1425a39c4d4fd39082a77", "gen_hash_rust": "sha256:2a576b0a6cd7dec310e83f2b2460ee539ad9571bc557c932655e4646c2fe9334", "gen_hash_verilog": "sha256:3522743354eff4f8f1d9f03d25b7df23bc6185c4962c82e4de79098782265cd7", - "gen_hash_zig": "sha256:2b256acd2521988613d1293f620e88058f8a1d072bef6ea3e8ce3f44c8f84f15", + "gen_hash_zig": "sha256:5d3a6c05ad017e55b93383a536bec34870c76ab5d79552602613b13e0f894cc3", "module": "AspSolver", "ring": 12, - "sealed_at": "2026-10-05T18:28:30Z", + "sealed_at": "2026-10-10T13:37:48Z", "spec_hash": "sha256:d579dfd36ca9650e62f7117ec20f79610c2ba945f3b239a51f65f09c20e7f1a2", "spec_path": "specs/ar/asp_solver.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-asp_solver-580447/spec.zig:50:17: error: use of undeclared identifier 'new_proof_trace'" + "blocked": "does not compile: spec.zig:50:17: error: use of undeclared identifier 'new_proof_trace'" } } \ No newline at end of file diff --git a/.trinity/seals/ar_Composition.json b/.trinity/seals/ar_Composition.json index 3cb0a073fb..5837251209 100644 --- a/.trinity/seals/ar_Composition.json +++ b/.trinity/seals/ar_Composition.json @@ -1,15 +1,23 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:6f163250f9f1a4e38072cec7a75d6540d02632b71bf1fb405f7e2f5f2b954dd4", "gen_hash_rust": "sha256:c0402405ffb95a6ef610458eb89f108a4616ea0365bb840654d59108f493d3ac", "gen_hash_verilog": "sha256:2ef760b68bf87ef33e05187e95494251dfdddd74b91dcf96bb6b5a51d78f7e1d", - "gen_hash_zig": "sha256:dab1c0dc717bd06d2fe7fef5a3d6ca4df8c82877d48d306cae8922be151b9e9f", + "gen_hash_zig": "sha256:7eff6e8a928b41f6da76be826b4d278bc5eb4d421959a2f1787ecfd160db99c8", "module": "composition", "ring": 12, - "sealed_at": "2026-10-05T17:01:10Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:37:51Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:0444c57bb6c469aacd5efeaa3e69bc8a3b074a8ad3732ac9d34af0122e67a6cf", "spec_path": "specs/ar/composition.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-composition-3769901/spec.zig:58:13: error: use of undeclared identifier 'Trit'" + "blocked": "does not compile: spec.zig:58:13: error: use of undeclared identifier 'Trit'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/ar_DatalogEngine.json b/.trinity/seals/ar_DatalogEngine.json index 2f02fd84d5..25e49645dd 100644 --- a/.trinity/seals/ar_DatalogEngine.json +++ b/.trinity/seals/ar_DatalogEngine.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:cda6d81139a9034a158f2dd9c9fb2aa58dd4992915fcb29aec0f0c0b2ecd30e1", "gen_hash_rust": "sha256:1252ba97aba435163d1b2d01d98be91e112f56b1e7849c95b486ba6bda62a90f", "gen_hash_verilog": "sha256:45b43fbee960040abb2137f294bed64dfbec4316ea0def85d9c34ef48c88bee4", - "gen_hash_zig": "sha256:f134a1664c6299fbd1b050c2bec1394c7bf7cb9ee79d7dde7454290c7d4e980f", + "gen_hash_zig": "sha256:360d788f707ac0c86c992d01c39aefd39a08e303d9e4e1b8784712808d37167a", "module": "DatalogEngine", "ring": 12, - "sealed_at": "2026-10-05T18:28:30Z", + "sealed_at": "2026-10-10T13:37:53Z", "spec_hash": "sha256:83777e70a8892d002a701793b29c302748644d2b71fe71da230df85b14911cdf", "spec_path": "specs/ar/datalog_engine.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-datalog_engine-581201/spec.zig:21:18: error: use of undeclared identifier 'Trit'" + "blocked": "does not compile: spec.zig:21:18: error: use of undeclared identifier 'Trit'" } } \ No newline at end of file diff --git a/.trinity/seals/ar_Explainability.json b/.trinity/seals/ar_Explainability.json index 058dbdb95e..0ced9e80ad 100644 --- a/.trinity/seals/ar_Explainability.json +++ b/.trinity/seals/ar_Explainability.json @@ -1,15 +1,28 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:f0736c127540a9425b55d78d2795ed49488b496378461c38b16c0780e5785609", "gen_hash_rust": "sha256:2a61ee1a81d21bf3390a80080f3fa9e9a4be251347c38a55073ac08e77919299", "gen_hash_verilog": "sha256:f0f9fca4fd8795607c9ac572ef510888f9467aff2f64eadf8725b94993e205df", - "gen_hash_zig": "sha256:11dc7a4f8865f7db59d30ddb8bb10b8030844c737d15cdee8bb8d7636ff40ad4", + "gen_hash_zig": "sha256:af4c6593f1b92a48b017fc47dbaaac250ed53267ec30d3d4e2ae3c81a73a8de4", "module": "explainability", "ring": 12, - "sealed_at": "2026-10-05T18:28:31Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:37:55Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:fa0b2c4b6213ae1664e5ede0f7277e5a92b077a8291ea69af9abda53a6346b7f", "spec_path": "specs/ar/explainability.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-explainability-581589/spec.zig:21:20: error: use of undeclared identifier 'ProofStep'" + "blocked": "does not compile: spec.zig:21:20: error: use of undeclared identifier 'ProofStep'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/ar_ProofTrace.json b/.trinity/seals/ar_ProofTrace.json index de24f0b648..6ae33ed528 100644 --- a/.trinity/seals/ar_ProofTrace.json +++ b/.trinity/seals/ar_ProofTrace.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:b2c1490a2bf55215c07841cab1f39d91e3f4887389627efc4e7732b1c2f2b2b5", "gen_hash_rust": "sha256:91e7fc6158dcb3578bd2e110e2fa6deda55030817d761d1cd034d8594162d52f", "gen_hash_verilog": "sha256:277e8f3d888b436b3386fa512f275d3994fcc40b711df9bb60d10815457e9a1d", - "gen_hash_zig": "sha256:e3aeec909789b58d6e993ead042e59695a45ce6452e6ce36785acd3bfe1f2026", + "gen_hash_zig": "sha256:ffd3277978a372167f80976728d74b5b553540eb6c475c5c9b3097566939d9b4", "module": "ProofTrace", "ring": 12, - "sealed_at": "2026-10-05T18:28:31Z", + "sealed_at": "2026-10-10T13:37:57Z", "spec_hash": "sha256:2bc144c93ba41b7bdbdcc2d72c197a508f3b44151489f790c19a71aefd6b0190", "spec_path": "specs/ar/proof_trace.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-proof_trace-581890/spec.zig:34:83: error: use of undeclared identifier 'now'" + "blocked": "does not compile: spec.zig:34:83: error: use of undeclared identifier 'now'" } } \ No newline at end of file diff --git a/.trinity/seals/ar_Restraint.json b/.trinity/seals/ar_Restraint.json index 0cafb53e55..3cff5474d8 100644 --- a/.trinity/seals/ar_Restraint.json +++ b/.trinity/seals/ar_Restraint.json @@ -1,15 +1,28 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:0534c2aba61febcc2997bdacf7417a2d82138275df69f59a1220ba2733c77405", "gen_hash_rust": "sha256:008724838835be361b763cbf03b44030f3dc0bf3d19c3cd11a0c26c31d87f0a9", "gen_hash_verilog": "sha256:08430bcd16608114a0f6fe9d4100e1e07d60bdb5732026547ea470654ecc789a", - "gen_hash_zig": "sha256:bc9be745811d9dbb2e7cc663c493d447d02980d3e3b1225d3d3031908be92021", + "gen_hash_zig": "sha256:42b59b67852141c2d3800ed4eba41b35ca7b30cb7cc27a901deb68499b1a1c86", "module": "restraint", "ring": 12, - "sealed_at": "2026-10-04T08:01:36Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:37:58Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:12dfd593370c2cc352ea1dd3c9e99356a28977bf24dbffc49de9a5dfa2f13fc8", "spec_path": "specs/ar/restraint.t27", "tests": { - "blocked": "does not compile: /var/folders/cm/2n1qdh892xldd1rc2ly1jv8r0000gn/T/t27c-test-report-restraint-54980/spec.zig:58:18: error: use of undeclared identifier 'K_UNKNOWN'" + "blocked": "does not compile: spec.zig:58:18: error: use of undeclared identifier 'K_UNKNOWN'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/ar_TernaryLogic.json b/.trinity/seals/ar_TernaryLogic.json index 0cb799f99a..0bc361f495 100644 --- a/.trinity/seals/ar_TernaryLogic.json +++ b/.trinity/seals/ar_TernaryLogic.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:4ff2a706eda7f22176cc8ab0172ead0cc4c256142cdce13090e5f94f49e226a4", "gen_hash_rust": "sha256:1e0b3747782d5aafc56888eb767a7122cf89ac61e017e677e3753ff7cf89c3f9", "gen_hash_verilog": "sha256:e0fa721d9fa0bca9980d24d20fec753e1e1b8f137290d4e6f66fd1f0a68b645c", - "gen_hash_zig": "sha256:88e273bda69507a300e605e20455a4e2a5e00c0b1b9a93c7ea7c387ef810a001", + "gen_hash_zig": "sha256:0ad57f34faff535fd20ab6ae128c09419a2cb9eaaaaef21e092e8823312c16ed", "module": "TernaryLogic", "ring": 12, - "sealed_at": "2026-10-05T15:12:55Z", + "sealed_at": "2026-10-10T13:38:00Z", "spec_hash": "sha256:b5ec763b76df588338100c414345fa9381515745e02835cc64bab92bec9a1436", "spec_path": "specs/ar/ternary_logic.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-ternary_logic-2732978/spec.zig:18:16: error: use of undeclared identifier 'Trit'" + "blocked": "does not compile: spec.zig:18:16: error: use of undeclared identifier 'Trit'" } } \ No newline at end of file diff --git a/.trinity/seals/ar_asp_solver.json b/.trinity/seals/ar_asp_solver.json index 5ef514c21c..a6debd55a3 100644 --- a/.trinity/seals/ar_asp_solver.json +++ b/.trinity/seals/ar_asp_solver.json @@ -1,15 +1,23 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:419cef31000fa4978e86ecf50444662ff1250c5c3df1425a39c4d4fd39082a77", "gen_hash_rust": "sha256:2a576b0a6cd7dec310e83f2b2460ee539ad9571bc557c932655e4646c2fe9334", "gen_hash_verilog": "sha256:3522743354eff4f8f1d9f03d25b7df23bc6185c4962c82e4de79098782265cd7", - "gen_hash_zig": "sha256:2b256acd2521988613d1293f620e88058f8a1d072bef6ea3e8ce3f44c8f84f15", + "gen_hash_zig": "sha256:5d3a6c05ad017e55b93383a536bec34870c76ab5d79552602613b13e0f894cc3", "module": "asp_solver", "ring": 12, - "sealed_at": "2026-10-05T18:28:30Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:37:48Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:d579dfd36ca9650e62f7117ec20f79610c2ba945f3b239a51f65f09c20e7f1a2", "spec_path": "specs/ar/asp_solver.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-asp_solver-580447/spec.zig:50:17: error: use of undeclared identifier 'new_proof_trace'" + "blocked": "does not compile: spec.zig:50:17: error: use of undeclared identifier 'new_proof_trace'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/ar_coa_planning.json b/.trinity/seals/ar_coa_planning.json index 21cc2a7a26..de340e9355 100644 --- a/.trinity/seals/ar_coa_planning.json +++ b/.trinity/seals/ar_coa_planning.json @@ -1,15 +1,28 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:a0df52015ccbc3a6d0b15c63b38167048a6a9c064b0a72be91471e186df7dc6d", "gen_hash_rust": "sha256:1683eb291004d169425a3e20acfcc5d61fde548c34102d0c541d81e0f392f21c", "gen_hash_verilog": "sha256:6e447f83bc21a6c01489c81b50ffd5701049f266d37eb235fa28bf96809abd48", - "gen_hash_zig": "sha256:9db28c83fba50f8bf391536e238ba19e24d522f47032ac46e6cfbe2aba5cd8ad", + "gen_hash_zig": "sha256:f1ee4a24881f02dc620439ccd7aa6da9e677a2724985585c4fa95d9ca8314688", "module": "coa_planning", "ring": 12, - "sealed_at": "2026-10-05T18:28:30Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:37:50Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:7fc854dc01beaf32f9578e657817520cb7c1e548523bba82d413df2ec29de345", "spec_path": "specs/ar/coa_planning.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-coa_planning-580889/spec.zig:38:20: error: use of undeclared identifier 'ProofStep'" + "blocked": "does not compile: spec.zig:38:20: error: use of undeclared identifier 'ProofStep'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/ar_datalog_engine.json b/.trinity/seals/ar_datalog_engine.json index 301bd633f7..8e6ef19798 100644 --- a/.trinity/seals/ar_datalog_engine.json +++ b/.trinity/seals/ar_datalog_engine.json @@ -1,15 +1,23 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:cda6d81139a9034a158f2dd9c9fb2aa58dd4992915fcb29aec0f0c0b2ecd30e1", "gen_hash_rust": "sha256:1252ba97aba435163d1b2d01d98be91e112f56b1e7849c95b486ba6bda62a90f", "gen_hash_verilog": "sha256:45b43fbee960040abb2137f294bed64dfbec4316ea0def85d9c34ef48c88bee4", - "gen_hash_zig": "sha256:f134a1664c6299fbd1b050c2bec1394c7bf7cb9ee79d7dde7454290c7d4e980f", + "gen_hash_zig": "sha256:360d788f707ac0c86c992d01c39aefd39a08e303d9e4e1b8784712808d37167a", "module": "datalog_engine", "ring": 12, - "sealed_at": "2026-10-05T18:28:30Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:37:53Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:83777e70a8892d002a701793b29c302748644d2b71fe71da230df85b14911cdf", "spec_path": "specs/ar/datalog_engine.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-datalog_engine-581201/spec.zig:21:18: error: use of undeclared identifier 'Trit'" + "blocked": "does not compile: spec.zig:21:18: error: use of undeclared identifier 'Trit'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/ar_proof_trace.json b/.trinity/seals/ar_proof_trace.json index e2e75f3d46..551665d95a 100644 --- a/.trinity/seals/ar_proof_trace.json +++ b/.trinity/seals/ar_proof_trace.json @@ -1,15 +1,28 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:b2c1490a2bf55215c07841cab1f39d91e3f4887389627efc4e7732b1c2f2b2b5", "gen_hash_rust": "sha256:91e7fc6158dcb3578bd2e110e2fa6deda55030817d761d1cd034d8594162d52f", "gen_hash_verilog": "sha256:277e8f3d888b436b3386fa512f275d3994fcc40b711df9bb60d10815457e9a1d", - "gen_hash_zig": "sha256:e3aeec909789b58d6e993ead042e59695a45ce6452e6ce36785acd3bfe1f2026", + "gen_hash_zig": "sha256:ffd3277978a372167f80976728d74b5b553540eb6c475c5c9b3097566939d9b4", "module": "proof_trace", "ring": 12, - "sealed_at": "2026-10-05T18:28:31Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:37:57Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:2bc144c93ba41b7bdbdcc2d72c197a508f3b44151489f790c19a71aefd6b0190", "spec_path": "specs/ar/proof_trace.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-proof_trace-581890/spec.zig:34:83: error: use of undeclared identifier 'now'" + "blocked": "does not compile: spec.zig:34:83: error: use of undeclared identifier 'now'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/ar_ternary_logic.json b/.trinity/seals/ar_ternary_logic.json index 915e969a3b..e90bdf1d9c 100644 --- a/.trinity/seals/ar_ternary_logic.json +++ b/.trinity/seals/ar_ternary_logic.json @@ -1,15 +1,23 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:4ff2a706eda7f22176cc8ab0172ead0cc4c256142cdce13090e5f94f49e226a4", "gen_hash_rust": "sha256:1e0b3747782d5aafc56888eb767a7122cf89ac61e017e677e3753ff7cf89c3f9", "gen_hash_verilog": "sha256:e0fa721d9fa0bca9980d24d20fec753e1e1b8f137290d4e6f66fd1f0a68b645c", - "gen_hash_zig": "sha256:88e273bda69507a300e605e20455a4e2a5e00c0b1b9a93c7ea7c387ef810a001", + "gen_hash_zig": "sha256:0ad57f34faff535fd20ab6ae128c09419a2cb9eaaaaef21e092e8823312c16ed", "module": "ternary_logic", "ring": 12, - "sealed_at": "2026-10-05T15:12:55Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:00Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:b5ec763b76df588338100c414345fa9381515745e02835cc64bab92bec9a1436", "spec_path": "specs/ar/ternary_logic.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-ternary_logic-2732978/spec.zig:18:16: error: use of undeclared identifier 'Trit'" + "blocked": "does not compile: spec.zig:18:16: error: use of undeclared identifier 'Trit'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/asp_solver.json b/.trinity/seals/asp_solver.json index d7fd8e4574..bd167f81b6 100644 --- a/.trinity/seals/asp_solver.json +++ b/.trinity/seals/asp_solver.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:419cef31000fa4978e86ecf50444662ff1250c5c3df1425a39c4d4fd39082a77", "gen_hash_rust": "sha256:2a576b0a6cd7dec310e83f2b2460ee539ad9571bc557c932655e4646c2fe9334", "gen_hash_verilog": "sha256:3522743354eff4f8f1d9f03d25b7df23bc6185c4962c82e4de79098782265cd7", - "gen_hash_zig": "sha256:2b256acd2521988613d1293f620e88058f8a1d072bef6ea3e8ce3f44c8f84f15", + "gen_hash_zig": "sha256:5d3a6c05ad017e55b93383a536bec34870c76ab5d79552602613b13e0f894cc3", "module": "asp_solver", "ring": 12, - "sealed_at": "2026-10-05T18:28:30Z", + "sealed_at": "2026-10-10T13:37:48Z", "spec_hash": "sha256:d579dfd36ca9650e62f7117ec20f79610c2ba945f3b239a51f65f09c20e7f1a2", "spec_path": "specs/ar/asp_solver.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-asp_solver-580447/spec.zig:50:17: error: use of undeclared identifier 'new_proof_trace'" + "blocked": "does not compile: spec.zig:50:17: error: use of undeclared identifier 'new_proof_trace'" } } \ No newline at end of file diff --git a/.trinity/seals/coa_planning.json b/.trinity/seals/coa_planning.json index f2f1a1b831..a7037c4ad0 100644 --- a/.trinity/seals/coa_planning.json +++ b/.trinity/seals/coa_planning.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:a0df52015ccbc3a6d0b15c63b38167048a6a9c064b0a72be91471e186df7dc6d", "gen_hash_rust": "sha256:1683eb291004d169425a3e20acfcc5d61fde548c34102d0c541d81e0f392f21c", "gen_hash_verilog": "sha256:6e447f83bc21a6c01489c81b50ffd5701049f266d37eb235fa28bf96809abd48", - "gen_hash_zig": "sha256:9db28c83fba50f8bf391536e238ba19e24d522f47032ac46e6cfbe2aba5cd8ad", + "gen_hash_zig": "sha256:f1ee4a24881f02dc620439ccd7aa6da9e677a2724985585c4fa95d9ca8314688", "module": "coa_planning", "ring": 12, - "sealed_at": "2026-10-05T18:28:30Z", + "sealed_at": "2026-10-10T13:37:50Z", "spec_hash": "sha256:7fc854dc01beaf32f9578e657817520cb7c1e548523bba82d413df2ec29de345", "spec_path": "specs/ar/coa_planning.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-coa_planning-580889/spec.zig:38:20: error: use of undeclared identifier 'ProofStep'" + "blocked": "does not compile: spec.zig:38:20: error: use of undeclared identifier 'ProofStep'" } } \ No newline at end of file diff --git a/.trinity/seals/compiler-mod-structure.json b/.trinity/seals/compiler-mod-structure.json index 69522f73e7..b5739fd41a 100644 --- a/.trinity/seals/compiler-mod-structure.json +++ b/.trinity/seals/compiler-mod-structure.json @@ -2,10 +2,13 @@ "gen_hash_c": "sha256:f26486e89b5478ec6a7828b107c292739afdb962cdcce437288f710e37043157", "gen_hash_rust": "sha256:f0ce55adeadfd38dfe0005100408d4cae805365114ca03c17bff49b817f6d8aa", "gen_hash_verilog": "sha256:b6f64c6ed5fdfd0fd9ab6b0ff98b79bf4ba7afc065bbf425eef913412011cf61", - "gen_hash_zig": "sha256:451d196536df6b993b3cf7b58d62f9c22685557e1486a80310a346d01523a089", + "gen_hash_zig": "sha256:a4fcaeee067ba884bb685438debc7008e521a5e5c1b26988a5a9078b85dd3915", "module": "compiler-mod-structure", "ring": 12, - "sealed_at": "2026-10-02T14:07:09Z", + "sealed_at": "2026-10-10T13:38:02Z", "spec_hash": "sha256:2d69aaccc542ecea386768167a73caf9b2f5c84c46efdee61f074a9732dddea2", - "spec_path": "specs/compiler/mod_structure.t27" + "spec_path": "specs/compiler/mod_structure.t27", + "tests": { + "blocked": "does not compile: spec.zig:40:12: error: no field or member function named 'append' in '[]spec.ModuleEntry'" + } } \ No newline at end of file diff --git a/.trinity/seals/compiler_compiler-mod-structure.json b/.trinity/seals/compiler_compiler-mod-structure.json index 086bdc6c64..178db2e4e1 100644 --- a/.trinity/seals/compiler_compiler-mod-structure.json +++ b/.trinity/seals/compiler_compiler-mod-structure.json @@ -1,12 +1,28 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/math/sacred_physics.t27", + "spec_hash": "sha256:6f0c02de93fc908bcae88bd48037b8b06c54efe3fc0105ab09288fb2102e74d9" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:f26486e89b5478ec6a7828b107c292739afdb962cdcce437288f710e37043157", "gen_hash_rust": "sha256:f0ce55adeadfd38dfe0005100408d4cae805365114ca03c17bff49b817f6d8aa", "gen_hash_verilog": "sha256:b6f64c6ed5fdfd0fd9ab6b0ff98b79bf4ba7afc065bbf425eef913412011cf61", - "gen_hash_zig": "sha256:451d196536df6b993b3cf7b58d62f9c22685557e1486a80310a346d01523a089", + "gen_hash_zig": "sha256:a4fcaeee067ba884bb685438debc7008e521a5e5c1b26988a5a9078b85dd3915", "module": "compiler-mod-structure", "ring": 12, - "sealed_at": "2026-10-02T14:07:09Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:02Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:2d69aaccc542ecea386768167a73caf9b2f5c84c46efdee61f074a9732dddea2", - "spec_path": "specs/compiler/mod_structure.t27" + "spec_path": "specs/compiler/mod_structure.t27", + "tests": { + "blocked": "does not compile: spec.zig:40:12: error: no field or member function named 'append' in '[]spec.ModuleEntry'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" + } } \ No newline at end of file diff --git a/.trinity/seals/datalog_engine.json b/.trinity/seals/datalog_engine.json index 25efddeac2..e8b18a25b9 100644 --- a/.trinity/seals/datalog_engine.json +++ b/.trinity/seals/datalog_engine.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:cda6d81139a9034a158f2dd9c9fb2aa58dd4992915fcb29aec0f0c0b2ecd30e1", "gen_hash_rust": "sha256:1252ba97aba435163d1b2d01d98be91e112f56b1e7849c95b486ba6bda62a90f", "gen_hash_verilog": "sha256:45b43fbee960040abb2137f294bed64dfbec4316ea0def85d9c34ef48c88bee4", - "gen_hash_zig": "sha256:f134a1664c6299fbd1b050c2bec1394c7bf7cb9ee79d7dde7454290c7d4e980f", + "gen_hash_zig": "sha256:360d788f707ac0c86c992d01c39aefd39a08e303d9e4e1b8784712808d37167a", "module": "datalog_engine", "ring": 12, - "sealed_at": "2026-10-05T18:28:30Z", + "sealed_at": "2026-10-10T13:37:53Z", "spec_hash": "sha256:83777e70a8892d002a701793b29c302748644d2b71fe71da230df85b14911cdf", "spec_path": "specs/ar/datalog_engine.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-datalog_engine-581201/spec.zig:21:18: error: use of undeclared identifier 'Trit'" + "blocked": "does not compile: spec.zig:21:18: error: use of undeclared identifier 'Trit'" } } \ No newline at end of file diff --git a/.trinity/seals/demos_JonesTopologyDecisionGate.json b/.trinity/seals/demos_JonesTopologyDecisionGate.json index 3c5b473bb7..fb7ea7bb74 100644 --- a/.trinity/seals/demos_JonesTopologyDecisionGate.json +++ b/.trinity/seals/demos_JonesTopologyDecisionGate.json @@ -1,16 +1,40 @@ { - "built_by": "t27c-bootstrap@0.4.0+455a579fd", + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + }, + { + "spec": "specs/demos/jones_topology_filter.t27", + "spec_hash": "sha256:86e27ad50ebad637e99cc378a1ec836da577c6cc41b14cc98092966e30377914" + }, + { + "spec": "specs/math/constants.t27", + "spec_hash": "sha256:57187e7afda1d88167b2af0382ad7f0623aa6b269ba020a78e3ffeebba1161bb" + }, + { + "spec": "specs/vsa/ops.t27", + "spec_hash": "sha256:5f8f1e6257d4daea69a8f492f77f0531aff8d1ca955882b6bcab3d1fccbb6604" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:f692906ee6bc32d5e88cc3578d39b0fb10087cb4177c2c4637d9043f7191714d", "gen_hash_rust": "sha256:728645cbb11d02e1b1bc5885a74bcba326bc2f9c5b8caa6d52802a27e45a524b", "gen_hash_verilog": "sha256:d125080cd09486de6a5bd2e57d679beb21292af116aa7de6549289f8eb11db87", - "gen_hash_zig": "sha256:72a15949c4b5cc16d87a373116808bc1f10e3839670f08ab9a8fdc5218b7370b", + "gen_hash_zig": "sha256:dd863009c43990f5e6423739f2f853bb66ac6ceb3cfa5f7025ea9e1d098bd506", "module": "JonesTopologyDecisionGate", "ring": 12, - "sealed_at": "2026-10-07T10:05:54Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:03Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:d8d386a8900862a9cbe422409e621468d5d47833e2132ea78cc775d4c316cf50", "spec_path": "specs/demos/jones_topology_decision_gate.t27", "tests": { "blocked": "does not compile: spec.zig:131:17: error: use of undeclared identifier 'vsa'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/demos_JonesTopologyFilter.json b/.trinity/seals/demos_JonesTopologyFilter.json index 9c75d92e45..7182d935a0 100644 --- a/.trinity/seals/demos_JonesTopologyFilter.json +++ b/.trinity/seals/demos_JonesTopologyFilter.json @@ -1,15 +1,44 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + }, + { + "spec": "specs/math/constants.t27", + "spec_hash": "sha256:57187e7afda1d88167b2af0382ad7f0623aa6b269ba020a78e3ffeebba1161bb" + }, + { + "spec": "specs/math/sacred_physics.t27", + "spec_hash": "sha256:6f0c02de93fc908bcae88bd48037b8b06c54efe3fc0105ab09288fb2102e74d9" + }, + { + "spec": "specs/physics/su2_chern_simons.t27", + "spec_hash": "sha256:f9f0164dee0c7fe1ce07cabf8eaf51af9474fc2c64e1469c04741a5c2872b770" + }, + { + "spec": "specs/vsa/ops.t27", + "spec_hash": "sha256:5f8f1e6257d4daea69a8f492f77f0531aff8d1ca955882b6bcab3d1fccbb6604" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:3bbf650ffb70b616857d886173126c8b076da17f0232fe59fa8cb0dbf5caea26", "gen_hash_rust": "sha256:b34c3ea63e7136690c2d13785f6fc54063d61f68641ebac82df0b03a5cf14bd4", "gen_hash_verilog": "sha256:fbfcfd427747dd7ad81f16b9095875570a98d3f79ac38e98326218deed2bbf67", - "gen_hash_zig": "sha256:0ed1789ea2b21553297cfd9d36bfe34f383122a6878a38c3d83dbb7f70181f02", + "gen_hash_zig": "sha256:9a53176b83936e608a2b74dfc9adcfb878cfc8d34e495be57b16709bd8e6227b", "module": "JonesTopologyFilter", "ring": 12, - "sealed_at": "2026-10-03T10:13:43Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:04Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:86e27ad50ebad637e99cc378a1ec836da577c6cc41b14cc98092966e30377914", "spec_path": "specs/demos/jones_topology_filter.t27", "tests": { - "blocked": "does not compile: /var/folders/jz/zcjlxjps7gs81jtkwvkbryzc0000gn/T/t27c-test-report-jones_topology_filter-5497/spec.zig:211:66: error: expected ')', found 'an identifier'" + "blocked": "does not compile: spec.zig:211:66: error: expected ')', found 'an identifier'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/file_FileOperations.json b/.trinity/seals/file_FileOperations.json index e38ea8fbc6..d73de3d754 100644 --- a/.trinity/seals/file_FileOperations.json +++ b/.trinity/seals/file_FileOperations.json @@ -1,16 +1,32 @@ { - "built_by": "t27c-bootstrap@0.4.0+dd37f526e", + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + }, + { + "spec": "specs/file/schema.t27", + "spec_hash": "sha256:468c0d05fb6430308005b43d183c3070421c754cdf83fef8e76f36c8ed0ed2f9" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:5e10135793d7b97afe692bcefe7d86226e0ed5a587f1578b94ae56184d00ad09", "gen_hash_rust": "sha256:b3ab405acb8d3beb4c56f684095cf9048de14b5c216edcfd7feaca7aee1d6f14", "gen_hash_verilog": "sha256:98d83be7900da5403e22b5e3f9f20584ae03304c079d6765285712e7ac32ac54", - "gen_hash_zig": "sha256:c02341870714002f9e0356b33c2de5ef281941d34eceadca0da571ba26ef8b25", + "gen_hash_zig": "sha256:ffda98dd4b2a12b77971d9a285242058bd187185ba1dc0be4a5edb2467b90f16", "module": "FileOperations", "ring": 12, - "sealed_at": "2026-10-07T07:08:57Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:05Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:33bb3ea4d4fcadeca351a6dc9e9d7ad5320dd0403baedbe91cc6a37d9b6b4049", "spec_path": "specs/file/operations.t27", "tests": { "blocked": "does not compile: spec.zig:20:46: error: use of undeclared identifier 'Result'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/forward_pass.json b/.trinity/seals/forward_pass.json index a2ff2ed5ac..ceb127aec5 100644 --- a/.trinity/seals/forward_pass.json +++ b/.trinity/seals/forward_pass.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:be6168c31bbe01c6ded8cae01f789135c493364a95197e9458950588423f0e91", "gen_hash_rust": "sha256:d781387e7ed64dbf5b4a2211f0c7acaebcf55cd107b0b4dca3666e7d30508280", "gen_hash_verilog": "sha256:0409c3256a6ba67e31e99ccbd720aaed2d3734405ac543361ed71c124dd69126", - "gen_hash_zig": "sha256:49deadfad86632e739c7c53b18dace9b6059ca3d227ed456f8552e2e8b799562", + "gen_hash_zig": "sha256:656543a7d4df6862fb0495fe2407edd7549aad6c755ae38958965f0ef45d7bf3", "module": "forward_pass", "ring": 12, - "sealed_at": "2026-10-07T07:09:13Z", + "sealed_at": "2026-10-10T13:38:09Z", "spec_hash": "sha256:6099b2065543360ad54faefef4355b155972af956869391f561c397f6d03244d", "spec_path": "specs/neural/forward_pass.t27", "tests": { - "blocked": "does not compile: spec.zig:46:37: error: expected ']', found ';'" + "blocked": "does not compile: spec.zig:39:37: error: expected ']', found ';'" } } \ No newline at end of file diff --git a/.trinity/seals/git_GitDiff.json b/.trinity/seals/git_GitDiff.json index 58e935bce3..3bbb566275 100644 --- a/.trinity/seals/git_GitDiff.json +++ b/.trinity/seals/git_GitDiff.json @@ -1,15 +1,32 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + }, + { + "spec": "specs/git/schema.t27", + "spec_hash": "sha256:bf23173a297d24d495bc24dd8cfd662f81832366cf140b1ae507fe084afec95d" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:a04d8ad2e82919c0665c1d3e2ee405c478cd8a81849c8ced4f8fd3b8a1b6866d", "gen_hash_rust": "sha256:61af9398e2b82aee5154eb208453498bcb33248d16713b8629d601fb1e910235", "gen_hash_verilog": "sha256:8dbff0c5cab9e460ea58f6dd0d5cb38bbf565a8d205f37192429403fbf7eaedd", - "gen_hash_zig": "sha256:bd79f15d8c2d95c328d8beaf8c3aa7c464a397386fa55ce18da25a3668f2a878", + "gen_hash_zig": "sha256:e6f49bda547107df4f54226c5d05819d44c7fb05ba7120b943d127e8acbdb8f6", "module": "GitDiff", "ring": 12, - "sealed_at": "2026-10-05T18:40:25Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:07Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:6ba08cd0bbdecdfe3a925775aef0c93858e2ae4f888bd331ba94f01eb01a355f", "spec_path": "specs/git/diff.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-diff-754696/spec.zig:72:18: error: use of undeclared identifier 'execute_command'" + "blocked": "does not compile: spec.zig:72:18: error: use of undeclared identifier 'execute_command'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/git_GitStatus.json b/.trinity/seals/git_GitStatus.json index 465d4cd384..30437fd56d 100644 --- a/.trinity/seals/git_GitStatus.json +++ b/.trinity/seals/git_GitStatus.json @@ -1,15 +1,32 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + }, + { + "spec": "specs/git/schema.t27", + "spec_hash": "sha256:bf23173a297d24d495bc24dd8cfd662f81832366cf140b1ae507fe084afec95d" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:93a82304880ae7525dfd369f51762362e306931ff985ad7c807600c771a63caa", "gen_hash_rust": "sha256:77fa7f240010565407558155c2adfeac82d322e03a62c86f0e29380030a3e916", "gen_hash_verilog": "sha256:7250f53a19b5b35bffb4bc27608fd103864775dacf339bfc587aa1e53ce52c35", - "gen_hash_zig": "sha256:d17c239a09897061c0d76c97e9182aa9ec587a1b96bff3ae39e605e293248433", + "gen_hash_zig": "sha256:329a3fb8590aaa3a8706d6339dcb55e95c23221812394bfac3052ab9a3e5ca24", "module": "GitStatus", "ring": 12, - "sealed_at": "2026-10-04T08:33:07Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:08Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:9e1e97a20e573b4427cace89dbf080c0958ba6d9e607bd689828ef41f1835dca", "spec_path": "specs/git/status.t27", "tests": { - "blocked": "does not compile: /var/folders/cm/2n1qdh892xldd1rc2ly1jv8r0000gn/T/t27c-test-report-status-19612/spec.zig:21:18: error: use of undeclared identifier 'execute_command'" + "blocked": "does not compile: spec.zig:21:18: error: use of undeclared identifier 'execute_command'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/neural_forward_pass.json b/.trinity/seals/neural_forward_pass.json index 0867dd8ad8..d5d56e8382 100644 --- a/.trinity/seals/neural_forward_pass.json +++ b/.trinity/seals/neural_forward_pass.json @@ -1,16 +1,36 @@ { - "built_by": "t27c-bootstrap@0.4.0+dd37f526e", + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + }, + { + "spec": "specs/numeric/gf16.t27", + "spec_hash": "sha256:2a33d77db23966331716955924d08e30d12a3af361067da0a2c7072b7f4b7b0d" + }, + { + "spec": "specs/vsa/vsa_core.t27", + "spec_hash": "sha256:f33809d5c03c538659c4302a1069174cec116eeed6298a88fce479fa4a2ac487" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:be6168c31bbe01c6ded8cae01f789135c493364a95197e9458950588423f0e91", "gen_hash_rust": "sha256:d781387e7ed64dbf5b4a2211f0c7acaebcf55cd107b0b4dca3666e7d30508280", "gen_hash_verilog": "sha256:0409c3256a6ba67e31e99ccbd720aaed2d3734405ac543361ed71c124dd69126", - "gen_hash_zig": "sha256:49deadfad86632e739c7c53b18dace9b6059ca3d227ed456f8552e2e8b799562", + "gen_hash_zig": "sha256:656543a7d4df6862fb0495fe2407edd7549aad6c755ae38958965f0ef45d7bf3", "module": "forward_pass", "ring": 12, - "sealed_at": "2026-10-07T07:09:13Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:09Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:6099b2065543360ad54faefef4355b155972af956869391f561c397f6d03244d", "spec_path": "specs/neural/forward_pass.t27", "tests": { - "blocked": "does not compile: spec.zig:46:37: error: expected ']', found ';'" + "blocked": "does not compile: spec.zig:39:37: error: expected ']', found ';'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/portable::relay_observer.json b/.trinity/seals/portable::relay_observer.json index a7d08b5036..e063ae5de1 100644 --- a/.trinity/seals/portable::relay_observer.json +++ b/.trinity/seals/portable::relay_observer.json @@ -2,10 +2,10 @@ "gen_hash_c": "sha256:d02b79f3cf1e7980767cb71d681bf84a0a469ecef63a920bd4481540d49eb07c", "gen_hash_rust": "sha256:295fe81794b912c0881314d744b884dd2d2676679a773286163949d5286ef5ff", "gen_hash_verilog": "sha256:3e079c9ecdb0c46626d301b159ec40a69ef35b45923ca94d66dc4605e2efd01e", - "gen_hash_zig": "sha256:98e034c3d59cc91a833dcce130637de46d569af154a14203d40315e0997dcb15", + "gen_hash_zig": "sha256:fac1e769c6b877db1b229bb2c205205bb438a1557a15ffe2eb8a9d49878207df", "module": "portable::relay_observer", "ring": 12, - "sealed_at": "2026-10-08T06:15:19Z", + "sealed_at": "2026-10-10T13:38:14Z", "spec_hash": "sha256:22eb9b38f7ce6a91d5e60f5cc789b52824a928275923b7e0af500b9e98beca9e", "spec_path": "specs/portable/relay_observer.t27", "tests": { diff --git a/.trinity/seals/portable_portable::relay_observer.json b/.trinity/seals/portable_portable::relay_observer.json index a822eb0a85..0e465c6bf1 100644 --- a/.trinity/seals/portable_portable::relay_observer.json +++ b/.trinity/seals/portable_portable::relay_observer.json @@ -1,16 +1,28 @@ { - "built_by": "t27c-bootstrap@0.5.0+20d20c9d2", + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/compiler/lexer.t27", + "spec_hash": "sha256:dad76e110f828f726b197d002854b83550a7bf80a65999b6642778892f0a168a" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:d02b79f3cf1e7980767cb71d681bf84a0a469ecef63a920bd4481540d49eb07c", "gen_hash_rust": "sha256:295fe81794b912c0881314d744b884dd2d2676679a773286163949d5286ef5ff", "gen_hash_verilog": "sha256:3e079c9ecdb0c46626d301b159ec40a69ef35b45923ca94d66dc4605e2efd01e", - "gen_hash_zig": "sha256:98e034c3d59cc91a833dcce130637de46d569af154a14203d40315e0997dcb15", + "gen_hash_zig": "sha256:fac1e769c6b877db1b229bb2c205205bb438a1557a15ffe2eb8a9d49878207df", "module": "portable::relay_observer", "ring": 12, - "sealed_at": "2026-10-08T06:15:19Z", - "sealed_by": "t27c-bootstrap@0.5.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:14Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:22eb9b38f7ce6a91d5e60f5cc789b52824a928275923b7e0af500b9e98beca9e", "spec_path": "specs/portable/relay_observer.t27", "tests": { "blocked": "does not compile: spec.zig:298:65: error: expected expression, found '.'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/proof_trace.json b/.trinity/seals/proof_trace.json index 74a63150d4..97ef16427f 100644 --- a/.trinity/seals/proof_trace.json +++ b/.trinity/seals/proof_trace.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:b2c1490a2bf55215c07841cab1f39d91e3f4887389627efc4e7732b1c2f2b2b5", "gen_hash_rust": "sha256:91e7fc6158dcb3578bd2e110e2fa6deda55030817d761d1cd034d8594162d52f", "gen_hash_verilog": "sha256:277e8f3d888b436b3386fa512f275d3994fcc40b711df9bb60d10815457e9a1d", - "gen_hash_zig": "sha256:e3aeec909789b58d6e993ead042e59695a45ce6452e6ce36785acd3bfe1f2026", + "gen_hash_zig": "sha256:ffd3277978a372167f80976728d74b5b553540eb6c475c5c9b3097566939d9b4", "module": "proof_trace", "ring": 12, - "sealed_at": "2026-10-05T18:28:31Z", + "sealed_at": "2026-10-10T13:37:57Z", "spec_hash": "sha256:2bc144c93ba41b7bdbdcc2d72c197a508f3b44151489f790c19a71aefd6b0190", "spec_path": "specs/ar/proof_trace.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-proof_trace-581890/spec.zig:34:83: error: use of undeclared identifier 'now'" + "blocked": "does not compile: spec.zig:34:83: error: use of undeclared identifier 'now'" } } \ No newline at end of file diff --git a/.trinity/seals/routes_port::queen_public_leaderboard.json b/.trinity/seals/routes_port::queen_public_leaderboard.json new file mode 100644 index 0000000000..1a362424ab --- /dev/null +++ b/.trinity/seals/routes_port::queen_public_leaderboard.json @@ -0,0 +1,23 @@ +{ + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [], + "config": "gen=c,rust,verilog,zig;tests=zig", + "gen_hash_c": "sha256:0711a631ca50b15b259d24b8586591188b3bef5390138010a8ba7636a00322ed", + "gen_hash_rust": "sha256:46564b8c9d9307bd07f5ab358485370a016caea05e561e043d0d577d3d75be84", + "gen_hash_verilog": "sha256:a20212922f8e09a3b15919ad83617a2064639cf934168e54c7fe1ae0034730a7", + "gen_hash_zig": "sha256:6b765190a4e3b9f89aae44bd811668ddf22bc1247344098c9ef1795dd1a4af45", + "module": "port::queen_public_leaderboard", + "ring": 12, + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:10Z", + "sealed_by": "t27c-bootstrap@0.5.2", + "spec_hash": "sha256:c455d7ae7a64929ea559e29d4530761fd6bb00404eb1c3d4ad7834816b1d12ba", + "spec_path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-public-leaderboard.t27", + "tests": { + "blocked": "does not compile: spec.zig:23:32: error: use of undeclared identifier 'unreachable'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" + } +} \ No newline at end of file diff --git a/.trinity/seals/search_TriAhoCorasick.json b/.trinity/seals/search_TriAhoCorasick.json index 160e904bc0..43f91bb2d2 100644 --- a/.trinity/seals/search_TriAhoCorasick.json +++ b/.trinity/seals/search_TriAhoCorasick.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+6c48dbb76", + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", "closure": [ { "spec": "specs/base/types.t27", @@ -14,11 +14,11 @@ "gen_hash_c": "sha256:5675e16d0c3f3f224b9c711c27dc22f35354d68f17f698699d69e4f185c0cbe2", "gen_hash_rust": "sha256:2e3fc1b5a73955f81968987e4232891969e4c20b88f77bd612a6c687c52d6d5d", "gen_hash_verilog": "sha256:9802bc7f8589907f8a867594acfa8c2ade8ba1221d258e238db36f12382b9beb", - "gen_hash_zig": "sha256:bb134a6e821d9b85267c43bcf60a92ef78707d95de59e94a98ccbd5081a87d8b", + "gen_hash_zig": "sha256:3ddc426908463a4713a133ec4c33bd601e778788dea5c1fdc4f5df0978a6e982", "module": "TriAhoCorasick", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-09T23:18:30Z", + "sealed_at": "2026-10-10T13:38:20Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:77f63a000c48b767716e72ae3e8429c44f2debb2b9ce51c086cc5d0f8aa2d114", "spec_path": "specs/tri/search/aho_corasick.t27", diff --git a/.trinity/seals/shell_ShellProcess.json b/.trinity/seals/shell_ShellProcess.json index 5004f87a5a..0dbb5eed60 100644 --- a/.trinity/seals/shell_ShellProcess.json +++ b/.trinity/seals/shell_ShellProcess.json @@ -1,15 +1,32 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + }, + { + "spec": "specs/shell/schema.t27", + "spec_hash": "sha256:6c8c4ade7ef0dfc805fe1ad42dfb188ed8afd8d2db10bf92807c4921bde839ea" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:5ad264905831fc625c37d44004802c9c5efdfe9ffa347442ada0d928db04b46f", "gen_hash_rust": "sha256:60d1482a1e43ff8adb56c3c7eff49d4d6389d2e09ae4a14cfa8780bc3dc97539", "gen_hash_verilog": "sha256:1d35771385efa5b79126df34365589655dfbf2ef5101306606db6384d2bbda30", - "gen_hash_zig": "sha256:4688fa1b6f4271aaadcb829f3f98896ca1efedef14f365df76d2ee0213bbaac4", + "gen_hash_zig": "sha256:be2baa9226bde4f6e2127d67303923f336e82357e119100f32de3415f7fce273", "module": "ShellProcess", "ring": 12, - "sealed_at": "2026-10-04T07:51:34Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:16Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:cf75222dedc5962d97d11d39d7b684d113dca2aa2a6980d9ee06d741e315c54d", "spec_path": "specs/shell/process.t27", "tests": { - "blocked": "does not compile: /var/folders/yt/_nxm8bn90wd6y67z19vg_6bh0000gn/T/t27c-test-report-process-34663/spec.zig:23:73: error: use of undeclared identifier 'Result'" + "blocked": "does not compile: spec.zig:23:73: error: use of undeclared identifier 'Result'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/sort_TriShellSort.json b/.trinity/seals/sort_TriShellSort.json index bb0c5aaded..aa7e683673 100644 --- a/.trinity/seals/sort_TriShellSort.json +++ b/.trinity/seals/sort_TriShellSort.json @@ -1,12 +1,32 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + }, + { + "spec": "specs/math/constants.t27", + "spec_hash": "sha256:57187e7afda1d88167b2af0382ad7f0623aa6b269ba020a78e3ffeebba1161bb" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:472481a75732d4b6ab7a0d87b531031f6208c1268834e85108fcbba97ae56c0f", "gen_hash_rust": "sha256:5021aa2c065913ee5b983333489151730c354c94332a402bca5c2f74fdcde094", "gen_hash_verilog": "sha256:955626df7aed361cad9083a87e8bab9c8357b06d683f7a8122b44e7f2f919028", - "gen_hash_zig": "sha256:83684e5d06de0cab0402c0dc8f2249d8c079a2f758c8d7a835670e5ef743e424", + "gen_hash_zig": "sha256:d2b081a5b983c2933ac8a958d8e2a8746e35c72369cb2785acec1c5743b61773", "module": "TriShellSort", "ring": 12, - "sealed_at": "2026-10-02T11:02:53Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:21Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:ef2346eba9cf05d8e2ee67598fa7af0082983effe9ca9cda88ee05b1ddeac057", - "spec_path": "specs/tri/sort/shell_sort.t27" + "spec_path": "specs/tri/sort/shell_sort.t27", + "tests": { + "blocked": "does not compile: spec.zig:22:22: error: no member named 'length' in '[]i64'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" + } } \ No newline at end of file diff --git a/.trinity/seals/storage_StorageMigrate.json b/.trinity/seals/storage_StorageMigrate.json index 63dc6bf571..6f0d1f1bbe 100644 --- a/.trinity/seals/storage_StorageMigrate.json +++ b/.trinity/seals/storage_StorageMigrate.json @@ -1,15 +1,32 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + }, + { + "spec": "specs/storage/schema.t27", + "spec_hash": "sha256:d578f5119a7cf08325892829db66a22d189ced7b969be6c8dd9a1022b2e06f87" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:4de635f68f6eb3b53bf1b0de7df14268d8e209d38ec0685bc8f04616cfe14c17", "gen_hash_rust": "sha256:060844562228a2de1125143f5adb3eda2fa9ad91360d4c267b11713528ff9232", "gen_hash_verilog": "sha256:aef49913466821124c67d4d2b40fbb6eeca60c4f1bffaccc1228857f5504b6f6", - "gen_hash_zig": "sha256:448c91e2eeedefac982506e2c8a6dddef13001bbfab4f7fac64f39a469e885e4", + "gen_hash_zig": "sha256:e5ac7799b5ec5d4c6bf2a9c1f86a89d0775b46b7ed97c65ad53bae8fa532b688", "module": "StorageMigrate", "ring": 12, - "sealed_at": "2026-10-05T18:41:42Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:17Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:30a5c86e9a79bd86c5c7a3d8a78c7ec3ab232dfa6290087424cefe6285af3e37", "spec_path": "specs/storage/migrate.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-migrate-762929/spec.zig:23:14: error: expected ',' after field" + "blocked": "does not compile: spec.zig:23:14: error: expected ',' after field" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/ternary_logic.json b/.trinity/seals/ternary_logic.json index 1d030d3d74..87d841cb01 100644 --- a/.trinity/seals/ternary_logic.json +++ b/.trinity/seals/ternary_logic.json @@ -2,13 +2,13 @@ "gen_hash_c": "sha256:4ff2a706eda7f22176cc8ab0172ead0cc4c256142cdce13090e5f94f49e226a4", "gen_hash_rust": "sha256:1e0b3747782d5aafc56888eb767a7122cf89ac61e017e677e3753ff7cf89c3f9", "gen_hash_verilog": "sha256:e0fa721d9fa0bca9980d24d20fec753e1e1b8f137290d4e6f66fd1f0a68b645c", - "gen_hash_zig": "sha256:88e273bda69507a300e605e20455a4e2a5e00c0b1b9a93c7ea7c387ef810a001", + "gen_hash_zig": "sha256:0ad57f34faff535fd20ab6ae128c09419a2cb9eaaaaef21e092e8823312c16ed", "module": "ternary_logic", "ring": 12, - "sealed_at": "2026-10-05T15:12:55Z", + "sealed_at": "2026-10-10T13:38:00Z", "spec_hash": "sha256:b5ec763b76df588338100c414345fa9381515745e02835cc64bab92bec9a1436", "spec_path": "specs/ar/ternary_logic.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-ternary_logic-2732978/spec.zig:18:16: error: use of undeclared identifier 'Trit'" + "blocked": "does not compile: spec.zig:18:16: error: use of undeclared identifier 'Trit'" } } \ No newline at end of file diff --git a/.trinity/seals/tools_GftDeepDemo.json b/.trinity/seals/tools_GftDeepDemo.json index d8c9a8727c..af8a9995f9 100644 --- a/.trinity/seals/tools_GftDeepDemo.json +++ b/.trinity/seals/tools_GftDeepDemo.json @@ -1,15 +1,15 @@ { - "built_by": "t27c-bootstrap@0.5.2+c494cc5", + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:ee71cd314f24e270df25be65a6fd78e951ccff399cbe0d7b2a5a746aa72e932a", "gen_hash_rust": "sha256:504886d5f2d42720aa50543e78b07fdad53f78428eaab94c707238dcf896ddfa", "gen_hash_verilog": "sha256:4342ae4bb980ce20672917fd64438fa5f274112ff32c5da854877d9de8681d17", - "gen_hash_zig": "sha256:ead3319cf35b59dca8442597f28cbb33acafd73fb562339f38607a1dd95f01aa", + "gen_hash_zig": "sha256:87b184392b9a38b52a8fc694fa15ded7d6d94d63e0fc11e4c8a92eeba1d6e80a", "module": "GftDeepDemo", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-10T12:33:08Z", + "sealed_at": "2026-10-10T13:38:13Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:9e8d8cccd608464dda9904ab4685bc10e08ca6cc5fe2366a0ca8bc30ed05b104", "spec_path": "specs/port/tools/gft_deep_demo.t27", diff --git a/.trinity/seals/tools_Prereq.json b/.trinity/seals/tools_Prereq.json index b86bcf4379..c2fa2751c2 100644 --- a/.trinity/seals/tools_Prereq.json +++ b/.trinity/seals/tools_Prereq.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+d2c750b54", + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", "closure": [ { "spec": "specs/std/fs.t27", @@ -26,11 +26,11 @@ "gen_hash_c": "sha256:de5fa4b9bec3e6f5e8d241a29c7dc84541b53aa7d0c13252c4f5d46583b5ae34", "gen_hash_rust": "sha256:2f19fbf4d300bab49835022b920b3404a94854d827feab7ece0ebe9c7d0f774e", "gen_hash_verilog": "sha256:5b11bdae0378ce3e0880171daa60ba670ca88e367e5a5bf3b1079b37c1abe30e", - "gen_hash_zig": "sha256:74c4cabe6519cb43bb71ff2c0cfbb2b9ac90776f62fcd1f2a2ec99305b38e46b", + "gen_hash_zig": "sha256:c4d6bf8b6e1c88654cbac3819ec4867d475bbeb7b4b684ccf7abc83d54d9e8d7", "module": "Prereq", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-10T12:42:44Z", + "sealed_at": "2026-10-10T13:38:11Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:1e2718e426a840b048569a9a826ee698ee1aafdc8ea3e36acecad9955c21d5b9", "spec_path": "specs/port/tools/_prereq.t27", diff --git a/.trinity/seals/tools_ToolsRegistry.json b/.trinity/seals/tools_ToolsRegistry.json index 9e12b44d3f..0dac20f895 100644 --- a/.trinity/seals/tools_ToolsRegistry.json +++ b/.trinity/seals/tools_ToolsRegistry.json @@ -1,15 +1,32 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + }, + { + "spec": "specs/tools/schema.t27", + "spec_hash": "sha256:e120a4e8bb72fa948a01848b6b84804a43cc938bbb95fc62fd487b33ea202ee4" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:f0f24859ae937e913bf26bd7d47ee08f563cc87107fa8408009ae20e25c1fed8", "gen_hash_rust": "sha256:706d8c2d394fa0c11fef572645bddeeb57ba058ac77ef93f69b774856b0b565f", "gen_hash_verilog": "sha256:e41ace918915eeeb176b7a1d9b32aaeea7ef2f3c93f4fd9334fcd2d6ce3c027a", - "gen_hash_zig": "sha256:9022e2b532eb56e2716d71825f03d584982bdaeaa083c82eb38fdc31d244a428", + "gen_hash_zig": "sha256:9ef398d7b4a4a03c01fe9258d7ebf89fe953aeacdabb741263def7ccbb2ded2b", "module": "ToolsRegistry", "ring": 12, - "sealed_at": "2026-10-06T13:02:29Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:18Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:45bea1322d1fbc1b4fb10260d29a3c6b4d6208b51f1c457a2fb8541df6aebf2c", "spec_path": "specs/tools/registry.t27", "tests": { - "blocked": "does not compile: /tmp/t27c-test-report-registry-3533857/spec.zig:23:59: error: use of undeclared identifier 'Result'" + "blocked": "does not compile: spec.zig:23:59: error: use of undeclared identifier 'Result'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" } } \ No newline at end of file diff --git a/.trinity/seals/tools_specs::port::tools.json b/.trinity/seals/tools_specs::port::tools.json new file mode 100644 index 0000000000..4dfe2043d5 --- /dev/null +++ b/.trinity/seals/tools_specs::port::tools.json @@ -0,0 +1,23 @@ +{ + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [], + "config": "gen=c,rust,verilog,zig;tests=zig", + "gen_hash_c": "sha256:37833f490fd2a8a0d22c0f6ca2897c7ed1d07150c964777a6f0fab026818b4f2", + "gen_hash_rust": "sha256:af7b0d1c360b709814b616a08495c2b75984b7e049b1531f7af87095f9d7bdbd", + "gen_hash_verilog": "sha256:4b43e4cab64c81391b7da1670efb53c71860ace3ba6600b703243790ef607a75", + "gen_hash_zig": "sha256:988739451fbeba69b5c02cd41273fe3e1c84b612dbc6f0058559b60ce885d4fa", + "module": "specs::port::tools", + "ring": 12, + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:12Z", + "sealed_by": "t27c-bootstrap@0.5.2", + "spec_hash": "sha256:eba003a8a9c2c15421a6bc1172bd30c43f0f31439bdba57651583a4d5730311a", + "spec_path": "specs/port/tools/dedupe_identical_tests.t27", + "tests": { + "blocked": "does not compile: spec.zig:33:38: error: use of undeclared identifier 'Option'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" + } +} \ No newline at end of file diff --git a/.trinity/seals/tools_verify-trainer-c.json b/.trinity/seals/tools_verify-trainer-c.json new file mode 100644 index 0000000000..7646cd7bc8 --- /dev/null +++ b/.trinity/seals/tools_verify-trainer-c.json @@ -0,0 +1,23 @@ +{ + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [], + "config": "gen=c,rust,verilog,zig;tests=zig", + "gen_hash_c": "sha256:9e6ca8b73a238026f8bbebeb6467e90a105c54787bf1311175653c6e04504ef2", + "gen_hash_rust": "sha256:0a81c1042a1f25dfffbc1c346b709b3c31d2fab74a36a2e6f735a33d81d6ee02", + "gen_hash_verilog": "sha256:426fbf1e31964d8b60709735ef5b8490202ac4470affe3ce7c6993c2de6aae57", + "gen_hash_zig": "sha256:8237bfdaf51c4258418dd2c7876944f464de63e1ca5d6aea3c9724a7ec1283f8", + "module": "verify-trainer-c", + "ring": 12, + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:14Z", + "sealed_by": "t27c-bootstrap@0.5.2", + "spec_hash": "sha256:db92a2de20e8ad223187ee2e7374b5aa00f2b2a554c32fd6e6d4d4b9e58ed667", + "spec_path": "specs/port/tools/verify_trainer_c.t27", + "tests": { + "blocked": "does not compile: spec.zig:45:77: error: expected ')', found ','" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" + } +} \ No newline at end of file diff --git a/.trinity/seals/trees_TriKdTree.json b/.trinity/seals/trees_TriKdTree.json index 604d5dc782..1cfb976dac 100644 --- a/.trinity/seals/trees_TriKdTree.json +++ b/.trinity/seals/trees_TriKdTree.json @@ -1,12 +1,32 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + }, + { + "spec": "specs/math/constants.t27", + "spec_hash": "sha256:57187e7afda1d88167b2af0382ad7f0623aa6b269ba020a78e3ffeebba1161bb" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:8d1bfe9cd256ab37be7ff2c54f1ff3f814a257d0a658c5b5a65e0441d0ba58e6", "gen_hash_rust": "sha256:60a01bdf59b5a66e5962473efe5efefa2e0367d6f09932874a811f5482f2aaed", "gen_hash_verilog": "sha256:8a8716c9ea2ad004c377aee6f5a43e86004007622a609c1702e554463a41956a", - "gen_hash_zig": "sha256:17a9a42e05e1611063c020d51782f68dfd96788dc4fad6b769f0bd1927f665f0", + "gen_hash_zig": "sha256:1e7fe0888bb9252d0da40af9bc4920c7e38dbe7a635f45f0eb96e92edc577b9e", "module": "TriKdTree", "ring": 12, - "sealed_at": "2026-10-02T10:47:22Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:23Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:addfe9e2acdc781ad66b980b1cf2b231d334dcb0471eaedbf22867a32cc94748", - "spec_path": "specs/tri/trees/kd_tree.t27" + "spec_path": "specs/tri/trees/kd_tree.t27", + "tests": { + "blocked": "does not compile: spec.zig:100:9: error: local variable is never mutated" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" + } } \ No newline at end of file diff --git a/.trinity/seals/vsa_VSAOps.json b/.trinity/seals/vsa_VSAOps.json index f90bf7fd29..fb018a26ff 100644 --- a/.trinity/seals/vsa_VSAOps.json +++ b/.trinity/seals/vsa_VSAOps.json @@ -1,12 +1,32 @@ { + "built_by": "t27c-bootstrap@0.5.2+b8781fb75", + "closure": [ + { + "spec": "specs/base/ops.t27", + "spec_hash": "sha256:8e6c6168f64ff2d654a3b276d7f3ceee4fbd408d334590ce03467b1f3aaa68b3" + }, + { + "spec": "specs/base/types.t27", + "spec_hash": "sha256:9d02d8b1016993658e1e9748e4bc13bc4f3732535c16e3484abdaeeafcf608bc" + } + ], + "config": "gen=c,rust,verilog,zig;tests=zig", "gen_hash_c": "sha256:da742951bad3de16408948097ca66724ed4a81ed71acbf6c36ef81e502d0acc9", "gen_hash_rust": "sha256:e29125f3d3105509b0a1b038eb3c5d7baa2af6eaac2240057d84d24b5fe5e68e", "gen_hash_verilog": "sha256:e4be62c8876102e115ae4bdc392a5964f5d625d0b54f99f85269d76a7669745f", - "gen_hash_zig": "sha256:45c7f7a1f5b9a70440c57bd3dd3afc8d8b9c43e99d031051dc549a96622b6f48", + "gen_hash_zig": "sha256:e321a1abf5ff0fd651e88eaa6a125d91ce742cc0dee90b18bc10d807d248c178", "module": "VSAOps", "ring": 12, - "sealed_at": "2026-10-02T11:02:54Z", - "sealed_by": "t27c-bootstrap@0.4.0", + "seal_schema": 2, + "sealed_at": "2026-10-10T13:38:24Z", + "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:5f8f1e6257d4daea69a8f492f77f0531aff8d1ca955882b6bcab3d1fccbb6604", - "spec_path": "specs/vsa/ops.t27" + "spec_path": "specs/vsa/ops.t27", + "tests": { + "blocked": "does not compile: spec.zig:31:11: error: no field or member function named 'reserve' in '[]spec.Trit'" + }, + "toolchain": { + "test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d", + "zig": "0.16.0" + } } \ No newline at end of file diff --git a/bootstrap/src/compiler.rs b/bootstrap/src/compiler.rs index 19b50d804d..05bfc92807 100644 --- a/bootstrap/src/compiler.rs +++ b/bootstrap/src/compiler.rs @@ -9979,11 +9979,14 @@ impl Codegen { } else { None }; - match slice_elem { + // #8602: a local DECLARED `[]T` gets the `@constCast(&[_]T{...})` slice fields get; `.{...}` is no slice + let typed = Self::slice_element_type(&Self::t27_array_type_to_zig(&node.extra_type)).filter(|_| slice_elem.is_none() && node.children[0].kind == NodeKind::ExprArrayLiteral); + match slice_elem.or(typed.clone()) { Some(t) => { - self.write(&format!("[_]{}", t)); + self.write(&format!("{}[_]{}", if typed.is_some() { "@constCast(&" } else { "" }, t)); let lit = node.children[0].clone(); self.gen_array_literal_braces(&lit); + if typed.is_some() { self.write(")"); } } None => { // W624: `let n : u32 = s.len();`. Third of the diff --git a/bootstrap/stage0/FROZEN_HASH b/bootstrap/stage0/FROZEN_HASH index 91bb0ecbfa..1b97f96f7a 100644 --- a/bootstrap/stage0/FROZEN_HASH +++ b/bootstrap/stage0/FROZEN_HASH @@ -1 +1 @@ -e2e342a729fe3905c31663f198802bc0b1b2caf75c7b13de01408aa9425d66f3 bootstrap/src/compiler.rs +96f3a5f9cbd066088e1e426e7fcf95824d6083908da660ac00a9d1da14afdb98 bootstrap/src/compiler.rs diff --git a/scripts/gen_w378.py b/scripts/gen_w378.py deleted file mode 100644 index 986b4aee72..0000000000 --- a/scripts/gen_w378.py +++ /dev/null @@ -1,41 +0,0 @@ -#!/usr/bin/env python3 -"""Batch append W378 test/invariant blocks to all 27 IGLA specs.""" - -import re -from pathlib import Path - -SPECS = ( - list(Path("specs/igla/race").glob("*.t27")) + - list(Path("specs/igla/coder").glob("*.t27")) -) - - -def append_w378(path: Path) -> None: - text = path.read_text() - m = list(re.finditer(r'// Wave Loop (\d+).*?\n(invariant .*?true)\n', text, re.DOTALL)) - if not m: - print(f"SKIP {path}: no Wave Loop block found") - return - - last = m[-1] - wave = int(last.group(1)) - if wave != 377: - print(f"SKIP {path}: last wave is {wave}, expected 377") - return - - block = last.group(0) - new_block = block.replace("Wave Loop 377", "Wave Loop 378") - new_block = new_block.replace("w377_", "w378_") - new_block = new_block.replace("W376 seal regeneration", "W377 seal regeneration") - new_block = new_block.replace("after W376", "after W377") - new_block = new_block.replace("WAVE_LOOP_376_COOPERATION.md", "WAVE_LOOP_377_COOPERATION.md") - - insert_pos = last.end() - new_text = text[:insert_pos] + new_block + text[insert_pos:] - path.write_text(new_text) - print(f"APPENDED W378 to {path}") - - -if __name__ == "__main__": - for spec in sorted(SPECS): - append_w378(spec)