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

80%

main: 79%

Pull #608

travis-pro

Overwrite a disagreeing `input_signature` (RECONFIGURE modify path)

When a hybrid `@tf.function` already supplies an `input_signature`, compare it
against the inferred one under the per-parameter, per-axis partial order on the
tensor-type lattice (wildcard/unknown-rank/`UNKNOWN`-dtype is the top, concrete
values are more specific, distinct concretes are incomparable) and respond per
relation:

- supplied strictly tighter than inferred → overwrite with the inferred one
  (informational: it broadens an over-tight signature to admit observed inputs);
- supplied strictly broader → preserve (informational: the broader contract may
  be intentional and invisible to the analysis);
- incomparable → overwrite (warning: it changes the inputs accepted at runtime);
- agreement → no-op.

- Add `PreconditionSuccess.P5` for the overwrite path. `check()` selects
  `RECONFIGURE`+`P5` for the overwrite relations, preserves for the broader
  relation, and no-ops on agreement, gated on the `inferInputSignatures` flag
  (default off), side-effect-free, non-recursive, and an emittable inferred
  signature — so the default precondition matrix is unchanged.
- Extend `reconfigure()` from insertion to in-place replacement of the existing
  `input_signature` value, whose AST node is retained during parameter parsing.
- Add `InputSignature.Relation` + `relate()` for the lattice comparison,
  unit-tested directly, plus an integration fixture per relation.

Closes #596

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

100 of 103 new or added lines in 3 files covered. (97.09%)

1537 of 1924 relevant lines covered (79.89%)

0.8 hits per line