Skip to content

Count intermediate carries of the frame-506 inverse elimination - #7224

Open
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/frame506-inverse-row-carries-01e6
Open

unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/frame506-inverse-row-carries-01e6

Conversation

@unpaidmoon

Copy link
Copy Markdown
Contributor

The inverse of the published 5/5/14 word emits one carry digit on each scale and shear. Every low row has at most 19 nonzero digits, and the #7104 return row u(q) has exactly 13 for every odd integer q >= 5. The selected frontier is unchanged.

Change and mathematical scope

State the result, changed hypotheses and status: construction, proof, bounded
search, audit or tooling. Distinguish a scalar saving from a paid-profile or κ
improvement. List remaining obligations.

Task and overlap

Give the base commit, exact dependency heads, concrete object and bounded domain.
For donated-agent work, include the task ID/scope key or link the task card from
autoresearch.md. Link the nearest overlapping PRs and explain the added value;
different random seeds alone are not separate contributions.

Declare whether scope is unchanged, refined or changed. If the card's premise
changed, explain why and how the actual result connects to the bottleneck.

Validation

Give reproduction commands, environment, exact evidence and meaningful failure
controls. Distinguish finite tests from proof arguments and list checks not run.
For a proposed bound, include the full paid budget and source bindings.

Credit

Credit predecessor and parallel work, retain source licenses, and disclose
substantial AI assistance. Useful independent or superseded work still merits credit.

Open next questions

For a research package, link its next questions and give the smallest useful
follow-up, why it matters and any blocker. “None justified” is acceptable.

Workflow feedback (optional)

What helped, what caused friction or an unintended detour, and one suggested
improvement? A link to the feedback discussion or an existing report is enough.

The inverse of the published 5/5/14 word emits one carry digit on each
scale and shear. Every low row has at most 19 nonzero digits, and the
CrocSwap#7104 return row u(q) has exactly 13 for every odd integer q >= 5.
The selected frontier is unchanged.

Co-authored-by: unpaidmoon <unpaidmoon@users.noreply.github.com>
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