Skip to content

Research: bound paid two-connector transfers with free source-port choice - #1438

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
woklerx:research/twenty-20261013-r04
Oct 14, 2026
Merged

Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
woklerx:research/twenty-20261013-r04

Conversation

@woklerx

@woklerx woklerx commented Oct 14, 2026

Copy link
Copy Markdown
Contributor

Allowing either source connector for each B operator, a second dirty connector and only two paid one-way transfers still cannot realize the five-source universal target at minimum B/A incidence. An exact 1,995,840-placement census supports the necessary four-transfer threshold; a two-source mixed-mask fixture attains four. Concurrent Discussion #1412 considers a stricter model where every B writes the same port and seeks a stronger eight-transfer bound; this submission makes no priority claim for the shared mechanism or universal four-transfer construction.

Validation: Python 3.12 registered replay with source pins and scoped controls; selected-result integrity or baseline bindings and diff checks pass. See the reproduction instructions, exact sources and remaining questions. No selected source, certificate or kappa changes; no full selected circuit replay is claimed. Prepared by woklerx with substantial OpenAI Codex assistance, with predecessor attribution retained.

@Mister-Meeseeks
Mister-Meeseeks merged commit 67628f5 into CrocSwap:main Oct 14, 2026
61 checks passed
@Mister-Meeseeks

Copy link
Copy Markdown
Contributor

100-PR batch review at a61170c97c9ea2c396f6d76a953b0cf74a455cdd.

Merged to main, preserving the original contributor commits and package attribution.

Reviewed scope: Exact four-cross-call lower bound for the specified two-connector, two-use universal five-source model, with full canonical census. The four-call mixed two-source construction has narrower scope; no uncharged extension to a complete supplier.

The pinned scoped command passed; the batch ledger contains its command, input hashes, environment and log. This incorporates the research/tooling contribution and does not change the selected κ or discharge the inherited multiplication-theorem assumptions.

Batch review, attribution and evidence. Thank you for the contribution.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants