Skip to content

Harden translated routine coverage and ASAN fixes - #15

Merged
jamestjsp merged 15 commits into
mainfrom
codex/harden-translation-coverage
May 9, 2026
Merged

Harden translated routine coverage and ASAN fixes#15
jamestjsp merged 15 commits into
mainfrom
codex/harden-translation-coverage

Conversation

@jamestjsp

Copy link
Copy Markdown
Owner

Summary

  • add translation coverage/smell tooling and regression coverage for high-risk translated routines
  • fix translated routine issues found in AB13HD, MB04HD, and SB10 logical workspace handling
  • consolidate agent instructions into AGENTS.md and make CLAUDE.md refer to it

Verification

  • scripts/check_translation_coverage.py --report-only
  • scripts/check_translation_smells.py
  • python3 -m py_compile scripts/check_translation_smells.py
  • targeted pytest coverage added across affected routines
  • ASAN Docker: ./scripts/run_asan_docker.sh --no-build tests/python/ -o addopts='' built and ran under ASAN with no AddressSanitizer memory report, but pytest failed one behavioral assertion: tests/python/test_mb03ld.py::TestMB03LDBasic::test_compq_c_orth_p expected neig == 3 and observed 4

Notes

  • First ASAN Docker attempt failed before tests because the image lacks pytest-xdist while pyproject addopts injects -n auto; reran serially with pytest addopts cleared.
  • Local worktree still has an unrelated unstaged .gitignore change for .ergo/lock, not included in this PR.

@jamestjsp
jamestjsp merged commit 4bf79b0 into main May 9, 2026
3 checks passed
@jamestjsp
jamestjsp deleted the codex/harden-translation-coverage branch May 9, 2026 23:26
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