Skip to content

Audit paired idle-axis transfers across T740 ports - #3196

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
Gonzalo-Mier:research/idle-star-paired-axis-census
Oct 17, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
Gonzalo-Mier:research/idle-star-paired-axis-census

Conversation

@Gonzalo-Mier

Copy link
Copy Markdown
Contributor

PR #3187 gives an exact physical-operator counterexample to the first committed rank-changing move in #3184. This package tests the closest two-channel symmetry repair on the authenticated T740 allocation: move the same residual axis on both streams of child pair (8,10) to both streams of pair (12,13), or in reverse.

The source-bound replay checks all 112 port recipes for owner replica zero. It finds 2,688 eligible forward and 2,688 eligible reverse transfers (24 of each per port); every candidate changes the exact eight-stream Gaussian-integer matrix at the moved axis character. Eligible moved axes are pairwise orthogonal, so the same witness isolates each move in any simultaneous nonempty set from this restricted class. The registered Python 3.12 package replay passes and retains the complete before/after matrix for a port-0 witness.

This is a scoped negative result. It does not cover matched swaps that remove a nonorthogonal destination axis, longer cycles, other child/time pairs, nonzero replicas, or all operator-preserving assignments. It claims no new kappa and does not change the selected frontier. Source attribution and the PR3133 notice are retained in the package.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants