ponder-lab / Hybridize-Functions-Refactoring / #3272

87%

main: 88%

Pull #1006

github

Report a bound custom-gradient method in place of the optimal verdict

With inference on, an already-hybrid bound custom-gradient method was
reported with both IS_BOUND_CUSTOM_GRADIENT_METHOD and
HAS_NO_PRIMITIVE_PARAMETERS. The latter is the already-optimal verdict,
which is false for a method whose decorator fails on every call, so the
bound method now reports in its place, as other operative failures in
that block do.

The predicate's Javadoc now names its known limits, and the fixture
comment no longer names an exception type the program doesn't raise.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn

25 of 25 new or added lines in 2 files covered. (100.0%)

4306 of 4942 relevant lines covered (87.13%)

0.87 hits per line