Environment view and profile status bar (ADR 0009 phase 5)

[ademar]

What

Phase 5 of ADR 0009 — the visible surfaces. Two of its three items ship; the third is corrected and deferred with its real dependency named.

Environment inspector

An explorer tree view fed by a custom ironkernel/environment LSP request: the session's capability set, the buffer's defines as the innermost frame, then every reachable frame with each binding classified (operative/applicative/value, themed icons) and its contract as tooltip detail. Frame structure stays host-side exactly as phase 2 decided — the view shows the parent chain, Kernel code still cannot reach it. Refreshes on editor switch, save, and by command; the view only appears when the server is running. "Eval in this env" deliberately waits for the phase-6 session protocol.

Profile status bar

Shows the effective capability profile for the active file, and — the real value — flags when it overrides the nearest project's own <IronKernelProfile>: the extension's --profile has silently overridden the project declaration since the setting existed. Click to switch via QuickPick; changing it restarts the language server, so the authority displayed is the authority the server's session environment actually carries.

The correction: compiled-vs-residual highlighting deferred

The plan's aside ("CLocated forms already mark what the analyzer touched") was true and beside the point. CResidual almost never occurs — the hybrid compiled/interpreted boundary is not an IR node but a runtime property (bodies compile on first application per ADR 0004; performance lives in binding-guard specializations with interpreted fallbacks), and located spans exist only on the special-form spine. A truthful coverage view needs runtime instrumentation, which belongs with phase 6's session protocol. Recorded in the ADR so the "nearly free" framing doesn't get re-derived.

Verification

• Clean --no-incremental rebuild: zero warnings. Full suite: 447/447 (1 new: the environment request end-to-end — buffer frame carries the vau define as operative, + appears as applicative with its certified contract, capabilities include host-io).
• Extension: tsc --noEmit clean, vitest 23/23 (2 new for parseProjectProfile), vsce package produces the VSIX.
• All examples run (yingyang skipped); CLR fault sweep: faulted (process aborted): 0.
• Benchmarks deliberately skipped: server-request and TS-only code; nothing near the evaluation path.

---

^{Need help on this PR? Tag @codesmith-bot with what you need. Autofix is disabled.}