feat: resolve form-submitter boundness in webjs check and make the residual loud - #1314

Open

vivek7405 wants to merge 23 commits into

mainfrom

feat/submitter-needs-bound-form

Commits on Aug 6, 2026

feat: resolve form-submitter boundness across modules in check
vivek7405
committed
20288d5
feat: report a form submission that cannot deliver its action
vivek7405
committed
a7af25f
test: dogfood the cannot-tell submitter shape end to end
vivek7405
committed
53590c3
fix: separate form boundness from deliverability in the check rule
vivek7405
committed
72c30c8
fix: stop the rule reporting two more shapes that actually work
vivek7405
committed
ac94186
fix: give a handed-off template its own scope, not the cannot-tell one
vivek7405
committed
b739e08
fix: the suspense fallback is the start-tag hole rendered inline
vivek7405
committed
06e3032
test: make the hand-off differential actually discriminate
vivek7405
committed
5b4885f
test: pin why the scanner and renderer disagree on an invalid enctype
vivek7405
committed
fd181da
docs: correct the serializer claim behind the suspense fallback
vivek7405
committed
b19347c
docs: name the suspense exception in the rule text, and unbreak the list
vivek7405
committed
705699e
fix: require a real action binding before judging a formaction hole
vivek7405
committed
d3d63dc
fix: resolve the binding to a provably callable export
vivek7405
committed
f26a650
docs: name the new silence class in all four lists
vivek7405
committed
f91ed30
fix: require the arrow, not just an open paren, to prove a callable
vivek7405
committed
d6bebaf
fix: skip a type annotation that contains its own arrow
vivek7405
committed
03b7a78
fix: read a TypeScript annotation the way TypeScript writes one
vivek7405
committed
e7ea22b
test: sweep the binding resolver across TypeScript spellings
vivek7405
committed
be56861
fix: depth-guard the return-type walk, like the declaration one
vivek7405
committed
403d637
fix: handle a nested arrow and a generic arrow, and mutation-test the rest
vivek7405
committed
0116913

Navigation Menu

Uh oh!

feat: resolve form-submitter boundness in webjs check and make the residual loud - #1314

feat: resolve form-submitter boundness in webjs check and make the residual loud#1314
vivek7405 wants to merge 23 commits into
mainfrom
feat/submitter-needs-bound-form

Commits on Aug 6, 2026

feat: resolve form-submitter boundness across modules in check

feat: report a form submission that cannot deliver its action

test: dogfood the cannot-tell submitter shape end to end

fix: separate form boundness from deliverability in the check rule

fix: stop the rule reporting two more shapes that actually work

fix: give a handed-off template its own scope, not the cannot-tell one

fix: the suspense fallback is the start-tag hole rendered inline

test: make the hand-off differential actually discriminate

test: pin why the scanner and renderer disagree on an invalid enctype

docs: correct the serializer claim behind the suspense fallback

docs: name the suspense exception in the rule text, and unbreak the list

fix: require a real action binding before judging a formaction hole

fix: resolve the binding to a provably callable export

docs: name the new silence class in all four lists

fix: require the arrow, not just an open paren, to prove a callable

fix: skip a type annotation that contains its own arrow

fix: read a TypeScript annotation the way TypeScript writes one

test: sweep the binding resolver across TypeScript spellings

fix: depth-guard the return-type walk, like the declaration one

fix: handle a nested arrow and a generic arrow, and mutation-test the rest

Commits on Aug 7, 2026

fix: reach the generic walk after a space-less async, and pin its arrow step

fix: pin the type-parameter depth guard, and stop asserting a kill tally

fix: pin the last two reachable guards in the binding resolver