Skip to content

Record that the channel touches every target before every source - #3242

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jwr404:research/p104-flag-channel-schedule
Oct 17, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jwr404:research/p104-flag-channel-schedule

Conversation

@jwr404

@jwr404 jwr404 commented Oct 17, 2026

Copy link
Copy Markdown
Contributor

Summary

  • In the 4,058-event channel, no event names both an X register and a Y register. Every target is first touched by index 410, and every source is first touched at or after index 488.
  • All 208 published flags therefore begin their matched target before their source. None share an event.
  • Flag 0 is source X0 and target Y34. X0 starts at index 591 on frame [232] with coefficients ±2. Y34 starts at index 129 with coefficients ±1/4. Neither register is restored. There is no new exponent.

Test plan

  • python3.12 -B research/p104-flag-channel-schedule/verify.py
  • python3.12 -B research/p104-flag-channel-schedule/test_verify.py
  • python3.12 -B scripts/research_package.py --package research/p104-flag-channel-schedule
  • Confirm the registered replay on the maintainer's Python 3.12 checkout

Made with Cursor

The 4,058-event word never names an X register and a Y register in one event. All 208 published flags therefore start their target before their source.
@Mister-Meeseeks
Mister-Meeseeks merged commit 87866a0 into CrocSwap:main Oct 17, 2026
2 checks passed
cursor Bot pushed a commit to VictorLiwentao/integer-mult-bounds that referenced this pull request Oct 17, 2026
TASK.json now carries the pinned catalogue card, a refined scope, and structured open questions. The CrocSwap#3242 receipt is an input, and the task catalogue is a provenance pin.

Prepared by Wentao Li with substantial AI assistance.
Mister-Meeseeks pushed a commit that referenced this pull request Oct 18, 2026
Independent replay confirms the #3242 first-touch separation and shows that none of the 104 source or target frames returns to its initial frame. The #3259 support cut stays with its existing verifier.

Prepared by Wentao Li with substantial AI assistance.
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