semantic: from re import Error still runs while re.Error is SPY0202 — the from-import case-insensitive fallback binds any module's member by case

[antonsynd]

ImportResolver (~ModuleLoading L747) applies a case-insensitive name fallback to every module's from-import: from re import Error RUNS (HEAD and BASE) although re.Error in annotation/except/isinstance position is SPY0202 per the P6 ruling (python: ImportError: cannot import name 'Error'); from errs import myerr for a user class myErr → SPY0908 CS0234 (BASE CS0426). The qualified/bare divergence meta-class: one resolution rule for module.Name in every position, no case fallback (or a steer only: "did you mean 'error'?").

Minor sibling: SPY0244's message leaks a CLR spelling — g: () -> int = lambda: None() → "… not 'int32'".

---

Found by /verify-implementation plan-0ca7b7 semantic fix lane (pre-existing at acd1d40 unless stated).

[antonsynd]

Batching 2026-09-30 @ db8e05b — charter .claude/plans/remediation-round-2026-09-20-batching.md §3.17, P25 — import-binding authority (order N10; generator FIRST).

Contract: from m import X / from m import X as Y / import m + m.X / wildcard / re-export bind the symbol module m DECLARES, with its declared type, in every position, on every route {run, project, LSP, warm}, whatever the alphabetical order of modules — one resolution rule, no case-insensitive fallback; every consumer of an import fact reads the store its producer wrote (Rule 2). Generator FIRST: a differential harness generating two-module projects over import form × member kind × module order × route, run against the single-file twin (the oracle), allowlist ratchet. This cell: no case-insensitive from-import fallback (or a steer only: "did you mean 'error'?"); minor sibling SPY0244's int32 spelling rides along. Lane / reach: silent-wrong · program. Class tracker: #2097. No seam hypothesis — the plan measures the seam.

[antonsynd]

Cell (found by the #2263 chore, 2026-10-06 @ 90f7ff9 + the #2263 working tree; Debug binary, python3 3.12.13): import m + m.X, where module m declares a constant X and a function whose snake name is x (logging.DEBUG = 10 beside logging.debug(msg)), binds the function in one program shape and the constant in another.

import logging

def main():
    print(logging.DEBUG)

→ prints System.Action\1[System.String], and the emitted C# is Print(global::Sharpy.Logging.Debug)(the method group). Expected:10(python). The same line followed byprint(logging.INFO)emitsPrint(global::Sharpy.Logging.DEBUG)and prints10, then 20. x = logging.DEBUGthenprint(x)prints10. Rerun three times, deterministic per program. Lane silent-wrong, reach program. It is this issue's contract on the qualified route: m.Xbinds the membermDECLARES, with no case-insensitive fallback, whatever else the program references. Axes for P25's generator: member pair {constant + snake-equal function} × position {soleprintargument,print` argument beside a second constant, store, typed store} × level {all five}.