Mister-Meeseeks · Oct 16, 2026 · Oct 13, 2026 · Oct 13, 2026
diff --git a/research/helper-minimality/LICENSE b/research/helper-minimality/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/helper-minimality/MANIFEST.sha256 b/research/helper-minimality/MANIFEST.sha256
@@ -0,0 +1,69 @@
+c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4  LICENSE
+b9aee8d523d7cf7c25d4548a044657bd01964107e7bed053d92e303b16653f07  NOTICE.md
+cbcf1bc5d35c247a42439669e449a592fb52e5094869a232213bf588d7ff00b4  README.md
+22ccac9703500587fa05b6284c57559fbe9659b9e941a088b6fda79316769482  SOURCES.json
+7bd22be98f336f6e58c0bc1f38b948f102d3eba7dff3caf29b3fd3a2eb0469b0  cards/B128/coord.py
+e750f48b8a152c838165d18dd8eca47e0fda8194ef5326471a7724e6817f8687  cards/B128/retest.py
+56029079e362b109f83132f248eca3ce484c7a5af24493c18fab4a9fa647a1c8  cards/B147/oracle799.py
+f552309f82e970a38e94aef9a981cd7d5beeb76529da4be5b35575ee2892c89d  cards/B155/ex.py
+93289645ae06578e38ae521d8728dfce95689cef9bcb762dfba721707a1a66c4  cards/B159/ilp.py
+2dedc34977390e08333a9e053e10236ae5cbeac5b9027173cf573fa4772b90e6  cards/B159/mdl.py
+0142c631c1a5c3c665e0f301ef107ac5b77b6968a8620ea061c7425a6953c35a  cards/B159/pairsio.py
+d3da4b285f9a5c3ef130bf1804f2fd28ce21ab3ea25f5910efeaa9d03855bd39  cards/B167/blockscan.py
+c3a95a569b6f73dcf3b558c7413419cd5f43f7cbff8bca7f795664c88359fed3  cards/B167/extract.py
+86b8cb622061125eb1c274132a7f8123e01f5116688b9100c98881684819f70e  cards/B167/level.py
+33ac32a805f64fce7bbcc11fe6b2db8f5efceb7f9dc8593021be2d10181ee20e  cards/B171/lawler799.py
+09a6a0d97c706739ee1835b97a8b235f3ac2bee9860cea38cf69d6a63c701076  cards/B171/pair799.py
+541f2d45c128603c9646ba6037c5df8651aec10d93c16076ec4893de98d0ee89  cards/B171/scan01.py
+7df7f1e42648692b158b2796c03649e66e6ec328b4e6f10fa10abd32d3c37704  cards/B171/scan01b.py
+c39e5900db3b3a351dbd8fcf127fe3819a6134596ba3b7b2587ff54f0b3dadd8  cards/B174/check.py
+b7ab02a5700c7ac12ae8380d54b1ca003037c4b3d965e3485275dfcd62d7deb7  cards/B174/clique.py
+d5763ffa07b5ca7ff3cf54f887c8ccd43a91b83461b4e97a3cb6d315de804f17  cards/B176/common.py
+3a6e5403e192e71b76d58eafe021bdefc25f7670058ae43f32e13e2ba6f84333  cards/B176/val.py
+9055546f03c392be6e0b7a5d7f5eb8858492d1b2782a6c68b511a62096367331  cards/B179/gate.py
+1f375bfafcb1ae7105d1b3424325760b19523a8627d02c73ce764073495d066b  cards/B179/gate2.py
+528b59311b0fe289c8cef3bd3d05f444fc3efa2ea8650ca61556f098d4fbb281  cards/B182/b182.py
+462d6078257354db5f15cbed75892b1b6f7b7916a81053c3eadfeb6371ecfedc  cards/B98b/dyad.py
+e6b1416b1b7052a2954b328dc5c618d5d6b097ebedbd0ac6d4ad24eea8ebe051  cards/B98b/iface.py
+796ed379bc8edb6f7d836714b8765f873fbdb9478904de3f81ef855181745c1c  cards/B98b/synth.py
+6b7248e9f282174fe6f0fdabd7d9eeba059500e8364eff5b1420cf12efd626f7  cards/B98c/work/gate.py
+22e11f58aac15380322a4e1e589187ecb3f041e995fbf5becee0b52af02c0ce2  cards/B99/work/fr.py
+819053900ff1d49528f8d78a662ab9ef54832acf7d2f9899e49f5381e9ff62a3  cards/B99/work/lib.py
+9647ede25d85eb4ed3c05512d3a9d3baf62537e9b5ef0685c590bfe3d71e1d75  cards/B99/work/rep.py
+a8a0436efeedc5c7c6e9fd4715fc00fdae03de5fa8f2b18ad792d24be1fa39e5  cards/SYN-18/planes.py
+0252eb13c800d840fc20bd472a8c3a125b95ec656c4a85b097820360e8091e15  checks/anchors.py
+7d926468671ec30a3ab2fa2f39eb706de683774e4ea37b3f068ac7383dabbff4  checks/b128_table.py
+fb18332a3adb4842c3662346aa7f6b5115debc04f1a392b6e9cbb423b7b83c8d  checks/expect.py
+ca65d570e63db75a9cd1838247f93bfdd8340dcc9f5d6ebe964ec138e64244cb  checks/lawler_check.py
+71e9de3515535adb1060e4149b590e6f3ad3a72b31eb06db5ce8f27336fa4b1f  checks/make_toy.py
+039de8726d9019e2d70fe1f70e98f194fa90151bd5476362684e3a2c32e11e35  checks/pairs_sample.py
+5921df2221a76bbafa733835c9a68ff5be984cf4ed99cc420ad742fceb391755  evidence/B128-NOTES.md
+bdde724b3d8113f5b024e211566479073abfb5f3d4a96fdca169fa1eab17860b  evidence/B128-all.txt
+7dbd405b2dcc8eb370feef32b867d6b12b7dce7b5cd9ad524c4f37bcf1cdc028  evidence/B155-NOTES.md
+729d07bb52352eaf441228be28352c5d0efdab8927440298b6308313eec66dc0  evidence/B159-NOTES.md
+9e371abf5132377e95a8a79e2a046bdc8263d71ccc03905c91e5e48d0ccd2a37  evidence/B167-NOTES.md
+b45756d3f9097c182986329b62346d0d136aabe020d549641642b998a538516d  evidence/B171-NOTES.md
+023a4b5ff6610351e101731ce99be6bada712fe2a5fad4eb1a8005c2e9c229ca  evidence/B172-NOTES.md
+9968a78b131d89e0d262745f07c67104613fbdc366307ac6310d79c4947ae43d  evidence/B174-NOTES.md
+e2ae6da673123f9a86ad72203c55a4f2a52c61b3e6c23b0b324d7e155389d5e1  evidence/B175-NOTES.md
+8c37caeb2b3188c12708bb897ee7cefa7febe1f89ff71cba5600514fbcdebee5  evidence/B176-NOTES.md
+6d18ed47c6036ae81db423b4c7dc91610505a4ccc0c5851a784af5951818eb27  evidence/B178-VERIFIER-GAP.md
+1ecb165c212c3acd476eb68b83189292e0f763407f30cff0eb45c4c7fabdf259  evidence/B179-NOTES.md
+2e1eccb47d6631103e18eed03c29d1d8d9c935fa4eecd7cd758e99fd5d06ff03  evidence/B182-NOTES.md
+4fa578a6aafba5b429a864505caec1688a54e274223b4bf0a989bbfaff37f8db  evidence/B185-NOTES.md
+9cbf48e3c0932ce286826b3a5807432a193275a5f4a6830a52401cbdacde0d54  evidence/B82-NOTES.md
+cc5716bea4a523255b96add72427910c6606c7f3654c8a63652aa7df674ac339  inputs/derived/pairs.json.gz
+71469db91a3c5672312dde85a9e463d5a6c4527b7cb6f2e2a03594eb59add409  inputs/ledger_helpers.csv
+ed76761194988a01af77ead0ea6469cb5dcd29690ab985a0b5a4006b0f2b69bb  inputs/main/03-motifs.tex
+7e4a6fbc38c8228157b6311457d1496bf460291393043932d2c365f004f77805  inputs/pr635/hpe_emit_local.py
+a87d7f4844ca963516637d249b14a0654f67f8047b6b265ae25b0cf30963e503  inputs/pr799/code/audit_allcold.py
+17c110c7c8d219e79e7dce36b19c4781e7effa800086cec03384387ad9acc7aa  inputs/pr799/code/emit_allcold.py
+d8d295566ef2399af2da0707a4adc83e07aa26d2344c01a66bd0ca7684cf9217  inputs/pr799/construction/construct_gauge_xcentre.py
+03afcfc9da428b3f6edac81c1fee7f277ab81b64998efae78380b63498dec6cd  inputs/pr799/independent/audit_local.py
+72a4952751383e2a5e84b967f1e76fdfda003fe5592df357a599232e586817e3  inputs/words/656-CANONICAL-WORD.json.gz
+e2434318d38e5ab7d04d236e67f0da5b77a0fe57dfed9d817a83081921756c64  inputs/words/656-layers-FULL-WORD.json.gz
+f1c2ede9276d4447c5857d0e9d32adb52f987b8adb643b45bde2c172d88c6ee9  inputs/words/799-X4-CANONICAL-WORD.json.gz
+fc96c6dfb3e03efc144c2d0d1abd605a1b1bc081d39a5de27f21675864ecc766  inputs/words/799-X4-FULL-WORD.json.gz
+d9a1f72b43ce1a97d5e39e2a910f1e365fdc960bee98dbfc5c47b05cb0a9a953  requirements.txt
+78362221d7cba70b6e751338971feed720f7deba5965eeafa55fc24bd45cd4ed  scripts/provenance.py
+931d551308db32c582ec86de9e52576f97d1f8ea5a9eaeefbcd18785e5b811b0  verify.sh