Skip to content

Prove the sharp n-axis monomial elimination record count. - #7286

Open
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/n-axis-monomial-records-a924
Open

unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/n-axis-monomial-records-a924

Conversation

@unpaidmoon

Copy link
Copy Markdown
Contributor

The column charge tightens the separate-maxima ceiling used at n=9 and the square ceiling in the #7000 application review, without a kappa change.

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 column charge tightens the separate-maxima ceiling used at n=9 and the square ceiling in the CrocSwap#7000 application review, without a kappa change.

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