ponder-lab / Hybridize-Functions-Refactoring / 27707928741

80%

Build Type

push

github

Committed by web-flow

Commit Message

Auto-inject the union of all functions' dtype constants per file (#615)

* 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>

* Memoize `inferInputSignature` to emit per-parameter INFOs at most once

`inferInputSignature()` emits per-parameter recovery INFOs as a side
effect, and is called from several sites within one pass (precondition
checking, import injection, and the transform paths), so the INFOs were
added two or more times when inference is enabled.

Cache the result in a memoization field: the comp... (continued)

Coverage Stats

15 of 17 new or added lines in 2 files covered. (88.24%)

1 existing line in 1 file now uncovered.

1554 of 1943 relevant lines covered (79.98%)

0.8 hits per line