Independent verification: weighted-stride closures and bilinear dual (no kappa)

research/cyclic-stride-independent/CHECK-LOGS.txt

@@ -0,0 +1,44 @@
+Final normal replay
+PASS_STRIDE_RESOLVENT_AND_DUAL
+{"all_entry_checks": 252730, "exact_cases": 266, "rejected_controls": 16, "rounded_cases": 4256, "rounded_coordinates": 53472}
+
+Optimized replay
+PASS_STRIDE_RESOLVENT_AND_DUAL
+{"all_entry_checks": 252730, "exact_cases": 266, "rejected_controls": 16, "rounded_cases": 4256, "rounded_coordinates": 53472}
+real 11.61
+user 11.53
+sys 0.04
+
+Focused normal tests
+test_asymmetric_closure_example (__main__.FocusedTests) ... ok
+test_corrupted_source_manifest_fails_before_execution (__main__.FocusedTests) ... ok
+test_dual_phase_is_shifted_not_conjugated (__main__.FocusedTests) ... ok
+test_missing_source_commit_fails_closed (__main__.FocusedTests) ... ok
+test_one_singular_cycle_is_rejected (__main__.FocusedTests) ... ok
+test_partition_and_adjacency (__main__.FocusedTests) ... ok
+test_scalar_all_strides (__main__.FocusedTests) ... ok
+test_zero_root_direct_inverse (__main__.FocusedTests) ... ok
+
+----------------------------------------------------------------------
+Ran 8 tests in 0.031s
+
+OK
+
+Focused optimized tests
+test_asymmetric_closure_example (__main__.FocusedTests) ... ok
+test_corrupted_source_manifest_fails_before_execution (__main__.FocusedTests) ... ok
+test_dual_phase_is_shifted_not_conjugated (__main__.FocusedTests) ... ok
+test_missing_source_commit_fails_closed (__main__.FocusedTests) ... ok
+test_one_singular_cycle_is_rejected (__main__.FocusedTests) ... ok
+test_partition_and_adjacency (__main__.FocusedTests) ... ok
+test_scalar_all_strides (__main__.FocusedTests) ... ok
+test_zero_root_direct_inverse (__main__.FocusedTests) ... ok
+
+----------------------------------------------------------------------
+Ran 8 tests in 0.030s
+
+OK
+
+Receipt tamper
+exit=1
+FAIL: complete receipt mismatch

research/cyclic-stride-independent/CLAIM.json

@@ -0,0 +1,33 @@
+{
+  "track": "Independent verification",
+  "seed": 79,
+  "seed_source": "secrets.randbelow(100), OS randomness; drawn once at session start",
+  "base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
+  "source_pr628_commit": "0768f97d06c623b8211e651543c66135796b62bf",
+  "coordination": "No pinned sprint coordination issue found; only open non-PR issue #650 concerns Discussions. Local claim; no reservation issue created.",
+  "candidates": [
+    {
+      "task": "Independent #543 moment endpoint enclosure",
+      "decision": "Not selected: #678 supplies new binomial engine."
+    },
+    {
+      "task": "Independent #621 prime-power resultant identity",
+      "decision": "Not selected: #668 supplies CRT engine and expanded radices."
+    },
+    {
+      "task": "#628 weighted-scan resolvent under non-coprime strides and inverse-transpose boundary indexing",
+      "decision": "Selected: independent cycle-local finite geometric-sum oracle; new multi-cycle and dual obligations, not resultant or dirty-echo duplication."
+    }
+  ],
+  "object": "(W-rho I)^(-1), (Wx)_i=tau_i*x_(i-s mod L); distinct cycle holonomies, signed and zero stride, inner/outer roots, and bilinear inverse transpose",
+  "method": "Exact Fraction-pair arithmetic; cycle-local geometric resolvent checked on all columns against directly constructed dense matrices; compare rounded pinned #628 factor application after cycle permutation, both neighbor directions; explicit failing controls. No paid routing or kappa claim.",
+  "domain": "Lengths 1..12 plus 16,18,21; every stride residue modulo length; seed79 deterministically chooses nonconstant rational-unit phase patterns and RHS values. Inner rho=(1/4,1/8), outer rho=(2,-1/4). Fixed coverage, no search.",
+  "deliverable": "One standalone independent checker, exact deterministic receipt, scope/proof note, source pins and meaningful controls",
+  "finish": "This synchronous contribution session; no scheduled/background continuation.",
+  "claimed_at_utc": "2026-10-13T03:58:48.214990+00:00",
+  "status": "completed and locally verified; independent verification, no kappa claim",
+  "result": "266 exact cases; 252730 matrix-entry checks; 4256 rounded cases; 16 negative controls; 8 focused tests. Separate variable-phase closure and bilinear-dual evidence.",
+  "result_link": "https://github.com/Ambassators/integer-mult-bounds/tree/research/seed79-independent-verification/research/cyclic-stride-independent",
+  "prior_work_clarification": "PR628 already supplies scalar-gauge arbitrary-stride sorting and the direct-sum norm principle; neither is claimed new. This package independently checks varying-phase cycle closures and bilinear duals.",
+  "completed_at_utc": "2026-10-13T04:11:28.282482+00:00"
+}