Found by /verify-implementation plan-0ca7b7 (fix-override lane, 2026-09-27); pre-existing at BASE acd1d40 unless noted.
ProjectCompilationHelper.WithStdlibModules adds only Sharpy.Stdlib.dll to discovery. The CLI's GetDefaultReferences adds Sharpy.Core.dll as well. So in-process project tests resolve Core's attribute-declared modules (e.g. sharpy.generators, which also spells the .NET namespace Sharpy.Generators) on the namespace route, while sharpyc project uses the attribute-declared-module route.
Consequence: the 1a3ba8d regression (SourceGenerator subclass without @OverRide → SPY0248) left SourceGeneratorTests green, and only the spec-block sweep caught it. Repro: ClrBaseOverrideRouteMatrixTests Project_NamespaceRoute vs Project cells (ba2bb63c4). Class contract: the test harness builds with the CLI's reference set, one reference authority.
Found by /verify-implementation plan-0ca7b7 (fix-override lane, 2026-09-27); pre-existing at BASE acd1d40 unless noted.
ProjectCompilationHelper.WithStdlibModulesadds onlySharpy.Stdlib.dllto discovery. The CLI'sGetDefaultReferencesaddsSharpy.Core.dllas well. So in-process project tests resolve Core's attribute-declared modules (e.g.sharpy.generators, which also spells the .NET namespaceSharpy.Generators) on the namespace route, whilesharpyc projectuses the attribute-declared-module route.Consequence: the 1a3ba8d regression (SourceGenerator subclass without @OverRide → SPY0248) left
SourceGeneratorTestsgreen, and only the spec-block sweep caught it. Repro: ClrBaseOverrideRouteMatrixTestsProject_NamespaceRoutevsProjectcells (ba2bb63c4). Class contract: the test harness builds with the CLI's reference set, one reference authority.