Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
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:1d337eddf19bbf82fe1725768eb70607c4e7c857f8c533c9f626a99e9aede549",
"gen_hash_rust": "sha256:a837ee5955fec2e54a8343f519365f13cb5eb9eafbc2fa9e8eacdda8ea1c9d92",
"gen_hash_verilog": "sha256:beac8ea2200f0c79539a3a5492f2193767aac41849c158669745fad5af232eb2",
"gen_hash_zig": "sha256:245c8c81ae09f93672bfe0934f77100f169f3005b5e46cb7a3629f03ef302cf8",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::commit_path_secret_aead_keying_mismatch",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T08:39:42Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:d98c635e1c59e51c2901de063b10f1f13d22cd2fd8c60134560aa621104e8cae",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/commit_path_secret_aead_keying_mismatch.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 13,
"total": 13,
"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:fc2470c4a69974fc2ad988d099340af362fdcd04201d87da6f5e8898b7beda0e",
"gen_hash_rust": "sha256:c35a375c6c951000a60b09e1ad975187a41b7ae19acb5f7f2725d80f30a4b6eb",
"gen_hash_verilog": "sha256:38e959ca974dc4527d13d160f02fdb50c37d648a02a714a2340a22bb5935aa85",
"gen_hash_zig": "sha256:1bdf14291f70202c098888c39834eb413d8ad6542c483ca0299ccff4ec28730d",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::commit_secret_export_collision",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T08:50:35Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:a88a1c3145a9063879cf3633422969ca87517b5f6602adbcd39628b6d3293a4b",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/commit_secret_export_collision.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:be20f438dccaebbbd587e10408b2b600bfd00744b9ad2d8ed9f9e772a3f9344a",
"gen_hash_rust": "sha256:0bedd81ef362b765f3b40bbffba01f3f562c96b2a07805cea66739962f0bb756",
"gen_hash_verilog": "sha256:5f9145d2a92a659392fdca31233636fb05a8038301f805779672f55f8b473a9e",
"gen_hash_zig": "sha256:f24be9ab393ce805a1250c07946da9b7ab8cebf82f48c58680fa4b43f9e9e7dd",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::commit_signature",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T09:05:17Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:4313afdc6bf088d0209a9e70f3689465f0abf76ee0941fbddf9fa576b63183bd",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/commit_signature.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 13,
"total": 13,
"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+7552b89d0",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:75c90cba95e392c982ca5c609c53491e9bcf92cb9b6fd8d26b85e2ebdccf806b",
"gen_hash_rust": "sha256:b214cb7b51d3af8d3bd7ec32c627c31e061eb3c302e217285396b5dba4ff9fc7",
"gen_hash_verilog": "sha256:20c0a5f41ff38517faaaa279419ab4d6d82ce47288f71ec638ea083e0f6bd8b9",
"gen_hash_zig": "sha256:542e1d66098f1a000719199e88eac891ace20a1a1746ecaaaff8c8452a3807f1",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::concurrent_add_remove",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T12:48:50Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:2d9ce772e7c9a669790174d96601dcc9e09633bde63e64d660cd5d8d9903b8f9",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/concurrent_add_remove.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+7552b89d0",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:bec76ba3a52cd416382baa4a1f3874a291f3564abed5d20fe8e915cc280522e5",
"gen_hash_rust": "sha256:712c71c57a55903b6ae9d9170fb6d3585b9eb2641a375c7eb1a39510a452018a",
"gen_hash_verilog": "sha256:efee1adfb10b29270e16a17198bd4a5931177c26444067c495cc9cfe32721002",
"gen_hash_zig": "sha256:71457ec3be814347bbe8779de3fa7a1e3b2e1977d0fce84a1b9bcf5394727938",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::psk_external_injection",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T12:48:53Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:afc620cacfae645a682fa28db28d452f0d1ab909040f9f3879a12df8f584e01c",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/psk_external_injection.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+7552b89d0",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:88d493dcaf10b91a602d74e786998ccc6263c7874f1e6c216cf5b023a2b96a1d",
"gen_hash_rust": "sha256:6e3b49c8d5e1c2d8a5e60c79e0f736a88fc35161b2241a4b61e872e832880a0e",
"gen_hash_verilog": "sha256:a1f27d342d2cfc5498e11d0bb8c9d21b0fe0c885a0aebc38abaf70fb5ce09b34",
"gen_hash_zig": "sha256:c73ebb540393c3ee155061ea0c53206f947148efc16184b6ed1741b6030a8fad",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::ratchet_tree_blank_node_depth_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T12:48:53Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:b8b2366b590f7ff5e7d4318e685681ccb8990329a702dc8848251b0b74926750",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/ratchet_tree_blank_node_depth_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:b8dfe0b6ded7948d4337b94fd3ba671c0da5dfe5acf48c4b44e437f9b8c7a8fc",
"gen_hash_rust": "sha256:39f5b69f948f946494b33c7aac35bc13c9f680ad998d1b6a4df98a9c2074767b",
"gen_hash_verilog": "sha256:4c4b755a6e62e1105c0b469cde6f33a70a198d4adbbc9b65dc8582e06e546f43",
"gen_hash_zig": "sha256:f7b791190db5f2b250b863a1bcaf697c3b513596f33ccd0b1af42f6c1dc1dd31",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-04::src::padding_block_alignment_uniformity_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-16T13:59:38Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:b854555b462de2345ed2911cbfbb98210e8a55d5d8371c3907bf8e1fe1551cdb",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_block_alignment_uniformity_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:35d55166ef7e315b0ad32785b15b61a493edade6f6ec07003195d11c0205df9b",
"gen_hash_rust": "sha256:b7041cb856614753c97373f5c173ca9a1eb5d554ca55ffe861e54f7611530ebe",
"gen_hash_verilog": "sha256:2883e9f76eb4f382c6de4fcdc3d9e5b0e74477e551c7ee80ca1a237e54206c2e",
"gen_hash_zig": "sha256:4fb241944049c1638ac445beda1f9a9be1b7f6c2b1abb41c52ff431d64abf575",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-04::src::padding_block_cipher_mode_uniformity_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-16T14:20:48Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:b50aa799bb83f04bf37219034571a1a6917ca9317a23deb30e6dd043185afb43",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_block_cipher_mode_uniformity_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:456fc9ccab722720a2d2620e17077b699b90fb11f593d073e69358366f138937",
"gen_hash_rust": "sha256:662abb07b13ed872013558f4320d5a3cc03c8b88596b51735586afe934263073",
"gen_hash_verilog": "sha256:20a7c9409cf5c11bd22fa2533bba3672e95626e132bb6e3455d33808290c1d5a",
"gen_hash_zig": "sha256:a92fd7b67a632fa0a86f45e1f0226acd981a24ff99f891d5f0cb819112cacfd9",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-04::src::padding_ciphertext_length_class_balance_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-16T14:37:10Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:beb77569cb57018b5be023cc19fc1bc8dc9d8352f5124a06a9872dd14bda9509",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_ciphertext_length_class_balance_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:b3bd141da6f7a19d6b9316be49a9ec947706e5b27cb28f2ea7a2c9466ff6002c",
"gen_hash_rust": "sha256:9c5a2a9c9d593484ca7563b270e6fbee8d7a2b41da6ffeb1c221ebaabbbd053d",
"gen_hash_verilog": "sha256:dd398487ef922e1afa5c06214ba91613f23fa1b150c43b93c75d954ede87f0e7",
"gen_hash_zig": "sha256:4f4c2a7c9f4c11db2d4a6231981972f6ed0a44955ba89d292e310f109f66dfa2",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-04::src::padding_key_derivation_uniqueness_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-16T15:00:35Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:fa30cbd7d651a2b9284e2040ecacb09243aa0e3313bb27b135629d56591b6d6b",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_key_derivation_uniqueness_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:540333d960db61399d83acce171e83405a3ca6e1db7e9f44e85fc35aede495ec",
"gen_hash_rust": "sha256:c0c9ce296474bcc4dc6f81fa3213a6ebdd9b277db1d3ab8c2ce23acb906fbb55",
"gen_hash_verilog": "sha256:5aaebf03f50fdd63dc1066f0ae8c13e6a579fb5d1f8b3bc2021e3d13df7252a4",
"gen_hash_zig": "sha256:94e3d788d059d6dcea3b78580424f1eb30875b08e92acf0bcda6cc74c9f72bfd",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-04::src::padding_key_rotation_uniformity_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-16T15:05:47Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:027136f8d7c7e572d50b786715a7944473c4f3412a853a5ac7c6dfe3a76e153e",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_key_rotation_uniformity_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:e09fb9e8609322c41c0b6a2eeef34f6b78e4658f2b15a0b2f4818095dc3c2d36",
"gen_hash_rust": "sha256:d6896ae0f3a1fc107b179595cf2e4100e829bcce92165fc0c7d26c941046df89",
"gen_hash_verilog": "sha256:25d44a0d44280b968fd2edea0fdd45b9ee206cc2be7a8163bfbb49cc5efd8606",
"gen_hash_zig": "sha256:80de8b3e760d686f40edf0a0c6fb46361965ca6e85d56ef1402192b4d9f5da98",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-04::src::padding_nonce_reuse_detection_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-16T07:45:10Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:5fd4eef52999efffced9dd17cd07a74688ae32e35c6f00ec33dfdaf168366f02",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_nonce_reuse_detection_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:6dc85b8551bf9c0b97403aaae6cbf1f88626be8e1e94998c8bb80420f1c51f74",
"gen_hash_rust": "sha256:838a68e81307d442de67057ff2fc7b76f1f358ee8dce7edc7e6e702dc332b0bf",
"gen_hash_verilog": "sha256:cba94b2bc52af009bd5757581993097170d15c5e744e9ce6e7380c385f6645a5",
"gen_hash_zig": "sha256:53ad54fb00fc65c2fe42316b9fcbcbccc990d9d7be6f2b3edd279df952fb5057",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-04::src::padding_oracle_chosen_ct",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-16T12:19:58Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:73f207d94594f336b97997005f053fe48406f80bd1694058c3c55f48b9dc8e1a",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_oracle_chosen_ct.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 12,
"total": 12,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
Loading
Loading