Skip to content

Handle index sets in groupfind - #62

Open
quinnj wants to merge 2 commits into
mainfrom
maintenance/groupfind-indices
Open

quinnj wants to merge 2 commits into
mainfrom
maintenance/groupfind-indices

Conversation

@quinnj

@quinnj quinnj commented Oct 4, 2026 •

Copy link
Copy Markdown
Member

groupfind now accepts nonempty Dictionaries.Indices inputs. Previously, the index-set method referred to an undefined container and threw an error before returning any groups.

Each unique index now produces its own singleton group. This preserves key order and handles missing, NaN, and distinct signed zeros without comparing a key to itself with ==.

Validation: the focused reproducer changed from 1 passing and 7 erroring checks to all 8 passing on Julia 1.10.12 and 1.13.1. The full native suite passes all 222 assertions on both versions. The Julia 1.10 run also uses Dictionaries 0.3.0, the oldest release allowed by the package's compatibility range. All four hosted native test jobs pass at a30c02982ee9a67df1dc7a8270eb8efa6e981fbe. All four coverage uploads are accepted for this repository and commit, and Codecov has processed all four reports (74.95%). An independent approving GitHub review is still required before merge.

CI also authenticates coverage uploads with GitHub OIDC on repository branches and fails when an upload is rejected. The previous uploader rejected reports for the protected branch while still reporting a successful job.

Co-authored by Codex

AI disclosure: This work was prepared with assistance from OpenAI Codex.

quinnj added 2 commits October 4, 2026 14:31
Insert a singleton group for each unique index instead of reading an
undefined container or comparing keys with equality.

AI disclosure: This work was prepared with assistance from OpenAI Codex.
Use scoped GitHub OIDC for repository branches and preserve the tokenless
fork path. Keep the existing test matrix and coverage configuration.

AI disclosure: This work was prepared with assistance from OpenAI Codex.
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