Repository navigation
Research: 16-event seven-source connector boundary (no new kappa) - #2236
Merged
Merged
Conversation
This was referenced Oct 15, 2026
Mister-Meeseeks
pushed a commit
that referenced
this pull request
Oct 15, 2026
Takes PR #2236's 18-event construction handoff in discussion #2221. A closed single-source path of 18 toggles, with multiplicities (4,4,2,2,2,2,2), supports every one of the 63 seven-source masks of Hamming weight 1, 2 and 3 as a difference of two prefix states. With 126 paired output calls this gives 144 complete calls, attaining PR #2236's lower boundary in its event model. The witness is replayed by independent interval-XOR and prefix-difference methods, with explicit readout pairs, symbolic arbitrary linear maps and dirty connector and target restoration. Minimality rests on the predecessor's lower bound; no supplier or kappa change. Adds research/seven-source-18event-connector/ only. Submitted by @commdata2338 with substantial AI assistance (OpenAI Codex research and implementation; packaged with Claude Code). Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01X86sCSXdoDd61SDFfC1PKG
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.
Result
This package studies the original one-root F2 dirty connector with seven immutable sources and the 63 output masks of weights 1, 2, and 3.
(4,2,2,2,2,2,2). None supports all 63 masks; the maximum is 60, attained by eight canonical words.The 60-output invoice charges all source and target calls, descriptor storage, dispatch, hosting, access, writes and scratch restoration. No selected-supplier caller or new κ is claimed.
Pins
Base commit:
0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2Selected-record SHA-256:
10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32Prior 14-toggle PR: #2229, head
b4eab83755969d406edba9f25b7890e4db4c4931; its exact result is independently replayed in this package.Reproduction and checks
Observed markers:
Local direct execution used CPython 3.14.7. Python 3.12 is unavailable, so the registered Python 3.12 package replay was not run. The selected cold replay
make frontier1094-verifywas not rerun because the selected source, certificate and assembly remain unchanged.The live overlap scan covered all open PRs and Discussions with complete pagination and no warnings. Closest work: #2128 (six-source universal DUO path), #2146 (six-source TRIO exclusion), and #2229 (the exact 14-toggle predecessor). This package changes the source multiplicity and proves the 16-event maximum; it does not extend the prior class by changing only a seed.
Prepared by Cinna Davis with substantial OpenAI Codex assistance in scoping, proof derivation, exact search, independent verification, cost accounting, overlap checks and writing. No independent human review or proof-assistant formalization is claimed.