Skip to content

Require ATC with 2500 open pull request coverage - #3144

Draft
ashhart wants to merge 1 commit into
mainfrom
codex/atc-pr-capacity-2500
Draft

ashhart wants to merge 1 commit into
mainfrom
codex/atc-pr-capacity-2500

Conversation

@ashhart

@ashhart ashhart commented Nov 13, 2026 •

Copy link
Copy Markdown
Owner

What this changes

Require ATC 0.9.7 so contributors can check and claim issues when TensorFold has more than 300 open PRs. The fixed reader supports up to 2,500 PRs; documentation keeps overflow, timeout and board-file comparison limits explicit.

Checks on this head

  • Head commit: 9ac3293
  • Lean checker: 341 on base and 341 on head, zero new findings. These are inherited findings, not a clean lean count.
  • Tests run: python3 tools/pr_check.py --base origin/main, 4 documentation files, 0 errors and 0 warnings; git diff --check passes. ATC candidate has 455 passing tests and 174 module checks. A real candidate check 3136 returns complete, no limitations and free, where 0.9.6 returned pullRequestsLimit.
  • CI: pending on submission; no CI pass claimed.
  • Not run: Zig host/device/model suites and app suites, because only contributor documentation changes. No inference, build or app code changes.

Receipt

n/a, contributor documentation cannot reach inference. No model, kernel, arithmetic, setting or platform implementation changes. No runtime or app publication in this PR.

Checklist

  • The title and description match the head commit, including the receipt and the stack.
  • New tests fail before the change, pass after it, and skip cleanly without their dependency. n/a for these documentation changes; the companion ATC PR contains the regression tests.
  • Comments and docstrings are one line. No measurements or history in the source.
  • No personal data, machine names, internal hosts or local paths in the diff or its commits. No AI attribution lines.

@ashhart

ashhart commented Nov 13, 2026

Copy link
Copy Markdown
Owner Author

/atc exchange ed95be023aed1fde5b13706c44e1a5b9380025ea1c9a2b6a5eb2e218f87145a4

This branch has not been deployed

No deployments
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.

1 participant