smol-symphony 0.2.0 → 0.3.1

package/dist/shell/main-http-views.js

@@ -0,0 +1,253 @@
+// FCIS rewrite — HTTP-handler view projections (kind: shell).
+//
+// Sliced out of src/shell/main-http-handler.ts so the router stays under the
+// max-lines budget. These are the thin SHELL projections between the live
+// orchestrator runtime (RunningEntry / RetryEntry) and the pure core http view
+// inputs (PartialInputs / SnapshotInput / IssueDetail*View / HealthView). They
+// shape data only — no routing, no IO — but they live in the shell because they
+// read the live-handle-carrying RunningEntry (which core never holds) and project
+// it into the read-only views core folds over.
+//
+// Imports from src/types/** ONLY (no core — the pure builders arrive injected via
+// HttpHandlerDeps.core).
+import { accessSync, constants as fsConstants } from 'node:fs';
+/**
+ * W_OK probe of the tracker root for the dashboard `#health` strip (REF
+ * orchestrator.probeTrackerWritable). Tri-state: null when no root is configured,
+ * true when writable, false when it exists but is read-only / missing. Best-effort —
+ * a probe failure is reported as `false`, never throws into a request. The composition
+ * root binds this as `trackerWritable` so the view stays free of fs concerns.
+ */
+export function probeTrackerWritable(root) {
+    if (!root)
+        return null;
+    try {
+        accessSync(root, fsConstants.W_OK);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+/** Project the declared `states:` block into the compact StateView[] core reads.
+ *  `allowed_transitions` is carried through so the dashboard move picker can flag
+ *  off-flow targets (issue 126); absent in the config ⇒ null (open default). */
+export function statesOf(cfg) {
+    return Object.entries(cfg.states).map(([name, c]) => ({
+        name,
+        role: c.role,
+        allowed_transitions: c.allowed_transitions ?? null,
+    }));
+}
+/** Resolve the local tracker root (the boot gate guarantees it; '' is a safe
+ *  empty-board fallback the disk reads tolerate). */
+export function trackerRootOf(cfg) {
+    return cfg.tracker.root ?? '';
+}
+/** Decode an x-www-form-urlencoded operator-move body (`state`, optional
+ *  `from_state`) into the object the pure decideMoveTransition reads. */
+export function moveFormBody(raw) {
+    const params = new URLSearchParams(raw);
+    const out = {};
+    for (const key of ['state', 'from_state']) {
+        const v = params.get(key);
+        if (v !== null)
+            out[key] = v;
+    }
+    return out;
+}
+// Pure basename (the page chrome only needs the workflow filename). The single
+// shell copy of core/path.ts:basename — the shell may not import core, and the
+// line-budgeted composition root does not inject this one-call-site helper, so
+// it is kept here verbatim (canonical home: src/core/path.ts:basename).
+function basenameOf(p) {
+    const trimmed = p.replace(/[/\\]+$/, '');
+    const idx = Math.max(trimmed.lastIndexOf('/'), trimmed.lastIndexOf('\\'));
+    return idx >= 0 ? trimmed.slice(idx + 1) : trimmed;
+}
+/** Project a live RunningEntry into the read-only RunningEntryView core folds over. */
+export function toRunningView(e) {
+    return {
+        issue_id: e.issue_id,
+        identifier: e.identifier,
+        issue: e.issue,
+        session_id: e.session_id,
+        workspace_path: e.workspace_path,
+        started_at: e.started_at,
+        turn_count: e.turn_count,
+        retry_attempt: e.retry_attempt,
+        input_tokens: e.input_tokens,
+        output_tokens: e.output_tokens,
+        total_tokens: e.total_tokens,
+        last_event: e.last_event,
+        last_event_at: e.last_event_at,
+        last_message: e.last_message,
+        recent_events: e.recent_events,
+        last_error: e.last_error,
+        transitioned: e.transitioned,
+        steering_requested: e.steering_requested,
+        steering_question: e.steering_question,
+        steering_context: e.steering_context,
+        active_tool_call_count: e.active_tool_calls.size,
+        resolved_actor: e.resolved_actor,
+        base_branch_at_dispatch: e.base_branch_at_dispatch,
+        github_repo_at_dispatch: e.github_repo_at_dispatch,
+        tracker_root_at_dispatch: e.tracker_root_at_dispatch,
+        cleanup_workspace_on_exit: e.cleanup_workspace_on_exit,
+    };
+}
+/** Project a live RunningEntry into the flat RunningRow the HTML render layer reads. */
+function toRunningRow(e) {
+    return {
+        issue_identifier: e.identifier,
+        issue_title: e.issue.title,
+        issue_body: e.issue.description ?? '',
+        turn_count: e.turn_count,
+        last_event: e.last_event,
+        last_message: e.last_message,
+        tokens: { input_tokens: e.input_tokens, output_tokens: e.output_tokens, total_tokens: e.total_tokens },
+        steering_requested: e.steering_requested,
+        steering_question: e.steering_question,
+        steering_context: e.steering_context,
+    };
+}
+/** Project a live RetryEntry into the flat RetryRow the HTML render layer reads. */
+function toRetryRow(e) {
+    return {
+        issue_identifier: e.identifier,
+        attempt: e.attempt,
+        due_at: new Date(e.due_at_ms).toISOString(),
+        error: e.error,
+        kind: e.kind,
+    };
+}
+/** Sum the live per-attempt token counters into the aggregate the totals footer reads. */
+export function aggregateTotals(running) {
+    let input = 0;
+    let output = 0;
+    let total = 0;
+    for (const e of running) {
+        input += e.input_tokens;
+        output += e.output_tokens;
+        total += e.total_tokens;
+    }
+    return { input_tokens: input, output_tokens: output, total_tokens: total, seconds_running: 0 };
+}
+/**
+ * Gather the per-request projection (live maps + disk listing) every view reads.
+ * The dashboard/REST router and the steering-reply handler both project off this,
+ * so it lives here (the leaf view module) rather than in either handler.
+ */
+export async function project(deps) {
+    const cfg = deps.getLiveCfg();
+    const diskIssues = await deps.tracker.listIssues(trackerRootOf(cfg));
+    return {
+        cfg,
+        states: statesOf(cfg),
+        running: deps.state.runningEntries(),
+        retrying: deps.state.retryEntries(),
+        diskIssues,
+    };
+}
+/** Build the per-request PartialInputs the dashboard + every partial render folds over. */
+export function partialInputs(deps, proj) {
+    const totals = deps.core.buildSessionTotalsView(aggregateTotals(proj.running), proj.running.map((r) => r.started_at), deps.clock);
+    return {
+        workflowName: basenameOf(deps.workflowPath),
+        workflowPath: deps.workflowPath,
+        trackerRoot: trackerRootOf(proj.cfg),
+        states: proj.states,
+        snapshot: {
+            running: proj.running.map(toRunningRow),
+            retrying: proj.retrying.map(toRetryRow),
+            session_totals: {
+                input_tokens: totals.input_tokens,
+                output_tokens: totals.output_tokens,
+                total_tokens: totals.total_tokens,
+                seconds_running: totals.seconds_running,
+            },
+        },
+        diskIssues: proj.diskIssues,
+    };
+}
+/** Build the system-health view for the `#health` strip from the live config + probe. */
+export async function healthView(deps, proj) {
+    const cfg = proj.cfg;
+    const dispatch = proj.states
+        .filter((s) => s.role === 'active')
+        .map((s) => {
+        const sc = cfg.states[s.name];
+        return {
+            state: s.name,
+            adapter: sc?.adapter ?? cfg.acp.adapter,
+            model: sc?.model !== undefined ? sc.model : cfg.acp.model,
+        };
+    });
+    const credentials = deps.credentialHealth ? await deps.credentialHealth() : [];
+    return {
+        dispatch,
+        gondolin_image: cfg.gondolin.image,
+        credentials,
+        tracker_root: cfg.tracker.root,
+        // W_OK probe of the live tracker root (true/false/null) — the dashboard health strip
+        // renders `tracker=writable|readonly|unset` off this. Absent probe ⇒ null (unset).
+        tracker_root_writable: deps.trackerWritable ? deps.trackerWritable() : null,
+        last_poll_at: deps.state.lastPollAtIso(),
+        // One-time microVM image build (issue 206) — the health strip renders a banner
+        // while the reconcile loop is converting `gondolin.oci_image`, and a persistent
+        // failure banner if the conversion threw (dispatch stays held until it's fixed).
+        building_image: deps.state.imageBuildState ? deps.state.imageBuildState() : null,
+        failed_image: deps.state.imageFailureState ? deps.state.imageFailureState() : null,
+    };
+}
+/** Build the §9.3 snapshot DTO core stamps for GET /api/v1/state. */
+export function buildStateDto(deps, proj) {
+    const runningViews = proj.running.map(toRunningView);
+    const health = deps.core.buildHealthRollup({
+        runningCount: proj.running.length,
+        claimedCount: deps.state.claimedIds().size,
+        retryingCount: proj.retrying.length,
+        effectiveCap: proj.cfg.agent.max_concurrent_agents,
+        pendingContinuationCount: proj.retrying.filter((r) => r.kind === 'continuation').length,
+        memoryAdmissionEnabled: proj.cfg.agent.memory_admission_enabled,
+    });
+    return deps.core.buildSnapshot({
+        running: runningViews,
+        retrying: [...proj.retrying],
+        totals: aggregateTotals(proj.running),
+        health,
+        reconcilerResources: [],
+    }, deps.clock);
+}
+/** Project a live RunningEntry into the issue-detail (JSON) entry view. */
+export function detailEntryView(e) {
+    return {
+        issue_id: e.issue_id,
+        identifier: e.identifier,
+        workspace_path: e.workspace_path,
+        session_id: e.session_id,
+        turn_count: e.turn_count,
+        state: e.issue.state,
+        started_at: e.started_at,
+        last_event: e.last_event,
+        last_message: e.last_message,
+        last_event_at: e.last_event_at,
+        input_tokens: e.input_tokens,
+        output_tokens: e.output_tokens,
+        total_tokens: e.total_tokens,
+        recent_events: e.recent_events,
+        last_error: e.last_error,
+    };
+}
+/** Project a live RetryEntry into the issue-detail (JSON) retry view. */
+export function detailRetryView(r) {
+    return {
+        issue_id: r.issue_id,
+        identifier: r.identifier,
+        attempt: r.attempt,
+        due_at_ms: r.due_at_ms,
+        error: r.error,
+        kind: r.kind,
+    };
+}
+//# sourceMappingURL=main-http-views.js.map

package/dist/shell/main-http-views.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main-http-views.js","sourceRoot":"","sources":["../../src/shell/main-http-views.ts"],"names":[],"mappings":"AAAA,8DAA8D;AAC9D,EAAE;AACF,6EAA6E;AAC7E,0EAA0E;AAC1E,+EAA+E;AAC/E,+EAA+E;AAC/E,gFAAgF;AAChF,kFAAkF;AAClF,+CAA+C;AAC/C,EAAE;AACF,kFAAkF;AAClF,yBAAyB;AAEzB,OAAO,EAAE,UAAU,EAAE,SAAS,IAAI,WAAW,EAAE,MAAM,SAAS,CAAC;AAgB/D;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAmB;IACtD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,CAAC;QACH,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;gFAEgF;AAChF,MAAM,UAAU,QAAQ,CAAC,GAAkB;IACzC,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACpD,IAAI;QACJ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,mBAAmB,EAAE,CAAC,CAAC,mBAAmB,IAAI,IAAI;KACnD,CAAC,CAAC,CAAC;AACN,CAAC;AAED;qDACqD;AACrD,MAAM,UAAU,aAAa,CAAC,GAAkB;IAC9C,OAAO,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;AAChC,CAAC;AAED;yEACyE;AACzE,MAAM,UAAU,YAAY,CAAC,GAAW;IACtC,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,YAAY,CAAU,EAAE,CAAC;QACnD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,IAAI;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+EAA+E;AAC/E,+EAA+E;AAC/E,+EAA+E;AAC/E,wEAAwE;AACxE,SAAS,UAAU,CAAC,CAAS;IAC3B,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1E,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AACrD,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,aAAa,CAAC,CAAe;IAC3C,OAAO;QACL,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,cAAc,EAAE,CAAC,CAAC,cAAc;QAChC,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,aAAa,EAAE,CAAC,CAAC,aAAa;QAC9B,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,aAAa,EAAE,CAAC,CAAC,aAAa;QAC9B,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,aAAa,EAAE,CAAC,CAAC,aAAa;QAC9B,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,aAAa,EAAE,CAAC,CAAC,aAAa;QAC9B,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,kBAAkB,EAAE,CAAC,CAAC,kBAAkB;QACxC,iBAAiB,EAAE,CAAC,CAAC,iBAAiB;QACtC,gBAAgB,EAAE,CAAC,CAAC,gBAAgB;QACpC,sBAAsB,EAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI;QAChD,cAAc,EAAE,CAAC,CAAC,cAAc;QAChC,uBAAuB,EAAE,CAAC,CAAC,uBAAuB;QAClD,uBAAuB,EAAE,CAAC,CAAC,uBAAuB;QAClD,wBAAwB,EAAE,CAAC,CAAC,wBAAwB;QACpD,yBAAyB,EAAE,CAAC,CAAC,yBAAyB;KACvD,CAAC;AACJ,CAAC;AAED,wFAAwF;AACxF,SAAS,YAAY,CAAC,CAAe;IACnC,OAAO;QACL,gBAAgB,EAAE,CAAC,CAAC,UAAU;QAC9B,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK;QAC1B,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,WAAW,IAAI,EAAE;QACrC,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,MAAM,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE;QACtG,kBAAkB,EAAE,CAAC,CAAC,kBAAkB;QACxC,iBAAiB,EAAE,CAAC,CAAC,iBAAiB;QACtC,gBAAgB,EAAE,CAAC,CAAC,gBAAgB;KACrC,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,SAAS,UAAU,CAAC,CAAa;IAC/B,OAAO;QACL,gBAAgB,EAAE,CAAC,CAAC,UAAU;QAC9B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,MAAM,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE;QAC3C,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,IAAI,EAAE,CAAC,CAAC,IAAI;KACb,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,eAAe,CAAC,OAAgC;IAC9D,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,CAAC,YAAY,CAAC;QACxB,MAAM,IAAI,CAAC,CAAC,aAAa,CAAC;QAC1B,KAAK,IAAI,CAAC,CAAC,YAAY,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC;AACjG,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,IAAqB;IACjD,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;IAC9B,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;IACrE,OAAO;QACL,GAAG;QACH,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC;QACrB,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE;QACpC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE;QACnC,UAAU;KACX,CAAC;AACJ,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,aAAa,CAAC,IAAqB,EAAE,IAAuB;IAC1E,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAC7C,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,EAC7B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,EACrC,IAAI,CAAC,KAAK,CACX,CAAC;IACF,OAAO;QACL,YAAY,EAAE,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC;QAC3C,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC;QACpC,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,QAAQ,EAAE;YACR,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC;YACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC;YACvC,cAAc,EAAE;gBACd,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,eAAe,EAAE,MAAM,CAAC,eAAe;aACxC;SACF;QACD,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC;AACJ,CAAC;AAED,yFAAyF;AACzF,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAAqB,EAAE,IAAuB;IAC7E,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM;SACzB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;SAClC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO;YACL,KAAK,EAAE,CAAC,CAAC,IAAI;YACb,OAAO,EAAE,EAAE,EAAE,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO;YACvC,KAAK,EAAE,EAAE,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK;SAC1D,CAAC;IACJ,CAAC,CAAC,CAAC;IACL,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/E,OAAO;QACL,QAAQ;QACR,cAAc,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK;QAClC,WAAW;QACX,YAAY,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI;QAC9B,qFAAqF;QACrF,mFAAmF;QACnF,qBAAqB,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI;QAC3E,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE;QACxC,+EAA+E;QAC/E,gFAAgF;QAChF,iFAAiF;QACjF,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI;QAChF,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,IAAI;KACnF,CAAC;AACJ,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,aAAa,CAAC,IAAqB,EAAE,IAAuB;IAC1E,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACzC,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM;QACjC,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI;QAC1C,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM;QACnC,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,qBAAqB;QAClD,wBAAwB,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,MAAM;QACvF,sBAAsB,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,wBAAwB;KAChE,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAC5B;QACE,OAAO,EAAE,YAAY;QACrB,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC5B,MAAM,EAAE,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC;QACrC,MAAM;QACN,mBAAmB,EAAE,EAAE;KACxB,EACD,IAAI,CAAC,KAAK,CACX,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,eAAe,CAAC,CAAe;IAC7C,OAAO;QACL,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,cAAc,EAAE,CAAC,CAAC,cAAc;QAChC,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK;QACpB,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,aAAa,EAAE,CAAC,CAAC,aAAa;QAC9B,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,aAAa,EAAE,CAAC,CAAC,aAAa;QAC9B,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,aAAa,EAAE,CAAC,CAAC,aAAa;QAC9B,UAAU,EAAE,CAAC,CAAC,UAAU;KACzB,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,eAAe,CAAC,CAAa;IAC3C,OAAO;QACL,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,IAAI,EAAE,CAAC,CAAC,IAAI;KACb,CAAC;AACJ,CAAC"}

package/dist/shell/main-http.js

@@ -0,0 +1,76 @@
+// FCIS rewrite — HTTP-bind + MCP-precondition + bail-startup cluster (shell).
+//
+// Sliced out of src/shell/main.ts (per arch-sweep §4c) so the composition root
+// keeps under the max-lines budget. This is the boot-time transport bring-up: bind
+// the unified HTTP listener (dashboard + MCP + the /acp WebSocket the guest dials
+// back on), verify the MCP precondition, and centralize startup-failure cleanup.
+//
+// It imports NO core (only the root may) — the two pure decisions it needs
+// (`resolveHttpPort`, the MCP `buildUrl`) arrive injected as `HttpBindCore`.
+//
+// Shell rule: imports from src/types/** ONLY (+ the sibling http server adapter).
+import process from 'node:process';
+import { createHttpServer } from './server/http.js';
+/**
+ * Bind the unified HTTP server. HTTP port precedence: --port > server.port > 0
+ * (ephemeral) via core resolveHttpPort. A bind failure routes through bailStartup.
+ * Ported from REF bindHttpServer. The dashboard/REST request handler is composed
+ * in the root (buildHttpHandler over core http/routes+decisions+views+render) and
+ * passed in here; this cluster only owns the transport bring-up + the /acp upgrade.
+ */
+export async function bindHttp(graph, cli, core, handle) {
+    const cfg = graph.getLiveCfg();
+    const requested = core.resolveHttpPort(cli.port, cfg.server.port);
+    try {
+        const http = createHttpServer({
+            handle,
+            log: graph.log,
+            acpUpgrade: (req, socket, head) => graph.acpWs.handleUpgrade(req, socket, head),
+            // Tear the /acp registry down when the listener stops, so upgraded WebSocket
+            // sockets don't leak (and hang the drain) across shutdown.
+            acpStop: () => graph.acpWs.stop(),
+        });
+        const { port } = await http.bind(requested, cfg.server.host);
+        graph.boundPort = port;
+        return http;
+    }
+    catch (err) {
+        return bailStartup(`error: failed to bind HTTP server on ${cfg.server.host}:${requested}: ${err.message}\n`, graph, core);
+    }
+}
+/**
+ * MCP precondition (REF checkMcpPrecondition): with mcp.enabled (the default),
+ * every dispatch needs a reachable MCP URL. Verify at boot that one can be built
+ * (core buildUrl over the bound port) rather than failing each per-issue dispatch
+ * after VM bring-up costs are sunk. Routes failures through bailStartup.
+ */
+export async function checkMcpPrecondition(graph, core) {
+    const cfg = graph.getLiveCfg();
+    if (!cfg.mcp.enabled)
+        return;
+    if (graph.http === null || graph.boundPort === null) {
+        await bailStartup(`error: mcp.enabled=true but no HTTP server is configured. Symphony itself\n` +
+            `must bind a listener (set --port or server.port) so it can serve the MCP\n` +
+            `endpoint, even when mcp.host_url points the in-VM agent at a reverse proxy.\n`, graph, core);
+        return;
+    }
+    const probeUrl = core.buildMcpUrl('startup-check', { host: cfg.mcp.host, explicit_host_url: cfg.mcp.explicit_host_url }, graph.boundPort);
+    if (probeUrl === null) {
+        await bailStartup(`error: mcp.enabled=true but no MCP URL can be constructed. Set --port, ` +
+            `server.port, or mcp.host_url so the in-VM agent can reach the symphony MCP endpoint.\n`, graph, core);
+    }
+}
+/**
+ * Centralized startup-failure cleanup (REF bailStartup): write the message, close
+ * any partial HTTP listener + the workflow watcher, flush the log sink, exit
+ * non-zero. Returns `never` so call sites narrow away post-call code.
+ */
+export async function bailStartup(message, graph, core) {
+    process.stderr.write(message);
+    if (graph.http)
+        await graph.http.stop().catch(() => undefined);
+    graph.src.stop();
+    await core.closeLog().catch(() => undefined);
+    process.exit(1);
+}
+//# sourceMappingURL=main-http.js.map

package/dist/shell/main-http.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main-http.js","sourceRoot":"","sources":["../../src/shell/main-http.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,EAAE;AACF,+EAA+E;AAC/E,mFAAmF;AACnF,kFAAkF;AAClF,iFAAiF;AACjF,EAAE;AACF,2EAA2E;AAC3E,6EAA6E;AAC7E,EAAE;AACF,kFAAkF;AAElF,OAAO,OAAO,MAAM,cAAc,CAAC;AAInC,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAKpD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,KAAoB,EACpB,GAAQ,EACR,IAAkB,EAClB,MAAkB;IAElB,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;IAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClE,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,gBAAgB,CAAC;YAC5B,MAAM;YACN,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,UAAU,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC;YAC/E,6EAA6E;YAC7E,2DAA2D;YAC3D,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE;SAClC,CAAC,CAAC;QACH,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7D,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,WAAW,CAAC,wCAAwC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,SAAS,KAAM,GAAa,CAAC,OAAO,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACvI,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,KAAoB,EAAE,IAAkB;IACjF,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;IAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO;QAAE,OAAO;IAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QACpD,MAAM,WAAW,CACf,6EAA6E;YAC3E,4EAA4E;YAC5E,+EAA+E,EACjF,KAAK,EACL,IAAI,CACL,CAAC;QACF,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,EAAE,GAAG,CAAC,GAAG,CAAC,iBAAiB,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAC1I,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,MAAM,WAAW,CACf,yEAAyE;YACvE,wFAAwF,EAC1F,KAAK,EACL,IAAI,CACL,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAAe,EAAE,KAAoB,EAAE,IAAkB;IACzF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,KAAK,CAAC,IAAI;QAAE,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC/D,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IACjB,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC7C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC"}

package/dist/shell/main-loops.js

@@ -0,0 +1,130 @@
+// FCIS rewrite — orchestrator + RUNNER-slice construction for the composition root
+// (kind: shell helper). Sliced out of src/shell/main.ts so the root stays under the
+// max-lines budget. Builds the live per-dispatch runner slice (workspace→VM→ACP→
+// turn-loop→actions pipeline) AND the OrchestratorLoop the runner's `runWorker`
+// drives, wiring the ACP frame-tap fold (per-issue runtime events + token usage)
+// onto the live running entry. Imports NO core (only the root may) — the pure
+// reducer/runner core bundles arrive pre-built in `OrchestratorCore`/`RunnerCoreParts`.
+import { OrchestratorLoop } from './orchestrator-loop.js';
+import { buildOrchestratorDeps, buildTickConfig } from './main-orchestrator.js';
+import { buildPlaceholderEntry } from './main-adapters.js';
+import { buildRunnerSlice } from './main-runner.js';
+import { createAdapterRegistry } from './adapter/adapter-registry.js';
+import { loadLauncherAsset } from './adapter/launcher-asset.js';
+import { loadMiseConfigAsset } from './adapter/mise-config-asset.js';
+import { ensureConvertedImage, probeConvertedImage } from './adapter/gondolin-image-converter.js';
+import { ensureFetchedImage, probeFetchedImage } from './adapter/gondolin-image-fetch.js';
+/**
+ * Build the runner slice + the OrchestratorLoop. The runner's `onWorkerExit`
+ * forward-references the orchestrator (constructed just after the runner); the
+ * closure only fires once an attempt finishes, so the reference is always live.
+ */
+export function buildOrchestratorWithRunner(deps) {
+    const { adapters: a, core } = deps;
+    const orchestratorCore = core.orchestrator;
+    // Nest the loose pure-core fns into the RunnerCoreParts bundle the runner closes
+    // over (kept here, not in the root, to keep main.ts under its line budget).
+    const runnerCore = {
+        loop: core.loop,
+        actions: core.actions,
+        resolveActorString: core.resolveActorString,
+        assertNoCredentialMounts: core.assertNoCredentialMounts,
+        resolveDispatchConfig: core.resolveDispatchConfig,
+        guestMcpUrl: core.guestMcpUrl,
+        byoProbeFailureMessage: core.byoProbeFailureMessage,
+        // mise toolchain-provisioning deciders (issue 209).
+        byoProbeScript: core.byoProbeScript,
+        miseInstallFailureMessage: core.miseInstallFailureMessage,
+        hasProjectMiseConfig: core.hasProjectMiseConfig,
+    };
+    let orchestrator;
+    // The managed prebuilt-image wiring (issue 224), built once in the root and injected.
+    // Its ref keys the fetch routing below + feeds the readiness path; null on an arch
+    // with no published asset (the managed source is then inert).
+    const managedWiring = deps.managedImageWiring;
+    const runner = buildRunnerSlice({
+        core: runnerCore,
+        ports: {
+            interpreter: a.interpreter, workspaces: a.workspace, tracker: a.tracker, baseVm: a.vm, acp: a.acpPort,
+            adapters: createAdapterRegistry(), credentialPort: a.credentialPort,
+            runlog: a.runlog, log: deps.log, clock: a.clock, random: a.random,
+        },
+        substrates: deps.substrates,
+        getLiveCfg: deps.getLiveCfg,
+        getWorkflow: deps.getWorkflow,
+        boundMcpPort: deps.boundMcpPort,
+        resolvedNodeBin: () => 'node',
+        launcherSource: deps.launcherSource,
+        miseSystemConfigSource: deps.miseSystemConfigSource,
+        readEnv: deps.readEnv,
+        // The asset auto-converted from `gondolin.oci_image` (issue 206), resolved at
+        // dispatch time. The orchestrator is forward-referenced (assigned just below);
+        // this closure only fires once an attempt dispatches, by which point the gate
+        // has already held until the build resolved — so the selector is live. Threaded
+        // into buildVmPlan, which boots it only when the `gondolin.image` escape hatch
+        // is unset, closing the convert→dispatch handoff for the one-key golden path.
+        resolveImageSelector: () => orchestrator.effectiveImageSelector(),
+        // The worker-exit fold owns the running-entry removal: onWorkerExit drops the
+        // entry (freeing its slot) before folding the exit through the reducer, so the
+        // composition root just hands the exit event over — no separate removeRunning poke.
+        onWorkerExit: (event) => orchestrator.onWorkerExit(event),
+    });
+    orchestrator = new OrchestratorLoop(buildOrchestratorDeps({
+        core: orchestratorCore,
+        ports: { interpreter: a.interpreter, timer: a.timer, mem: a.mem, clock: a.clock, tracker: a.tracker },
+        // Feed the managed store ref (issue 224) into the tick view; buildTickConfig
+        // gates it on `gondolin.managed_image` so it only rides the readiness path when
+        // the managed source is the active one. Null on an unsupported arch.
+        readConfig: () => buildTickConfig(deps.getLiveCfg(), orchestratorCore, managedWiring?.ref ?? null),
+        buildEntry: buildPlaceholderEntry,
+        runWorker: runner.runWorker,
+        stallTimeoutMs: () => deps.getLiveCfg().acp.stall_timeout_ms,
+        // Auto-convert + cache `gondolin.oci_image` on demand (issue 206). The loop
+        // fires this as a tracked async on the reducer's `ensure_image` effect and
+        // holds VM dispatch until it resolves; a second call for an already-converted
+        // digest is a cheap cache hit.
+        ensureImage: async (ref) => {
+            // Route the managed store ref (issue 224) to the prebuilt-asset FETCHER; every
+            // other ref is an `oci_image` for the CONVERTER. Both resolve to a runtime
+            // selector the loop threads into the VmPlan when `gondolin.image` is unset.
+            if (managedWiring && ref === managedWiring.ref) {
+                const fetched = await ensureFetchedImage(managedWiring, { log: deps.log });
+                return fetched.selector;
+            }
+            const cfg = deps.getLiveCfg();
+            const converted = await ensureConvertedImage(ref, {
+                pullPolicy: cfg.gondolin.oci_pull_policy,
+                runtime: cfg.gondolin.oci_runtime,
+                log: deps.log,
+            });
+            // The runtime selector the cached asset boots with — the loop records it so
+            // dispatch threads it into the VmPlan when `gondolin.image` is unset.
+            return converted.selector;
+        },
+        // Read-only per-tick readiness probe (issue 206 rework): resolve the ref's
+        // CURRENT local digest + its cached selector WITHOUT pulling/building, so the
+        // loop's readiness tracks the live digest. A moving tag whose underlying image
+        // changed reports not-ready (dropping the stale selector) until reconverted.
+        probeImage: (ref) => {
+            // Same routing as ensureImage: the managed ref probes the FETCHER's store
+            // (read-only, no download), every other ref the CONVERTER's local digest.
+            if (managedWiring && ref === managedWiring.ref) {
+                const p = probeFetchedImage(managedWiring);
+                return { digest: p.digest, selector: p.selector };
+            }
+            const p = probeConvertedImage(ref, { runtime: deps.getLiveCfg().gondolin.oci_runtime });
+            return { digest: p.digest, selector: p.selector };
+        },
+    }));
+    // ACP frame tap → orchestrator folds the per-issue event + token usage onto the
+    // live running entry (the dashboard totals + stall-reaper reference read these).
+    // These two are SANCTIONED direct folds, not pokes: they fire on the hot path (per
+    // tool-call / per turn), each is a pure `core/schedule/token-fold` onto one live
+    // entry with no scheduling decision, so they are exempt from the state-poke wall
+    // rather than routed through dispatch() — see scripts/check-state-pokes.mjs (issue 203).
+    a.acpPort.onEvent((issueId, ev) => orchestrator.reportRuntimeEvent(issueId, ev));
+    a.acpPort.onTokenUsage((issueId, usage) => orchestrator.reportTokenUsage(issueId, usage));
+    return orchestrator;
+}
+export { loadLauncherAsset, loadMiseConfigAsset };
+//# sourceMappingURL=main-loops.js.map

package/dist/shell/main-loops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main-loops.js","sourceRoot":"","sources":["../../src/shell/main-loops.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,oFAAoF;AACpF,iFAAiF;AACjF,gFAAgF;AAChF,iFAAiF;AACjF,8EAA8E;AAC9E,wFAAwF;AAGxF,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAChF,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,uCAAuC,CAAC;AAClG,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AAI1F;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CAAC,IAAoB;IAC9D,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IACnC,MAAM,gBAAgB,GAAG,IAAI,CAAC,YAAY,CAAC;IAC3C,iFAAiF;IACjF,4EAA4E;IAC5E,MAAM,UAAU,GAAG;QACjB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;QAC3C,wBAAwB,EAAE,IAAI,CAAC,wBAAwB;QACvD,qBAAqB,EAAE,IAAI,CAAC,qBAAqB;QACjD,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,sBAAsB,EAAE,IAAI,CAAC,sBAAsB;QACnD,oDAAoD;QACpD,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,yBAAyB,EAAE,IAAI,CAAC,yBAAyB;QACzD,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;KAChD,CAAC;IACF,IAAI,YAA8B,CAAC;IACnC,sFAAsF;IACtF,mFAAmF;IACnF,8DAA8D;IAC9D,MAAM,aAAa,GAAG,IAAI,CAAC,kBAAkB,CAAC;IAE9C,MAAM,MAAM,GAAG,gBAAgB,CAAC;QAC9B,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE;YACL,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO;YACrG,QAAQ,EAAE,qBAAqB,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc;YACnE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM;SAClE;QACD,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,eAAe,EAAE,GAAG,EAAE,CAAC,MAAM;QAC7B,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,sBAAsB,EAAE,IAAI,CAAC,sBAAsB;QACnD,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,8EAA8E;QAC9E,+EAA+E;QAC/E,8EAA8E;QAC9E,gFAAgF;QAChF,+EAA+E;QAC/E,8EAA8E;QAC9E,oBAAoB,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,sBAAsB,EAAE;QACjE,8EAA8E;QAC9E,+EAA+E;QAC/E,oFAAoF;QACpF,YAAY,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,KAAK,CAAC;KAC1D,CAAC,CAAC;IAEH,YAAY,GAAG,IAAI,gBAAgB,CACjC,qBAAqB,CAAC;QACpB,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;QACrG,6EAA6E;QAC7E,gFAAgF;QAChF,qEAAqE;QACrE,UAAU,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,gBAAgB,EAAE,aAAa,EAAE,GAAG,IAAI,IAAI,CAAC;QAClG,UAAU,EAAE,qBAAqB;QACjC,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,cAAc,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,GAAG,CAAC,gBAAgB;QAC5D,4EAA4E;QAC5E,2EAA2E;QAC3E,8EAA8E;QAC9E,+BAA+B;QAC/B,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;YACzB,+EAA+E;YAC/E,2EAA2E;YAC3E,4EAA4E;YAC5E,IAAI,aAAa,IAAI,GAAG,KAAK,aAAa,CAAC,GAAG,EAAE,CAAC;gBAC/C,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,aAAa,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;gBAC3E,OAAO,OAAO,CAAC,QAAQ,CAAC;YAC1B,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9B,MAAM,SAAS,GAAG,MAAM,oBAAoB,CAAC,GAAG,EAAE;gBAChD,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,eAAe;gBACxC,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,WAAW;gBACjC,GAAG,EAAE,IAAI,CAAC,GAAG;aACd,CAAC,CAAC;YACH,4EAA4E;YAC5E,sEAAsE;YACtE,OAAO,SAAS,CAAC,QAAQ,CAAC;QAC5B,CAAC;QACD,2EAA2E;QAC3E,8EAA8E;QAC9E,+EAA+E;QAC/E,6EAA6E;QAC7E,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE;YAClB,0EAA0E;YAC1E,0EAA0E;YAC1E,IAAI,aAAa,IAAI,GAAG,KAAK,aAAa,CAAC,GAAG,EAAE,CAAC;gBAC/C,MAAM,CAAC,GAAG,iBAAiB,CAAC,aAAa,CAAC,CAAC;gBAC3C,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;YACpD,CAAC;YACD,MAAM,CAAC,GAAG,mBAAmB,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;YACxF,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QACpD,CAAC;KACF,CAAC,CACH,CAAC;IACF,gFAAgF;IAChF,iFAAiF;IACjF,mFAAmF;IACnF,iFAAiF;IACjF,iFAAiF;IACjF,yFAAyF;IACzF,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,kBAAkB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;IACjF,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1F,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,CAAC"}

package/dist/shell/main-mcp.js

@@ -0,0 +1,129 @@
+// FCIS rewrite — MCP control-plane construction for the composition root (shell).
+//
+// Sliced out of src/shell/main.ts (mirroring main-adapters / main-reconcilers /
+// main-http-handler) so the root keeps under the max-lines budget. This builds the
+// per-issue MCP runtime (createMcpRuntime) — the in-VM agent's
+// transition / request_human_steering / propose_issue `tools/call` control plane —
+// plus the single `applyMcpEffect` the central effect interpreter routes the
+// `mcp_tool` family through.
+//
+// It imports NO core (only the root may) — the pure deciders arrive as the
+// injected `McpCore` bundle (validateEnvelope / routeFraming / decideToolCall /
+// foldPostMove + the JSON-RPC error constructors/codes). The IO half is the
+// tracker move/write surface + the deterministic seams (random/crypto/clock).
+//
+// The two effects the runtime actually executes (move_state, write_issue) are
+// driven by ONE `applyMcpEffect`, shared between the runtime's McpEffectExec and
+// the interpreter's `mcp_tool` family so a core-emitted MCP effect and a runtime
+// tools/call land the same tracker IO. write_issue is dispatched WITHOUT an
+// identifier so the tracker's collision-pick assigns the next free numeric id
+// (the §2i overwrite-bug fix) rather than overwriting `<holding>/1.md`.
+//
+// Shell rule: imports from src/types/** ONLY (+ the sibling runtime factory).
+import { createMcpRuntime } from './server/mcp-runtime.js';
+/** Fold the loose pure-CORE deciders the root bound into the McpCore bundle the
+ *  runtime closes over (keeps the root from hand-building the literal inline). */
+function assembleMcpCore(parts) {
+    return {
+        validateEnvelope: parts.validateEnvelope,
+        extractId: parts.extractId,
+        routeFraming: parts.routeFraming,
+        makeError: parts.makeError,
+        decideToolCall: parts.decideToolCall,
+        foldPostMove: parts.foldPostMove,
+        IssueNotActive: parts.errorCodes.IssueNotActive,
+        InvalidToken: parts.errorCodes.InvalidToken,
+        InvalidRequest: parts.errorCodes.InvalidRequest,
+        InternalError: parts.errorCodes.InternalError,
+    };
+}
+/**
+ * Build the single applier the EffectInterpreter's `mcp_tool` family routes one
+ * McpEffect through, and the MCP runtime's McpEffectExec.moveState delegates to.
+ * It interprets the `move_state` effect against the tracker disk:
+ *   move_state → tracker.moveIssueToState → { kind:'moved' } | { kind:'move_failed' }
+ * `write_issue` (the propose path) carries title/labels/priority but NOT the
+ * landing root/state — those are resolved by the runtime's `writeIssue` exec
+ * (the pinned tracker root + the live holding state), so a bare write_issue
+ * reaching this seam without that context cannot be served; it surfaces an honest
+ * move_failed. The remaining McpEffect kinds (stash/await/set/defer) are folded
+ * inside the interpreter and have no tracker IO.
+ */
+export function buildApplyMcpEffect(tracker) {
+    return async (effect) => {
+        if (effect.kind === 'move_state') {
+            try {
+                const moved = await tracker.moveIssueToState(effect.issueId, effect.toState, {
+                    ...(effect.fromRoot !== null ? { fromRoot: effect.fromRoot } : {}),
+                    ...(effect.fromState !== null ? { fromState: effect.fromState } : {}),
+                    notes: effect.notes,
+                    ...(effect.actor !== null ? { actor: effect.actor } : {}),
+                });
+                return { kind: 'moved', fromState: moved.fromState, toState: moved.toState, newPath: moved.newPath };
+            }
+            catch (err) {
+                return { kind: 'move_failed', message: err.message };
+            }
+        }
+        // write_issue needs the runtime-resolved landing state + pinned root (it goes
+        // through buildMcpRuntime's writeIssue exec); a context-less effect on this
+        // seam, plus stash/await/set_transitioned/defer_cleanup, have no tracker IO.
+        return { kind: 'move_failed', message: `mcp effect ${effect.kind} has no tracker IO on this seam` };
+    };
+}
+/**
+ * Build the per-issue MCP runtime + the shared `applyMcpEffect`. The runtime's
+ * McpEffectExec drives the SAME tracker IO as the interpreter family, but
+ * write_issue carries the resolved landing state + pinned tracker root the bare
+ * McpEffect lacks (so the runtime supplies them explicitly here).
+ */
+export function buildMcpRuntime(deps) {
+    const { core: coreParts, tracker, random, crypto, clock, log, getLiveCfg, derivePrMerge } = deps;
+    const core = assembleMcpCore(coreParts);
+    const applyMcpEffect = buildApplyMcpEffect(tracker);
+    const runtime = createMcpRuntime({
+        core,
+        random,
+        crypto,
+        clock,
+        log,
+        liveStates: () => getLiveCfg().states,
+        livePrMerge: () => derivePrMerge(getLiveCfg()),
+        exec: {
+            // move_state goes through the shared applier verbatim.
+            moveState: (effect) => applyMcpEffect(effect),
+            // write_issue: the runtime resolved the landing holding state + pinned root,
+            // so dispatch an identifier-less tracker write directly (collision-pick id).
+            // Stamp the parent provenance (proposed_by from core's `proposedBy`, proposed_at
+            // from the injected clock) as front matter so a proposed issue carries its
+            // origin the same way the dashboard renders it (finding #5).
+            writeIssue: async (effect, proposedAtIso, landingState, trackerRoot) => {
+                const written = await tracker.writeIssue({
+                    family: 'tracker',
+                    kind: 'write_issue',
+                    trackerRoot,
+                    state: landingState,
+                    title: effect.title,
+                    ...(effect.description !== null ? { description: effect.description } : {}),
+                    priority: effect.priority,
+                    labels: effect.labels,
+                    extraFrontMatter: { proposed_by: effect.proposedBy, proposed_at: proposedAtIso },
+                });
+                // The tracker's write_issue always resolves to the write_issue EffectResult
+                // variant (it throws on failure); narrow the broad union for the fold.
+                if (!('kind' in written) || written.kind !== 'write_issue') {
+                    return { kind: 'move_failed', message: 'tracker write_issue returned an unexpected result' };
+                }
+                return { kind: 'written', path: written.path, identifier: written.identifier };
+            },
+        },
+    });
+    // The HTTP control-plane surface (`McpHttpSurface`) the dashboard/REST handler
+    // dispatches the two agent-facing POST routes to is assembled by the composition
+    // root: `runtime.handleJsonRpc` for the bearer-authed tools/call JSON-RPC, plus an
+    // interpreter-backed `performSteering` for the steering-reply (the steering Effect
+    // can only be performed once the central interpreter — built after this — exists,
+    // and `runtime.steering` is injected into that interpreter's `steering` family).
+    return { runtime, applyMcpEffect };
+}
+//# sourceMappingURL=main-mcp.js.map

package/dist/shell/main-mcp.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main-mcp.js","sourceRoot":"","sources":["../../src/shell/main-mcp.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,EAAE;AACF,gFAAgF;AAChF,mFAAmF;AACnF,+DAA+D;AAC/D,mFAAmF;AACnF,6EAA6E;AAC7E,6BAA6B;AAC7B,EAAE;AACF,2EAA2E;AAC3E,gFAAgF;AAChF,4EAA4E;AAC5E,8EAA8E;AAC9E,EAAE;AACF,8EAA8E;AAC9E,iFAAiF;AACjF,iFAAiF;AACjF,4EAA4E;AAC5E,8EAA8E;AAC9E,wEAAwE;AACxE,EAAE;AACF,8EAA8E;AAW9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAI3D;kFACkF;AAClF,SAAS,eAAe,CAAC,KAAmB;IAC1C,OAAO;QACL,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,cAAc,EAAE,KAAK,CAAC,UAAU,CAAC,cAAc;QAC/C,YAAY,EAAE,KAAK,CAAC,UAAU,CAAC,YAAY;QAC3C,cAAc,EAAE,KAAK,CAAC,UAAU,CAAC,cAAc;QAC/C,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC,aAAa;KAC9C,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAA0B;IAC5D,OAAO,KAAK,EAAE,MAAiB,EAA4B,EAAE;QAC3D,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,gBAAiB,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE;oBAC5E,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAClE,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACrE,KAAK,EAAE,MAAM,CAAC,KAAK;oBACnB,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC1D,CAAC,CAAC;gBACH,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;YACvG,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;YAClE,CAAC;QACH,CAAC;QACD,8EAA8E;QAC9E,4EAA4E;QAC5E,6EAA6E;QAC7E,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,cAAc,MAAM,CAAC,IAAI,iCAAiC,EAAE,CAAC;IACtG,CAAC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,IAAyB;IACvD,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,aAAa,EAAE,GAAG,IAAI,CAAC;IACjG,MAAM,IAAI,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;IACxC,MAAM,cAAc,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAEpD,MAAM,OAAO,GAAG,gBAAgB,CAAC;QAC/B,IAAI;QACJ,MAAM;QACN,MAAM;QACN,KAAK;QACL,GAAG;QACH,UAAU,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,MAAM;QACrC,WAAW,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,EAAE;YACJ,uDAAuD;YACvD,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;YAC7C,6EAA6E;YAC7E,6EAA6E;YAC7E,iFAAiF;YACjF,2EAA2E;YAC3E,6DAA6D;YAC7D,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE;gBACrE,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC;oBACvC,MAAM,EAAE,SAAS;oBACjB,IAAI,EAAE,aAAa;oBACnB,WAAW;oBACX,KAAK,EAAE,YAAY;oBACnB,KAAK,EAAE,MAAM,CAAC,KAAK;oBACnB,GAAG,CAAC,MAAM,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3E,QAAQ,EAAE,MAAM,CAAC,QAAQ;oBACzB,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,gBAAgB,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE;iBACjF,CAAC,CAAC;gBACH,4EAA4E;gBAC5E,uEAAuE;gBACvE,IAAI,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAC3D,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,mDAAmD,EAAE,CAAC;gBAC/F,CAAC;gBACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;YACjF,CAAC;SACF;KACF,CAAC,CAAC;IAEH,+EAA+E;IAC/E,iFAAiF;IACjF,mFAAmF;IACnF,mFAAmF;IACnF,kFAAkF;IAClF,iFAAiF;IACjF,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;AACrC,CAAC"}