Repository navigation
Reduce prepared P104 joint repair from 3N to 2N native calls - #4001
Open
Clear1nsight wants to merge 1 commit into
Open
Clear1nsight wants to merge 1 commit into
Clear1nsight wants to merge 1 commit into
Conversation
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.
This refines the explicitly prepared physical cut in #3978. Complete the persistent Y bank into the common full chart once, execute all three scalar layers there, and restore its terminal chart once. The new word has 21632 positive rank-one native children versus 32448, with zero private copies or temporary arrays. It implements the same ordered physical operator, original input tags and arbitrary dirty-helper returns.
The saving is in native child count and private storage. Both routes use 1049152 unit array additions; the new route adds 21632 restoring doubles. Scalar work, basis-permutation passes and inverse-translation passes remain explicit in the primitive invoice. This is not a total-runtime or optimality claim.
Result and limits
For
T=diag(C_Uij),K=T^-1, andC=U(A_r-I) S(I) U(A_c-I), the matched physical correction isdiag(I,K) C diag(I,T). Its chronological implementation uses one in-place T boundary, the complete scalar C word in a common F chart, then one in-place K boundary. Every rank-one recipe retains one general-f native child; the finite f=1 phase checks are not an exponential scalar implementation.This is a new implementation of the same declared prepared cut. An actual chronological P104 producer, opposite native orientation and global interstage alignment remain unproved. The inherited named complete lower bill improves from 2998528 to 2987712, still exceeding capacity 2965248 by 22464. Dependent global construction stops at that failed gate. No selected frontier, supplier admission or kappa changes.
Verification
Exact published head:
2f7847202b324892a70a2207835224b5d04f5aec; base20ecf2891d80b5acf18d980b2164fb44ea7faa90.-O: 28 subprocess runs. Covers typed receipt, duplicate JSON, corrupted/missing canonical sources and predecessor-export corruption.Only
research/p104-full-chart-joint/is added. Python 3.12, standard library only. Frozen #3978 proof/result are copied unchanged with exact upstream head, Git blob and SHA-256 provenance; five canonical executable inputs retain their source pins.Selection and credit
User-assigned changed scope under revision 6
p104-side-correction. Canonical main and a 702-open-PR cache including drafts were refreshed this round; the repository overlap helper and a fresh latest-updated slice were checked. Discussion/closed-diff coverage is bounded. Claim: #3954 (comment) . Parallel raw-full caller, tensor-code and source-tag studies remain separate.Chris R / Clear1nsight owns #3978's original compensator and copied route, following #3954, #3940, #3882 and #3943. Credit Rohan Arun/#1972, Chafik Boukhalfa/#1991, Adam Gall/#1940, 1337isnot1337/#3894, ToikY/#3956/#3966/#3996 and the distinct #3961/#3962/#3965 boundary, coverage and copy audits. Retain Josie Elliston, Sagar Thakrar, Douglas Colkitt, Dominik Scholz and canonical E8/native/Clifford/compiler/caller source lineage. Prepared with substantial OpenAI Codex multi-agent assistance. Apache-2.0.
The next constructive obligation is a named physical producer/consumer boundary that absorbs a conversion while preserving original source identity, arbitrary dirty returns and a complete cost gate; a common chart alone does not erase the source tags.
Reproduce:
python3.12 -B scripts/research_package.py --package research/p104-full-chart-joint. Hosted CI passes at the exact published head: planning, focused replay, all 28 CLI controls and committed-input preservation succeed on CPython 3.12.15.