ponder-lab / Hybridize-Functions-Refactoring
88%

DEFAULT BRANCH: main
Repo Added
Files 45
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

LAST BUILD ON BRANCH main
branch: SELECT
CHANGE BRANCH
x

coverage: 87.916% (+0.05%) from 87.869%
#3312

push

github

web-flow 
See a guard through the user frames between it and the guarded call (#1022)

* See a guard through the user frames between it and the guarded call

The expected-failure walk stopped at the first user-code frame calling
the function, so a guard written further up the stack was not seen. A
call that its own frame neither guards nor handles raises out of that
frame, so the walk now continues to the frame's callers. A frame with
no callers keeps its call, so a root's unguarded call is still evidence.
The walk memoizes each frame's sites, so a frame reached twice in one
walk is not read as unguarded the second time.

This matters once the analysis dispatches a user `__call__` override,
which then sits between a test's guard and the layer's `call`.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn

* Pin the walk's memo with a frame reached along two paths

A frame calling the next one from two sites gives each site its own
node, so the `called_twice` case exercised what `forwarded` already
does. Contexts merge two frames up, though, so a frame above a helper
called twice is reached along two paths in one walk, and the memo is
what keeps the second path from reading as unguarded. The `diamond`
case replaces `called_twice` and fails when the memo is reverted to a
`seen` set.

The walk's Javadoc now says what the memo is for, and notes that a
hopped call counts as guarded whether or not its argument comes from
the guarded call's.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn

---------

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

28 of 29 new or added lines in 1 file covered. (96.55%)

4787 of 5445 relevant lines covered (87.92%)

0.88 hits per line

Relevant lines Covered
5445 RELEVANT LINES 4787 COVERED LINES
0.88 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#3312 main See a guard through the user frames between it and the guarded call (#1022) * See a guard through the user frames between it and the guarded call The expected-failure walk stopped at the first user-code frame calling the function, so a guard wri... push web-flow github
87.92
#3311 gh-readonly-queue/main/pr-1022-33f92b02dce9faac225b0924ad2ac0450bda08b3 See a guard through the user frames between it and the guarded call (#1022) * See a guard through the user frames between it and the guarded call The expected-failure walk stopped at the first user-code frame calling the function, so a guard wri... push web-flow github
87.92
#3310 walk-unguarded-callers Pin the walk's memo with a frame reached along two paths A frame calling the next one from two sites gives each site its own node, so the `called_twice` case exercised what `forwarded` already does. Contexts merge two frames up, though, so a fram... Pull #1022 khatchad github
87.92
#3309 7b97bc0d7d5c6ca2ee0f8e9383ecac2432b3e3b9 Merge 3582a0377 into 33f92b02d push web-flow github
87.92
#3308 d0d87674fe916911d83c2a27ce6338a68dacc2e3 Merge 9875aed67 into 33f92b02d push web-flow github
87.92
#3307 walk-unguarded-callers See a guard through the user frames between it and the guarded call The expected-failure walk stopped at the first user-code frame calling the function, so a guard written further up the stack was not seen. A call that its own frame neither guard... Pull #1022 khatchad github
87.92
#3306 main Refuse a conversion that changes a guarded call's exception (#1021) * Refuse a conversion that changes a guarded call's exception A bare `@tf.function` traces a function with its argument's own shape and dtype, and an operation whose static chec... push web-flow github
87.87
#3305 main Refuse a conversion that changes a guarded call's exception (#1021) * Refuse a conversion that changes a guarded call's exception A bare `@tf.function` traces a function with its argument's own shape and dtype, and an operation whose static chec... push web-flow github
87.87
#3304 gh-readonly-queue/main/pr-1021-9864b192c90d05151190de03165116a5fb5ce282 Refuse a conversion that changes a guarded call's exception (#1021) * Refuse a conversion that changes a guarded call's exception A bare `@tf.function` traces a function with its argument's own shape and dtype, and an operation whose static chec... push web-flow github
87.87
#3303 declined-trace-time-shape-error Dispatch on the statement kind with a pattern switch The descent through a module's statements to the line of a call was a chain of seven type tests, and its handler loop read the clause array without the null guard the line computation above it ... Pull #1021 khatchad github
87.79
See All Builds (4852)