Repository navigation
research: actual native f=1 phase fusion avoids 1024 writes - #4049
Merged
Mister-Meeseeks merged 1 commit intoOct 20, 2026
Merged
Mister-Meeseeks merged 1 commit into
Mister-Meeseeks merged 1 commit into
Conversation
…hared-consumer baseline
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
At PR #3945's actual lender333 boundary, a lazy signed-affine warp can feed the three immediate consumers and compose into the next rank-one child's right monomial. This package proves the same four arbitrary caller-array outputs while avoiding 1024 real writes against a materialized comparator that already shares source loads and phase negations. Reads and negations do not improve against that stronger comparator. Recursive child count and owner width are unchanged.
The source-bound construction retains affine translation 458 and global i³, and applies PR #4002's phase compensation to the actual entrance/exit/successor canonical frames. It is a finite f=1 implementation comparison: routing setup, address/control arithmetic and the native general-f tariff remain outside the claimed runtime vector. No complete total-cost, latency, supplier-admission or κ claim is made.
Verification covers all 2048 complex basis columns of the four-array map across three implementations; 512-column independent source warp and successor-child checks; 512 columns for each actual compensated frame; two dense dirty inverse-return witnesses; eight semantic rejection controls; and a constructive eight-word private scratch schedule with explicit entry/return clears. Standard-library registered normal and optimized Python both pass. The source lowering compiler is retained only for optional generation; verification uses the credited PR #3987 sparse evaluator and a separate new dense circuit implementation.
The package is isolated under
research/staged544-paid-native-fusion/. Historical base, original card, exact source bytes and replay commands are pinned. Open next questions identify the general-f, paid-setup and whole-supplier replay obligations.Credit: ToikY/PR #4002 for phase tags; PR #3987 for signed recipes and independent sparse evaluation; Dugongue/PR #3945 for the native words and source compiler lineage, with the complete retained notices for dataisfire, CinnaDavis, Tekalign, icekylinx, DreamingOfClouds, Sagar Thakrar, roger-sato, ArhamTahir and earlier authors. New work by Chris R / Clear1nsight with substantial OpenAI Codex assistance. Same-session AI adversarial review prompted the stronger comparator and narrower write-only result; no independent human or proof-kernel review is claimed.
Frozen publication: exact head
4406317ff99ddef1d3c69ce42eef0c6bbddf64c4, one canonical-main 20ec parent,25 added files. Committed-byte/source-history, official export/integrity and read-only Git-free normal/optimized replay pass, with 26 export files unchanged. Root independently matched all 325324 public bytes. Hosted CI is a separate status. The investigation takes PR4002’s paid-boundary handoff; selected frontier unchanged.