Hugging Face's logo

nmarshall
/
urt-rs

Model card Files
xet
 Community
nmarshall commited on
Commit
7a05936
·
1 Parent(s): 2aa7e35

qvm: exact history vector interpolation

Browse files
Files changed (10) hide show
  1. docs/ASSET_PIPELINE_TODO.md +3 -0
  2. docs/FINDINGS.md +3 -0
  3. docs/PROVISIONAL_TODO.md +3 -0
  4. docs/RESEARCH_LEDGER.md +5 -0
  5. docs/REVERSE_ENGINEERING_TODO.md +3 -0
  6. docs/research/QVM_HISTORY_VECTOR_LERP.md +7 -0
  7. docs/research/README.md +3 -0
  8. docs/research/qvm-history-vector-lerp.json +2561 -0
  9. scripts/analyze_qvm_history_vector_lerp.py +27 -0
  10. scripts/test_qvm_history_vector_lerp.py +20 -0
docs/ASSET_PIPELINE_TODO.md CHANGED
@@ -592,3 +592,6 @@ Research progress: RE-635 [report](research/QVM_PLAYER_BB_CONSTRUCT.md); remaini
592
 
593
 
594
  Research progress: RE-637 [report](research/QVM_REWIND_HISTORY_SELECT.md); remaining native/content/runtime/platform scope stays open.
 
 
 
 
592
 
593
 
594
  Research progress: RE-637 [report](research/QVM_REWIND_HISTORY_SELECT.md); remaining native/content/runtime/platform scope stays open.
595
+
596
+
597
+ Research progress: RE-638 [report](research/QVM_HISTORY_VECTOR_LERP.md); remaining native/content/runtime/platform scope stays open.
docs/FINDINGS.md CHANGED
@@ -941,3 +941,6 @@ Bounded qagame paths recover bomb-plant/inactivity correction requests, direct f
941
 
942
 
943
  **RE-637 — Rewind history bracketing and unclamped fraction:** 143100 scans timestamp entries1..19 for the first≤target; exhaustion selects0/0 and still computes an unclamped fallback fraction. [Evidence](research/QVM_REWIND_HISTORY_SELECT.md).
 
 
 
 
941
 
942
 
943
  **RE-637 — Rewind history bracketing and unclamped fraction:** 143100 scans timestamp entries1..19 for the first≤target; exhaustion selects0/0 and still computes an unclamped fallback fraction. [Evidence](research/QVM_REWIND_HISTORY_SELECT.md).
944
+
945
+
946
+ **RE-638 — Exact weighted history vector interpolation and aliases:** 143031 computes(1−fraction)×a+fraction×b in source f32 order, with no clamp; generic subtract/add lerp can differ. [Evidence](research/QVM_HISTORY_VECTOR_LERP.md).
docs/PROVISIONAL_TODO.md CHANGED
@@ -912,3 +912,6 @@ Research progress: RE-635 [report](research/QVM_PLAYER_BB_CONSTRUCT.md); remaini
912
 
913
 
914
  Research progress: RE-637 [report](research/QVM_REWIND_HISTORY_SELECT.md); remaining native/content/runtime/platform scope stays open.
 
 
 
 
912
 
913
 
914
  Research progress: RE-637 [report](research/QVM_REWIND_HISTORY_SELECT.md); remaining native/content/runtime/platform scope stays open.
915
+
916
+
917
+ Research progress: RE-638 [report](research/QVM_HISTORY_VECTOR_LERP.md); remaining native/content/runtime/platform scope stays open.
docs/RESEARCH_LEDGER.md CHANGED
@@ -857,3 +857,8 @@ Whole291641 now follows supplied world/entity traces through retry, ordered reli
857
  ## 2026-10-20 — RE-637 Rewind history bracketing and unclamped fraction (separate task commit)
858
 
859
  143100 scans timestamp entries1..19 for the first≤target; exhaustion selects0/0 and still computes an unclamped fallback fraction. 36 ordered/reversed/equal/duplicate timestamp fixtures match independent index/f32 fraction and equality/exhaustion oracles. Full suite: 1026 tests pass. Report regenerates byte-identically (26532 bytes). Storage/filter, links and whitespace checks pass. No assets/Rust runtime/shared VM evaluator changed; native/reference/legal/full platform scope remains open.
 
 
 
 
 
 
857
  ## 2026-10-20 — RE-637 Rewind history bracketing and unclamped fraction (separate task commit)
858
 
859
  143100 scans timestamp entries1..19 for the first≤target; exhaustion selects0/0 and still computes an unclamped fallback fraction. 36 ordered/reversed/equal/duplicate timestamp fixtures match independent index/f32 fraction and equality/exhaustion oracles. Full suite: 1026 tests pass. Report regenerates byte-identically (26532 bytes). Storage/filter, links and whitespace checks pass. No assets/Rust runtime/shared VM evaluator changed; native/reference/legal/full platform scope remains open.
860
+
861
+
862
+ ## 2026-10-20 — RE-638 Exact weighted history vector interpolation and aliases (separate task commit)
863
+
864
+ 143031 computes(1−fraction)×a+fraction×b in source f32 order, with no clamp; generic subtract/add lerp can differ. 72 finite vector/weight/alias fixtures match independent exact weighted sums and demonstrate an inequivalent generic lerp. Full suite: 1029 tests pass. Report regenerates byte-identically (52742 bytes). Storage/filter, links and whitespace checks pass. No assets/Rust runtime/shared VM evaluator changed; native/reference/legal/full platform scope remains open.
docs/REVERSE_ENGINEERING_TODO.md CHANGED
@@ -955,3 +955,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
955
 
956
 
957
  - [x] RE-637 Rewind history bracketing and unclamped fraction ([report](research/QVM_REWIND_HISTORY_SELECT.md)).
 
 
 
 
955
 
956
 
957
  - [x] RE-637 Rewind history bracketing and unclamped fraction ([report](research/QVM_REWIND_HISTORY_SELECT.md)).
958
+
959
+
960
+ - [x] RE-638 Exact weighted history vector interpolation and aliases ([report](research/QVM_HISTORY_VECTOR_LERP.md)).
docs/research/QVM_HISTORY_VECTOR_LERP.md ADDED
@@ -0,0 +1,7 @@
 
 
 
 
 
 
 
 
1
+ # Exact weighted history vector interpolation and aliases
2
+
3
+ RE-638. Reproduce with `python3 scripts/analyze_qvm_history_vector_lerp.py`; check with `python3 scripts/test_qvm_history_vector_lerp.py`. The [machine report](qvm-history-vector-lerp.json) retains source identity and bounded fixtures.
4
+
5
+ Complete143032–143097 calculates the complement once, then performs two rounded products and one rounded sum per component. Fractions below0 or above1 extrapolate without clamping. Exact output aliases to either input vector match separate output for tested vectors because component dependencies remain local; partial overlaps and other alias domains are unverified. Large cancellation-sensitive inputs demonstrate that a+fraction×(b−a) can produce different bits. The wrapper stops before the void epilogue and makes no native or full history claim.
6
+
7
+ No original executable/full QVM/native collision/physics/rendering executes. Native responses and legal input domains are supplied or unverified where stated; full runtime/macOS/Linux Rust/Bevy/Solari gameplay remains open.
docs/research/README.md CHANGED
@@ -513,3 +513,6 @@ The extension collector adds five focused tests for native tail calls, command-r
513
 
514
 
515
  [RE-637: Rewind history bracketing and unclamped fraction](QVM_REWIND_HISTORY_SELECT.md). Reproduce with `python3 scripts/analyze_qvm_rewind_history_select.py`; check with `python3 scripts/test_qvm_rewind_history_select.py`.
 
 
 
 
513
 
514
 
515
  [RE-637: Rewind history bracketing and unclamped fraction](QVM_REWIND_HISTORY_SELECT.md). Reproduce with `python3 scripts/analyze_qvm_rewind_history_select.py`; check with `python3 scripts/test_qvm_rewind_history_select.py`.
516
+
517
+
518
+ [RE-638: Exact weighted history vector interpolation and aliases](QVM_HISTORY_VECTOR_LERP.md). Reproduce with `python3 scripts/analyze_qvm_history_vector_lerp.py`; check with `python3 scripts/test_qvm_history_vector_lerp.py`.
docs/research/qvm-history-vector-lerp.json ADDED
@@ -0,0 +1,2561 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "limits": "Complete143032\u2013143097 before void epilogue. Finite f32 weights, no clamp. Exact input-vector output aliases tested; partial overlaps and nonfinite domains unverified. No history selection/native execution.",
3
+ "probes": [
4
+ {
5
+ "alias": "none",
6
+ "execution": {
7
+ "byte_writes": [],
8
+ "calls": [],
9
+ "children": [],
10
+ "return": null,
11
+ "trace": null,
12
+ "trace_length": 66,
13
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
14
+ },
15
+ "initial": {
16
+ "a": [
17
+ 1072902963,
18
+ 3225000346,
19
+ 1078355558
20
+ ],
21
+ "b": [
22
+ 3267887104,
23
+ 1128792064,
24
+ 3281387520
25
+ ],
26
+ "fraction": 3212836864,
27
+ "output": [
28
+ 1119223808,
29
+ 1119354880,
30
+ 1119485952
31
+ ]
32
+ },
33
+ "output": [
34
+ 1120901530,
35
+ 3276655821,
36
+ 1134107034
37
+ ]
38
+ },
39
+ {
40
+ "alias": "a",
41
+ "execution": {
42
+ "byte_writes": [],
43
+ "calls": [],
44
+ "children": [],
45
+ "return": null,
46
+ "trace": null,
47
+ "trace_length": 66,
48
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
49
+ },
50
+ "initial": {
51
+ "a": [
52
+ 1072902963,
53
+ 3225000346,
54
+ 1078355558
55
+ ],
56
+ "b": [
57
+ 3267887104,
58
+ 1128792064,
59
+ 3281387520
60
+ ],
61
+ "fraction": 3212836864,
62
+ "output": [
63
+ 1072902963,
64
+ 3225000346,
65
+ 1078355558
66
+ ]
67
+ },
68
+ "output": [
69
+ 1120901530,
70
+ 3276655821,
71
+ 1134107034
72
+ ]
73
+ },
74
+ {
75
+ "alias": "b",
76
+ "execution": {
77
+ "byte_writes": [],
78
+ "calls": [],
79
+ "children": [],
80
+ "return": null,
81
+ "trace": null,
82
+ "trace_length": 66,
83
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
84
+ },
85
+ "initial": {
86
+ "a": [
87
+ 1072902963,
88
+ 3225000346,
89
+ 1078355558
90
+ ],
91
+ "b": [
92
+ 3267887104,
93
+ 1128792064,
94
+ 3281387520
95
+ ],
96
+ "fraction": 3212836864,
97
+ "output": [
98
+ 3267887104,
99
+ 1128792064,
100
+ 3281387520
101
+ ]
102
+ },
103
+ "output": [
104
+ 1120901530,
105
+ 3276655821,
106
+ 1134107034
107
+ ]
108
+ },
109
+ {
110
+ "alias": "none",
111
+ "execution": {
112
+ "byte_writes": [],
113
+ "calls": [],
114
+ "children": [],
115
+ "return": null,
116
+ "trace": null,
117
+ "trace_length": 66,
118
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
119
+ },
120
+ "initial": {
121
+ "a": [
122
+ 1072902963,
123
+ 3225000346,
124
+ 1078355558
125
+ ],
126
+ "b": [
127
+ 3267887104,
128
+ 1128792064,
129
+ 3281387520
130
+ ],
131
+ "fraction": 0,
132
+ "output": [
133
+ 1119223808,
134
+ 1119354880,
135
+ 1119485952
136
+ ]
137
+ },
138
+ "output": [
139
+ 1072902963,
140
+ 3225000346,
141
+ 1078355558
142
+ ]
143
+ },
144
+ {
145
+ "alias": "a",
146
+ "execution": {
147
+ "byte_writes": [],
148
+ "calls": [],
149
+ "children": [],
150
+ "return": null,
151
+ "trace": null,
152
+ "trace_length": 66,
153
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
154
+ },
155
+ "initial": {
156
+ "a": [
157
+ 1072902963,
158
+ 3225000346,
159
+ 1078355558
160
+ ],
161
+ "b": [
162
+ 3267887104,
163
+ 1128792064,
164
+ 3281387520
165
+ ],
166
+ "fraction": 0,
167
+ "output": [
168
+ 1072902963,
169
+ 3225000346,
170
+ 1078355558
171
+ ]
172
+ },
173
+ "output": [
174
+ 1072902963,
175
+ 3225000346,
176
+ 1078355558
177
+ ]
178
+ },
179
+ {
180
+ "alias": "b",
181
+ "execution": {
182
+ "byte_writes": [],
183
+ "calls": [],
184
+ "children": [],
185
+ "return": null,
186
+ "trace": null,
187
+ "trace_length": 66,
188
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
189
+ },
190
+ "initial": {
191
+ "a": [
192
+ 1072902963,
193
+ 3225000346,
194
+ 1078355558
195
+ ],
196
+ "b": [
197
+ 3267887104,
198
+ 1128792064,
199
+ 3281387520
200
+ ],
201
+ "fraction": 0,
202
+ "output": [
203
+ 3267887104,
204
+ 1128792064,
205
+ 3281387520
206
+ ]
207
+ },
208
+ "output": [
209
+ 1072902963,
210
+ 3225000346,
211
+ 1078355558
212
+ ]
213
+ },
214
+ {
215
+ "alias": "none",
216
+ "execution": {
217
+ "byte_writes": [],
218
+ "calls": [],
219
+ "children": [],
220
+ "return": null,
221
+ "trace": null,
222
+ "trace_length": 66,
223
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
224
+ },
225
+ "initial": {
226
+ "a": [
227
+ 1072902963,
228
+ 3225000346,
229
+ 1078355558
230
+ ],
231
+ "b": [
232
+ 3267887104,
233
+ 1128792064,
234
+ 3281387520
235
+ ],
236
+ "fraction": 1048576000,
237
+ "output": [
238
+ 1119223808,
239
+ 1119354880,
240
+ 1119485952
241
+ ]
242
+ },
243
+ "output": [
244
+ 3250362778,
245
+ 1111444685,
246
+ 3264305562
247
+ ]
248
+ },
249
+ {
250
+ "alias": "a",
251
+ "execution": {
252
+ "byte_writes": [],
253
+ "calls": [],
254
+ "children": [],
255
+ "return": null,
256
+ "trace": null,
257
+ "trace_length": 66,
258
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
259
+ },
260
+ "initial": {
261
+ "a": [
262
+ 1072902963,
263
+ 3225000346,
264
+ 1078355558
265
+ ],
266
+ "b": [
267
+ 3267887104,
268
+ 1128792064,
269
+ 3281387520
270
+ ],
271
+ "fraction": 1048576000,
272
+ "output": [
273
+ 1072902963,
274
+ 3225000346,
275
+ 1078355558
276
+ ]
277
+ },
278
+ "output": [
279
+ 3250362778,
280
+ 1111444685,
281
+ 3264305562
282
+ ]
283
+ },
284
+ {
285
+ "alias": "b",
286
+ "execution": {
287
+ "byte_writes": [],
288
+ "calls": [],
289
+ "children": [],
290
+ "return": null,
291
+ "trace": null,
292
+ "trace_length": 66,
293
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
294
+ },
295
+ "initial": {
296
+ "a": [
297
+ 1072902963,
298
+ 3225000346,
299
+ 1078355558
300
+ ],
301
+ "b": [
302
+ 3267887104,
303
+ 1128792064,
304
+ 3281387520
305
+ ],
306
+ "fraction": 1048576000,
307
+ "output": [
308
+ 3267887104,
309
+ 1128792064,
310
+ 3281387520
311
+ ]
312
+ },
313
+ "output": [
314
+ 3250362778,
315
+ 1111444685,
316
+ 3264305562
317
+ ]
318
+ },
319
+ {
320
+ "alias": "none",
321
+ "execution": {
322
+ "byte_writes": [],
323
+ "calls": [],
324
+ "children": [],
325
+ "return": null,
326
+ "trace": null,
327
+ "trace_length": 66,
328
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
329
+ },
330
+ "initial": {
331
+ "a": [
332
+ 1072902963,
333
+ 3225000346,
334
+ 1078355558
335
+ ],
336
+ "b": [
337
+ 3267887104,
338
+ 1128792064,
339
+ 3281387520
340
+ ],
341
+ "fraction": 1065353216,
342
+ "output": [
343
+ 1119223808,
344
+ 1119354880,
345
+ 1119485952
346
+ ]
347
+ },
348
+ "output": [
349
+ 3267887104,
350
+ 1128792064,
351
+ 3281387520
352
+ ]
353
+ },
354
+ {
355
+ "alias": "a",
356
+ "execution": {
357
+ "byte_writes": [],
358
+ "calls": [],
359
+ "children": [],
360
+ "return": null,
361
+ "trace": null,
362
+ "trace_length": 66,
363
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
364
+ },
365
+ "initial": {
366
+ "a": [
367
+ 1072902963,
368
+ 3225000346,
369
+ 1078355558
370
+ ],
371
+ "b": [
372
+ 3267887104,
373
+ 1128792064,
374
+ 3281387520
375
+ ],
376
+ "fraction": 1065353216,
377
+ "output": [
378
+ 1072902963,
379
+ 3225000346,
380
+ 1078355558
381
+ ]
382
+ },
383
+ "output": [
384
+ 3267887104,
385
+ 1128792064,
386
+ 3281387520
387
+ ]
388
+ },
389
+ {
390
+ "alias": "b",
391
+ "execution": {
392
+ "byte_writes": [],
393
+ "calls": [],
394
+ "children": [],
395
+ "return": null,
396
+ "trace": null,
397
+ "trace_length": 66,
398
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
399
+ },
400
+ "initial": {
401
+ "a": [
402
+ 1072902963,
403
+ 3225000346,
404
+ 1078355558
405
+ ],
406
+ "b": [
407
+ 3267887104,
408
+ 1128792064,
409
+ 3281387520
410
+ ],
411
+ "fraction": 1065353216,
412
+ "output": [
413
+ 3267887104,
414
+ 1128792064,
415
+ 3281387520
416
+ ]
417
+ },
418
+ "output": [
419
+ 3267887104,
420
+ 1128792064,
421
+ 3281387520
422
+ ]
423
+ },
424
+ {
425
+ "alias": "none",
426
+ "execution": {
427
+ "byte_writes": [],
428
+ "calls": [],
429
+ "children": [],
430
+ "return": null,
431
+ "trace": null,
432
+ "trace_length": 66,
433
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
434
+ },
435
+ "initial": {
436
+ "a": [
437
+ 1072902963,
438
+ 3225000346,
439
+ 1078355558
440
+ ],
441
+ "b": [
442
+ 3267887104,
443
+ 1128792064,
444
+ 3281387520
445
+ ],
446
+ "fraction": 1065353217,
447
+ "output": [
448
+ 1119223808,
449
+ 1119354880,
450
+ 1119485952
451
+ ]
452
+ },
453
+ "output": [
454
+ 3267887106,
455
+ 1128792066,
456
+ 3281387521
457
+ ]
458
+ },
459
+ {
460
+ "alias": "a",
461
+ "execution": {
462
+ "byte_writes": [],
463
+ "calls": [],
464
+ "children": [],
465
+ "return": null,
466
+ "trace": null,
467
+ "trace_length": 66,
468
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
469
+ },
470
+ "initial": {
471
+ "a": [
472
+ 1072902963,
473
+ 3225000346,
474
+ 1078355558
475
+ ],
476
+ "b": [
477
+ 3267887104,
478
+ 1128792064,
479
+ 3281387520
480
+ ],
481
+ "fraction": 1065353217,
482
+ "output": [
483
+ 1072902963,
484
+ 3225000346,
485
+ 1078355558
486
+ ]
487
+ },
488
+ "output": [
489
+ 3267887106,
490
+ 1128792066,
491
+ 3281387521
492
+ ]
493
+ },
494
+ {
495
+ "alias": "b",
496
+ "execution": {
497
+ "byte_writes": [],
498
+ "calls": [],
499
+ "children": [],
500
+ "return": null,
501
+ "trace": null,
502
+ "trace_length": 66,
503
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
504
+ },
505
+ "initial": {
506
+ "a": [
507
+ 1072902963,
508
+ 3225000346,
509
+ 1078355558
510
+ ],
511
+ "b": [
512
+ 3267887104,
513
+ 1128792064,
514
+ 3281387520
515
+ ],
516
+ "fraction": 1065353217,
517
+ "output": [
518
+ 3267887104,
519
+ 1128792064,
520
+ 3281387520
521
+ ]
522
+ },
523
+ "output": [
524
+ 3267887106,
525
+ 1128792066,
526
+ 3281387521
527
+ ]
528
+ },
529
+ {
530
+ "alias": "none",
531
+ "execution": {
532
+ "byte_writes": [],
533
+ "calls": [],
534
+ "children": [],
535
+ "return": null,
536
+ "trace": null,
537
+ "trace_length": 66,
538
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
539
+ },
540
+ "initial": {
541
+ "a": [
542
+ 1072902963,
543
+ 3225000346,
544
+ 1078355558
545
+ ],
546
+ "b": [
547
+ 3267887104,
548
+ 1128792064,
549
+ 3281387520
550
+ ],
551
+ "fraction": 1073741824,
552
+ "output": [
553
+ 1119223808,
554
+ 1119354880,
555
+ 1119485952
556
+ ]
557
+ },
558
+ "output": [
559
+ 3276400230,
560
+ 1137275699,
561
+ 3289826918
562
+ ]
563
+ },
564
+ {
565
+ "alias": "a",
566
+ "execution": {
567
+ "byte_writes": [],
568
+ "calls": [],
569
+ "children": [],
570
+ "return": null,
571
+ "trace": null,
572
+ "trace_length": 66,
573
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
574
+ },
575
+ "initial": {
576
+ "a": [
577
+ 1072902963,
578
+ 3225000346,
579
+ 1078355558
580
+ ],
581
+ "b": [
582
+ 3267887104,
583
+ 1128792064,
584
+ 3281387520
585
+ ],
586
+ "fraction": 1073741824,
587
+ "output": [
588
+ 1072902963,
589
+ 3225000346,
590
+ 1078355558
591
+ ]
592
+ },
593
+ "output": [
594
+ 3276400230,
595
+ 1137275699,
596
+ 3289826918
597
+ ]
598
+ },
599
+ {
600
+ "alias": "b",
601
+ "execution": {
602
+ "byte_writes": [],
603
+ "calls": [],
604
+ "children": [],
605
+ "return": null,
606
+ "trace": null,
607
+ "trace_length": 66,
608
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
609
+ },
610
+ "initial": {
611
+ "a": [
612
+ 1072902963,
613
+ 3225000346,
614
+ 1078355558
615
+ ],
616
+ "b": [
617
+ 3267887104,
618
+ 1128792064,
619
+ 3281387520
620
+ ],
621
+ "fraction": 1073741824,
622
+ "output": [
623
+ 3267887104,
624
+ 1128792064,
625
+ 3281387520
626
+ ]
627
+ },
628
+ "output": [
629
+ 3276400230,
630
+ 1137275699,
631
+ 3289826918
632
+ ]
633
+ },
634
+ {
635
+ "alias": "none",
636
+ "execution": {
637
+ "byte_writes": [],
638
+ "calls": [],
639
+ "children": [],
640
+ "return": null,
641
+ "trace": null,
642
+ "trace_length": 66,
643
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
644
+ },
645
+ "initial": {
646
+ "a": [
647
+ 1072902963,
648
+ 3225000346,
649
+ 1078355558
650
+ ],
651
+ "b": [
652
+ 3769465068,
653
+ 3212836872,
654
+ 0
655
+ ],
656
+ "fraction": 3212836864,
657
+ "output": [
658
+ 1119223808,
659
+ 1119354880,
660
+ 1119485952
661
+ ]
662
+ },
663
+ "output": [
664
+ 1621981420,
665
+ 3231291800,
666
+ 1086744166
667
+ ]
668
+ },
669
+ {
670
+ "alias": "a",
671
+ "execution": {
672
+ "byte_writes": [],
673
+ "calls": [],
674
+ "children": [],
675
+ "return": null,
676
+ "trace": null,
677
+ "trace_length": 66,
678
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
679
+ },
680
+ "initial": {
681
+ "a": [
682
+ 1072902963,
683
+ 3225000346,
684
+ 1078355558
685
+ ],
686
+ "b": [
687
+ 3769465068,
688
+ 3212836872,
689
+ 0
690
+ ],
691
+ "fraction": 3212836864,
692
+ "output": [
693
+ 1072902963,
694
+ 3225000346,
695
+ 1078355558
696
+ ]
697
+ },
698
+ "output": [
699
+ 1621981420,
700
+ 3231291800,
701
+ 1086744166
702
+ ]
703
+ },
704
+ {
705
+ "alias": "b",
706
+ "execution": {
707
+ "byte_writes": [],
708
+ "calls": [],
709
+ "children": [],
710
+ "return": null,
711
+ "trace": null,
712
+ "trace_length": 66,
713
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
714
+ },
715
+ "initial": {
716
+ "a": [
717
+ 1072902963,
718
+ 3225000346,
719
+ 1078355558
720
+ ],
721
+ "b": [
722
+ 3769465068,
723
+ 3212836872,
724
+ 0
725
+ ],
726
+ "fraction": 3212836864,
727
+ "output": [
728
+ 3769465068,
729
+ 3212836872,
730
+ 0
731
+ ]
732
+ },
733
+ "output": [
734
+ 1621981420,
735
+ 3231291800,
736
+ 1086744166
737
+ ]
738
+ },
739
+ {
740
+ "alias": "none",
741
+ "execution": {
742
+ "byte_writes": [],
743
+ "calls": [],
744
+ "children": [],
745
+ "return": null,
746
+ "trace": null,
747
+ "trace_length": 66,
748
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
749
+ },
750
+ "initial": {
751
+ "a": [
752
+ 1072902963,
753
+ 3225000346,
754
+ 1078355558
755
+ ],
756
+ "b": [
757
+ 3769465068,
758
+ 3212836872,
759
+ 0
760
+ ],
761
+ "fraction": 0,
762
+ "output": [
763
+ 1119223808,
764
+ 1119354880,
765
+ 1119485952
766
+ ]
767
+ },
768
+ "output": [
769
+ 1072902963,
770
+ 3225000346,
771
+ 1078355558
772
+ ]
773
+ },
774
+ {
775
+ "alias": "a",
776
+ "execution": {
777
+ "byte_writes": [],
778
+ "calls": [],
779
+ "children": [],
780
+ "return": null,
781
+ "trace": null,
782
+ "trace_length": 66,
783
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
784
+ },
785
+ "initial": {
786
+ "a": [
787
+ 1072902963,
788
+ 3225000346,
789
+ 1078355558
790
+ ],
791
+ "b": [
792
+ 3769465068,
793
+ 3212836872,
794
+ 0
795
+ ],
796
+ "fraction": 0,
797
+ "output": [
798
+ 1072902963,
799
+ 3225000346,
800
+ 1078355558
801
+ ]
802
+ },
803
+ "output": [
804
+ 1072902963,
805
+ 3225000346,
806
+ 1078355558
807
+ ]
808
+ },
809
+ {
810
+ "alias": "b",
811
+ "execution": {
812
+ "byte_writes": [],
813
+ "calls": [],
814
+ "children": [],
815
+ "return": null,
816
+ "trace": null,
817
+ "trace_length": 66,
818
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
819
+ },
820
+ "initial": {
821
+ "a": [
822
+ 1072902963,
823
+ 3225000346,
824
+ 1078355558
825
+ ],
826
+ "b": [
827
+ 3769465068,
828
+ 3212836872,
829
+ 0
830
+ ],
831
+ "fraction": 0,
832
+ "output": [
833
+ 3769465068,
834
+ 3212836872,
835
+ 0
836
+ ]
837
+ },
838
+ "output": [
839
+ 1072902963,
840
+ 3225000346,
841
+ 1078355558
842
+ ]
843
+ },
844
+ {
845
+ "alias": "none",
846
+ "execution": {
847
+ "byte_writes": [],
848
+ "calls": [],
849
+ "children": [],
850
+ "return": null,
851
+ "trace": null,
852
+ "trace_length": 66,
853
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
854
+ },
855
+ "initial": {
856
+ "a": [
857
+ 1072902963,
858
+ 3225000346,
859
+ 1078355558
860
+ ],
861
+ "b": [
862
+ 3769465068,
863
+ 3212836872,
864
+ 0
865
+ ],
866
+ "fraction": 1048576000,
867
+ "output": [
868
+ 1119223808,
869
+ 1119354880,
870
+ 1119485952
871
+ ]
872
+ },
873
+ "output": [
874
+ 3752687852,
875
+ 3223008053,
876
+ 1075104972
877
+ ]
878
+ },
879
+ {
880
+ "alias": "a",
881
+ "execution": {
882
+ "byte_writes": [],
883
+ "calls": [],
884
+ "children": [],
885
+ "return": null,
886
+ "trace": null,
887
+ "trace_length": 66,
888
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
889
+ },
890
+ "initial": {
891
+ "a": [
892
+ 1072902963,
893
+ 3225000346,
894
+ 1078355558
895
+ ],
896
+ "b": [
897
+ 3769465068,
898
+ 3212836872,
899
+ 0
900
+ ],
901
+ "fraction": 1048576000,
902
+ "output": [
903
+ 1072902963,
904
+ 3225000346,
905
+ 1078355558
906
+ ]
907
+ },
908
+ "output": [
909
+ 3752687852,
910
+ 3223008053,
911
+ 1075104972
912
+ ]
913
+ },
914
+ {
915
+ "alias": "b",
916
+ "execution": {
917
+ "byte_writes": [],
918
+ "calls": [],
919
+ "children": [],
920
+ "return": null,
921
+ "trace": null,
922
+ "trace_length": 66,
923
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
924
+ },
925
+ "initial": {
926
+ "a": [
927
+ 1072902963,
928
+ 3225000346,
929
+ 1078355558
930
+ ],
931
+ "b": [
932
+ 3769465068,
933
+ 3212836872,
934
+ 0
935
+ ],
936
+ "fraction": 1048576000,
937
+ "output": [
938
+ 3769465068,
939
+ 3212836872,
940
+ 0
941
+ ]
942
+ },
943
+ "output": [
944
+ 3752687852,
945
+ 3223008053,
946
+ 1075104972
947
+ ]
948
+ },
949
+ {
950
+ "alias": "none",
951
+ "execution": {
952
+ "byte_writes": [],
953
+ "calls": [],
954
+ "children": [],
955
+ "return": null,
956
+ "trace": null,
957
+ "trace_length": 66,
958
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
959
+ },
960
+ "initial": {
961
+ "a": [
962
+ 1072902963,
963
+ 3225000346,
964
+ 1078355558
965
+ ],
966
+ "b": [
967
+ 3769465068,
968
+ 3212836872,
969
+ 0
970
+ ],
971
+ "fraction": 1065353216,
972
+ "output": [
973
+ 1119223808,
974
+ 1119354880,
975
+ 1119485952
976
+ ]
977
+ },
978
+ "output": [
979
+ 3769465068,
980
+ 3212836872,
981
+ 0
982
+ ]
983
+ },
984
+ {
985
+ "alias": "a",
986
+ "execution": {
987
+ "byte_writes": [],
988
+ "calls": [],
989
+ "children": [],
990
+ "return": null,
991
+ "trace": null,
992
+ "trace_length": 66,
993
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
994
+ },
995
+ "initial": {
996
+ "a": [
997
+ 1072902963,
998
+ 3225000346,
999
+ 1078355558
1000
+ ],
1001
+ "b": [
1002
+ 3769465068,
1003
+ 3212836872,
1004
+ 0
1005
+ ],
1006
+ "fraction": 1065353216,
1007
+ "output": [
1008
+ 1072902963,
1009
+ 3225000346,
1010
+ 1078355558
1011
+ ]
1012
+ },
1013
+ "output": [
1014
+ 3769465068,
1015
+ 3212836872,
1016
+ 0
1017
+ ]
1018
+ },
1019
+ {
1020
+ "alias": "b",
1021
+ "execution": {
1022
+ "byte_writes": [],
1023
+ "calls": [],
1024
+ "children": [],
1025
+ "return": null,
1026
+ "trace": null,
1027
+ "trace_length": 66,
1028
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1029
+ },
1030
+ "initial": {
1031
+ "a": [
1032
+ 1072902963,
1033
+ 3225000346,
1034
+ 1078355558
1035
+ ],
1036
+ "b": [
1037
+ 3769465068,
1038
+ 3212836872,
1039
+ 0
1040
+ ],
1041
+ "fraction": 1065353216,
1042
+ "output": [
1043
+ 3769465068,
1044
+ 3212836872,
1045
+ 0
1046
+ ]
1047
+ },
1048
+ "output": [
1049
+ 3769465068,
1050
+ 3212836872,
1051
+ 0
1052
+ ]
1053
+ },
1054
+ {
1055
+ "alias": "none",
1056
+ "execution": {
1057
+ "byte_writes": [],
1058
+ "calls": [],
1059
+ "children": [],
1060
+ "return": null,
1061
+ "trace": null,
1062
+ "trace_length": 66,
1063
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1064
+ },
1065
+ "initial": {
1066
+ "a": [
1067
+ 1072902963,
1068
+ 3225000346,
1069
+ 1078355558
1070
+ ],
1071
+ "b": [
1072
+ 3769465068,
1073
+ 3212836872,
1074
+ 0
1075
+ ],
1076
+ "fraction": 1065353217,
1077
+ "output": [
1078
+ 1119223808,
1079
+ 1119354880,
1080
+ 1119485952
1081
+ ]
1082
+ },
1083
+ "output": [
1084
+ 3769465069,
1085
+ 3212836870,
1086
+ 3032901222
1087
+ ]
1088
+ },
1089
+ {
1090
+ "alias": "a",
1091
+ "execution": {
1092
+ "byte_writes": [],
1093
+ "calls": [],
1094
+ "children": [],
1095
+ "return": null,
1096
+ "trace": null,
1097
+ "trace_length": 66,
1098
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1099
+ },
1100
+ "initial": {
1101
+ "a": [
1102
+ 1072902963,
1103
+ 3225000346,
1104
+ 1078355558
1105
+ ],
1106
+ "b": [
1107
+ 3769465068,
1108
+ 3212836872,
1109
+ 0
1110
+ ],
1111
+ "fraction": 1065353217,
1112
+ "output": [
1113
+ 1072902963,
1114
+ 3225000346,
1115
+ 1078355558
1116
+ ]
1117
+ },
1118
+ "output": [
1119
+ 3769465069,
1120
+ 3212836870,
1121
+ 3032901222
1122
+ ]
1123
+ },
1124
+ {
1125
+ "alias": "b",
1126
+ "execution": {
1127
+ "byte_writes": [],
1128
+ "calls": [],
1129
+ "children": [],
1130
+ "return": null,
1131
+ "trace": null,
1132
+ "trace_length": 66,
1133
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1134
+ },
1135
+ "initial": {
1136
+ "a": [
1137
+ 1072902963,
1138
+ 3225000346,
1139
+ 1078355558
1140
+ ],
1141
+ "b": [
1142
+ 3769465068,
1143
+ 3212836872,
1144
+ 0
1145
+ ],
1146
+ "fraction": 1065353217,
1147
+ "output": [
1148
+ 3769465068,
1149
+ 3212836872,
1150
+ 0
1151
+ ]
1152
+ },
1153
+ "output": [
1154
+ 3769465069,
1155
+ 3212836870,
1156
+ 3032901222
1157
+ ]
1158
+ },
1159
+ {
1160
+ "alias": "none",
1161
+ "execution": {
1162
+ "byte_writes": [],
1163
+ "calls": [],
1164
+ "children": [],
1165
+ "return": null,
1166
+ "trace": null,
1167
+ "trace_length": 66,
1168
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1169
+ },
1170
+ "initial": {
1171
+ "a": [
1172
+ 1072902963,
1173
+ 3225000346,
1174
+ 1078355558
1175
+ ],
1176
+ "b": [
1177
+ 3769465068,
1178
+ 3212836872,
1179
+ 0
1180
+ ],
1181
+ "fraction": 1073741824,
1182
+ "output": [
1183
+ 1119223808,
1184
+ 1119354880,
1185
+ 1119485952
1186
+ ]
1187
+ },
1188
+ "output": [
1189
+ 3777853676,
1190
+ 1063675464,
1191
+ 3225839206
1192
+ ]
1193
+ },
1194
+ {
1195
+ "alias": "a",
1196
+ "execution": {
1197
+ "byte_writes": [],
1198
+ "calls": [],
1199
+ "children": [],
1200
+ "return": null,
1201
+ "trace": null,
1202
+ "trace_length": 66,
1203
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1204
+ },
1205
+ "initial": {
1206
+ "a": [
1207
+ 1072902963,
1208
+ 3225000346,
1209
+ 1078355558
1210
+ ],
1211
+ "b": [
1212
+ 3769465068,
1213
+ 3212836872,
1214
+ 0
1215
+ ],
1216
+ "fraction": 1073741824,
1217
+ "output": [
1218
+ 1072902963,
1219
+ 3225000346,
1220
+ 1078355558
1221
+ ]
1222
+ },
1223
+ "output": [
1224
+ 3777853676,
1225
+ 1063675464,
1226
+ 3225839206
1227
+ ]
1228
+ },
1229
+ {
1230
+ "alias": "b",
1231
+ "execution": {
1232
+ "byte_writes": [],
1233
+ "calls": [],
1234
+ "children": [],
1235
+ "return": null,
1236
+ "trace": null,
1237
+ "trace_length": 66,
1238
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1239
+ },
1240
+ "initial": {
1241
+ "a": [
1242
+ 1072902963,
1243
+ 3225000346,
1244
+ 1078355558
1245
+ ],
1246
+ "b": [
1247
+ 3769465068,
1248
+ 3212836872,
1249
+ 0
1250
+ ],
1251
+ "fraction": 1073741824,
1252
+ "output": [
1253
+ 3769465068,
1254
+ 3212836872,
1255
+ 0
1256
+ ]
1257
+ },
1258
+ "output": [
1259
+ 3777853676,
1260
+ 1063675464,
1261
+ 3225839206
1262
+ ]
1263
+ },
1264
+ {
1265
+ "alias": "none",
1266
+ "execution": {
1267
+ "byte_writes": [],
1268
+ "calls": [],
1269
+ "children": [],
1270
+ "return": null,
1271
+ "trace": null,
1272
+ "trace_length": 66,
1273
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1274
+ },
1275
+ "initial": {
1276
+ "a": [
1277
+ 1621981420,
1278
+ 1065353224,
1279
+ 2147483648
1280
+ ],
1281
+ "b": [
1282
+ 3267887104,
1283
+ 1128792064,
1284
+ 3281387520
1285
+ ],
1286
+ "fraction": 3212836864,
1287
+ "output": [
1288
+ 1119223808,
1289
+ 1119354880,
1290
+ 1119485952
1291
+ ]
1292
+ },
1293
+ "output": [
1294
+ 1630370028,
1295
+ 3276144640,
1296
+ 1133903872
1297
+ ]
1298
+ },
1299
+ {
1300
+ "alias": "a",
1301
+ "execution": {
1302
+ "byte_writes": [],
1303
+ "calls": [],
1304
+ "children": [],
1305
+ "return": null,
1306
+ "trace": null,
1307
+ "trace_length": 66,
1308
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1309
+ },
1310
+ "initial": {
1311
+ "a": [
1312
+ 1621981420,
1313
+ 1065353224,
1314
+ 2147483648
1315
+ ],
1316
+ "b": [
1317
+ 3267887104,
1318
+ 1128792064,
1319
+ 3281387520
1320
+ ],
1321
+ "fraction": 3212836864,
1322
+ "output": [
1323
+ 1621981420,
1324
+ 1065353224,
1325
+ 2147483648
1326
+ ]
1327
+ },
1328
+ "output": [
1329
+ 1630370028,
1330
+ 3276144640,
1331
+ 1133903872
1332
+ ]
1333
+ },
1334
+ {
1335
+ "alias": "b",
1336
+ "execution": {
1337
+ "byte_writes": [],
1338
+ "calls": [],
1339
+ "children": [],
1340
+ "return": null,
1341
+ "trace": null,
1342
+ "trace_length": 66,
1343
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1344
+ },
1345
+ "initial": {
1346
+ "a": [
1347
+ 1621981420,
1348
+ 1065353224,
1349
+ 2147483648
1350
+ ],
1351
+ "b": [
1352
+ 3267887104,
1353
+ 1128792064,
1354
+ 3281387520
1355
+ ],
1356
+ "fraction": 3212836864,
1357
+ "output": [
1358
+ 3267887104,
1359
+ 1128792064,
1360
+ 3281387520
1361
+ ]
1362
+ },
1363
+ "output": [
1364
+ 1630370028,
1365
+ 3276144640,
1366
+ 1133903872
1367
+ ]
1368
+ },
1369
+ {
1370
+ "alias": "none",
1371
+ "execution": {
1372
+ "byte_writes": [],
1373
+ "calls": [],
1374
+ "children": [],
1375
+ "return": null,
1376
+ "trace": null,
1377
+ "trace_length": 66,
1378
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1379
+ },
1380
+ "initial": {
1381
+ "a": [
1382
+ 1621981420,
1383
+ 1065353224,
1384
+ 2147483648
1385
+ ],
1386
+ "b": [
1387
+ 3267887104,
1388
+ 1128792064,
1389
+ 3281387520
1390
+ ],
1391
+ "fraction": 0,
1392
+ "output": [
1393
+ 1119223808,
1394
+ 1119354880,
1395
+ 1119485952
1396
+ ]
1397
+ },
1398
+ "output": [
1399
+ 1621981420,
1400
+ 1065353224,
1401
+ 2147483648
1402
+ ]
1403
+ },
1404
+ {
1405
+ "alias": "a",
1406
+ "execution": {
1407
+ "byte_writes": [],
1408
+ "calls": [],
1409
+ "children": [],
1410
+ "return": null,
1411
+ "trace": null,
1412
+ "trace_length": 66,
1413
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1414
+ },
1415
+ "initial": {
1416
+ "a": [
1417
+ 1621981420,
1418
+ 1065353224,
1419
+ 2147483648
1420
+ ],
1421
+ "b": [
1422
+ 3267887104,
1423
+ 1128792064,
1424
+ 3281387520
1425
+ ],
1426
+ "fraction": 0,
1427
+ "output": [
1428
+ 1621981420,
1429
+ 1065353224,
1430
+ 2147483648
1431
+ ]
1432
+ },
1433
+ "output": [
1434
+ 1621981420,
1435
+ 1065353224,
1436
+ 2147483648
1437
+ ]
1438
+ },
1439
+ {
1440
+ "alias": "b",
1441
+ "execution": {
1442
+ "byte_writes": [],
1443
+ "calls": [],
1444
+ "children": [],
1445
+ "return": null,
1446
+ "trace": null,
1447
+ "trace_length": 66,
1448
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1449
+ },
1450
+ "initial": {
1451
+ "a": [
1452
+ 1621981420,
1453
+ 1065353224,
1454
+ 2147483648
1455
+ ],
1456
+ "b": [
1457
+ 3267887104,
1458
+ 1128792064,
1459
+ 3281387520
1460
+ ],
1461
+ "fraction": 0,
1462
+ "output": [
1463
+ 3267887104,
1464
+ 1128792064,
1465
+ 3281387520
1466
+ ]
1467
+ },
1468
+ "output": [
1469
+ 1621981420,
1470
+ 1065353224,
1471
+ 2147483648
1472
+ ]
1473
+ },
1474
+ {
1475
+ "alias": "none",
1476
+ "execution": {
1477
+ "byte_writes": [],
1478
+ "calls": [],
1479
+ "children": [],
1480
+ "return": null,
1481
+ "trace": null,
1482
+ "trace_length": 66,
1483
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1484
+ },
1485
+ "initial": {
1486
+ "a": [
1487
+ 1621981420,
1488
+ 1065353224,
1489
+ 2147483648
1490
+ ],
1491
+ "b": [
1492
+ 3267887104,
1493
+ 1128792064,
1494
+ 3281387520
1495
+ ],
1496
+ "fraction": 1048576000,
1497
+ "output": [
1498
+ 1119223808,
1499
+ 1119354880,
1500
+ 1119485952
1501
+ ]
1502
+ },
1503
+ "output": [
1504
+ 1619139249,
1505
+ 1112211456,
1506
+ 3264610304
1507
+ ]
1508
+ },
1509
+ {
1510
+ "alias": "a",
1511
+ "execution": {
1512
+ "byte_writes": [],
1513
+ "calls": [],
1514
+ "children": [],
1515
+ "return": null,
1516
+ "trace": null,
1517
+ "trace_length": 66,
1518
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1519
+ },
1520
+ "initial": {
1521
+ "a": [
1522
+ 1621981420,
1523
+ 1065353224,
1524
+ 2147483648
1525
+ ],
1526
+ "b": [
1527
+ 3267887104,
1528
+ 1128792064,
1529
+ 3281387520
1530
+ ],
1531
+ "fraction": 1048576000,
1532
+ "output": [
1533
+ 1621981420,
1534
+ 1065353224,
1535
+ 2147483648
1536
+ ]
1537
+ },
1538
+ "output": [
1539
+ 1619139249,
1540
+ 1112211456,
1541
+ 3264610304
1542
+ ]
1543
+ },
1544
+ {
1545
+ "alias": "b",
1546
+ "execution": {
1547
+ "byte_writes": [],
1548
+ "calls": [],
1549
+ "children": [],
1550
+ "return": null,
1551
+ "trace": null,
1552
+ "trace_length": 66,
1553
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1554
+ },
1555
+ "initial": {
1556
+ "a": [
1557
+ 1621981420,
1558
+ 1065353224,
1559
+ 2147483648
1560
+ ],
1561
+ "b": [
1562
+ 3267887104,
1563
+ 1128792064,
1564
+ 3281387520
1565
+ ],
1566
+ "fraction": 1048576000,
1567
+ "output": [
1568
+ 3267887104,
1569
+ 1128792064,
1570
+ 3281387520
1571
+ ]
1572
+ },
1573
+ "output": [
1574
+ 1619139249,
1575
+ 1112211456,
1576
+ 3264610304
1577
+ ]
1578
+ },
1579
+ {
1580
+ "alias": "none",
1581
+ "execution": {
1582
+ "byte_writes": [],
1583
+ "calls": [],
1584
+ "children": [],
1585
+ "return": null,
1586
+ "trace": null,
1587
+ "trace_length": 66,
1588
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1589
+ },
1590
+ "initial": {
1591
+ "a": [
1592
+ 1621981420,
1593
+ 1065353224,
1594
+ 2147483648
1595
+ ],
1596
+ "b": [
1597
+ 3267887104,
1598
+ 1128792064,
1599
+ 3281387520
1600
+ ],
1601
+ "fraction": 1065353216,
1602
+ "output": [
1603
+ 1119223808,
1604
+ 1119354880,
1605
+ 1119485952
1606
+ ]
1607
+ },
1608
+ "output": [
1609
+ 3267887104,
1610
+ 1128792064,
1611
+ 3281387520
1612
+ ]
1613
+ },
1614
+ {
1615
+ "alias": "a",
1616
+ "execution": {
1617
+ "byte_writes": [],
1618
+ "calls": [],
1619
+ "children": [],
1620
+ "return": null,
1621
+ "trace": null,
1622
+ "trace_length": 66,
1623
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1624
+ },
1625
+ "initial": {
1626
+ "a": [
1627
+ 1621981420,
1628
+ 1065353224,
1629
+ 2147483648
1630
+ ],
1631
+ "b": [
1632
+ 3267887104,
1633
+ 1128792064,
1634
+ 3281387520
1635
+ ],
1636
+ "fraction": 1065353216,
1637
+ "output": [
1638
+ 1621981420,
1639
+ 1065353224,
1640
+ 2147483648
1641
+ ]
1642
+ },
1643
+ "output": [
1644
+ 3267887104,
1645
+ 1128792064,
1646
+ 3281387520
1647
+ ]
1648
+ },
1649
+ {
1650
+ "alias": "b",
1651
+ "execution": {
1652
+ "byte_writes": [],
1653
+ "calls": [],
1654
+ "children": [],
1655
+ "return": null,
1656
+ "trace": null,
1657
+ "trace_length": 66,
1658
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1659
+ },
1660
+ "initial": {
1661
+ "a": [
1662
+ 1621981420,
1663
+ 1065353224,
1664
+ 2147483648
1665
+ ],
1666
+ "b": [
1667
+ 3267887104,
1668
+ 1128792064,
1669
+ 3281387520
1670
+ ],
1671
+ "fraction": 1065353216,
1672
+ "output": [
1673
+ 3267887104,
1674
+ 1128792064,
1675
+ 3281387520
1676
+ ]
1677
+ },
1678
+ "output": [
1679
+ 3267887104,
1680
+ 1128792064,
1681
+ 3281387520
1682
+ ]
1683
+ },
1684
+ {
1685
+ "alias": "none",
1686
+ "execution": {
1687
+ "byte_writes": [],
1688
+ "calls": [],
1689
+ "children": [],
1690
+ "return": null,
1691
+ "trace": null,
1692
+ "trace_length": 66,
1693
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1694
+ },
1695
+ "initial": {
1696
+ "a": [
1697
+ 1621981420,
1698
+ 1065353224,
1699
+ 2147483648
1700
+ ],
1701
+ "b": [
1702
+ 3267887104,
1703
+ 1128792064,
1704
+ 3281387520
1705
+ ],
1706
+ "fraction": 1065353217,
1707
+ "output": [
1708
+ 1119223808,
1709
+ 1119354880,
1710
+ 1119485952
1711
+ ]
1712
+ },
1713
+ "output": [
1714
+ 3576527084,
1715
+ 1128792066,
1716
+ 3281387521
1717
+ ]
1718
+ },
1719
+ {
1720
+ "alias": "a",
1721
+ "execution": {
1722
+ "byte_writes": [],
1723
+ "calls": [],
1724
+ "children": [],
1725
+ "return": null,
1726
+ "trace": null,
1727
+ "trace_length": 66,
1728
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1729
+ },
1730
+ "initial": {
1731
+ "a": [
1732
+ 1621981420,
1733
+ 1065353224,
1734
+ 2147483648
1735
+ ],
1736
+ "b": [
1737
+ 3267887104,
1738
+ 1128792064,
1739
+ 3281387520
1740
+ ],
1741
+ "fraction": 1065353217,
1742
+ "output": [
1743
+ 1621981420,
1744
+ 1065353224,
1745
+ 2147483648
1746
+ ]
1747
+ },
1748
+ "output": [
1749
+ 3576527084,
1750
+ 1128792066,
1751
+ 3281387521
1752
+ ]
1753
+ },
1754
+ {
1755
+ "alias": "b",
1756
+ "execution": {
1757
+ "byte_writes": [],
1758
+ "calls": [],
1759
+ "children": [],
1760
+ "return": null,
1761
+ "trace": null,
1762
+ "trace_length": 66,
1763
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1764
+ },
1765
+ "initial": {
1766
+ "a": [
1767
+ 1621981420,
1768
+ 1065353224,
1769
+ 2147483648
1770
+ ],
1771
+ "b": [
1772
+ 3267887104,
1773
+ 1128792064,
1774
+ 3281387520
1775
+ ],
1776
+ "fraction": 1065353217,
1777
+ "output": [
1778
+ 3267887104,
1779
+ 1128792064,
1780
+ 3281387520
1781
+ ]
1782
+ },
1783
+ "output": [
1784
+ 3576527084,
1785
+ 1128792066,
1786
+ 3281387521
1787
+ ]
1788
+ },
1789
+ {
1790
+ "alias": "none",
1791
+ "execution": {
1792
+ "byte_writes": [],
1793
+ "calls": [],
1794
+ "children": [],
1795
+ "return": null,
1796
+ "trace": null,
1797
+ "trace_length": 66,
1798
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1799
+ },
1800
+ "initial": {
1801
+ "a": [
1802
+ 1621981420,
1803
+ 1065353224,
1804
+ 2147483648
1805
+ ],
1806
+ "b": [
1807
+ 3267887104,
1808
+ 1128792064,
1809
+ 3281387520
1810
+ ],
1811
+ "fraction": 1073741824,
1812
+ "output": [
1813
+ 1119223808,
1814
+ 1119354880,
1815
+ 1119485952
1816
+ ]
1817
+ },
1818
+ "output": [
1819
+ 3769465068,
1820
+ 1137147904,
1821
+ 3289776128
1822
+ ]
1823
+ },
1824
+ {
1825
+ "alias": "a",
1826
+ "execution": {
1827
+ "byte_writes": [],
1828
+ "calls": [],
1829
+ "children": [],
1830
+ "return": null,
1831
+ "trace": null,
1832
+ "trace_length": 66,
1833
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1834
+ },
1835
+ "initial": {
1836
+ "a": [
1837
+ 1621981420,
1838
+ 1065353224,
1839
+ 2147483648
1840
+ ],
1841
+ "b": [
1842
+ 3267887104,
1843
+ 1128792064,
1844
+ 3281387520
1845
+ ],
1846
+ "fraction": 1073741824,
1847
+ "output": [
1848
+ 1621981420,
1849
+ 1065353224,
1850
+ 2147483648
1851
+ ]
1852
+ },
1853
+ "output": [
1854
+ 3769465068,
1855
+ 1137147904,
1856
+ 3289776128
1857
+ ]
1858
+ },
1859
+ {
1860
+ "alias": "b",
1861
+ "execution": {
1862
+ "byte_writes": [],
1863
+ "calls": [],
1864
+ "children": [],
1865
+ "return": null,
1866
+ "trace": null,
1867
+ "trace_length": 66,
1868
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1869
+ },
1870
+ "initial": {
1871
+ "a": [
1872
+ 1621981420,
1873
+ 1065353224,
1874
+ 2147483648
1875
+ ],
1876
+ "b": [
1877
+ 3267887104,
1878
+ 1128792064,
1879
+ 3281387520
1880
+ ],
1881
+ "fraction": 1073741824,
1882
+ "output": [
1883
+ 3267887104,
1884
+ 1128792064,
1885
+ 3281387520
1886
+ ]
1887
+ },
1888
+ "output": [
1889
+ 3769465068,
1890
+ 1137147904,
1891
+ 3289776128
1892
+ ]
1893
+ },
1894
+ {
1895
+ "alias": "none",
1896
+ "execution": {
1897
+ "byte_writes": [],
1898
+ "calls": [],
1899
+ "children": [],
1900
+ "return": null,
1901
+ "trace": null,
1902
+ "trace_length": 66,
1903
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1904
+ },
1905
+ "initial": {
1906
+ "a": [
1907
+ 1621981420,
1908
+ 1065353224,
1909
+ 2147483648
1910
+ ],
1911
+ "b": [
1912
+ 3769465068,
1913
+ 3212836872,
1914
+ 0
1915
+ ],
1916
+ "fraction": 3212836864,
1917
+ "output": [
1918
+ 1119223808,
1919
+ 1119354880,
1920
+ 1119485952
1921
+ ]
1922
+ },
1923
+ "output": [
1924
+ 1635916465,
1925
+ 1077936140,
1926
+ 2147483648
1927
+ ]
1928
+ },
1929
+ {
1930
+ "alias": "a",
1931
+ "execution": {
1932
+ "byte_writes": [],
1933
+ "calls": [],
1934
+ "children": [],
1935
+ "return": null,
1936
+ "trace": null,
1937
+ "trace_length": 66,
1938
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1939
+ },
1940
+ "initial": {
1941
+ "a": [
1942
+ 1621981420,
1943
+ 1065353224,
1944
+ 2147483648
1945
+ ],
1946
+ "b": [
1947
+ 3769465068,
1948
+ 3212836872,
1949
+ 0
1950
+ ],
1951
+ "fraction": 3212836864,
1952
+ "output": [
1953
+ 1621981420,
1954
+ 1065353224,
1955
+ 2147483648
1956
+ ]
1957
+ },
1958
+ "output": [
1959
+ 1635916465,
1960
+ 1077936140,
1961
+ 2147483648
1962
+ ]
1963
+ },
1964
+ {
1965
+ "alias": "b",
1966
+ "execution": {
1967
+ "byte_writes": [],
1968
+ "calls": [],
1969
+ "children": [],
1970
+ "return": null,
1971
+ "trace": null,
1972
+ "trace_length": 66,
1973
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
1974
+ },
1975
+ "initial": {
1976
+ "a": [
1977
+ 1621981420,
1978
+ 1065353224,
1979
+ 2147483648
1980
+ ],
1981
+ "b": [
1982
+ 3769465068,
1983
+ 3212836872,
1984
+ 0
1985
+ ],
1986
+ "fraction": 3212836864,
1987
+ "output": [
1988
+ 3769465068,
1989
+ 3212836872,
1990
+ 0
1991
+ ]
1992
+ },
1993
+ "output": [
1994
+ 1635916465,
1995
+ 1077936140,
1996
+ 2147483648
1997
+ ]
1998
+ },
1999
+ {
2000
+ "alias": "none",
2001
+ "execution": {
2002
+ "byte_writes": [],
2003
+ "calls": [],
2004
+ "children": [],
2005
+ "return": null,
2006
+ "trace": null,
2007
+ "trace_length": 66,
2008
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2009
+ },
2010
+ "initial": {
2011
+ "a": [
2012
+ 1621981420,
2013
+ 1065353224,
2014
+ 2147483648
2015
+ ],
2016
+ "b": [
2017
+ 3769465068,
2018
+ 3212836872,
2019
+ 0
2020
+ ],
2021
+ "fraction": 0,
2022
+ "output": [
2023
+ 1119223808,
2024
+ 1119354880,
2025
+ 1119485952
2026
+ ]
2027
+ },
2028
+ "output": [
2029
+ 1621981420,
2030
+ 1065353224,
2031
+ 0
2032
+ ]
2033
+ },
2034
+ {
2035
+ "alias": "a",
2036
+ "execution": {
2037
+ "byte_writes": [],
2038
+ "calls": [],
2039
+ "children": [],
2040
+ "return": null,
2041
+ "trace": null,
2042
+ "trace_length": 66,
2043
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2044
+ },
2045
+ "initial": {
2046
+ "a": [
2047
+ 1621981420,
2048
+ 1065353224,
2049
+ 2147483648
2050
+ ],
2051
+ "b": [
2052
+ 3769465068,
2053
+ 3212836872,
2054
+ 0
2055
+ ],
2056
+ "fraction": 0,
2057
+ "output": [
2058
+ 1621981420,
2059
+ 1065353224,
2060
+ 2147483648
2061
+ ]
2062
+ },
2063
+ "output": [
2064
+ 1621981420,
2065
+ 1065353224,
2066
+ 0
2067
+ ]
2068
+ },
2069
+ {
2070
+ "alias": "b",
2071
+ "execution": {
2072
+ "byte_writes": [],
2073
+ "calls": [],
2074
+ "children": [],
2075
+ "return": null,
2076
+ "trace": null,
2077
+ "trace_length": 66,
2078
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2079
+ },
2080
+ "initial": {
2081
+ "a": [
2082
+ 1621981420,
2083
+ 1065353224,
2084
+ 2147483648
2085
+ ],
2086
+ "b": [
2087
+ 3769465068,
2088
+ 3212836872,
2089
+ 0
2090
+ ],
2091
+ "fraction": 0,
2092
+ "output": [
2093
+ 3769465068,
2094
+ 3212836872,
2095
+ 0
2096
+ ]
2097
+ },
2098
+ "output": [
2099
+ 1621981420,
2100
+ 1065353224,
2101
+ 0
2102
+ ]
2103
+ },
2104
+ {
2105
+ "alias": "none",
2106
+ "execution": {
2107
+ "byte_writes": [],
2108
+ "calls": [],
2109
+ "children": [],
2110
+ "return": null,
2111
+ "trace": null,
2112
+ "trace_length": 66,
2113
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2114
+ },
2115
+ "initial": {
2116
+ "a": [
2117
+ 1621981420,
2118
+ 1065353224,
2119
+ 2147483648
2120
+ ],
2121
+ "b": [
2122
+ 3769465068,
2123
+ 3212836872,
2124
+ 0
2125
+ ],
2126
+ "fraction": 1048576000,
2127
+ "output": [
2128
+ 1119223808,
2129
+ 1119354880,
2130
+ 1119485952
2131
+ ]
2132
+ },
2133
+ "output": [
2134
+ 1613592812,
2135
+ 1056964616,
2136
+ 0
2137
+ ]
2138
+ },
2139
+ {
2140
+ "alias": "a",
2141
+ "execution": {
2142
+ "byte_writes": [],
2143
+ "calls": [],
2144
+ "children": [],
2145
+ "return": null,
2146
+ "trace": null,
2147
+ "trace_length": 66,
2148
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2149
+ },
2150
+ "initial": {
2151
+ "a": [
2152
+ 1621981420,
2153
+ 1065353224,
2154
+ 2147483648
2155
+ ],
2156
+ "b": [
2157
+ 3769465068,
2158
+ 3212836872,
2159
+ 0
2160
+ ],
2161
+ "fraction": 1048576000,
2162
+ "output": [
2163
+ 1621981420,
2164
+ 1065353224,
2165
+ 2147483648
2166
+ ]
2167
+ },
2168
+ "output": [
2169
+ 1613592812,
2170
+ 1056964616,
2171
+ 0
2172
+ ]
2173
+ },
2174
+ {
2175
+ "alias": "b",
2176
+ "execution": {
2177
+ "byte_writes": [],
2178
+ "calls": [],
2179
+ "children": [],
2180
+ "return": null,
2181
+ "trace": null,
2182
+ "trace_length": 66,
2183
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2184
+ },
2185
+ "initial": {
2186
+ "a": [
2187
+ 1621981420,
2188
+ 1065353224,
2189
+ 2147483648
2190
+ ],
2191
+ "b": [
2192
+ 3769465068,
2193
+ 3212836872,
2194
+ 0
2195
+ ],
2196
+ "fraction": 1048576000,
2197
+ "output": [
2198
+ 3769465068,
2199
+ 3212836872,
2200
+ 0
2201
+ ]
2202
+ },
2203
+ "output": [
2204
+ 1613592812,
2205
+ 1056964616,
2206
+ 0
2207
+ ]
2208
+ },
2209
+ {
2210
+ "alias": "none",
2211
+ "execution": {
2212
+ "byte_writes": [],
2213
+ "calls": [],
2214
+ "children": [],
2215
+ "return": null,
2216
+ "trace": null,
2217
+ "trace_length": 66,
2218
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2219
+ },
2220
+ "initial": {
2221
+ "a": [
2222
+ 1621981420,
2223
+ 1065353224,
2224
+ 2147483648
2225
+ ],
2226
+ "b": [
2227
+ 3769465068,
2228
+ 3212836872,
2229
+ 0
2230
+ ],
2231
+ "fraction": 1065353216,
2232
+ "output": [
2233
+ 1119223808,
2234
+ 1119354880,
2235
+ 1119485952
2236
+ ]
2237
+ },
2238
+ "output": [
2239
+ 3769465068,
2240
+ 3212836872,
2241
+ 0
2242
+ ]
2243
+ },
2244
+ {
2245
+ "alias": "a",
2246
+ "execution": {
2247
+ "byte_writes": [],
2248
+ "calls": [],
2249
+ "children": [],
2250
+ "return": null,
2251
+ "trace": null,
2252
+ "trace_length": 66,
2253
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2254
+ },
2255
+ "initial": {
2256
+ "a": [
2257
+ 1621981420,
2258
+ 1065353224,
2259
+ 2147483648
2260
+ ],
2261
+ "b": [
2262
+ 3769465068,
2263
+ 3212836872,
2264
+ 0
2265
+ ],
2266
+ "fraction": 1065353216,
2267
+ "output": [
2268
+ 1621981420,
2269
+ 1065353224,
2270
+ 2147483648
2271
+ ]
2272
+ },
2273
+ "output": [
2274
+ 3769465068,
2275
+ 3212836872,
2276
+ 0
2277
+ ]
2278
+ },
2279
+ {
2280
+ "alias": "b",
2281
+ "execution": {
2282
+ "byte_writes": [],
2283
+ "calls": [],
2284
+ "children": [],
2285
+ "return": null,
2286
+ "trace": null,
2287
+ "trace_length": 66,
2288
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2289
+ },
2290
+ "initial": {
2291
+ "a": [
2292
+ 1621981420,
2293
+ 1065353224,
2294
+ 2147483648
2295
+ ],
2296
+ "b": [
2297
+ 3769465068,
2298
+ 3212836872,
2299
+ 0
2300
+ ],
2301
+ "fraction": 1065353216,
2302
+ "output": [
2303
+ 3769465068,
2304
+ 3212836872,
2305
+ 0
2306
+ ]
2307
+ },
2308
+ "output": [
2309
+ 3769465068,
2310
+ 3212836872,
2311
+ 0
2312
+ ]
2313
+ },
2314
+ {
2315
+ "alias": "none",
2316
+ "execution": {
2317
+ "byte_writes": [],
2318
+ "calls": [],
2319
+ "children": [],
2320
+ "return": null,
2321
+ "trace": null,
2322
+ "trace_length": 66,
2323
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2324
+ },
2325
+ "initial": {
2326
+ "a": [
2327
+ 1621981420,
2328
+ 1065353224,
2329
+ 2147483648
2330
+ ],
2331
+ "b": [
2332
+ 3769465068,
2333
+ 3212836872,
2334
+ 0
2335
+ ],
2336
+ "fraction": 1065353217,
2337
+ "output": [
2338
+ 1119223808,
2339
+ 1119354880,
2340
+ 1119485952
2341
+ ]
2342
+ },
2343
+ "output": [
2344
+ 3769465070,
2345
+ 3212836874,
2346
+ 0
2347
+ ]
2348
+ },
2349
+ {
2350
+ "alias": "a",
2351
+ "execution": {
2352
+ "byte_writes": [],
2353
+ "calls": [],
2354
+ "children": [],
2355
+ "return": null,
2356
+ "trace": null,
2357
+ "trace_length": 66,
2358
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2359
+ },
2360
+ "initial": {
2361
+ "a": [
2362
+ 1621981420,
2363
+ 1065353224,
2364
+ 2147483648
2365
+ ],
2366
+ "b": [
2367
+ 3769465068,
2368
+ 3212836872,
2369
+ 0
2370
+ ],
2371
+ "fraction": 1065353217,
2372
+ "output": [
2373
+ 1621981420,
2374
+ 1065353224,
2375
+ 2147483648
2376
+ ]
2377
+ },
2378
+ "output": [
2379
+ 3769465070,
2380
+ 3212836874,
2381
+ 0
2382
+ ]
2383
+ },
2384
+ {
2385
+ "alias": "b",
2386
+ "execution": {
2387
+ "byte_writes": [],
2388
+ "calls": [],
2389
+ "children": [],
2390
+ "return": null,
2391
+ "trace": null,
2392
+ "trace_length": 66,
2393
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2394
+ },
2395
+ "initial": {
2396
+ "a": [
2397
+ 1621981420,
2398
+ 1065353224,
2399
+ 2147483648
2400
+ ],
2401
+ "b": [
2402
+ 3769465068,
2403
+ 3212836872,
2404
+ 0
2405
+ ],
2406
+ "fraction": 1065353217,
2407
+ "output": [
2408
+ 3769465068,
2409
+ 3212836872,
2410
+ 0
2411
+ ]
2412
+ },
2413
+ "output": [
2414
+ 3769465070,
2415
+ 3212836874,
2416
+ 0
2417
+ ]
2418
+ },
2419
+ {
2420
+ "alias": "none",
2421
+ "execution": {
2422
+ "byte_writes": [],
2423
+ "calls": [],
2424
+ "children": [],
2425
+ "return": null,
2426
+ "trace": null,
2427
+ "trace_length": 66,
2428
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2429
+ },
2430
+ "initial": {
2431
+ "a": [
2432
+ 1621981420,
2433
+ 1065353224,
2434
+ 2147483648
2435
+ ],
2436
+ "b": [
2437
+ 3769465068,
2438
+ 3212836872,
2439
+ 0
2440
+ ],
2441
+ "fraction": 1073741824,
2442
+ "output": [
2443
+ 1119223808,
2444
+ 1119354880,
2445
+ 1119485952
2446
+ ]
2447
+ },
2448
+ "output": [
2449
+ 3783400113,
2450
+ 3225419788,
2451
+ 0
2452
+ ]
2453
+ },
2454
+ {
2455
+ "alias": "a",
2456
+ "execution": {
2457
+ "byte_writes": [],
2458
+ "calls": [],
2459
+ "children": [],
2460
+ "return": null,
2461
+ "trace": null,
2462
+ "trace_length": 66,
2463
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2464
+ },
2465
+ "initial": {
2466
+ "a": [
2467
+ 1621981420,
2468
+ 1065353224,
2469
+ 2147483648
2470
+ ],
2471
+ "b": [
2472
+ 3769465068,
2473
+ 3212836872,
2474
+ 0
2475
+ ],
2476
+ "fraction": 1073741824,
2477
+ "output": [
2478
+ 1621981420,
2479
+ 1065353224,
2480
+ 2147483648
2481
+ ]
2482
+ },
2483
+ "output": [
2484
+ 3783400113,
2485
+ 3225419788,
2486
+ 0
2487
+ ]
2488
+ },
2489
+ {
2490
+ "alias": "b",
2491
+ "execution": {
2492
+ "byte_writes": [],
2493
+ "calls": [],
2494
+ "children": [],
2495
+ "return": null,
2496
+ "trace": null,
2497
+ "trace_length": 66,
2498
+ "trace_sha256": "5eee5f28d4082705b2c211fa71351b271590a9bd60905e9bee9aaed4904a4a2b"
2499
+ },
2500
+ "initial": {
2501
+ "a": [
2502
+ 1621981420,
2503
+ 1065353224,
2504
+ 2147483648
2505
+ ],
2506
+ "b": [
2507
+ 3769465068,
2508
+ 3212836872,
2509
+ 0
2510
+ ],
2511
+ "fraction": 1073741824,
2512
+ "output": [
2513
+ 3769465068,
2514
+ 3212836872,
2515
+ 0
2516
+ ]
2517
+ },
2518
+ "output": [
2519
+ 3783400113,
2520
+ 3225419788,
2521
+ 0
2522
+ ]
2523
+ }
2524
+ ],
2525
+ "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
2526
+ "source": {
2527
+ "archive": "zUrT43_qvm.pk3",
2528
+ "archive_sha256": "b59bf0c5bedf11d50e0edd220da7eade96de40601e98ae14c54c819047df0796",
2529
+ "member": {
2530
+ "bytes": 983300,
2531
+ "comment_hex": "",
2532
+ "compressed_bytes": 246560,
2533
+ "compression": 8,
2534
+ "crc32": "98ea1768",
2535
+ "create_system": 0,
2536
+ "create_version": 63,
2537
+ "date_time": [
2538
+ 2018,
2539
+ 6,
2540
+ 18,
2541
+ 22,
2542
+ 11,
2543
+ 50
2544
+ ],
2545
+ "directory": false,
2546
+ "entry_index": 2,
2547
+ "external_attr": 32,
2548
+ "extra_hex": "0a0020000000000001001800d1e24e974007d40116dcbf962f1fd20116dcbf962f1fd201",
2549
+ "extract_version": 20,
2550
+ "flags": 0,
2551
+ "header_offset": 221309,
2552
+ "internal_attr": 0,
2553
+ "occurrence": 0,
2554
+ "output": "assets/extracted/zUrT43_qvm.pk3/members/000002/vm/qagame.qvm",
2555
+ "path": "vm/qagame.qvm",
2556
+ "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
2557
+ "type": "member",
2558
+ "volume": 0
2559
+ }
2560
+ }
2561
+ }
scripts/analyze_qvm_history_vector_lerp.py ADDED
@@ -0,0 +1,27 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ #!/usr/bin/env python3
2
+ """Complete143031 source-order weighted vector interpolation."""
3
+ import itertools
4
+ from pathlib import Path
5
+ from qvm_research_support import source,execute
6
+ from analyze_qvm_acceleration import word
7
+ from analyze_qvm_slide_prefix import vec
8
+ from analyze_qvm import write_json
9
+ LOCAL=0x79d00000
10
+ A=LOCAL+0x1000
11
+ B=LOCAL+0x1100
12
+ OUT=LOCAL+0x1200
13
+
14
+ def interpolate(ins,m,args):
15
+ m=dict(m);before={'fraction':args[8]&0xffffffff,'a':vec(m,args[12]),'b':vec(m,args[16]),'output':vec(m,args[20])}
16
+ for o,v in args.items():m[LOCAL+12+o]=v
17
+ m,_,e=execute(ins,143032,143098,m,(0,0,0),LOCAL);return m,{'initial':before,'execution':e,'output':vec(m,args[20])}
18
+
19
+ def main():
20
+ q,raw,h,ins=source();rows=[]
21
+ for a,b,fraction,alias in itertools.product([(1.9,-2.9,3.1),(1e20,1.000001,-.0)],[(-100,200,-300),(-1e20,-1.000001,0)],[-1,0,.25,1,1.0000001,2],['none','a','b']):
22
+ m={}
23
+ for p,v in [(A,a),(B,b),(OUT,(91,92,93))]:
24
+ for j,x in enumerate(v):m[p+4*j]=word(x)
25
+ _,r=interpolate(ins,m,{8:word(fraction),12:A,16:B,20:{'none':OUT,'a':A,'b':B}[alias]});r['alias']=alias;rows.append(r)
26
+ write_json(Path('docs/research/qvm-history-vector-lerp.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Complete143032–143097 before void epilogue. Finite f32 weights, no clamp. Exact input-vector output aliases tested; partial overlaps and nonfinite domains unverified. No history selection/native execution.'})
27
+ if __name__=='__main__':main()
scripts/test_qvm_history_vector_lerp.py ADDED
@@ -0,0 +1,20 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ import json,unittest
2
+ from pathlib import Path
3
+ from test_qvm_ground import word,n,f
4
+
5
+ def expected(p):
6
+ a=p['initial'];t=n(a['fraction']);return [word(f(f(f(1-t)*n(x))+f(t*n(y)))) for x,y in zip(a['a'],a['b'])]
7
+ class HistoryVectorLerpTests(unittest.TestCase):
8
+ @classmethod
9
+ def setUpClass(cls):cls.r=json.loads(Path('docs/research/qvm-history-vector-lerp.json').read_text())
10
+ def test_independent_exact_f32_weighted_sum(self):
11
+ self.assertEqual(len(self.r['probes']),72)
12
+ for p in self.r['probes']:self.assertEqual(p['output'],expected(p));self.assertEqual(p['execution']['calls'],[])
13
+ def test_exact_aliases_match_separate_output(self):
14
+ for j in range(0,len(self.r['probes']),3):self.assertEqual(self.r['probes'][j]['output'],self.r['probes'][j+1]['output']);self.assertEqual(self.r['probes'][j]['output'],self.r['probes'][j+2]['output'])
15
+ def test_not_replaced_by_subtract_then_add_lerp(self):
16
+ different=False
17
+ for p in self.r['probes']:
18
+ a=p['initial'];alternative=[word(f(n(x)+f(n(a['fraction'])*f(n(y)-n(x))))) for x,y in zip(a['a'],a['b'])];different|=alternative!=p['output']
19
+ self.assertTrue(different)
20
+ if __name__=='__main__':unittest.main()