Repository navigation
Tier D: library-edge programs for utf8.codes/offset and math.fmod/ult/string.reverse (#61, #62) - #68
Conversation
…/string.reverse (#61, #62) utf8_codes_offset.lua MATCHes the reference; math_fmod_ult_reverse.lua diverges only within the existing EigenScript gap classes (non-finite values, the float subtype, 64-bit integers, NUL bytes), each line itemized in LEDGER.md. Tier D after the additions: D=146/159, diverge=13. LEDGER's summary and Counts table are merged with round 15's refresh (#66): 28 EigenScript-gap rows, 148 PASS/MATCH. Built by Codex Cloud task task_e_6ae23c7f94e8832d8594714ee3b25674, applied by hand (its LEDGER.md diff conflicted with #66). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01KC99CmwatKssQYggkBCgwF
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01KC99CmwatKssQYggkBCgwF
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: cc6397d18e
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| utf8_codes_offset.lua unspecified-audit: ok | ||
| math_fmod_ult_reverse.lua unspecified-audit: ok |
There was a problem hiding this comment.
Adding these two programs increases Tier D from 157 to 159 files, but tests/parse_all.sh:22 still requires exactly 157. With the expected EigenScript executable available, the test now exits with HARNESS: population D=159 S=23, want 157 and 23 before parsing any files. Update the population guard alongside these additions so the parser regression suite remains runnable.
Useful? React with 👍 / 👎.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01KC99CmwatKssQYggkBCgwF
Closes #61
Closes #62
corpus/D/utf8_codes_offset.luacovers negative and out-of-rangei,n = 0, continuation-byte starts, invalid sequences underpcall, andlax. It MATCHes reference Lua 5.4.9.corpus/D/math_fmod_ult_reverse.luacoversmath.fmod(negative operands, integer and float zero divisors, mixed),math.ultacross the sign boundary, andstring.reverseof empty and multibyte strings. It diverges only within the existing EigenScript gap classes: non-finite values, the float subtype, 64-bit integers and NUL bytes. Each diverging line is itemized in LEDGER.md. The program was not bent to avoid them.SUMMARY S=0/0 D=146/159 fail=0 diverge=13 hang=0 crash=0 unsupported=0 examined=159.LEDGER.md is merged with round 15's refresh (#66): the summary paragraph and the Counts table now show 28 EigenScript-gap rows (S 15, D 13) and 148 PASS/MATCH (S 2, D 146).
Built by Codex Cloud task task_e_6ae23c7f94e8832d8594714ee3b25674. Its diff conflicted with #66 in LEDGER.md and was applied by hand.
🤖 Generated with Claude Code
https://claude.ai/code/session_01KC99CmwatKssQYggkBCgwF