qvm: recover rank partition helpers

docs/ASSET_PIPELINE_TODO.md

@@ -1015,3 +1015,6 @@ Research progress: RE-786 [report](research/QVM_COUNTER_REENTRY.md); original as
 
 
 Research progress: RE-787 [report](research/QVM_MOVEMENT_REENTRY.md); original assets unchanged.
+
+
+Research progress: RE-788 [report](research/QVM_RANK_PARTITION_HELPERS.md); original assets unchanged.

docs/FINDINGS.md

@@ -1361,3 +1361,6 @@ RE-725–734 batch: [health, contact and Rust impulse findings](research/QVM_HEA
 
 
 **RE-787 — Audited water-entry dynamic returns and locomotion source consumers:** 41486 and selected47884 prefix/ground paths use corrected movement execution, with full returned-memory differential checks and independent water/gait/event expectations. [Evidence](research/QVM_MOVEMENT_REENTRY.md).
+
+
+**RE-788 — Actual aligned sort swaps and dynamic median-of-three helper:** Recovered34829 aligned swaps and34964 median-of-three with five reviewed return destinations; tests cover overlap, guards, permutations and ties. [Evidence](research/QVM_RANK_PARTITION_HELPERS.md).

docs/PROVISIONAL_TODO.md

@@ -1362,3 +1362,6 @@ Research progress: RE-786 [report](research/QVM_COUNTER_REENTRY.md); full native
 
 
 Research progress: RE-787 [report](research/QVM_MOVEMENT_REENTRY.md); full native/platform/game scope remains open.
+
+
+Research progress: RE-788 [report](research/QVM_RANK_PARTITION_HELPERS.md); full native/platform/game scope remains open.

docs/RESEARCH_LEDGER.md

@@ -1597,3 +1597,8 @@ The movement resumer also loses non-command STORE1 writes across calls in legacy
 ## 2026-10-21 — RE-787 Audited water-entry dynamic returns and locomotion source consumers
 
 41486 and selected47884 prefix/ground paths use corrected movement execution, with full returned-memory differential checks and independent water/gait/event expectations. Focused `cargo xtask test-group movement-reentry` passes (65 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 413676 bytes. Full-suite validation is deferred to the tenth batch commit. Selected movement producers migrated; the shared execute default remains legacy during the wider audit.
+
+
+## 2026-10-21 — RE-788 Actual aligned sort swaps and dynamic median-of-three helper
+
+Recovered34829 aligned swaps and34964 median-of-three with five reviewed return destinations; tests cover overlap, guards, permutations and ties. Focused `cargo xtask test-group rank-partition-helpers` passes (18 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 405895 bytes. Full-suite validation is deferred to the tenth batch commit. New bounded source helper compositions use corrected tracing and explicit dynamic return offsets; no supplied sort/median result is used.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1411,3 +1411,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-787 Audited water-entry dynamic returns and locomotion source consumers ([report](research/QVM_MOVEMENT_REENTRY.md)).
+
+
+- [x] RE-788 Actual aligned sort swaps and dynamic median-of-three helper ([report](research/QVM_RANK_PARTITION_HELPERS.md)).

docs/research/QVM_RANK_PARTITION_HELPERS.md

@@ -0,0 +1,9 @@
+# Actual aligned sort swaps and dynamic median-of-three helper
+
+RE-788. Reproduce with `python3 scripts/analyze_qvm_rank_partition_helpers.py`; validate with `cargo xtask test-group rank-partition-helpers`. See the [machine report](qvm-rank-partition-helpers.json).
+
+Thirty swap probes use both aligned swap policies with4..256-byte lengths and self/overlapping/disjoint regions. The independent oracle performs sequential word exchanges, preserving forward-overlap behavior. Forty-eight median probes cover all three-client permutations, four modes and complete ties; the actual returned pointer selects a median comparator value without mutating the array or callback pointer. Comparator5441 now also opts into corrected resumption. These helpers prepare whole partitioned sort recovery; unaligned/byte swaps and arbitrary native comparators remain open.
+
+No original executable/full VM/native world collision or rendering runs. Supplied callback/native responses and fixture domains remain explicit; complete macOS/Linux Rust/Bevy/Solari gameplay remains open.
+
+Comparator migration corrects stop metadata in21 standalone and18 nested ranking observations: the reported PC now follows the actual LEAVE rather than defaulting to5863. Recursive JSON comparison and opcode checks confirm every other value and trace hash is unchanged; Rust report source digests refresh accordingly. Legacy segments without remaining stop targets had used the configured range end.

docs/research/README.md

@@ -951,3 +951,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-787: Audited water-entry dynamic returns and locomotion source consumers](QVM_MOVEMENT_REENTRY.md).
+
+
+[RE-788: Actual aligned sort swaps and dynamic median-of-three helper](QVM_RANK_PARTITION_HELPERS.md).

docs/research/qvm-rank-comparator.json

@@ -38,7 +38,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 148,
         "trace_sha256": "c5b2803dbb723e8356d9da5bf5cb254182ca933da66ea24548acd05d34d2cb22"
@@ -861,7 +861,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 170,
         "trace_sha256": "e9bb717ea6416341ee124c4483bd2dc6b96f05b4257882ae02e768e76d824ce9"
@@ -2476,7 +2476,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 170,
         "trace_sha256": "c40ca3a5fcb0f8093118b59692131aee7d92d92b9274f3080c5360e514c3240e"
@@ -3299,7 +3299,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 148,
         "trace_sha256": "c5b2803dbb723e8356d9da5bf5cb254182ca933da66ea24548acd05d34d2cb22"
@@ -3480,7 +3480,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 148,
         "trace_sha256": "c5b2803dbb723e8356d9da5bf5cb254182ca933da66ea24548acd05d34d2cb22"
@@ -3661,7 +3661,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 148,
         "trace_sha256": "c5b2803dbb723e8356d9da5bf5cb254182ca933da66ea24548acd05d34d2cb22"
@@ -3842,7 +3842,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 148,
         "trace_sha256": "c5b2803dbb723e8356d9da5bf5cb254182ca933da66ea24548acd05d34d2cb22"
@@ -3903,7 +3903,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 170,
         "trace_sha256": "e9bb717ea6416341ee124c4483bd2dc6b96f05b4257882ae02e768e76d824ce9"
@@ -4084,7 +4084,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 170,
         "trace_sha256": "e9bb717ea6416341ee124c4483bd2dc6b96f05b4257882ae02e768e76d824ce9"
@@ -4265,7 +4265,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 170,
         "trace_sha256": "e9bb717ea6416341ee124c4483bd2dc6b96f05b4257882ae02e768e76d824ce9"
@@ -4446,7 +4446,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 170,
         "trace_sha256": "e9bb717ea6416341ee124c4483bd2dc6b96f05b4257882ae02e768e76d824ce9"
@@ -4987,7 +4987,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 170,
         "trace_sha256": "c40ca3a5fcb0f8093118b59692131aee7d92d92b9274f3080c5360e514c3240e"
@@ -5168,7 +5168,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 170,
         "trace_sha256": "c40ca3a5fcb0f8093118b59692131aee7d92d92b9274f3080c5360e514c3240e"
@@ -5349,7 +5349,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 170,
         "trace_sha256": "c40ca3a5fcb0f8093118b59692131aee7d92d92b9274f3080c5360e514c3240e"
@@ -5530,7 +5530,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 170,
         "trace_sha256": "c40ca3a5fcb0f8093118b59692131aee7d92d92b9274f3080c5360e514c3240e"
@@ -5671,7 +5671,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 148,
         "trace_sha256": "c5b2803dbb723e8356d9da5bf5cb254182ca933da66ea24548acd05d34d2cb22"
@@ -5722,7 +5722,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 148,
         "trace_sha256": "c5b2803dbb723e8356d9da5bf5cb254182ca933da66ea24548acd05d34d2cb22"
@@ -5853,7 +5853,7 @@
           }
         ],
         "return": 1,
-        "stop": 5863,
+        "stop": 5858,
         "trace": null,
         "trace_length": 170,
         "trace_sha256": "e8e910b1529f5d1a4d60d2df1a15d9022601021a4fefdebd1ad49edb547b659f"
@@ -5904,7 +5904,7 @@
           }
         ],
         "return": -1,
-        "stop": 5863,
+        "stop": 5843,
         "trace": null,
         "trace_length": 159,
         "trace_sha256": "fa43856637143c0d299db43f55867c38fea4454e3d35cf00d941e53c2bc257d6"
@@ -6155,7 +6155,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 170,
         "trace_sha256": "c40ca3a5fcb0f8093118b59692131aee7d92d92b9274f3080c5360e514c3240e"
@@ -6206,7 +6206,7 @@
           }
         ],
         "return": 0,
-        "stop": 5863,
+        "stop": 5862,
         "trace": null,
         "trace_length": 170,
         "trace_sha256": "c40ca3a5fcb0f8093118b59692131aee7d92d92b9274f3080c5360e514c3240e"

docs/research/qvm-ranking-complete.json

@@ -6738,7 +6738,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 148,
                       "trace_sha256": "c5b2803dbb723e8356d9da5bf5cb254182ca933da66ea24548acd05d34d2cb22"
@@ -6809,7 +6809,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 148,
                       "trace_sha256": "c5b2803dbb723e8356d9da5bf5cb254182ca933da66ea24548acd05d34d2cb22"
@@ -6860,7 +6860,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 148,
                       "trace_sha256": "c5b2803dbb723e8356d9da5bf5cb254182ca933da66ea24548acd05d34d2cb22"
@@ -7264,7 +7264,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 148,
                       "trace_sha256": "c5b2803dbb723e8356d9da5bf5cb254182ca933da66ea24548acd05d34d2cb22"
@@ -7335,7 +7335,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 148,
                       "trace_sha256": "c5b2803dbb723e8356d9da5bf5cb254182ca933da66ea24548acd05d34d2cb22"
@@ -7386,7 +7386,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 148,
                       "trace_sha256": "c5b2803dbb723e8356d9da5bf5cb254182ca933da66ea24548acd05d34d2cb22"
@@ -8402,7 +8402,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 170,
                       "trace_sha256": "e9bb717ea6416341ee124c4483bd2dc6b96f05b4257882ae02e768e76d824ce9"
@@ -8473,7 +8473,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 170,
                       "trace_sha256": "e9bb717ea6416341ee124c4483bd2dc6b96f05b4257882ae02e768e76d824ce9"
@@ -8524,7 +8524,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 170,
                       "trace_sha256": "e9bb717ea6416341ee124c4483bd2dc6b96f05b4257882ae02e768e76d824ce9"
@@ -8928,7 +8928,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 170,
                       "trace_sha256": "e9bb717ea6416341ee124c4483bd2dc6b96f05b4257882ae02e768e76d824ce9"
@@ -8999,7 +8999,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 170,
                       "trace_sha256": "e9bb717ea6416341ee124c4483bd2dc6b96f05b4257882ae02e768e76d824ce9"
@@ -9050,7 +9050,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 170,
                       "trace_sha256": "e9bb717ea6416341ee124c4483bd2dc6b96f05b4257882ae02e768e76d824ce9"
@@ -11488,7 +11488,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 170,
                       "trace_sha256": "c40ca3a5fcb0f8093118b59692131aee7d92d92b9274f3080c5360e514c3240e"
@@ -11559,7 +11559,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 170,
                       "trace_sha256": "c40ca3a5fcb0f8093118b59692131aee7d92d92b9274f3080c5360e514c3240e"
@@ -11610,7 +11610,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 170,
                       "trace_sha256": "c40ca3a5fcb0f8093118b59692131aee7d92d92b9274f3080c5360e514c3240e"
@@ -12014,7 +12014,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 170,
                       "trace_sha256": "c40ca3a5fcb0f8093118b59692131aee7d92d92b9274f3080c5360e514c3240e"
@@ -12085,7 +12085,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 170,
                       "trace_sha256": "c40ca3a5fcb0f8093118b59692131aee7d92d92b9274f3080c5360e514c3240e"
@@ -12136,7 +12136,7 @@
                         }
                       ],
                       "return": 0,
-                      "stop": 5863,
+                      "stop": 5862,
                       "trace": null,
                       "trace_length": 170,
                       "trace_sha256": "c40ca3a5fcb0f8093118b59692131aee7d92d92b9274f3080c5360e514c3240e"

docs/research/qvm-resumer-audit.json

@@ -8416,7 +8416,78 @@
         5863
       ],
       "path": "scripts/qvm_rank_compare_support.py",
-      "repeated_calls_opt_in": false
+      "repeated_calls_opt_in": true
+    },
+    {
+      "backward_conditional_branches": [
+        34897,
+        34961
+      ],
+      "calls": [],
+      "explicit_result_offsets": null,
+      "helper": "qvm_trace_support.resume",
+      "line": 11,
+      "literal_range": [
+        34830,
+        34962
+      ],
+      "path": "scripts/qvm_rank_partition_support.py",
+      "repeated_calls_opt_in": true
+    },
+    {
+      "backward_conditional_branches": [],
+      "calls": [
+        {
+          "dynamic_store_requires_review": true,
+          "implicit_local_offset": 76,
+          "instruction": 34974,
+          "stores_result": true,
+          "target": "dynamic"
+        },
+        {
+          "dynamic_store_requires_review": true,
+          "implicit_local_offset": 76,
+          "instruction": 34989,
+          "stores_result": true,
+          "target": "dynamic"
+        },
+        {
+          "dynamic_store_requires_review": true,
+          "implicit_local_offset": 76,
+          "instruction": 35010,
+          "stores_result": true,
+          "target": "dynamic"
+        },
+        {
+          "dynamic_store_requires_review": true,
+          "implicit_local_offset": 76,
+          "instruction": 35045,
+          "stores_result": true,
+          "target": "dynamic"
+        },
+        {
+          "dynamic_store_requires_review": true,
+          "implicit_local_offset": 76,
+          "instruction": 35066,
+          "stores_result": true,
+          "target": "dynamic"
+        }
+      ],
+      "explicit_result_offsets": {
+        "34974": 36,
+        "34989": 40,
+        "35010": 44,
+        "35045": 48,
+        "35066": 52
+      },
+      "helper": "qvm_trace_support.resume",
+      "line": 17,
+      "literal_range": [
+        34965,
+        35093
+      ],
+      "path": "scripts/qvm_rank_partition_support.py",
+      "repeated_calls_opt_in": true
     },
     {
       "backward_conditional_branches": [
@@ -8918,9 +8989,9 @@
     }
   },
   "summary": {
-    "call_expressions": 179,
-    "files": 140,
-    "legacy_expressions": 163,
+    "call_expressions": 181,
+    "files": 141,
+    "legacy_expressions": 162,
     "nonliteral_ranges": 20
   }
 }

docs/research/rust-ranking.json

@@ -6157,7 +6157,7 @@
     }
   ],
   "source_reports": {
-    "docs/research/qvm-rank-comparator.json": "96eb5713165c2fd913536d4429394a3732776172f092a31b80f6d7b1e0fa0896",
-    "docs/research/qvm-ranking-complete.json": "0fda4571ff21629b034b915098c362f8c27a0e94fe3cf2988f35e5786f3508f4"
+    "docs/research/qvm-rank-comparator.json": "ed2f4208592fe2f7fe8865231b389fee6f155f35136cf4221bbd3b7c44ca2ec0",
+    "docs/research/qvm-ranking-complete.json": "a640e560117e3e896182d9eea35c39c51e08d0d4741fb9c328df2820ffdcc5e6"
   }
 }

scripts/analyze_qvm_rank_partition_helpers.py

@@ -0,0 +1,20 @@
+#!/usr/bin/env python3
+"""Source word/block swaps and dynamic median-of-three ranking callbacks."""
+import itertools
+from pathlib import Path
+from qvm_research_support import source
+from qvm_rank_compare_support import seed,PTR
+from qvm_rank_partition_support import swap,median
+from analyze_qvm import write_json
+
+def main():
+    q,raw,h,ins=source();swaps=[];medians=[]
+    initial=[(j*0x1234567+0x80000000)&0xffffffff for j in range(160)]
+    for kind,size,gap in itertools.product([0,1],[4,8,16,64,256],[0,1,80]):
+        m={PTR+4*j:v for j,v in enumerate(initial)};m.update({PTR-4:17,PTR+640:23});m,_,p=swap(ins,m,{8:PTR,12:PTR+4*gap,16:size,20:kind});swaps.append({'kind':kind,'bytes':size,'gap_words':gap,'initial':initial,'final':[m[PTR+4*j]&0xffffffff for j in range(160)],'guards':[m[PTR-4],m[PTR+640]],'execution':p['execution']})
+    for mode,ties,order in itertools.product([0,3,9,11],[False,True],itertools.permutations(range(3))):
+        clients=[{'248':(0 if ties else j),'280':0,'3032':0,'308':(0 if ties else j+1),'696':(0 if ties else j)} for j in range(3)];m=seed(mode,clients)
+        for j,v in enumerate(order):m[PTR+4*j]=v
+        m,result,p=median(ins,m,{8:PTR,12:PTR+4,16:PTR+8,20:5441});medians.append({'mode':mode,'ties':ties,'clients':clients,'order':list(order),'final_order':[m[PTR+4*j] for j in range(3)],'chosen_slot':(result-PTR)//4,'chosen_client':m[result],'callback_after':p['callback_after'],'execution':p['execution']})
+    write_json(Path('docs/research/qvm-rank-partition-helpers.json'),{'source':q['source'],'sha256':q['sha256'],'swaps':swaps,'medians':medians,'limits':'Actual34829 aligned word branch, positive4..256-byte lengths, including self/forward overlap; byte/unaligned branch excluded. Actual34964 with all five explicit dynamic return offsets and actual5441/33715. Complete helper bodies to return boundary; no whole sort/native/runtime parity yet.'})
+if __name__=='__main__':main()

scripts/qvm_rank_compare_support.py

@@ -15,4 +15,4 @@ def seed(mode,clients):
     return m
 
 def compare(ins,m,args):
-    m[K+52]=args[8];m[K+56]=args[12];m,e=resume(ins,5442,5863,m,K,handlers={33715:predicate});return m,e['return'],e
+    m[K+52]=args[8];m[K+56]=args[12];m,e=resume(ins,5442,5863,m,K,handlers={33715:predicate},repeated_calls=True);return m,e['return'],e

scripts/qvm_rank_partition_support.py

@@ -0,0 +1,18 @@
+"""Actual34829 aligned word swap and34964 median-of-three comparator helper."""
+from qvm_health_effects_support import H
+from qvm_rank_compare_support import compare
+from qvm_trace_support import resume
+SW=H+0x180000
+MED=SW+0x1000
+
+def swap(ins,m,args):
+    if args[8]%4 or args[12]%4 or args[16] not in range(4,257,4) or args[20] not in [0,1]:raise ValueError('unsupported aligned rank swap domain')
+    for o,v in args.items():m[SW+32+o]=v
+    m,e=resume(ins,34830,34962,m,SW,repeated_calls=True)
+    return m,0,{'arguments':args,'execution':e}
+
+def median(ins,m,args):
+    if args[20]!=5441 or any(args[o]%4 for o in [8,12,16]):raise ValueError('unsupported rank median domain')
+    for o,v in args.items():m[MED+56+o]=v
+    m,e=resume(ins,34965,35093,m,MED,handlers={5441:compare},result_offsets={34974:36,34989:40,35010:44,35045:48,35066:52},repeated_calls=True)
+    return m,e['return'],{'arguments':args,'pointer':e['return'],'callback_after':m[MED+76],'execution':e}

scripts/test_qvm_rank_partition_helpers.py

@@ -0,0 +1,22 @@
+import functools,json,unittest
+from pathlib import Path
+from test_qvm_rank_comparator import compare
+from qvm_rank_partition_support import swap,median
+class PartitionHelperTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.r=json.loads(Path('docs/research/qvm-rank-partition-helpers.json').read_text())
+    def test_sequential_word_swaps_overlap_self_and_guards(self):
+        self.assertEqual(len(self.r['swaps']),30)
+        for p in self.r['swaps']:
+            out=list(p['initial']);gap=p['gap_words']
+            for j in range(p['bytes']//4):out[j],out[gap+j]=out[gap+j],out[j]
+            self.assertEqual(p['final'],out);self.assertEqual(p['guards'],[17,23]);self.assertEqual(p['execution']['stop'],34962)
+    def test_median_value_pointer_callback_and_no_array_mutation(self):
+        self.assertEqual(len(self.r['medians']),48)
+        for p in self.r['medians']:
+            cmp=lambda a,b:compare(p['mode'],p['clients'][a],p['clients'][b]);middle=sorted(p['order'],key=functools.cmp_to_key(cmp))[1];self.assertEqual(cmp(p['chosen_client'],middle),0);self.assertIn(p['chosen_slot'],range(3));self.assertEqual(p['chosen_client'],p['order'][p['chosen_slot']]);self.assertEqual(p['final_order'],p['order']);self.assertEqual(p['callback_after'],5441);self.assertTrue(all(c['target']==5441 for c in p['execution']['calls']))
+    def test_unsupported_domains_fail_before_execution(self):
+        for args in [{8:4,12:8,16:0,20:0},{8:5,12:8,16:4,20:0},{8:4,12:8,16:4,20:2}]:
+            with self.assertRaisesRegex(ValueError,'unsupported aligned'):swap([],{},args)
+        with self.assertRaisesRegex(ValueError,'unsupported rank median'):median([],{},{8:4,12:8,16:12,20:17})
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -1761,3 +1761,9 @@ report	scripts/analyze_qvm_movement_reentry.py	docs/research/qvm-movement-reentr
 edge	docs/research/qvm-movement-reentry.json	scripts/test_qvm_movement_reentry.py
 edge	scripts/analyze_qvm_movement_reentry.py	scripts/analyze_qvm_resumer_audit.py
 group	movement-reentry	scripts/analyze_qvm_movement_reentry.py
+
+group	rank-partition-helpers	scripts/qvm_rank_compare_support.py
+report	scripts/analyze_qvm_rank_partition_helpers.py	docs/research/qvm-rank-partition-helpers.json
+edge	docs/research/qvm-rank-partition-helpers.json	scripts/test_qvm_rank_partition_helpers.py
+edge	scripts/analyze_qvm_rank_partition_helpers.py	scripts/analyze_qvm_resumer_audit.py
+group	rank-partition-helpers	scripts/analyze_qvm_rank_partition_helpers.py