diff --git a/docs/audit_tritrpc_v1_parity.md b/docs/audit_tritrpc_v1_parity.md index ad4e6d6..a21e17d 100644 --- a/docs/audit_tritrpc_v1_parity.md +++ b/docs/audit_tritrpc_v1_parity.md @@ -14,6 +14,7 @@ and the corrective actions taken. | A5 | **Medium** | Spec/docs claimed MAC fallback, rolling nonces, and AUX structures were supported across ports. | Spec/docs now reflect current port behavior (`spec/README-full-spec.md` L7-L23; `docs/THEORY.md` L70-L94). | **Fixed** | | A6 | **Low** | README referenced CI/repack-check jobs that did not exist. | Added `Makefile` + CI workflow and updated README (`Makefile` L1-L20; `.github/workflows/ci.yml` L1-L27; `README.md` L106-L120). | **Fixed** | | A7 | **Low** | Tag comparisons used direct equality; constant-time compare was missing. | Constant-time comparisons now used in Go/Rust fixture checks (`go/tritrpcv1/fixtures_test.go` L117-L122; `rust/tritrpc_v1/tests/fixtures.rs` L123-L125). | **Fixed** | +| A8 | **Medium** | Go/Rust fixture verification omitted Path‑B fixtures, leaving repack determinism unchecked for ternary payload frames. | Path‑B fixtures are now included in Go/Rust fixture test sets (`go/tritrpcv1/fixtures_test.go` L73-L77; `rust/tritrpc_v1/tests/fixtures.rs` L60-L79). | **Fixed** | ## Scope checklist coverage diff --git a/go/tritrpcv1/fixtures_test.go b/go/tritrpcv1/fixtures_test.go index a7d1ac8..666dc9a 100644 --- a/go/tritrpcv1/fixtures_test.go +++ b/go/tritrpcv1/fixtures_test.go @@ -74,6 +74,7 @@ func TestFixturesAEADAndPayloads(t *testing.T) { {"fixtures/vectors_hex_stream_avrochunk.txt", "fixtures/vectors_hex_stream_avrochunk.txt.nonces"}, {"fixtures/vectors_hex_unary_rich.txt", "fixtures/vectors_hex_unary_rich.txt.nonces"}, {"fixtures/vectors_hex_stream_avronested.txt", "fixtures/vectors_hex_stream_avronested.txt.nonces"}, + {"fixtures/vectors_hex_pathB.txt", "fixtures/vectors_hex_pathB.txt.nonces"}, } key := [32]byte{} for _, s := range sets { diff --git a/rust/tritrpc_v1/tests/fixtures.rs b/rust/tritrpc_v1/tests/fixtures.rs index c5e96e4..5c28439 100644 --- a/rust/tritrpc_v1/tests/fixtures.rs +++ b/rust/tritrpc_v1/tests/fixtures.rs @@ -70,6 +70,10 @@ fn verify_all_frames_and_payloads() { "fixtures/vectors_hex_stream_avronested.txt", "fixtures/vectors_hex_stream_avronested.txt.nonces", ), + ( + "fixtures/vectors_hex_pathB.txt", + "fixtures/vectors_hex_pathB.txt.nonces", + ), ]; let key = [0u8; 32]; for (fx, nx) in sets {