Issues

parser: a block whose last statement is a stub-bodied def (`def f(self) -> str: ...`) ends on the NEXT statement's line — LineEnd residue of #1736 (folding range and document symbol swallow the next statement)

antonsynd/sharpy#2297 · opened

on Oct 12, 2026

lsp: code actions are not meaning-preserving — wrap-in-try, remove-annotation, inline, rename-to and import removal change the document's error diagnostics

antonsynd/sharpy#2296 · opened

on Oct 12, 2026

3

parser: a node whose last token spans several lines ends on that token's START line — LineEnd/ColumnEnd ignore the lexer's span (multi-line strings)

antonsynd/sharpy#2295 · opened

on Oct 12, 2026

1

lsp: Extract method treats builtins and names bound inside the region as parameters — the extracted signature names an unimported Callable and the call site passes undefined names

antonsynd/sharpy#2294 · opened

on Oct 12, 2026

1

roadmap: run the compiled program in-process so the self-contained release archive's `sharpyc run` needs no `dotnet` on the host (R-GK door (a), parked)

antonsynd/sharpy#2293 · opened

on Oct 11, 2026

cli: the self-contained release archive's `sharpyc run` crashes with an unhandled Win32Exception when no `dotnet` is on PATH — the compiled program is launched through a host the archive was meant not to need

antonsynd/sharpy#2292 · opened

on Oct 11, 2026

2

testing: pilot Stryker.NET mutation scoring on Lexer/ then Semantic/Validation/ — automate rule 12 under the dotnet-serialized lock, with a measured go/no-go

antonsynd/sharpy#2289 · opened

on Oct 9, 2026

2

property tests: the typed program generator has no feature roster — its soundness/refusal properties are green over an unmeasured fraction of the spec; ErrorInjector expects a code PREFIX (SPY02)

antonsynd/sharpy#2288 · opened

on Oct 9, 2026

2

grammar: three hand-written models (parser, stale grammar.ebnf.txt read by nothing, CsCheck generators) with no derivation — fix-or-delete the EBNF, then grammar-driven generation + differential parse of Sharpy-only syntax

antonsynd/sharpy#2287 · opened

on Oct 9, 2026

2

spec gate: a spec block is proven to compile, never to print what the prose says — add an expected-output marker and RUN the block (semantic drift between spec examples and compiler is undetectable today)

antonsynd/sharpy#2286 · opened

on Oct 9, 2026

2

stdlib: ideal datetime, collections, argparse, glob under ideal/ with markers and ledger rows — blocked on the ideal sweep (#2281 cell 4)

antonsynd/sharpy#2285 · opened

on Oct 8, 2026

1

harness: ideal-stdlib sweep — compile ideal/ as a library, map every diagnostic to a `# ideal(#issue)` marker, ratchet against the ledger, promote a module that reaches zero diagnostics (#2281 cell 3)

antonsynd/sharpy#2284 · opened

on Oct 8, 2026

1

stdlib: turn CONTRIBUTING-SPY "Modules that stay C#" into a ledger (blocker / issue / status: blocked | C# by design | promoted), re-audit each blocker by running it, one class issue per blocker still true (#2281 cell 2)

antonsynd/sharpy#2283 · opened

on Oct 8, 2026

1

stdlib: split spy/ into canonical modules and ideal/ — guard that every .spy in stdlib.spyproj is in MODULES; cite or delete the 15-row KnownMismatchModules allowlist (#2281 cell 1)

antonsynd/sharpy#2282 · opened

on Oct 8, 2026

1

stdlib: a module has two sources of truth — 35 logic-bearing .spy files duplicate hand-written C# with signature-only parity, an uncited 15-row allowlist, a stale "stays C#" list and no gap meter

antonsynd/sharpy#2281 · opened

on Oct 8, 2026

1

codegen: a function used as a value without a target type lowers to a delegate spelled from its Sharpy signature — generic, iterator-returning, defaulted, params and CLR-typed signatures reach Roslyn (SPY0908)

antonsynd/sharpy#2277 · opened

on Oct 8, 2026

1

lsp: re-pair shapes no lexer fact can see — a stray triple quote re-paired through a comment, two stray delimiters, or an opener inside an unterminated short string lets the indent-only routes edit string content

antonsynd/sharpy#2274 · opened

on Oct 7, 2026

6

card: observable properties (`@observable` → INotifyPropertyChanged, equality-gated, inferred dependents) + library debounce/throttle/sample — not committed

antonsynd/sharpy#2270 · opened

on Oct 7, 2026

1

semantic: a `@[does_not_return]` callee is not a terminator — the branch that calls it is refused SPY0266 (attribute is emitted, never consumed)

antonsynd/sharpy#2269 · opened

on Oct 7, 2026

2

design: `ref` bindings — `ref r = xs[1]` / `for ref v in xs:` alias a storage location (C# ref locals); the struct-element mutation gap

antonsynd/sharpy#2268 · opened

on Oct 7, 2026

1

design: target-typed implicit member access `.RED` — one more member of the context-sensitive expression class (typed from a resolved target, refused under an overloaded callee)

antonsynd/sharpy#2267 · opened

on Oct 7, 2026

1

stdlib: subprocess.Popen state after a timeout or kill diverges — communicate(timeout=) kills the child (python leaves it running), a SIGKILLed child's returncode is 137 (python -9)

antonsynd/sharpy#2266 · opened

on Oct 6, 2026

1

stdlib: threading.Thread edges diverge — join() before start() escapes as System.Threading.ThreadStateException, a default name is None

antonsynd/sharpy#2261 · opened

on Oct 6, 2026

3

stdlib: parameter defaults diverge from CPython's — re.Pattern endpos accepts None (CPython: sys.maxsize), http.client ignores the default timeout, itertools.repeat's -1 stand-in, hmac's digestmod default

antonsynd/sharpy#2260 · opened

on Oct 6, 2026

1

concurrency: process-wide mutable state is not safe under concurrent in-process use — two compilations in one process gave 5 vs 1 diagnostics; module-level random shares one System.Random; crash bundles check-then-create

antonsynd/sharpy#2250 · opened

on Oct 5, 2026

4

Navigation Menu

Repository navigation

Issues

parser: a block whose last statement is a stub-bodied def (`def f(self) -> str: ...`) ends on the NEXT statement's line — LineEnd residue of #1736 (folding range and document symbol swallow the next statement)

lsp: code actions are not meaning-preserving — wrap-in-try, remove-annotation, inline, rename-to and import removal change the document's error diagnostics

parser: a node whose last token spans several lines ends on that token's START line — LineEnd/ColumnEnd ignore the lexer's span (multi-line strings)

lsp: Extract method treats builtins and names bound inside the region as parameters — the extracted signature names an unimported Callable and the call site passes undefined names

roadmap: run the compiled program in-process so the self-contained release archive's `sharpyc run` needs no `dotnet` on the host (R-GK door (a), parked)

cli: the self-contained release archive's `sharpyc run` crashes with an unhandled Win32Exception when no `dotnet` is on PATH — the compiled program is launched through a host the archive was meant not to need

testing: pilot Stryker.NET mutation scoring on Lexer/ then Semantic/Validation/ — automate rule 12 under the dotnet-serialized lock, with a measured go/no-go

property tests: the typed program generator has no feature roster — its soundness/refusal properties are green over an unmeasured fraction of the spec; ErrorInjector expects a code PREFIX (SPY02)

grammar: three hand-written models (parser, stale grammar.ebnf.txt read by nothing, CsCheck generators) with no derivation — fix-or-delete the EBNF, then grammar-driven generation + differential parse of Sharpy-only syntax

spec gate: a spec block is proven to compile, never to print what the prose says — add an expected-output marker and RUN the block (semantic drift between spec examples and compiler is undetectable today)

stdlib: ideal datetime, collections, argparse, glob under ideal/ with markers and ledger rows — blocked on the ideal sweep (#2281 cell 4)

harness: ideal-stdlib sweep — compile ideal/ as a library, map every diagnostic to a `# ideal(#issue)` marker, ratchet against the ledger, promote a module that reaches zero diagnostics (#2281 cell 3)

stdlib: turn CONTRIBUTING-SPY "Modules that stay C#" into a ledger (blocker / issue / status: blocked | C# by design | promoted), re-audit each blocker by running it, one class issue per blocker still true (#2281 cell 2)

stdlib: split spy/ into canonical modules and ideal/ — guard that every .spy in stdlib.spyproj is in MODULES; cite or delete the 15-row KnownMismatchModules allowlist (#2281 cell 1)

stdlib: a module has two sources of truth — 35 logic-bearing .spy files duplicate hand-written C# with signature-only parity, an uncited 15-row allowlist, a stale "stays C#" list and no gap meter

codegen: a function used as a value without a target type lowers to a delegate spelled from its Sharpy signature — generic, iterator-returning, defaulted, params and CLR-typed signatures reach Roslyn (SPY0908)

lsp: re-pair shapes no lexer fact can see — a stray triple quote re-paired through a comment, two stray delimiters, or an opener inside an unterminated short string lets the indent-only routes edit string content

card: observable properties (`@observable` → INotifyPropertyChanged, equality-gated, inferred dependents) + library debounce/throttle/sample — not committed

semantic: a `@[does_not_return]` callee is not a terminator — the branch that calls it is refused SPY0266 (attribute is emitted, never consumed)

design: `ref` bindings — `ref r = xs[1]` / `for ref v in xs:` alias a storage location (C# ref locals); the struct-element mutation gap

design: target-typed implicit member access `.RED` — one more member of the context-sensitive expression class (typed from a resolved target, refused under an overloaded callee)

stdlib: subprocess.Popen state after a timeout or kill diverges — communicate(timeout=) kills the child (python leaves it running), a SIGKILLed child's returncode is 137 (python -9)

stdlib: threading.Thread edges diverge — join() before start() escapes as System.Threading.ThreadStateException, a default name is None

stdlib: parameter defaults diverge from CPython's — re.Pattern endpos accepts None (CPython: sys.maxsize), http.client ignores the default timeout, itertools.repeat's -1 stand-in, hmac's digestmod default

concurrency: process-wide mutable state is not safe under concurrent in-process use — two compilations in one process gave 5 vs 1 diagnostics; module-level random shares one System.Random; crash bundles check-then-create