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

84%

push

github

Promote caller coverage from advisory to blocking failure (#843)

Every known call path to a covered function comes from hybridized code,
so its computation is already traced on every executed path and adding
tf.function contributes only a redundant nested trace boundary. Promote
the phase-1 advisory (code 4 INFO on the conversion path) to the
blocking HAS_COVERED_CALLERS (code 21), keeping the allow-on-unknown
benefit polarity: unknown, module-level, or uncovered callers leave the
function convertible, and only determinate coverage blocks. The corpus
evidence behind the promotion: four covered functions across 1238, each
source-verified with zero false positives, and the dead-caller
semantics pinned beforehand. Blocking applies to the eager-to-hybrid
direction only; already-hybrid covered functions remain the separate
de-hybridization question. Also inserts a blank line between the
extractor and module-root declarations in Util per house style.

Closes #826.


Claude-Session: https://claude.ai/code/session_01GcqABsog1rtb4m2CDZdcRD

Co-authored-by: Claude Fable 5 <noreply@anthropic.com>

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

3058 of 3654 relevant lines covered (83.69%)

0.84 hits per line