Skip to content

Decoder floors, case (b) for every number of terms: one-sided P112 decoders cost ≥ 64 without corrections (unique optimum) and with ≤ 2 non-full corrections (no κ claim) #2816

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Mister-Meeseeks merged 1 commit into from
Oct 16, 2026
Merged

Decoder floors, case (b) for every number of terms: one-sided P112 decoders cost ≥ 64 without corrections (unique optimum) and with ≤ 2 non-full corrections (no κ claim) #2816

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
201 changes: 201 additions & 0 deletions research/one-sided-decoders-all-m/LICENSE
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.
96 changes: 96 additions & 0 deletions research/one-sided-decoders-all-m/MANIFEST.sha256
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,96 @@
c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4 LICENSE
ada70c49b9c92012927b5fd83f147eaba9f7844f03c4326527454030531f632f NOTICE.md
7c22a8d73d8e2cf1ec9ce259035fe97be7261b0f71d5555ee50fc4b821872bf8 README.md
45dff48e0b9097b83df8f4ded1356e52addc0f281b6f38ff9ec941335afb26c0 SOURCES.json
47afd43239a3870b561bdb9cdca5183a7a29101a7b4ce113bed1695bd1ccd0f3 checks/base.py
a15b262a443d4177d8849a99d5a2a2b29a9cd36a0ba448274da34f428e38a3a3 checks/c65.py
2facd8c78fe87c8a26bcda0e94187970165f5f36be014ca74a135d953c00ce3c checks/c66.py
fed62c3f199587425630795944173722405459a8baf50f83acf2dd50d4f91319 checks/check_logs.py
3d6089696bbeda4519af029e3becff35d3bb654a053d147299b7f8686f8a69b0 checks/chk1.py
eb58509e0c8fc13c851b1bc0d8ca4eb69cd9e0f7e74e4e86d9419de8b3a858dd checks/coloop.py
9a5db24310b1314f2fbf35d04dc3abab4fc176941fc3e23ff0a21890c3d7d3f1 checks/coloop2.py
031c35a05f18b936a2ae38eafbcac5aa5afc247ae4cacc59179ebe1d53d3c2ba checks/common2.py
4f5fb39a61146d8f758fa10bd011a93573b33a41d109ceee8f7369a19c1a92b4 checks/cover.py
a9121141b9cdc2d6dfd13dd7c10331324fcc52e7664573111d874e75aa13d6e7 checks/cover6.py
f5c252427d6612e7d27e2cf5e94d540116d7f5e5bc07fe1b150966a038544416 checks/cover761.py
aa7294b18e2286ed32c286a060334774f5d79967ebc03ace00c1e622b8ee10db checks/d7.py
4e56a89b6f25c17afec0a718420814d92b9d5e85d1a60ac48829b1415cb0fed0 checks/dp3.py
5efbcae78dd105bc18c2418a49af74b5696db0e4c46882ba51ca32399dec299d checks/dpX.py
1150ae9eed3ea38781a5634dfa52a85747148b8bce48b07f6e3c5fa8c6be5bd2 checks/dump.py
4b5bb1f8601bb3427448c6e515424bd95d094b3ce1711b65c9dca259d787d519 checks/enum.py
7d76d41fe8b22591ca805be91489327eb4c3723e97d9a276e3566a4dbe77d476 checks/eq.py
601a62eb37d77c2c4c66ebcd9582db9e9e00117e68110709a544abca7172b910 checks/eq2.py
cfeea9c37d05ac7588387a08d8a7627b16954c79f3273976a37a09556103087a checks/flats_classify.py
dc3a341de1eff5e02dcd627aba3a93c2b45c72558de087856fdd62f89d54dd4e checks/frames_data.py
089953900befddb45727671f8d523b07c8cf81367d57bd833dd063ac594f098d checks/g78.py
42b32c24533eee648d8abffc7ea99483aedd54fdc6b490ee45b53d3e04eea5ba checks/gT.py
a4a72c326ca8dea9f453c2f84136650190740b530894cd256fdeab98019de76b checks/gen_t3.py
48662498c8dc54901d29131edd2a656121d226afae84648c9e00cc6b894f7437 checks/gen_targets.py
2659d28072afb57b251429887036e84510299b792c87447bd80ba45613db9d09 checks/gsmall.py
033a0e49581bfeac083c268db49910ed73ab8e2580e07ceb4aff0965d4810329 checks/land.py
2b9dfe552211b5c855788358a7eab77b92ee7d3763bb0eb3e0a282a5be5450c0 checks/lemmaN.c
a1b1520f1eef030933260974a44bafc1315cca78ec0a3d0793cd9e1d6c049ca4 checks/lib.py
10731209ff2c08055fecb3c3c882c3ec0294348d4fefdf057e124f1a577ca9a4 checks/lnprep.py
30bfc46529afd7be9a21b6d2e7b1ce4de68d88028c632ca1c81432c6b81eb4b4 checks/lp2.py
f6a0f0aa51171b828f5fc35a21703863a2d091d15f9f82d11650d5952391190d checks/lp3.py
012739ff3dc3421c187ca089b361c0b1d49f808908a5a7efdb0603c20f08ca71 checks/manifest_check.py
fea77989a033465e97509f2b19d8a4eb073c9c44d4d4576c5b4870e5985239eb checks/mu76.c
4cef7955a73f15d1768343ae750bbf88e4bd122ba4294e34c30b5bd3b5211449 checks/ncount.c
850f94bde215ed00a0e301bbbb6830e3c1f78af665051cced9c26d221de0a3af checks/ncount2.c
29095863a00e2fb662c46b449f7b454dd9aac04ddc2ba0aab87277d95a7bd5a1 checks/oscommon.py
fd8abecc5ff7953bb8d0735d012520d4e74774b734a1f962c5e806def2ff8313 checks/rootswap.py
0c1fe3019b2ef7db30f15068d294a9eeb902d01d91657702c637ea014dfda1cc checks/rootswap_audit.py
a2baff10396b8a8de8065d45bf781a5662f165f4becfd2cdc95f7ba6e9fbe330 checks/symcheck.py
8b4bcfa654f019c6500a5778acbf8011f23103a78e82c252dc64b9491928f477 checks/symlp.py
b3ab00addcf343889071cd9e4415c0811bbd5b33d0c773abe2b36bfa7014c397 checks/w8.py
8e4b2a306dfe3499b9d2104753a4cb203e14fbfa94fda03f6a415da956ba642b data/data.json
364ab28cd3b51ccc6d9c97d3ff694f4129b0918428d4e87abb89d15afc226f83 data/gens.txt
471c3c68b1ca65e38e05125e3a329dde0cf01a44f5af86fd84eec75e534421f1 data/p104_frames.json
ebd114ecefd14a8c2e9fdc96319f74e10f4164496dbeeb3cdb51332dd6b4f3e4 evidence/logs/c65.log.txt
2b0aee058877fb0760aa75dd94e5c1b2f961b1f45def1780ac93d8388a19d622 evidence/logs/c66.log.txt
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 evidence/logs/cc_lemmaN.log.txt
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 evidence/logs/cc_mu76.log.txt
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 evidence/logs/cc_ncount.log.txt
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 evidence/logs/cc_ncount2.log.txt
2acdee859c00200d81ca8ff6325700b73c2213ccbf73b557a856392ad591dc10 evidence/logs/chk1.log.txt
b99e5c211d983c4dc5b6a6e27629f2201bec001d061460437e58f53cef3a3c8f evidence/logs/coloop.log.txt
d82e87e4959d2fc41370dba19f663420fe72a9e3973710d4e65e8a93211fb1cc evidence/logs/coloop2.log.txt
e6b38c8518c8173a28a731af77264d2fc234152fc5a80cc35c82e9927f18e9ca evidence/logs/cover.log.txt
9cb2d70ba47368643aa927519a80edc8f1a841622f8d5e6543bb0586fd6b73e0 evidence/logs/cover6.log.txt
2db40fd9cce48d2f46be101e304391a2618bf36d3fe42857a2c0173244ea65c0 evidence/logs/cover761.log.txt
91dd118c35b8f6ffdfe43c4a0eaedc55ad20a1e05bbad94311b03e9c6221582c evidence/logs/d7.log.txt
689dcddf0fa67a83f94e6fc79f30dbb5afac62f23e54b78af499afa55654ac55 evidence/logs/dp3.log.txt
00a164cbe40652aaa3f8f01e8f927db0b96f95bff07d21c635c6f546f0b886b4 evidence/logs/dump.log.txt
d8b8a12c4fbc64d39dabcf200485f98d408894f676e7c40791d20b67bdca6786 evidence/logs/enum_1.log.txt
d8b8a12c4fbc64d39dabcf200485f98d408894f676e7c40791d20b67bdca6786 evidence/logs/enum_2.log.txt
d8b8a12c4fbc64d39dabcf200485f98d408894f676e7c40791d20b67bdca6786 evidence/logs/enum_3.log.txt
d8b8a12c4fbc64d39dabcf200485f98d408894f676e7c40791d20b67bdca6786 evidence/logs/enum_4.log.txt
d8b8a12c4fbc64d39dabcf200485f98d408894f676e7c40791d20b67bdca6786 evidence/logs/enum_5.log.txt
d8b8a12c4fbc64d39dabcf200485f98d408894f676e7c40791d20b67bdca6786 evidence/logs/enum_6.log.txt
fba08db999e8df9153000b7adda7dbf33d2448c2b696ac728824385da9825729 evidence/logs/enum_7.log.txt
556f6e614f122e97f918bfd45b4ff72e0ca41d83202275ac9a99de0fac63bcee evidence/logs/enum_8.log.txt
252f69104ed230418e0db3e957871e6a51c3732dec119425ce57e48d64566971 evidence/logs/eq.log.txt
06f3da4caaad0fbafb8a614431053ff8bcb5d9224989aac2861fad638e87302b evidence/logs/eq2.log.txt
995271662fb62111dec16b289e22087e0f416444faa28bb02631c2f983adadae evidence/logs/flats_classify.log.txt
93e2a9b3ea75e4718c4267b88f910384406e875f1a0e4ecb2536d9ddb4c4edbd evidence/logs/g78.log.txt
5a338844225e24d5644401793402aa65f56323de9675b8180ad0c9d252515beb evidence/logs/gT.log.txt
01f3306bb78ab509469aff66761f1210d741017ac899b01a0cf16e284d4b7922 evidence/logs/gen_t3_76.log.txt
bbf12e312303ae014e414646f9289609ad8f21ec5a3db9636658895315548c5a evidence/logs/gen_targets.log.txt
7a3537c0967c18f3e28dbc503720811a66a5706d6011dc1d9452b6f2f7fb23a6 evidence/logs/gsmall.log.txt
5a165f19b16aa2e84cff7a065399bc7c57c378faf3214aab1d196f5a9da466be evidence/logs/land.log.txt
54bfa517b44113b07d26ee4c367387b2696c5ea68b3a133d64753c8c8401d949 evidence/logs/lemmaN.log.txt
effbf93f93cc00446424e61e85a0944bd955e583074c7e34d1260f493e925c69 evidence/logs/lnprep.log.txt
ede90c23a0288c47b77a844b527c1b3708b4169f8a4a12a9e3c5016a4e677c52 evidence/logs/lp2.log.txt
03a7303c1b4f2d7153b48d5e1e95e7b2425dcfdd85cb86f20ba7bcec260d6f60 evidence/logs/lp3.log.txt
9c7cfdf6df601c71ab6ef38cfc35e4c06d73d933283a7fa380a2296268488f41 evidence/logs/mu76.log.txt
93737aeec1c6484975c6ffc21658e2fc06442fd5dfefe7209af2278873b1b80a evidence/logs/ncount.log.txt
b9fa9957a43b01e12ecfbac5f470f72dd536222880039bd7d7d4f1c0fd162d5c evidence/logs/ncount2.log.txt
36d46cf9f4180dfbb48da90fff3e4c30a4851048c2bcbbd31f909228181e1c87 evidence/logs/rootswap.log.txt
c3fb924124aee6ff884e46eaac834d9d3b8946aa92d65bfe1ba5a0e1ef47b608 evidence/logs/rootswap_audit.log.txt
c73e56a18a2fca8a1aac39f0c9bca3f481debf95ba48cee2c0596daee7f62ea0 evidence/logs/symcheck.log.txt
838bd178342a8cc8ba55a349c189590a3d7b4aec21f134b911c424a7a3355637 evidence/logs/symlp.log.txt
01d890d81a14558a7e7853d465cb9869d199675f6820dcf7692be507a93eba16 evidence/logs/times.out.txt
22c3624d839fe069de597e7e7ebe03510d88d88693d8ab021fed414a5c1d26ae evidence/logs/verify_run.log.txt
b335fdd7b1ebbb2bf0d9a00b4bbeb3a7c0aeb541e60c0bde87610e0f4e226c77 evidence/logs/w8.log.txt
9d15bca7a70484c014748eeea900107bf9f10e61e4d0dc761ea1caa44734a294 requirements.txt
e12fdea689cea7b2144b25ac15d58e55a5c4e770e15a849d58ea91078341514f verify.sh
Loading
Loading