P68 (#2300) lexer observation totality + verify fixes: allowlists pin today's defect, scanner walrus arm observed by antonsynd · Pull Request #2341 · antonsynd/sharpy

fix(pretty): the conditional's test and then-value are ??-level operands — a nested conditional, lambda, walrus, try or maybe there is parenthesized (refs #2169)

antonsynd

and

claude

committed

220259b

docs(spec): drop the stale `to` keyword row and the four "transitional to" sentences — removed in 0.8.0 (type_casting.md); the roster test anchors to the corrected tables (refs #2300)

antonsynd

and

claude

committed

76b7acc

test(stryker): survivor triage script with the R-GB ignore list as data — one reason per entry, C1–C7 class assignment by method (refs #2300)

antonsynd

and

claude

committed

813df74

test(lexer): the clean lexer's line facts (opener crossing, continuation, open bracket, header colon) as the oracle for the literal-loss scanner (refs #2300)

antonsynd

and

claude

committed

5baaeb0

test(lexer): injection differential — the literal-loss scanner's verdicts on dropped text agree with the clean lexer's facts over the corpus × four error constructs; allowlist ratchet (refs #2300)

antonsynd

and

claude

committed

e316dda

test(lexer): the P22 shape builders over the corpus judge the lexer's literal-loss and continuation facts against construction-known truth (refs #2300)

antonsynd

and

claude

committed

ffdd7f7

test(lexer): an @unbalanced-brace clean twin — a lone {{ then a # in f-string text kills the escaped-brace arm the corpus balanced out (refs #2300)

antonsynd

and

claude

committed

e7bb3cf

docs(lexer): the scanner allowlist's documented key format names the @unbalanced-brace twin (refs #2300)

antonsynd

and

claude

committed

6e96220

test(infra): one python-oracle locator for the differential twins; a required-oracle mode so CI cannot soft-skip (refs #2300)

antonsynd

and

claude

committed

92f4cc4

test(build-tools): CPython numeric-literal oracle (ast.parse at the constant altitude) with its pytest (refs #2300)

antonsynd

and

claude

committed

40d771a

test(lexer): numeric-literal twin against CPython over form × separator × exponent × following character, suffix/trailing-dot/imaginary rows pinned as Sharpy's own — M1/M2 of the pilot now red (ref…

antonsynd

and

claude

committed

2eeb1b2

ci: the numeric twin fails rather than skips when the pinned python is missing (refs #2300)

antonsynd

and

claude

committed

d15d719

test(lexer): f/t/df-string arm matrix — every replacement-field, spec, escape, dedent and refusal arm × prefix × quoting, values hand-verified against python3 (refs #2300, refs #2337)

antonsynd

and

claude

committed

78ddc4b

test(lexer): keyword roster anchored to the spec's literal tables (hard, rejected, future) + the contextual self in KeywordNames — union/delegate/super/Self/self now observed inside the Lexer names…

antonsynd

and

claude

committed

22234d0

test(infra): token position reconstruction — every token's (line, column, position, length) maps back to its source slice; P67 extends it with node ends (refs #2300, #2295)

antonsynd

and

claude

committed

a3838d7

test(lexer): corpus twin — positions reconstruct and tokens/diagnostics/facts are invariant under LF/CRLF/CR and a present/absent/doubled trailing newline, over every fixture (refs #2300)

antonsynd

and

claude

committed

93c6c92

test(lexer): EOF construct roster × seven endings — every operator, literal prefix, number form and open construct lexes the same at end of file, no exception escapes (refs #2300)

antonsynd

and

claude

committed

7792537

docs(gap-discovery): roster rows for the P68 lexer harnesses (refs #2300)

antonsynd

and

claude

committed

0b35287

refactor(lexer): TokenizeAll reads the token inside its try so Stryker can score the method (CS0165 safe-mode hole); token dump identical over 4,053 fixtures (refs #2300)

antonsynd

and

claude

committed

e621d9e

docs(stryker): measure what ignore-methods skips on a two-file probe; record the P68 ignore-list policy (refs #2300)

antonsynd

and

claude

committed

2c15c47

docs(stryker): the TokenizeAll CS0165 safe-mode hole is measured closed @ e621d9e94 (refs #2300)

antonsynd

and

claude

committed

0d58024

test(lexer): allowlist rows pin today's defect — a second change on an allowlisted numeric spelling or position token fails (refs #2300, #2338)

antonsynd

and

claude

committed

5bedd44

test(lexer): injection differential at a fixed bulk stride inside the 60 s budget, plus an @walrus twin for the depth-0 := arm (refs #2300)

antonsynd

and

claude

committed

bd23358

test(infra): RunBatch reports the script's exit and stderr when it stops reading stdin — never a bare broken-pipe IOException (refs #2300)

antonsynd

and

claude

committed

2f4ee45

test(build-tools): triage's `within` is a full callee match and the list never touches unscored mutants; the oracle prints plain integer digits (refs #2300)

antonsynd

and

claude

committed

912f22f

docs(stryker): the ignore-methods decision is for the re-run — lexer.json has no ignore-methods key yet (P5T3 adds it) (refs #2300)

antonsynd

and

claude

committed

be4664e

Navigation Menu

Repository navigation

P68 (#2300) lexer observation totality + verify fixes: allowlists pin today's defect, scanner walrus arm observed - #2341

P68 (#2300) lexer observation totality + verify fixes: allowlists pin today's defect, scanner walrus arm observed#2341
antonsynd merged 27 commits into
mainlinefrom
dev

Commits on Oct 21, 2026

fix(pretty): the conditional's test and then-value are ??-level operands — a nested conditional, lambda, walrus, try or maybe there is parenthesized (refs #2169)

docs(spec): drop the stale `to` keyword row and the four "transitional to" sentences — removed in 0.8.0 (type_casting.md); the roster test anchors to the corrected tables (refs #2300)

test(stryker): survivor triage script with the R-GB ignore list as data — one reason per entry, C1–C7 class assignment by method (refs #2300)

test(lexer): the clean lexer's line facts (opener crossing, continuation, open bracket, header colon) as the oracle for the literal-loss scanner (refs #2300)

test(lexer): injection differential — the literal-loss scanner's verdicts on dropped text agree with the clean lexer's facts over the corpus × four error constructs; allowlist ratchet (refs #2300)

test(lexer): the P22 shape builders over the corpus judge the lexer's literal-loss and continuation facts against construction-known truth (refs #2300)

test(lexer): an @unbalanced-brace clean twin — a lone {{ then a # in f-string text kills the escaped-brace arm the corpus balanced out (refs #2300)

docs(lexer): the scanner allowlist's documented key format names the @unbalanced-brace twin (refs #2300)

test(infra): one python-oracle locator for the differential twins; a required-oracle mode so CI cannot soft-skip (refs #2300)

test(build-tools): CPython numeric-literal oracle (ast.parse at the constant altitude) with its pytest (refs #2300)

test(lexer): numeric-literal twin against CPython over form × separator × exponent × following character, suffix/trailing-dot/imaginary rows pinned as Sharpy's own — M1/M2 of the pilot now red (ref…

ci: the numeric twin fails rather than skips when the pinned python is missing (refs #2300)

test(lexer): f/t/df-string arm matrix — every replacement-field, spec, escape, dedent and refusal arm × prefix × quoting, values hand-verified against python3 (refs #2300, refs #2337)

test(lexer): keyword roster anchored to the spec's literal tables (hard, rejected, future) + the contextual self in KeywordNames — union/delegate/super/Self/self now observed inside the Lexer names…

test(infra): token position reconstruction — every token's (line, column, position, length) maps back to its source slice; P67 extends it with node ends (refs #2300, #2295)

test(lexer): corpus twin — positions reconstruct and tokens/diagnostics/facts are invariant under LF/CRLF/CR and a present/absent/doubled trailing newline, over every fixture (refs #2300)

test(lexer): EOF construct roster × seven endings — every operator, literal prefix, number form and open construct lexes the same at end of file, no exception escapes (refs #2300)

docs(gap-discovery): roster rows for the P68 lexer harnesses (refs #2300)

refactor(lexer): TokenizeAll reads the token inside its try so Stryker can score the method (CS0165 safe-mode hole); token dump identical over 4,053 fixtures (refs #2300)

docs(stryker): measure what ignore-methods skips on a two-file probe; record the P68 ignore-list policy (refs #2300)

docs(stryker): the TokenizeAll CS0165 safe-mode hole is measured closed @ e621d9e94 (refs #2300)

test(lexer): allowlist rows pin today's defect — a second change on an allowlisted numeric spelling or position token fails (refs #2300, #2338)

test(lexer): injection differential at a fixed bulk stride inside the 60 s budget, plus an @walrus twin for the depth-0 := arm (refs #2300)

test(infra): RunBatch reports the script's exit and stderr when it stops reading stdin — never a bare broken-pipe IOException (refs #2300)

test(build-tools): triage's `within` is a full callee match and the list never touches unscored mutants; the oracle prints plain integer digits (refs #2300)

docs(stryker): the ignore-methods decision is for the re-run — lexer.json has no ignore-methods key yet (P5T3 adds it) (refs #2300)

Commits on Oct 22, 2026

docs(lexer): the injection stride halves the test's CPU; it does not bound the in-gate wall clock — measured 96 s → 102 s, load-dominated (refs #2300)