P63 (#2288) hardening + verify fixes: typed-generator lanes no longer pass vacuously by antonsynd · Pull Request #2336 · antonsynd/sharpy

test(property): an admitted program whose validator-order re-analysis fails is a recorded failure, not a skipped comparison; the fact asserts compared == admitted (refs #2288)

antonsynd

and

claude

committed

0fb0aef

test(property): a swallowed throw in a property lane is a failure — the NeverThrows lanes judge every raw sample for a throw or SPY0909, the span/async/determinism/CFG lanes stop catching, and the …

antonsynd

and

claude

committed

84f4b9f

test(property): the #2212 explicit-instantiation pin is spelled `new KnownRedRefusal("#2212", …)` so the issue-state gate reads its cite; the JudgeSource probe pin cites no issue (refs #2288, refs …

antonsynd

and

claude

committed

5c6a89f

test(property): the JudgeSource warning arm requires exactly ONE warning diagnostic carrying the code and no error, not one distinct warning code (refs #2288)

antonsynd

and

claude

committed

0a0af5b

test(roster): every roster lane is tied to the property that sustains it — a YInjected row to a refusal lane naming its member and code, a Y row's member to an acceptance verdict, a Y label to the …

antonsynd

and

claude

committed

31c783e

test(conformance): the property-oracle scan reads the whitespace-normalized token stream, not lines, and bans the verify round's evasions — parenthesized/multiplied thresholds, lower bounds on any …

antonsynd

and

claude

committed

9691845

test(property): the CFG well-formedness lane reads typed function programs through the sink and must check a CFG from every admitted program — it checked 0 CFGs from 50 programs and passed (refs #2…

antonsynd

and

claude

committed

f10b838

test(property): an admitted program's failed run and a compiler throw are recorded failures — TypeSoundness's two execution lanes no longer filter run failures by four .NET exception names, and Ove…

antonsynd

and

claude

committed

13c4ec0

test(property): JudgeSource's error arm is pinned to exactly ONE code — the expected code beside a second error is refused (refs #2288)

antonsynd

and

claude

committed

7f22fcf

test(build-tools): query_states maps a pull-request url to PULL_REQUEST — the mapping c285511dc added was untested (refs #2288)

antonsynd

and

claude

committed

e8933d3

test(cleanup): drop AstDescendants.Descendants (no caller) and the closed #2288 from the roster's GeneratorTrackers (refs #2288)

antonsynd

and

claude

committed

27bf064

Navigation Menu

Repository navigation

P63 (#2288) hardening + verify fixes: typed-generator lanes no longer pass vacuously - #2336

P63 (#2288) hardening + verify fixes: typed-generator lanes no longer pass vacuously#2336
antonsynd merged 11 commits into
mainlinefrom
dev

Commits on Oct 21, 2026

test(property): an admitted program whose validator-order re-analysis fails is a recorded failure, not a skipped comparison; the fact asserts compared == admitted (refs #2288)

test(property): a swallowed throw in a property lane is a failure — the NeverThrows lanes judge every raw sample for a throw or SPY0909, the span/async/determinism/CFG lanes stop catching, and the …

test(property): the #2212 explicit-instantiation pin is spelled `new KnownRedRefusal("#2212", …)` so the issue-state gate reads its cite; the JudgeSource probe pin cites no issue (refs #2288, refs …

test(property): the JudgeSource warning arm requires exactly ONE warning diagnostic carrying the code and no error, not one distinct warning code (refs #2288)

test(roster): every roster lane is tied to the property that sustains it — a YInjected row to a refusal lane naming its member and code, a Y row's member to an acceptance verdict, a Y label to the …

test(conformance): the property-oracle scan reads the whitespace-normalized token stream, not lines, and bans the verify round's evasions — parenthesized/multiplied thresholds, lower bounds on any …

test(property): the CFG well-formedness lane reads typed function programs through the sink and must check a CFG from every admitted program — it checked 0 CFGs from 50 programs and passed (refs #2…

test(property): an admitted program's failed run and a compiler throw are recorded failures — TypeSoundness's two execution lanes no longer filter run failures by four .NET exception names, and Ove…

test(property): JudgeSource's error arm is pinned to exactly ONE code — the expected code beside a second error is refused (refs #2288)

test(build-tools): query_states maps a pull-request url to PULL_REQUEST — the mapping c285511dc added was untested (refs #2288)

test(cleanup): drop AstDescendants.Descendants (no caller) and the closed #2288 from the roster's GeneratorTrackers (refs #2288)