str/repr of Result renders the payload with CLR ToString — Ok(R2.Snake), Err(Sharpy.ValueError: bad) — Optional's twin (#2005) was routed, Result's was not

[antonsynd]

Found by /verify-implementation plan-0ca7b7 (2026-09-26), measured @ 61bf20f with the built sharpyc; pre-existing at BASE acd1d40 unless noted.

class Snake:
    x: int

def f(ok: bool) -> Snake !ValueError:
    if ok:
        return Ok(Snake())
    return Err(ValueError("bad"))

def main():
    print(f(True))        # Ok(R2.Snake)          (BASE: Ok(R2+Snake))
    print(f(False))       # Err(Sharpy.ValueError: bad)
    print(Some(Snake()))  # <__main__.Snake object>  (routed by #2005 in plan-0ca7b7)
    print(repr(f(True)))  # Ok(R2.Snake)

Also print(json.loads[Snake]('{"x": 4}')) prints Ok(Tz.Snake). P11f's class contract says every runtime spelling of a value comes from the one python-name/repr channel (PyFormat, IRepr). Result.cs's ToString formats the payload/error with .NET ToString, so the CLR type name leaks. Expected: Ok(<__main__.Snake object>), and for Err the payload's repr (Err(ValueError('bad'))). The exact spelling needs a spec line, since result_types has none. Sibling cell of #2005 and #2006; the P11f matrix had Optional rows but no Result rows.

[antonsynd]

Batching 2026-09-30 @ db8e05b — charter .claude/plans/remediation-round-2026-09-20-batching.md §3.13, P11g — python-name/repr channel residue (order N5; lands alone; generator FIRST).

Contract (as P11f): every runtime spelling of a value or type — str, repr, type(x).__name__, __name__ on a reference, every message naming a type — comes from the ONE python-name/repr authority (PyFormat.PyTypeName/PyQualifiedName, IRepr, [SharpyName]). Generator FIRST: the reflective #1995 str/repr sweep becomes a python3 DIFFERENTIAL over every public Core/Stdlib type × site, allowlist ratchet; hand rows only for the user-class/dataclass/exception/function cells reflection cannot instantiate. Lands alone (printed output and, under R-DG, .expected.cs move). This cell: Result's payload/error render through the same channel as Optional (R-CH) — python-shape target Ok(<__main__.Snake object>) / Err(ValueError('bad')); the result-types spec gains its first executed str/repr row. Lane / reach: silent-wrong · program. Class tracker: #2104. No seam hypothesis — the plan measures the seam.