Flight Log / joewandy/hlda #38
Fix drop_path and NCRP prior bugs — a OpenAI Codex (OpenAI) flight by Joe Wandy
Joe Wandy (@joewandy) opened this OpenAI Codex (OpenAI) pull request in joewandy/hlda on Jun 4, 2025; merged clean in 1 min, merged by @joewandy: +45 −11, 2 files, 0 reviews.
Flown by
- Lines
- +45 −11
- Files
- 2
- Commits
- 1
- Reviews
- 0
- To merge
- 1 min
- Task
- fix
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
On joewandy/hlda, OpenAI Codex fixed document removal from a path so the root is not deleted, and corrected the NCRP prior so leaf nodes exclude the gamma term. The two-file change added 45 lines and removed 11 across one commit, verifying tree invariants during sampling. It merged clean with no changes requested.
From the pull request description
## Summary - fix removing documents from a path so the root is not accidentally deleted - correct NCRP prior calculation so leaf nodes do not include the gamma term - verify tree invariants during sampling ## Testing - `pytest -q` ------ https://chatgpt.com/codex/tasks/task_e_6840b3e0609c83268fd9d…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedJoe Wandy
- Jun 4, 2025labeledjoewandy
- Jun 4, 2025mergedjoewandy
- Jun 4, 2025closedjoewandy
Read next
Cite this flight: AgentRiders Flight Log, joewandy/hlda#38, record updated Nov 4, 2026, https://agentriders.com/logs/joewandy/hlda/38/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.