nmarshall commited on
Commit
149c201
·
1 Parent(s): 5256942

qvm: hit normal and point

Browse files
docs/ASSET_PIPELINE_TODO.md CHANGED
@@ -718,3 +718,6 @@ Research progress: RE-681 [report](research/QVM_LEAF_VERTICES.md); remaining nat
718
 
719
 
720
  Research progress: RE-682 [report](research/QVM_RAY_TRIANGLE.md); remaining native/content/runtime/platform scope stays open.
 
 
 
 
718
 
719
 
720
  Research progress: RE-682 [report](research/QVM_RAY_TRIANGLE.md); remaining native/content/runtime/platform scope stays open.
721
+
722
+
723
+ Research progress: RE-683 [report](research/QVM_HIT_GEOMETRY.md); remaining native/content/runtime/platform scope stays open.
docs/FINDINGS.md CHANGED
@@ -1064,3 +1064,6 @@ Bounded qagame paths recover bomb-plant/inactivity correction requests, direct f
1064
 
1065
 
1066
  **RE-682 — Leaf ray triangle determinant and barycentric tests:** 23092 rejects an open determinant epsilon interval and out-of-triangle barycentrics but retains either winding and negative/unbounded ray parameters. [Evidence](research/QVM_RAY_TRIANGLE.md).
 
 
 
 
1064
 
1065
 
1066
  **RE-682 — Leaf ray triangle determinant and barycentric tests:** 23092 rejects an open determinant epsilon interval and out-of-triangle barycentrics but retains either winding and negative/unbounded ray parameters. [Evidence](research/QVM_RAY_TRIANGLE.md).
1067
+
1068
+
1069
+ **RE-683 — Accepted candidate normal and exact source point construction:** 23092 normalizes cross(a−b,b−c) and both edges, then builds point=a+unit(a−b)×u+unit(b−c)×v in source addition order. [Evidence](research/QVM_HIT_GEOMETRY.md).
docs/PROVISIONAL_TODO.md CHANGED
@@ -1047,3 +1047,6 @@ Research progress: RE-681 [report](research/QVM_LEAF_VERTICES.md); remaining nat
1047
 
1048
 
1049
  Research progress: RE-682 [report](research/QVM_RAY_TRIANGLE.md); remaining native/content/runtime/platform scope stays open.
 
 
 
 
1047
 
1048
 
1049
  Research progress: RE-682 [report](research/QVM_RAY_TRIANGLE.md); remaining native/content/runtime/platform scope stays open.
1050
+
1051
+
1052
+ Research progress: RE-683 [report](research/QVM_HIT_GEOMETRY.md); remaining native/content/runtime/platform scope stays open.
docs/RESEARCH_LEDGER.md CHANGED
@@ -1062,3 +1062,8 @@ Actual queried/allocated grenade enters223156, evaluates source trajectory, trun
1062
  ## 2026-10-21 — RE-682 Leaf ray triangle determinant and barycentric tests (separate task commit)
1063
 
1064
  23092 rejects an open determinant epsilon interval and out-of-triangle barycentrics but retains either winding and negative/unbounded ray parameters. 48 independent float32 geometry fixtures check determinant, every reached barycentric, candidate/rejection boundaries, degeneracy, edges, winding and behind-origin parameters. Full suite: 1185 tests pass. Report regenerates byte-identically (39794 bytes). Storage/filter, links and whitespace checks pass. No assets/Rust runtime/shared VM evaluator changed; native/reference/legal/full platform scope remains open.
 
 
 
 
 
 
1062
  ## 2026-10-21 — RE-682 Leaf ray triangle determinant and barycentric tests (separate task commit)
1063
 
1064
  23092 rejects an open determinant epsilon interval and out-of-triangle barycentrics but retains either winding and negative/unbounded ray parameters. 48 independent float32 geometry fixtures check determinant, every reached barycentric, candidate/rejection boundaries, degeneracy, edges, winding and behind-origin parameters. Full suite: 1185 tests pass. Report regenerates byte-identically (39794 bytes). Storage/filter, links and whitespace checks pass. No assets/Rust runtime/shared VM evaluator changed; native/reference/legal/full platform scope remains open.
1065
+
1066
+
1067
+ ## 2026-10-21 — RE-683 Accepted candidate normal and exact source point construction (separate task commit)
1068
+
1069
+ 23092 normalizes cross(a−b,b−c) and both edges, then builds point=a+unit(a−b)×u+unit(b−c)×v in source addition order. 24 independent full-vector fixtures check normals, unit edges and source points across scaling, skew, winding, edges and negative ray parameters. Full suite: 1189 tests pass. Report regenerates byte-identically (71527 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
@@ -1090,3 +1090,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
1090
 
1091
 
1092
  - [x] RE-682 Leaf ray triangle determinant and barycentric tests ([report](research/QVM_RAY_TRIANGLE.md)).
 
 
 
 
1090
 
1091
 
1092
  - [x] RE-682 Leaf ray triangle determinant and barycentric tests ([report](research/QVM_RAY_TRIANGLE.md)).
1093
+
1094
+
1095
+ - [x] RE-683 Accepted candidate normal and exact source point construction ([report](research/QVM_HIT_GEOMETRY.md)).
docs/research/QVM_HIT_GEOMETRY.md ADDED
@@ -0,0 +1,7 @@
 
 
 
 
 
 
 
 
1
+ # Accepted candidate normal and exact source point construction
2
+
3
+ RE-683. Reproduce with `python3 scripts/analyze_qvm_hit_geometry.py`; check with `python3 scripts/test_qvm_hit_geometry.py`. The [machine report](qvm-hit-geometry.json) retains source identity and bounded fixtures.
4
+
5
+ Actual24822–25136 makes three finite sqrt requests: normal length followed by both edge lengths. The source point uses normalized reversed/consecutive edges with the prior barycentrics. Its outputs differ from the conventional ray intersection point even for a simple unit triangle; the rewrite evidence preserves those exact words rather than substituting expected geometry. Point addition evaluates a+(edge1×u+edge2×v) in float32 order. This closes normal/point production on finite accepted candidates, while metadata and publication remain separate. Original native sqrt parity and live model semantics remain unverified.
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
@@ -648,3 +648,6 @@ The extension collector adds five focused tests for native tail calls, command-r
648
 
649
 
650
  [RE-682: Leaf ray triangle determinant and barycentric tests](QVM_RAY_TRIANGLE.md). Reproduce with `python3 scripts/analyze_qvm_ray_triangle.py`; check with `python3 scripts/test_qvm_ray_triangle.py`.
 
 
 
 
648
 
649
 
650
  [RE-682: Leaf ray triangle determinant and barycentric tests](QVM_RAY_TRIANGLE.md). Reproduce with `python3 scripts/analyze_qvm_ray_triangle.py`; check with `python3 scripts/test_qvm_ray_triangle.py`.
651
+
652
+
653
+ [RE-683: Accepted candidate normal and exact source point construction](QVM_HIT_GEOMETRY.md). Reproduce with `python3 scripts/analyze_qvm_hit_geometry.py`; check with `python3 scripts/test_qvm_hit_geometry.py`.
docs/research/qvm-hit-geometry.json ADDED
@@ -0,0 +1,3377 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "limits": "Actual24822\u201325136 after recovered triangle candidates, with explicit finite sqrt responses. Point uses normalized a\u2212b and b\u2212c edges times barycentrics; it is not silently replaced by conventional ray intersection. No metadata/publication yet.",
3
+ "probes": [
4
+ {
5
+ "candidate": {
6
+ "candidate": true,
7
+ "determinant": 1065353216,
8
+ "direction": [
9
+ 0,
10
+ 0,
11
+ 3212836864
12
+ ],
13
+ "execution": {
14
+ "byte_writes": [],
15
+ "calls": [],
16
+ "children": [],
17
+ "return": null,
18
+ "stop": 24822,
19
+ "trace": null,
20
+ "trace_length": 307,
21
+ "trace_sha256": "80f2bb45c55d96f90fb7e9d72cda10c1d081c77ec462cd82c7f365837e242c0a"
22
+ },
23
+ "origin": [
24
+ 0,
25
+ 0,
26
+ 1065353216
27
+ ],
28
+ "parameter": 1065353216,
29
+ "u": 0,
30
+ "v": 0,
31
+ "vertices": [
32
+ [
33
+ 0,
34
+ 0,
35
+ 0
36
+ ],
37
+ [
38
+ 1065353216,
39
+ 0,
40
+ 0
41
+ ],
42
+ [
43
+ 0,
44
+ 1065353216,
45
+ 0
46
+ ]
47
+ ]
48
+ },
49
+ "execution": {
50
+ "byte_writes": [],
51
+ "calls": [
52
+ {
53
+ "args": {
54
+ "8": 1065353216
55
+ },
56
+ "instruction": 24927,
57
+ "target": -107
58
+ },
59
+ {
60
+ "args": {
61
+ "8": 1065353216
62
+ },
63
+ "instruction": 24988,
64
+ "target": -107
65
+ },
66
+ {
67
+ "args": {
68
+ "8": 1073741824
69
+ },
70
+ "instruction": 25049,
71
+ "target": -107
72
+ }
73
+ ],
74
+ "children": [
75
+ {
76
+ "call": {
77
+ "args": {
78
+ "8": 1065353216
79
+ },
80
+ "instruction": 24927,
81
+ "target": -107
82
+ },
83
+ "effect": {
84
+ "input": 1065353216,
85
+ "root": 1065353216
86
+ }
87
+ },
88
+ {
89
+ "call": {
90
+ "args": {
91
+ "8": 1065353216
92
+ },
93
+ "instruction": 24988,
94
+ "target": -107
95
+ },
96
+ "effect": {
97
+ "input": 1065353216,
98
+ "root": 1065353216
99
+ }
100
+ },
101
+ {
102
+ "call": {
103
+ "args": {
104
+ "8": 1073741824
105
+ },
106
+ "instruction": 25049,
107
+ "target": -107
108
+ },
109
+ "effect": {
110
+ "input": 1073741824,
111
+ "root": 1068827891
112
+ }
113
+ }
114
+ ],
115
+ "return": null,
116
+ "trace": null,
117
+ "trace_length": 315,
118
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
119
+ },
120
+ "normal": [
121
+ 0,
122
+ 0,
123
+ 1065353216
124
+ ],
125
+ "point": [
126
+ 0,
127
+ 0,
128
+ 0
129
+ ],
130
+ "unit_edges": [
131
+ [
132
+ 3212836864,
133
+ 0,
134
+ 0
135
+ ],
136
+ [
137
+ 1060439283,
138
+ 3207922931,
139
+ 0
140
+ ]
141
+ ]
142
+ },
143
+ {
144
+ "candidate": {
145
+ "candidate": true,
146
+ "determinant": 3212836864,
147
+ "direction": [
148
+ 0,
149
+ 0,
150
+ 1065353216
151
+ ],
152
+ "execution": {
153
+ "byte_writes": [],
154
+ "calls": [],
155
+ "children": [],
156
+ "return": null,
157
+ "stop": 24822,
158
+ "trace": null,
159
+ "trace_length": 303,
160
+ "trace_sha256": "2a19d1716e51a7661b667f4fd506c135ace74dd3519ce9c008c517456b900399"
161
+ },
162
+ "origin": [
163
+ 0,
164
+ 0,
165
+ 1065353216
166
+ ],
167
+ "parameter": -1082130432,
168
+ "u": -2147483648,
169
+ "v": -2147483648,
170
+ "vertices": [
171
+ [
172
+ 0,
173
+ 0,
174
+ 0
175
+ ],
176
+ [
177
+ 1065353216,
178
+ 0,
179
+ 0
180
+ ],
181
+ [
182
+ 0,
183
+ 1065353216,
184
+ 0
185
+ ]
186
+ ]
187
+ },
188
+ "execution": {
189
+ "byte_writes": [],
190
+ "calls": [
191
+ {
192
+ "args": {
193
+ "8": 1065353216
194
+ },
195
+ "instruction": 24927,
196
+ "target": -107
197
+ },
198
+ {
199
+ "args": {
200
+ "8": 1065353216
201
+ },
202
+ "instruction": 24988,
203
+ "target": -107
204
+ },
205
+ {
206
+ "args": {
207
+ "8": 1073741824
208
+ },
209
+ "instruction": 25049,
210
+ "target": -107
211
+ }
212
+ ],
213
+ "children": [
214
+ {
215
+ "call": {
216
+ "args": {
217
+ "8": 1065353216
218
+ },
219
+ "instruction": 24927,
220
+ "target": -107
221
+ },
222
+ "effect": {
223
+ "input": 1065353216,
224
+ "root": 1065353216
225
+ }
226
+ },
227
+ {
228
+ "call": {
229
+ "args": {
230
+ "8": 1065353216
231
+ },
232
+ "instruction": 24988,
233
+ "target": -107
234
+ },
235
+ "effect": {
236
+ "input": 1065353216,
237
+ "root": 1065353216
238
+ }
239
+ },
240
+ {
241
+ "call": {
242
+ "args": {
243
+ "8": 1073741824
244
+ },
245
+ "instruction": 25049,
246
+ "target": -107
247
+ },
248
+ "effect": {
249
+ "input": 1073741824,
250
+ "root": 1068827891
251
+ }
252
+ }
253
+ ],
254
+ "return": null,
255
+ "trace": null,
256
+ "trace_length": 315,
257
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
258
+ },
259
+ "normal": [
260
+ 0,
261
+ 0,
262
+ 1065353216
263
+ ],
264
+ "point": [
265
+ 0,
266
+ 0,
267
+ 0
268
+ ],
269
+ "unit_edges": [
270
+ [
271
+ 3212836864,
272
+ 0,
273
+ 0
274
+ ],
275
+ [
276
+ 1060439283,
277
+ 3207922931,
278
+ 0
279
+ ]
280
+ ]
281
+ },
282
+ {
283
+ "candidate": {
284
+ "candidate": true,
285
+ "determinant": 1065353216,
286
+ "direction": [
287
+ 0,
288
+ 0,
289
+ 3212836864
290
+ ],
291
+ "execution": {
292
+ "byte_writes": [],
293
+ "calls": [],
294
+ "children": [],
295
+ "return": null,
296
+ "stop": 24822,
297
+ "trace": null,
298
+ "trace_length": 307,
299
+ "trace_sha256": "80f2bb45c55d96f90fb7e9d72cda10c1d081c77ec462cd82c7f365837e242c0a"
300
+ },
301
+ "origin": [
302
+ 1048576000,
303
+ 1048576000,
304
+ 1065353216
305
+ ],
306
+ "parameter": 1065353216,
307
+ "u": 1048576000,
308
+ "v": 1048576000,
309
+ "vertices": [
310
+ [
311
+ 0,
312
+ 0,
313
+ 0
314
+ ],
315
+ [
316
+ 1065353216,
317
+ 0,
318
+ 0
319
+ ],
320
+ [
321
+ 0,
322
+ 1065353216,
323
+ 0
324
+ ]
325
+ ]
326
+ },
327
+ "execution": {
328
+ "byte_writes": [],
329
+ "calls": [
330
+ {
331
+ "args": {
332
+ "8": 1065353216
333
+ },
334
+ "instruction": 24927,
335
+ "target": -107
336
+ },
337
+ {
338
+ "args": {
339
+ "8": 1065353216
340
+ },
341
+ "instruction": 24988,
342
+ "target": -107
343
+ },
344
+ {
345
+ "args": {
346
+ "8": 1073741824
347
+ },
348
+ "instruction": 25049,
349
+ "target": -107
350
+ }
351
+ ],
352
+ "children": [
353
+ {
354
+ "call": {
355
+ "args": {
356
+ "8": 1065353216
357
+ },
358
+ "instruction": 24927,
359
+ "target": -107
360
+ },
361
+ "effect": {
362
+ "input": 1065353216,
363
+ "root": 1065353216
364
+ }
365
+ },
366
+ {
367
+ "call": {
368
+ "args": {
369
+ "8": 1065353216
370
+ },
371
+ "instruction": 24988,
372
+ "target": -107
373
+ },
374
+ "effect": {
375
+ "input": 1065353216,
376
+ "root": 1065353216
377
+ }
378
+ },
379
+ {
380
+ "call": {
381
+ "args": {
382
+ "8": 1073741824
383
+ },
384
+ "instruction": 25049,
385
+ "target": -107
386
+ },
387
+ "effect": {
388
+ "input": 1073741824,
389
+ "root": 1068827891
390
+ }
391
+ }
392
+ ],
393
+ "return": null,
394
+ "trace": null,
395
+ "trace_length": 315,
396
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
397
+ },
398
+ "normal": [
399
+ 0,
400
+ 0,
401
+ 1065353216
402
+ ],
403
+ "point": [
404
+ 3180721690,
405
+ 3191145715,
406
+ 0
407
+ ],
408
+ "unit_edges": [
409
+ [
410
+ 3212836864,
411
+ 0,
412
+ 0
413
+ ],
414
+ [
415
+ 1060439283,
416
+ 3207922931,
417
+ 0
418
+ ]
419
+ ]
420
+ },
421
+ {
422
+ "candidate": {
423
+ "candidate": true,
424
+ "determinant": 3212836864,
425
+ "direction": [
426
+ 0,
427
+ 0,
428
+ 1065353216
429
+ ],
430
+ "execution": {
431
+ "byte_writes": [],
432
+ "calls": [],
433
+ "children": [],
434
+ "return": null,
435
+ "stop": 24822,
436
+ "trace": null,
437
+ "trace_length": 303,
438
+ "trace_sha256": "2a19d1716e51a7661b667f4fd506c135ace74dd3519ce9c008c517456b900399"
439
+ },
440
+ "origin": [
441
+ 1048576000,
442
+ 1048576000,
443
+ 1065353216
444
+ ],
445
+ "parameter": -1082130432,
446
+ "u": 1048576000,
447
+ "v": 1048576000,
448
+ "vertices": [
449
+ [
450
+ 0,
451
+ 0,
452
+ 0
453
+ ],
454
+ [
455
+ 1065353216,
456
+ 0,
457
+ 0
458
+ ],
459
+ [
460
+ 0,
461
+ 1065353216,
462
+ 0
463
+ ]
464
+ ]
465
+ },
466
+ "execution": {
467
+ "byte_writes": [],
468
+ "calls": [
469
+ {
470
+ "args": {
471
+ "8": 1065353216
472
+ },
473
+ "instruction": 24927,
474
+ "target": -107
475
+ },
476
+ {
477
+ "args": {
478
+ "8": 1065353216
479
+ },
480
+ "instruction": 24988,
481
+ "target": -107
482
+ },
483
+ {
484
+ "args": {
485
+ "8": 1073741824
486
+ },
487
+ "instruction": 25049,
488
+ "target": -107
489
+ }
490
+ ],
491
+ "children": [
492
+ {
493
+ "call": {
494
+ "args": {
495
+ "8": 1065353216
496
+ },
497
+ "instruction": 24927,
498
+ "target": -107
499
+ },
500
+ "effect": {
501
+ "input": 1065353216,
502
+ "root": 1065353216
503
+ }
504
+ },
505
+ {
506
+ "call": {
507
+ "args": {
508
+ "8": 1065353216
509
+ },
510
+ "instruction": 24988,
511
+ "target": -107
512
+ },
513
+ "effect": {
514
+ "input": 1065353216,
515
+ "root": 1065353216
516
+ }
517
+ },
518
+ {
519
+ "call": {
520
+ "args": {
521
+ "8": 1073741824
522
+ },
523
+ "instruction": 25049,
524
+ "target": -107
525
+ },
526
+ "effect": {
527
+ "input": 1073741824,
528
+ "root": 1068827891
529
+ }
530
+ }
531
+ ],
532
+ "return": null,
533
+ "trace": null,
534
+ "trace_length": 315,
535
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
536
+ },
537
+ "normal": [
538
+ 0,
539
+ 0,
540
+ 1065353216
541
+ ],
542
+ "point": [
543
+ 3180721690,
544
+ 3191145715,
545
+ 0
546
+ ],
547
+ "unit_edges": [
548
+ [
549
+ 3212836864,
550
+ 0,
551
+ 0
552
+ ],
553
+ [
554
+ 1060439283,
555
+ 3207922931,
556
+ 0
557
+ ]
558
+ ]
559
+ },
560
+ {
561
+ "candidate": {
562
+ "candidate": true,
563
+ "determinant": 1065353216,
564
+ "direction": [
565
+ 0,
566
+ 0,
567
+ 3212836864
568
+ ],
569
+ "execution": {
570
+ "byte_writes": [],
571
+ "calls": [],
572
+ "children": [],
573
+ "return": null,
574
+ "stop": 24822,
575
+ "trace": null,
576
+ "trace_length": 307,
577
+ "trace_sha256": "80f2bb45c55d96f90fb7e9d72cda10c1d081c77ec462cd82c7f365837e242c0a"
578
+ },
579
+ "origin": [
580
+ 1061158912,
581
+ 1048576000,
582
+ 1065353216
583
+ ],
584
+ "parameter": 1065353216,
585
+ "u": 1061158912,
586
+ "v": 1048576000,
587
+ "vertices": [
588
+ [
589
+ 0,
590
+ 0,
591
+ 0
592
+ ],
593
+ [
594
+ 1065353216,
595
+ 0,
596
+ 0
597
+ ],
598
+ [
599
+ 0,
600
+ 1065353216,
601
+ 0
602
+ ]
603
+ ]
604
+ },
605
+ "execution": {
606
+ "byte_writes": [],
607
+ "calls": [
608
+ {
609
+ "args": {
610
+ "8": 1065353216
611
+ },
612
+ "instruction": 24927,
613
+ "target": -107
614
+ },
615
+ {
616
+ "args": {
617
+ "8": 1065353216
618
+ },
619
+ "instruction": 24988,
620
+ "target": -107
621
+ },
622
+ {
623
+ "args": {
624
+ "8": 1073741824
625
+ },
626
+ "instruction": 25049,
627
+ "target": -107
628
+ }
629
+ ],
630
+ "children": [
631
+ {
632
+ "call": {
633
+ "args": {
634
+ "8": 1065353216
635
+ },
636
+ "instruction": 24927,
637
+ "target": -107
638
+ },
639
+ "effect": {
640
+ "input": 1065353216,
641
+ "root": 1065353216
642
+ }
643
+ },
644
+ {
645
+ "call": {
646
+ "args": {
647
+ "8": 1065353216
648
+ },
649
+ "instruction": 24988,
650
+ "target": -107
651
+ },
652
+ "effect": {
653
+ "input": 1065353216,
654
+ "root": 1065353216
655
+ }
656
+ },
657
+ {
658
+ "call": {
659
+ "args": {
660
+ "8": 1073741824
661
+ },
662
+ "instruction": 25049,
663
+ "target": -107
664
+ },
665
+ "effect": {
666
+ "input": 1073741824,
667
+ "root": 1068827891
668
+ }
669
+ }
670
+ ],
671
+ "return": null,
672
+ "trace": null,
673
+ "trace_length": 315,
674
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
675
+ },
676
+ "normal": [
677
+ 0,
678
+ 0,
679
+ 1065353216
680
+ ],
681
+ "point": [
682
+ 3205676739,
683
+ 3191145715,
684
+ 0
685
+ ],
686
+ "unit_edges": [
687
+ [
688
+ 3212836864,
689
+ 0,
690
+ 0
691
+ ],
692
+ [
693
+ 1060439283,
694
+ 3207922931,
695
+ 0
696
+ ]
697
+ ]
698
+ },
699
+ {
700
+ "candidate": {
701
+ "candidate": true,
702
+ "determinant": 3212836864,
703
+ "direction": [
704
+ 0,
705
+ 0,
706
+ 1065353216
707
+ ],
708
+ "execution": {
709
+ "byte_writes": [],
710
+ "calls": [],
711
+ "children": [],
712
+ "return": null,
713
+ "stop": 24822,
714
+ "trace": null,
715
+ "trace_length": 303,
716
+ "trace_sha256": "2a19d1716e51a7661b667f4fd506c135ace74dd3519ce9c008c517456b900399"
717
+ },
718
+ "origin": [
719
+ 1061158912,
720
+ 1048576000,
721
+ 1065353216
722
+ ],
723
+ "parameter": -1082130432,
724
+ "u": 1061158912,
725
+ "v": 1048576000,
726
+ "vertices": [
727
+ [
728
+ 0,
729
+ 0,
730
+ 0
731
+ ],
732
+ [
733
+ 1065353216,
734
+ 0,
735
+ 0
736
+ ],
737
+ [
738
+ 0,
739
+ 1065353216,
740
+ 0
741
+ ]
742
+ ]
743
+ },
744
+ "execution": {
745
+ "byte_writes": [],
746
+ "calls": [
747
+ {
748
+ "args": {
749
+ "8": 1065353216
750
+ },
751
+ "instruction": 24927,
752
+ "target": -107
753
+ },
754
+ {
755
+ "args": {
756
+ "8": 1065353216
757
+ },
758
+ "instruction": 24988,
759
+ "target": -107
760
+ },
761
+ {
762
+ "args": {
763
+ "8": 1073741824
764
+ },
765
+ "instruction": 25049,
766
+ "target": -107
767
+ }
768
+ ],
769
+ "children": [
770
+ {
771
+ "call": {
772
+ "args": {
773
+ "8": 1065353216
774
+ },
775
+ "instruction": 24927,
776
+ "target": -107
777
+ },
778
+ "effect": {
779
+ "input": 1065353216,
780
+ "root": 1065353216
781
+ }
782
+ },
783
+ {
784
+ "call": {
785
+ "args": {
786
+ "8": 1065353216
787
+ },
788
+ "instruction": 24988,
789
+ "target": -107
790
+ },
791
+ "effect": {
792
+ "input": 1065353216,
793
+ "root": 1065353216
794
+ }
795
+ },
796
+ {
797
+ "call": {
798
+ "args": {
799
+ "8": 1073741824
800
+ },
801
+ "instruction": 25049,
802
+ "target": -107
803
+ },
804
+ "effect": {
805
+ "input": 1073741824,
806
+ "root": 1068827891
807
+ }
808
+ }
809
+ ],
810
+ "return": null,
811
+ "trace": null,
812
+ "trace_length": 315,
813
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
814
+ },
815
+ "normal": [
816
+ 0,
817
+ 0,
818
+ 1065353216
819
+ ],
820
+ "point": [
821
+ 3205676739,
822
+ 3191145715,
823
+ 0
824
+ ],
825
+ "unit_edges": [
826
+ [
827
+ 3212836864,
828
+ 0,
829
+ 0
830
+ ],
831
+ [
832
+ 1060439283,
833
+ 3207922931,
834
+ 0
835
+ ]
836
+ ]
837
+ },
838
+ {
839
+ "candidate": {
840
+ "candidate": true,
841
+ "determinant": 1065353216,
842
+ "direction": [
843
+ 0,
844
+ 0,
845
+ 3212836864
846
+ ],
847
+ "execution": {
848
+ "byte_writes": [],
849
+ "calls": [],
850
+ "children": [],
851
+ "return": null,
852
+ "stop": 24822,
853
+ "trace": null,
854
+ "trace_length": 307,
855
+ "trace_sha256": "80f2bb45c55d96f90fb7e9d72cda10c1d081c77ec462cd82c7f365837e242c0a"
856
+ },
857
+ "origin": [
858
+ 1040187392,
859
+ 1061158912,
860
+ 1065353216
861
+ ],
862
+ "parameter": 1065353216,
863
+ "u": 1040187392,
864
+ "v": 1061158912,
865
+ "vertices": [
866
+ [
867
+ 0,
868
+ 0,
869
+ 0
870
+ ],
871
+ [
872
+ 1065353216,
873
+ 0,
874
+ 0
875
+ ],
876
+ [
877
+ 0,
878
+ 1065353216,
879
+ 0
880
+ ]
881
+ ]
882
+ },
883
+ "execution": {
884
+ "byte_writes": [],
885
+ "calls": [
886
+ {
887
+ "args": {
888
+ "8": 1065353216
889
+ },
890
+ "instruction": 24927,
891
+ "target": -107
892
+ },
893
+ {
894
+ "args": {
895
+ "8": 1065353216
896
+ },
897
+ "instruction": 24988,
898
+ "target": -107
899
+ },
900
+ {
901
+ "args": {
902
+ "8": 1073741824
903
+ },
904
+ "instruction": 25049,
905
+ "target": -107
906
+ }
907
+ ],
908
+ "children": [
909
+ {
910
+ "call": {
911
+ "args": {
912
+ "8": 1065353216
913
+ },
914
+ "instruction": 24927,
915
+ "target": -107
916
+ },
917
+ "effect": {
918
+ "input": 1065353216,
919
+ "root": 1065353216
920
+ }
921
+ },
922
+ {
923
+ "call": {
924
+ "args": {
925
+ "8": 1065353216
926
+ },
927
+ "instruction": 24988,
928
+ "target": -107
929
+ },
930
+ "effect": {
931
+ "input": 1065353216,
932
+ "root": 1065353216
933
+ }
934
+ },
935
+ {
936
+ "call": {
937
+ "args": {
938
+ "8": 1073741824
939
+ },
940
+ "instruction": 25049,
941
+ "target": -107
942
+ },
943
+ "effect": {
944
+ "input": 1073741824,
945
+ "root": 1068827891
946
+ }
947
+ }
948
+ ],
949
+ "return": null,
950
+ "trace": null,
951
+ "trace_length": 315,
952
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
953
+ },
954
+ "normal": [
955
+ 0,
956
+ 0,
957
+ 1065353216
958
+ ],
959
+ "point": [
960
+ 1053788012,
961
+ 3204957110,
962
+ 0
963
+ ],
964
+ "unit_edges": [
965
+ [
966
+ 3212836864,
967
+ 0,
968
+ 0
969
+ ],
970
+ [
971
+ 1060439283,
972
+ 3207922931,
973
+ 0
974
+ ]
975
+ ]
976
+ },
977
+ {
978
+ "candidate": {
979
+ "candidate": true,
980
+ "determinant": 3212836864,
981
+ "direction": [
982
+ 0,
983
+ 0,
984
+ 1065353216
985
+ ],
986
+ "execution": {
987
+ "byte_writes": [],
988
+ "calls": [],
989
+ "children": [],
990
+ "return": null,
991
+ "stop": 24822,
992
+ "trace": null,
993
+ "trace_length": 303,
994
+ "trace_sha256": "2a19d1716e51a7661b667f4fd506c135ace74dd3519ce9c008c517456b900399"
995
+ },
996
+ "origin": [
997
+ 1040187392,
998
+ 1061158912,
999
+ 1065353216
1000
+ ],
1001
+ "parameter": -1082130432,
1002
+ "u": 1040187392,
1003
+ "v": 1061158912,
1004
+ "vertices": [
1005
+ [
1006
+ 0,
1007
+ 0,
1008
+ 0
1009
+ ],
1010
+ [
1011
+ 1065353216,
1012
+ 0,
1013
+ 0
1014
+ ],
1015
+ [
1016
+ 0,
1017
+ 1065353216,
1018
+ 0
1019
+ ]
1020
+ ]
1021
+ },
1022
+ "execution": {
1023
+ "byte_writes": [],
1024
+ "calls": [
1025
+ {
1026
+ "args": {
1027
+ "8": 1065353216
1028
+ },
1029
+ "instruction": 24927,
1030
+ "target": -107
1031
+ },
1032
+ {
1033
+ "args": {
1034
+ "8": 1065353216
1035
+ },
1036
+ "instruction": 24988,
1037
+ "target": -107
1038
+ },
1039
+ {
1040
+ "args": {
1041
+ "8": 1073741824
1042
+ },
1043
+ "instruction": 25049,
1044
+ "target": -107
1045
+ }
1046
+ ],
1047
+ "children": [
1048
+ {
1049
+ "call": {
1050
+ "args": {
1051
+ "8": 1065353216
1052
+ },
1053
+ "instruction": 24927,
1054
+ "target": -107
1055
+ },
1056
+ "effect": {
1057
+ "input": 1065353216,
1058
+ "root": 1065353216
1059
+ }
1060
+ },
1061
+ {
1062
+ "call": {
1063
+ "args": {
1064
+ "8": 1065353216
1065
+ },
1066
+ "instruction": 24988,
1067
+ "target": -107
1068
+ },
1069
+ "effect": {
1070
+ "input": 1065353216,
1071
+ "root": 1065353216
1072
+ }
1073
+ },
1074
+ {
1075
+ "call": {
1076
+ "args": {
1077
+ "8": 1073741824
1078
+ },
1079
+ "instruction": 25049,
1080
+ "target": -107
1081
+ },
1082
+ "effect": {
1083
+ "input": 1073741824,
1084
+ "root": 1068827891
1085
+ }
1086
+ }
1087
+ ],
1088
+ "return": null,
1089
+ "trace": null,
1090
+ "trace_length": 315,
1091
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
1092
+ },
1093
+ "normal": [
1094
+ 0,
1095
+ 0,
1096
+ 1065353216
1097
+ ],
1098
+ "point": [
1099
+ 1053788012,
1100
+ 3204957110,
1101
+ 0
1102
+ ],
1103
+ "unit_edges": [
1104
+ [
1105
+ 3212836864,
1106
+ 0,
1107
+ 0
1108
+ ],
1109
+ [
1110
+ 1060439283,
1111
+ 3207922931,
1112
+ 0
1113
+ ]
1114
+ ]
1115
+ },
1116
+ {
1117
+ "candidate": {
1118
+ "candidate": true,
1119
+ "determinant": 1094713344,
1120
+ "direction": [
1121
+ 0,
1122
+ 0,
1123
+ 3212836864
1124
+ ],
1125
+ "execution": {
1126
+ "byte_writes": [],
1127
+ "calls": [],
1128
+ "children": [],
1129
+ "return": null,
1130
+ "stop": 24822,
1131
+ "trace": null,
1132
+ "trace_length": 307,
1133
+ "trace_sha256": "80f2bb45c55d96f90fb7e9d72cda10c1d081c77ec462cd82c7f365837e242c0a"
1134
+ },
1135
+ "origin": [
1136
+ 1065353216,
1137
+ 1073741824,
1138
+ 1065353216
1139
+ ],
1140
+ "parameter": 1065353216,
1141
+ "u": 0,
1142
+ "v": 0,
1143
+ "vertices": [
1144
+ [
1145
+ 1065353216,
1146
+ 1073741824,
1147
+ 0
1148
+ ],
1149
+ [
1150
+ 1084227584,
1151
+ 1073741824,
1152
+ 0
1153
+ ],
1154
+ [
1155
+ 1073741824,
1156
+ 1084227584,
1157
+ 0
1158
+ ]
1159
+ ]
1160
+ },
1161
+ "execution": {
1162
+ "byte_writes": [],
1163
+ "calls": [
1164
+ {
1165
+ "args": {
1166
+ "8": 1125122048
1167
+ },
1168
+ "instruction": 24927,
1169
+ "target": -107
1170
+ },
1171
+ {
1172
+ "args": {
1173
+ "8": 1098907648
1174
+ },
1175
+ "instruction": 24988,
1176
+ "target": -107
1177
+ },
1178
+ {
1179
+ "args": {
1180
+ "8": 1099956224
1181
+ },
1182
+ "instruction": 25049,
1183
+ "target": -107
1184
+ }
1185
+ ],
1186
+ "children": [
1187
+ {
1188
+ "call": {
1189
+ "args": {
1190
+ "8": 1125122048
1191
+ },
1192
+ "instruction": 24927,
1193
+ "target": -107
1194
+ },
1195
+ "effect": {
1196
+ "input": 1125122048,
1197
+ "root": 1094713344
1198
+ }
1199
+ },
1200
+ {
1201
+ "call": {
1202
+ "args": {
1203
+ "8": 1098907648
1204
+ },
1205
+ "instruction": 24988,
1206
+ "target": -107
1207
+ },
1208
+ "effect": {
1209
+ "input": 1098907648,
1210
+ "root": 1082130432
1211
+ }
1212
+ },
1213
+ {
1214
+ "call": {
1215
+ "args": {
1216
+ "8": 1099956224
1217
+ },
1218
+ "instruction": 25049,
1219
+ "target": -107
1220
+ },
1221
+ "effect": {
1222
+ "input": 1099956224,
1223
+ "root": 1082639286
1224
+ }
1225
+ }
1226
+ ],
1227
+ "return": null,
1228
+ "trace": null,
1229
+ "trace_length": 315,
1230
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
1231
+ },
1232
+ "normal": [
1233
+ 0,
1234
+ 0,
1235
+ 1065353216
1236
+ ],
1237
+ "point": [
1238
+ 1065353216,
1239
+ 1073741824,
1240
+ 0
1241
+ ],
1242
+ "unit_edges": [
1243
+ [
1244
+ 3212836864,
1245
+ 0,
1246
+ 0
1247
+ ],
1248
+ [
1249
+ 1060439284,
1250
+ 3207922932,
1251
+ 0
1252
+ ]
1253
+ ]
1254
+ },
1255
+ {
1256
+ "candidate": {
1257
+ "candidate": true,
1258
+ "determinant": 3242196992,
1259
+ "direction": [
1260
+ 0,
1261
+ 0,
1262
+ 1065353216
1263
+ ],
1264
+ "execution": {
1265
+ "byte_writes": [],
1266
+ "calls": [],
1267
+ "children": [],
1268
+ "return": null,
1269
+ "stop": 24822,
1270
+ "trace": null,
1271
+ "trace_length": 303,
1272
+ "trace_sha256": "2a19d1716e51a7661b667f4fd506c135ace74dd3519ce9c008c517456b900399"
1273
+ },
1274
+ "origin": [
1275
+ 1065353216,
1276
+ 1073741824,
1277
+ 1065353216
1278
+ ],
1279
+ "parameter": -1082130432,
1280
+ "u": -2147483648,
1281
+ "v": -2147483648,
1282
+ "vertices": [
1283
+ [
1284
+ 1065353216,
1285
+ 1073741824,
1286
+ 0
1287
+ ],
1288
+ [
1289
+ 1084227584,
1290
+ 1073741824,
1291
+ 0
1292
+ ],
1293
+ [
1294
+ 1073741824,
1295
+ 1084227584,
1296
+ 0
1297
+ ]
1298
+ ]
1299
+ },
1300
+ "execution": {
1301
+ "byte_writes": [],
1302
+ "calls": [
1303
+ {
1304
+ "args": {
1305
+ "8": 1125122048
1306
+ },
1307
+ "instruction": 24927,
1308
+ "target": -107
1309
+ },
1310
+ {
1311
+ "args": {
1312
+ "8": 1098907648
1313
+ },
1314
+ "instruction": 24988,
1315
+ "target": -107
1316
+ },
1317
+ {
1318
+ "args": {
1319
+ "8": 1099956224
1320
+ },
1321
+ "instruction": 25049,
1322
+ "target": -107
1323
+ }
1324
+ ],
1325
+ "children": [
1326
+ {
1327
+ "call": {
1328
+ "args": {
1329
+ "8": 1125122048
1330
+ },
1331
+ "instruction": 24927,
1332
+ "target": -107
1333
+ },
1334
+ "effect": {
1335
+ "input": 1125122048,
1336
+ "root": 1094713344
1337
+ }
1338
+ },
1339
+ {
1340
+ "call": {
1341
+ "args": {
1342
+ "8": 1098907648
1343
+ },
1344
+ "instruction": 24988,
1345
+ "target": -107
1346
+ },
1347
+ "effect": {
1348
+ "input": 1098907648,
1349
+ "root": 1082130432
1350
+ }
1351
+ },
1352
+ {
1353
+ "call": {
1354
+ "args": {
1355
+ "8": 1099956224
1356
+ },
1357
+ "instruction": 25049,
1358
+ "target": -107
1359
+ },
1360
+ "effect": {
1361
+ "input": 1099956224,
1362
+ "root": 1082639286
1363
+ }
1364
+ }
1365
+ ],
1366
+ "return": null,
1367
+ "trace": null,
1368
+ "trace_length": 315,
1369
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
1370
+ },
1371
+ "normal": [
1372
+ 0,
1373
+ 0,
1374
+ 1065353216
1375
+ ],
1376
+ "point": [
1377
+ 1065353216,
1378
+ 1073741824,
1379
+ 0
1380
+ ],
1381
+ "unit_edges": [
1382
+ [
1383
+ 3212836864,
1384
+ 0,
1385
+ 0
1386
+ ],
1387
+ [
1388
+ 1060439284,
1389
+ 3207922932,
1390
+ 0
1391
+ ]
1392
+ ]
1393
+ },
1394
+ {
1395
+ "candidate": {
1396
+ "candidate": true,
1397
+ "determinant": 1094713344,
1398
+ "direction": [
1399
+ 0,
1400
+ 0,
1401
+ 3212836864
1402
+ ],
1403
+ "execution": {
1404
+ "byte_writes": [],
1405
+ "calls": [],
1406
+ "children": [],
1407
+ "return": null,
1408
+ "stop": 24822,
1409
+ "trace": null,
1410
+ "trace_length": 307,
1411
+ "trace_sha256": "80f2bb45c55d96f90fb7e9d72cda10c1d081c77ec462cd82c7f365837e242c0a"
1412
+ },
1413
+ "origin": [
1414
+ 1074790400,
1415
+ 1076887552,
1416
+ 1065353216
1417
+ ],
1418
+ "parameter": 1065353216,
1419
+ "u": 1048576000,
1420
+ "v": 1048576000,
1421
+ "vertices": [
1422
+ [
1423
+ 1065353216,
1424
+ 1073741824,
1425
+ 0
1426
+ ],
1427
+ [
1428
+ 1084227584,
1429
+ 1073741824,
1430
+ 0
1431
+ ],
1432
+ [
1433
+ 1073741824,
1434
+ 1084227584,
1435
+ 0
1436
+ ]
1437
+ ]
1438
+ },
1439
+ "execution": {
1440
+ "byte_writes": [],
1441
+ "calls": [
1442
+ {
1443
+ "args": {
1444
+ "8": 1125122048
1445
+ },
1446
+ "instruction": 24927,
1447
+ "target": -107
1448
+ },
1449
+ {
1450
+ "args": {
1451
+ "8": 1098907648
1452
+ },
1453
+ "instruction": 24988,
1454
+ "target": -107
1455
+ },
1456
+ {
1457
+ "args": {
1458
+ "8": 1099956224
1459
+ },
1460
+ "instruction": 25049,
1461
+ "target": -107
1462
+ }
1463
+ ],
1464
+ "children": [
1465
+ {
1466
+ "call": {
1467
+ "args": {
1468
+ "8": 1125122048
1469
+ },
1470
+ "instruction": 24927,
1471
+ "target": -107
1472
+ },
1473
+ "effect": {
1474
+ "input": 1125122048,
1475
+ "root": 1094713344
1476
+ }
1477
+ },
1478
+ {
1479
+ "call": {
1480
+ "args": {
1481
+ "8": 1098907648
1482
+ },
1483
+ "instruction": 24988,
1484
+ "target": -107
1485
+ },
1486
+ "effect": {
1487
+ "input": 1098907648,
1488
+ "root": 1082130432
1489
+ }
1490
+ },
1491
+ {
1492
+ "call": {
1493
+ "args": {
1494
+ "8": 1099956224
1495
+ },
1496
+ "instruction": 25049,
1497
+ "target": -107
1498
+ },
1499
+ "effect": {
1500
+ "input": 1099956224,
1501
+ "root": 1082639286
1502
+ }
1503
+ }
1504
+ ],
1505
+ "return": null,
1506
+ "trace": null,
1507
+ "trace_length": 315,
1508
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
1509
+ },
1510
+ "normal": [
1511
+ 0,
1512
+ 0,
1513
+ 1065353216
1514
+ ],
1515
+ "point": [
1516
+ 1064124733,
1517
+ 1072258914,
1518
+ 0
1519
+ ],
1520
+ "unit_edges": [
1521
+ [
1522
+ 3212836864,
1523
+ 0,
1524
+ 0
1525
+ ],
1526
+ [
1527
+ 1060439284,
1528
+ 3207922932,
1529
+ 0
1530
+ ]
1531
+ ]
1532
+ },
1533
+ {
1534
+ "candidate": {
1535
+ "candidate": true,
1536
+ "determinant": 3242196992,
1537
+ "direction": [
1538
+ 0,
1539
+ 0,
1540
+ 1065353216
1541
+ ],
1542
+ "execution": {
1543
+ "byte_writes": [],
1544
+ "calls": [],
1545
+ "children": [],
1546
+ "return": null,
1547
+ "stop": 24822,
1548
+ "trace": null,
1549
+ "trace_length": 303,
1550
+ "trace_sha256": "2a19d1716e51a7661b667f4fd506c135ace74dd3519ce9c008c517456b900399"
1551
+ },
1552
+ "origin": [
1553
+ 1074790400,
1554
+ 1076887552,
1555
+ 1065353216
1556
+ ],
1557
+ "parameter": -1082130432,
1558
+ "u": 1048576000,
1559
+ "v": 1048576000,
1560
+ "vertices": [
1561
+ [
1562
+ 1065353216,
1563
+ 1073741824,
1564
+ 0
1565
+ ],
1566
+ [
1567
+ 1084227584,
1568
+ 1073741824,
1569
+ 0
1570
+ ],
1571
+ [
1572
+ 1073741824,
1573
+ 1084227584,
1574
+ 0
1575
+ ]
1576
+ ]
1577
+ },
1578
+ "execution": {
1579
+ "byte_writes": [],
1580
+ "calls": [
1581
+ {
1582
+ "args": {
1583
+ "8": 1125122048
1584
+ },
1585
+ "instruction": 24927,
1586
+ "target": -107
1587
+ },
1588
+ {
1589
+ "args": {
1590
+ "8": 1098907648
1591
+ },
1592
+ "instruction": 24988,
1593
+ "target": -107
1594
+ },
1595
+ {
1596
+ "args": {
1597
+ "8": 1099956224
1598
+ },
1599
+ "instruction": 25049,
1600
+ "target": -107
1601
+ }
1602
+ ],
1603
+ "children": [
1604
+ {
1605
+ "call": {
1606
+ "args": {
1607
+ "8": 1125122048
1608
+ },
1609
+ "instruction": 24927,
1610
+ "target": -107
1611
+ },
1612
+ "effect": {
1613
+ "input": 1125122048,
1614
+ "root": 1094713344
1615
+ }
1616
+ },
1617
+ {
1618
+ "call": {
1619
+ "args": {
1620
+ "8": 1098907648
1621
+ },
1622
+ "instruction": 24988,
1623
+ "target": -107
1624
+ },
1625
+ "effect": {
1626
+ "input": 1098907648,
1627
+ "root": 1082130432
1628
+ }
1629
+ },
1630
+ {
1631
+ "call": {
1632
+ "args": {
1633
+ "8": 1099956224
1634
+ },
1635
+ "instruction": 25049,
1636
+ "target": -107
1637
+ },
1638
+ "effect": {
1639
+ "input": 1099956224,
1640
+ "root": 1082639286
1641
+ }
1642
+ }
1643
+ ],
1644
+ "return": null,
1645
+ "trace": null,
1646
+ "trace_length": 315,
1647
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
1648
+ },
1649
+ "normal": [
1650
+ 0,
1651
+ 0,
1652
+ 1065353216
1653
+ ],
1654
+ "point": [
1655
+ 1064124733,
1656
+ 1072258914,
1657
+ 0
1658
+ ],
1659
+ "unit_edges": [
1660
+ [
1661
+ 3212836864,
1662
+ 0,
1663
+ 0
1664
+ ],
1665
+ [
1666
+ 1060439284,
1667
+ 3207922932,
1668
+ 0
1669
+ ]
1670
+ ]
1671
+ },
1672
+ {
1673
+ "candidate": {
1674
+ "candidate": true,
1675
+ "determinant": 1094713344,
1676
+ "direction": [
1677
+ 0,
1678
+ 0,
1679
+ 3212836864
1680
+ ],
1681
+ "execution": {
1682
+ "byte_writes": [],
1683
+ "calls": [],
1684
+ "children": [],
1685
+ "return": null,
1686
+ "stop": 24822,
1687
+ "trace": null,
1688
+ "trace_length": 307,
1689
+ "trace_sha256": "80f2bb45c55d96f90fb7e9d72cda10c1d081c77ec462cd82c7f365837e242c0a"
1690
+ },
1691
+ "origin": [
1692
+ 1082654720,
1693
+ 1076887552,
1694
+ 1065353216
1695
+ ],
1696
+ "parameter": 1065353216,
1697
+ "u": 1061158912,
1698
+ "v": 1048576000,
1699
+ "vertices": [
1700
+ [
1701
+ 1065353216,
1702
+ 1073741824,
1703
+ 0
1704
+ ],
1705
+ [
1706
+ 1084227584,
1707
+ 1073741824,
1708
+ 0
1709
+ ],
1710
+ [
1711
+ 1073741824,
1712
+ 1084227584,
1713
+ 0
1714
+ ]
1715
+ ]
1716
+ },
1717
+ "execution": {
1718
+ "byte_writes": [],
1719
+ "calls": [
1720
+ {
1721
+ "args": {
1722
+ "8": 1125122048
1723
+ },
1724
+ "instruction": 24927,
1725
+ "target": -107
1726
+ },
1727
+ {
1728
+ "args": {
1729
+ "8": 1098907648
1730
+ },
1731
+ "instruction": 24988,
1732
+ "target": -107
1733
+ },
1734
+ {
1735
+ "args": {
1736
+ "8": 1099956224
1737
+ },
1738
+ "instruction": 25049,
1739
+ "target": -107
1740
+ }
1741
+ ],
1742
+ "children": [
1743
+ {
1744
+ "call": {
1745
+ "args": {
1746
+ "8": 1125122048
1747
+ },
1748
+ "instruction": 24927,
1749
+ "target": -107
1750
+ },
1751
+ "effect": {
1752
+ "input": 1125122048,
1753
+ "root": 1094713344
1754
+ }
1755
+ },
1756
+ {
1757
+ "call": {
1758
+ "args": {
1759
+ "8": 1098907648
1760
+ },
1761
+ "instruction": 24988,
1762
+ "target": -107
1763
+ },
1764
+ "effect": {
1765
+ "input": 1098907648,
1766
+ "root": 1082130432
1767
+ }
1768
+ },
1769
+ {
1770
+ "call": {
1771
+ "args": {
1772
+ "8": 1099956224
1773
+ },
1774
+ "instruction": 25049,
1775
+ "target": -107
1776
+ },
1777
+ "effect": {
1778
+ "input": 1099956224,
1779
+ "root": 1082639286
1780
+ }
1781
+ }
1782
+ ],
1783
+ "return": null,
1784
+ "trace": null,
1785
+ "trace_length": 315,
1786
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
1787
+ },
1788
+ "normal": [
1789
+ 0,
1790
+ 0,
1791
+ 1065353216
1792
+ ],
1793
+ "point": [
1794
+ 1054507642,
1795
+ 1072258914,
1796
+ 0
1797
+ ],
1798
+ "unit_edges": [
1799
+ [
1800
+ 3212836864,
1801
+ 0,
1802
+ 0
1803
+ ],
1804
+ [
1805
+ 1060439284,
1806
+ 3207922932,
1807
+ 0
1808
+ ]
1809
+ ]
1810
+ },
1811
+ {
1812
+ "candidate": {
1813
+ "candidate": true,
1814
+ "determinant": 3242196992,
1815
+ "direction": [
1816
+ 0,
1817
+ 0,
1818
+ 1065353216
1819
+ ],
1820
+ "execution": {
1821
+ "byte_writes": [],
1822
+ "calls": [],
1823
+ "children": [],
1824
+ "return": null,
1825
+ "stop": 24822,
1826
+ "trace": null,
1827
+ "trace_length": 303,
1828
+ "trace_sha256": "2a19d1716e51a7661b667f4fd506c135ace74dd3519ce9c008c517456b900399"
1829
+ },
1830
+ "origin": [
1831
+ 1082654720,
1832
+ 1076887552,
1833
+ 1065353216
1834
+ ],
1835
+ "parameter": -1082130432,
1836
+ "u": 1061158912,
1837
+ "v": 1048576000,
1838
+ "vertices": [
1839
+ [
1840
+ 1065353216,
1841
+ 1073741824,
1842
+ 0
1843
+ ],
1844
+ [
1845
+ 1084227584,
1846
+ 1073741824,
1847
+ 0
1848
+ ],
1849
+ [
1850
+ 1073741824,
1851
+ 1084227584,
1852
+ 0
1853
+ ]
1854
+ ]
1855
+ },
1856
+ "execution": {
1857
+ "byte_writes": [],
1858
+ "calls": [
1859
+ {
1860
+ "args": {
1861
+ "8": 1125122048
1862
+ },
1863
+ "instruction": 24927,
1864
+ "target": -107
1865
+ },
1866
+ {
1867
+ "args": {
1868
+ "8": 1098907648
1869
+ },
1870
+ "instruction": 24988,
1871
+ "target": -107
1872
+ },
1873
+ {
1874
+ "args": {
1875
+ "8": 1099956224
1876
+ },
1877
+ "instruction": 25049,
1878
+ "target": -107
1879
+ }
1880
+ ],
1881
+ "children": [
1882
+ {
1883
+ "call": {
1884
+ "args": {
1885
+ "8": 1125122048
1886
+ },
1887
+ "instruction": 24927,
1888
+ "target": -107
1889
+ },
1890
+ "effect": {
1891
+ "input": 1125122048,
1892
+ "root": 1094713344
1893
+ }
1894
+ },
1895
+ {
1896
+ "call": {
1897
+ "args": {
1898
+ "8": 1098907648
1899
+ },
1900
+ "instruction": 24988,
1901
+ "target": -107
1902
+ },
1903
+ "effect": {
1904
+ "input": 1098907648,
1905
+ "root": 1082130432
1906
+ }
1907
+ },
1908
+ {
1909
+ "call": {
1910
+ "args": {
1911
+ "8": 1099956224
1912
+ },
1913
+ "instruction": 25049,
1914
+ "target": -107
1915
+ },
1916
+ "effect": {
1917
+ "input": 1099956224,
1918
+ "root": 1082639286
1919
+ }
1920
+ }
1921
+ ],
1922
+ "return": null,
1923
+ "trace": null,
1924
+ "trace_length": 315,
1925
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
1926
+ },
1927
+ "normal": [
1928
+ 0,
1929
+ 0,
1930
+ 1065353216
1931
+ ],
1932
+ "point": [
1933
+ 1054507642,
1934
+ 1072258914,
1935
+ 0
1936
+ ],
1937
+ "unit_edges": [
1938
+ [
1939
+ 3212836864,
1940
+ 0,
1941
+ 0
1942
+ ],
1943
+ [
1944
+ 1060439284,
1945
+ 3207922932,
1946
+ 0
1947
+ ]
1948
+ ]
1949
+ },
1950
+ {
1951
+ "candidate": {
1952
+ "candidate": true,
1953
+ "determinant": 1094713344,
1954
+ "direction": [
1955
+ 0,
1956
+ 0,
1957
+ 3212836864
1958
+ ],
1959
+ "execution": {
1960
+ "byte_writes": [],
1961
+ "calls": [],
1962
+ "children": [],
1963
+ "return": null,
1964
+ "stop": 24822,
1965
+ "trace": null,
1966
+ "trace_length": 307,
1967
+ "trace_sha256": "80f2bb45c55d96f90fb7e9d72cda10c1d081c77ec462cd82c7f365837e242c0a"
1968
+ },
1969
+ "origin": [
1970
+ 1074790400,
1971
+ 1082654720,
1972
+ 1065353216
1973
+ ],
1974
+ "parameter": 1065353216,
1975
+ "u": 1040187392,
1976
+ "v": 1061158912,
1977
+ "vertices": [
1978
+ [
1979
+ 1065353216,
1980
+ 1073741824,
1981
+ 0
1982
+ ],
1983
+ [
1984
+ 1084227584,
1985
+ 1073741824,
1986
+ 0
1987
+ ],
1988
+ [
1989
+ 1073741824,
1990
+ 1084227584,
1991
+ 0
1992
+ ]
1993
+ ]
1994
+ },
1995
+ "execution": {
1996
+ "byte_writes": [],
1997
+ "calls": [
1998
+ {
1999
+ "args": {
2000
+ "8": 1125122048
2001
+ },
2002
+ "instruction": 24927,
2003
+ "target": -107
2004
+ },
2005
+ {
2006
+ "args": {
2007
+ "8": 1098907648
2008
+ },
2009
+ "instruction": 24988,
2010
+ "target": -107
2011
+ },
2012
+ {
2013
+ "args": {
2014
+ "8": 1099956224
2015
+ },
2016
+ "instruction": 25049,
2017
+ "target": -107
2018
+ }
2019
+ ],
2020
+ "children": [
2021
+ {
2022
+ "call": {
2023
+ "args": {
2024
+ "8": 1125122048
2025
+ },
2026
+ "instruction": 24927,
2027
+ "target": -107
2028
+ },
2029
+ "effect": {
2030
+ "input": 1125122048,
2031
+ "root": 1094713344
2032
+ }
2033
+ },
2034
+ {
2035
+ "call": {
2036
+ "args": {
2037
+ "8": 1098907648
2038
+ },
2039
+ "instruction": 24988,
2040
+ "target": -107
2041
+ },
2042
+ "effect": {
2043
+ "input": 1098907648,
2044
+ "root": 1082130432
2045
+ }
2046
+ },
2047
+ {
2048
+ "call": {
2049
+ "args": {
2050
+ "8": 1099956224
2051
+ },
2052
+ "instruction": 25049,
2053
+ "target": -107
2054
+ },
2055
+ "effect": {
2056
+ "input": 1099956224,
2057
+ "root": 1082639286
2058
+ }
2059
+ }
2060
+ ],
2061
+ "return": null,
2062
+ "trace": null,
2063
+ "trace_length": 315,
2064
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
2065
+ },
2066
+ "normal": [
2067
+ 0,
2068
+ 0,
2069
+ 1065353216
2070
+ ],
2071
+ "point": [
2072
+ 1068753372,
2073
+ 1069293092,
2074
+ 0
2075
+ ],
2076
+ "unit_edges": [
2077
+ [
2078
+ 3212836864,
2079
+ 0,
2080
+ 0
2081
+ ],
2082
+ [
2083
+ 1060439284,
2084
+ 3207922932,
2085
+ 0
2086
+ ]
2087
+ ]
2088
+ },
2089
+ {
2090
+ "candidate": {
2091
+ "candidate": true,
2092
+ "determinant": 3242196992,
2093
+ "direction": [
2094
+ 0,
2095
+ 0,
2096
+ 1065353216
2097
+ ],
2098
+ "execution": {
2099
+ "byte_writes": [],
2100
+ "calls": [],
2101
+ "children": [],
2102
+ "return": null,
2103
+ "stop": 24822,
2104
+ "trace": null,
2105
+ "trace_length": 303,
2106
+ "trace_sha256": "2a19d1716e51a7661b667f4fd506c135ace74dd3519ce9c008c517456b900399"
2107
+ },
2108
+ "origin": [
2109
+ 1074790400,
2110
+ 1082654720,
2111
+ 1065353216
2112
+ ],
2113
+ "parameter": -1082130432,
2114
+ "u": 1040187392,
2115
+ "v": 1061158912,
2116
+ "vertices": [
2117
+ [
2118
+ 1065353216,
2119
+ 1073741824,
2120
+ 0
2121
+ ],
2122
+ [
2123
+ 1084227584,
2124
+ 1073741824,
2125
+ 0
2126
+ ],
2127
+ [
2128
+ 1073741824,
2129
+ 1084227584,
2130
+ 0
2131
+ ]
2132
+ ]
2133
+ },
2134
+ "execution": {
2135
+ "byte_writes": [],
2136
+ "calls": [
2137
+ {
2138
+ "args": {
2139
+ "8": 1125122048
2140
+ },
2141
+ "instruction": 24927,
2142
+ "target": -107
2143
+ },
2144
+ {
2145
+ "args": {
2146
+ "8": 1098907648
2147
+ },
2148
+ "instruction": 24988,
2149
+ "target": -107
2150
+ },
2151
+ {
2152
+ "args": {
2153
+ "8": 1099956224
2154
+ },
2155
+ "instruction": 25049,
2156
+ "target": -107
2157
+ }
2158
+ ],
2159
+ "children": [
2160
+ {
2161
+ "call": {
2162
+ "args": {
2163
+ "8": 1125122048
2164
+ },
2165
+ "instruction": 24927,
2166
+ "target": -107
2167
+ },
2168
+ "effect": {
2169
+ "input": 1125122048,
2170
+ "root": 1094713344
2171
+ }
2172
+ },
2173
+ {
2174
+ "call": {
2175
+ "args": {
2176
+ "8": 1098907648
2177
+ },
2178
+ "instruction": 24988,
2179
+ "target": -107
2180
+ },
2181
+ "effect": {
2182
+ "input": 1098907648,
2183
+ "root": 1082130432
2184
+ }
2185
+ },
2186
+ {
2187
+ "call": {
2188
+ "args": {
2189
+ "8": 1099956224
2190
+ },
2191
+ "instruction": 25049,
2192
+ "target": -107
2193
+ },
2194
+ "effect": {
2195
+ "input": 1099956224,
2196
+ "root": 1082639286
2197
+ }
2198
+ }
2199
+ ],
2200
+ "return": null,
2201
+ "trace": null,
2202
+ "trace_length": 315,
2203
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
2204
+ },
2205
+ "normal": [
2206
+ 0,
2207
+ 0,
2208
+ 1065353216
2209
+ ],
2210
+ "point": [
2211
+ 1068753372,
2212
+ 1069293092,
2213
+ 0
2214
+ ],
2215
+ "unit_edges": [
2216
+ [
2217
+ 3212836864,
2218
+ 0,
2219
+ 0
2220
+ ],
2221
+ [
2222
+ 1060439284,
2223
+ 3207922932,
2224
+ 0
2225
+ ]
2226
+ ]
2227
+ },
2228
+ {
2229
+ "candidate": {
2230
+ "candidate": true,
2231
+ "determinant": 3233808384,
2232
+ "direction": [
2233
+ 0,
2234
+ 0,
2235
+ 3212836864
2236
+ ],
2237
+ "execution": {
2238
+ "byte_writes": [],
2239
+ "calls": [],
2240
+ "children": [],
2241
+ "return": null,
2242
+ "stop": 24822,
2243
+ "trace": null,
2244
+ "trace_length": 303,
2245
+ "trace_sha256": "2a19d1716e51a7661b667f4fd506c135ace74dd3519ce9c008c517456b900399"
2246
+ },
2247
+ "origin": [
2248
+ 0,
2249
+ 0,
2250
+ 1065353216
2251
+ ],
2252
+ "parameter": 1065353216,
2253
+ "u": -2147483648,
2254
+ "v": -2147483648,
2255
+ "vertices": [
2256
+ [
2257
+ 0,
2258
+ 0,
2259
+ 0
2260
+ ],
2261
+ [
2262
+ 0,
2263
+ 1073741824,
2264
+ 0
2265
+ ],
2266
+ [
2267
+ 1077936128,
2268
+ 0,
2269
+ 0
2270
+ ]
2271
+ ]
2272
+ },
2273
+ "execution": {
2274
+ "byte_writes": [],
2275
+ "calls": [
2276
+ {
2277
+ "args": {
2278
+ "8": 1108344832
2279
+ },
2280
+ "instruction": 24927,
2281
+ "target": -107
2282
+ },
2283
+ {
2284
+ "args": {
2285
+ "8": 1082130432
2286
+ },
2287
+ "instruction": 24988,
2288
+ "target": -107
2289
+ },
2290
+ {
2291
+ "args": {
2292
+ "8": 1095761920
2293
+ },
2294
+ "instruction": 25049,
2295
+ "target": -107
2296
+ }
2297
+ ],
2298
+ "children": [
2299
+ {
2300
+ "call": {
2301
+ "args": {
2302
+ "8": 1108344832
2303
+ },
2304
+ "instruction": 24927,
2305
+ "target": -107
2306
+ },
2307
+ "effect": {
2308
+ "input": 1108344832,
2309
+ "root": 1086324736
2310
+ }
2311
+ },
2312
+ {
2313
+ "call": {
2314
+ "args": {
2315
+ "8": 1082130432
2316
+ },
2317
+ "instruction": 24988,
2318
+ "target": -107
2319
+ },
2320
+ "effect": {
2321
+ "input": 1082130432,
2322
+ "root": 1073741824
2323
+ }
2324
+ },
2325
+ {
2326
+ "call": {
2327
+ "args": {
2328
+ "8": 1095761920
2329
+ },
2330
+ "instruction": 25049,
2331
+ "target": -107
2332
+ },
2333
+ "effect": {
2334
+ "input": 1095761920,
2335
+ "root": 1080475994
2336
+ }
2337
+ }
2338
+ ],
2339
+ "return": null,
2340
+ "trace": null,
2341
+ "trace_length": 315,
2342
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
2343
+ },
2344
+ "normal": [
2345
+ 2147483648,
2346
+ 2147483648,
2347
+ 3212836864
2348
+ ],
2349
+ "point": [
2350
+ 0,
2351
+ 0,
2352
+ 0
2353
+ ],
2354
+ "unit_edges": [
2355
+ [
2356
+ 0,
2357
+ 3212836864,
2358
+ 0
2359
+ ],
2360
+ [
2361
+ 3210019136,
2362
+ 1057882325,
2363
+ 0
2364
+ ]
2365
+ ]
2366
+ },
2367
+ {
2368
+ "candidate": {
2369
+ "candidate": true,
2370
+ "determinant": 1086324736,
2371
+ "direction": [
2372
+ 0,
2373
+ 0,
2374
+ 1065353216
2375
+ ],
2376
+ "execution": {
2377
+ "byte_writes": [],
2378
+ "calls": [],
2379
+ "children": [],
2380
+ "return": null,
2381
+ "stop": 24822,
2382
+ "trace": null,
2383
+ "trace_length": 307,
2384
+ "trace_sha256": "80f2bb45c55d96f90fb7e9d72cda10c1d081c77ec462cd82c7f365837e242c0a"
2385
+ },
2386
+ "origin": [
2387
+ 0,
2388
+ 0,
2389
+ 1065353216
2390
+ ],
2391
+ "parameter": -1082130432,
2392
+ "u": 0,
2393
+ "v": 0,
2394
+ "vertices": [
2395
+ [
2396
+ 0,
2397
+ 0,
2398
+ 0
2399
+ ],
2400
+ [
2401
+ 0,
2402
+ 1073741824,
2403
+ 0
2404
+ ],
2405
+ [
2406
+ 1077936128,
2407
+ 0,
2408
+ 0
2409
+ ]
2410
+ ]
2411
+ },
2412
+ "execution": {
2413
+ "byte_writes": [],
2414
+ "calls": [
2415
+ {
2416
+ "args": {
2417
+ "8": 1108344832
2418
+ },
2419
+ "instruction": 24927,
2420
+ "target": -107
2421
+ },
2422
+ {
2423
+ "args": {
2424
+ "8": 1082130432
2425
+ },
2426
+ "instruction": 24988,
2427
+ "target": -107
2428
+ },
2429
+ {
2430
+ "args": {
2431
+ "8": 1095761920
2432
+ },
2433
+ "instruction": 25049,
2434
+ "target": -107
2435
+ }
2436
+ ],
2437
+ "children": [
2438
+ {
2439
+ "call": {
2440
+ "args": {
2441
+ "8": 1108344832
2442
+ },
2443
+ "instruction": 24927,
2444
+ "target": -107
2445
+ },
2446
+ "effect": {
2447
+ "input": 1108344832,
2448
+ "root": 1086324736
2449
+ }
2450
+ },
2451
+ {
2452
+ "call": {
2453
+ "args": {
2454
+ "8": 1082130432
2455
+ },
2456
+ "instruction": 24988,
2457
+ "target": -107
2458
+ },
2459
+ "effect": {
2460
+ "input": 1082130432,
2461
+ "root": 1073741824
2462
+ }
2463
+ },
2464
+ {
2465
+ "call": {
2466
+ "args": {
2467
+ "8": 1095761920
2468
+ },
2469
+ "instruction": 25049,
2470
+ "target": -107
2471
+ },
2472
+ "effect": {
2473
+ "input": 1095761920,
2474
+ "root": 1080475994
2475
+ }
2476
+ }
2477
+ ],
2478
+ "return": null,
2479
+ "trace": null,
2480
+ "trace_length": 315,
2481
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
2482
+ },
2483
+ "normal": [
2484
+ 2147483648,
2485
+ 2147483648,
2486
+ 3212836864
2487
+ ],
2488
+ "point": [
2489
+ 0,
2490
+ 0,
2491
+ 0
2492
+ ],
2493
+ "unit_edges": [
2494
+ [
2495
+ 0,
2496
+ 3212836864,
2497
+ 0
2498
+ ],
2499
+ [
2500
+ 3210019136,
2501
+ 1057882325,
2502
+ 0
2503
+ ]
2504
+ ]
2505
+ },
2506
+ {
2507
+ "candidate": {
2508
+ "candidate": true,
2509
+ "determinant": 3233808384,
2510
+ "direction": [
2511
+ 0,
2512
+ 0,
2513
+ 3212836864
2514
+ ],
2515
+ "execution": {
2516
+ "byte_writes": [],
2517
+ "calls": [],
2518
+ "children": [],
2519
+ "return": null,
2520
+ "stop": 24822,
2521
+ "trace": null,
2522
+ "trace_length": 303,
2523
+ "trace_sha256": "2a19d1716e51a7661b667f4fd506c135ace74dd3519ce9c008c517456b900399"
2524
+ },
2525
+ "origin": [
2526
+ 1061158912,
2527
+ 1056964608,
2528
+ 1065353216
2529
+ ],
2530
+ "parameter": 1065353216,
2531
+ "u": 1048576000,
2532
+ "v": 1048576000,
2533
+ "vertices": [
2534
+ [
2535
+ 0,
2536
+ 0,
2537
+ 0
2538
+ ],
2539
+ [
2540
+ 0,
2541
+ 1073741824,
2542
+ 0
2543
+ ],
2544
+ [
2545
+ 1077936128,
2546
+ 0,
2547
+ 0
2548
+ ]
2549
+ ]
2550
+ },
2551
+ "execution": {
2552
+ "byte_writes": [],
2553
+ "calls": [
2554
+ {
2555
+ "args": {
2556
+ "8": 1108344832
2557
+ },
2558
+ "instruction": 24927,
2559
+ "target": -107
2560
+ },
2561
+ {
2562
+ "args": {
2563
+ "8": 1082130432
2564
+ },
2565
+ "instruction": 24988,
2566
+ "target": -107
2567
+ },
2568
+ {
2569
+ "args": {
2570
+ "8": 1095761920
2571
+ },
2572
+ "instruction": 25049,
2573
+ "target": -107
2574
+ }
2575
+ ],
2576
+ "children": [
2577
+ {
2578
+ "call": {
2579
+ "args": {
2580
+ "8": 1108344832
2581
+ },
2582
+ "instruction": 24927,
2583
+ "target": -107
2584
+ },
2585
+ "effect": {
2586
+ "input": 1108344832,
2587
+ "root": 1086324736
2588
+ }
2589
+ },
2590
+ {
2591
+ "call": {
2592
+ "args": {
2593
+ "8": 1082130432
2594
+ },
2595
+ "instruction": 24988,
2596
+ "target": -107
2597
+ },
2598
+ "effect": {
2599
+ "input": 1082130432,
2600
+ "root": 1073741824
2601
+ }
2602
+ },
2603
+ {
2604
+ "call": {
2605
+ "args": {
2606
+ "8": 1095761920
2607
+ },
2608
+ "instruction": 25049,
2609
+ "target": -107
2610
+ },
2611
+ "effect": {
2612
+ "input": 1095761920,
2613
+ "root": 1080475994
2614
+ }
2615
+ }
2616
+ ],
2617
+ "return": null,
2618
+ "trace": null,
2619
+ "trace_length": 315,
2620
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
2621
+ },
2622
+ "normal": [
2623
+ 2147483648,
2624
+ 2147483648,
2625
+ 3212836864
2626
+ ],
2627
+ "point": [
2628
+ 3193241920,
2629
+ 3185835606,
2630
+ 0
2631
+ ],
2632
+ "unit_edges": [
2633
+ [
2634
+ 0,
2635
+ 3212836864,
2636
+ 0
2637
+ ],
2638
+ [
2639
+ 3210019136,
2640
+ 1057882325,
2641
+ 0
2642
+ ]
2643
+ ]
2644
+ },
2645
+ {
2646
+ "candidate": {
2647
+ "candidate": true,
2648
+ "determinant": 1086324736,
2649
+ "direction": [
2650
+ 0,
2651
+ 0,
2652
+ 1065353216
2653
+ ],
2654
+ "execution": {
2655
+ "byte_writes": [],
2656
+ "calls": [],
2657
+ "children": [],
2658
+ "return": null,
2659
+ "stop": 24822,
2660
+ "trace": null,
2661
+ "trace_length": 307,
2662
+ "trace_sha256": "80f2bb45c55d96f90fb7e9d72cda10c1d081c77ec462cd82c7f365837e242c0a"
2663
+ },
2664
+ "origin": [
2665
+ 1061158912,
2666
+ 1056964608,
2667
+ 1065353216
2668
+ ],
2669
+ "parameter": -1082130432,
2670
+ "u": 1048576000,
2671
+ "v": 1048576000,
2672
+ "vertices": [
2673
+ [
2674
+ 0,
2675
+ 0,
2676
+ 0
2677
+ ],
2678
+ [
2679
+ 0,
2680
+ 1073741824,
2681
+ 0
2682
+ ],
2683
+ [
2684
+ 1077936128,
2685
+ 0,
2686
+ 0
2687
+ ]
2688
+ ]
2689
+ },
2690
+ "execution": {
2691
+ "byte_writes": [],
2692
+ "calls": [
2693
+ {
2694
+ "args": {
2695
+ "8": 1108344832
2696
+ },
2697
+ "instruction": 24927,
2698
+ "target": -107
2699
+ },
2700
+ {
2701
+ "args": {
2702
+ "8": 1082130432
2703
+ },
2704
+ "instruction": 24988,
2705
+ "target": -107
2706
+ },
2707
+ {
2708
+ "args": {
2709
+ "8": 1095761920
2710
+ },
2711
+ "instruction": 25049,
2712
+ "target": -107
2713
+ }
2714
+ ],
2715
+ "children": [
2716
+ {
2717
+ "call": {
2718
+ "args": {
2719
+ "8": 1108344832
2720
+ },
2721
+ "instruction": 24927,
2722
+ "target": -107
2723
+ },
2724
+ "effect": {
2725
+ "input": 1108344832,
2726
+ "root": 1086324736
2727
+ }
2728
+ },
2729
+ {
2730
+ "call": {
2731
+ "args": {
2732
+ "8": 1082130432
2733
+ },
2734
+ "instruction": 24988,
2735
+ "target": -107
2736
+ },
2737
+ "effect": {
2738
+ "input": 1082130432,
2739
+ "root": 1073741824
2740
+ }
2741
+ },
2742
+ {
2743
+ "call": {
2744
+ "args": {
2745
+ "8": 1095761920
2746
+ },
2747
+ "instruction": 25049,
2748
+ "target": -107
2749
+ },
2750
+ "effect": {
2751
+ "input": 1095761920,
2752
+ "root": 1080475994
2753
+ }
2754
+ }
2755
+ ],
2756
+ "return": null,
2757
+ "trace": null,
2758
+ "trace_length": 315,
2759
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
2760
+ },
2761
+ "normal": [
2762
+ 2147483648,
2763
+ 2147483648,
2764
+ 3212836864
2765
+ ],
2766
+ "point": [
2767
+ 3193241920,
2768
+ 3185835606,
2769
+ 0
2770
+ ],
2771
+ "unit_edges": [
2772
+ [
2773
+ 0,
2774
+ 3212836864,
2775
+ 0
2776
+ ],
2777
+ [
2778
+ 3210019136,
2779
+ 1057882325,
2780
+ 0
2781
+ ]
2782
+ ]
2783
+ },
2784
+ {
2785
+ "candidate": {
2786
+ "candidate": true,
2787
+ "determinant": 3233808384,
2788
+ "direction": [
2789
+ 0,
2790
+ 0,
2791
+ 3212836864
2792
+ ],
2793
+ "execution": {
2794
+ "byte_writes": [],
2795
+ "calls": [],
2796
+ "children": [],
2797
+ "return": null,
2798
+ "stop": 24822,
2799
+ "trace": null,
2800
+ "trace_length": 303,
2801
+ "trace_sha256": "2a19d1716e51a7661b667f4fd506c135ace74dd3519ce9c008c517456b900399"
2802
+ },
2803
+ "origin": [
2804
+ 1061158912,
2805
+ 1069547520,
2806
+ 1065353216
2807
+ ],
2808
+ "parameter": 1065353216,
2809
+ "u": 1061158912,
2810
+ "v": 1048576000,
2811
+ "vertices": [
2812
+ [
2813
+ 0,
2814
+ 0,
2815
+ 0
2816
+ ],
2817
+ [
2818
+ 0,
2819
+ 1073741824,
2820
+ 0
2821
+ ],
2822
+ [
2823
+ 1077936128,
2824
+ 0,
2825
+ 0
2826
+ ]
2827
+ ]
2828
+ },
2829
+ "execution": {
2830
+ "byte_writes": [],
2831
+ "calls": [
2832
+ {
2833
+ "args": {
2834
+ "8": 1108344832
2835
+ },
2836
+ "instruction": 24927,
2837
+ "target": -107
2838
+ },
2839
+ {
2840
+ "args": {
2841
+ "8": 1082130432
2842
+ },
2843
+ "instruction": 24988,
2844
+ "target": -107
2845
+ },
2846
+ {
2847
+ "args": {
2848
+ "8": 1095761920
2849
+ },
2850
+ "instruction": 25049,
2851
+ "target": -107
2852
+ }
2853
+ ],
2854
+ "children": [
2855
+ {
2856
+ "call": {
2857
+ "args": {
2858
+ "8": 1108344832
2859
+ },
2860
+ "instruction": 24927,
2861
+ "target": -107
2862
+ },
2863
+ "effect": {
2864
+ "input": 1108344832,
2865
+ "root": 1086324736
2866
+ }
2867
+ },
2868
+ {
2869
+ "call": {
2870
+ "args": {
2871
+ "8": 1082130432
2872
+ },
2873
+ "instruction": 24988,
2874
+ "target": -107
2875
+ },
2876
+ "effect": {
2877
+ "input": 1082130432,
2878
+ "root": 1073741824
2879
+ }
2880
+ },
2881
+ {
2882
+ "call": {
2883
+ "args": {
2884
+ "8": 1095761920
2885
+ },
2886
+ "instruction": 25049,
2887
+ "target": -107
2888
+ },
2889
+ "effect": {
2890
+ "input": 1095761920,
2891
+ "root": 1080475994
2892
+ }
2893
+ }
2894
+ ],
2895
+ "return": null,
2896
+ "trace": null,
2897
+ "trace_length": 315,
2898
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
2899
+ },
2900
+ "normal": [
2901
+ 2147483648,
2902
+ 2147483648,
2903
+ 3212836864
2904
+ ],
2905
+ "point": [
2906
+ 3193241920,
2907
+ 3206315979,
2908
+ 0
2909
+ ],
2910
+ "unit_edges": [
2911
+ [
2912
+ 0,
2913
+ 3212836864,
2914
+ 0
2915
+ ],
2916
+ [
2917
+ 3210019136,
2918
+ 1057882325,
2919
+ 0
2920
+ ]
2921
+ ]
2922
+ },
2923
+ {
2924
+ "candidate": {
2925
+ "candidate": true,
2926
+ "determinant": 1086324736,
2927
+ "direction": [
2928
+ 0,
2929
+ 0,
2930
+ 1065353216
2931
+ ],
2932
+ "execution": {
2933
+ "byte_writes": [],
2934
+ "calls": [],
2935
+ "children": [],
2936
+ "return": null,
2937
+ "stop": 24822,
2938
+ "trace": null,
2939
+ "trace_length": 307,
2940
+ "trace_sha256": "80f2bb45c55d96f90fb7e9d72cda10c1d081c77ec462cd82c7f365837e242c0a"
2941
+ },
2942
+ "origin": [
2943
+ 1061158912,
2944
+ 1069547520,
2945
+ 1065353216
2946
+ ],
2947
+ "parameter": -1082130432,
2948
+ "u": 1061158912,
2949
+ "v": 1048576000,
2950
+ "vertices": [
2951
+ [
2952
+ 0,
2953
+ 0,
2954
+ 0
2955
+ ],
2956
+ [
2957
+ 0,
2958
+ 1073741824,
2959
+ 0
2960
+ ],
2961
+ [
2962
+ 1077936128,
2963
+ 0,
2964
+ 0
2965
+ ]
2966
+ ]
2967
+ },
2968
+ "execution": {
2969
+ "byte_writes": [],
2970
+ "calls": [
2971
+ {
2972
+ "args": {
2973
+ "8": 1108344832
2974
+ },
2975
+ "instruction": 24927,
2976
+ "target": -107
2977
+ },
2978
+ {
2979
+ "args": {
2980
+ "8": 1082130432
2981
+ },
2982
+ "instruction": 24988,
2983
+ "target": -107
2984
+ },
2985
+ {
2986
+ "args": {
2987
+ "8": 1095761920
2988
+ },
2989
+ "instruction": 25049,
2990
+ "target": -107
2991
+ }
2992
+ ],
2993
+ "children": [
2994
+ {
2995
+ "call": {
2996
+ "args": {
2997
+ "8": 1108344832
2998
+ },
2999
+ "instruction": 24927,
3000
+ "target": -107
3001
+ },
3002
+ "effect": {
3003
+ "input": 1108344832,
3004
+ "root": 1086324736
3005
+ }
3006
+ },
3007
+ {
3008
+ "call": {
3009
+ "args": {
3010
+ "8": 1082130432
3011
+ },
3012
+ "instruction": 24988,
3013
+ "target": -107
3014
+ },
3015
+ "effect": {
3016
+ "input": 1082130432,
3017
+ "root": 1073741824
3018
+ }
3019
+ },
3020
+ {
3021
+ "call": {
3022
+ "args": {
3023
+ "8": 1095761920
3024
+ },
3025
+ "instruction": 25049,
3026
+ "target": -107
3027
+ },
3028
+ "effect": {
3029
+ "input": 1095761920,
3030
+ "root": 1080475994
3031
+ }
3032
+ }
3033
+ ],
3034
+ "return": null,
3035
+ "trace": null,
3036
+ "trace_length": 315,
3037
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
3038
+ },
3039
+ "normal": [
3040
+ 2147483648,
3041
+ 2147483648,
3042
+ 3212836864
3043
+ ],
3044
+ "point": [
3045
+ 3193241920,
3046
+ 3206315979,
3047
+ 0
3048
+ ],
3049
+ "unit_edges": [
3050
+ [
3051
+ 0,
3052
+ 3212836864,
3053
+ 0
3054
+ ],
3055
+ [
3056
+ 3210019136,
3057
+ 1057882325,
3058
+ 0
3059
+ ]
3060
+ ]
3061
+ },
3062
+ {
3063
+ "candidate": {
3064
+ "candidate": true,
3065
+ "determinant": 3233808384,
3066
+ "direction": [
3067
+ 0,
3068
+ 0,
3069
+ 3212836864
3070
+ ],
3071
+ "execution": {
3072
+ "byte_writes": [],
3073
+ "calls": [],
3074
+ "children": [],
3075
+ "return": null,
3076
+ "stop": 24822,
3077
+ "trace": null,
3078
+ "trace_length": 303,
3079
+ "trace_sha256": "2a19d1716e51a7661b667f4fd506c135ace74dd3519ce9c008c517456b900399"
3080
+ },
3081
+ "origin": [
3082
+ 1074790400,
3083
+ 1048576000,
3084
+ 1065353216
3085
+ ],
3086
+ "parameter": 1065353216,
3087
+ "u": 1040187392,
3088
+ "v": 1061158912,
3089
+ "vertices": [
3090
+ [
3091
+ 0,
3092
+ 0,
3093
+ 0
3094
+ ],
3095
+ [
3096
+ 0,
3097
+ 1073741824,
3098
+ 0
3099
+ ],
3100
+ [
3101
+ 1077936128,
3102
+ 0,
3103
+ 0
3104
+ ]
3105
+ ]
3106
+ },
3107
+ "execution": {
3108
+ "byte_writes": [],
3109
+ "calls": [
3110
+ {
3111
+ "args": {
3112
+ "8": 1108344832
3113
+ },
3114
+ "instruction": 24927,
3115
+ "target": -107
3116
+ },
3117
+ {
3118
+ "args": {
3119
+ "8": 1082130432
3120
+ },
3121
+ "instruction": 24988,
3122
+ "target": -107
3123
+ },
3124
+ {
3125
+ "args": {
3126
+ "8": 1095761920
3127
+ },
3128
+ "instruction": 25049,
3129
+ "target": -107
3130
+ }
3131
+ ],
3132
+ "children": [
3133
+ {
3134
+ "call": {
3135
+ "args": {
3136
+ "8": 1108344832
3137
+ },
3138
+ "instruction": 24927,
3139
+ "target": -107
3140
+ },
3141
+ "effect": {
3142
+ "input": 1108344832,
3143
+ "root": 1086324736
3144
+ }
3145
+ },
3146
+ {
3147
+ "call": {
3148
+ "args": {
3149
+ "8": 1082130432
3150
+ },
3151
+ "instruction": 24988,
3152
+ "target": -107
3153
+ },
3154
+ "effect": {
3155
+ "input": 1082130432,
3156
+ "root": 1073741824
3157
+ }
3158
+ },
3159
+ {
3160
+ "call": {
3161
+ "args": {
3162
+ "8": 1095761920
3163
+ },
3164
+ "instruction": 25049,
3165
+ "target": -107
3166
+ },
3167
+ "effect": {
3168
+ "input": 1095761920,
3169
+ "root": 1080475994
3170
+ }
3171
+ }
3172
+ ],
3173
+ "return": null,
3174
+ "trace": null,
3175
+ "trace_length": 315,
3176
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
3177
+ },
3178
+ "normal": [
3179
+ 2147483648,
3180
+ 2147483648,
3181
+ 3212836864
3182
+ ],
3183
+ "point": [
3184
+ 3206529264,
3185
+ 1049952576,
3186
+ 0
3187
+ ],
3188
+ "unit_edges": [
3189
+ [
3190
+ 0,
3191
+ 3212836864,
3192
+ 0
3193
+ ],
3194
+ [
3195
+ 3210019136,
3196
+ 1057882325,
3197
+ 0
3198
+ ]
3199
+ ]
3200
+ },
3201
+ {
3202
+ "candidate": {
3203
+ "candidate": true,
3204
+ "determinant": 1086324736,
3205
+ "direction": [
3206
+ 0,
3207
+ 0,
3208
+ 1065353216
3209
+ ],
3210
+ "execution": {
3211
+ "byte_writes": [],
3212
+ "calls": [],
3213
+ "children": [],
3214
+ "return": null,
3215
+ "stop": 24822,
3216
+ "trace": null,
3217
+ "trace_length": 307,
3218
+ "trace_sha256": "80f2bb45c55d96f90fb7e9d72cda10c1d081c77ec462cd82c7f365837e242c0a"
3219
+ },
3220
+ "origin": [
3221
+ 1074790400,
3222
+ 1048576000,
3223
+ 1065353216
3224
+ ],
3225
+ "parameter": -1082130432,
3226
+ "u": 1040187392,
3227
+ "v": 1061158912,
3228
+ "vertices": [
3229
+ [
3230
+ 0,
3231
+ 0,
3232
+ 0
3233
+ ],
3234
+ [
3235
+ 0,
3236
+ 1073741824,
3237
+ 0
3238
+ ],
3239
+ [
3240
+ 1077936128,
3241
+ 0,
3242
+ 0
3243
+ ]
3244
+ ]
3245
+ },
3246
+ "execution": {
3247
+ "byte_writes": [],
3248
+ "calls": [
3249
+ {
3250
+ "args": {
3251
+ "8": 1108344832
3252
+ },
3253
+ "instruction": 24927,
3254
+ "target": -107
3255
+ },
3256
+ {
3257
+ "args": {
3258
+ "8": 1082130432
3259
+ },
3260
+ "instruction": 24988,
3261
+ "target": -107
3262
+ },
3263
+ {
3264
+ "args": {
3265
+ "8": 1095761920
3266
+ },
3267
+ "instruction": 25049,
3268
+ "target": -107
3269
+ }
3270
+ ],
3271
+ "children": [
3272
+ {
3273
+ "call": {
3274
+ "args": {
3275
+ "8": 1108344832
3276
+ },
3277
+ "instruction": 24927,
3278
+ "target": -107
3279
+ },
3280
+ "effect": {
3281
+ "input": 1108344832,
3282
+ "root": 1086324736
3283
+ }
3284
+ },
3285
+ {
3286
+ "call": {
3287
+ "args": {
3288
+ "8": 1082130432
3289
+ },
3290
+ "instruction": 24988,
3291
+ "target": -107
3292
+ },
3293
+ "effect": {
3294
+ "input": 1082130432,
3295
+ "root": 1073741824
3296
+ }
3297
+ },
3298
+ {
3299
+ "call": {
3300
+ "args": {
3301
+ "8": 1095761920
3302
+ },
3303
+ "instruction": 25049,
3304
+ "target": -107
3305
+ },
3306
+ "effect": {
3307
+ "input": 1095761920,
3308
+ "root": 1080475994
3309
+ }
3310
+ }
3311
+ ],
3312
+ "return": null,
3313
+ "trace": null,
3314
+ "trace_length": 315,
3315
+ "trace_sha256": "40ae3006e797fdfa25e2a1d172855564bb8ca34a2c2c8af2bb3b730d531ea6b3"
3316
+ },
3317
+ "normal": [
3318
+ 2147483648,
3319
+ 2147483648,
3320
+ 3212836864
3321
+ ],
3322
+ "point": [
3323
+ 3206529264,
3324
+ 1049952576,
3325
+ 0
3326
+ ],
3327
+ "unit_edges": [
3328
+ [
3329
+ 0,
3330
+ 3212836864,
3331
+ 0
3332
+ ],
3333
+ [
3334
+ 3210019136,
3335
+ 1057882325,
3336
+ 0
3337
+ ]
3338
+ ]
3339
+ }
3340
+ ],
3341
+ "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
3342
+ "source": {
3343
+ "archive": "zUrT43_qvm.pk3",
3344
+ "archive_sha256": "b59bf0c5bedf11d50e0edd220da7eade96de40601e98ae14c54c819047df0796",
3345
+ "member": {
3346
+ "bytes": 983300,
3347
+ "comment_hex": "",
3348
+ "compressed_bytes": 246560,
3349
+ "compression": 8,
3350
+ "crc32": "98ea1768",
3351
+ "create_system": 0,
3352
+ "create_version": 63,
3353
+ "date_time": [
3354
+ 2018,
3355
+ 6,
3356
+ 18,
3357
+ 22,
3358
+ 11,
3359
+ 50
3360
+ ],
3361
+ "directory": false,
3362
+ "entry_index": 2,
3363
+ "external_attr": 32,
3364
+ "extra_hex": "0a0020000000000001001800d1e24e974007d40116dcbf962f1fd20116dcbf962f1fd201",
3365
+ "extract_version": 20,
3366
+ "flags": 0,
3367
+ "header_offset": 221309,
3368
+ "internal_attr": 0,
3369
+ "occurrence": 0,
3370
+ "output": "assets/extracted/zUrT43_qvm.pk3/members/000002/vm/qagame.qvm",
3371
+ "path": "vm/qagame.qvm",
3372
+ "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
3373
+ "type": "member",
3374
+ "volume": 0
3375
+ }
3376
+ }
3377
+ }
scripts/analyze_qvm_hit_geometry.py ADDED
@@ -0,0 +1,20 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ #!/usr/bin/env python3
2
+ """23092 accepted candidate through source normal/edge/point construction."""
3
+ import itertools
4
+ from pathlib import Path
5
+ from qvm_research_support import source,execute
6
+ from analyze_qvm_ray_triangle import candidate,LOCAL
7
+ from analyze_qvm_slide_prefix import vec
8
+ from analyze_qvm import write_json
9
+
10
+ def geometry(ins,m):
11
+ m,_,e=execute(ins,24822,25137,dict(m),(0,0,0),LOCAL)
12
+ return m,{'normal':vec(m,LOCAL+388),'unit_edges':[vec(m,LOCAL+364),vec(m,LOCAL+376)],'point':vec(m,LOCAL+400),'execution':e}
13
+
14
+ def main():
15
+ q,raw,h,ins=source();rows=[]
16
+ triangles=[[(0,0,0),(1,0,0),(0,1,0)],[(1,2,0),(5,2,0),(2,5,0)],[(0,0,0),(0,2,0),(3,0,0)]]
17
+ for triangle,(u,v),dz in itertools.product(triangles,[(0,0),(.25,.25),(.75,.25),(.125,.75)],[-1,1]):
18
+ a,b,c=triangle;origin=[a[j]+u*(b[j]-a[j])+v*(c[j]-a[j]) for j in range(3)];origin[2]+=1;m,p=candidate(ins,triangle,origin,(0,0,dz));assert p['candidate'];m,r=geometry(ins,m);r['candidate']=p;rows.append(r)
19
+ write_json(Path('docs/research/qvm-hit-geometry.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Actual24822–25136 after recovered triangle candidates, with explicit finite sqrt responses. Point uses normalized a−b and b−c edges times barycentrics; it is not silently replaced by conventional ray intersection. No metadata/publication yet.'})
20
+ if __name__=='__main__':main()
scripts/test_qvm_hit_geometry.py ADDED
@@ -0,0 +1,23 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ import json,math,unittest
2
+ from pathlib import Path
3
+ from test_qvm_ground import word,n,f
4
+ from test_qvm_ray_triangle import sub,cross,dot
5
+
6
+ def normalized(v):
7
+ length=f(math.sqrt(dot(v,v)));return [f(x*f(1/length)) for x in v] if length else v
8
+
9
+ def expected(p):
10
+ c=p['candidate'];a,b,d=[[n(v) for v in row] for row in c['vertices']];e1=sub(a,b);e2=sub(b,d);normal=normalized(cross(e1,e2));e1=normalized(e1);e2=normalized(e2);u=n(c['u']);v=n(c['v']);point=[f(x+f(f(y*u)+f(z*v))) for x,y,z in zip(a,e1,e2)];return list(map(word,normal)),[list(map(word,e)) for e in [e1,e2]],list(map(word,point))
11
+ class HitGeometryTests(unittest.TestCase):
12
+ @classmethod
13
+ def setUpClass(cls):cls.rows=json.loads(Path('docs/research/qvm-hit-geometry.json').read_text())['probes']
14
+ def test_independent_all_normal_edges_and_point_words(self):
15
+ self.assertEqual(len(self.rows),24)
16
+ for p in self.rows:self.assertEqual((p['normal'],p['unit_edges'],p['point']),expected(p))
17
+ def test_source_point_differs_from_conventional_ray_point(self):
18
+ self.assertTrue(any(p['point'][:2]!=p['candidate']['origin'][:2] for p in self.rows))
19
+ def test_actual_three_normalization_roots(self):
20
+ for p in self.rows:self.assertEqual([c['target'] for c in p['execution']['calls']],[-107]*3)
21
+ def test_normal_winding_and_behind_origin_preserved(self):
22
+ self.assertEqual({n(p['normal'][2]) for p in self.rows},{-1,1});self.assertTrue(any(n(p['candidate']['parameter'])<0 for p in self.rows))
23
+ if __name__=='__main__':unittest.main()