26465645478
72%
main: 72%

Ran 26 May 2026 05:59PM UTC

Jobs 1

Files 31

Run time 1min

Badge

Embed ▾

Committed 26 May 2026 05:55PM UTC coverage: 72.219%. Remained the same

Build # 26465645478

Build Type

push

github

Committed by

web-flow

Commit Message

Extend precision audit to fixture 157 (dataset iteration, multi-context) (#555)

Fixture 157 was previously a structural-only test. Extend it to the
full audit: per-parameter `getTensorTypes()` and inferred signature.

Runtime: `tf.data.Dataset.from_tensor_slices([1, 2, 3]).shuffle(3).batch(2)`
batches a length-3 source by 2, producing one full batch of shape (2,)
and a residual batch of shape (1,). Both are INT32. Iterating with
`for element in dataset` yields each batch in turn; the function under
test is `add(a, b)` called as `add(element, element)` so both parameters
bind to the same batched tensor each iteration.

Audit verdict: IDEAL.

- Ariadne tracks both batch shapes as a multi-context per-parameter Set
  `{TensorType(INT32, [1]), TensorType(INT32, [2])}`.
- The inference algorithm narrows the disagreeing dim-0 to a wildcard
  via per-dim consensus, yielding `TensorType(INT32, [SymbolicDim("?")])`
  in the signature.

Drop the structural-only `(boolean, boolean)` helper overload—it had
zero remaining callers after this migration and after #553's migration
of fixture 146 to `ExpectingDrop`. The strict-compile flag
`-err:+unused` requires removal.

Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>

Coverage Stats

1188 of 1645 relevant lines covered (72.22%)

0.72 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	26465645478.1	26 May 2026 05:59PM UTC	31	72.22	GitHub Action Run

ponder-lab / Hybridize-Functions-Refactoring / 26465645478
72%
main: 72%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26465645478

ponder-lab / Hybridize-Functions-Refactoring / 26465645478 72% main: 72%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26465645478

ponder-lab / Hybridize-Functions-Refactoring / 26465645478
72%
main: 72%

README BADGES
x