ponder-lab / Hybridize-Functions-Refactoring / 27702400919 / 1
80%
main: 80%

DEFAULT BRANCH: main
Ran
Files 31
Run time 1s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 79.886%. Remained the same
27702400919.1

push

github

web-flow 
Emit the supplied `input_signature` content in the evaluator output (#610)

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

* Emit the supplied `input_signature` content in the evaluator output

Add a `supplied input_signature` column to the per-function CSV rendering
the parsed explicit signature via `getSuppliedInputSignature()` as a
`tf.TensorSpec(...)` list, complementing the existing `input_signature`
presence flag. The getter is side-effect-free, so emitting it does not
perturb the analysis.

Clos... (continued)

1537 of 1924 relevant lines covered (79.89%)

0.8 hits per line

Source Files on job 27702400919.1