Add IlProjection: new-pipeline IL views (raw/structured) with resolved operands

[richlander]

What

IlProjection renders the ground-truth IL views (Raw, Structured) from the replacement pipeline's materialized method data off a MetadataSource — the new-pipeline backing for the annotated-IL view, replacing the old MethodBodyContext → MethodAnalysis → AnnotatedILEmitter contract.

IlProjection.Project(MetadataSource source, string type, string method,
                     IlProjectionDepth depth, int overloadIndex = 0, bool publicOnly = false)
    -> DecompilerResult

Design

• One analysis, not a parallel one. Operands resolve through the importer's own token resolvers (ResolveMethod/ResolveField/ResolveTypeToken), and block structure reuses the importer's FindLeaders — so the IL views share the pipeline's analysis rather than running a second CFG/stack pass (the duplication the old MethodAnalysis represented).
• Exception-safe by construction. DecompilerResult.Run wraps it; a malformed read or resolver failure surfaces as a diagnostic, never a throw. Operand resolution falls back to raw token hex per-instruction, so the structure stays ground truth even if one token can't resolve.
• SRM-only, lives in Pipeline/ (no ILInspector.Metadata dependency).

Output

System.String.IsNullOrEmpty, Raw — operands resolved, branch targets computed:

IL_0000: ldarg.0
IL_0001: brfalse.s IL_000D
IL_0004: callvirt string::get_Length()
IL_000A: ceq
IL_000C: ret
IL_000D: ldc.i4.1

Structured block boundaries (IL_0000/IL_0003/IL_000D) match the old AnnotatedILEmitter exactly (Block_0 0000-0002, Block_1 0003-000C, Block_2 000D-000E).

Scope

• Exposes three IrImporter helpers as internal (FindLeaders, CallerScope, ResolveTypeToken).
• Non-disruptive: no consumers migrated yet — it dual-runs beside the old emitter.

Follow-ups (per the retirement plan)

1. Typed depth — per-instruction stack types, sourced from the importer's typed operand stack via a per-instruction trace (the one genuinely new piece; spiked separately).
2. Migrate consumers — MemberCodeProvider (annotated-IL view) and the harness DumpStages onto IlProjection, then delete MethodBodyContext/MethodAnalysis/AnnotatedILEmitter, gated by a corpus parity diff of new-vs-old annotated IL.

Tests

4 new (IlProjectionTests): offsets/opcodes, resolved call operand (not raw hex), branch-block labels, .try/catch markers. ILInspector.Decompiler.Tests 430 pass.

🤖 Generated with Claude Code