#3033
85%
main: 86%

Ran 04 Sep 2026 02:43AM UTC

Jobs 1

Files 42

Run time 1min

Badge

Embed ▾

Committed 04 Sep 2026 02:37AM UTC coverage: 85.396%. Remained the same

Build # #3033

Build Type

push

github

Committed by

web-flow

Commit Message

Pin when a defaulted non-tensor parameter may be omitted (#936)

Such a parameter carries no spec, so covering it is impossible and
leaving it out is sound only when nothing supplies it. Omitting one a
caller passes cuts the decorated function's arity below the call, and
the call is then rejected on arity before any argument is examined, so
no correction to the emitted spec can repair it.

Three supplying shapes are pinned as recognized: a keyword passed
through the layer object, one passed by naming the method, and one
passed through a layer that arrived as a constructor argument rather
than being built in place. A fourth case supplies nothing, and its
signature is emitted.

The fourth is the point of the group. A function where this is NOT
recognized invites widening the rule, and widened far enough it would
withhold a signature from every `call` override declaring a defaulted
non-tensor parameter, including the case where omitting it is correct
and the signature is worth having. These fix the cost of that in place
so it cannot be paid silently.

The three recognized shapes were written as candidate reproductions of
issue 935 and reproduce nothing: all three are already blocked. They are
kept as the record of what has been ruled out.

Coverage Stats

3608 of 4225 relevant lines covered (85.4%)

0.85 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#3033.1	04 Sep 2026 02:43AM UTC	42	85.4

ponder-lab / Hybridize-Functions-Refactoring / #3033
85%
main: 86%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #3033

ponder-lab / Hybridize-Functions-Refactoring / #3033 85% main: 86%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #3033

ponder-lab / Hybridize-Functions-Refactoring / #3033
85%
main: 86%

README BADGES
x