nmarshall commited on
Commit
beb8417
·
1 Parent(s): 1a0b6ef

gameplay: use original scoreboard formatting

Browse files
crates/urt-gameplay/src/scoreboard_wire.rs CHANGED
@@ -4,6 +4,7 @@ use crate::recipient_payload::Client;
4
  pub enum Error {
5
  InvalidClientId,
6
  InvalidOrder,
 
7
  }
8
  /// Scoreboard uses raw class and only connection1 forces ping999. Reuse the
9
  /// common status/cache arithmetic while preserving these distinct source gates.
@@ -58,7 +59,7 @@ pub fn prepare(
58
  let mut row = vec![];
59
  for number in numbers {
60
  row.push(b' ');
61
- row.extend_from_slice(number.to_string().as_bytes());
62
  }
63
  let name = crate::recipient_wire::copy_name(&names[id]);
64
  let end = name.iter().position(|b| *b == 0).unwrap();
@@ -70,9 +71,17 @@ pub fn prepare(
70
  payload.extend_from_slice(&row);
71
  accepted += 1;
72
  }
73
- let mut cstring = format!("scores {} {} {}", accepted, scores[0], scores[1]).into_bytes();
74
- cstring.extend_from_slice(&payload);
75
- cstring.push(0);
 
 
 
 
 
 
 
 
76
  let buffer_index = *counter & 1;
77
  *counter = counter.wrapping_add(1);
78
  Ok(Packet {
 
4
  pub enum Error {
5
  InvalidClientId,
6
  InvalidOrder,
7
+ FormatDomain,
8
  }
9
  /// Scoreboard uses raw class and only connection1 forces ping999. Reuse the
10
  /// common status/cache arithmetic while preserving these distinct source gates.
 
59
  let mut row = vec![];
60
  for number in numbers {
61
  row.push(b' ');
62
+ row.extend_from_slice(&crate::qvm_format::decimal(number));
63
  }
64
  let name = crate::recipient_wire::copy_name(&names[id]);
65
  let end = name.iter().position(|b| *b == 0).unwrap();
 
71
  payload.extend_from_slice(&row);
72
  accepted += 1;
73
  }
74
+ use crate::qvm_format::{Argument, render};
75
+ let cstring = render(
76
+ b"scores %i %i %i%s",
77
+ &[
78
+ Argument::Word(accepted as i32),
79
+ Argument::Word(scores[0]),
80
+ Argument::Word(scores[1]),
81
+ Argument::Bytes(Some(&payload)),
82
+ ],
83
+ )
84
+ .map_err(|_| Error::FormatDomain)?;
85
  let buffer_index = *counter & 1;
86
  *counter = counter.wrapping_add(1);
87
  Ok(Packet {
docs/FINDINGS.md CHANGED
@@ -1451,3 +1451,6 @@ RE-802–811 adds opt-in coherent memory, original string/scoreboard control flo
1451
 
1452
 
1453
  **RE-817:** Rust now matches actual37914 rather than host printf for decimal/string/character dispatch, including signed-minimum, null precision and padding quirks. [Evidence](research/RUST_QVM_FORMAT.md).
 
 
 
 
1451
 
1452
 
1453
  **RE-817:** Rust now matches actual37914 rather than host printf for decimal/string/character dispatch, including signed-minimum, null precision and padding quirks. [Evidence](research/RUST_QVM_FORMAT.md).
1454
+
1455
+
1456
+ **RE-818:** Rust scoreboard construction now uses recovered decimal/format semantics, replacing the earlier host-decimal assumption and matching actual source formatter packets. [Evidence](research/RUST_SCOREBOARD_ORIGINAL.md).
docs/PROVISIONAL_TODO.md CHANGED
@@ -1461,3 +1461,6 @@ RE-816: Replacing the standard-decimal boundary with actual37914 exposes signed-
1461
 
1462
 
1463
  RE-817: Rust now matches actual37914 rather than host printf for decimal/string/character dispatch, including signed-minimum, null precision and padding quirks. Full runtime completion remains open. [Evidence](research/RUST_QVM_FORMAT.md).
 
 
 
 
1461
 
1462
 
1463
  RE-817: Rust now matches actual37914 rather than host printf for decimal/string/character dispatch, including signed-minimum, null precision and padding quirks. Full runtime completion remains open. [Evidence](research/RUST_QVM_FORMAT.md).
1464
+
1465
+
1466
+ RE-818: Rust scoreboard construction now uses recovered decimal/format semantics, replacing the earlier host-decimal assumption and matching actual source formatter packets. Full runtime completion remains open. [Evidence](research/RUST_SCOREBOARD_ORIGINAL.md).
docs/RESEARCH_LEDGER.md CHANGED
@@ -1753,3 +1753,8 @@ Replacing the standard-decimal boundary with actual37914 exposes signed-minimum
1753
  ## 2026-10-27 — RE-817 Rust recovered formatter subset with original byte quirks
1754
 
1755
  Rust now matches actual37914 rather than host printf for decimal/string/character dispatch, including signed-minimum, null precision and padding quirks. Focused `cargo xtask test-group rust-qvm-format` passes (9 Python tests); selected reports regenerate twice deterministically, with storage, documentation links and whitespace guards. Full suite deferred to task ten. Original assets unchanged; source fixtures do not establish complete native/runtime parity.
 
 
 
 
 
 
1753
  ## 2026-10-27 — RE-817 Rust recovered formatter subset with original byte quirks
1754
 
1755
  Rust now matches actual37914 rather than host printf for decimal/string/character dispatch, including signed-minimum, null precision and padding quirks. Focused `cargo xtask test-group rust-qvm-format` passes (9 Python tests); selected reports regenerate twice deterministically, with storage, documentation links and whitespace guards. Full suite deferred to task ten. Original assets unchanged; source fixtures do not establish complete native/runtime parity.
1756
+
1757
+
1758
+ ## 2026-10-27 — RE-818 Rust scoreboard packets corrected to original formatter bytes
1759
+
1760
+ Rust scoreboard construction now uses recovered decimal/format semantics, replacing the earlier host-decimal assumption and matching actual source formatter packets. Focused `cargo xtask test-group rust-scoreboard-original` passes (15 Python tests); selected reports regenerate twice deterministically, with storage, documentation links and whitespace guards. Full suite deferred to task ten. Original assets unchanged; source fixtures do not establish complete native/runtime parity.
docs/REVERSE_ENGINEERING_TODO.md CHANGED
@@ -1501,3 +1501,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
1501
 
1502
 
1503
  - [x] RE-817 Rust recovered formatter subset with original byte quirks ([evidence](research/RUST_QVM_FORMAT.md)).
 
 
 
 
1501
 
1502
 
1503
  - [x] RE-817 Rust recovered formatter subset with original byte quirks ([evidence](research/RUST_QVM_FORMAT.md)).
1504
+
1505
+
1506
+ - [x] RE-818 Rust scoreboard packets corrected to original formatter bytes ([evidence](research/RUST_SCOREBOARD_ORIGINAL.md)).
docs/research/QVM_SCOREBOARD_STREAM.md CHANGED
@@ -5,3 +5,5 @@ RE-809. Reproduce with `python3 scripts/analyze_qvm_scoreboard_stream.py`; focus
5
  Ten finite populations with zero..32 clients and at most two connected recipients exercise repeated bodies in original scan order. An independent sequential model carries cache state and ring wrap between packets, checks every C string and confirms capacity-prefix effects. Existing captured-body defaults remain available. Native format/copy/send behavior and exit-rule7805 effects remain explicit limits.
6
 
7
  Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.
 
 
 
5
  Ten finite populations with zero..32 clients and at most two connected recipients exercise repeated bodies in original scan order. An independent sequential model carries cache state and ring wrap between packets, checks every C string and confirms capacity-prefix effects. Existing captured-body defaults remain available. Native format/copy/send behavior and exit-rule7805 effects remain explicit limits.
6
 
7
  Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.
8
+
9
+ RE-818 supersedes the earlier formatter model for current packet parity: original37914 now executes in the reference, and Rust uses its recovered decimal semantics. Native copy/send assumptions remain explicit. See [current evidence](RUST_SCOREBOARD_ORIGINAL.md).
docs/research/README.md CHANGED
@@ -1041,3 +1041,6 @@ The extension collector adds five focused tests for native tail calls, command-r
1041
 
1042
 
1043
  [RE-817: Rust recovered formatter subset with original byte quirks](RUST_QVM_FORMAT.md).
 
 
 
 
1041
 
1042
 
1043
  [RE-817: Rust recovered formatter subset with original byte quirks](RUST_QVM_FORMAT.md).
1044
+
1045
+
1046
+ [RE-818: Rust scoreboard packets corrected to original formatter bytes](RUST_SCOREBOARD_ORIGINAL.md).
docs/research/RUST_SCOREBOARD_ORIGINAL.md ADDED
@@ -0,0 +1,7 @@
 
 
 
 
 
 
 
 
1
+ # Rust scoreboard packets corrected to original formatter bytes
2
+
3
+ RE-818. Reproduce with `python3 scripts/analyze_rust_scoreboard_original.py`; focused validation: `cargo xtask test-group rust-scoreboard-original`. [Machine report](rust-scoreboard-original.json).
4
+
5
+ 18 source packet cases verify exact bytes, admission, caches and ring state, including fixtures that differ from the earlier explicit model. The existing packet parity producer now points to actual37914 evidence, and source broadcast streams also execute the original formatter. Raw native name copying and sending remain modeled/captured. Existing byte-model findings are retained as historical bounded models.
6
+
7
+ Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.
docs/research/RUST_SCOREBOARD_PACKET.md CHANGED
@@ -5,3 +5,5 @@ RE-808. Reproduce with `python3 scripts/analyze_rust_scoreboard_packet.py`; focu
5
  The packet API validates complete input shape before mutation, admits a prefix with at most1024 row bytes and increments the ring counter even for an empty packet. Names retain the existing explicit fallback/truncation/raw-byte model. Unit tests independently construct an exact1024-byte packet, verify the19th attempted cache mutation, and check atomic malformed-order rejection. Native formatter/copy/send parity is still not claimed.
6
 
7
  Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.
 
 
 
5
  The packet API validates complete input shape before mutation, admits a prefix with at most1024 row bytes and increments the ring counter even for an empty packet. Names retain the existing explicit fallback/truncation/raw-byte model. Unit tests independently construct an exact1024-byte packet, verify the19th attempted cache mutation, and check atomic malformed-order rejection. Native formatter/copy/send parity is still not claimed.
6
 
7
  Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.
8
+
9
+ RE-818 supersedes the earlier formatter model for current packet parity: original37914 now executes in the reference, and Rust uses its recovered decimal semantics. Native copy/send assumptions remain explicit. See [current evidence](RUST_SCOREBOARD_ORIGINAL.md).
docs/research/qvm-scoreboard-stream.json CHANGED
@@ -1,5 +1,5 @@
1
  {
2
- "limits": "Actual6328 executes actual179363/string/format wrappers for each selected state2 recipient with shared caches/ring across10 finite populations.37914/native strncpy modeled and send captured. At most two recipients per case bounds focused execution cost; large population admission includes rejected candidates.7805 effects and full ranking caller/native wire acceptance remain open.",
3
  "probes": [
4
  {
5
  "broadcast_trace_sha256": "ec30401b380d8694834b454710490e901765a36b678c6547af134f14a36d2a34",
 
1
  {
2
+ "limits": "Actual6328 executes actual179363/string/format wrappers for each selected state2 recipient with shared caches/ring across10 finite populations.37914 executes; native strncpy modeled and send captured. At most two recipients per case bounds focused execution cost; large population admission includes rejected candidates.7805 effects and full ranking caller/native wire acceptance remain open.",
3
  "probes": [
4
  {
5
  "broadcast_trace_sha256": "ec30401b380d8694834b454710490e901765a36b678c6547af134f14a36d2a34",
docs/research/rust-scoreboard-original.json ADDED
@@ -0,0 +1,1057 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "limits": "Rust scoreboard packets now use recovered37914 decimal semantics and match18 actual formatter/control-flow cases. Earlier model comparison remains visible. Native strncpy/send and runtime integration remain unverified.",
3
+ "probes": [
4
+ {
5
+ "earlier_model_hex": "73636f72657320302032203100",
6
+ "rust": {
7
+ "accepted": 0,
8
+ "attempted": 0,
9
+ "buffer_index": 0,
10
+ "cached": [],
11
+ "counter": 1,
12
+ "cstring_hex": "73636f72657320302032203100",
13
+ "payload_length": 0
14
+ },
15
+ "source": {
16
+ "accepted": 0,
17
+ "attempted": 0,
18
+ "buffer_index": 0,
19
+ "cached": [],
20
+ "counter": 1,
21
+ "cstring_hex": "73636f72657320302032203100",
22
+ "payload_length": 0
23
+ }
24
+ },
25
+ {
26
+ "earlier_model_hex": "73636f72657320302032203100",
27
+ "rust": {
28
+ "accepted": 0,
29
+ "attempted": 0,
30
+ "buffer_index": 1,
31
+ "cached": [],
32
+ "counter": 2,
33
+ "cstring_hex": "73636f72657320302032203100",
34
+ "payload_length": 0
35
+ },
36
+ "source": {
37
+ "accepted": 0,
38
+ "attempted": 0,
39
+ "buffer_index": 1,
40
+ "cached": [],
41
+ "counter": 2,
42
+ "cstring_hex": "73636f72657320302032203100",
43
+ "payload_length": 0
44
+ }
45
+ },
46
+ {
47
+ "earlier_model_hex": "73636f72657320302032203100",
48
+ "rust": {
49
+ "accepted": 0,
50
+ "attempted": 0,
51
+ "buffer_index": 1,
52
+ "cached": [],
53
+ "counter": 0,
54
+ "cstring_hex": "73636f72657320302032203100",
55
+ "payload_length": 0
56
+ },
57
+ "source": {
58
+ "accepted": 0,
59
+ "attempted": 0,
60
+ "buffer_index": 1,
61
+ "cached": [],
62
+ "counter": 0,
63
+ "cstring_hex": "73636f72657320302032203100",
64
+ "payload_length": 0
65
+ }
66
+ },
67
+ {
68
+ "earlier_model_hex": "73636f7265732031203220312030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
69
+ "rust": {
70
+ "accepted": 1,
71
+ "attempted": 1,
72
+ "buffer_index": 0,
73
+ "cached": [
74
+ 4294967291
75
+ ],
76
+ "counter": 1,
77
+ "cstring_hex": "73636f7265732031203220312030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
78
+ "payload_length": 50
79
+ },
80
+ "source": {
81
+ "accepted": 1,
82
+ "attempted": 1,
83
+ "buffer_index": 0,
84
+ "cached": [
85
+ 4294967291
86
+ ],
87
+ "counter": 1,
88
+ "cstring_hex": "73636f7265732031203220312030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
89
+ "payload_length": 50
90
+ }
91
+ },
92
+ {
93
+ "earlier_model_hex": "73636f7265732031203220312030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
94
+ "rust": {
95
+ "accepted": 1,
96
+ "attempted": 1,
97
+ "buffer_index": 1,
98
+ "cached": [
99
+ 4294967291
100
+ ],
101
+ "counter": 2,
102
+ "cstring_hex": "73636f7265732031203220312030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
103
+ "payload_length": 50
104
+ },
105
+ "source": {
106
+ "accepted": 1,
107
+ "attempted": 1,
108
+ "buffer_index": 1,
109
+ "cached": [
110
+ 4294967291
111
+ ],
112
+ "counter": 2,
113
+ "cstring_hex": "73636f7265732031203220312030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
114
+ "payload_length": 50
115
+ }
116
+ },
117
+ {
118
+ "earlier_model_hex": "73636f7265732031203220312030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
119
+ "rust": {
120
+ "accepted": 1,
121
+ "attempted": 1,
122
+ "buffer_index": 1,
123
+ "cached": [
124
+ 4294967291
125
+ ],
126
+ "counter": 0,
127
+ "cstring_hex": "73636f7265732031203220312030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
128
+ "payload_length": 50
129
+ },
130
+ "source": {
131
+ "accepted": 1,
132
+ "attempted": 1,
133
+ "buffer_index": 1,
134
+ "cached": [
135
+ 4294967291
136
+ ],
137
+ "counter": 0,
138
+ "cstring_hex": "73636f7265732031203220312030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
139
+ "payload_length": 50
140
+ }
141
+ },
142
+ {
143
+ "earlier_model_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
144
+ "rust": {
145
+ "accepted": 2,
146
+ "attempted": 2,
147
+ "buffer_index": 0,
148
+ "cached": [
149
+ 4294967291,
150
+ 77
151
+ ],
152
+ "counter": 1,
153
+ "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
154
+ "payload_length": 90
155
+ },
156
+ "source": {
157
+ "accepted": 2,
158
+ "attempted": 2,
159
+ "buffer_index": 0,
160
+ "cached": [
161
+ 4294967291,
162
+ 77
163
+ ],
164
+ "counter": 1,
165
+ "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
166
+ "payload_length": 90
167
+ }
168
+ },
169
+ {
170
+ "earlier_model_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
171
+ "rust": {
172
+ "accepted": 2,
173
+ "attempted": 2,
174
+ "buffer_index": 1,
175
+ "cached": [
176
+ 4294967291,
177
+ 77
178
+ ],
179
+ "counter": 2,
180
+ "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
181
+ "payload_length": 90
182
+ },
183
+ "source": {
184
+ "accepted": 2,
185
+ "attempted": 2,
186
+ "buffer_index": 1,
187
+ "cached": [
188
+ 4294967291,
189
+ 77
190
+ ],
191
+ "counter": 2,
192
+ "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
193
+ "payload_length": 90
194
+ }
195
+ },
196
+ {
197
+ "earlier_model_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
198
+ "rust": {
199
+ "accepted": 2,
200
+ "attempted": 2,
201
+ "buffer_index": 1,
202
+ "cached": [
203
+ 4294967291,
204
+ 77
205
+ ],
206
+ "counter": 0,
207
+ "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
208
+ "payload_length": 90
209
+ },
210
+ "source": {
211
+ "accepted": 2,
212
+ "attempted": 2,
213
+ "buffer_index": 1,
214
+ "cached": [
215
+ 4294967291,
216
+ 77
217
+ ],
218
+ "counter": 0,
219
+ "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
220
+ "payload_length": 90
221
+ }
222
+ },
223
+ {
224
+ "earlier_model_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
225
+ "rust": {
226
+ "accepted": 8,
227
+ "attempted": 8,
228
+ "buffer_index": 0,
229
+ "cached": [
230
+ 4294967291,
231
+ 77,
232
+ 4294967291,
233
+ 77,
234
+ 4294967291,
235
+ 77,
236
+ 4294967291,
237
+ 77
238
+ ],
239
+ "counter": 1,
240
+ "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
241
+ "payload_length": 423
242
+ },
243
+ "source": {
244
+ "accepted": 8,
245
+ "attempted": 8,
246
+ "buffer_index": 0,
247
+ "cached": [
248
+ 4294967291,
249
+ 77,
250
+ 4294967291,
251
+ 77,
252
+ 4294967291,
253
+ 77,
254
+ 4294967291,
255
+ 77
256
+ ],
257
+ "counter": 1,
258
+ "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
259
+ "payload_length": 423
260
+ }
261
+ },
262
+ {
263
+ "earlier_model_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
264
+ "rust": {
265
+ "accepted": 8,
266
+ "attempted": 8,
267
+ "buffer_index": 1,
268
+ "cached": [
269
+ 4294967291,
270
+ 77,
271
+ 4294967291,
272
+ 77,
273
+ 4294967291,
274
+ 77,
275
+ 4294967291,
276
+ 77
277
+ ],
278
+ "counter": 2,
279
+ "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
280
+ "payload_length": 423
281
+ },
282
+ "source": {
283
+ "accepted": 8,
284
+ "attempted": 8,
285
+ "buffer_index": 1,
286
+ "cached": [
287
+ 4294967291,
288
+ 77,
289
+ 4294967291,
290
+ 77,
291
+ 4294967291,
292
+ 77,
293
+ 4294967291,
294
+ 77
295
+ ],
296
+ "counter": 2,
297
+ "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
298
+ "payload_length": 423
299
+ }
300
+ },
301
+ {
302
+ "earlier_model_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
303
+ "rust": {
304
+ "accepted": 8,
305
+ "attempted": 8,
306
+ "buffer_index": 1,
307
+ "cached": [
308
+ 4294967291,
309
+ 77,
310
+ 4294967291,
311
+ 77,
312
+ 4294967291,
313
+ 77,
314
+ 4294967291,
315
+ 77
316
+ ],
317
+ "counter": 0,
318
+ "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
319
+ "payload_length": 423
320
+ },
321
+ "source": {
322
+ "accepted": 8,
323
+ "attempted": 8,
324
+ "buffer_index": 1,
325
+ "cached": [
326
+ 4294967291,
327
+ 77,
328
+ 4294967291,
329
+ 77,
330
+ 4294967291,
331
+ 77,
332
+ 4294967291,
333
+ 77
334
+ ],
335
+ "counter": 0,
336
+ "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
337
+ "payload_length": 423
338
+ }
339
+ },
340
+ {
341
+ "earlier_model_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d32313437343833363438202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
342
+ "rust": {
343
+ "accepted": 19,
344
+ "attempted": 20,
345
+ "buffer_index": 0,
346
+ "cached": [
347
+ 77,
348
+ 77,
349
+ 77,
350
+ 77,
351
+ 77,
352
+ 77,
353
+ 77,
354
+ 77,
355
+ 77,
356
+ 77,
357
+ 77,
358
+ 77,
359
+ 4294967291,
360
+ 77,
361
+ 4294967291,
362
+ 77,
363
+ 4294967291,
364
+ 77,
365
+ 4294967291,
366
+ 77,
367
+ 4294967291,
368
+ 77,
369
+ 4294967291,
370
+ 77,
371
+ 4294967291,
372
+ 77,
373
+ 4294967291,
374
+ 77,
375
+ 4294967291,
376
+ 77,
377
+ 4294967291,
378
+ 77
379
+ ],
380
+ "counter": 1,
381
+ "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
382
+ "payload_length": 1024
383
+ },
384
+ "source": {
385
+ "accepted": 19,
386
+ "attempted": 20,
387
+ "buffer_index": 0,
388
+ "cached": [
389
+ 77,
390
+ 77,
391
+ 77,
392
+ 77,
393
+ 77,
394
+ 77,
395
+ 77,
396
+ 77,
397
+ 77,
398
+ 77,
399
+ 77,
400
+ 77,
401
+ 4294967291,
402
+ 77,
403
+ 4294967291,
404
+ 77,
405
+ 4294967291,
406
+ 77,
407
+ 4294967291,
408
+ 77,
409
+ 4294967291,
410
+ 77,
411
+ 4294967291,
412
+ 77,
413
+ 4294967291,
414
+ 77,
415
+ 4294967291,
416
+ 77,
417
+ 4294967291,
418
+ 77,
419
+ 4294967291,
420
+ 77
421
+ ],
422
+ "counter": 1,
423
+ "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
424
+ "payload_length": 1024
425
+ }
426
+ },
427
+ {
428
+ "earlier_model_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d32313437343833363438202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
429
+ "rust": {
430
+ "accepted": 19,
431
+ "attempted": 20,
432
+ "buffer_index": 1,
433
+ "cached": [
434
+ 77,
435
+ 77,
436
+ 77,
437
+ 77,
438
+ 77,
439
+ 77,
440
+ 77,
441
+ 77,
442
+ 77,
443
+ 77,
444
+ 77,
445
+ 77,
446
+ 4294967291,
447
+ 77,
448
+ 4294967291,
449
+ 77,
450
+ 4294967291,
451
+ 77,
452
+ 4294967291,
453
+ 77,
454
+ 4294967291,
455
+ 77,
456
+ 4294967291,
457
+ 77,
458
+ 4294967291,
459
+ 77,
460
+ 4294967291,
461
+ 77,
462
+ 4294967291,
463
+ 77,
464
+ 4294967291,
465
+ 77
466
+ ],
467
+ "counter": 2,
468
+ "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
469
+ "payload_length": 1024
470
+ },
471
+ "source": {
472
+ "accepted": 19,
473
+ "attempted": 20,
474
+ "buffer_index": 1,
475
+ "cached": [
476
+ 77,
477
+ 77,
478
+ 77,
479
+ 77,
480
+ 77,
481
+ 77,
482
+ 77,
483
+ 77,
484
+ 77,
485
+ 77,
486
+ 77,
487
+ 77,
488
+ 4294967291,
489
+ 77,
490
+ 4294967291,
491
+ 77,
492
+ 4294967291,
493
+ 77,
494
+ 4294967291,
495
+ 77,
496
+ 4294967291,
497
+ 77,
498
+ 4294967291,
499
+ 77,
500
+ 4294967291,
501
+ 77,
502
+ 4294967291,
503
+ 77,
504
+ 4294967291,
505
+ 77,
506
+ 4294967291,
507
+ 77
508
+ ],
509
+ "counter": 2,
510
+ "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
511
+ "payload_length": 1024
512
+ }
513
+ },
514
+ {
515
+ "earlier_model_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d32313437343833363438202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
516
+ "rust": {
517
+ "accepted": 19,
518
+ "attempted": 20,
519
+ "buffer_index": 1,
520
+ "cached": [
521
+ 77,
522
+ 77,
523
+ 77,
524
+ 77,
525
+ 77,
526
+ 77,
527
+ 77,
528
+ 77,
529
+ 77,
530
+ 77,
531
+ 77,
532
+ 77,
533
+ 4294967291,
534
+ 77,
535
+ 4294967291,
536
+ 77,
537
+ 4294967291,
538
+ 77,
539
+ 4294967291,
540
+ 77,
541
+ 4294967291,
542
+ 77,
543
+ 4294967291,
544
+ 77,
545
+ 4294967291,
546
+ 77,
547
+ 4294967291,
548
+ 77,
549
+ 4294967291,
550
+ 77,
551
+ 4294967291,
552
+ 77
553
+ ],
554
+ "counter": 0,
555
+ "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
556
+ "payload_length": 1024
557
+ },
558
+ "source": {
559
+ "accepted": 19,
560
+ "attempted": 20,
561
+ "buffer_index": 1,
562
+ "cached": [
563
+ 77,
564
+ 77,
565
+ 77,
566
+ 77,
567
+ 77,
568
+ 77,
569
+ 77,
570
+ 77,
571
+ 77,
572
+ 77,
573
+ 77,
574
+ 77,
575
+ 4294967291,
576
+ 77,
577
+ 4294967291,
578
+ 77,
579
+ 4294967291,
580
+ 77,
581
+ 4294967291,
582
+ 77,
583
+ 4294967291,
584
+ 77,
585
+ 4294967291,
586
+ 77,
587
+ 4294967291,
588
+ 77,
589
+ 4294967291,
590
+ 77,
591
+ 4294967291,
592
+ 77,
593
+ 4294967291,
594
+ 77
595
+ ],
596
+ "counter": 0,
597
+ "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
598
+ "payload_length": 1024
599
+ }
600
+ },
601
+ {
602
+ "earlier_model_hex": "73636f72657320313920322031203633202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d32313437343833363438203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d32313437343833363438202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
603
+ "rust": {
604
+ "accepted": 19,
605
+ "attempted": 20,
606
+ "buffer_index": 0,
607
+ "cached": [
608
+ 77,
609
+ 77,
610
+ 77,
611
+ 77,
612
+ 77,
613
+ 77,
614
+ 77,
615
+ 77,
616
+ 77,
617
+ 77,
618
+ 77,
619
+ 77,
620
+ 77,
621
+ 77,
622
+ 77,
623
+ 77,
624
+ 77,
625
+ 77,
626
+ 77,
627
+ 77,
628
+ 77,
629
+ 77,
630
+ 77,
631
+ 77,
632
+ 77,
633
+ 77,
634
+ 77,
635
+ 77,
636
+ 77,
637
+ 77,
638
+ 77,
639
+ 77,
640
+ 77,
641
+ 77,
642
+ 77,
643
+ 77,
644
+ 77,
645
+ 77,
646
+ 77,
647
+ 77,
648
+ 77,
649
+ 77,
650
+ 77,
651
+ 77,
652
+ 4294967291,
653
+ 77,
654
+ 4294967291,
655
+ 77,
656
+ 4294967291,
657
+ 77,
658
+ 4294967291,
659
+ 77,
660
+ 4294967291,
661
+ 77,
662
+ 4294967291,
663
+ 77,
664
+ 4294967291,
665
+ 77,
666
+ 4294967291,
667
+ 77,
668
+ 4294967291,
669
+ 77,
670
+ 4294967291,
671
+ 77
672
+ ],
673
+ "counter": 1,
674
+ "cstring_hex": "73636f72657320313920322031203633202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d2e2f2c292c282d2a2c28203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
675
+ "payload_length": 1005
676
+ },
677
+ "source": {
678
+ "accepted": 19,
679
+ "attempted": 20,
680
+ "buffer_index": 0,
681
+ "cached": [
682
+ 77,
683
+ 77,
684
+ 77,
685
+ 77,
686
+ 77,
687
+ 77,
688
+ 77,
689
+ 77,
690
+ 77,
691
+ 77,
692
+ 77,
693
+ 77,
694
+ 77,
695
+ 77,
696
+ 77,
697
+ 77,
698
+ 77,
699
+ 77,
700
+ 77,
701
+ 77,
702
+ 77,
703
+ 77,
704
+ 77,
705
+ 77,
706
+ 77,
707
+ 77,
708
+ 77,
709
+ 77,
710
+ 77,
711
+ 77,
712
+ 77,
713
+ 77,
714
+ 77,
715
+ 77,
716
+ 77,
717
+ 77,
718
+ 77,
719
+ 77,
720
+ 77,
721
+ 77,
722
+ 77,
723
+ 77,
724
+ 77,
725
+ 77,
726
+ 4294967291,
727
+ 77,
728
+ 4294967291,
729
+ 77,
730
+ 4294967291,
731
+ 77,
732
+ 4294967291,
733
+ 77,
734
+ 4294967291,
735
+ 77,
736
+ 4294967291,
737
+ 77,
738
+ 4294967291,
739
+ 77,
740
+ 4294967291,
741
+ 77,
742
+ 4294967291,
743
+ 77,
744
+ 4294967291,
745
+ 77
746
+ ],
747
+ "counter": 1,
748
+ "cstring_hex": "73636f72657320313920322031203633202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d2e2f2c292c282d2a2c28203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
749
+ "payload_length": 1005
750
+ }
751
+ },
752
+ {
753
+ "earlier_model_hex": "73636f72657320313920322031203633202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d32313437343833363438203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d32313437343833363438202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
754
+ "rust": {
755
+ "accepted": 19,
756
+ "attempted": 20,
757
+ "buffer_index": 1,
758
+ "cached": [
759
+ 77,
760
+ 77,
761
+ 77,
762
+ 77,
763
+ 77,
764
+ 77,
765
+ 77,
766
+ 77,
767
+ 77,
768
+ 77,
769
+ 77,
770
+ 77,
771
+ 77,
772
+ 77,
773
+ 77,
774
+ 77,
775
+ 77,
776
+ 77,
777
+ 77,
778
+ 77,
779
+ 77,
780
+ 77,
781
+ 77,
782
+ 77,
783
+ 77,
784
+ 77,
785
+ 77,
786
+ 77,
787
+ 77,
788
+ 77,
789
+ 77,
790
+ 77,
791
+ 77,
792
+ 77,
793
+ 77,
794
+ 77,
795
+ 77,
796
+ 77,
797
+ 77,
798
+ 77,
799
+ 77,
800
+ 77,
801
+ 77,
802
+ 77,
803
+ 4294967291,
804
+ 77,
805
+ 4294967291,
806
+ 77,
807
+ 4294967291,
808
+ 77,
809
+ 4294967291,
810
+ 77,
811
+ 4294967291,
812
+ 77,
813
+ 4294967291,
814
+ 77,
815
+ 4294967291,
816
+ 77,
817
+ 4294967291,
818
+ 77,
819
+ 4294967291,
820
+ 77,
821
+ 4294967291,
822
+ 77
823
+ ],
824
+ "counter": 2,
825
+ "cstring_hex": "73636f72657320313920322031203633202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d2e2f2c292c282d2a2c28203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
826
+ "payload_length": 1005
827
+ },
828
+ "source": {
829
+ "accepted": 19,
830
+ "attempted": 20,
831
+ "buffer_index": 1,
832
+ "cached": [
833
+ 77,
834
+ 77,
835
+ 77,
836
+ 77,
837
+ 77,
838
+ 77,
839
+ 77,
840
+ 77,
841
+ 77,
842
+ 77,
843
+ 77,
844
+ 77,
845
+ 77,
846
+ 77,
847
+ 77,
848
+ 77,
849
+ 77,
850
+ 77,
851
+ 77,
852
+ 77,
853
+ 77,
854
+ 77,
855
+ 77,
856
+ 77,
857
+ 77,
858
+ 77,
859
+ 77,
860
+ 77,
861
+ 77,
862
+ 77,
863
+ 77,
864
+ 77,
865
+ 77,
866
+ 77,
867
+ 77,
868
+ 77,
869
+ 77,
870
+ 77,
871
+ 77,
872
+ 77,
873
+ 77,
874
+ 77,
875
+ 77,
876
+ 77,
877
+ 4294967291,
878
+ 77,
879
+ 4294967291,
880
+ 77,
881
+ 4294967291,
882
+ 77,
883
+ 4294967291,
884
+ 77,
885
+ 4294967291,
886
+ 77,
887
+ 4294967291,
888
+ 77,
889
+ 4294967291,
890
+ 77,
891
+ 4294967291,
892
+ 77,
893
+ 4294967291,
894
+ 77,
895
+ 4294967291,
896
+ 77
897
+ ],
898
+ "counter": 2,
899
+ "cstring_hex": "73636f72657320313920322031203633202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d2e2f2c292c282d2a2c28203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
900
+ "payload_length": 1005
901
+ }
902
+ },
903
+ {
904
+ "earlier_model_hex": "73636f72657320313920322031203633202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d32313437343833363438203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d32313437343833363438202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
905
+ "rust": {
906
+ "accepted": 19,
907
+ "attempted": 20,
908
+ "buffer_index": 1,
909
+ "cached": [
910
+ 77,
911
+ 77,
912
+ 77,
913
+ 77,
914
+ 77,
915
+ 77,
916
+ 77,
917
+ 77,
918
+ 77,
919
+ 77,
920
+ 77,
921
+ 77,
922
+ 77,
923
+ 77,
924
+ 77,
925
+ 77,
926
+ 77,
927
+ 77,
928
+ 77,
929
+ 77,
930
+ 77,
931
+ 77,
932
+ 77,
933
+ 77,
934
+ 77,
935
+ 77,
936
+ 77,
937
+ 77,
938
+ 77,
939
+ 77,
940
+ 77,
941
+ 77,
942
+ 77,
943
+ 77,
944
+ 77,
945
+ 77,
946
+ 77,
947
+ 77,
948
+ 77,
949
+ 77,
950
+ 77,
951
+ 77,
952
+ 77,
953
+ 77,
954
+ 4294967291,
955
+ 77,
956
+ 4294967291,
957
+ 77,
958
+ 4294967291,
959
+ 77,
960
+ 4294967291,
961
+ 77,
962
+ 4294967291,
963
+ 77,
964
+ 4294967291,
965
+ 77,
966
+ 4294967291,
967
+ 77,
968
+ 4294967291,
969
+ 77,
970
+ 4294967291,
971
+ 77,
972
+ 4294967291,
973
+ 77
974
+ ],
975
+ "counter": 0,
976
+ "cstring_hex": "73636f72657320313920322031203633202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d2e2f2c292c282d2a2c28203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
977
+ "payload_length": 1005
978
+ },
979
+ "source": {
980
+ "accepted": 19,
981
+ "attempted": 20,
982
+ "buffer_index": 1,
983
+ "cached": [
984
+ 77,
985
+ 77,
986
+ 77,
987
+ 77,
988
+ 77,
989
+ 77,
990
+ 77,
991
+ 77,
992
+ 77,
993
+ 77,
994
+ 77,
995
+ 77,
996
+ 77,
997
+ 77,
998
+ 77,
999
+ 77,
1000
+ 77,
1001
+ 77,
1002
+ 77,
1003
+ 77,
1004
+ 77,
1005
+ 77,
1006
+ 77,
1007
+ 77,
1008
+ 77,
1009
+ 77,
1010
+ 77,
1011
+ 77,
1012
+ 77,
1013
+ 77,
1014
+ 77,
1015
+ 77,
1016
+ 77,
1017
+ 77,
1018
+ 77,
1019
+ 77,
1020
+ 77,
1021
+ 77,
1022
+ 77,
1023
+ 77,
1024
+ 77,
1025
+ 77,
1026
+ 77,
1027
+ 77,
1028
+ 4294967291,
1029
+ 77,
1030
+ 4294967291,
1031
+ 77,
1032
+ 4294967291,
1033
+ 77,
1034
+ 4294967291,
1035
+ 77,
1036
+ 4294967291,
1037
+ 77,
1038
+ 4294967291,
1039
+ 77,
1040
+ 4294967291,
1041
+ 77,
1042
+ 4294967291,
1043
+ 77,
1044
+ 4294967291,
1045
+ 77,
1046
+ 4294967291,
1047
+ 77
1048
+ ],
1049
+ "counter": 0,
1050
+ "cstring_hex": "73636f72657320313920322031203633202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d2e2f2c292c282d2a2c28203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
1051
+ "payload_length": 1005
1052
+ }
1053
+ }
1054
+ ],
1055
+ "source_report": "docs/research/qvm-scoreboard-formatter.json",
1056
+ "source_report_sha256": "6c9ee1ed936098a1699a198ed3f539cdf92c4f9a20c7f80dd192073d8bee455e"
1057
+ }
docs/research/rust-scoreboard-packet.json CHANGED
@@ -1,5 +1,5 @@
1
  {
2
- "limits": "Rust179363 projection/admission plus modeled byte formatter/name copy matches18 original-control-flow cases, including rejected-candidate cache mutations and ring wrap. Actual37914/native strncpy/server send parity remains unverified.",
3
  "probes": [
4
  {
5
  "rust": {
@@ -70,7 +70,7 @@
70
  4294967291
71
  ],
72
  "counter": 1,
73
- "cstring_hex": "73636f7265732031203220312030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
74
  "payload_length": 50
75
  },
76
  "source": {
@@ -81,7 +81,7 @@
81
  4294967291
82
  ],
83
  "counter": 1,
84
- "cstring_hex": "73636f7265732031203220312030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
85
  "payload_length": 50
86
  }
87
  },
@@ -94,7 +94,7 @@
94
  4294967291
95
  ],
96
  "counter": 2,
97
- "cstring_hex": "73636f7265732031203220312030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
98
  "payload_length": 50
99
  },
100
  "source": {
@@ -105,7 +105,7 @@
105
  4294967291
106
  ],
107
  "counter": 2,
108
- "cstring_hex": "73636f7265732031203220312030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
109
  "payload_length": 50
110
  }
111
  },
@@ -118,7 +118,7 @@
118
  4294967291
119
  ],
120
  "counter": 0,
121
- "cstring_hex": "73636f7265732031203220312030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
122
  "payload_length": 50
123
  },
124
  "source": {
@@ -129,7 +129,7 @@
129
  4294967291
130
  ],
131
  "counter": 0,
132
- "cstring_hex": "73636f7265732031203220312030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
133
  "payload_length": 50
134
  }
135
  },
@@ -143,7 +143,7 @@
143
  77
144
  ],
145
  "counter": 1,
146
- "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
147
  "payload_length": 90
148
  },
149
  "source": {
@@ -155,7 +155,7 @@
155
  77
156
  ],
157
  "counter": 1,
158
- "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
159
  "payload_length": 90
160
  }
161
  },
@@ -169,7 +169,7 @@
169
  77
170
  ],
171
  "counter": 2,
172
- "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
173
  "payload_length": 90
174
  },
175
  "source": {
@@ -181,7 +181,7 @@
181
  77
182
  ],
183
  "counter": 2,
184
- "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
185
  "payload_length": 90
186
  }
187
  },
@@ -195,7 +195,7 @@
195
  77
196
  ],
197
  "counter": 0,
198
- "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
199
  "payload_length": 90
200
  },
201
  "source": {
@@ -207,7 +207,7 @@
207
  77
208
  ],
209
  "counter": 0,
210
- "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
211
  "payload_length": 90
212
  }
213
  },
@@ -227,7 +227,7 @@
227
  77
228
  ],
229
  "counter": 1,
230
- "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
231
  "payload_length": 423
232
  },
233
  "source": {
@@ -245,7 +245,7 @@
245
  77
246
  ],
247
  "counter": 1,
248
- "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
249
  "payload_length": 423
250
  }
251
  },
@@ -265,7 +265,7 @@
265
  77
266
  ],
267
  "counter": 2,
268
- "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
269
  "payload_length": 423
270
  },
271
  "source": {
@@ -283,7 +283,7 @@
283
  77
284
  ],
285
  "counter": 2,
286
- "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
287
  "payload_length": 423
288
  }
289
  },
@@ -303,7 +303,7 @@
303
  77
304
  ],
305
  "counter": 0,
306
- "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
307
  "payload_length": 423
308
  },
309
  "source": {
@@ -321,7 +321,7 @@
321
  77
322
  ],
323
  "counter": 0,
324
- "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
325
  "payload_length": 423
326
  }
327
  },
@@ -365,7 +365,7 @@
365
  77
366
  ],
367
  "counter": 1,
368
- "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d32313437343833363438202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
369
  "payload_length": 1024
370
  },
371
  "source": {
@@ -407,7 +407,7 @@
407
  77
408
  ],
409
  "counter": 1,
410
- "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d32313437343833363438202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
411
  "payload_length": 1024
412
  }
413
  },
@@ -451,7 +451,7 @@
451
  77
452
  ],
453
  "counter": 2,
454
- "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d32313437343833363438202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
455
  "payload_length": 1024
456
  },
457
  "source": {
@@ -493,7 +493,7 @@
493
  77
494
  ],
495
  "counter": 2,
496
- "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d32313437343833363438202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
497
  "payload_length": 1024
498
  }
499
  },
@@ -537,7 +537,7 @@
537
  77
538
  ],
539
  "counter": 0,
540
- "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d32313437343833363438202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
541
  "payload_length": 1024
542
  },
543
  "source": {
@@ -579,7 +579,7 @@
579
  77
580
  ],
581
  "counter": 0,
582
- "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d32313437343833363438202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
583
  "payload_length": 1024
584
  }
585
  },
@@ -655,7 +655,7 @@
655
  77
656
  ],
657
  "counter": 1,
658
- "cstring_hex": "73636f72657320313920322031203633202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d32313437343833363438203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d32313437343833363438202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
659
  "payload_length": 1005
660
  },
661
  "source": {
@@ -729,7 +729,7 @@
729
  77
730
  ],
731
  "counter": 1,
732
- "cstring_hex": "73636f72657320313920322031203633202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d32313437343833363438203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d32313437343833363438202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
733
  "payload_length": 1005
734
  }
735
  },
@@ -805,7 +805,7 @@
805
  77
806
  ],
807
  "counter": 2,
808
- "cstring_hex": "73636f72657320313920322031203633202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d32313437343833363438203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d32313437343833363438202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
809
  "payload_length": 1005
810
  },
811
  "source": {
@@ -879,7 +879,7 @@
879
  77
880
  ],
881
  "counter": 2,
882
- "cstring_hex": "73636f72657320313920322031203633202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d32313437343833363438203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d32313437343833363438202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
883
  "payload_length": 1005
884
  }
885
  },
@@ -955,7 +955,7 @@
955
  77
956
  ],
957
  "counter": 0,
958
- "cstring_hex": "73636f72657320313920322031203633202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d32313437343833363438203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d32313437343833363438202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
959
  "payload_length": 1005
960
  },
961
  "source": {
@@ -1029,11 +1029,11 @@
1029
  77
1030
  ],
1031
  "counter": 0,
1032
- "cstring_hex": "73636f72657320313920322031203633202d32313437343833363438203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d32313437343833363438202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d32313437343833363438203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d32313437343833363438203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d32313437343833363438202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d32313437343833363438202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
1033
  "payload_length": 1005
1034
  }
1035
  }
1036
  ],
1037
- "source_report": "docs/research/qvm-scoreboard-wire.json",
1038
- "source_report_sha256": "ad4efa42d46418074ac85a7f02b6e15a82339a099aa36e41318017608187d02a"
1039
  }
 
1
  {
2
+ "limits": "Rust179363 projection/admission plus recovered original formatter and modeled native name copy matches18 original-control-flow cases, including rejected-candidate cache mutations and ring wrap. Actual37914/native strncpy/server send parity remains unverified.",
3
  "probes": [
4
  {
5
  "rust": {
 
70
  4294967291
71
  ],
72
  "counter": 1,
73
+ "cstring_hex": "73636f7265732031203220312030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
74
  "payload_length": 50
75
  },
76
  "source": {
 
81
  4294967291
82
  ],
83
  "counter": 1,
84
+ "cstring_hex": "73636f7265732031203220312030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
85
  "payload_length": 50
86
  }
87
  },
 
94
  4294967291
95
  ],
96
  "counter": 2,
97
+ "cstring_hex": "73636f7265732031203220312030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
98
  "payload_length": 50
99
  },
100
  "source": {
 
105
  4294967291
106
  ],
107
  "counter": 2,
108
+ "cstring_hex": "73636f7265732031203220312030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
109
  "payload_length": 50
110
  }
111
  },
 
118
  4294967291
119
  ],
120
  "counter": 0,
121
+ "cstring_hex": "73636f7265732031203220312030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
122
  "payload_length": 50
123
  },
124
  "source": {
 
129
  4294967291
130
  ],
131
  "counter": 0,
132
+ "cstring_hex": "73636f7265732031203220312030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
133
  "payload_length": 50
134
  }
135
  },
 
143
  77
144
  ],
145
  "counter": 1,
146
+ "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
147
  "payload_length": 90
148
  },
149
  "source": {
 
155
  77
156
  ],
157
  "counter": 1,
158
+ "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
159
  "payload_length": 90
160
  }
161
  },
 
169
  77
170
  ],
171
  "counter": 2,
172
+ "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
173
  "payload_length": 90
174
  },
175
  "source": {
 
181
  77
182
  ],
183
  "counter": 2,
184
+ "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
185
  "payload_length": 90
186
  }
187
  },
 
195
  77
196
  ],
197
  "counter": 0,
198
+ "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
199
  "payload_length": 90
200
  },
201
  "source": {
 
207
  77
208
  ],
209
  "counter": 0,
210
+ "cstring_hex": "73636f72657320322032203120312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
211
  "payload_length": 90
212
  }
213
  },
 
227
  77
228
  ],
229
  "counter": 1,
230
+ "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
231
  "payload_length": 423
232
  },
233
  "source": {
 
245
  77
246
  ],
247
  "counter": 1,
248
+ "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
249
  "payload_length": 423
250
  }
251
  },
 
265
  77
266
  ],
267
  "counter": 2,
268
+ "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
269
  "payload_length": 423
270
  },
271
  "source": {
 
283
  77
284
  ],
285
  "counter": 2,
286
+ "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
287
  "payload_length": 423
288
  }
289
  },
 
303
  77
304
  ],
305
  "counter": 0,
306
+ "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
307
  "payload_length": 423
308
  },
309
  "source": {
 
321
  77
322
  ],
323
  "counter": 0,
324
+ "cstring_hex": "73636f72657320382032203120372037203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d2036202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe20352035202d31203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f72647320342034202d35203320302033203920323535202d383338383630372031372034202d3120787878787878787878787878787878787878787878787878787878787878782033202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787820322032202d35203320302033203920323535202d383338383630372031372034202d3120414220312031203737203320312033203920323535202d383338383630372031372034203231202d2d2d2030202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d31202d2d2d00",
325
  "payload_length": 423
326
  }
327
  },
 
365
  77
366
  ],
367
  "counter": 1,
368
+ "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
369
  "payload_length": 1024
370
  },
371
  "source": {
 
407
  77
408
  ],
409
  "counter": 1,
410
+ "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
411
  "payload_length": 1024
412
  }
413
  },
 
451
  77
452
  ],
453
  "counter": 2,
454
+ "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
455
  "payload_length": 1024
456
  },
457
  "source": {
 
493
  77
494
  ],
495
  "counter": 2,
496
+ "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
497
  "payload_length": 1024
498
  }
499
  },
 
537
  77
538
  ],
539
  "counter": 0,
540
+ "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
541
  "payload_length": 1024
542
  },
543
  "source": {
 
579
  77
580
  ],
581
  "counter": 0,
582
+ "cstring_hex": "73636f72657320313920322031203331203331203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203330202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203239203239203737203320312033203920323535202d383338383630372031372034203231204142203238203238202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203237202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203236203236202d35203320302033203920323535202d383338383630372031372034202d31204142203235203235202d31203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203234202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d3120fffe203233203233203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203232203232202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203231202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203230203230202d31203320302033203920323535202d383338383630372031372034202d31204142203139203139203737203320312033203920323535202d383338383630372031372034203231202d2d2d203138202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203137203137203737203320312033203920323535202d383338383630372031372034203231204142203136203136202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203135202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d38333838363037203137203420323120fffe203134203134202d35203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203133203133203737203320312033203920323535202d383338383630372031372034203231207878787878787878787878787878787878787878787878787878787878787800",
583
  "payload_length": 1024
584
  }
585
  },
 
655
  77
656
  ],
657
  "counter": 1,
658
+ "cstring_hex": "73636f72657320313920322031203633202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d2e2f2c292c282d2a2c28203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
659
  "payload_length": 1005
660
  },
661
  "source": {
 
729
  77
730
  ],
731
  "counter": 1,
732
+ "cstring_hex": "73636f72657320313920322031203633202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d2e2f2c292c282d2a2c28203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
733
  "payload_length": 1005
734
  }
735
  },
 
805
  77
806
  ],
807
  "counter": 2,
808
+ "cstring_hex": "73636f72657320313920322031203633202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d2e2f2c292c282d2a2c28203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
809
  "payload_length": 1005
810
  },
811
  "source": {
 
879
  77
880
  ],
881
  "counter": 2,
882
+ "cstring_hex": "73636f72657320313920322031203633202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d2e2f2c292c282d2a2c28203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
883
  "payload_length": 1005
884
  }
885
  },
 
955
  77
956
  ],
957
  "counter": 0,
958
+ "cstring_hex": "73636f72657320313920322031203633202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d2e2f2c292c282d2a2c28203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
959
  "payload_length": 1005
960
  },
961
  "source": {
 
1029
  77
1030
  ],
1031
  "counter": 0,
1032
+ "cstring_hex": "73636f72657320313920322031203633202d2e2f2c292c282d2a2c28203737203320312033203920323535202d383338383630372031372034203231202d2d2d203632203632202d35203320302033203920323535202d383338383630372031372034202d31204142203631203631203737203320312033203920323535202d38333838363037203137203420323120c3a9c3a9202f20e5908d203630202d2e2f2c292c282d2a2c28202d31203320302033203920323535202d383338383630372031372034202d3120fffe203539203539203737203320312033203920323535202d383338383630372031372034203231205e312074776f20257320776f726473203538203538202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203537202d2e2f2c292c282d2a2c28203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203536203536202d35203320302033203920323535202d383338383630372031372034202d31204142203535203535202d31203320312033203920323535202d383338383630372031372034203231202d2d2d203534202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203533203533203737203320312033203920323535202d383338383630372031372034203231204142203532203532202d35203320302033203920323535202d383338383630372031372034202d3120c3a9c3a9202f20e5908d203531202d2e2f2c292c282d2a2c28203737203320312033203920323535202d38333838363037203137203420323120fffe203530203530202d31203320302033203920323535202d383338383630372031372034202d31205e312074776f20257320776f726473203439203439203737203320312033203920323535202d3833383836303720313720342032312078787878787878787878787878787878787878787878787878787878787878203438202d2e2f2c292c282d2a2c28202d35203320302033203920323535202d383338383630372031372034202d312078787878787878787878787878787878787878787878787878787878787878203437203437203737203320312033203920323535202d383338383630372031372034203231204142203436203436202d35203320302033203920323535202d383338383630372031372034202d31202d2d2d203435202d2e2f2c292c282d2a2c28202d31203320312033203920323535202d383338383630372031372034203231202d2d2d00",
1033
  "payload_length": 1005
1034
  }
1035
  }
1036
  ],
1037
+ "source_report": "docs/research/qvm-scoreboard-formatter.json",
1038
+ "source_report_sha256": "6c9ee1ed936098a1699a198ed3f539cdf92c4f9a20c7f80dd192073d8bee455e"
1039
  }
docs/research/rust-scoreboard-stream.json CHANGED
@@ -583,5 +583,5 @@
583
  }
584
  ],
585
  "source_report": "docs/research/qvm-scoreboard-stream.json",
586
- "source_report_sha256": "a39dbbd006e0ee080fe046921881da6d7eac9ec939511286bbcce049b0c75a00"
587
  }
 
583
  }
584
  ],
585
  "source_report": "docs/research/qvm-scoreboard-stream.json",
586
+ "source_report_sha256": "02f8034775274ed0bf17057d4178373905c559bcf76c85678c224eb55875ea8d"
587
  }
scripts/analyze_qvm_scoreboard_stream.py CHANGED
@@ -13,8 +13,8 @@ def main():
13
  for n,ring in itertools.product([0,1,3,8,32],[0,0xffffffff]):
14
  clients=[{'468':2 if j in [0,n-1] else 1,'452':50+j,'6160':100+j,'4324':j%2,'12':1024 if j%2 else 0,'name_hex':([b'A',b'AB',b'long %s name',bytes([255,254])][j%4]).hex(),'696':21-j,'flags':8 if j%3==0 else 0} for j in range(n)];order=list(reversed(range(n)));m,b=seed(clients,order);m.update({34992524:n,23708:ring});packets=[]
15
  def body(i,m,a,bs):
16
- m,bs=frame_args(m,bs,{S+2588:a[8]});before=[m[CPOOL+6336*j+6160]&0xffffffff for j in range(n)];m,p=wire(i,m,bs,raw,h);p.update(cache_before=before,cache_after=[m[CPOOL+6336*j+6160]&0xffffffff for j in range(n)]);packets.append(p)
17
  send=p['sends'][0];data=bytes.fromhex(send['cstring_hex']);return m,0,{'child_memory_bytes':{send['pointer']+j:v for j,v in enumerate(data)},'scoreboard_body_executed':True,'body_trace_sha256':p['execution']['trace_sha256']}
18
  m,_,e=broadcast(ins,m,{},body_resolver=body,byte_inputs=b);rows.append({'clients':clients,'order':order,'now':121000,'scores':[2,1],'ring_before':ring,'ring_after':m[23708]&0xffffffff,'packets':packets,'final_cache':[m[CPOOL+6336*j+6160]&0xffffffff for j in range(n)],'broadcast_trace_sha256':e['execution']['trace_sha256']})
19
- write_json(Path('docs/research/qvm-scoreboard-stream.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Actual6328 executes actual179363/string/format wrappers for each selected state2 recipient with shared caches/ring across10 finite populations.37914/native strncpy modeled and send captured. At most two recipients per case bounds focused execution cost; large population admission includes rejected candidates.7805 effects and full ranking caller/native wire acceptance remain open.'})
20
  if __name__=='__main__':main()
 
13
  for n,ring in itertools.product([0,1,3,8,32],[0,0xffffffff]):
14
  clients=[{'468':2 if j in [0,n-1] else 1,'452':50+j,'6160':100+j,'4324':j%2,'12':1024 if j%2 else 0,'name_hex':([b'A',b'AB',b'long %s name',bytes([255,254])][j%4]).hex(),'696':21-j,'flags':8 if j%3==0 else 0} for j in range(n)];order=list(reversed(range(n)));m,b=seed(clients,order);m.update({34992524:n,23708:ring});packets=[]
15
  def body(i,m,a,bs):
16
+ m,bs=frame_args(m,bs,{S+2588:a[8]});before=[m[CPOOL+6336*j+6160]&0xffffffff for j in range(n)];m,p=wire(i,m,bs,raw,h,source_formatter=True);p.update(cache_before=before,cache_after=[m[CPOOL+6336*j+6160]&0xffffffff for j in range(n)]);packets.append(p)
17
  send=p['sends'][0];data=bytes.fromhex(send['cstring_hex']);return m,0,{'child_memory_bytes':{send['pointer']+j:v for j,v in enumerate(data)},'scoreboard_body_executed':True,'body_trace_sha256':p['execution']['trace_sha256']}
18
  m,_,e=broadcast(ins,m,{},body_resolver=body,byte_inputs=b);rows.append({'clients':clients,'order':order,'now':121000,'scores':[2,1],'ring_before':ring,'ring_after':m[23708]&0xffffffff,'packets':packets,'final_cache':[m[CPOOL+6336*j+6160]&0xffffffff for j in range(n)],'broadcast_trace_sha256':e['execution']['trace_sha256']})
19
+ write_json(Path('docs/research/qvm-scoreboard-stream.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Actual6328 executes actual179363/string/format wrappers for each selected state2 recipient with shared caches/ring across10 finite populations.37914 executes; native strncpy modeled and send captured. At most two recipients per case bounds focused execution cost; large population admission includes rejected candidates.7805 effects and full ranking caller/native wire acceptance remain open.'})
20
  if __name__=='__main__':main()
scripts/analyze_rust_scoreboard_original.py ADDED
@@ -0,0 +1,13 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ #!/usr/bin/env python3
2
+ import hashlib,json
3
+ from pathlib import Path
4
+ from analyze_rust_scoreboard_packet import client_words
5
+ from rust_lifecycle_support import binary,result
6
+ from analyze_qvm import write_json
7
+
8
+ def main():
9
+ b=binary();p=Path('docs/research/qvm-scoreboard-formatter.json');data=p.read_bytes();rows=[]
10
+ for s in json.loads(data)['probes']:
11
+ clients=s['clients'];r=result(b,'scoreboard-packet',[s['now'],*s['scores'],s['ring_before'],len(clients),len(s['order']),*s['order'],*client_words(clients)]);expected={'accepted':s['accepted'],'attempted':len(s['rows']),'payload_length':s['payload_length'],'cstring_hex':s['sends'][0]['cstring_hex'],'buffer_index':s['ring_before']&1,'counter':s['ring_counter'],'cached':s['final_cache']};rows.append({'source':expected,'rust':r,'earlier_model_hex':s['modeled_packet_hex']})
12
+ write_json(Path('docs/research/rust-scoreboard-original.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'limits':'Rust scoreboard packets now use recovered37914 decimal semantics and match18 actual formatter/control-flow cases. Earlier model comparison remains visible. Native strncpy/send and runtime integration remain unverified.'})
13
+ if __name__=='__main__':main()
scripts/analyze_rust_scoreboard_packet.py CHANGED
@@ -12,8 +12,8 @@ def client_words(clients):
12
  return out
13
 
14
  def main():
15
- b=binary();p=Path('docs/research/qvm-scoreboard-wire.json');data=p.read_bytes();rows=[]
16
  for s in json.loads(data)['probes']:
17
  c=s['clients'];r=result(b,'scoreboard-packet',[s['now'],*s['scores'],s['ring_before'],len(c),len(s['order']),*s['order'],*client_words(c)]);expected={'accepted':s['accepted'],'attempted':len(s['rows']),'payload_length':s['payload_length'],'cstring_hex':s['sends'][0]['cstring_hex'],'buffer_index':s['ring_before']&1,'counter':s['ring_counter'],'cached':s['final_cache']};rows.append({'source':expected,'rust':r})
18
- write_json(Path('docs/research/rust-scoreboard-packet.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'limits':'Rust179363 projection/admission plus modeled byte formatter/name copy matches18 original-control-flow cases, including rejected-candidate cache mutations and ring wrap. Actual37914/native strncpy/server send parity remains unverified.'})
19
  if __name__=='__main__':main()
 
12
  return out
13
 
14
  def main():
15
+ b=binary();p=Path('docs/research/qvm-scoreboard-formatter.json');data=p.read_bytes();rows=[]
16
  for s in json.loads(data)['probes']:
17
  c=s['clients'];r=result(b,'scoreboard-packet',[s['now'],*s['scores'],s['ring_before'],len(c),len(s['order']),*s['order'],*client_words(c)]);expected={'accepted':s['accepted'],'attempted':len(s['rows']),'payload_length':s['payload_length'],'cstring_hex':s['sends'][0]['cstring_hex'],'buffer_index':s['ring_before']&1,'counter':s['ring_counter'],'cached':s['final_cache']};rows.append({'source':expected,'rust':r})
18
+ write_json(Path('docs/research/rust-scoreboard-packet.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'limits':'Rust179363 projection/admission plus recovered original formatter and modeled native name copy matches18 original-control-flow cases, including rejected-candidate cache mutations and ring wrap. Actual37914/native strncpy/server send parity remains unverified.'})
19
  if __name__=='__main__':main()
scripts/test_rust_scoreboard_original.py ADDED
@@ -0,0 +1,10 @@
 
 
 
 
 
 
 
 
 
 
 
1
+ import hashlib,json,unittest
2
+ from pathlib import Path
3
+ class RustScoreboardOriginalTests(unittest.TestCase):
4
+ def test_actual_formatter_source_parity_including_prior_model_differences(self):
5
+ r=json.loads(Path('docs/research/rust-scoreboard-original.json').read_text());self.assertEqual(len(r['probes']),18)
6
+ for p in r['probes']:self.assertEqual(p['rust'],p['source'])
7
+ self.assertTrue(any(p['rust']['cstring_hex']!=p['earlier_model_hex'] for p in r['probes']))
8
+ def test_source_identity(self):
9
+ r=json.loads(Path('docs/research/rust-scoreboard-original.json').read_text());self.assertEqual(hashlib.sha256(Path(r['source_report']).read_bytes()).hexdigest(),r['source_report_sha256'])
10
+ if __name__=='__main__':unittest.main()
xtask/checks.tsv CHANGED
@@ -2000,3 +2000,24 @@ report scripts/analyze_rust_qvm_format.py docs/research/rust-qvm-format.json
2000
  edge docs/research/rust-qvm-format.json scripts/test_rust_qvm_format.py
2001
  group rust-qvm-format scripts/analyze_rust_qvm_format.py
2002
  edge scripts/analyze_rust_qvm_format.py scripts/analyze_qvm_resumer_audit.py
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
2000
  edge docs/research/rust-qvm-format.json scripts/test_rust_qvm_format.py
2001
  group rust-qvm-format scripts/analyze_rust_qvm_format.py
2002
  edge scripts/analyze_rust_qvm_format.py scripts/analyze_qvm_resumer_audit.py
2003
+ edge crates/urt-gameplay/src/qvm_format.rs scripts/analyze_rust_scoreboard_rows.py
2004
+ edge crates/urt-gameplay/src/qvm_format.rs scripts/analyze_rust_scoreboard_packet.py
2005
+ edge crates/urt-gameplay/src/qvm_format.rs scripts/analyze_rust_scoreboard_stream.py
2006
+ edge Cargo.toml scripts/analyze_rust_scoreboard_original.py
2007
+ edge Cargo.lock scripts/analyze_rust_scoreboard_original.py
2008
+ edge crates/urt-gameplay/Cargo.toml scripts/analyze_rust_scoreboard_original.py
2009
+ edge crates/urt-gameplay/src/lib.rs scripts/analyze_rust_scoreboard_original.py
2010
+ edge crates/urt-gameplay/src/bin/urt-lifecycle.rs scripts/analyze_rust_scoreboard_original.py
2011
+ edge crates/urt-gameplay/src/qvm_format.rs scripts/analyze_rust_scoreboard_original.py
2012
+ edge crates/urt-gameplay/src/scoreboard_wire.rs scripts/analyze_rust_scoreboard_original.py
2013
+ edge crates/urt-gameplay/src/recipient_wire.rs scripts/analyze_rust_scoreboard_original.py
2014
+ edge crates/urt-gameplay/src/recipient_payload.rs scripts/analyze_rust_scoreboard_original.py
2015
+ group gameplay scripts/analyze_rust_scoreboard_original.py
2016
+ group rust-scoreboard-original scripts/analyze_rust_scoreboard_packet.py
2017
+ group rust-scoreboard-original scripts/analyze_rust_scoreboard_stream.py
2018
+ group rust-scoreboard-original scripts/analyze_qvm_scoreboard_stream.py
2019
+ group rust-scoreboard-original scripts/analyze_rust_health_impulse.py
2020
+ report scripts/analyze_rust_scoreboard_original.py docs/research/rust-scoreboard-original.json
2021
+ edge docs/research/rust-scoreboard-original.json scripts/test_rust_scoreboard_original.py
2022
+ group rust-scoreboard-original scripts/analyze_rust_scoreboard_original.py
2023
+ edge scripts/analyze_rust_scoreboard_original.py scripts/analyze_qvm_resumer_audit.py