Skip to content

Fix typed user method precedence over void builtins#99

Merged
luisleo526 merged 1 commit into
mainfrom
codex/typed-void-method-precedence-20260721
Jul 21, 2026
Merged

Fix typed user method precedence over void builtins#99
luisleo526 merged 1 commit into
mainfrom
codex/typed-void-method-precedence-20260721

Conversation

@luisleo526

Copy link
Copy Markdown
Contributor

Summary

  • resolve exact typed user methods before drawing, array, matrix, and map builtin void-terminal classification
  • preserve genuine builtin void-terminal default-return lowering
  • cover direct and namespace-shadowed drawing, array, and map receivers plus terminal if and switch paths

Verification

  • focused candidate: 10/10
  • broader receiver, terminal, and drawing cohort: 420/420
  • full explicit-corpus suite: 2510 passed, 1 skipped; sole skip is the established parser NOTSET case
  • 685-source base/candidate differential: 680 successes and the same 5 failures on each side; zero status, diagnostic, or generated-C++ changes
  • engine corpus: 252/252, board 247 Excellent / 4 Strong / 1 anomaly; report self-test 252/252
  • forced-no-cache scraper gate: 416/416 classified; 409 OK, 1 no-trades, same 5 transpile errors and 1 run error, zero compile/driver/timeout failures
  • scraper board unchanged: 355 Excellent / 46 Strong / 4 Moderate / 2 Weak plus 7 excluded; 0 up / 0 down
  • independent diff review: PASS
  • git diff --check: PASS

Identity

  • tested commit: 55ef735
  • tested tree: cff57c80cfd200923413bf599f51614e84e52a50
  • binary diff SHA-256: 958432dba0ce634c04570cf33db3f3cbc354fede2c8d0b0d6acf9ab4f26a93d5
  • drawing.py SHA-256: aa3274a232cfa8186277864d45d1b0b633a4131700236ca65623a9da346155c7
  • focused test SHA-256: 5fc90cba6a87cb3f36e6e37d2c3806d282af488368f88188d27b974f6d8ab9ce
  • 685-source comparison SHA-256: 216bc0c0a10864859ae441a67730075c7128647db11984fc7f7c19677e9c3c69
  • forced-sweep merged log SHA-256: 9c5585466d2d6a337985ce8a2e0edda1e7ef69e5fa31bf4f603fd07c4a27c836

@luisleo526
luisleo526 merged commit 94f4dc0 into main Jul 21, 2026
9 checks passed
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