diff --git a/research/native-kappa-30201655/.gitattributes b/research/native-kappa-30201655/.gitattributes new file mode 100644 index 0000000000..fa1385d99a --- /dev/null +++ b/research/native-kappa-30201655/.gitattributes @@ -0,0 +1 @@ +* -text diff --git a/research/native-kappa-30201655/4535-BRIDGE-PINS.json b/research/native-kappa-30201655/4535-BRIDGE-PINS.json new file mode 100644 index 0000000000..93467db60e --- /dev/null +++ b/research/native-kappa-30201655/4535-BRIDGE-PINS.json @@ -0,0 +1,40 @@ +{ + "files": [ + { + "pr": 4483, + "head": "fb0c208864e6b24e3473318a058aa5b2dbd5764b", + "path": "research/compact-joint-compiler/PROOF.md", + "sha256": "3f337fba12288d3b5e51af9541e2a645f79c8668fabf48b212672285fe6150b4" + }, + { + "pr": 4532, + "head": "644607ba59ebe401ac7ecd627ae7f331f924d1b0", + "path": "research/adaptive-gate-existence/PROOF.md", + "sha256": "340d637feef40f44a808c718207c0fede12cc483e2c979b86c56bb736b9c1ef5" + }, + { + "pr": 4483, + "head": "fb0c208864e6b24e3473318a058aa5b2dbd5764b", + "path": "research/direct-mixed-flow/README.md", + "sha256": "78351e2419eb1ff1d645addd411158b91b381b23a962a91b6deeebeacd5192a8" + }, + { + "pr": 4483, + "head": "fb0c208864e6b24e3473318a058aa5b2dbd5764b", + "path": "research/compact-joint-compiler/arithmetic/PROOF.txt", + "sha256": "273598588316e29a45e3940c6f5070d973b1998fe5b9c582b23bfe87502724cc" + }, + { + "pr": 4535, + "head": "a6d7237f697185e857090e174c23c1cb22c6563c", + "path": "research/critical-root-multiplication/PROOF.md", + "sha256": "870cc213c847175f3717db057539686de638594e8c509b2a2daf8d8e72497102" + }, + { + "pr": 4535, + "head": "a6d7237f697185e857090e174c23c1cb22c6563c", + "path": "research/critical-root-multiplication/RESULT.json", + "sha256": "e830f4cab30e70ab02d2ecca283969bd97f3a6925948b61d0eb15df3be831b14" + } + ] +} diff --git a/research/native-kappa-30201655/BATCHED-INVERSE.md b/research/native-kappa-30201655/BATCHED-INVERSE.md new file mode 100644 index 0000000000..80dfbba996 --- /dev/null +++ b/research/native-kappa-30201655/BATCHED-INVERSE.md @@ -0,0 +1,94 @@ +# Batched native solves for one shared Gaussian band inverse + +Prepared for Dugongue with substantial OpenAI Codex assistance. Apache-2.0. + +This is a constructive sufficient native Word RAM algorithm, with no Turing-machine primitive. It improves the inverse adapter when the retained bandwidth grows. It does not establish a larger complete multiplication κ: in modern outer regimes the bandwidth may already be bounded, and the Fourier-kernel exponent is a separate constraint. + +## Theorem + +Put ω = log₂ 7. Let A be a shared s by s triangular matrix of bandwidth at most h, and let R right-hand sides be supplied. Let H be a power of two with h ≤ H < 2(h+1). Pad s to a multiple of H with independent unit diagonal coordinates. Suppose the absolute row sums of A, of its contiguous H by H diagonal blocks, and of their inverses, as well as ||A⁻¹||∞, are bounded by a known polynomial in n. The input norm means the maximum infinity norm of an INDIVIDUAL right-hand-side column, equivalently the maximum absolute input entry. It is not the induced row-sum norm of the entire R-column matrix; no factor R enters the precision bound. This norm and requested precision have O(log n) bits. Every entry is a supplied bounded-word dyadic number; no matrix or inverse oracle is supplied. + +There is an explicit native algorithm with preparation O(s H²), application + + O(s (R+H) H^(ω−2)), + +and O(s R+s H) stored words, at any requested absolute accuracy 2⁻ᴾ. A sufficiently large fixed constant times log n bits per physical word suffices. For R ≥ H, application is O(s R H^(ω−2)), strictly improving the scalar O(s R H) count when H grows. + +## Constructive organization + +Number diagonal blocks in substitution order. Because the bandwidth is at most H, only the immediately preceding block can couple to a block. Write its equation + + Dᵢ Xᵢ + Eᵢ Xᵢ₋₁ = Bᵢ. + +Prepare Gᵢ ≈ Dᵢ⁻¹ by ordinary triangular substitution on H unit columns. This costs O(H³) per block, or O(s H²) in all. This is an actual bounded-word computation, not an assumed inverse. Partition the right-hand sides into batches of H and pad the final batch with zero columns. In substitution order compute + + Xᵢ = Gᵢ (Bᵢ − Eᵢ Xᵢ₋₁). + +Both products are H by H products. Use Strassen's seven-product recursion, with exact-grid additions/subtractions and signed fixed-point scalar multiplication only at its leaves. Each product costs O(H^ω) word operations. Thus each batch costs O((s/H) H^ω), proving the count. An upper triangular solve uses the reversed row and column ordering. Gathering and scattering cost O(s R). + +No growing-input integer multiplication is hidden: each leaf multiplies two explicitly bounded machine-word magnitudes. Signed values are sign plus magnitude; natural truncated SUB can implement a signed subtraction by comparing magnitudes first. + +## Explicit stability and finite words + +Let u be the fixed-point grid spacing. Set B ≥ 2 to bound H, the row norms of A and its blocks and coupling blocks, the inverse row norms of A and its diagonal blocks, and every right-hand-side norm. All these bounds are polynomial by hypothesis. + +A Strassen multiplication of exact supplied grid matrices has entrywise rounding error at most H²u. To see this, input-side sums are exact. Only scalar leaf products round, each by at most u. Each output quadrant combines at most four child outputs, so the error recurrence is e(H) ≤ 4 e(H/2), with e(1) ≤ u. This proves e(H) ≤ H²u. Input-side magnitudes grow by at most H; product and output recombination magnitudes are at most H⁴ times the square of the maximum input magnitude. They are polynomially bounded. This argument covers negative values and cancellation. + +In preparation, rounded triangular substitution for each inverse column has residual at most (H+M)u in each row, where M bounds the diagonal-block row norm. Each row contains at most H rounded products, and final division contributes at most M u to its equation. Hence the prepared inverse has row-norm error + + εG ≤ H ||D⁻¹||∞ (H+M)u ≤ 2 B³u. + +For u ≤ 1/(12 B⁶), this is below 1, so its row norm is at most B+1. The same residual argument bounds every prepared inverse entry and all its substitution prefixes by a polynomial in B; no repeated-error exponential is assumed. + +For the application, denote the full computed solution norm by x. A block's first matrix-product error is at most B²u. The approximate-inverse error and second product give, after multiplying its equation by Dᵢ, a block residual bounded by + + 6 B⁵u (1+x). + +For completeness, use εG ≤ 2 B³u and B²u ≤ 1 in + + M [ εG (X + Mx + B²u) + (K+1) B²u + B²u ], + +where M,K,X ≤ B. This is at most the displayed bound. The residual is a rowwise equation error, so combining all blocks takes its maximum; it is not multiplied by the number of blocks. If r is the full residual norm, the actual inverse bound gives x ≤ B²+B r. Therefore + + r ≤ 6 B⁵u (1+B²+B r) ≤ 24 B⁷u, + ||Xcomputed − A⁻¹Binput||∞ ≤ 24 B⁸u. + +The assumption 6 B⁶u ≤ 1/2 closes the rearrangement. Taking + + u ≤ min(1/(12 B⁶), 2⁻ᴾ/(24 B⁸)) + +suffices. Only P+O(log B) fractional bits are needed. The computed solution norm is at most 3 B². The explicit Strassen and preparation magnitude bounds require only O(log B) additional integral bits and a fixed number of product limbs. Thus all arithmetic fits one sufficiently large common O(log n)-bit word budget, including raw products and division numerators. No floating-point instruction is assumed. + +## Actual Gaussian inverse caller + +PR #4554 supplies an explicitly formed near-identity periodic Gaussian matrix, its ordinary-band factors and its rank-at-most-2h Woodbury correction. Its proof gives polynomial inverse bounds for both triangular factors: ||L⁻¹||∞ ≤ 8 and ||U⁻¹||∞ ≤ 36(h+1), with uniformly bounded pivots and polynomial factor norms. Contiguous diagonal-block inverses are the corresponding principal blocks of the triangular inverse, so the theorem's hypotheses follow. Factor errors are separately charged by that predecessor's residual estimate. + +For one axis, batch its R parallel fibers rather than solving them individually. Apply the theorem to both ordinary-band triangular factors. The small Woodbury Schur inverse is prepared by the predecessor's explicit elimination and unit-column solves. Its action on batches is another bounded matrix product. The recovery Xz has dimensions s by 2h times 2h by R; split its rows, columns and inner dimension into H-sized blocks. It has the same O(s (R+H) H^(ω−2)) count. All small Schur products are covered because s ≥ H. Every new approximation gets a polynomially smaller local grid budget, preserving O(log n) word precision. + +Preparation remains O(s H²), including the ordinary factors, inverse diagonal blocks and the Woodbury data. For the intended tensor axes, s = n^o(1), the number of fibers is at least H eventually, and this preparation is n^o(1). Across d axes with T total entries, h = O(1+sqrt(p)/α), α² = Θ(d sqrt(p)), and d = Θ(p^ε), the inverse work becomes + + O(T d (1+h)^(ω−2) + n^o(1)). + +For 0 < ε < 1/2, this is + + O(T p^[ε+(ω−2)(1/4−ε/2)] + n^o(1)), + +instead of the previous O(T p^[1/4+ε/2]). The forward chirp cost is unchanged: O(T p^ε log p). Shared exp/root setup is still paid by #4554. For ε ≥ 1/2, h = O(1), so the new batching has no exponent gain; this is why the theorem does not imply a modern best κ by itself. + +## Executable evidence + + python3.12 -I -O -B batched_band.py + +The portable standard-library replay implements bounded signed dyadic arithmetic, all seven Strassen products, explicit inverse-block preparation and batched band substitution. It checks 36 systems and 1,785 individual residual entries against an independent Fraction oracle, including a non-full last batch. All residuals are below 2⁻⁷⁰; 172,305 arithmetic operations were charged, and the largest raw magnitude used 205 bits under a 384-bit cap. A deliberately undersized word fails. The fixture uses real unit-diagonal lower bands; general complex data follow by four real matrix products, and upper solves follow by reversal. These extensions are covered by the proof rather than those fixtures. It is not an emitted RamStd program or a complete asymptotic multiplier replay. + +## Credit, overlap and open next questions + +Strassen's seven-product identity is classical (V. Strassen, Numerische Mathematik 13 (1969), 354–356, DOI 10.1007/BF02165411). Shared band factors, Gaussian tails, explicit conditioning and Woodbury preparation here are predecessor results from Dugongue's PR #4554, with its Harvey–van der Hoeven/OpenAI Gaussian-resampling lineage. Problem 1.8's bounded-word/frame discipline motivates explicit word checks; no fresh Lean verification is claimed. The new contribution is this sufficient batched inverse organization, its residual proof and executable native fixture. We do not claim that batching triangular solves or fast matrix multiplication is historically new. + +The useful next check is whether any admissible complete native outer parameter regime has growing h and is actually limited by this inverse cost. Freeze that caller and compare its full profile before claiming a new κ. A separate task is to replace Strassen by a faster constructive bounded-word matrix algorithm with an equally explicit stability bound; its exponent would enter the same formula. + +## Frozen source bindings and search coverage + +The inspected predecessor NATIVE-BANDED-INVERSE.md has SHA-256 1259b4242ebf6ac7f14bfe72e371afb8dc530b2755d1fd82228d9dc6f01634ba; NATIVE-RECOUNT.md has SHA-256 fc14d31113ef3abd597e654e0aec35ef7972d014268e4b8b7624f202f9ff79db. Both are from the PR #4554 local source package. The primary [Strassen paper](https://link.springer.com/article/10.1007/BF02165411) identifies the classical seven-product exponent; its identity is implemented explicitly here. + +A scoped search of current-main research/ and notes/ found existing Strassen integer-power certificates in the helper/compiler family. Those precedents retain their credit; this package does not claim first use of Strassen in the repository. The new scoped application is the shared Gaussian inverse and its finite-word residual bound. A federated DAG query for Kronecker returned representation-theory results, not an applicable arithmetic convolution theorem. This is limited search evidence, not an exhaustive novelty assertion. Current-main AGENTS.md, autoresearch.md and CONTRIBUTING.md were read before construction; the task was explicitly assigned, so it was not rerolled. diff --git a/research/native-kappa-30201655/CODE-SOURCE-PINS.json b/research/native-kappa-30201655/CODE-SOURCE-PINS.json new file mode 100644 index 0000000000..2db32160b9 --- /dev/null +++ b/research/native-kappa-30201655/CODE-SOURCE-PINS.json @@ -0,0 +1,62 @@ +[ + { + "local_file": "sources/4554-FFT-ERROR.md", + "commit": "4f46c6a9732f63cba411698c743f6b6b681273c9", + "repository_path": "research/native-word-fft/FFT-ERROR.md", + "sha256": "ca426930df5c449ca8ce432360ba3ac80f12377bcd9a058ad16387d8ad87bef5" + }, + { + "local_file": "sources/4554-ROOTS-RECOVERY.md", + "commit": "4f46c6a9732f63cba411698c743f6b6b681273c9", + "repository_path": "research/native-word-fft/ROOTS-RECOVERY.md", + "sha256": "5e115c3ded1734dbcb119c889755a13ce9e9357598ec20a3eb1d3cdd727638f4" + }, + { + "local_file": "sources/4554-NATIVE-STABILITY.md", + "commit": "4f46c6a9732f63cba411698c743f6b6b681273c9", + "repository_path": "research/native-word-fft/NATIVE-STABILITY.md", + "sha256": "260e78bf8f88667a637b804d013d1e7c6dfdf1e23ae35ffdc64a4366c7321221" + }, + { + "local_file": "root_seed.py", + "commit": "4f46c6a9732f63cba411698c743f6b6b681273c9", + "repository_path": "research/native-word-fft/root_seed.py", + "sha256": "9b323f84ade7decfa6152dd4385e90ec43b56087927ac23ad4ef73ae4d5d3042" + }, + { + "local_file": "native_convolution.py", + "commit": "4f46c6a9732f63cba411698c743f6b6b681273c9", + "repository_path": "research/native-word-fft/native_convolution.py", + "sha256": "a62a4cb5a1da458e31c90ea881a1146b59e9fd7ccbf317c1c9836c19bc7fa2c6" + }, + { + "local_file": "phase_tables.py", + "commit": "4f46c6a9732f63cba411698c743f6b6b681273c9", + "repository_path": "research/native-word-fft/phase_tables.py", + "sha256": "4d70323775a8efc3af82eff7ee567482bfa5d14d8c86289fe21c29c0d37422e1" + }, + { + "local_file": "exp_table.py", + "commit": "4f46c6a9732f63cba411698c743f6b6b681273c9", + "repository_path": "research/native-word-fft/exp_table.py", + "sha256": "e617b40d499f423a7861b4483bdacdb7db28232fadf7468efe871adae557fa35" + }, + { + "local_file": "critical_engine.py", + "commit": "a6d7237f697185e857090e174c23c1cb22c6563c", + "repository_path": "research/adaptive-gate-existence/root_application.py", + "sha256": "e656ef12f73a8dd3bdb256eca95a712de1269facb18a652fc4068ba718619b4d" + }, + { + "local_file": "raw-profile.json", + "commit": "f626db5c3a3d781d8f7695038776c621651f75e1", + "repository_path": "research/joint-helper-lattice/RESULT.json", + "sha256": "c7b2388f6511c19976b337d8c8ac374610af616866a249d75dace704eb5d9e21" + }, + { + "local_file": "majorant-benchmarks.json", + "commit": "f626db5c3a3d781d8f7695038776c621651f75e1", + "repository_path": "research/rank-convergence/BENCHMARKS.json", + "sha256": "513efe2fe74af82891c1918e462ba8338b1bbd06403cbfcec284bcf3b4f8f850" + } +] diff --git a/research/native-kappa-30201655/CONTENT-HASHES.json b/research/native-kappa-30201655/CONTENT-HASHES.json new file mode 100644 index 0000000000..58845b1edb --- /dev/null +++ b/research/native-kappa-30201655/CONTENT-HASHES.json @@ -0,0 +1,61 @@ +{ + ".gitattributes": "705fd4d6451a31d36b3df7de96f83f30ac976c9b4a6d1e51671d8e2f33e2d0da", + "4535-BRIDGE-PINS.json": "82b86fbc8a09bb7c72044bdfda1f7b45d694ef47f0bcbb4c4f5b38fc4134f248", + "BATCHED-INVERSE.md": "de76a7585551bedc239ba55d45fb097b97168c8287fe3c50101944af403307d2", + "CODE-SOURCE-PINS.json": "40d160b96402054c7cac05d21e383eda449445eceba2520a2a6a90c17b117c55", + "FINAL-ASSEMBLY-REVIEW-HASHES.json": "c509adf3960ff56441899618a3f3304664c11f635c9eb218574ad0dd941a9ad1", + "FUSED-NATIVE-REVIEW.md": "b9cde61cebab3d1b9e34c7099e4cd52b8ba880cf021f235a9508cd34813fff61", + "LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4", + "MODERN-SOURCE-MAP.json": "cc48b51a9b2ae46cef437e0a56c4e68b613f8c3bd8b03c3386bc6cf4745c6c57", + "NATIVE-ASSEMBLY.md": "a1f200292ea13d72bd64cb91a4daa28261bc220a80fe9c94983f3b9a1dffaa42", + "NATIVE-PROVIDER-4535.md": "242af59962fe466dc0bfe5826bd33da1b9b7d2430a2f8dfceb71e4282ecc410c", + "OFFLINE-SETUP.md": "cb9becabc6102270e93f83dfe808f367771a0f1f4eff729ff01b998fb91f85dc", + "PHASE-CELL-BATCHED.md": "e259f7ccea5c0bdbe2be7cf516eac802d9ee31e2af8509105e51e40e387b9748", + "PROVIDER-INDEPENDENT-REVIEW.md": "ba79234a9a66e5503b5e4a9f4014890802c15cd82094a71a4b73dcb7fb0377dc", + "README.md": "14da3076b3fc6d03cf9e44c2427280486df412c6cb91f235e81e1fd6149e0ba7", + "RECORD-INDEPENDENT-REVIEW.md": "cdb938a63796999ae71a906251cccc40936ae7127727549a174b99e647cd6f48", + "RECORD-PRODUCT.md": "a141fe4ebb35aea44b1f006217841d40f57ca2112df6de6944a8507905e1ec57", + "SOURCES.json": "c7050d7b52c6c262c6172dc1f01e9a249a4d104ca84c1c2bf780fa1cbb080630", + "TASK.json": "6bab26b71de806e15801a6416f7da883380249a52f1c2b41aeb95b9052d0903d", + "VERIFY.json": "c7a2acef526dbc37ff402ffcd0a6c8b7d0950f4ef1902305b5e07df3cdafc6f3", + "batched_band.py": "9268a9cf15e75abe2410baafca262e41c7b6f482d7805de6d7aa1e9dcef40264", + "critical_check.py": "41fa69948c5e20faa7245f441c7487e0a7f89ccaffc778849d80187ba012eb28", + "critical_engine.py": "e656ef12f73a8dd3bdb256eca95a712de1269facb18a652fc4068ba718619b4d", + "exp_table.py": "e617b40d499f423a7861b4483bdacdb7db28232fadf7468efe871adae557fa35", + "limb_setup.py": "953fcf90f371f7f184e8492506ee56aedd017ca98f2227c5d7f0cf7024f0e362", + "majorant-benchmarks.json": "513efe2fe74af82891c1918e462ba8338b1bbd06403cbfcec284bcf3b4f8f850", + "modern-sources/BILATERAL-LDU.md": "0d65e66d227464dda1a19f781ae0a0be671cbfd347c41e37ec954f3d629d8a77", + "modern-sources/CAPPED-INTERIORS.md": "983c5cab2d2398f2192a8aec07daecb655f2de136e12a37f75672a14d27172ba", + "modern-sources/FINE-PADDING-COMPOSITION.md": "331189874c79c2fbfb839838ec8ea61c09a7f0769098af88716ad6e7c54c0b5a", + "modern-sources/FINE-PRIME-PADDING.md": "47d1b1b4df28aadda3cd6bdeb1fbc47290595e9208cd09c1a1f338520d33fdce", + "modern-sources/FIXED-A-PERIODIC-NORM-AUDIT.md": "21027a569588922c491b2c5b4f31e01ddb784f1f20cdf48b7d482d0e85b66bdb", + "modern-sources/FORWARD-SMALL-A-AUDIT.md": "e37aaa30b15671a1dff00676b14572213efaaac99df202dbba5e09f57af487c0", + "modern-sources/GAUGEFREE-INTERIORS.md": "a7fc34302a70f8453f877a6433ffe2776457bf37b5d8bb262afcb6b198a935fc", + "modern-sources/LOG-A-PHASE-SCHUR-AUDIT.md": "e05d6b8596c80b6e8676569a0ff464a29fa704c3304143f58914f47cdf38b272", + "modern-sources/OUTER-AUDIT.md": "94799bfa2794eb867d6ba68593c3e92988ade083e74d895e8d07ae3b8d0670dc", + "modern-sources/PARTIAL-FUSION.md": "811a3a0c88a90708add5b12fb0a05c25623f0af155010d5dcacd56021c55cba5", + "modern-sources/README.md": "4d65ea3c8b6a0d5faef819a58c8b8277681d11bed54686e9a7f78de29736e68e", + "modern-sources/REFINED-PHASE-FUSION.md": "b4367eac012624f803b3d2e3a72339e050a0071bbec37e6d33b2cf322bd70bc5", + "modern-sources/SHALLOW-TOEPLITZ.md": "b384b93f3fb4a8c97da2e617ebc14d55cebb0a739070e7f8dbb66f63e24e9310", + "modern-sources/SUPPLIER-SUPPORT-AUDIT.md": "bd5b06eca043c5c871227264f6a954473c55cd16ec85bb420ff538fb8ec1d8d6", + "modern-sources/TENSOR-COMPILER.md": "4d3b8466598a864a234b978e25976648d4e761840aad9153dd18d73d3dfe4d15", + "native_convolution.py": "a62a4cb5a1da458e31c90ea881a1146b59e9fd7ccbf317c1c9836c19bc7fa2c6", + "native_ledger.py": "cf3ededf5c980e272deb4647bdae76b1132aa1aa164c89af92eb58ac2597f3c2", + "native_metadata.py": "aab42cc2cd3787775274a822186f547708e9713fb2c9bbe0d7340cecd32a4b8b", + "phase_tables.py": "4d70323775a8efc3af82eff7ee567482bfa5d14d8c86289fe21c29c0d37422e1", + "raw-profile.json": "c7b2388f6511c19976b337d8c8ac374610af616866a249d75dace704eb5d9e21", + "record_product.py": "6967feb00fbcb13640504f26c5e20bcea249e1dc89c41713aa8e8f161def873e", + "root_seed.py": "9b323f84ade7decfa6152dd4385e90ec43b56087927ac23ad4ef73ae4d5d3042", + "sources/4535-PROOF.md": "870cc213c847175f3717db057539686de638594e8c509b2a2daf8d8e72497102", + "sources/4535-README.md": "954a905f2b38cf1d0e039b9c2beebcf99a9e6009c2d2fb834e668ca74b911523", + "sources/4535-RESULT.json": "e830f4cab30e70ab02d2ecca283969bd97f3a6925948b61d0eb15df3be831b14", + "sources/4554-FFT-ERROR.md": "ca426930df5c449ca8ce432360ba3ac80f12377bcd9a058ad16387d8ad87bef5", + "sources/4554-NATIVE-STABILITY.md": "260e78bf8f88667a637b804d013d1e7c6dfdf1e23ae35ffdc64a4366c7321221", + "sources/4554-ROOTS-RECOVERY.md": "5e115c3ded1734dbcb119c889755a13ce9e9357598ec20a3eb1d3cdd727638f4", + "sources/PR4483-ARITHMETIC-PROOF.txt": "273598588316e29a45e3940c6f5070d973b1998fe5b9c582b23bfe87502724cc", + "sources/PR4483-DIRECT-MIXED-FLOW.md": "78351e2419eb1ff1d645addd411158b91b381b23a962a91b6deeebeacd5192a8", + "sources/PR4483-SOURCE-PROOF.md": "3f337fba12288d3b5e51af9541e2a645f79c8668fabf48b212672285fe6150b4", + "sources/PR4532-SOURCE-PROOF.md": "340d637feef40f44a808c718207c0fede12cc483e2c979b86c56bb736b9c1ef5", + "sparse_membership.py": "0e6e9bf0ecd890f38ae4268f2384a200b22b06a3ef9b46cd389fdd1a7842fc73", + "verify.py": "1cc2fe8b850d19ea852800fb3cc6b15d89554a6f7bc794db8785462ed4676dbf" +} diff --git a/research/native-kappa-30201655/FINAL-ASSEMBLY-REVIEW-HASHES.json b/research/native-kappa-30201655/FINAL-ASSEMBLY-REVIEW-HASHES.json new file mode 100644 index 0000000000..130d26c81d --- /dev/null +++ b/research/native-kappa-30201655/FINAL-ASSEMBLY-REVIEW-HASHES.json @@ -0,0 +1,45 @@ +{ + "scope": "reviewed source bytes; not proof certificates", + "files": [ + { + "path": "assembly/NATIVE-ASSEMBLY.md", + "sha256": "a1f200292ea13d72bd64cb91a4daa28261bc220a80fe9c94983f3b9a1dffaa42" + }, + { + "path": "provider/NATIVE-PROVIDER-4535.md", + "sha256": "242af59962fe466dc0bfe5826bd33da1b9b7d2430a2f8dfceb71e4282ecc410c" + }, + { + "path": "provider/PR4483-DIRECT-MIXED-FLOW.md", + "sha256": "78351e2419eb1ff1d645addd411158b91b381b23a962a91b6deeebeacd5192a8" + }, + { + "path": "provider/PR4532-SOURCE-PROOF.md", + "sha256": "340d637feef40f44a808c718207c0fede12cc483e2c979b86c56bb736b9c1ef5" + }, + { + "path": "sources/4535-PROOF.md", + "sha256": "870cc213c847175f3717db057539686de638594e8c509b2a2daf8d8e72497102" + }, + { + "path": "analytic/BATCHED-INVERSE.md", + "sha256": "de76a7585551bedc239ba55d45fb097b97168c8287fe3c50101944af403307d2" + }, + { + "path": "analytic/PHASE-CELL-BATCHED.md", + "sha256": "e259f7ccea5c0bdbe2be7cf516eac802d9ee31e2af8509105e51e40e387b9748" + }, + { + "path": "assembly/modern-sources/GAUGEFREE-INTERIORS.md", + "sha256": "a7fc34302a70f8453f877a6433ffe2776457bf37b5d8bb262afcb6b198a935fc" + }, + { + "path": "assembly/modern-sources/FINE-PADDING-COMPOSITION.md", + "sha256": "331189874c79c2fbfb839838ec8ea61c09a7f0769098af88716ad6e7c54c0b5a" + }, + { + "path": "assembly/modern-sources/TENSOR-COMPILER.md", + "sha256": "4d3b8466598a864a234b978e25976648d4e761840aad9153dd18d73d3dfe4d15" + } + ] +} diff --git a/research/native-kappa-30201655/FUSED-NATIVE-REVIEW.md b/research/native-kappa-30201655/FUSED-NATIVE-REVIEW.md new file mode 100644 index 0000000000..56cab0ffca --- /dev/null +++ b/research/native-kappa-30201655/FUSED-NATIVE-REVIEW.md @@ -0,0 +1,65 @@ +# Independent review of the fused native Gaussian route + +Prepared for Dugongue with substantial OpenAI Codex assistance. This is an informal mathematical/code-design review, not a new formal or external human audit. + +## Sources actually read + +Read in full: research/capped-fusion-t74-k554/outer/GAUGEFREE-INTERIORS.md; outer/FINE-PADDING-COMPOSITION.md; outer/UNION-SCHEDULE.md; vendor/pr1673/capped-phase-fusion/SHALLOW-TOEPLITZ.md; and vendor/pr1673/capped-phase-fusion/CAPPED-GAUGE-AUDIT.md. The parameter/boundary alternatives in outer/STRUCTURED-BOUNDARY.md were inspected; its stronger unproved structured-stability premise is not required. Sources are bound to canonical commit f626db5c3a3d781d8f7695038776c621651f75e1. Raw copies were fetched at that exact commit when the partial Git clone could not retrieve missing blobs. Their raw Git object hashes, independently computed from byte lengths and blob headers, equal the commit's tree entries. Git hash-object applies the local CRLF filter to some of these files and is therefore not the raw-byte comparison. + +SHA-256 bindings: + +- FINE-PADDING-COMPOSITION.md: 331189874c79c2fbfb839838ec8ea61c09a7f0769098af88716ad6e7c54c0b5a. +- SHALLOW-TOEPLITZ.md: b384b93f3fb4a8c97da2e617ebc14d55cebb0a739070e7f8dbb66f63e24e9310. +- UNION-SCHEDULE.md: b1e6237655616a9d779f69915eb05a78e001d52150c168588426a5208e3d85a6. + +## Precision finding, and its existing resolution + +The old capped-gauge audit converts absolute full-cell weight error to relative error using exp(a/(4θ)). Its claim that this is absorbed by C p precision uses θ⁻¹ = O(d) and a d = o(p). That argument alone is invalid after fine padding makes θ⁻¹ = Θ(p²). This is not an outstanding gap in the composed route: FINE-PADDING-COMPOSITION explicitly imports PR #1786's setup precision C p + 64 p² ceil(log₂ p). The larger precision is OFFLINE ONLY and must be included explicitly in any native lowering. + +A native implementation computes those setup-only scalars by signed multiword grade-school arithmetic, Machin pi and rational Taylor/series methods at polynomial(p) precision. It costs polynomial(p) per local coefficient, and polynomial(s,p) in total, hence n^o(1) once per axis. It must not claim O(1) bounded-word exp-table queries for these wider setup values. The data circuit applies only locally anchored shifted kernels with O(p)-bit online coefficients; applying the full-cell diagonal to data and hoping it later cancels would be invalid. + +For g = p^β simultaneous axes, fine padding gives chirp guard exponent β+2ξ−2, and the accretive shallow circuit adds g polylog(p) bits. Thus β+2ξ−2 < 1 and β < 1 suffice for O(p) total online precision. The source's offline-only override is essential to this conclusion. + +## Shallow circuit check + +The shifted Gaussian identities are exact expansions. The symbol argument keeps |s| < 1/2, with polynomial lower gap in θ. The Jacobi-product factors interlace, giving argument bounded in absolute value by the first-factor argument, hence an accretive real-part bound. At fine θ⁻¹ = O(p²), both broad and narrow inverse bounds remain polynomial in p. + +The full Toeplitz construction actually supplies a finite circuit on the existing wires, rather than an unspecified fast transform. Its principal-section Schur recursion has logarithmic depth; displacement ranks grow additively; the Stein generator representation follows by finite telescoping; the four-update generator shear restores its source; triangular parity children run in parallel. The resulting circuit has O(log⁴ N) matching rounds and O(N log⁴ N) gates. Coefficient setup uses rational minors and exact independent-column/orthogonalization calculations at polynomial local precision. The prefix/inverse-prefix bounds extend from near-identity to accretive principal sections via their inverse norm and Schur bounds. + +The accretive proof's shear norm may be conservatively bounded using Λ' rather than the original Λ for descendants; both remain polynomial and this changes only fixed constants/guard logarithms. No exponent changes. + +The scalar application of every individual axis would cost T d and would lose the proposed saving. The full theorem must retain the inherited tensor-to-kernel fusion identity and its provider, applying matching rounds on groups of axes. The native Gaussian row is the FUSED tariff, not that scalar fallback. This review validates the cited shallow construction and precision; it does not independently emit a complete fused multiplier program. + +## Native union metadata and wrap gathers + +The union source's O(g) bit scan for an r-th set bit is paid there by a p-bit tape move. One cannot silently reuse that as O(1) Word RAM work. A constructive native replacement is available: the header contains k = O(g log L) = p^β polylog(p) = o(p) bits, where L is the polynomial microbox side. Enumerate all 2^k headers and all r ≤ g during setup, storing their membership masks and r-th-set-bit tags. The work and space are 2^k polynomial(p) = n^o(1); each key and result fits a machine word. Each online visit then computes its tag in O(1) indexed operations. + +For consecutive mixed-radix axis groups, extract the group coordinate by division by its stride followed by reduction modulo its group radix; both fit the declared word. The group local header is then a table key. If a fused circuit uses arbitrary selected binary positions, prepare the full 2^k deposited-submask table. Enumerate complementary masks in increasing order by next = (current−M) AND M, combining each base with every prepared deposited submask. This enumerates each gathered record once, so no per-record k-step extraction is required. The tables are generated explicitly; no PEXT/PDEP or nonuniform advice is assumed. Coarse labels and per-axis factor pages are input-independent local setup. Reuse is paid once per axis/microbox as in the source and amortized by the superpolynomial spectator payload. + +Radix distribution, its reverse, transpose/untranspose, splitting and LIFO restoration use O(1) word instructions per moved bounded-word record. The source's complete-line lemma remains exact: membership flags depend only on the chosen-axis membership and the other coordinates. Total visits equal sum_x |F(x)| ≤ g μ V. Thus the native union cost is O(V g μ polylog p) per group, not O(V g² μ). It is unnecessary to retain the source's tape-head API. Periodic indices are reduced modulo their known line lengths using bounded-word arithmetic; gathers/scatters enumerate the explicit physical selected positions and their inverses, including both endpoint groups. No native sorting oracle is assumed. + +## Capped boundary cost + +Fine cells may have Θ(p²) entries, but capped interiors have length at most B = p^ξ. The boundary density remains O((W/B) polylog p), since cap B < p² and clipped endpoint cells are separately retained. With W = O(sqrt(p/u)), the explicit inverse-block and right-hand-side Strassen batching of BATCHED-INVERSE.md applies to the ordinary factors and the small periodic Woodbury closure. BOTH coupling matrices are evaluated by the same batches. The per-axis cost is O(T W^(ω−1)/B), up to polylogarithms, and summing axes gives O(T d W^(ω−1)/B). + +Since 7^16 < 2^45, take ω < 45/16. With T p = Θ(n), this allows native boundary saving + + c + ξ − ε, c = 3/32. + +The weaker explicit Strassen construction is enough; no unproved near-quadratic structured-boundary stability theorem is required. Periodic correction and both endpoint groups remain charged. All matrix inverse/preparation steps are explicit polynomial local calculations, with setup-only multiword scalars separated from the O(p)-bit data path. + +## Candidate parameter arithmetic + +Let q = 0.0030201656 be an ACTUALLY supplied uniform native kernel exponent, and choose + + δ = 10⁻⁸, ε = 1−δ, β = 1−3δ, r₀ = 10⁻⁹, + ξ = ε(1+q) − 3/32 + 10⁻¹⁰, + κ = 0.0030201655. + +The modern fused rows are main εq; Gaussian 1−ε+qβ; boundary 3/32+ξ−ε; union ξ+1/2−ε. Every one strictly exceeds κ. The main surplus is about 6.98×10⁻¹¹, so it is essential to keep exact rationals and not replace q by a downward display that erases that gap. Membership 1−β−2(1−ε) = δ > 0; γ spare power 1−ε−r₀ = 9×10⁻⁹ > 0; group size ε−β = 2δ > 0; β < 1; cap 1/2 < ξ < ε; and fine chirp guard 1−β−(2ξ−2)−r₀ > 0. Polynomial setup and all polylogarithmic factors can be absorbed into the corresponding strict margins above a finite eventual cutoff. These are asymptotic mathematical bounds, with no practical cutoff or speedup claim. + +This verifies that the fused analytic/native adapter stack has no exponent obstruction at the candidate point. It remains essential that the full submission separately supplies and credits the exact uniform native kernel provider, its all-input operator identity, arbitrary phases, normalization, complete cyclic/convolution embedding and exact recovery. Those are the full assembly worker's obligations, not consequences of this parameter table or finite circuit fixtures. + +## Credit + +Retain PR #1673 (Vlado Vojdanovski: capped phase-cell fusion/shallow circuits), PR #1758 (fractional-shift accretive interiors and per-visit accounting), PR #1786 (Chafik Boukhalfa: fine primes and offline precision), Tim Trudgian's prime estimate, Jeremy Kothe's ledger lineage, the retained supplier authors and the Harvey–van der Hoeven/OpenAI analytic lineage. Native arithmetic primitives retain PR #4554 and its complete contributor notices. The new review and primitive-specific batching/metadata lowering do not replace predecessor credit. diff --git a/research/native-kappa-30201655/LICENSE b/research/native-kappa-30201655/LICENSE new file mode 100644 index 0000000000..261eeb9e9f --- /dev/null +++ b/research/native-kappa-30201655/LICENSE @@ -0,0 +1,201 @@ + Apache License + Version 2.0, January 2004 + http://www.apache.org/licenses/ + + TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION + + 1. Definitions. + + "License" shall mean the terms and conditions for use, reproduction, + and distribution as defined by Sections 1 through 9 of this document. + + "Licensor" shall mean the copyright owner or entity authorized by + the copyright owner that is granting the License. + + "Legal Entity" shall mean the union of the acting entity and all + other entities that control, are controlled by, or are under common + control with that entity. For the purposes of this definition, + "control" means (i) the power, direct or indirect, to cause the + direction or management of such entity, whether by contract or + otherwise, or (ii) ownership of fifty percent (50%) or more of the + outstanding shares, or (iii) beneficial ownership of such entity. + + "You" (or "Your") shall mean an individual or Legal Entity + exercising permissions granted by this License. + + "Source" form shall mean the preferred form for making modifications, + including but not limited to software source code, documentation + source, and configuration files. + + "Object" form shall mean any form resulting from mechanical + transformation or translation of a Source form, including but + not limited to compiled object code, generated documentation, + and conversions to other media types. + + "Work" shall mean the work of authorship, whether in Source or + Object form, made available under the License, as indicated by a + copyright notice that is included in or attached to the work + (an example is provided in the Appendix below). + + "Derivative Works" shall mean any work, whether in Source or Object + form, that is based on (or derived from) the Work and for which the + editorial revisions, annotations, elaborations, or other modifications + represent, as a whole, an original work of authorship. For the purposes + of this License, Derivative Works shall not include works that remain + separable from, or merely link (or bind by name) to the interfaces of, + the Work and Derivative Works thereof. + + "Contribution" shall mean any work of authorship, including + the original version of the Work and any modifications or additions + to that Work or Derivative Works thereof, that is intentionally + submitted to Licensor for inclusion in the Work by the copyright owner + or by an individual or Legal Entity authorized to submit on behalf of + the copyright owner. For the purposes of this definition, "submitted" + means any form of electronic, verbal, or written communication sent + to the Licensor or its representatives, including but not limited to + communication on electronic mailing lists, source code control systems, + and issue tracking systems that are managed by, or on behalf of, the + Licensor for the purpose of discussing and improving the Work, but + excluding communication that is conspicuously marked or otherwise + designated in writing by the copyright owner as "Not a Contribution." + + "Contributor" shall mean Licensor and any individual or Legal Entity + on behalf of whom a Contribution has been received by Licensor and + subsequently incorporated within the Work. + + 2. Grant of Copyright License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + copyright license to reproduce, prepare Derivative Works of, + publicly display, publicly perform, sublicense, and distribute the + Work and such Derivative Works in Source or Object form. + + 3. Grant of Patent License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + (except as stated in this section) patent license to make, have made, + use, offer to sell, sell, import, and otherwise transfer the Work, + where such license applies only to those patent claims licensable + by such Contributor that are necessarily infringed by their + Contribution(s) alone or by combination of their Contribution(s) + with the Work to which such Contribution(s) was submitted. If You + institute patent litigation against any entity (including a + cross-claim or counterclaim in a lawsuit) alleging that the Work + or a Contribution incorporated within the Work constitutes direct + or contributory patent infringement, then any patent licenses + granted to You under this License for that Work shall terminate + as of the date such litigation is filed. + + 4. Redistribution. You may reproduce and distribute copies of the + Work or Derivative Works thereof in any medium, with or without + modifications, and in Source or Object form, provided that You + meet the following conditions: + + (a) You must give any other recipients of the Work or + Derivative Works a copy of this License; and + + (b) You must cause any modified files to carry prominent notices + stating that You changed the files; and + + (c) You must retain, in the Source form of any Derivative Works + that You distribute, all copyright, patent, trademark, and + attribution notices from the Source form of the Work, + excluding those notices that do not pertain to any part of + the Derivative Works; and + + (d) If the Work includes a "NOTICE" text file as part of its + distribution, then any Derivative Works that You distribute must + include a readable copy of the attribution notices contained + within such NOTICE file, excluding those notices that do not + pertain to any part of the Derivative Works, in at least one + of the following places: within a NOTICE text file distributed + as part of the Derivative Works; within the Source form or + documentation, if provided along with the Derivative Works; or, + within a display generated by the Derivative Works, if and + wherever such third-party notices normally appear. The contents + of the NOTICE file are for informational purposes only and + do not modify the License. You may add Your own attribution + notices within Derivative Works that You distribute, alongside + or as an addendum to the NOTICE text from the Work, provided + that such additional attribution notices cannot be construed + as modifying the License. + + You may add Your own copyright statement to Your modifications and + may provide additional or different license terms and conditions + for use, reproduction, or distribution of Your modifications, or + for any such Derivative Works as a whole, provided Your use, + reproduction, and distribution of the Work otherwise complies with + the conditions stated in this License. + + 5. Submission of Contributions. Unless You explicitly state otherwise, + any Contribution intentionally submitted for inclusion in the Work + by You to the Licensor shall be under the terms and conditions of + this License, without any additional terms or conditions. + Notwithstanding the above, nothing herein shall supersede or modify + the terms of any separate license agreement you may have executed + with Licensor regarding such Contributions. + + 6. Trademarks. This License does not grant permission to use the trade + names, trademarks, service marks, or product names of the Licensor, + except as required for reasonable and customary use in describing the + origin of the Work and reproducing the content of the NOTICE file. + + 7. Disclaimer of Warranty. Unless required by applicable law or + agreed to in writing, Licensor provides the Work (and each + Contributor provides its Contributions) on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or + implied, including, without limitation, any warranties or conditions + of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A + PARTICULAR PURPOSE. You are solely responsible for determining the + appropriateness of using or redistributing the Work and assume any + risks associated with Your exercise of permissions under this License. + + 8. Limitation of Liability. In no event and under no legal theory, + whether in tort (including negligence), contract, or otherwise, + unless required by applicable law (such as deliberate and grossly + negligent acts) or agreed to in writing, shall any Contributor be + liable to You for damages, including any direct, indirect, special, + incidental, or consequential damages of any character arising as a + result of this License or out of the use or inability to use the + Work (including but not limited to damages for loss of goodwill, + work stoppage, computer failure or malfunction, or any and all + other commercial damages or losses), even if such Contributor + has been advised of the possibility of such damages. + + 9. Accepting Warranty or Additional Liability. While redistributing + the Work or Derivative Works thereof, You may choose to offer, + and charge a fee for, acceptance of support, warranty, indemnity, + or other liability obligations and/or rights consistent with this + License. However, in accepting such obligations, You may act only + on Your own behalf and on Your sole responsibility, not on behalf + of any other Contributor, and only if You agree to indemnify, + defend, and hold each Contributor harmless for any liability + incurred by, or claims asserted against, such Contributor by reason + of your accepting any such warranty or additional liability. + + END OF TERMS AND CONDITIONS + + APPENDIX: How to apply the Apache License to your work. + + To apply the Apache License to your work, attach the following + boilerplate notice, with the fields enclosed by brackets "[]" + replaced with your own identifying information. (Don't include + the brackets!) The text should be enclosed in the appropriate + comment syntax for the file format. We also recommend that a + file or class name and description of purpose be included on the + same "printed page" as the copyright notice for easier + identification within third-party archives. + + Copyright [yyyy] [name of copyright owner] + + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. diff --git a/research/native-kappa-30201655/MODERN-SOURCE-MAP.json b/research/native-kappa-30201655/MODERN-SOURCE-MAP.json new file mode 100644 index 0000000000..1ade8c7499 --- /dev/null +++ b/research/native-kappa-30201655/MODERN-SOURCE-MAP.json @@ -0,0 +1,124 @@ +{ + "sources": [ + { + "local_file": "modern-sources/BILATERAL-LDU.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "da637c87c89482bc4c86be36bd0071b3d400dbed", + "repository_path": "research/kappa-observation-integration/release-work/current/package/vendor/pr1673/capped-phase-fusion/BILATERAL-LDU.md", + "sha256": "0d65e66d227464dda1a19f781ae0a0be671cbfd347c41e37ec954f3d629d8a77", + "bytes": 6305 + }, + { + "local_file": "modern-sources/CAPPED-INTERIORS.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "da637c87c89482bc4c86be36bd0071b3d400dbed", + "repository_path": "research/kappa-observation-integration/release-work/current/package/vendor/pr1673/capped-phase-fusion/CAPPED-INTERIORS.md", + "sha256": "983c5cab2d2398f2192a8aec07daecb655f2de136e12a37f75672a14d27172ba", + "bytes": 7284 + }, + { + "local_file": "modern-sources/FINE-PADDING-COMPOSITION.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "4f46c6a9732f63cba411698c743f6b6b681273c9", + "repository_path": "research/capped-fusion-t74-k554/outer/FINE-PADDING-COMPOSITION.md", + "sha256": "331189874c79c2fbfb839838ec8ea61c09a7f0769098af88716ad6e7c54c0b5a", + "bytes": 7442 + }, + { + "local_file": "modern-sources/FINE-PRIME-PADDING.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "4f46c6a9732f63cba411698c743f6b6b681273c9", + "repository_path": "research/capped-fusion-t74-k554/vendor/pr1786/FINE-PRIME-PADDING.md", + "sha256": "47d1b1b4df28aadda3cd6bdeb1fbc47290595e9208cd09c1a1f338520d33fdce", + "bytes": 18927 + }, + { + "local_file": "modern-sources/FIXED-A-PERIODIC-NORM-AUDIT.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "da637c87c89482bc4c86be36bd0071b3d400dbed", + "repository_path": "research/kappa-observation-integration/release-work/current/package/vendor/pr1673/capped-phase-fusion/evidence/radical_reduction_ultra/FIXED-A-PERIODIC-NORM-AUDIT.md", + "sha256": "21027a569588922c491b2c5b4f31e01ddb784f1f20cdf48b7d482d0e85b66bdb", + "bytes": 3422 + }, + { + "local_file": "modern-sources/FORWARD-SMALL-A-AUDIT.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "da637c87c89482bc4c86be36bd0071b3d400dbed", + "repository_path": "research/kappa-observation-integration/release-work/current/package/vendor/pr1673/capped-phase-fusion/FORWARD-SMALL-A-AUDIT.md", + "sha256": "e37aaa30b15671a1dff00676b14572213efaaac99df202dbba5e09f57af487c0", + "bytes": 6689 + }, + { + "local_file": "modern-sources/GAUGEFREE-INTERIORS.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "4f46c6a9732f63cba411698c743f6b6b681273c9", + "repository_path": "research/capped-fusion-t74-k554/outer/GAUGEFREE-INTERIORS.md", + "sha256": "a7fc34302a70f8453f877a6433ffe2776457bf37b5d8bb262afcb6b198a935fc", + "bytes": 19045 + }, + { + "local_file": "modern-sources/LOG-A-PHASE-SCHUR-AUDIT.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "da637c87c89482bc4c86be36bd0071b3d400dbed", + "repository_path": "research/kappa-observation-integration/release-work/current/package/vendor/pr1673/capped-phase-fusion/LOG-A-PHASE-SCHUR-AUDIT.md", + "sha256": "e05d6b8596c80b6e8676569a0ff464a29fa704c3304143f58914f47cdf38b272", + "bytes": 10642 + }, + { + "local_file": "modern-sources/OUTER-AUDIT.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "da637c87c89482bc4c86be36bd0071b3d400dbed", + "repository_path": "research/kappa-observation-integration/release-work/current/package/vendor/pr1673/capped-phase-fusion/OUTER-AUDIT.md", + "sha256": "94799bfa2794eb867d6ba68593c3e92988ade083e74d895e8d07ae3b8d0670dc", + "bytes": 13831 + }, + { + "local_file": "modern-sources/PARTIAL-FUSION.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "da637c87c89482bc4c86be36bd0071b3d400dbed", + "repository_path": "research/kappa-observation-integration/release-work/current/package/vendor/pr1673/capped-phase-fusion/evidence/radical_reduction_ultra/PARTIAL-FUSION.md", + "sha256": "811a3a0c88a90708add5b12fb0a05c25623f0af155010d5dcacd56021c55cba5", + "bytes": 4169 + }, + { + "local_file": "modern-sources/README.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "da637c87c89482bc4c86be36bd0071b3d400dbed", + "repository_path": "research/kappa-observation-integration/release-work/current/package/vendor/pr1673/capped-phase-fusion/evidence/radical_reduction_ultra/README.md", + "sha256": "4d65ea3c8b6a0d5faef819a58c8b8277681d11bed54686e9a7f78de29736e68e", + "bytes": 18502 + }, + { + "local_file": "modern-sources/REFINED-PHASE-FUSION.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "da637c87c89482bc4c86be36bd0071b3d400dbed", + "repository_path": "research/kappa-observation-integration/release-work/current/package/vendor/pr1673/capped-phase-fusion/evidence/radical_reduction_ultra/REFINED-PHASE-FUSION.md", + "sha256": "b4367eac012624f803b3d2e3a72339e050a0071bbec37e6d33b2cf322bd70bc5", + "bytes": 7276 + }, + { + "local_file": "modern-sources/SHALLOW-TOEPLITZ.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "da637c87c89482bc4c86be36bd0071b3d400dbed", + "repository_path": "research/kappa-observation-integration/release-work/current/package/vendor/pr1673/capped-phase-fusion/SHALLOW-TOEPLITZ.md", + "sha256": "b384b93f3fb4a8c97da2e617ebc14d55cebb0a739070e7f8dbb66f63e24e9310", + "bytes": 15480 + }, + { + "local_file": "modern-sources/SUPPLIER-SUPPORT-AUDIT.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "da637c87c89482bc4c86be36bd0071b3d400dbed", + "repository_path": "research/kappa-observation-integration/release-work/current/package/vendor/pr1673/capped-phase-fusion/SUPPLIER-SUPPORT-AUDIT.md", + "sha256": "bd5b06eca043c5c871227264f6a954473c55cd16ec85bb420ff538fb8ec1d8d6", + "bytes": 16557 + }, + { + "local_file": "modern-sources/TENSOR-COMPILER.md", + "repository": "CrocSwap/integer-mult-bounds", + "commit": "da637c87c89482bc4c86be36bd0071b3d400dbed", + "repository_path": "research/kappa-observation-integration/release-work/current/package/vendor/pr1673/capped-phase-fusion/TENSOR-COMPILER.md", + "sha256": "4d3b8466598a864a234b978e25976648d4e761840aad9153dd18d73d3dfe4d15", + "bytes": 13430 + } + ] +} diff --git a/research/native-kappa-30201655/NATIVE-ASSEMBLY.md b/research/native-kappa-30201655/NATIVE-ASSEMBLY.md new file mode 100644 index 0000000000..93116735b7 --- /dev/null +++ b/research/native-kappa-30201655/NATIVE-ASSEMBLY.md @@ -0,0 +1,145 @@ +# Source-bound native Word RAM multiplication with saving 0.0030201655 + +## Precise claim and retained mathematical inputs + +On the standard finite-word random-access model with indexed memory, add/subtract, shifts, Boolean operations, comparison and multiplication/division of O(log n)-bit words, the constructions below give packed n-bit integer multiplication in + + O(n/(log n)^kappa), kappa=0.0030201655. + +The word-width coefficient is a sufficiently large fixed constant. This is a Word RAM claim, not a stronger multitape-TM exponent. It is conditional on the correctness of the specifically retained algebraic and analytic predecessor proofs listed next. It imports no TM algorithm or TM complexity theorem. No new unknown compiler, stability oracle, fast multiplier or unpriced coefficient instruction is a premise. + +Retain these mathematical source results: + +1. The literal all-input dyadic native identity and chronological finite compiler of PR #4470/#4483/#4532/#4535, including distinct productive fields, all paid jobs, owned scratch restoration, exact endpoint phase normalizers and the finite compiler majorant. The pinned #4535 certificate funds a fixed uniform provider saving q_C=0.0030201656 at N=2^(10^12). In particular P_leaf/W