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

71%

main: 72%

Pull #500

travis-pro

Collapse `classifyAsTensor` cache-and-return pairs and restore inline section labels in test (#500).

Each return path in `Parameter.classifyAsTensor` was `this.isTensor = X;
return matching-x;` — two lines that must stay in lock-step or the
method silently returns the wrong verdict. Combined into
`return this.isTensor = X;` at five sites (Java auto-unboxes
`Boolean.TRUE`/`FALSE` to the primitive return type). Also fix the
`@return` Javadoc to the file convention (`True iff ...`).

Restore two inline section labels in `testParameterClassifyAsTensorContract`
(`// Classifier→query contract.` and `// Parameter-level → function-level
reflection.`) that were stripped during the assertion-style rewrite in
6bc0937; their removal was out of #500's scope.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

6 of 8 new or added lines in 2 files covered. (75.0%)

1132 of 1586 relevant lines covered (71.37%)

0.71 hits per line