Tooling: pack cyclic routing states with identical exhaustive receipts

certificates/cyclic-topology-audit.json

@@ -2237,7 +2237,7 @@
   "full_improved_frame_certificate_supplied": false,
   "source_sha256": {
     "docs/research/cyclic-topology-audit.md": "156f3bc880738b1a6d378fd5d1d97297fd1ae457eb71160690ccb1cc1f42fc4c",
-    "scripts/audit_cyclic_topology.py": "b20ece2cf1337e1808e35b602a0120c6aedaf602fa2315560726a149e9838c29",
+    "scripts/audit_cyclic_topology.py": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
     "scripts/finite_bit_contract.py": "3cff26a332cb6056f656b824e3a523fb8937d15206ddcc4118b911ac8df1b2a7"
   },
   "status": "GENERAL EXACT VERIFIER; ROUTING OBSTRUCTION; NO NEW KAPPA",

research/cyclic-routing-performance/EXPLORATION.json

@@ -0,0 +1,39 @@
+{
+  "first_packed_full_audit_seconds": 2.6276306999989174,
+  "profiled_candidates": [
+    {
+      "hypothesis": "Pack the joint scalar/routing state injectively to reduce hashing, sorting and memory costs while preserving all frontier digests",
+      "object": "audit_cyclic_topology.routing_state_search",
+      "profiled_complete_audit_seconds": 5.670541600000433,
+      "selected": true
+    },
+    {
+      "hypothesis": "Batch exact finite-field scalar updates",
+      "object": "experiments.prime_core.inspect_prime",
+      "profiled_small_compiler_control_seconds": 0.2965042000014364,
+      "reason": "Small control is cheap; larger end-to-end contribution would require a wider scalar replay scope",
+      "selected": false
+    },
+    {
+      "hypothesis": "Reuse feature evaluations while preserving every explicit factor and orthogonality row",
+      "object": "experiments.signed_sparse_core.expand_factor",
+      "profiled_complete_audit_seconds": 0.5094451000004483,
+      "reason": "Complete historical audit is already cheap; frame validation, rather than factor expansion, dominates",
+      "selected": false
+    }
+  ],
+  "scope": "Exploratory timings; not the paired benchmark claim. Each full receipt agreed after restoring the original checker-source hash.",
+  "unprofiled_full_audit_order": [
+    "before",
+    "after",
+    "after",
+    "before"
+  ],
+  "unprofiled_full_audit_seconds": [
+    3.5537824999992154,
+    2.3603010999995604,
+    2.465378899998541,
+    3.586035799999081
+  ],
+  "warning": "The initial three-candidate cProfile probe and four unprofiled in-process audit timings do not have identical instrumentation. They are disclosed separately and excluded from RESULT.json medians."
+}

research/cyclic-routing-performance/INITIAL-RESULT.json

@@ -0,0 +1,225 @@
+{
+  "benchmark_sha256": "454e4479e3ebc8954de3ee98167e7fa1261b67225513d2615aea1bff98d6e1e1",
+  "git": "git version 2.49.0.windows.1",
+  "logical_cpus": 16,
+  "machine": "AMD64",
+  "measured_utc": "2026-10-13T05:38:05.691497+00:00",
+  "medians": {
+    "after": {
+      "audit_cpu_seconds": 2.390625,
+      "audit_wall_seconds": 2.400476799999524,
+      "process_wall_seconds": 2.6701709999997547
+    },
+    "before": {
+      "audit_cpu_seconds": 3.390625,
+      "audit_wall_seconds": 3.3898141000008764,
+      "process_wall_seconds": 3.6527166000014404
+    }
+  },
+  "pins": {
+    "base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
+    "base_sha256": {
+      "certificates/cyclic-topology-audit.json": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "scripts/audit_cyclic_topology.py": "b20ece2cf1337e1808e35b602a0120c6aedaf602fa2315560726a149e9838c29"
+    },
+    "dependencies_sha256": {
+      "SOURCES.json": "e4e785a201a8345e871abf6753ba7a10d57654ac4b62fc007bcdddabe6311441",
+      "certificates/paired-network.json": "3b28a213059130bf683c3c70c57e083d90d2ffb0a401b8a50332b98b9ebb303f",
+      "docs/research/cyclic-topology-audit.md": "156f3bc880738b1a6d378fd5d1d97297fd1ae457eb71160690ccb1cc1f42fc4c",
+      "scripts/audit_cancellation.py": "508934ee4d9514a5519813603b6192a0d53103b6e30d65b8d53a1a774de244b6",
+      "scripts/audit_fused_block.py": "2afb83ca8e5f193ca8a4c242becf267ad1d9dc2578ba238b820e98d5185f6288",
+      "scripts/audit_joint_frames.py": "3df8061392ce0ba42bbde8c02f2a30c8141145e70e9a48c18da73d3aafb14423",
+      "scripts/certify.py": "2348d95008276c5d5764f7e028c3918e484582cd589bd4d9b82919161745e53e",
+      "scripts/exclusion_circuit.py": "b253f9d7318becda1c1f3b24e2287ed44a9c27fcea00cf9d531afb950d0457a0",
+      "scripts/finite_bit_contract.py": "3cff26a332cb6056f656b824e3a523fb8937d15206ddcc4118b911ac8df1b2a7",
+      "scripts/paired_exclusion_circuit.py": "8f05f04cf06217befd6d0ee0f2d7d0c5c5eb32cfab8c9a8ca7917fd6d620b7d2",
+      "scripts/paired_network.py": "991223dc3c1374284c361ed017e42bf732dd971fa0bea2be2282cfb18257b3f7",
+      "scripts/prepare_layers.py": "a6e2adc612f264b1c0e51d18ce6315de9ae5e2ae2420aa22e99a22d8bf304947",
+      "scripts/search_network.py": "3a4faa5037d9b8e7ca5828afac193a96b6966a8b114f14937921795b24ec4f6a",
+      "scripts/shared_point_circuit.py": "c9bb7a5df92d260a4e3ad532b53e26936730d7c93f7facfb0784957c1e81c8ba",
+      "scripts/shared_point_network.py": "a85e7f0d8c42d6a27e3846308571ca324a1824ac5c2d59e4daa5c7673c33c697"
+    }
+  },
+  "platform": "Windows-10-10.0.19045-SP0",
+  "process_wall_speedup": 1.3679710400576501,
+  "processor": "Intel64 Family 6 Model 165 Stepping 2, GenuineIntel",
+  "python": "3.12.14 (main, Aug 25 2026, 14:01:42) [MSC v.1944 64 bit (AMD64)]",
+  "samples": [
+    {
+      "audit_cpu_seconds": 4.125,
+      "audit_wall_seconds": 4.156492000000071,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "before",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "pair": 0,
+      "process_wall_seconds": 4.514300200000434,
+      "python_allocation_peak_bytes": null,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    },
+    {
+      "audit_cpu_seconds": 2.734375,
+      "audit_wall_seconds": 2.775571600001058,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "after",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "pair": 0,
+      "process_wall_seconds": 3.11106110000037,
+      "python_allocation_peak_bytes": null,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    },
+    {
+      "audit_cpu_seconds": 2.390625,
+      "audit_wall_seconds": 2.400476799999524,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "after",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "pair": 1,
+      "process_wall_seconds": 2.66143430000011,
+      "python_allocation_peak_bytes": null,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    },
+    {
+      "audit_cpu_seconds": 3.34375,
+      "audit_wall_seconds": 3.344761100001051,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "before",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "pair": 1,
+      "process_wall_seconds": 3.609574399999474,
+      "python_allocation_peak_bytes": null,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    },
+    {
+      "audit_cpu_seconds": 3.5,
+      "audit_wall_seconds": 3.508494100000462,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "before",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "pair": 2,
+      "process_wall_seconds": 3.7851694999990286,
+      "python_allocation_peak_bytes": null,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    },
+    {
+      "audit_cpu_seconds": 2.34375,
+      "audit_wall_seconds": 2.350519199999326,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "after",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "pair": 2,
+      "process_wall_seconds": 2.6183595999991667,
+      "python_allocation_peak_bytes": null,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    },
+    {
+      "audit_cpu_seconds": 2.40625,
+      "audit_wall_seconds": 2.422878800000035,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "after",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "pair": 3,
+      "process_wall_seconds": 2.6865809000009904,
+      "python_allocation_peak_bytes": null,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    },
+    {
+      "audit_cpu_seconds": 3.4375,
+      "audit_wall_seconds": 3.436644699999306,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "before",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "pair": 3,
+      "process_wall_seconds": 3.7164467000002332,
+      "python_allocation_peak_bytes": null,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    },
+    {
+      "audit_cpu_seconds": 3.359375,
+      "audit_wall_seconds": 3.373357299999043,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "before",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "pair": 4,
+      "process_wall_seconds": 3.6425360000012006,
+      "python_allocation_peak_bytes": null,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    },
+    {
+      "audit_cpu_seconds": 2.390625,
+      "audit_wall_seconds": 2.3948206999994,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "after",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "pair": 4,
+      "process_wall_seconds": 2.6701709999997547,
+      "python_allocation_peak_bytes": null,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    },
+    {
+      "audit_cpu_seconds": 2.421875,
+      "audit_wall_seconds": 2.4221502999989752,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "after",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "pair": 5,
+      "process_wall_seconds": 2.692057599999316,
+      "python_allocation_peak_bytes": null,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    },
+    {
+      "audit_cpu_seconds": 3.375,
+      "audit_wall_seconds": 3.379624799999874,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "before",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "pair": 5,
+      "process_wall_seconds": 3.644280600001366,
+      "python_allocation_peak_bytes": null,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    },
+    {
+      "audit_cpu_seconds": 3.390625,
+      "audit_wall_seconds": 3.3898141000008764,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "before",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "pair": 6,
+      "process_wall_seconds": 3.6527166000014404,
+      "python_allocation_peak_bytes": null,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    },
+    {
+      "audit_cpu_seconds": 2.390625,
+      "audit_wall_seconds": 2.3911442999997234,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "after",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "pair": 6,
+      "process_wall_seconds": 2.6545300999987376,
+      "python_allocation_peak_bytes": null,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    }
+  ],
+  "scope": "Complete historical certificate only; no selected-frontier or multiplication runtime claim. Sequential alternating fresh processes; OS caches not flushed. Allocation peaks use tracemalloc in separate untimed processes and are not RSS.",
+  "separate_memory_samples": [
+    {
+      "audit_cpu_seconds": 36.484375,
+      "audit_wall_seconds": 36.59164670000064,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "before",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "python_allocation_peak_bytes": 131099209,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    },
+    {
+      "audit_cpu_seconds": 50.90625,
+      "audit_wall_seconds": 50.99678359999962,
+      "current_source_sha256": "d8f91f6618adef8e080b2f4ee38531de972b1824590cd979c9ae9ce83a84f013",
+      "mode": "after",
+      "normalized_receipt_sha256": "65c8ee98e7d2d032ffb8f6eaa3cc57babe5fa7df129115ae1a83dc1fd2e9d607",
+      "python_allocation_peak_bytes": 80510849,
+      "receipt_sha256": "3eec92964a82e5ecba261face343e845dde0408e7e9c827ea74fe15fea7e8be8"
+    }
+  ],
+  "status": "PASS_IDENTICAL_COMPLETE_ROUTING_RECEIPTS"
+}