fix(3823): correct partial/multi-slice tally#4028
Merged
Merged
Conversation
There was a problem hiding this comment.
Pull request overview
Single-line correction to a historical tick file fixing the partial/multi-slice tally from 5 (26%) to 6 (32%) and adding the class breakdown (4+1+1) to reconcile math drift flagged by prior reviewers.
Changes:
- Update count and percentage for partial/multi-slice row
- Append class-decomposition annotation
(Class 2 + 3 + 4 = 4 + 1 + 1)
Member
Author
|
Vera CI note for replacement PR #4028:
Holding the PR in draft until those mainline hygiene blockers are fixed or the branch is rebased onto a fixed main. I am not patching those paths in #4028 to keep the PR scoped to the PR-3823 tally correction. |
AceHack
added a commit
that referenced
this pull request
May 17, 2026
* claim: task-mainline-lint-unblock-4028-20260517 - inherited CI lint unblock Co-Authored-By: Codex <noreply@openai.com> * fix(ci): unblock inherited tick links and amazon extractor tsc Co-Authored-By: Codex <noreply@openai.com> * release: task-mainline-lint-unblock-4028-20260517 - ready for inherited CI unblock PR Co-Authored-By: Codex <noreply@openai.com> --------- Co-authored-by: Codex <noreply@openai.com>
…%); Codex + Copilot both flagged math drift
AceHack
force-pushed
the
codex/pr3823-rebased-vera-20260516
branch
from
ff84f13 to
8250aa2
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Replacement for closed/unmerged PR #3823.
Corrects the partial/multi-slice tally from 5 (26%) to 6 (32%) after Codex and Copilot both flagged math drift.
Context
The previous PR #3823 was closed without merge on 2026-05-16. This branch preserves the corrected commit on a fresh Codex-owned ref:
codex/pr3823-rebased-vera-20260516.Verification
ff84f13f855e301b831cd7862340775506c8b237