refactor: organisation

trace_decoder/Cargo.toml

@@ -37,7 +37,5 @@ bitvec = "1.0.1"
 [dev-dependencies]
 hex = { workspace = true, features = ["serde"] }
 insta = { version = "1.39.0", features = ["glob"] }
-once_cell = "1.19.0"
 pretty_env_logger = "0.5.0"
 serde_json.workspace = true
-winnow = { version = "0.6.11", features = ["debug"] }

trace_decoder/src/lib.rs

@@ -142,7 +142,36 @@ pub fn type_1(
 }
 
 mod type1 {
-    pub use witness::{Instruction, V1Header, Witness};
-    mod witness;
-    mod witness2forest;
+    //! Based on [this specification](https://gist.github.com/mandrigin/ff7eccf30d0ef9c572bafcb0ab665cff#the-bytes-layout).
+    //! Deviations are commented with `BUG`.
+
+    /// Execution of [`Instruction`]s from the wire into a trie.
+    ///
+    /// Use of a stack machine is amenable to streaming off the wire.
+    mod execution;
+    /// Parser combinators for the binary "wire" format.
+    ///
+    /// Use of [`winnow`] is amenable to streaming off the wire.
+    mod wire;
+
+    #[test]
+    fn test() {
+        use insta::assert_debug_snapshot;
+        use serde::Deserialize;
+
+        #[derive(Deserialize)]
+        struct Case {
+            #[serde(with = "hex", rename = "hex")]
+            pub bytes: Vec<u8>,
+        }
+
+        for vector in
+            serde_json::from_str::<Vec<Case>>(include_str!("type1/witness_vectors.json")).unwrap()
+        {
+            let instructions = wire::parse(&vector.bytes).unwrap();
+            assert_debug_snapshot!(instructions);
+            let executed = execution::execute(instructions).unwrap();
+            assert_debug_snapshot!(executed);
+        }
+    }
 }

trace_decoder/src/type1/snapshots/trace_decoder__type1__witness__witness_test_vectors-10.snap → trace_decoder/src/snapshots/trace_decoder__type1__test-10.snap

@@ -1,6 +1,6 @@
 ---
-source: trace_decoder/src/type1/witness.rs
-expression: collapsed
+source: trace_decoder/src/lib.rs
+expression: executed
 ---
 NonEmpty {
     inner: [