Skip to content

Add reversible native ports and swap-sector completion for the complex prefix - #4743

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
Dugongue:research/native-frontier-20261022f
Oct 22, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
Dugongue:research/native-frontier-20261022f

Conversation

@Dugongue

Copy link
Copy Markdown
Contributor

The repaired complex two-call prefix now has a literal interface on two arbitrary independent input banks, an explicit two-call reverse, and condition number at most 16 at every positive tensor width. A third-call lift exposes its exact target-bearing residual; on either specified swap sector, a free subtraction and phase-correct Pauli correction produce the canonical rank-three target.

This is a scoped positive construction toward the block-3 supplier problem. No improved κ, complete five-input/fourteen-call unit, or complete multiplication theorem is claimed. The off-diagonal term is dependent information, and both independent diagonal channels remain explicit. Paid calls, O(N) native passes, workspace restoration and the bounded-word precision contract are stated. The optional inverse coupling with denominator 15 is not used by the two-/three-call schedules.

Only research/complex-prefix-native-ports is added. Canonical main remains b58ad9e, priority revision 7; the selected frontier is unchanged. Recent PR bodies were refreshed through #4740. Discussion refresh was rate-limited and local note coverage was sparse, so worldwide novelty is not claimed.

Validation: the registered package passes ordinary and optimized Python 3.12 replay. Five offline checks cover exact block/inverse/sector identities, 60 independent width-1/2 vector identities, 12 dirty-baseline controls, 3 phase-sensitive coupling checks, 149,792 native address/phase entries and the exact finite geometry census. Committed-byte preflight, Git-free exported replay and rejecting corruption checks pass. No hosted Linux CI, Lean, full selected-supplier replay or independent human review is claimed. Full source-history preflight was unavailable in the shallow local checkout.

Credit Yiyang (@Lyy-iiis), #4710, for the phase repair and separately tensorized residual identity; lee-phys, #4688, for the original two-image prefix and rank engine; Jacob Alan Sussman, #4628, for the complex small-block engine problem and hook framework; and the retained predecessor lineage. Exact source hashes, unchanged source files and notices are included. Prepared for Dugongue with substantial OpenAI Codex assistance from four workers, including separate agent review.

Reproduce:

python3 -B scripts/research_package.py --package research/complex-prefix-native-ports

Open next questions and exact remaining controller/precision obligations are in README.md and TASK.json.

@Mister-Meeseeks
Mister-Meeseeks merged commit f8de75f into CrocSwap:main Oct 22, 2026
2 checks passed
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