Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
144 commits
Select commit Hold shift + click to select a range
4382d2c
spec(port): port the padding byte pattern uniformity guard (Refs #8884)
dmitrii-f-t27 Oct 15, 2026
2cc8146
spec(port): port the padding class transition entropy guard (Refs #8884)
dmitrii-f-t27 Oct 16, 2026
b8ec594
spec(port): port the padding fill byte randomness guard (Refs #8884)
dmitrii-f-t27 Oct 16, 2026
ee5199f
spec(port): port the padding key derivation domain separation guard (…
dmitrii-f-t27 Oct 16, 2026
80b5384
spec(port): port the cover-traffic burst interval regularity guard (R…
dmitrii-f-t27 Oct 17, 2026
f7fdd0b
spec(port): port the cover-traffic destination rotation frequency gua…
dmitrii-f-t27 Oct 17, 2026
7bbe71d
spec(port): port the cover-traffic destination uniformity guard (Refs…
dmitrii-f-t27 Oct 17, 2026
7dbf32b
spec(port): port the cover-traffic inter-destination timing uniformit…
dmitrii-f-t27 Oct 17, 2026
a7018ec
spec(port): port the cover-traffic replay detection guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
48449b9
spec(port): port the cover-traffic size distribution guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
1831cfd
spec(port): port the cover-traffic timing correlation guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
00ec818
spec(port): port the cover-traffic timing jitter uniformity guard (Re…
dmitrii-f-t27 Oct 17, 2026
308fca3
spec(port): port the cover-traffic volume ratio stability guard (Refs…
dmitrii-f-t27 Oct 17, 2026
5a2bbfb
spec(port): port the cover-traffic volume stability guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
bfd1d6b
spec(port): port the decoy message payload entropy guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
061b779
spec(port): port the decoy payload indistinguishability guard (Refs #…
dmitrii-f-t27 Oct 17, 2026
295bb16
spec(port): port the egress fingerprinting guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
7ae4f84
spec(port): port the emission cadence uniformity guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
827d293
spec(port): port the message size class distribution guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
677be77
spec(port): port the mixnet path diversity guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
6c3c8d5
spec(port): port the network flow direction uniformity guard (Refs #8…
dmitrii-f-t27 Oct 17, 2026
12be5a5
ledger: add the network flow direction uniformity guard pass row (Ref…
dmitrii-f-t27 Oct 17, 2026
00c9738
spec(port): port the observer fingerprint rotation guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
fa35119
spec(port): port the ratchet tree extension tampering guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
b886326
spec(port): port the traffic burst pattern uniformity guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
cfa3300
spec(port): port the traffic shaping burst uniformity guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
b2736d3
spec(port): port the traffic volume correlation guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
398c156
spec(port): port the wire timing anomaly guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
f75b532
spec(port): port the confirmation tag chain guard (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
29d2698
spec(port): port the external commit forgery guard (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
68b2661
spec(port): port the external commit resumption psk misbinding guard …
dmitrii-f-t27 Oct 17, 2026
b011d40
spec(port): port the external proposal origin unbound guard (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
221f46d
spec(port): port the external psk id provenance guard (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
3436010
spec(port): port the group context hash consistency guard (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
83255fb
spec(port): port the group epoch commit ordering guard (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
b9a7590
spec(port): port the group member removal verification guard (Refs #8…
dmitrii-f-t27 Oct 17, 2026
546e52d
spec(port): port the group membership authorization guard (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
9cdebb2
spec(port): port the leaf node key uniqueness guard (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
0a4478f
spec(port): port the leaf node priority inversion guard (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
7741501
spec(port): port the leaf node signature validation guard (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
a370c0b
spec(port): port the membership tag binding guard (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
e5a750c
spec(port): port the parent hash chain validation guard (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
4245142
spec(port): port the group pcs healing state machine (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
273bb62
spec(port): port the proposal ref collision guard (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
9c148d3
spec(port): port the proposal validation guard (Refs #8883)
dmitrii-f-t27 Oct 17, 2026
414bcef
spec(port): port the header extension order guard (Refs #8884)
gHashTag Oct 17, 2026
e2b900d
spec(port): port the External Init secret pinning guard (Refs #8884)
gHashTag Oct 17, 2026
1611f5d
spec(port): port the generation skip-window DoS defence (Refs #8884)
gHashTag Oct 17, 2026
0866feb
spec(port): port the MLS plaintext framing integrity guard (Refs #8884)
gHashTag Oct 17, 2026
0945030
spec(port): port the padding byte entropy guard (Refs #8884)
gHashTag Oct 17, 2026
4a0309c
spec(port): port the padding-class oracle guard (Refs #8884)
gHashTag Oct 17, 2026
ed3e14b
spec(port): port the padding class selection entropy guard (Refs #8884)
gHashTag Oct 17, 2026
c210e74
spec(port): port the padding class collision guard (Refs #8884)
gHashTag Oct 17, 2026
8294870
spec(port): port the padding class transition audit (Refs #8884)
gHashTag Oct 17, 2026
6ed33d1
spec(port): port the padding class transition monotonicity guard (Ref…
gHashTag Oct 17, 2026
ad2484a
spec(port): port the padding crypto binding guard (Refs #8884)
gHashTag Oct 17, 2026
66d1f48
spec(port): port the padding length class transition uniformity guard…
gHashTag Oct 17, 2026
f4cca21
spec(port): port the padding length distribution guard (Refs #8884)
gHashTag Oct 17, 2026
29ab5ba
spec(port): port the cover-traffic burst detection guard (Refs #8887)
gHashTag Oct 17, 2026
19a0f45
spec(port): port the cover-traffic emission jitter guard (Refs #8887)
gHashTag Oct 17, 2026
24d91b3
spec(port): port the cover-traffic emission pattern randomness guard …
gHashTag Oct 17, 2026
f01fdf5
spec(port): port the cover-traffic entropy fingerprint guard (Refs #8…
gHashTag Oct 17, 2026
42ee57f
spec(port): port the cover-traffic generation rate stability guard (R…
gHashTag Oct 17, 2026
989a84f
Merge remote-tracking branch 'origin/master' into fix-9651
gHashTag Oct 17, 2026
e6493b8
spec(port): port the cover-traffic inter-epoch continuity guard (Refs…
gHashTag Oct 17, 2026
0282b32
spec(port): port the cover-traffic payload length distribution guard …
gHashTag Oct 17, 2026
5d5eb72
Repair t27b_expectations.json after the master merge (Refs #8884)
gHashTag Oct 17, 2026
c69e4b2
spec(port): port the cover-traffic payload size variance guard (Refs …
gHashTag Oct 17, 2026
35ee2f7
spec(port): port the cover-traffic starvation guard (Refs #8887)
gHashTag Oct 17, 2026
801f7b1
Merge remote-tracking branch 'origin/master' into fix-9650
gHashTag Oct 17, 2026
3f349a1
Merge remote-tracking branch 'origin/master' into fix-9652
gHashTag Oct 17, 2026
667b850
Merge remote-tracking branch 'origin/master' into fix-9660
gHashTag Oct 17, 2026
9ba7e14
Merge remote-tracking branch 'origin/master' into fix-9669
gHashTag Oct 17, 2026
97a2e2a
Merge remote-tracking branch 'origin/master' into fix-9678
gHashTag Oct 17, 2026
d2cc79e
Merge remote-tracking branch 'origin/master' into fix-9679
gHashTag Oct 17, 2026
5ee252d
Merge remote-tracking branch 'origin/master' into fix-9700
gHashTag Oct 17, 2026
b26b01c
Merge PR #9641 (port/cr-chat-04-wave2-b) into the port batch
gHashTag Oct 17, 2026
280e585
Merge PR #9650 (port/cr-chat-04-wave2-c) into the port batch
gHashTag Oct 17, 2026
17894d2
Merge PR #9651 (port/cr-chat-04-wave2-d) into the port batch
gHashTag Oct 17, 2026
acb65ed
Merge PR #9652 (port/cr-chat-04-wave2-e) into the port batch
gHashTag Oct 17, 2026
5a39e73
Merge PR #9660 (port/cr-chat-04-wave2-f) into the port batch
gHashTag Oct 17, 2026
7147fa6
Merge PR #9661 (port/cr-chat-04-wave2-g) into the port batch
gHashTag Oct 17, 2026
c142452
Merge PR #9669 (port/cr-chat-04-wave2-h) into the port batch
gHashTag Oct 17, 2026
ef3359d
Merge PR #9670 (port/cr-chat-04-wave2-i) into the port batch
gHashTag Oct 17, 2026
2864875
Merge PR #9678 (port/cr-chat-04-wave2-j) into the port batch
gHashTag Oct 17, 2026
40717d1
Merge PR #9679 (port/cr-chat-04-wave2-k) into the port batch
gHashTag Oct 17, 2026
bd106ed
Merge PR #9687 (port/cr-chat-04-wave2-l) into the port batch
gHashTag Oct 17, 2026
8260b58
Merge PR #9695 (port/cr-chat-04-wave2-m) into the port batch
gHashTag Oct 17, 2026
9cf54c5
Merge PR #9697 (port/cr-chat-04-wave2-n) into the port batch
gHashTag Oct 17, 2026
61a5944
Merge PR #9698 (port/cr-chat-04-wave2-o) into the port batch
gHashTag Oct 17, 2026
a093ebd
Merge PR #9699 (port/cr-chat-04-wave2-p) into the port batch
gHashTag Oct 17, 2026
98c5b15
Merge PR #9700 (port/cr-chat-04-wave2-q) into the port batch
gHashTag Oct 17, 2026
729968f
Merge PR #9708 (port/cr-chat-04-wave2-r) into the port batch
gHashTag Oct 17, 2026
a3c31b6
Merge PR #9805 (port/cr-chat-07-b) into the port batch
gHashTag Oct 17, 2026
8ee3fce
Merge PR #9806 (port/cr-chat-07-c) into the port batch
gHashTag Oct 17, 2026
1c2b1ea
Merge PR #9807 (port/cr-chat-07-d) into the port batch
gHashTag Oct 17, 2026
b9500dc
Merge PR #9808 (port/cr-chat-07-e) into the port batch
gHashTag Oct 17, 2026
7748ba9
Merge PR #9810 (port/cr-chat-07-f) into the port batch
gHashTag Oct 17, 2026
58e1e50
Merge PR #9811 (port/cr-chat-07-g) into the port batch
gHashTag Oct 17, 2026
98b8be2
Merge PR #9813 (port/cr-chat-07-h) into the port batch
gHashTag Oct 17, 2026
ecaf6c7
Merge PR #9814 (port/cr-chat-07-i) into the port batch
gHashTag Oct 17, 2026
832ab0a
Merge PR #9818 (port/cr-chat-07-k) into the port batch
gHashTag Oct 17, 2026
567b54b
Merge PR #9819 (port/cr-chat-07-l) into the port batch
gHashTag Oct 17, 2026
71a29a6
Merge PR #9820 (port/cr-chat-07-m) into the port batch
gHashTag Oct 17, 2026
702d103
Merge PR #9822 (port/cr-chat-07-n) into the port batch
gHashTag Oct 17, 2026
7cf8e82
Merge PR #9823 (port/cr-chat-07-o) into the port batch
gHashTag Oct 17, 2026
1989dc0
Merge PR #9825 (port/cr-chat-07-p) into the port batch
gHashTag Oct 17, 2026
ad65bf4
Merge PR #9826 (port/cr-chat-07-q) into the port batch
gHashTag Oct 17, 2026
46254fe
Merge PR #9828 (port/cr-chat-07-r) into the port batch
gHashTag Oct 17, 2026
c0857f6
Merge PR #9830 (port/cr-chat-07-s) into the port batch
gHashTag Oct 17, 2026
2eac7d9
Merge PR #9831 (port/cr-chat-07-t) into the port batch
gHashTag Oct 17, 2026
9a8d006
Merge PR #9833 (port/cr-chat-07-u) into the port batch
gHashTag Oct 17, 2026
38e1d72
Merge PR #9834 (port/cr-chat-07-w) into the port batch
gHashTag Oct 17, 2026
6a36c0e
Merge PR #9836 (port/cr-chat-07-x) into the port batch
gHashTag Oct 17, 2026
7c8cba2
Merge PR #9837 (port/cr-chat-07-y) into the port batch
gHashTag Oct 17, 2026
cd7a90d
Merge PR #9845 (port/cr-chat-07-z) into the port batch
gHashTag Oct 17, 2026
8e5eec9
Merge PR #9849 (port/cr-chat-07-aa) into the port batch
gHashTag Oct 17, 2026
bb0a391
Merge PR #9851 (port/cr-chat-07-ab) into the port batch
gHashTag Oct 17, 2026
b4377a2
Merge PR #9854 (port/cr-chat-07-ac) into the port batch
gHashTag Oct 17, 2026
f90c018
Merge PR #9865 (port/cr-chat-07-ad) into the port batch
gHashTag Oct 17, 2026
ef833d3
Merge PR #9868 (port/cr-chat-07-ae) into the port batch
gHashTag Oct 17, 2026
ce9157d
Merge PR #9869 (port/cr-chat-07-af) into the port batch
gHashTag Oct 17, 2026
5dea700
Merge PR #9870 (port/cr-chat-07-ag) into the port batch
gHashTag Oct 17, 2026
20cb179
Merge PR #9871 (port/cr-chat-07-ah) into the port batch
gHashTag Oct 17, 2026
4496dd4
Merge PR #9873 (port/cr-chat-07-ai) into the port batch
gHashTag Oct 17, 2026
338801b
Merge PR #9908 (port/cr-chat-03-e) into the port batch
gHashTag Oct 17, 2026
82d354e
Merge PR #9909 (port/cr-chat-03-f) into the port batch
gHashTag Oct 17, 2026
ad6fa43
Merge PR #9910 (port/cr-chat-03-g) into the port batch
gHashTag Oct 17, 2026
6caa79f
Merge PR #9912 (port/cr-chat-03-h) into the port batch
gHashTag Oct 17, 2026
c582ac7
Merge PR #9913 (port/cr-chat-03-i) into the port batch
gHashTag Oct 17, 2026
8be8a89
Merge PR #9915 (port/cr-chat-03-j) into the port batch
gHashTag Oct 17, 2026
69d7be4
Merge PR #9916 (port/cr-chat-03-k) into the port batch
gHashTag Oct 17, 2026
7847097
Merge PR #9925 (port/cr-chat-03-l) into the port batch
gHashTag Oct 17, 2026
506a674
Merge PR #9926 (port/cr-chat-03-m) into the port batch
gHashTag Oct 17, 2026
3567853
Merge PR #9928 (port/cr-chat-03-n) into the port batch
gHashTag Oct 17, 2026
d2b883a
Merge PR #9929 (port/cr-chat-03-o) into the port batch
gHashTag Oct 17, 2026
9dc3556
Merge PR #9931 (port/cr-chat-03-p) into the port batch
gHashTag Oct 17, 2026
ec791d9
Merge PR #9932 (port/cr-chat-03-q) into the port batch
gHashTag Oct 17, 2026
0119a21
Merge PR #9933 (port/cr-chat-03-r) into the port batch
gHashTag Oct 17, 2026
b5e54c7
Merge PR #9935 (port/cr-chat-03-s) into the port batch
gHashTag Oct 17, 2026
ef6ccd1
Merge PR #9944 (port/cr-chat-03-t) into the port batch
gHashTag Oct 17, 2026
9ce20d7
Merge PR #9945 (port/cr-chat-03-u) into the port batch
gHashTag Oct 17, 2026
42c9868
Bless the 12 helper groups the CR-CHAT port specs copy (Refs #8884)
gHashTag Oct 17, 2026
427ef22
spec(port): name four duplicated port types apart (types ratchet, #2774)
gHashTag Oct 17, 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
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"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",
"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_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:3500728eb7a78aff3650eeae8fac59b92efa60e3029d7534150c0c888ebbf373",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/confirmation_tag_chain.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 14,
"total": 14,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"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",
"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_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:cb44d7762433ae82e6ccbd14aa32828fdd214e8012f4a9916102d393d2013f3f",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/external_commit.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 9,
"total": 9,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:a64160a5655b494845d4351aba9155ba9bfc5ec3580340e30a4b092136827838",
"gen_hash_rust": "sha256:e9e75ba376235a962e3acbad43995f482dc6449f22572af4231c540a874a1567",
"gen_hash_verilog": "sha256:e46a38c8338330a51290c36c31575f6dfd79cb2036cd9b3ada31379e011e3851",
"gen_hash_zig": "sha256:f0eb58ed5c75e168ef9c0cb4807099f6418061790fa1b2a001bac69d3db22e9e",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::external_commit_resumption_psk_misbinding",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T10:02:29Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:f498ca5f4ce4e3af3511bdf87b1ec3454523e2e4bc4bd26b7b2bf9d9e821c511",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/external_commit_resumption_psk_misbinding.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 12,
"total": 12,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"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",
"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_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:54c131bf8995213b1ee19069ebdd9b6148d0315612c2d4e85f585bf4779734ba",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/external_proposal_origin_unbound.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 17,
"total": 17,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"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",
"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_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:c9d79dbc7d5c84df41ea0a89c6ba93db30d41335ec67eb040fb3b8b5f2e648b4",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/external_psk_id_provenance.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 14,
"total": 14,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"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",
"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_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:be54536b98db2ef67f507be3588caca6cc9c37dabeedb37662602617daf0c5cc",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/group_context_hash_consistency_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 14,
"total": 14,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:062b35132d1a83c6d4fa569f86830014411c8e6424fd6126b8d198cf4f744c81",
"gen_hash_rust": "sha256:af1ebc0013b6679af541d0166f66d9fb10451af95d21051470854d08c6a6ef6f",
"gen_hash_verilog": "sha256:e454b48f7e2a39b0c0156493117dcd01e634cfb4de0c0588040d3b079105e30c",
"gen_hash_zig": "sha256:761e9c9a3c85e5eebdf441d6cbd5c004ce263c25f022e8aa5a1f886e6c1fa811",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::group_epoch_commit_ordering_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T10:58:58Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:43a30f5128c256e96b5dbdfd34625dc288834797ae766295dd9e385719d8a007",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/group_epoch_commit_ordering_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 12,
"total": 12,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:33972492fd363e8b64dbc12450fbc8e64a2248fea8f2bd5d281d02f9919681d8",
"gen_hash_rust": "sha256:64b42d1f86506c9b2c9852ce6ed3b8222343f17e99190e1936d5d5ff933de193",
"gen_hash_verilog": "sha256:344deeddf60776cf26c333f06b0cf26226a7e67b8912a11b2372cc3ba1297df9",
"gen_hash_zig": "sha256:ccc4cdf38199e393ce413a83a105294f189708863da02d59b29109abb83ccbea",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::group_member_removal_verification_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T11:14:45Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:1f6cfb4f81192a925e4effd16db18037026b712149b607288b84ea96602a1fa9",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/group_member_removal_verification_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 11,
"total": 11,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:b77cdef3afd37b882bf235c9035c92479e6ce25b75e992c11860f676d8a8e746",
"gen_hash_rust": "sha256:095753fc59e8341e13f06afc0e2687a461bf6c3edde3d8ed2dfb640de25e35ac",
"gen_hash_verilog": "sha256:e23409202a0517ad35836763f2ec0f8304908ddc5f06d6c31d8bfa55fdb29907",
"gen_hash_zig": "sha256:5e45fec2f5a9a5e2da13e8512b5163c626df1794c8603b36d3fb8ecc10caaa15",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::group_membership_authorization_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T11:25:17Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:a0658ccf818376346463463958f034ea484bfa639b11eb72cc08a7dfadb49e27",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/group_membership_authorization_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 12,
"total": 12,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"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",
"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_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:6a28ea5e3568ea6d8e9700025e0bf65b8ccf8bfe94b4c265e4e5233d314a17e5",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/leaf_node_key_uniqueness_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 15,
"total": 15,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:55eb6f2ae4e74a6c73a5836a298db7be8fe8cb0343fb4cec91cfebcd54307031",
"gen_hash_rust": "sha256:23e3d90f34a4d7b093f958fad22c8ee0c153dd1c3b1ac5082a829b4532764ce3",
"gen_hash_verilog": "sha256:595c510b5527dc26b57b217f87795063f581ba672680e9817569e3f609f03f97",
"gen_hash_zig": "sha256:2956cd049d5dd9f15b4eec3baf6dd4150d0dbee274e12dbf80091ebcb878aa09",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::leaf_node_priority_inversion_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T11:50:57Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:b93e89383e018786dcf8d071bf44e47555fd607b84df1bcbb4162e1126882f43",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/leaf_node_priority_inversion_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 12,
"total": 12,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"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",
"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_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:4c7741d2c382d487c4f0089d079011fffd9ce579e8a6b17a9eceec564249f362",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/leaf_node_signature_validation.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 14,
"total": 14,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"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",
"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_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:ae32962bf3ed58323c5612c0d360eef872602df4928d83febff2af758cc9f201",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/membership_tag_binding.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 14,
"total": 14,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
Loading
Loading