SPY0445 on a module-qualified parameter annotation: 'must be of type GeneratorContext, got sg.GeneratorContext' — the check compares annotation text

[antonsynd]

Found by /verify-implementation plan-0ca7b7 (fix-override lane, 2026-09-27); pre-existing at BASE acd1d40 unless noted.

import sharpy.generators as sg

class G(sg.SourceGenerator):
    def generate(self, context: sg.GeneratorContext) -> sg.GeneratorOutput:
        return sg.GeneratorOutput("")

This fails with SPY0445 "must be of type 'GeneratorContext', got 'sg.GeneratorContext'". The unqualified from sharpy.generators import ... spelling passes. The validator compares the annotation's text, not the resolved type (the same class as bd2dd0a's __format__ fix in plan-0ca7b7 verification). Class contract: signature validators compare resolved types.

[antonsynd]

Batching 2026-09-30 @ db8e05b — charter .claude/plans/remediation-round-2026-09-20-batching.md §3.26, P31 — CLR-base subclassing totality (order N20).

Contract (the #2138 ruling): the override, abstractness, base-constructor and interface-implementation rules read a CLR base exactly as they read a Sharpy base — an unimplemented abstract CLR member, a CLR base without a parameterless constructor, a module-qualified annotation, or a nullable-spelled interface parameter is decided in Semantic with python-spelled member names, never CS0534/CS7036/CS0535 behind SPY0908. Standing harness: ClrBaseOverrideRouteMatrixTests (extend the base-kind and member-state axes). This cell: signature validators compare RESOLVED types, never annotation text (the bd2dd0a __format__ fix is the same class). Lane / reach: false-refusal · program. Class tracker: #2143. No seam hypothesis — the plan measures the seam.