Skip to content

spec(port): share the duplicated CR-CHAT helpers blessed by #10098 (Closes #10159) #10161

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 1 commit into from
Oct 18, 2026
Merged

spec(port): share the duplicated CR-CHAT helpers blessed by #10098 (Closes #10159) #10161

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
21 changes: 13 additions & 8 deletions .../src_port::trios::crates::trios-chat::rings::CR-CHAT-03::src::confirmation_tag_chain.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,22 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"built_by": "t27c-bootstrap@0.5.2+18c98cc77",
"closure": [
{
"spec": "specs/port/trios/crates/trios-chat/common/helpers.t27",
"spec_hash": "sha256:3e6999616f3579026144a6b55f0297ee4479d3bba187973a2ba5f3ccb726a248"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:45ed5ea5d208cfdccde50e2fe7419d72214d1df919bd129f5e6eadf7a84d9d31",
"gen_hash_rust": "sha256:b0eae364571774fc8b95709ef1790267a69f63cc541a63800ceae8d734ff9f05",
"gen_hash_verilog": "sha256:8001536ad7d28de39107f4a9762d25aad185d455d58792e3671857858de2f658",
"gen_hash_zig": "sha256:fb893415dbbee066e1cd116eec7efa078fb08e1928edff06f78a81f1fd0f65db",
"gen_hash_c": "sha256:7c63cc2f7cb03d6b588e3b67d9ad73d402b97f100034976c3d6bb0d40bd11d2b",
"gen_hash_rust": "sha256:18991b8cec45601bf5ab1f6faf9131b883d8b7fa0962f5bef3e49fa2d84a5c44",
"gen_hash_verilog": "sha256:5b59ca6b2006a0ecaab8cf615ad6d4f32655d5c7865ed8ef4d68a969b7e55038",
"gen_hash_zig": "sha256:ad22283b3b1bdf1dbe4034f27effd3dcaacef148c022e043b7f21ea63ca0e5f9",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::confirmation_tag_chain",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T09:38:48Z",
"sealed_at": "2026-10-18T02:23:42Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:3500728eb7a78aff3650eeae8fac59b92efa60e3029d7534150c0c888ebbf373",
"spec_hash": "sha256:29aaa7e481bb6a4fcc2f7e4597bb5d0a1286e8960d75d58ebd6fd605ee7acfdc",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/confirmation_tag_chain.t27",
"tests": {
"failed": 0,
Expand Down
21 changes: 13 additions & 8 deletions ...y/seals/src_port::trios::crates::trios-chat::rings::CR-CHAT-03::src::external_commit.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,22 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"built_by": "t27c-bootstrap@0.5.2+18c98cc77",
"closure": [
{
"spec": "specs/port/trios/crates/trios-chat/common/helpers.t27",
"spec_hash": "sha256:3e6999616f3579026144a6b55f0297ee4479d3bba187973a2ba5f3ccb726a248"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:4e1947b27678d50bc018bdee7803e4cf17f599196cc936d55d23e0218f96b0c7",
"gen_hash_rust": "sha256:e0ba8b7e0a6c86c9db17db693961dd37b32fa60ab86f0ced043fad187dfb76bd",
"gen_hash_verilog": "sha256:d1423aca38c9e0d92cc0199b356d50c37cae08b81a749b2fdafc02502becf66a",
"gen_hash_zig": "sha256:fe66fa15ee3e5cd9a2446cbf81d2ced17b5e9417056ed674653a1b72adbb161a",
"gen_hash_c": "sha256:f74d1fa8be9265892d706b389349fbab325a5b0c465e6b1686a9a181abc96079",
"gen_hash_rust": "sha256:80d7514d3ad8723b6a0c7806a2bff0abba214375e9ffdcccdbeed0745373a31d",
"gen_hash_verilog": "sha256:bbd1890d0488ea0374240fb113d58c2af6fb7480a4bab04a59410aad8c9aee09",
"gen_hash_zig": "sha256:9e5fee76e8a193fcb471c198214025b712070d4545e1197ca8dd984168ae116f",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::external_commit",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T09:49:06Z",
"sealed_at": "2026-10-18T02:23:45Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:cb44d7762433ae82e6ccbd14aa32828fdd214e8012f4a9916102d393d2013f3f",
"spec_hash": "sha256:ca5f158ed9b569945bd1a0e51e65ee9ce5effc698172a46f15da77352da9fd33",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/external_commit.t27",
"tests": {
"failed": 0,
Expand Down
21 changes: 13 additions & 8 deletions ...:trios::crates::trios-chat::rings::CR-CHAT-03::src::external_proposal_origin_unbound.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,22 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"built_by": "t27c-bootstrap@0.5.2+18c98cc77",
"closure": [
{
"spec": "specs/port/trios/crates/trios-chat/common/helpers.t27",
"spec_hash": "sha256:3e6999616f3579026144a6b55f0297ee4479d3bba187973a2ba5f3ccb726a248"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:b7f025aea6bd72686d6ea52022773d5a7593380ded57883b696639d59492b292",
"gen_hash_rust": "sha256:c3797d2bc276e1927a8f45207958ce617103ca1d05c571be7c80339738c8d22a",
"gen_hash_verilog": "sha256:47c7b10322831eb4c8349b32ec7ad628108d1dfe7cf67f25754075577e87e5b9",
"gen_hash_zig": "sha256:36d8ecebe00b1c027c5869523db7a2835cd884bdd482dee80ccb864f23e7281a",
"gen_hash_c": "sha256:7168dd3b50a9a027b03b2ddb1fb569efa2f2573bbe9b0d8c868c187ecd87b317",
"gen_hash_rust": "sha256:505878806231caa7c518408d516e3f31ed6ab76e5bdae6b12bcb8c1d41f80a24",
"gen_hash_verilog": "sha256:dcc1d0c09d428bb72dd6aea662c101ebb83c47697a2e67f5183945a0060af468",
"gen_hash_zig": "sha256:e4e14099a58198a050a7d37bb3b23eb597c55aba01cd06c8d7b5e0002534c418",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::external_proposal_origin_unbound",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T10:19:43Z",
"sealed_at": "2026-10-18T02:23:45Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:54c131bf8995213b1ee19069ebdd9b6148d0315612c2d4e85f585bf4779734ba",
"spec_hash": "sha256:143d5753e3bd0fdbc05b0568403409b5862806b7c2f6eaeef5ecb9a5a53648e4",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/external_proposal_origin_unbound.t27",
"tests": {
"failed": 0,
Expand Down
21 changes: 13 additions & 8 deletions ..._port::trios::crates::trios-chat::rings::CR-CHAT-03::src::external_psk_id_provenance.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,22 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"built_by": "t27c-bootstrap@0.5.2+18c98cc77",
"closure": [
{
"spec": "specs/port/trios/crates/trios-chat/common/helpers.t27",
"spec_hash": "sha256:3e6999616f3579026144a6b55f0297ee4479d3bba187973a2ba5f3ccb726a248"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:cd4df0f77d9024757fbdf0a4dbeef7ad3c283fb9e4158e700ab990f2631f2377",
"gen_hash_rust": "sha256:7964fafce227de1d308f7cd2c7ea17f6aed767ef19f3d341555223e749644cc4",
"gen_hash_verilog": "sha256:51d3d046d2ea11c5d1600586bf2b45201d1cf39c8671354e2c48a1aece7a5a90",
"gen_hash_zig": "sha256:66b0442742caaba8ae2f6ee1f1acbb8a80ce56d91fc9fc02a9742672baebf207",
"gen_hash_c": "sha256:fefa6c7608e6ba45515c74400b654291943c47bddd7dcf7461c2964c32fba560",
"gen_hash_rust": "sha256:846211918c5e88ee1d896c48234a8ab4a6e6c49446fad411ffec3cc14a7b106b",
"gen_hash_verilog": "sha256:66cbe02804164522600967c6bf784036ea1f1a7c4831623d1928998616a4323d",
"gen_hash_zig": "sha256:0ae090509cf1cbc460dcff179affe357393207e34ba89dff6eb1e991861ed374",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::external_psk_id_provenance",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T10:33:24Z",
"sealed_at": "2026-10-18T02:23:46Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:c9d79dbc7d5c84df41ea0a89c6ba93db30d41335ec67eb040fb3b8b5f2e648b4",
"spec_hash": "sha256:d97ffcdde04e056763774186e105ee3b1b4894eaf51259c37f839ffd3f621f6a",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/external_psk_id_provenance.t27",
"tests": {
"failed": 0,
Expand Down
21 changes: 13 additions & 8 deletions ...os::crates::trios-chat::rings::CR-CHAT-03::src::group_context_hash_consistency_guard.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,22 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"built_by": "t27c-bootstrap@0.5.2+18c98cc77",
"closure": [
{
"spec": "specs/port/trios/crates/trios-chat/common/helpers.t27",
"spec_hash": "sha256:3e6999616f3579026144a6b55f0297ee4479d3bba187973a2ba5f3ccb726a248"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:efed7615593e866a8d58a128e572b3484522b6a7de92596728cb43efc0462d65",
"gen_hash_rust": "sha256:a62bfdeef672f25f4f4432e781b46bde25dd23673d2781b2b98218a4914b0c53",
"gen_hash_verilog": "sha256:730a9d14a9d7088b27580665a770ba4433823e566bd7a3d60ceb7e13781249e1",
"gen_hash_zig": "sha256:5c90f47fc6d263a9d267ac8b10e213f61ffde01b224dc7af74da6f1da8c58999",
"gen_hash_c": "sha256:706b6856d49af13c5c3350801c68d3c69fbf01f25d65f83ee21bf467966dd66a",
"gen_hash_rust": "sha256:5fae5f53a714c068ae6c5091a8202234c7d48378a930424a37cb4bd029e3ea91",
"gen_hash_verilog": "sha256:d31c6226f2b077f9483358e2ec5acd52bc93b55b33b0cb448f4ff1181bd32b3b",
"gen_hash_zig": "sha256:3ba19c3ace081f23d4a2d8f4949a894740bbae9cea565229134b5b77dec3550a",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::group_context_hash_consistency_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T10:47:07Z",
"sealed_at": "2026-10-18T02:23:46Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:be54536b98db2ef67f507be3588caca6cc9c37dabeedb37662602617daf0c5cc",
"spec_hash": "sha256:32bc86d3c171108f493fe2d05ce281ab7f456f3d7dd85c06fbd05463d7f1eef1",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/group_context_hash_consistency_guard.t27",
"tests": {
"failed": 0,
Expand Down
21 changes: 13 additions & 8 deletions ...t::trios::crates::trios-chat::rings::CR-CHAT-03::src::leaf_node_key_uniqueness_guard.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,22 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"built_by": "t27c-bootstrap@0.5.2+18c98cc77",
"closure": [
{
"spec": "specs/port/trios/crates/trios-chat/common/helpers.t27",
"spec_hash": "sha256:3e6999616f3579026144a6b55f0297ee4479d3bba187973a2ba5f3ccb726a248"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:9133587ac781c84ef51147bca45f1f7da8de008ee3509f7262c1d58ce453d1a6",
"gen_hash_rust": "sha256:87c65ad07b66ca689e864f60cad024c79de4f7a708eb33b4fa99e889cd2c0c80",
"gen_hash_verilog": "sha256:7b5fee24d2895919df88c0d5a2d5c40f11f5ca7d60bf3812735e793f10a746c8",
"gen_hash_zig": "sha256:20510b8cb1b4d7fafe96af28f4be24513dcbe9d8777b625f6f547e106f8ec416",
"gen_hash_c": "sha256:f19ab088e995faa341d0ebab2a59f05350ac80bfbd9f40849973dfab62237f1c",
"gen_hash_rust": "sha256:a0ecc3f1ce031514d7680c0586793f0f3172a8847436d03b3354c33a36ad03fb",
"gen_hash_verilog": "sha256:3336f8b948acf3f9c8193fbef4ca62f9e9538d974a70bceb34731a107989e284",
"gen_hash_zig": "sha256:bec0217716bf89c08029bae32345234e559b2c4391c8f0cb84a1ce74ed447773",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::leaf_node_key_uniqueness_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T11:41:22Z",
"sealed_at": "2026-10-18T02:23:47Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:6a28ea5e3568ea6d8e9700025e0bf65b8ccf8bfe94b4c265e4e5233d314a17e5",
"spec_hash": "sha256:57b7f70240e418fbf6e5c77507773e615c12d0b3dc6bebfc001d1c2d961cce2d",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/leaf_node_key_uniqueness_guard.t27",
"tests": {
"failed": 0,
Expand Down
21 changes: 13 additions & 8 deletions ...t::trios::crates::trios-chat::rings::CR-CHAT-03::src::leaf_node_signature_validation.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,22 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"built_by": "t27c-bootstrap@0.5.2+18c98cc77",
"closure": [
{
"spec": "specs/port/trios/crates/trios-chat/common/helpers.t27",
"spec_hash": "sha256:3e6999616f3579026144a6b55f0297ee4479d3bba187973a2ba5f3ccb726a248"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:0cc3928c06760886edbbda3a78ec869b69e364a048627d4750c0a0c12dbd2dce",
"gen_hash_rust": "sha256:e88ea574d11fee0ef65725f00ff685da9e6be029ca8219cf5a7d6c8cb19a022e",
"gen_hash_verilog": "sha256:1b0a7c14d1dfa128a74f41a2aa8d8f3dfa40233fb248db19a484e3bb49a4bc2b",
"gen_hash_zig": "sha256:e17306d442060550d304eb759a33e9137e64a09b66e680572cea66093172454b",
"gen_hash_c": "sha256:ff9e3c3446bf4b325ff171b6dff9e90fac8865ce7b3691c3faf21b24b7c75064",
"gen_hash_rust": "sha256:c1e197bb59027296e58d0b51d1f23a30ce6a3d7612e989c79d20a1a61df72f78",
"gen_hash_verilog": "sha256:b1ec645c6a9fe88f39c021a08997d0a822e5c1498429be3056fbc135f555ef85",
"gen_hash_zig": "sha256:f2df232b4a1b70ccf3546e3ae4e8658fa61c5897d1f132250f02c14fe74966fd",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::leaf_node_signature_validation",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T12:06:45Z",
"sealed_at": "2026-10-18T02:23:47Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:4c7741d2c382d487c4f0089d079011fffd9ce579e8a6b17a9eceec564249f362",
"spec_hash": "sha256:c4bb649e098e43a22313c20ea921f3ac3ab208354f139fc5eb7b90780b8f2277",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/leaf_node_signature_validation.t27",
"tests": {
"failed": 0,
Expand Down
21 changes: 13 additions & 8 deletions .../src_port::trios::crates::trios-chat::rings::CR-CHAT-03::src::membership_tag_binding.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,22 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"built_by": "t27c-bootstrap@0.5.2+18c98cc77",
"closure": [
{
"spec": "specs/port/trios/crates/trios-chat/common/helpers.t27",
"spec_hash": "sha256:3e6999616f3579026144a6b55f0297ee4479d3bba187973a2ba5f3ccb726a248"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:efb3deed528f34e6be5f5b91ccf5668c304d4afd80e2d80216d48bdaed17ea24",
"gen_hash_rust": "sha256:6c8d186621cecacec2411af6dc56c002c60dffb0089f9d609d3e9cf5fc08c30e",
"gen_hash_verilog": "sha256:06ecfacbfb2377b4b0cab5aab904b2f257b3cd22965ec84554411376580cb165",
"gen_hash_zig": "sha256:4df060822508b531d7c5c05e231c7b2b0bf6ba1003049509f103df26ffc5eb29",
"gen_hash_c": "sha256:20bdb580781353a81514000f298ba8ac07a98c207c0df25b205dbb62e5f52ea0",
"gen_hash_rust": "sha256:35949904d7d6b1d82b3853228d8d494834e40fe9c22578266f7ccced3d632a4e",
"gen_hash_verilog": "sha256:81c7c3f69b6db201f9d2cb714001a67805ef5f7c160ae1800bc0f01a5ffe0be1",
"gen_hash_zig": "sha256:fbd1331f847991ba8b6f1f514589355bf5059425dbb54af43cfc32ba5ff8f1d4",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::membership_tag_binding",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T12:20:54Z",
"sealed_at": "2026-10-18T02:23:48Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:ae32962bf3ed58323c5612c0d360eef872602df4928d83febff2af758cc9f201",
"spec_hash": "sha256:44f458acc2d62ad54c73af5c7842ce7d3a3bf0648a235a355a856c67d438778b",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/membership_tag_binding.t27",
"tests": {
"failed": 0,
Expand Down
21 changes: 13 additions & 8 deletions ...rios::crates::trios-chat::rings::CR-CHAT-03::src::parent_hash_chain_validation_guard.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,22 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"built_by": "t27c-bootstrap@0.5.2+18c98cc77",
"closure": [
{
"spec": "specs/port/trios/crates/trios-chat/common/helpers.t27",
"spec_hash": "sha256:3e6999616f3579026144a6b55f0297ee4479d3bba187973a2ba5f3ccb726a248"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:dde9d2514fc71bec5df22246282ce5d07ecd828732b16a0c5f4db15af89e1da0",
"gen_hash_rust": "sha256:c08fd91eff4ce661bc887553995104336e66806e1cdc83e5732db1988de55600",
"gen_hash_verilog": "sha256:8a226349c2b36cff02cc34fbf02459e5c7fe8d6e53bdcfc8a4cf02082614d46b",
"gen_hash_zig": "sha256:da88405c3d0e50c31d980fa89427b225653b245a9a74f3d9321bf5117bc8f994",
"gen_hash_c": "sha256:5c469f8ba4d431c0490437a771a7575affcf2069d58667c567cb6f013dbeea12",
"gen_hash_rust": "sha256:d3a491115db7d9e6f2e05f34416e8c99e88b8e025e7889950307253454eb340b",
"gen_hash_verilog": "sha256:8e7985136f3921757c814aa3d81101f003855f69ad159ea8221298cde0a17659",
"gen_hash_zig": "sha256:a8bf5e4a83e54c036d82850e172c857d87b1765da6240ff648be411eb39c3900",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::parent_hash_chain_validation_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T12:35:05Z",
"sealed_at": "2026-10-18T02:23:48Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:18f9049f5ba9868d24f10cf3cdbbe5bc5164b0591409a8be3a34977b8679e1b6",
"spec_hash": "sha256:ec370fdc1136ea6e35f47b1464bb0b71149e5b69bfe315b92509a99910f4b86e",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/parent_hash_chain_validation_guard.t27",
"tests": {
"failed": 0,
Expand Down
21 changes: 13 additions & 8 deletions .trinity/seals/src_port::trios::crates::trios-chat::rings::CR-CHAT-03::src::pcs_healing.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,22 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"built_by": "t27c-bootstrap@0.5.2+18c98cc77",
"closure": [
{
"spec": "specs/port/trios/crates/trios-chat/common/helpers.t27",
"spec_hash": "sha256:3e6999616f3579026144a6b55f0297ee4479d3bba187973a2ba5f3ccb726a248"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:cb668e90d82b3bc3e4f1b199282a9539f6c5c1ca2f6829da0cefa62f36f28773",
"gen_hash_rust": "sha256:a71df65a0787888fe0528d4569cdbc937fb9930fb6d422a39863daec51e040e4",
"gen_hash_verilog": "sha256:9b97e775e669161293ab1c2212257d7ef2da3d5a6159a896f2d00d78e9826e99",
"gen_hash_zig": "sha256:d277429deba8662a7ff9aaff0f060fb80d80987557bab98262a6575d43bbcbbe",
"gen_hash_c": "sha256:7be4b95f14979058539957c6241a2531bb8ef00c9a2fa3599c0d6fc2934fbd3b",
"gen_hash_rust": "sha256:ba574040eb3a54556d6ff05880938e8dce687581ca37fa439c348918a00a56d0",
"gen_hash_verilog": "sha256:8945a24196674a406add4d85a4f958363aa5c4489cfda68c46828048e982c368",
"gen_hash_zig": "sha256:ef63be7581cbf9063d45f3524aa2f0fd3f07b1b082b17a57eb32e01fd71bc725",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::pcs_healing",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T12:51:14Z",
"sealed_at": "2026-10-18T02:23:48Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:c7db8949387cb4eaeab2ad8e2e9c88bbbb6ab31425ef39caef9fef033489b949",
"spec_hash": "sha256:b1464f5940edcee1749bc6b98731a8685c7c16e6b00af907b8504851b1ffd623",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/pcs_healing.t27",
"tests": {
"failed": 0,
Expand Down
21 changes: 13 additions & 8 deletions .../src_port::trios::crates::trios-chat::rings::CR-CHAT-03::src::proposal_ref_collision.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,22 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"built_by": "t27c-bootstrap@0.5.2+18c98cc77",
"closure": [
{
"spec": "specs/port/trios/crates/trios-chat/common/helpers.t27",
"spec_hash": "sha256:3e6999616f3579026144a6b55f0297ee4479d3bba187973a2ba5f3ccb726a248"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:54feacd858e263edebeea6f7f8beea61c0cd9ff9d0e0fcc77d01b965fa943575",
"gen_hash_rust": "sha256:0f2ee3df5f9342464baf2509af9a29df6f9ee0e9f9db07e7ffd7b09982b7bbc7",
"gen_hash_verilog": "sha256:5cd3f8abe43fd3537acaa6203f346a372a6cf86927fd1e9b6ccfa28a185f683e",
"gen_hash_zig": "sha256:942540da1dd44d1fa520b36d74334e4f778ef84b4d4c539193637b5bd2ca741f",
"gen_hash_c": "sha256:74fa4a07def5b5f3100507c5fb38c0d003065b46d8f6348f12905bb4f28d3ea6",
"gen_hash_rust": "sha256:f42a1ace51947ae4206162cc15741c90a225db6721a765985cea62bec7bf4307",
"gen_hash_verilog": "sha256:4394334073cdf3674a83160674ef131216b6b2d1928a875deefdab92b3cfa689",
"gen_hash_zig": "sha256:3c67dd5ee260090cbe6af2d976b53eb77827794d73d109942dbb4cff10bf2976",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::proposal_ref_collision",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T13:09:56Z",
"sealed_at": "2026-10-18T02:23:49Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:debcfe4ca0708407dbccce53bfb61d7f245aa9f0c463ecb13c986be6fe9b00da",
"spec_hash": "sha256:cacf30052e435979175c0c2fd4199756d1a0c2e740f7218c52d205f526e41d40",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/proposal_ref_collision.t27",
"tests": {
"failed": 0,
Expand Down
Loading
Loading