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

84%

main: 84%

Build Type

push

github

Committed by web-flow

Commit Message

Adjudicate an existing `input_signature` report-only (#845)

* Adjudicate an existing input_signature report-only

Since the inferred signature is the join over the observed call sites,
the tighter and incomparable relations can only arise when some
observed call violates the existing signature, meaning the original
program raises at that site; rewriting the signature to admit those
calls repairs rather than refactors, with zero retracing benefit since
a present signature already pins one trace. The overwrite responses
therefore leave the refactoring: both relations now warn and preserve,
terminating like the other unmodified-signature outcomes, and the
sanctioned rewrite remains a future find-and-fix transformation. The
dead overwrite machinery in reconfigure() is removed (only the add path
remains, with the message tense corrected: the transformation is
selected, not suggested), the P5 passing precondition is no longer
reachable, and functions.csv's existing input_signature relation column
keeps recording the adjudication as the detection evidence.

Closes #808.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GcqABsog1rtb4m2CDZdcRD

* Fix the reconfigure Javadoc's import-context claim

Copilot flagged the inherited sentence claiming getImportContext is
non-null while the code explicitly handles null; say instead that it is
expected to resolve for a hybrid function and that the null check is
defensive, yielding no edits rather than failing.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GcqABsog1rtb4m2CDZdcRD

---------

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

Coverage Stats

9 of 9 new or added lines in 1 file covered. (100.0%)

1 existing line in 1 file now uncovered.

3028 of 3624 relevant lines covered (83.55%)

0.84 hits per line