Skip to content

spec(port): land the CR-CHAT-03 wave 3 batch -- 23 targets (Refs #8883) #10802

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

Open
dmitrii-f-t27 wants to merge 31 commits into
base: master
Choose a base branch
from
+29,849 −1,215
Open

spec(port): land the CR-CHAT-03 wave 3 batch -- 23 targets (Refs #8883) #10802

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
f5e83c4
spec(port): port the ReInit freshness gate (Refs #8883)
dmitrii-f-t27 Oct 18, 2026
35fde36
spec(port): port the transcript hash chain guard (Refs #8883)
dmitrii-f-t27 Oct 18, 2026
32fccba
spec(port): port the TreeKEM blank leaf count bound guard (Refs #8883)
dmitrii-f-t27 Oct 18, 2026
2fea0cf
spec(port): port the TreeKEM epoch transition integrity guard (Refs #…
dmitrii-f-t27 Oct 18, 2026
2c314f5
fix(spec): split the TETI count ceiling from the depth ceiling (Refs …
dmitrii-f-t27 Oct 18, 2026
0d43c1b
spec(port): port the membership change rate guard (Refs #8883)
dmitrii-f-t27 Oct 18, 2026
9cb3f69
spec(port): port the epoch continuity guard (Refs #8883)
dmitrii-f-t27 Oct 18, 2026
9462ee4
spec(port): port the leaf node key freshness guard (Refs #8883)
dmitrii-f-t27 Oct 18, 2026
af3ca2e
spec(port): port the leaf node version monotonicity guard (Refs #8883)
dmitrii-f-t27 Oct 18, 2026
2b03334
spec(port): port the parent hash binding guard (Refs #8883)
dmitrii-f-t27 Oct 18, 2026
2da442f
spec(port): port the parent hash chain continuity guard (Refs #8883)
dmitrii-f-t27 Oct 18, 2026
30f89b5
Merge remote-tracking branch 'upstream/master' into port/cr-chat-03-w…
dmitrii-f-t27 Oct 19, 2026
8fbbdd1
spec(port): re-save the CR-CHAT-03 wave 3 seals against the merged ma…
dmitrii-f-t27 Oct 19, 2026
810052c
spec(port): port the parent node resolution depth guard (Refs #8883)
dmitrii-f-t27 Oct 19, 2026
b3404a5
spec(port): port the path secret forward secrecy guard (Refs #8883)
dmitrii-f-t27 Oct 19, 2026
aaba106
spec(port): port the path secret freshness guard (Refs #8883)
dmitrii-f-t27 Oct 19, 2026
716b639
spec(port): port the path secret uniqueness guard (Refs #8883)
dmitrii-f-t27 Oct 19, 2026
e062988
spec(port): port the resolution node coverage guard (Refs #8883)
dmitrii-f-t27 Oct 19, 2026
9e3b4bb
spec(port): port the resolution path node uniqueness guard (Refs #8883)
dmitrii-f-t27 Oct 19, 2026
befe1e5
spec(port): port the sibling node independence guard (Refs #8883)
dmitrii-f-t27 Oct 19, 2026
532a955
spec(port): port the unmerged leaf count accumulation guard (Refs #8883)
dmitrii-f-t27 Oct 19, 2026
8aa7ca6
spec(port): port the update path coverage guard (Refs #8883)
dmitrii-f-t27 Oct 19, 2026
0538783
spec(port): port the update path length bound guard (Refs #8883)
dmitrii-f-t27 Oct 19, 2026
bd67534
spec(port): port the update path secret uniqueness guard (Refs #8883)
dmitrii-f-t27 Oct 19, 2026
724eed0
spec(port): port the update path uniqueness guard (Refs #8883)
dmitrii-f-t27 Oct 19, 2026
fef69d5
spec(port): port the update path validation guard (Refs #8883)
dmitrii-f-t27 Oct 19, 2026
4e3a1f5
Merge remote-tracking branch 'upstream/master' into port/cr-chat-03-w…
dmitrii-f-t27 Oct 19, 2026
1995852
verilog widths: the four CR-CHAT-03 boundary tables are exact sizes, …
dmitrii-f-t27 Oct 19, 2026
57dc02f
types ratchet: the three new conflicted names read and classified, al…
dmitrii-f-t27 Oct 19, 2026
03a65ce
Merge remote-tracking branch 'upstream/master' into port/cr-chat-03-w…
dmitrii-f-t27 Oct 19, 2026
3408691
types ratchet: drop the Range row, repaired on master by sar_adc's re…
dmitrii-f-t27 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
33 changes: 33 additions & 0 deletions .../seals/src_port::trios::crates::trios-chat::rings::CR-CHAT-03::src::reinit_freshness.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
{
"built_by": "t27c-bootstrap@0.5.2+473aea64b",
"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:c84980546d0e834d34a6478473ac4e07be5c0daed86402eef87d4df312e99cf9",
"gen_hash_rust": "sha256:5cb2573c2f69c067ce495df5f3a9a92caa7abcd5e713897c7322f3f3119ccd60",
"gen_hash_verilog": "sha256:dd4c7b3ad701cbce78db6ffb1b884789ceea0268ada6f4e2b1d564954fa9ba6b",
"gen_hash_zig": "sha256:1d213273c4238c8b5bd5473bff06494c81ba4918d158e716a59b211806483925",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::reinit_freshness",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T03:04:51Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:a35e037905360ca8f584b5b34006222f5930bea2f238d00e97e51de1ffd1cd6b",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/reinit_freshness.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 12,
"total": 12,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
28 changes: 28 additions & 0 deletions ...s/src_port::trios::crates::trios-chat::rings::CR-CHAT-03::src::transcript_hash_chain.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+473aea64b",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:e005aaedfcfa8413a514ead84057da43ffdd00d92d37bd1499c2f33b34bf28b1",
"gen_hash_rust": "sha256:8d21c93927754c5d7eab17a9087d9a503aead937e0301012814458bf9d3588ad",
"gen_hash_verilog": "sha256:85061a0f17cc712dea05d7b32028c04582be23b658682d9c9c1d522545778946",
"gen_hash_zig": "sha256:e129e9592710f86f8fcccc77786aee208919e896ac5fc8019de52586aa24e049",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::transcript_hash_chain",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T03:04:55Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:967352c386880ecefea0f010005e1669a9f22c0c9e69e91e4bec3afd4988e5c0",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/transcript_hash_chain.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 13,
"total": 13,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
28 changes: 28 additions & 0 deletions ...os::crates::trios-chat::rings::CR-CHAT-03::src::treekem_blank_leaf_count_bound_guard.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+473aea64b",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:b9559889545eb3118c218e0e9875d6130a0bd3c5d761c5df741a21c9c7176aa4",
"gen_hash_rust": "sha256:698ecb0666dd45d074a15403603c2c03cf2924e6051a9f34d4e4d1b8116af2d1",
"gen_hash_verilog": "sha256:3788010ee4a4f7ce4ef7eeba5bfd4ae6788739a4ec6f931d63ade5f2215f32cd",
"gen_hash_zig": "sha256:ac54b0e77f21edaeb55336d5b73b9f8c1fb19a9deda1788ddbb9352453cd333d",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::treekem_blank_leaf_count_bound_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T03:04:58Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:260132066315595231e8897c5511587da067ce38dcfff5f892c1624aa7b176f7",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/treekem_blank_leaf_count_bound_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 13,
"total": 13,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
33 changes: 33 additions & 0 deletions ...crates::trios-chat::rings::CR-CHAT-03::src::treekem_epoch_transition_integrity_guard.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
{
"built_by": "t27c-bootstrap@0.5.2+473aea64b",
"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:ba0a04e363493fb9b29de83a191361253773840b4ae248e313b6aa5b0bcf1d79",
"gen_hash_rust": "sha256:09e382ad8e325fd09becff024454f363f3e773dec9d91b01e9fadca45253fec5",
"gen_hash_verilog": "sha256:e60de4ce2a685d8d7761d62b34b4c679fc686878b78f771648e1fcf93c98244f",
"gen_hash_zig": "sha256:1d077e06062daec6bf25cbb08fdd93669e5807fe6a4203bef785e0f313d76503",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::treekem_epoch_transition_integrity_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T03:05:02Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:889a56b4fcfd018143ec03c4d19655cbbd95ef9edebc8226ba92fe8149a393c9",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/treekem_epoch_transition_integrity_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 12,
"total": 12,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
28 changes: 28 additions & 0 deletions ...ates::trios-chat::rings::CR-CHAT-03::src::treekem_group_membership_change_rate_guard.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+473aea64b",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:355923c01123229ad6246a27d8d62e44a17a61d063c8879d9068019d3ff24236",
"gen_hash_rust": "sha256:9f2862888e04ef3dbfb7038a7496b85fa0343cebd44dad7d5bc4b3e92ea7785e",
"gen_hash_verilog": "sha256:374ee908b6148076132a376fbd7d074fedddb10a45bb0100ff6b9e45a0d08837",
"gen_hash_zig": "sha256:8b05d8114c010e4a99100ff978dae5a16479c6fcb51b77b618170299cc671217",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::treekem_group_membership_change_rate_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T03:05:06Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:b00497d729084c1eb5e0f6dfab4aea6e0c78349de367723b409fb19cfa51dfb7",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/treekem_group_membership_change_rate_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 12,
"total": 12,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
33 changes: 33 additions & 0 deletions ...:trios-chat::rings::CR-CHAT-03::src::treekem_group_membership_epoch_continuity_guard.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
{
"built_by": "t27c-bootstrap@0.5.2+473aea64b",
"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:ad0fcffbd35b6e2497bfda1687a254b9121d98bbef6736251255211f8035612b",
"gen_hash_rust": "sha256:80f96dc1b4f1598240cae507fb92d9c6753eba17387bd90190f0b2ea81b336b6",
"gen_hash_verilog": "sha256:5b4c5e64bf7d2e16c39d09058178f2d88a1966e1c71cd8762cd9a54c78447421",
"gen_hash_zig": "sha256:2e14fc586aac7bafd4516c60676443b499deac07bf77af43369a9edbdd001e12",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::treekem_group_membership_epoch_continuity_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T03:05:09Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:ed19d9fed9371a8369453ccd545ee85a1e34ed7facb79a2c243f84ab6917b498",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/treekem_group_membership_epoch_continuity_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 13,
"total": 13,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
33 changes: 33 additions & 0 deletions ...s::crates::trios-chat::rings::CR-CHAT-03::src::treekem_leaf_node_key_freshness_guard.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
{
"built_by": "t27c-bootstrap@0.5.2+473aea64b",
"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:d7480f2e57c1966fc310c9f80ccd8fb6960dfabd0df918beaadd60e294b9cf7e",
"gen_hash_rust": "sha256:452e392e7296054e72cfedae159cef388ef4d96ec32b89b98bd6253baa9b5aac",
"gen_hash_verilog": "sha256:34b8c36331d107444dc72661248a0c898fedcf73b98e959e8b096cbf0f0387e9",
"gen_hash_zig": "sha256:08519d7fd6e6335150db02e255a394e5b51b6313393ce6b6787100de7eb01067",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::treekem_leaf_node_key_freshness_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T03:05:13Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:7db309945aa4403538647e02940fc72962f8bb75be083ad1cb698346b31ba4aa",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/treekem_leaf_node_key_freshness_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 13,
"total": 13,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
33 changes: 33 additions & 0 deletions ...es::trios-chat::rings::CR-CHAT-03::src::treekem_leaf_node_version_monotonicity_guard.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
{
"built_by": "t27c-bootstrap@0.5.2+473aea64b",
"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:8111c4a78fdf141ab8796d01ff1f54335972fbdff72488077b23b6b716eb30a9",
"gen_hash_rust": "sha256:7dcb404ab5204cbf1d0ee0997e25541e057c13ba972e6253211df7dcd756ae0d",
"gen_hash_verilog": "sha256:6b2a214171eeee872797ebf04106dbe015f80abc72bd895b432366dea96477d6",
"gen_hash_zig": "sha256:afec0ac734892e92c5db0a9530956e9e43f4400a3e93b396065811728078056f",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::treekem_leaf_node_version_monotonicity_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T03:05:17Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:2526a73c039161163ac9acc7990283b19cd74604189ea496c95824f3304a7d3a",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/treekem_leaf_node_version_monotonicity_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 13,
"total": 13,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
28 changes: 28 additions & 0 deletions ...port::trios::crates::trios-chat::rings::CR-CHAT-03::src::treekem_parent_hash_binding.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+473aea64b",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:ddc73146eb22ba9a94c43251287e011dcd26bb9289e6dffa5728e0e77c6b95e7",
"gen_hash_rust": "sha256:ef373bf2c1af5cd800cc3837566e47a5fbf62d6dde8987c45837de6cf270f32d",
"gen_hash_verilog": "sha256:d4895efddc0251ef370fbe1bed3a9641b156e6c7561f8554668f3dad3a5e8eef",
"gen_hash_zig": "sha256:4532e639439bcdfdd472108d4e07275c5c60022cb64f04f9149090adfc5ffa81",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::treekem_parent_hash_binding",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T03:05:20Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:9870f77ab182568b0625b5b245096b17bb675967c472f56f36e6ddf798095c4b",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/treekem_parent_hash_binding.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 13,
"total": 13,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
33 changes: 33 additions & 0 deletions ...ates::trios-chat::rings::CR-CHAT-03::src::treekem_parent_hash_chain_continuity_guard.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
{
"built_by": "t27c-bootstrap@0.5.2+473aea64b",
"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:29c6f50806c5f37cb27c647cafe93137f789b41cd357bb6f911562350a6b407d",
"gen_hash_rust": "sha256:8d963f327a8c479cc2aadcf8007f3c38f248e2fc6a753d63fdf9cd93ac455c72",
"gen_hash_verilog": "sha256:179b4cec85603902b9d1ae6f07bd0b8535f34ef897bde7bdf8b478f824dfe682",
"gen_hash_zig": "sha256:857db101e07a9feed241d1f1de25c76308491226bdb88e4c337f31713cbb18fa",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::treekem_parent_hash_chain_continuity_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T03:05:24Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:ef507a32f20dd61c47f452aa35492900eb12ca59a41696cd13240e883e9f1982",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/treekem_parent_hash_chain_continuity_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 12,
"total": 12,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
28 changes: 28 additions & 0 deletions ...ates::trios-chat::rings::CR-CHAT-03::src::treekem_parent_node_resolution_depth_guard.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+473aea64b",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:de6598a51c3e9d7c678c6c206a839d220a4bddc710f2fa3c1bfdaa525138f79c",
"gen_hash_rust": "sha256:5b2e8334431c51fe7a918f70d5797e33edc513ab89add4402262b92ac471e7d8",
"gen_hash_verilog": "sha256:537ce0eba1c14fbb65570e8923e296191692f254e6514f2f5079aa7a30516a91",
"gen_hash_zig": "sha256:3229caa4e7a63e7349a08daedb956915751742cf4a87b2879a431d1eee0f8e03",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::treekem_parent_node_resolution_depth_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T03:19:55Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:1100bc0664a5dee7c2e15501b8fe95ae3711cad92ebb1b0a4119a18677b87fd6",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/treekem_parent_node_resolution_depth_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 12,
"total": 12,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
33 changes: 33 additions & 0 deletions ...rates::trios-chat::rings::CR-CHAT-03::src::treekem_path_secret_forward_secrecy_guard.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
{
"built_by": "t27c-bootstrap@0.5.2+473aea64b",
"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:4d5c4265e9af77e520f40281217dd812726c3b8fb7cbb412dcbdb46ee8d9005f",
"gen_hash_rust": "sha256:9c4c5bb81f806b3e5d3cb43393a7f8accc6c04ad9df39f54c284df691777c006",
"gen_hash_verilog": "sha256:bd209b9157dd11b720f5bd88989bc494b2e2b2a02a2db45fe7146c42748aa23f",
"gen_hash_zig": "sha256:9c57a38136a389f75c11cac9c47393f7a0912c07d7d342010f6847ce8117a7c1",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-03::src::treekem_path_secret_forward_secrecy_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T03:25:33Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:9468ef0c3b204b3cf3b1c366602431568bc5749395609eb6c241105bc5be4c85",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/treekem_path_secret_forward_secrecy_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 12,
"total": 12,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:8512b80da533b79289110fca4a65f3336abd7a059ca4b72ea595d5e33ff8ad10",
"zig": "0.16.0"
}
}
Loading
Loading