Δ8+Δ9: RemoteExecutor (submit→poll→RunHandle local mirror) + inspector remote-run coverage

[Rchari1]

Closes #32 (Δ8), closes #33 (Δ9).

What

• Δ8 — RemoteExecutor (packages/amico-run/src/remote_executor.ts): Δ2 submit (Bearer credential from AMICO_CLOUD_URL/TOKEN env pair or ~/.amico/cloud.json), then a poll pump against the Δ4 shapes that MIRRORS the cloud run into a contract-conforming local run dir (run.toml + remote.json sidecar + synthesized AMICODE_ITER run.log lines + iter_*.png frames + FINISHED).
• Locked-contract resolutions: (a) frames best-effort; (b) abort() = async request (POST /solves/{id}/abort), run live until the polled terminal; (c) executor-owned warming budget (15 min default) + poll heartbeat so the inspector's 10-min stall knob measures cloud silence; (d) terminal via status poll — FINISHED authoritative; instance-gone / lost-endpoint → inferred terminal (failed/255 + AMICODE_REMOTE_LOST breadcrumb).
• CLI: --executor remote (config faults exit 64; --spec+remote rejected as a named seam).
• Δ9 — test-only: remote runs drive the UNCHANGED RunsManager/inspector state machine (warming → poll-delivered iters/frames → completion), via index-tail discovery + the existing poll backstop; scheduler lane included. Zero extension production-code changes.
• S7/S11 snapshot: Local vs Remote over the same solve → IDENTICAL observable state. S12 structural greps: no executor-type branches in scheduler or the runs/inspector pipeline (comments stripped).

Hermetic-first

Everything runs against FakeCloud (node:http, Δ2/Δ4 shapes — Δ4 is not deployed; the fake is the executable contract). One live smoke is gated AMICO_CLOUD_SMOKE=1 and self-skips until aws-infra#166/#167 merge + Δ4 staging deploy.

Out of scope (spec'd)

#59 tenant/quota hardening; Δ10 estimator/routing (#34/#63); result.toml/fidelity mirroring (named Δ4 seam); remote Stop-button escalation (abort() is the lane).

🤖 Generated with Claude Code