Skip to content

lexer: \xNN in a string lowers to one byte, and every backend writes the byte back #10812

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gHashTag merged 9 commits into from
Oct 19, 2026
Merged

lexer: \xNN in a string lowers to one byte, and every backend writes the byte back #10812

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
a879a77
lexer: "\xNN" in a string lowers to one byte, and every backend write…
gHashTag Oct 19, 2026
549c8ce
t27c: move the compiler.rs seal for the \xNN lexer change (refs #10793)
gHashTag Oct 19, 2026
47e0271
string_escapes.t27: read the literals through a call so the asserts r…
gHashTag Oct 19, 2026
a850114
seals: refresh TriLogging and TriTerminal, add StringEscapes (refs #1…
gHashTag Oct 19, 2026
d23a111
seals: reseal 28 specs whose non-ASCII string literals now keep their…
gHashTag Oct 19, 2026
2e1818e
Merge master into fix/lexer-xnn-escape-10793
gHashTag Oct 19, 2026
d7374e1
seals: reseal the three specs master changed under the merge (refs #1…
gHashTag Oct 19, 2026
ac3f5ae
t27b: a string literal is one byte per char of the lexeme (refs #10793)
gHashTag Oct 19, 2026
06a60aa
t27b ledger: list specs/compiler/string_escapes.t27 as pass (refs #10…
gHashTag Oct 19, 2026
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
10 changes: 5 additions & 5 deletions .trinity/seals/MAC_Testbench.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:b76b8de04cd855f1bfaa5d9573d615c152df042a6a52c233c0fa8f83a8ddea42",
"gen_hash_rust": "sha256:7846ed1dce2b508d8677c4e62a0516d240cd88e109e3f6eeee799928b8e55450",
"gen_hash_verilog": "sha256:9cab81dcdc6b62afe3b481d26ee1ea47ab2c776af8358624acdb6a0433f29e09",
"gen_hash_zig": "sha256:3313a2d4b4c2fb91e4bd95501d08d02dfa284d1f4c96996f47fb354ecc264193",
"gen_hash_c": "sha256:7d669dbf7f4bab654f68ebdaa0e7cc83fdec1c770ce2904b1598f2c9a39971ea",
"gen_hash_rust": "sha256:256004d973046f9dd48727a33c9fc440780fe663ee7f0fcbfb8a2f2f72bb046d",
"gen_hash_verilog": "sha256:5efa2b177da89ebb37656627521e1e75bbe49778b8e98bb627dae3439bec0006",
"gen_hash_zig": "sha256:726abffae8d0dd6d4785dea768c6306944df37978396b9fcc7eb67ca4ac46104",
"module": "MAC_Testbench",
"ring": 12,
"sealed_at": "2026-10-11T10:43:12Z",
"sealed_at": "2026-10-19T03:12:27Z",
"spec_hash": "sha256:af060b6e5cdb2ffe1de0a47995b2c621139367174cf85237d8217aa929af10f7",
"spec_path": "specs/fpga/testbench/mac_tb.t27",
"tests": {
Expand Down
10 changes: 5 additions & 5 deletions .trinity/seals/PhiRatio.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:6242cb61582d3504bcaad31ad6f0b682da88c2c732f8d38e68b537e848efb655",
"gen_hash_rust": "sha256:ace5d84ffff2231d995373a7d328d3159f24874c6c1a570e7cde1692a7fcbfe3",
"gen_hash_verilog": "sha256:594ea1276e4f400e6ef0837d28734bc86371888a8f671786a6b9f96e4527348b",
"gen_hash_zig": "sha256:155fb000befdc19be1dfd39a27dd015d84dd0bc26217e7c8c8d2aeeb981baf83",
"gen_hash_c": "sha256:9931bf6463196b15f6d4a784cbd9ec7e7f68fa905e9b2c5a33c5e5cfd242cee3",
"gen_hash_rust": "sha256:2f7ca7862432251f78b9d856fc3244641de283b30cb205aa84394d0e7713168c",
"gen_hash_verilog": "sha256:6cd8098e6e47bf662b0a504059bfa848cb634d3910ae68c0d1c3ead541e319de",
"gen_hash_zig": "sha256:5e9ae13bf2a970b6c7fcdef312d9fdf09a70ff7b3b8c82806cbd468a6e8b3b55",
"module": "PhiRatio",
"ring": 12,
"sealed_at": "2026-10-11T09:24:24Z",
"sealed_at": "2026-10-19T03:12:30Z",
"spec_hash": "sha256:33e64567c76e19612918723667d2aaa3440f605197977d099a00495d532805e8",
"spec_path": "specs/numeric/phi_ratio.t27",
"tests": {
Expand Down
8 changes: 4 additions & 4 deletions .trinity/seals/PhiUniversalAttractor.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:8472d36edf5dec4584f5ef046f67c4263d7a626fea0c3805d348d5118c6b13f7",
"gen_hash_rust": "sha256:174f5703e84d6a5f8a075af931590aa5e96db47e04aedec5208ca36cd240c4ee",
"gen_hash_c": "sha256:5148e760b9f7cfbfde4ac4c5c40a0aca711fd8c4df7a87753cf4aced4544983b",
"gen_hash_rust": "sha256:c50838763d82a1a416341b853e2845272281a3dbd9863af35b28067a460f9a8d",
"gen_hash_verilog": "sha256:57cc672e29d6b8b23a4b66343155520fe6d890ffb46c38ec621e66ca6d857a5b",
"gen_hash_zig": "sha256:573639ed208d12a0a435d01243fc294812f1b8550b9b4db1e3abc32ad72be783",
"gen_hash_zig": "sha256:eeef6b5886383e5f6fdc201b7aa16eec9ba2fbb0591972380db068130c13cc61",
"module": "PhiUniversalAttractor",
"ring": 12,
"sealed_at": "2026-10-07T16:18:27Z",
"sealed_at": "2026-10-19T03:12:29Z",
"spec_hash": "sha256:0ebe9c61b2849ccae8ef607e8a3773b316cc43e2441a5d01c4a5aec6d4d162d9",
"spec_path": "specs/math/phi_universal_attractor.t27",
"tests": {
Expand Down
13 changes: 8 additions & 5 deletions .trinity/seals/SacredVerification.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,14 @@
{
"gen_hash_c": "sha256:c29f119a480a8665b9295cb240578a8fd16d40c5f3f0c09e7c04191db4fa76c3",
"gen_hash_rust": "sha256:cd01259b3081abf9024cf3f53b4690090c96446db7f3108c95026daf0a7424d8",
"gen_hash_c": "sha256:3ba9b0ce939b5e90a87a0fe5448e7cd1e40e47fce3b380737048ebfd00ecc4df",
"gen_hash_rust": "sha256:cb3e0776b6db4f0d2ec4a49f4c0b0db0f565ff2d6c9630316356c55784ce17ec",
"gen_hash_verilog": "sha256:1817097113f09289d7a347bb8b743faa39a9c6b82ab0c158a2058b0ac03e82ec",
"gen_hash_zig": "sha256:e366439ab8d4fe966acf421937ab0091f28785ea3406b523dc3a56976e54c79c",
"gen_hash_zig": "sha256:e475e54ce82077c445f43cd062754ef3e0e158087b64da1441c48f4fa9fa4f7c",
"module": "SacredVerification",
"ring": 12,
"sealed_at": "2026-09-08T14:07:51Z",
"sealed_at": "2026-10-19T03:12:31Z",
"spec_hash": "sha256:fe6ff2cc8fb17534f6cbd181a4af31750729533339cbf99889aff1a06bd09151",
"spec_path": "specs/physics/sacred_verification.t27"
"spec_path": "specs/physics/sacred_verification.t27",
"tests": {
"blocked": "does not compile: spec.zig:53:145: error: use of undeclared identifier 'EXACT'"
}
}
10 changes: 5 additions & 5 deletions .trinity/seals/TestRunner.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:6e77244454b333ba5227bb833a8c17dbd9d32f95d90a1132c6e39eabd0e383ec",
"gen_hash_rust": "sha256:3cf5c5c297683672e9884cf12118a7e5dffd72a5932ce5d7b060f07752d696b4",
"gen_hash_verilog": "sha256:bc31fb46be22b95d35b765f9e6cb02a17e045ebc2ddd68abfd1118bfaf7a728d",
"gen_hash_zig": "sha256:85e6b94ee909b29fe54ddb1e397c2840bd7e2b38f684b490c1cdd864e056579b",
"gen_hash_c": "sha256:957df15f6610d63da85f5af04cc33cd3d57d2b63ab099ad86f55414c99f9af6d",
"gen_hash_rust": "sha256:691462796d99b1782312ac451e479f09b1ce27e4a814ff1979ed4857bd84e8e9",
"gen_hash_verilog": "sha256:c0899238774459434ca98a79642a9da130ba318e9d0c1c2056069fb170381e09",
"gen_hash_zig": "sha256:a699c3841e03df32cd6cd107fd25b224572e0c21d32a91a0fae4a5fb456769e6",
"module": "TestRunner",
"ring": 12,
"sealed_at": "2026-10-11T15:13:50Z",
"sealed_at": "2026-10-19T03:34:02Z",
"spec_hash": "sha256:430bfca8d5891151528caf595b22e48b2a3a3db77bfd14eb48056cff2fe150b2",
"spec_path": "specs/test_framework/runner.t27",
"tests": {
Expand Down
10 changes: 5 additions & 5 deletions .trinity/seals/TriLogging.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:3d4df16f98e5c132da31122529db5748193ff6ae991abd3fbed9241f08c70db5",
"gen_hash_rust": "sha256:c3c7e64c99412afe2aaaad41d0de86b281e281d7670224ce1b572aa50d71297f",
"gen_hash_verilog": "sha256:ff4d69c51f98767ed6faa252f7a475825b3081054a054e37219c5fe789638709",
"gen_hash_zig": "sha256:cb57af52ef7a8f9c06298946b2fbc66de5b65b74a35af26a07e41cd47a98b5d7",
"gen_hash_c": "sha256:1fc9cbf8962cea0ccc4e860a8d5eb2a6cbfbefd233af57881d46f37595cc5fcd",
"gen_hash_rust": "sha256:aefff94dfd5e37f1cacebcff04eb9e455c3b26e6f80c92c7ec04a991fead4f87",
"gen_hash_verilog": "sha256:bf79e75aa596f57038bd07a98d90e5f8d7e2224c2b673367073ba50bf4799709",
"gen_hash_zig": "sha256:106bc512c976eb7d5d733db64236ac992246658f565385b2a5199f83267f0857",
"module": "TriLogging",
"ring": 12,
"sealed_at": "2026-10-19T01:27:35Z",
"sealed_at": "2026-10-19T03:34:03Z",
"spec_hash": "sha256:392e71d52d9e5c586f8470b1d50f860a2256f732b92e9c77951fb62417b4257f",
"spec_path": "specs/tri/utils/logging.t27",
"tests": {
Expand Down
4 changes: 2 additions & 2 deletions .trinity/seals/TriTerminal.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,9 +18,9 @@
"module": "TriTerminal",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T09:33:42Z",
"sealed_at": "2026-10-19T03:05:44Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:4eabb226c4c859104c2638c2a7b7dde4c619b934bcc3a02ccbb794c3d7b2fbdb",
"spec_hash": "sha256:2d88e2c8a12d29bfbc0817e67da0c200479928250a6020dd925523f8429c936b",
"spec_path": "specs/tri/utils/terminal.t27",
"tests": {
"failed": 0,
Expand Down
10 changes: 5 additions & 5 deletions .trinity/seals/TriToT27Converter.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:fae12bbd66f8cc967138d84f3345613e9d320c20310673c6eec499d1da7984d6",
"gen_hash_rust": "sha256:9a8a91a551c9e1f871e3ff88934e7f7a6fa11933f103394a5051243efe8f7a44",
"gen_hash_verilog": "sha256:468652e9eb6dfb81d5f458a167088ef4e71375b2f9f39a283231b9b7fb909ab1",
"gen_hash_zig": "sha256:55e31d983e2b680a954fc50a9be20e8aaf7756df0a0bc1ccd4d0fca6f5036d2f",
"gen_hash_c": "sha256:49d20b2af332f64d6ad68770b9574a61f141d469a3ab5afe2838e2dd394d53f6",
"gen_hash_rust": "sha256:8a13269b17b62698c3858f317125e533fce51c123cb8f2ef2bba633d9e6aedba",
"gen_hash_verilog": "sha256:fa33c657e278aa9acd489c7774d2a88537229c1bbdf2947750d9fe72db038343",
"gen_hash_zig": "sha256:6db73673df0a9c6d6eabf5f2b5265225f285e984a0666a81d1e306b76d2535f4",
"module": "TriToT27Converter",
"ring": 12,
"sealed_at": "2026-10-11T10:29:38Z",
"sealed_at": "2026-10-19T03:12:41Z",
"spec_hash": "sha256:15c930478ba3ea3f04a2793269bf874a32ae1842038905082a04eb9e41af0978",
"spec_path": "specs/tools/tri_to_t27_converter.t27",
"tests": {
Expand Down
12 changes: 6 additions & 6 deletions .trinity/seals/UART_Testbench.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,14 +1,14 @@
{
"gen_hash_c": "sha256:ecb4180353077decf9d986bbd04aa5ba1d7fdd2297cde21ee5151b48abf4d3b0",
"gen_hash_rust": "sha256:8e1dfd09aa471b2fb6e954146424512324a4187d2f993937f77b395b08bc7b6e",
"gen_hash_verilog": "sha256:d78a8cf66594934278057aa96d438c038d93cce08a39c7c0ff73af15e3c09430",
"gen_hash_zig": "sha256:22b1efae2e15c2c8d41541d938aa23a62513e317f7e7e54335de5baa6cfadeb1",
"gen_hash_c": "sha256:f23a99597da8bce4d54278b469237bdc69e31b538b12e278e6f196743802593b",
"gen_hash_rust": "sha256:da8ce156e6f4c1f8175464c125ac87c8302152f25153e0bee58a09c91e4caefb",
"gen_hash_verilog": "sha256:78522a7c7f317c14d01b6a06e09208f3818837112d64dd249242da9d7d250bfc",
"gen_hash_zig": "sha256:b1f0afca5981b56ed0f59e474783fc9a90e2329ae23f969c59972bb73e0eb646",
"module": "UART_Testbench",
"ring": 12,
"sealed_at": "2026-10-05T18:40:23Z",
"sealed_at": "2026-10-19T03:12:28Z",
"spec_hash": "sha256:bcdf9d0b6752e6bf13d1bbd5114f9531f8f31b06ec9bb817aa192f8d918010ad",
"spec_path": "specs/fpga/testbench/uart_tb.t27",
"tests": {
"blocked": "does not compile: /tmp/t27c-test-report-uart_tb-754468/spec.zig:60:13: error: use of undeclared identifier 'uart_tx_ready'"
"blocked": "does not compile: spec.zig:60:13: error: use of undeclared identifier 'uart_tx_ready'"
}
}
28 changes: 28 additions & 0 deletions .trinity/seals/compiler_StringEscapes.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+549c8ced5",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:a6761d5b86edce8b3a2b29cb7f6b2dacd6a490bddae00d483df8b6606baf1c86",
"gen_hash_rust": "sha256:5c4526057c98c602b778f653977cb9aab418bb17af6cc45b6bff24e2b1294b3d",
"gen_hash_verilog": "sha256:5f343991ee2043ebf23e915595e3107f9680adad3592547e19f8498799e53b70",
"gen_hash_zig": "sha256:643ca64f614f136fbe5ded7ffbc86b03cb0fecb61c9b3d943a83a8794bf0b026",
"module": "StringEscapes",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T03:05:40Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:ec4028eef6c55ff6998e9c241842f04ec6d2901a25b352ce92e7798a96741290",
"spec_path": "specs/compiler/string_escapes.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 7,
"total": 7,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
17 changes: 9 additions & 8 deletions .trinity/seals/crons_cron_trinity_brain_ci.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,15 +1,15 @@
{
"built_by": "t27c-bootstrap@0.5.2+0d573722c",
"built_by": "t27c-bootstrap@0.5.2+549c8ced5",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:13b97f2deb19e59a41304e0dd98ae1847ee36d1913b77a196e68df4b379a779c",
"gen_hash_rust": "sha256:1571591e565c8543fc782dc4e239e3a7907fe9fb9cbdb25d4cad222cb2568ee1",
"gen_hash_verilog": "sha256:f8ff13224044430c578120cfdcc4d74ca781d6862743f46ba06cfc3c631d8745",
"gen_hash_zig": "sha256:6b51a6a392b94b33f4d0f73f82940c513c15eccefa8ba3f718a1c46b45eef2dd",
"gen_hash_c": "sha256:34b9b5cde6bf35e25d66c2a4679eb951c9d9225ce9ad410d04396c01f7cff9b7",
"gen_hash_rust": "sha256:2e77c84c45d628a4e86b15ff40a202d9f1683377abcca37aba2ef77544c5d857",
"gen_hash_verilog": "sha256:fd829f0c715d500f838be12270e0b28de610263dace2ba417b2e9225ae188211",
"gen_hash_zig": "sha256:c996b2c758c24d99aa3a7f8c1d76a30172115f846604c63a33d83826a552df76",
"module": "cron_trinity_brain_ci",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-09T20:37:58Z",
"sealed_at": "2026-10-19T03:12:26Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:c53e1e54fff6eb62f70f89db9b903544127f0246f19a33d3e367d310e1ce1fb5",
"spec_path": "specs/crons/trinity-brain-ci.t27",
Expand All @@ -18,10 +18,11 @@
"failing": [],
"forced": false,
"passed": 4,
"total": 4
"total": 4,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
11 changes: 7 additions & 4 deletions .trinity/seals/github::tests::e2e_full_flow.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,14 @@
{
"gen_hash_c": "sha256:d0d0b356c3eda251411c4532840135d077f8d51a0756c02cfdb0270ad31d85e4",
"gen_hash_c": "sha256:8ff5da1678c6ac5d7e5f74e4a37d158ce8e166a9d4d9170fea7ae4a7b7861278",
"gen_hash_rust": "sha256:0a3efa9f6b1b98d56f8b026a17df711b7ebad4d177bb1ae3cfa5a7aed1791661",
"gen_hash_verilog": "sha256:a5f40a1ce38a519d6f0b1be4bde6301b5943a15721445f4ad0b015fa8e298613",
"gen_hash_zig": "sha256:fe53b4ead4715211561143d48d4e603fa0258c142fdfd4a05710020af918dfba",
"gen_hash_zig": "sha256:29666db8889f711d7eabb6c7fdb4a85323e1033aee22ed03004c839fb0f717ba",
"module": "github::tests::e2e_full_flow",
"ring": 12,
"sealed_at": "2026-10-01T14:58:35Z",
"sealed_at": "2026-10-19T03:12:29Z",
"spec_hash": "sha256:a6c009df1628597d6c964167b392aaaf2fab8c5360b421c54f31b3f9111899b4",
"spec_path": "specs/github/tests/e2e_full_flow.t27"
"spec_path": "specs/github/tests/e2e_full_flow.t27",
"tests": {
"blocked": "does not compile: spec.zig:27:19: error: use of undeclared identifier 'issues'"
}
}
28 changes: 22 additions & 6 deletions .trinity/seals/math_PhiUniversalAttractor.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,16 +1,32 @@
{
"built_by": "t27c-bootstrap@0.4.0+3d289e0f6",
"gen_hash_c": "sha256:8472d36edf5dec4584f5ef046f67c4263d7a626fea0c3805d348d5118c6b13f7",
"gen_hash_rust": "sha256:174f5703e84d6a5f8a075af931590aa5e96db47e04aedec5208ca36cd240c4ee",
"built_by": "t27c-bootstrap@0.5.2+549c8ced5",
"closure": [
{
"spec": "specs/math/constants.t27",
"spec_hash": "sha256:57187e7afda1d88167b2af0382ad7f0623aa6b269ba020a78e3ffeebba1161bb"
},
{
"spec": "specs/math/sacred_physics.t27",
"spec_hash": "sha256:6f0c02de93fc908bcae88bd48037b8b06c54efe3fc0105ab09288fb2102e74d9"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:5148e760b9f7cfbfde4ac4c5c40a0aca711fd8c4df7a87753cf4aced4544983b",
"gen_hash_rust": "sha256:c50838763d82a1a416341b853e2845272281a3dbd9863af35b28067a460f9a8d",
"gen_hash_verilog": "sha256:57cc672e29d6b8b23a4b66343155520fe6d890ffb46c38ec621e66ca6d857a5b",
"gen_hash_zig": "sha256:573639ed208d12a0a435d01243fc294812f1b8550b9b4db1e3abc32ad72be783",
"gen_hash_zig": "sha256:eeef6b5886383e5f6fdc201b7aa16eec9ba2fbb0591972380db068130c13cc61",
"module": "PhiUniversalAttractor",
"ring": 12,
"sealed_at": "2026-10-07T16:18:27Z",
"sealed_by": "t27c-bootstrap@0.4.0",
"seal_schema": 2,
"sealed_at": "2026-10-19T03:12:29Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:0ebe9c61b2849ccae8ef607e8a3773b316cc43e2441a5d01c4a5aec6d4d162d9",
"spec_path": "specs/math/phi_universal_attractor.t27",
"tests": {
"blocked": "does not compile: spec.zig:76:18: error: unused capture"
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
14 changes: 7 additions & 7 deletions .trinity/seals/numeric_PhiRatio.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{
"built_by": "t27c-bootstrap@0.5.2+99236578d",
"built_by": "t27c-bootstrap@0.5.2+549c8ced5",
"closure": [
{
"spec": "specs/math/constants.t27",
Expand All @@ -11,22 +11,22 @@
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:6242cb61582d3504bcaad31ad6f0b682da88c2c732f8d38e68b537e848efb655",
"gen_hash_rust": "sha256:ace5d84ffff2231d995373a7d328d3159f24874c6c1a570e7cde1692a7fcbfe3",
"gen_hash_verilog": "sha256:594ea1276e4f400e6ef0837d28734bc86371888a8f671786a6b9f96e4527348b",
"gen_hash_zig": "sha256:155fb000befdc19be1dfd39a27dd015d84dd0bc26217e7c8c8d2aeeb981baf83",
"gen_hash_c": "sha256:9931bf6463196b15f6d4a784cbd9ec7e7f68fa905e9b2c5a33c5e5cfd242cee3",
"gen_hash_rust": "sha256:2f7ca7862432251f78b9d856fc3244641de283b30cb205aa84394d0e7713168c",
"gen_hash_verilog": "sha256:6cd8098e6e47bf662b0a504059bfa848cb634d3910ae68c0d1c3ead541e319de",
"gen_hash_zig": "sha256:5e9ae13bf2a970b6c7fcdef312d9fdf09a70ff7b3b8c82806cbd468a6e8b3b55",
"module": "PhiRatio",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-11T09:24:24Z",
"sealed_at": "2026-10-19T03:12:30Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:33e64567c76e19612918723667d2aaa3440f605197977d099a00495d532805e8",
"spec_path": "specs/numeric/phi_ratio.t27",
"tests": {
"blocked": "does not compile: spec.zig:104:18: error: remainder division with 'i64' and 'comptime_int': signed integers and floats must use @rem or @mod"
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
32 changes: 26 additions & 6 deletions .trinity/seals/physics_SacredVerification.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,12 +1,32 @@
{
"gen_hash_c": "sha256:c29f119a480a8665b9295cb240578a8fd16d40c5f3f0c09e7c04191db4fa76c3",
"gen_hash_rust": "sha256:cd01259b3081abf9024cf3f53b4690090c96446db7f3108c95026daf0a7424d8",
"built_by": "t27c-bootstrap@0.5.2+549c8ced5",
"closure": [
{
"spec": "specs/math/constants.t27",
"spec_hash": "sha256:57187e7afda1d88167b2af0382ad7f0623aa6b269ba020a78e3ffeebba1161bb"
},
{
"spec": "specs/math/sacred_physics.t27",
"spec_hash": "sha256:6f0c02de93fc908bcae88bd48037b8b06c54efe3fc0105ab09288fb2102e74d9"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:3ba9b0ce939b5e90a87a0fe5448e7cd1e40e47fce3b380737048ebfd00ecc4df",
"gen_hash_rust": "sha256:cb3e0776b6db4f0d2ec4a49f4c0b0db0f565ff2d6c9630316356c55784ce17ec",
"gen_hash_verilog": "sha256:1817097113f09289d7a347bb8b743faa39a9c6b82ab0c158a2058b0ac03e82ec",
"gen_hash_zig": "sha256:e366439ab8d4fe966acf421937ab0091f28785ea3406b523dc3a56976e54c79c",
"gen_hash_zig": "sha256:e475e54ce82077c445f43cd062754ef3e0e158087b64da1441c48f4fa9fa4f7c",
"module": "SacredVerification",
"ring": 12,
"sealed_at": "2026-09-08T14:07:51Z",
"sealed_by": "t27c-bootstrap@0.2.0",
"seal_schema": 2,
"sealed_at": "2026-10-19T03:12:31Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:fe6ff2cc8fb17534f6cbd181a4af31750729533339cbf99889aff1a06bd09151",
"spec_path": "specs/physics/sacred_verification.t27"
"spec_path": "specs/physics/sacred_verification.t27",
"tests": {
"blocked": "does not compile: spec.zig:53:145: error: use of undeclared identifier 'EXACT'"
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
10 changes: 5 additions & 5 deletions .trinity/seals/runner.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:6e77244454b333ba5227bb833a8c17dbd9d32f95d90a1132c6e39eabd0e383ec",
"gen_hash_rust": "sha256:3cf5c5c297683672e9884cf12118a7e5dffd72a5932ce5d7b060f07752d696b4",
"gen_hash_verilog": "sha256:bc31fb46be22b95d35b765f9e6cb02a17e045ebc2ddd68abfd1118bfaf7a728d",
"gen_hash_zig": "sha256:85e6b94ee909b29fe54ddb1e397c2840bd7e2b38f684b490c1cdd864e056579b",
"gen_hash_c": "sha256:957df15f6610d63da85f5af04cc33cd3d57d2b63ab099ad86f55414c99f9af6d",
"gen_hash_rust": "sha256:691462796d99b1782312ac451e479f09b1ce27e4a814ff1979ed4857bd84e8e9",
"gen_hash_verilog": "sha256:c0899238774459434ca98a79642a9da130ba318e9d0c1c2056069fb170381e09",
"gen_hash_zig": "sha256:a699c3841e03df32cd6cd107fd25b224572e0c21d32a91a0fae4a5fb456769e6",
"module": "runner",
"ring": 12,
"sealed_at": "2026-10-11T15:13:50Z",
"sealed_at": "2026-10-19T03:34:02Z",
"spec_hash": "sha256:430bfca8d5891151528caf595b22e48b2a3a3db77bfd14eb48056cff2fe150b2",
"spec_path": "specs/test_framework/runner.t27",
"tests": {
Expand Down
Loading
Loading