Skip to content

Cap line-port replicas at one unpaid coordinate per family - #3561

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jwr404:research/line-port-unpaid-cap
Oct 20, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jwr404:research/line-port-unpaid-cap

Conversation

@jwr404

@jwr404 jwr404 commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Eight paying calls clear eight label columns, and the dirty bit stays 1. A ninth column keeps rank 1.
  • With 112 ports, nine calls and one offset, the cap is 112 * 8 = 896, equal to the number of live families. Two unpaid coordinates per family would be 1792.
  • The selected exponent is unchanged.

Test plan

  • python3.12 -B research/line-port-unpaid-cap/verify.py
  • python3.12 -B research/line-port-unpaid-cap/test_verify.py
  • python3.12 -B scripts/research_package.py --package research/line-port-unpaid-cap
  • Confirm the registered replay on the maintainer's Python 3.12 checkout

Made with Cursor

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