qvm: leaf ancestry matrix

docs/ASSET_PIPELINE_TODO.md

@@ -694,3 +694,6 @@ Research progress: RE-672 [report](research/QVM_CHILD_TRANSFORM.md); remaining n
 
 
 Research progress: RE-673 [report](research/QVM_MODEL_HIERARCHY.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-674 [report](research/QVM_LEAF_BASIS.md); remaining native/content/runtime/platform scope stays open.

docs/FINDINGS.md

@@ -1040,3 +1040,6 @@ Bounded qagame paths recover bomb-plant/inactivity correction requests, direct f
 
 
 **RE-673 — Complete hierarchy traversal through actual child transforms:** 25341 now executes actual22009, skips null children, recurses into child tables and visits parent leaves after children; leaf geometry remains captured. [Evidence](research/QVM_MODEL_HIERARCHY.md).
+
+
+**RE-674 — Leaf ancestry matrix accumulation:** 23092 accumulates matrices through the node parent chain and repeats the unusual fourth-row source indexing; identity ancestors therefore alter row four. [Evidence](research/QVM_LEAF_BASIS.md).

docs/PROVISIONAL_TODO.md

@@ -1020,3 +1020,6 @@ Research progress: RE-672 [report](research/QVM_CHILD_TRANSFORM.md); remaining n
 
 
 Research progress: RE-673 [report](research/QVM_MODEL_HIERARCHY.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-674 [report](research/QVM_LEAF_BASIS.md); remaining native/content/runtime/platform scope stays open.

docs/RESEARCH_LEDGER.md

@@ -1022,3 +1022,8 @@ Complete22009 composes the sample basis only with nonnull parents and uses local
 ## 2026-10-21 — RE-673 Complete hierarchy traversal through actual child transforms (separate task commit)
 
 25341 now executes actual22009, skips null children, recurses into child tables and visits parent leaves after children; leaf geometry remains captured. 15 finite hierarchy fixtures independently verify postorder leaf requests, every transformed record, null-slot skipping, nested frame isolation and forwarded geometry arguments. Full suite: 1153 tests pass. Report regenerates byte-identically (294562 bytes). Storage/filter, links and whitespace checks pass. No assets/Rust runtime/shared VM evaluator changed; native/reference/legal/full platform scope remains open.
+
+
+## 2026-10-21 — RE-674 Leaf ancestry matrix accumulation (separate task commit)
+
+23092 accumulates matrices through the node parent chain and repeats the unusual fourth-row source indexing; identity ancestors therefore alter row four. 12 independent full4×4 float32 product fixtures cover depths1..4, identity, turn/scale and nondiagonal inputs. Full suite: 1157 tests pass. Report regenerates byte-identically (22327 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

@@ -1063,3 +1063,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-673 Complete hierarchy traversal through actual child transforms ([report](research/QVM_MODEL_HIERARCHY.md)).
+
+
+- [x] RE-674 Leaf ancestry matrix accumulation ([report](research/QVM_LEAF_BASIS.md)).

docs/research/QVM_LEAF_BASIS.md

@@ -0,0 +1,7 @@
+# Leaf ancestry matrix accumulation
+
+RE-674. Reproduce with `python3 scripts/analyze_qvm_leaf_basis.py`; check with `python3 scripts/test_qvm_leaf_basis.py`. The [machine report](qvm-leaf-basis.json) retains source identity and bounded fixtures.
+
+Actual23093–23887 initializes an identity matrix then multiplies through node96 ancestry using each node basis12..72. Its fourth row reads local48/68/56/76. Consequently an identity chain of any positive depth produces row4=[0,0,1,1], not a conventional identity product. Pure scalar dot-product oracles retain exact source addition order across all sixteen outputs. No origins, primitive lists, native math or intersection children run in this stage. Inputs remain acyclic supplied chains; model ownership and original live behavior remain unverified.
+
+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

@@ -621,3 +621,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-673: Complete hierarchy traversal through actual child transforms](QVM_MODEL_HIERARCHY.md). Reproduce with `python3 scripts/analyze_qvm_model_hierarchy.py`; check with `python3 scripts/test_qvm_model_hierarchy.py`.
+
+
+[RE-674: Leaf ancestry matrix accumulation](QVM_LEAF_BASIS.md). Reproduce with `python3 scripts/analyze_qvm_leaf_basis.py`; check with `python3 scripts/test_qvm_leaf_basis.py`.

docs/research/qvm-leaf-basis.json

@@ -0,0 +1,1301 @@
+{
+  "limits": "Actual23093\u201323887; explicit acyclic transform chains only. Source fourth row reads local48/68/56/76 rather than a standard product row. No primitive/geometry/native calls execute.",
+  "probes": [
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 799,
+        "trace_sha256": "cf95044deb7c1a382bcd187449b9fde10a62e0d13624d19b1d31fd0a91237c52"
+      },
+      "input_chain": [
+        [
+          [
+            1065353216,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1065353216,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ]
+      ],
+      "kind": "identity",
+      "matrix": [
+        [
+          1065353216,
+          0,
+          0,
+          0
+        ],
+        [
+          0,
+          1065353216,
+          0,
+          0
+        ],
+        [
+          0,
+          0,
+          1065353216,
+          0
+        ],
+        [
+          0,
+          0,
+          1065353216,
+          1065353216
+        ]
+      ]
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 799,
+        "trace_sha256": "cf95044deb7c1a382bcd187449b9fde10a62e0d13624d19b1d31fd0a91237c52"
+      },
+      "input_chain": [
+        [
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            3212836864,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1067450368,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ]
+      ],
+      "kind": "turn-scale",
+      "matrix": [
+        [
+          0,
+          1065353216,
+          0,
+          0
+        ],
+        [
+          3212836864,
+          0,
+          0,
+          0
+        ],
+        [
+          0,
+          0,
+          1067450368,
+          0
+        ],
+        [
+          0,
+          0,
+          1067450368,
+          1065353216
+        ]
+      ]
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 799,
+        "trace_sha256": "cf95044deb7c1a382bcd187449b9fde10a62e0d13624d19b1d31fd0a91237c52"
+      },
+      "input_chain": [
+        [
+          [
+            1065353216,
+            1048576000,
+            0,
+            1036831949
+          ],
+          [
+            0,
+            1065353216,
+            3204448256,
+            1045220557
+          ],
+          [
+            1040187392,
+            0,
+            1065353216,
+            1050253722
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ]
+      ],
+      "kind": "general",
+      "matrix": [
+        [
+          1065353216,
+          1048576000,
+          0,
+          1036831949
+        ],
+        [
+          0,
+          1065353216,
+          3204448256,
+          1045220557
+        ],
+        [
+          1040187392,
+          0,
+          1065353216,
+          1050253722
+        ],
+        [
+          1040187392,
+          0,
+          1065353216,
+          1067869798
+        ]
+      ]
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 1466,
+        "trace_sha256": "308c2980c2d81333c4cc06da4f17de8a4c5e9e7a99fc33c7e96d6958ecc52a9a"
+      },
+      "input_chain": [
+        [
+          [
+            1065353216,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1065353216,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            1065353216,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1065353216,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ]
+      ],
+      "kind": "identity",
+      "matrix": [
+        [
+          1065353216,
+          0,
+          0,
+          0
+        ],
+        [
+          0,
+          1065353216,
+          0,
+          0
+        ],
+        [
+          0,
+          0,
+          1065353216,
+          0
+        ],
+        [
+          0,
+          0,
+          1065353216,
+          1065353216
+        ]
+      ]
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 1466,
+        "trace_sha256": "308c2980c2d81333c4cc06da4f17de8a4c5e9e7a99fc33c7e96d6958ecc52a9a"
+      },
+      "input_chain": [
+        [
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            3212836864,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1067450368,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            3212836864,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1067450368,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ]
+      ],
+      "kind": "turn-scale",
+      "matrix": [
+        [
+          3212836864,
+          0,
+          0,
+          0
+        ],
+        [
+          0,
+          3212836864,
+          0,
+          0
+        ],
+        [
+          0,
+          0,
+          1070071808,
+          0
+        ],
+        [
+          0,
+          0,
+          1070071808,
+          1065353216
+        ]
+      ]
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 1466,
+        "trace_sha256": "308c2980c2d81333c4cc06da4f17de8a4c5e9e7a99fc33c7e96d6958ecc52a9a"
+      },
+      "input_chain": [
+        [
+          [
+            1065353216,
+            1048576000,
+            0,
+            1036831949
+          ],
+          [
+            0,
+            1065353216,
+            3204448256,
+            1045220557
+          ],
+          [
+            1040187392,
+            0,
+            1065353216,
+            1050253722
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            1065353216,
+            1048576000,
+            0,
+            1036831949
+          ],
+          [
+            0,
+            1065353216,
+            3204448256,
+            1045220557
+          ],
+          [
+            1040187392,
+            0,
+            1065353216,
+            1050253722
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ]
+      ],
+      "kind": "general",
+      "matrix": [
+        [
+          1065353216,
+          1056964608,
+          3187671040,
+          1048576000
+        ],
+        [
+          3179282432,
+          1065353216,
+          3212836864,
+          1048576000
+        ],
+        [
+          1048576000,
+          1023410176,
+          1065353216,
+          1058852045
+        ],
+        [
+          1048576000,
+          1023410176,
+          1065353216,
+          1070491238
+        ]
+      ]
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 2133,
+        "trace_sha256": "e86114056358525fc70ceafe0e5bc27e888bb5744a8da884afd2af2adc7b770b"
+      },
+      "input_chain": [
+        [
+          [
+            1065353216,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1065353216,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            1065353216,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1065353216,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            1065353216,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1065353216,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ]
+      ],
+      "kind": "identity",
+      "matrix": [
+        [
+          1065353216,
+          0,
+          0,
+          0
+        ],
+        [
+          0,
+          1065353216,
+          0,
+          0
+        ],
+        [
+          0,
+          0,
+          1065353216,
+          0
+        ],
+        [
+          0,
+          0,
+          1065353216,
+          1065353216
+        ]
+      ]
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 2133,
+        "trace_sha256": "e86114056358525fc70ceafe0e5bc27e888bb5744a8da884afd2af2adc7b770b"
+      },
+      "input_chain": [
+        [
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            3212836864,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1067450368,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            3212836864,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1067450368,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            3212836864,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1067450368,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ]
+      ],
+      "kind": "turn-scale",
+      "matrix": [
+        [
+          0,
+          3212836864,
+          0,
+          0
+        ],
+        [
+          1065353216,
+          0,
+          0,
+          0
+        ],
+        [
+          0,
+          0,
+          1073348608,
+          0
+        ],
+        [
+          0,
+          0,
+          1073348608,
+          1065353216
+        ]
+      ]
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 2133,
+        "trace_sha256": "e86114056358525fc70ceafe0e5bc27e888bb5744a8da884afd2af2adc7b770b"
+      },
+      "input_chain": [
+        [
+          [
+            1065353216,
+            1048576000,
+            0,
+            1036831949
+          ],
+          [
+            0,
+            1065353216,
+            3204448256,
+            1045220557
+          ],
+          [
+            1040187392,
+            0,
+            1065353216,
+            1050253722
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            1065353216,
+            1048576000,
+            0,
+            1036831949
+          ],
+          [
+            0,
+            1065353216,
+            3204448256,
+            1045220557
+          ],
+          [
+            1040187392,
+            0,
+            1065353216,
+            1050253722
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            1065353216,
+            1048576000,
+            0,
+            1036831949
+          ],
+          [
+            0,
+            1065353216,
+            3204448256,
+            1045220557
+          ],
+          [
+            1040187392,
+            0,
+            1065353216,
+            1050253722
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ]
+      ],
+      "kind": "general",
+      "matrix": [
+        [
+          1065091072,
+          1061158912,
+          3200253952,
+          1054028595
+        ],
+        [
+          3191865344,
+          1065091072,
+          3217031168,
+          1041445683
+        ],
+        [
+          1052770304,
+          1035993088,
+          1065091072,
+          1064409498
+        ],
+        [
+          1052770304,
+          1035993088,
+          1065091072,
+          1073269964
+        ]
+      ]
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 2800,
+        "trace_sha256": "735de2b52c285fec9cbe508c81f1d714e8449f6fc1ae7e08d04f9b8983a27eaf"
+      },
+      "input_chain": [
+        [
+          [
+            1065353216,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1065353216,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            1065353216,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1065353216,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            1065353216,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1065353216,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            1065353216,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1065353216,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ]
+      ],
+      "kind": "identity",
+      "matrix": [
+        [
+          1065353216,
+          0,
+          0,
+          0
+        ],
+        [
+          0,
+          1065353216,
+          0,
+          0
+        ],
+        [
+          0,
+          0,
+          1065353216,
+          0
+        ],
+        [
+          0,
+          0,
+          1065353216,
+          1065353216
+        ]
+      ]
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 2800,
+        "trace_sha256": "735de2b52c285fec9cbe508c81f1d714e8449f6fc1ae7e08d04f9b8983a27eaf"
+      },
+      "input_chain": [
+        [
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            3212836864,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1067450368,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            3212836864,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1067450368,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            3212836864,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1067450368,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            0,
+            1065353216,
+            0,
+            0
+          ],
+          [
+            3212836864,
+            0,
+            0,
+            0
+          ],
+          [
+            0,
+            0,
+            1067450368,
+            0
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ]
+      ],
+      "kind": "turn-scale",
+      "matrix": [
+        [
+          1065353216,
+          0,
+          0,
+          0
+        ],
+        [
+          0,
+          1065353216,
+          0,
+          0
+        ],
+        [
+          0,
+          0,
+          1075593216,
+          0
+        ],
+        [
+          0,
+          0,
+          1075593216,
+          1065353216
+        ]
+      ]
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 2800,
+        "trace_sha256": "735de2b52c285fec9cbe508c81f1d714e8449f6fc1ae7e08d04f9b8983a27eaf"
+      },
+      "input_chain": [
+        [
+          [
+            1065353216,
+            1048576000,
+            0,
+            1036831949
+          ],
+          [
+            0,
+            1065353216,
+            3204448256,
+            1045220557
+          ],
+          [
+            1040187392,
+            0,
+            1065353216,
+            1050253722
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            1065353216,
+            1048576000,
+            0,
+            1036831949
+          ],
+          [
+            0,
+            1065353216,
+            3204448256,
+            1045220557
+          ],
+          [
+            1040187392,
+            0,
+            1065353216,
+            1050253722
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            1065353216,
+            1048576000,
+            0,
+            1036831949
+          ],
+          [
+            0,
+            1065353216,
+            3204448256,
+            1045220557
+          ],
+          [
+            1040187392,
+            0,
+            1065353216,
+            1050253722
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ],
+        [
+          [
+            1065353216,
+            1048576000,
+            0,
+            1036831949
+          ],
+          [
+            0,
+            1065353216,
+            3204448256,
+            1045220557
+          ],
+          [
+            1040187392,
+            0,
+            1065353216,
+            1050253722
+          ],
+          [
+            0,
+            0,
+            0,
+            1065353216
+          ]
+        ]
+      ],
+      "kind": "general",
+      "matrix": [
+        [
+          1064304640,
+          1065287680,
+          3208642560,
+          1057777254
+        ],
+        [
+          3200253952,
+          1064304640,
+          3221159936,
+          3187880757
+        ],
+        [
+          1056899072,
+          1044381696,
+          1064304640,
+          1067830477
+        ],
+        [
+          1056899072,
+          1044381696,
+          1064304640,
+          1074980454
+        ]
+      ]
+    }
+  ],
+  "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
+  "source": {
+    "archive": "zUrT43_qvm.pk3",
+    "archive_sha256": "b59bf0c5bedf11d50e0edd220da7eade96de40601e98ae14c54c819047df0796",
+    "member": {
+      "bytes": 983300,
+      "comment_hex": "",
+      "compressed_bytes": 246560,
+      "compression": 8,
+      "crc32": "98ea1768",
+      "create_system": 0,
+      "create_version": 63,
+      "date_time": [
+        2018,
+        6,
+        18,
+        22,
+        11,
+        50
+      ],
+      "directory": false,
+      "entry_index": 2,
+      "external_attr": 32,
+      "extra_hex": "0a0020000000000001001800d1e24e974007d40116dcbf962f1fd20116dcbf962f1fd201",
+      "extract_version": 20,
+      "flags": 0,
+      "header_offset": 221309,
+      "internal_attr": 0,
+      "occurrence": 0,
+      "output": "assets/extracted/zUrT43_qvm.pk3/members/000002/vm/qagame.qvm",
+      "path": "vm/qagame.qvm",
+      "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
+      "type": "member",
+      "volume": 0
+    }
+  }
+}

scripts/analyze_qvm_leaf_basis.py

@@ -0,0 +1,30 @@
+#!/usr/bin/env python3
+"""23092 ancestry matrix accumulation, before primitive traversal."""
+import itertools
+from pathlib import Path
+from qvm_research_support import source,execute
+from analyze_qvm_acceleration import word
+from analyze_qvm import write_json
+LOCAL=0x78400000
+NODES=[LOCAL+4096*(j+1) for j in range(4)]
+MODEL=LOCAL+0x10000
+
+def fixture(depth,kind):
+    m={LOCAL+440:NODES[0],MODEL+100:256};matrices=[]
+    for j,p in enumerate(NODES[:depth]):
+        matrix=[[1,0,0,0],[0,1,0,0],[0,0,1,0],[0,0,0,1]] if kind=='identity' else ([[0,1,0,0],[-1,0,0,0],[0,0,1.25,0],[0,0,0,1]] if kind=='turn-scale' else [[1,.25,0,.1],[0,1,-.5,.2],[.125,0,1,.3],[0,0,0,1]])
+        for row in range(4):
+            for col in range(4):m[p+12+16*row+4*col]=word(matrix[row][col])
+        m[p+88]=MODEL;m[p+96]=NODES[j+1] if j+1<depth else 0;matrices.append([[word(x) for x in row] for row in matrix])
+    return m,matrices
+
+def basis(ins,m):
+    m=dict(m);m,_,e=execute(ins,23093,23888,m,(0,0,0),LOCAL)
+    return m,{'matrix':[[m[LOCAL+16+16*r+4*c]&0xffffffff for c in range(4)] for r in range(4)],'execution':e}
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    for depth,kind in itertools.product([1,2,3,4],['identity','turn-scale','general']):
+        m,inputs=fixture(depth,kind);m,r=basis(ins,m);r['input_chain']=inputs;r['kind']=kind;rows.append(r)
+    write_json(Path('docs/research/qvm-leaf-basis.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Actual23093–23887; explicit acyclic transform chains only. Source fourth row reads local48/68/56/76 rather than a standard product row. No primitive/geometry/native calls execute.'})
+if __name__=='__main__':main()

scripts/test_qvm_leaf_basis.py

@@ -0,0 +1,31 @@
+import json,unittest
+from pathlib import Path
+from test_qvm_ground import word,n,f
+
+def expected(chain):
+    a=[[float(r==c) for c in range(4)] for r in range(4)]
+    for words in chain:
+        b=[[n(v) for v in row] for row in words];a=[row[:] for row in a];a[3]=[a[2][0],a[3][1],a[2][2],a[3][3]];out=[]
+        for row in a:
+            result=[]
+            for c in range(4):
+                v=f(row[0]*b[0][c])
+                for k in range(1,4):v=f(v+f(row[k]*b[k][c]))
+                result.append(v)
+            out.append(result)
+        a=out
+    return [[word(v) for v in row] for row in a]
+class LeafBasisTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.rows=json.loads(Path('docs/research/qvm-leaf-basis.json').read_text())['probes']
+    def test_independent_whole_matrix_for_all_ancestors(self):
+        self.assertEqual(len(self.rows),12)
+        for p in self.rows:self.assertEqual(p['matrix'],expected(p['input_chain']))
+    def test_identity_exposes_nonstandard_fourth_row(self):
+        for p in self.rows:
+            if p['kind']=='identity':self.assertEqual(p['matrix'][3],[0,0,word(1),word(1)])
+    def test_no_child_calls_or_native_math(self):
+        for p in self.rows:self.assertEqual(p['execution']['calls'],[])
+    def test_every_depth_and_nondiagonal_case_present(self):
+        self.assertEqual({len(p['input_chain']) for p in self.rows},{1,2,3,4});self.assertEqual({p['kind'] for p in self.rows},{'identity','turn-scale','general'})
+if __name__=='__main__':unittest.main()