@svenroth-ai/shipwright 0.24.1-next.0

package/server/dist/core/mission-context/artifacts.js

@@ -0,0 +1,186 @@
+/*
+ * core/mission-context/artifacts.ts — build the Spec · Requirement · Commit
+ * descriptors for a resolved iterate (CONTRACT §6, Slice-1 subset).
+ *
+ * Register: Mission is FOR NON-EXPERTS. Every `summary` here is written to be
+ * read by someone who does not know the codebase — it says what the thing MEANS,
+ * not which file it came from. The raw document is secondary (right panel,
+ * below the summary).
+ *
+ * The 5-state model is applied per artifact, and the distinction that matters:
+ *   - `not_yet_created` — expected later in the lifecycle (mid-run commit).
+ *   - `unavailable`     — expected NOW but unresolvable (unreadable log, bad
+ *                         pointer). Renders a compact "currently unavailable".
+ * Collapsing those two would let a data-integrity fault read as "nothing
+ * happened yet", which is the exact lie the state model exists to prevent.
+ *
+ * Mid-run the Requirement artifact is `planned` impact ONLY — never labelled
+ * new/changed/technical before Finalize, because until then the run has not
+ * decided (§6 mid-run column).
+ */
+import { resolveFrList } from "./fold-map.js";
+import { declaredSpecImpact, plannedImpactFromSpec } from "./planned-impact.js";
+function plural(n, one, many) {
+    return `${n} ${n === 1 ? one : many}`;
+}
+export function buildSpecArtifact(input) {
+    if (input.documentId && input.title) {
+        return {
+            kind: "spec",
+            label: "Spec",
+            state: "available",
+            summary: input.intent ??
+                (input.fromWorktree
+                    ? "The plan this session is working to, as it stands right now."
+                    : "The plan this change was built to."),
+            receipt: input.title,
+            detail: { type: "document", documentId: input.documentId, title: input.title },
+        };
+    }
+    // Denied ≠ missing. A guard rejection is an integrity signal and must show.
+    if (input.denied) {
+        return {
+            kind: "spec",
+            label: "Spec",
+            state: "unavailable",
+            summary: null,
+            receipt: null,
+            note: "The plan document could not be read safely.",
+            detail: null,
+        };
+    }
+    return {
+        kind: "spec",
+        label: "Spec",
+        state: "not_yet_created",
+        summary: null,
+        receipt: null,
+        detail: null,
+    };
+}
+// ---------------------------------------------------------------------------
+// Requirement
+// ---------------------------------------------------------------------------
+function requirementSummary(rows, confidence) {
+    if (rows.length === 0)
+        return null;
+    const names = rows.map((r) => r.name ?? r.displayFrId);
+    const lead = names.length <= 2 ? names.join(" and ") : `${names[0]} and ${names.length - 1} more`;
+    return confidence === "planned"
+        ? `Expected to affect ${lead}.`
+        : `Changed ${lead} (${plural(rows.length, "requirement", "requirements")}).`;
+}
+export function buildRequirementArtifact(input) {
+    const { foldMap, events } = input;
+    // Direct builder consumers predate this signal; preserve their historical
+    // live-spec semantics while resolver callers always provide the fact.
+    const runLive = input.runLive ?? true;
+    // Prefer the per-run agent-doc when it actually carries FRs (rare but
+    // cleaner); otherwise fall back to work_completed (the common real path).
+    const eventRun = events.status === "found" ? events.run : null;
+    // `work_completed` is the only terminal source. The retained per-run summary
+    // is a bounded cache, so it may enrich old rows but must never make a live
+    // plan look recorded or override a completed event.
+    const rawAffected = eventRun?.affectedFrs ?? [];
+    const rawNew = eventRun?.newFrs ?? [];
+    const eventImpact = eventRun?.specImpact?.trim().toLowerCase() ?? null;
+    const plannedImpact = declaredSpecImpact(input.specText);
+    const specImpact = eventRun ? eventImpact : plannedImpact;
+    // A read failure is neither a live plan nor a completed record. Do this
+    // before consulting the iterate spec so a historical Mission cannot be
+    // described as merely planned when its terminal evidence is unreadable.
+    if (events.status === "unavailable") {
+        return {
+            kind: "requirement",
+            label: "Requirement",
+            state: "unavailable",
+            summary: null,
+            receipt: null,
+            note: "The run record could not be read.",
+            detail: null,
+        };
+    }
+    // Finalized the moment a durable record exists for this run; otherwise the
+    // run is still deciding, so anything we show is PLANNED.
+    const finalized = Boolean(eventRun);
+    // Mid-run there is no record — fall back to what the spec PLANS to touch, so
+    // a live iterate still shows a real Requirement (AC1) instead of a blank.
+    // The scan is SCOPED to the spec's affected-boundaries section; a
+    // document-wide scrape reported References and citations as impact.
+    const recorded = [...rawAffected, ...rawNew];
+    const usingPlanned = !finalized && runLive && recorded.length === 0 && specImpact !== "none";
+    const planned = usingPlanned
+        ? plannedImpactFromSpec(input.specText)
+        : { frIds: [], prose: null };
+    const rows = resolveFrList(foldMap, usingPlanned ? planned.frIds : recorded);
+    const confidence = rows.length === 0 ? "unresolved" : usingPlanned ? "planned" : "finalized";
+    const lifecycle = finalized ? (specImpact === "none" ? "none" : "recorded") : !runLive ? "discovering" :
+        specImpact === "none" ? "none" : usingPlanned && (rows.length > 0 || planned.prose) ? "planned" : "discovering";
+    // Without a live worktree or terminal record, Mission knows the identity but
+    // cannot claim a plan or completion. Preserve that ambiguity explicitly.
+    if (!finalized && !runLive) {
+        return {
+            kind: "requirement",
+            label: "Requirement",
+            state: "available",
+            summary: "Discovering affected requirements.",
+            receipt: "discovering",
+            detail: { type: "requirements", confidence: "unresolved", lifecycle: "discovering", rows: [], specImpact: null, sourceDocument: input.sourceDocument ?? null },
+        };
+    }
+    // Explicit NONE is authoritative. Stale ids in a producer payload must not
+    // turn a declared no-requirement change into a contradictory requirement row.
+    if (specImpact === "none") {
+        return {
+            kind: "requirement",
+            label: "Requirement",
+            state: "available",
+            summary: "No requirement changed.",
+            receipt: "no requirement change",
+            detail: { type: "requirements", confidence: finalized ? "finalized" : "unresolved", lifecycle: "none", rows: [], specImpact, sourceDocument: input.sourceDocument ?? null },
+        };
+    }
+    if (rows.length > 0) {
+        return {
+            kind: "requirement",
+            label: "Requirement",
+            state: "available",
+            summary: requirementSummary(rows, confidence),
+            receipt: rows.map((r) => r.displayFrId).join(", "),
+            detail: { type: "requirements", confidence, lifecycle, rows, specImpact, sourceDocument: input.sourceDocument ?? null },
+        };
+    }
+    // Mid-run with no resolvable FR id: carry the spec's own PLANNED-IMPACT prose
+    // rather than falling into a hidden state. AC1 requires a live iterate to
+    // show a non-empty Requirement, and an id-only model failed it SILENTLY for
+    // every spec that describes its impact in words (internal review, MEDIUM).
+    if (usingPlanned && planned.prose) {
+        return {
+            kind: "requirement",
+            label: "Requirement",
+            state: "available",
+            summary: `Planned impact — ${planned.prose}`,
+            receipt: "planned impact",
+            detail: { type: "requirements", confidence: "planned", lifecycle: "planned", rows: [], specImpact, sourceDocument: input.sourceDocument ?? null },
+        };
+    }
+    if (!finalized) {
+        return {
+            kind: "requirement",
+            label: "Requirement",
+            state: "available",
+            summary: "Discovering affected requirements.",
+            receipt: "discovering",
+            detail: { type: "requirements", confidence: "unresolved", lifecycle: "discovering", rows: [], specImpact: null, sourceDocument: input.sourceDocument ?? null },
+        };
+    }
+    return {
+        kind: "requirement",
+        label: "Requirement",
+        state: "available",
+        summary: "Recorded requirement impact, but individual requirements could not be identified.",
+        receipt: "recorded impact",
+        detail: { type: "requirements", confidence: "unresolved", lifecycle: "recorded", rows: [], specImpact, sourceDocument: input.sourceDocument ?? null },
+    };
+}
+//# sourceMappingURL=artifacts.js.map

package/server/dist/core/mission-context/artifacts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifacts.js","sourceRoot":"","sources":["../../../src/core/mission-context/artifacts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AASH,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAIhF,SAAS,MAAM,CAAC,CAAS,EAAE,GAAW,EAAE,IAAY;IAClD,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACxC,CAAC;AAmBD,MAAM,UAAU,iBAAiB,CAAC,KAAgB;IAChD,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QACpC,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,MAAM;YACb,KAAK,EAAE,WAAW;YAClB,OAAO,EACL,KAAK,CAAC,MAAM;gBACZ,CAAC,KAAK,CAAC,YAAY;oBACjB,CAAC,CAAC,8DAA8D;oBAChE,CAAC,CAAC,oCAAoC,CAAC;YAC3C,OAAO,EAAE,KAAK,CAAC,KAAK;YACpB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE;SAC/E,CAAC;IACJ,CAAC;IAED,4EAA4E;IAC5E,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,MAAM;YACb,KAAK,EAAE,aAAa;YACpB,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,IAAI;YACb,IAAI,EAAE,6CAA6C;YACnD,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,iBAAiB;QACxB,OAAO,EAAE,IAAI;QACb,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,IAAI;KACb,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,SAAS,kBAAkB,CAAC,IAAa,EAAE,UAAiC;IAC1E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC;IAClG,OAAO,UAAU,KAAK,SAAS;QAC7B,CAAC,CAAC,sBAAsB,IAAI,GAAG;QAC/B,CAAC,CAAC,WAAW,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,EAAE,cAAc,CAAC,IAAI,CAAC;AACjF,CAAC;AAeD,MAAM,UAAU,wBAAwB,CAAC,KAAuB;IAC9D,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAClC,0EAA0E;IAC1E,sEAAsE;IACtE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC;IAEtC,sEAAsE;IACtE,0EAA0E;IAC1E,MAAM,QAAQ,GAAyB,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IACrF,6EAA6E;IAC7E,2EAA2E;IAC3E,oDAAoD;IACpD,MAAM,WAAW,GAAG,QAAQ,EAAE,WAAW,IAAI,EAAE,CAAC;IAChD,MAAM,MAAM,GAAG,QAAQ,EAAE,MAAM,IAAI,EAAE,CAAC;IACtC,MAAM,WAAW,GAAG,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC;IACvE,MAAM,aAAa,GAAG,kBAAkB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC;IAE1D,wEAAwE;IACxE,uEAAuE;IACvE,wEAAwE;IACxE,IAAI,MAAM,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACpC,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,aAAa;YACpB,KAAK,EAAE,aAAa;YACpB,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,IAAI;YACb,IAAI,EAAE,mCAAmC;YACzC,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,yDAAyD;IACzD,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEpC,6EAA6E;IAC7E,0EAA0E;IAC1E,kEAAkE;IAClE,oEAAoE;IACpE,MAAM,QAAQ,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,MAAM,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,CAAC,SAAS,IAAI,OAAO,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,KAAK,MAAM,CAAC;IAC7F,MAAM,OAAO,GAAG,YAAY;QAC1B,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC;QACvC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAE7E,MAAM,UAAU,GACd,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC;IAC5E,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QACtG,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC;IAElH,6EAA6E;IAC7E,yEAAyE;IACzE,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3B,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,aAAa;YACpB,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,oCAAoC;YAC7C,OAAO,EAAE,aAAa;YACtB,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,IAAI,EAAE;SAC/J,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,8EAA8E;IAC9E,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,aAAa;YACpB,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,yBAAyB;YAClC,OAAO,EAAE,uBAAuB;YAChC,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,IAAI,EAAE;SAC5K,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,aAAa;YACpB,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,kBAAkB,CAAC,IAAI,EAAE,UAAU,CAAC;YAC7C,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAClD,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,IAAI,EAAE;SACxH,CAAC;IACJ,CAAC;IAED,8EAA8E;IAC9E,0EAA0E;IAC1E,4EAA4E;IAC5E,2EAA2E;IAC3E,IAAI,YAAY,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QAClC,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,aAAa;YACpB,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,oBAAoB,OAAO,CAAC,KAAK,EAAE;YAC5C,OAAO,EAAE,gBAAgB;YACzB,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,IAAI,EAAE;SAClJ,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,aAAa;YACpB,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,oCAAoC;YAC7C,OAAO,EAAE,aAAa;YACtB,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,IAAI,EAAE;SAC/J,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,KAAK,EAAE,aAAa;QACpB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,mFAAmF;QAC5F,OAAO,EAAE,iBAAiB;QAC1B,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,IAAI,EAAE;KACtJ,CAAC;AACJ,CAAC"}

package/server/dist/core/mission-context/association.d.ts

@@ -0,0 +1,27 @@
+import type { SdkSessionsStore } from "../sdk-sessions-store.js";
+import { type MissionContextAssociation } from "./types.js";
+/**
+ * Idempotent compare-and-set. Returns true ONLY when this call actually set the
+ * field — the caller then `await store.persist()`, which takes the
+ * proper-lockfile lock and 3-way merges (DO-NOT #6).
+ *
+ * Returns false (a silent no-op) for an unknown task, an already-associated
+ * task, or a malformed association.
+ */
+export declare function setMissionContextOnce(store: Pick<SdkSessionsStore, "get" | "patch">, taskId: string, association: MissionContextAssociation): boolean;
+/**
+ * Roll back an association that was set in memory but FAILED to persist
+ * (external code review, openai HIGH, 2026-07-18).
+ *
+ * Without this the compare-and-set is a trap: `setMissionContextOnce` patches
+ * the in-memory task, `persist()` then throws (an ELOCKED from a concurrent
+ * instance is the realistic case), and every later poll sees a populated
+ * `missionContext` and skips the write forever. The association would never
+ * reach disk — reintroducing exactly the pruned-pointer data loss it exists to
+ * prevent, while looking healthy in memory.
+ *
+ * Only reverts when the field still holds the association WE set, so a
+ * concurrent writer's value is never clobbered.
+ */
+export declare function revertMissionContext(store: Pick<SdkSessionsStore, "get" | "patch">, taskId: string, attempted: MissionContextAssociation): void;
+//# sourceMappingURL=association.d.ts.map

package/server/dist/core/mission-context/association.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"association.d.ts","sourceRoot":"","sources":["../../../src/core/mission-context/association.ts"],"names":[],"mappings":"AAyBA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAA+B,KAAK,yBAAyB,EAAE,MAAM,YAAY,CAAC;AAEzF;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE,KAAK,GAAG,OAAO,CAAC,EAC9C,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,yBAAyB,GACrC,OAAO,CAOT;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE,KAAK,GAAG,OAAO,CAAC,EAC9C,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,yBAAyB,GACnC,IAAI,CAMN"}

package/server/dist/core/mission-context/association.js

@@ -0,0 +1,69 @@
+/*
+ * core/mission-context/association.ts — THE one guarded association write
+ * (CONTRACT §5).
+ *
+ * Lives outside `sdk-sessions-store.ts` for two reasons: that file is a
+ * grandfathered bloat entry that must not grow, and — more usefully — keeping
+ * the single lifecycle write in its own module makes it auditable in one place
+ * instead of buried among the store's CRUD.
+ *
+ * Why the write exists at all: `prune_stale_run_pointers` deletes
+ * `.shipwright/iterate_active/<uuid>.json` once the worktree is gone, so the
+ * bridge that identifies the run is TEMPORARY. If the run_id is not captured
+ * while the iterate is observable, a session whose UI was never open during the
+ * run can never be resolved again (Review-2 Gemini/GPT called the lazy
+ * GET-persist alternative "guaranteed data loss").
+ *
+ * Why it is ONCE-only, not per-GET:
+ *   - a read endpoint that mutates on every poll would churn the store file
+ *     roughly once a second per open tab, and
+ *   - an existing association is never overwritten, not even by a different
+ *     run_id. A task belongs to the first iterate observed running under it;
+ *     a later pointer naming a different run means something is wrong upstream,
+ *     and silently rewriting history is the wrong way to resolve that.
+ */
+import { isMissionContextAssociation } from "./types.js";
+/**
+ * Idempotent compare-and-set. Returns true ONLY when this call actually set the
+ * field — the caller then `await store.persist()`, which takes the
+ * proper-lockfile lock and 3-way merges (DO-NOT #6).
+ *
+ * Returns false (a silent no-op) for an unknown task, an already-associated
+ * task, or a malformed association.
+ */
+export function setMissionContextOnce(store, taskId, association) {
+    const task = store.get(taskId);
+    if (!task)
+        return false;
+    if (task.missionContext)
+        return false;
+    if (!isMissionContextAssociation(association))
+        return false;
+    store.patch(taskId, { missionContext: association });
+    return true;
+}
+/**
+ * Roll back an association that was set in memory but FAILED to persist
+ * (external code review, openai HIGH, 2026-07-18).
+ *
+ * Without this the compare-and-set is a trap: `setMissionContextOnce` patches
+ * the in-memory task, `persist()` then throws (an ELOCKED from a concurrent
+ * instance is the realistic case), and every later poll sees a populated
+ * `missionContext` and skips the write forever. The association would never
+ * reach disk — reintroducing exactly the pruned-pointer data loss it exists to
+ * prevent, while looking healthy in memory.
+ *
+ * Only reverts when the field still holds the association WE set, so a
+ * concurrent writer's value is never clobbered.
+ */
+export function revertMissionContext(store, taskId, attempted) {
+    const task = store.get(taskId);
+    if (!task?.missionContext)
+        return;
+    if (task.missionContext.runId !== attempted.runId)
+        return;
+    if (task.missionContext.observedAt !== attempted.observedAt)
+        return;
+    store.patch(taskId, { missionContext: undefined });
+}
+//# sourceMappingURL=association.js.map

package/server/dist/core/mission-context/association.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"association.js","sourceRoot":"","sources":["../../../src/core/mission-context/association.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,EAAE,2BAA2B,EAAkC,MAAM,YAAY,CAAC;AAEzF;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAA8C,EAC9C,MAAc,EACd,WAAsC;IAEtC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC/B,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,IAAI,CAAC,cAAc;QAAE,OAAO,KAAK,CAAC;IACtC,IAAI,CAAC,2BAA2B,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5D,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC,CAAC;IACrD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAA8C,EAC9C,MAAc,EACd,SAAoC;IAEpC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC/B,IAAI,CAAC,IAAI,EAAE,cAAc;QAAE,OAAO;IAClC,IAAI,IAAI,CAAC,cAAc,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK;QAAE,OAAO;IAC1D,IAAI,IAAI,CAAC,cAAc,CAAC,UAAU,KAAK,SAAS,CAAC,UAAU;QAAE,OAAO;IACpE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC,CAAC;AACrD,CAAC"}

package/server/dist/core/mission-context/campaign-artifacts.d.ts

@@ -0,0 +1,9 @@
+import { type CampaignFact, type ResolvedDoc } from "./campaign-facts.js";
+import type { CampaignProgressArtifact, CampaignRunbookArtifact, SpecArtifact, SubIterateArtifact } from "./types.js";
+export { selectActiveStep, type CampaignFact, type CampaignFacts, type CampaignProvenanceFacts, type CampaignStepFacts, type ResolvedDoc, } from "./campaign-facts.js";
+/** The campaign BRIEF (`campaign.md`) occupies the rail's `spec` slot. */
+export declare function buildCampaignBriefArtifact(fact: CampaignFact, doc: ResolvedDoc | null): SpecArtifact;
+export declare function buildRunbookArtifact(fact: CampaignFact, doc: ResolvedDoc | null): CampaignRunbookArtifact;
+export declare function buildCampaignProgressArtifact(fact: CampaignFact, activeId: string | null): CampaignProgressArtifact;
+export declare function buildSubIterateArtifact(fact: CampaignFact, doc: ResolvedDoc | null): SubIterateArtifact;
+//# sourceMappingURL=campaign-artifacts.d.ts.map

package/server/dist/core/mission-context/campaign-artifacts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"campaign-artifacts.d.ts","sourceRoot":"","sources":["../../../src/core/mission-context/campaign-artifacts.ts"],"names":[],"mappings":"AAsBA,OAAO,EAGL,KAAK,YAAY,EAGjB,KAAK,WAAW,EACjB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EACV,wBAAwB,EACxB,uBAAuB,EAEvB,YAAY,EACZ,kBAAkB,EAEnB,MAAM,YAAY,CAAC;AAIpB,OAAO,EACL,gBAAgB,EAChB,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,uBAAuB,EAC5B,KAAK,iBAAiB,EACtB,KAAK,WAAW,GACjB,MAAM,qBAAqB,CAAC;AAc7B,0EAA0E;AAC1E,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,YAAY,EAClB,GAAG,EAAE,WAAW,GAAG,IAAI,GACtB,YAAY,CAsBd;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,YAAY,EAClB,GAAG,EAAE,WAAW,GAAG,IAAI,GACtB,uBAAuB,CA2BzB;AASD,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,YAAY,EAClB,QAAQ,EAAE,MAAM,GAAG,IAAI,GACtB,wBAAwB,CA8C1B;AAwCD,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,YAAY,EAClB,GAAG,EAAE,WAAW,GAAG,IAAI,GACtB,kBAAkB,CA6CpB"}

package/server/dist/core/mission-context/campaign-artifacts.js

@@ -0,0 +1,195 @@
+/*
+ * core/mission-context/campaign-artifacts.ts — NATIVE artifacts for a campaign
+ * session (CONTRACT §4 scenario 5, §10 Slice 3).
+ *
+ * S1 recognised a campaign (a `campaign:<slug>` title backed by a REAL record —
+ * a title alone is not evidence) but left it on "today's behavior". This module
+ * resolves it properly, and the split it maintains is a CONTRACT requirement:
+ *
+ *   CAMPAIGN-LEVEL   `spec` (the campaign brief) · `campaign_runbook` ·
+ *                    `campaign_progress`
+ *   SUB-ITERATE      `sub_iterate` — the ONE active unit, with its own spec
+ *
+ * Keeping those apart is not presentation polish. A campaign of eight units has
+ * eight sets of results, and a reader who mistakes one unit's commit for the
+ * campaign's has been actively misled.
+ *
+ * Test counts are `number | null` and null NEVER renders as zero. `status.json`
+ * leaves them null for a unit that has not reported; "0 of 0 tests passed" would
+ * be a fabricated pass — the exact shape of the S2 review finding where an
+ * unreadable count folded into "raised no issues".
+ */
+import { provenanceNote, selectActiveStep, } from "./campaign-facts.js";
+// The vocabulary + the selection rule now live in `campaign-facts.ts`;
+// re-exported so no consumer's import site moved.
+export { selectActiveStep, } from "./campaign-facts.js";
+function unavailable(kind, label, note) {
+    return { kind, label, state: "unavailable", summary: null, receipt: null, note, detail: null };
+}
+// ---------------------------------------------------------------------------
+// Campaign level
+// ---------------------------------------------------------------------------
+/** The campaign BRIEF (`campaign.md`) occupies the rail's `spec` slot. */
+export function buildCampaignBriefArtifact(fact, doc) {
+    if (fact.status === "unavailable") {
+        return unavailable("spec", "Campaign brief", "This campaign's records could not be read.");
+    }
+    if (!doc) {
+        return {
+            kind: "spec",
+            label: "Campaign brief",
+            state: "not_yet_created",
+            summary: null,
+            receipt: null,
+            detail: null,
+        };
+    }
+    return {
+        kind: "spec",
+        label: "Campaign brief",
+        state: "available",
+        summary: fact.campaign.intent ?? "What this campaign as a whole set out to do.",
+        receipt: doc.title,
+        detail: { type: "document", documentId: doc.documentId, title: doc.title },
+    };
+}
+export function buildRunbookArtifact(fact, doc) {
+    if (fact.status === "unavailable") {
+        return unavailable("campaign_runbook", "Runbook", "This campaign's records could not be read.");
+    }
+    if (!doc) {
+        // Many campaigns genuinely have no runbook. A real absence, so it hides.
+        return {
+            kind: "campaign_runbook",
+            label: "Runbook",
+            state: "not_applicable",
+            summary: null,
+            receipt: null,
+            detail: null,
+        };
+    }
+    return {
+        kind: "campaign_runbook",
+        label: "Runbook",
+        state: "available",
+        summary: "The rules every unit of this campaign runs under.",
+        receipt: doc.title,
+        detail: { type: "document", documentId: doc.documentId, title: doc.title },
+    };
+}
+function progressSummary(c, activeId) {
+    if (c.total === 0)
+        return "This campaign has no units recorded yet.";
+    if (c.done >= c.total)
+        return `All ${c.total} units are complete.${provenanceNote(c)}`;
+    const tail = activeId ? ` Currently on ${activeId}.` : "";
+    return `${c.done} of ${c.total} units complete.${tail}${provenanceNote(c)}`;
+}
+export function buildCampaignProgressArtifact(fact, activeId) {
+    if (fact.status === "unavailable") {
+        return unavailable("campaign_progress", "Campaign progress", "This campaign's records could not be read, so its progress is unknown.");
+    }
+    const c = fact.campaign;
+    // ZERO units AND a read that failed is not an empty campaign — it is a
+    // campaign we could not count. "This campaign has no units recorded yet."
+    // is a fact, and we do not have it. (Reachable when campaign.md parses to no
+    // table AND status.json is torn: the store still returns a campaign object,
+    // so `unavailable` never fired and the empty phrasing did.)
+    if (c.total === 0 && c.provenance.degraded) {
+        return unavailable("campaign_progress", "Campaign progress", "This campaign's records could not be read, so how far along it is could not be established.");
+    }
+    const rows = c.steps.map((s) => ({
+        id: s.id,
+        title: s.title,
+        status: s.status,
+        active: s.id === activeId,
+    }));
+    return {
+        kind: "campaign_progress",
+        label: "Campaign progress",
+        state: "available",
+        summary: progressSummary(c, activeId),
+        receipt: `${c.done}/${c.total} complete`,
+        detail: {
+            type: "campaign_progress",
+            slug: c.slug,
+            lifecycle: c.lifecycle,
+            branchStrategy: c.branchStrategy,
+            done: c.done,
+            total: c.total,
+            rows,
+        },
+    };
+}
+// ---------------------------------------------------------------------------
+// Sub-iterate level
+// ---------------------------------------------------------------------------
+/**
+ * The status sentence, with its basis attached.
+ *
+ * "It is running now." is a claim about the present, and it was being made from
+ * whatever source happened to answer. The claim is still made — the fallback is
+ * useful — but it now carries where it came from.
+ */
+function subIterateSummary(step, selectedBy, c) {
+    const name = `${step.id} — ${step.title}`;
+    // THIS unit's own source, not the campaign's. A campaign whose status.json
+    // names S1 but not S2 reports `status_json` overall, and qualifying S2's
+    // claim with that would vouch for a row the live file never mentioned
+    // (external plan review, openai HIGH #5).
+    const basis = provenanceNote(c, step.statusSource);
+    switch (step.status) {
+        case "in_progress":
+            return `${name} is running now.${basis}`;
+        case "complete":
+            return selectedBy === "last_complete"
+                ? `${name} was the last unit, and it is complete.${basis}`
+                : `${name} is complete.${basis}`;
+        case "failed":
+            return `${name} failed and is what the campaign is waiting on.${basis}`;
+        case "escalated":
+            return `${name} was escalated for a human decision.${basis}`;
+        default:
+            return `${name} has not started yet.${basis}`;
+    }
+}
+export function buildSubIterateArtifact(fact, doc) {
+    const label = "Current unit";
+    if (fact.status === "unavailable") {
+        return unavailable("sub_iterate", label, "This campaign's records could not be read, so its current unit is unknown.");
+    }
+    const picked = selectActiveStep(fact.campaign.steps);
+    if (!picked) {
+        // The campaign record parsed and lists no units. A real, honest absence.
+        return {
+            kind: "sub_iterate",
+            label,
+            state: "not_applicable",
+            summary: null,
+            receipt: null,
+            detail: null,
+        };
+    }
+    const { step, selectedBy } = picked;
+    return {
+        kind: "sub_iterate",
+        label,
+        state: "available",
+        summary: subIterateSummary(step, selectedBy, fact.campaign),
+        receipt: step.id,
+        detail: {
+            type: "sub_iterate",
+            id: step.id,
+            title: step.title,
+            status: step.status,
+            selectedBy,
+            documentId: doc?.documentId ?? null,
+            documentTitle: doc?.title ?? null,
+            commit: step.commit,
+            branch: step.branch,
+            testsPassed: step.testsPassed,
+            testsTotal: step.testsTotal,
+        },
+    };
+}
+//# sourceMappingURL=campaign-artifacts.js.map

package/server/dist/core/mission-context/campaign-artifacts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"campaign-artifacts.js","sourceRoot":"","sources":["../../../src/core/mission-context/campaign-artifacts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EACL,cAAc,EACd,gBAAgB,GAKjB,MAAM,qBAAqB,CAAC;AAU7B,uEAAuE;AACvE,kDAAkD;AAClD,OAAO,EACL,gBAAgB,GAMjB,MAAM,qBAAqB,CAAC;AAE7B,SAAS,WAAW,CAClB,IAAO,EACP,KAAa,EACb,IAAY;IAEZ,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACjG,CAAC;AAED,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E,0EAA0E;AAC1E,MAAM,UAAU,0BAA0B,CACxC,IAAkB,EAClB,GAAuB;IAEvB,IAAI,IAAI,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QAClC,OAAO,WAAW,CAAC,MAAM,EAAE,gBAAgB,EAAE,4CAA4C,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,gBAAgB;YACvB,KAAK,EAAE,iBAAiB;YACxB,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,gBAAgB;QACvB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,8CAA8C;QAC/E,OAAO,EAAE,GAAG,CAAC,KAAK;QAClB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE;KAC3E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAkB,EAClB,GAAuB;IAEvB,IAAI,IAAI,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QAClC,OAAO,WAAW,CAChB,kBAAkB,EAClB,SAAS,EACT,4CAA4C,CAC7C,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,yEAAyE;QACzE,OAAO;YACL,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE,SAAS;YAChB,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,KAAK,EAAE,SAAS;QAChB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,mDAAmD;QAC5D,OAAO,EAAE,GAAG,CAAC,KAAK;QAClB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE;KAC3E,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,CAAgB,EAAE,QAAuB;IAChE,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC;QAAE,OAAO,0CAA0C,CAAC;IACrE,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK;QAAE,OAAO,OAAO,CAAC,CAAC,KAAK,uBAAuB,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;IACvF,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,iBAAiB,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1D,OAAO,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,mBAAmB,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,IAAkB,EAClB,QAAuB;IAEvB,IAAI,IAAI,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QAClC,OAAO,WAAW,CAChB,mBAAmB,EACnB,mBAAmB,EACnB,wEAAwE,CACzE,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;IAExB,uEAAuE;IACvE,0EAA0E;IAC1E,6EAA6E;IAC7E,4EAA4E;IAC5E,4DAA4D;IAC5D,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC3C,OAAO,WAAW,CAChB,mBAAmB,EACnB,mBAAmB,EACnB,6FAA6F,CAC9F,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAA4B,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxD,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,QAAQ;KAC1B,CAAC,CAAC,CAAC;IAEJ,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,KAAK,EAAE,mBAAmB;QAC1B,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC;QACrC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,WAAW;QACxC,MAAM,EAAE;YACN,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,IAAI;SACL;KACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;;;;;GAMG;AACH,SAAS,iBAAiB,CACxB,IAAuB,EACvB,UAA+B,EAC/B,CAAgB;IAEhB,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;IAC1C,2EAA2E;IAC3E,yEAAyE;IACzE,sEAAsE;IACtE,0CAA0C;IAC1C,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IACnD,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QACpB,KAAK,aAAa;YAChB,OAAO,GAAG,IAAI,mBAAmB,KAAK,EAAE,CAAC;QAC3C,KAAK,UAAU;YACb,OAAO,UAAU,KAAK,eAAe;gBACnC,CAAC,CAAC,GAAG,IAAI,0CAA0C,KAAK,EAAE;gBAC1D,CAAC,CAAC,GAAG,IAAI,gBAAgB,KAAK,EAAE,CAAC;QACrC,KAAK,QAAQ;YACX,OAAO,GAAG,IAAI,kDAAkD,KAAK,EAAE,CAAC;QAC1E,KAAK,WAAW;YACd,OAAO,GAAG,IAAI,uCAAuC,KAAK,EAAE,CAAC;QAC/D;YACE,OAAO,GAAG,IAAI,wBAAwB,KAAK,EAAE,CAAC;IAClD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,IAAkB,EAClB,GAAuB;IAEvB,MAAM,KAAK,GAAG,cAAc,CAAC;IAE7B,IAAI,IAAI,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QAClC,OAAO,WAAW,CAChB,aAAa,EACb,KAAK,EACL,4EAA4E,CAC7E,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,yEAAyE;QACzE,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,KAAK;YACL,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC;IACpC,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,KAAK;QACL,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC;QAC3D,OAAO,EAAE,IAAI,CAAC,EAAE;QAChB,MAAM,EAAE;YACN,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,UAAU;YACV,UAAU,EAAE,GAAG,EAAE,UAAU,IAAI,IAAI;YACnC,aAAa,EAAE,GAAG,EAAE,KAAK,IAAI,IAAI;YACjC,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,UAAU,EAAE,IAAI,CAAC,UAAU;SAC5B;KACF,CAAC;AACJ,CAAC"}

package/server/dist/core/mission-context/campaign-facts.d.ts

@@ -0,0 +1,99 @@
+import type { SubIterateSelection } from "./types.js";
+/** One sub-iterate as the campaign's own records describe it. */
+export interface CampaignStepFacts {
+    id: string;
+    title: string;
+    status: string;
+    /**
+     * Where THIS unit's status came from — per-unit, because the claim it
+     * qualifies is per-unit. A campaign can mix: `status.json` naming S1 but not
+     * S2 makes S1's status live and S2's a plan-table row, and a campaign-level
+     * flag would vouch for both (external plan review, openai HIGH #5).
+     */
+    statusSource: "status_json" | "campaign_md" | "events" | "default";
+    /** Project-root-relative POSIX path to this unit's spec; null when absent. */
+    specPath: string | null;
+    commit: string | null;
+    branch: string | null;
+    testsPassed: number | null;
+    testsTotal: number | null;
+}
+/**
+ * How much weight the facts below can carry.
+ *
+ * `campaign-store` falls back from the live `status.json` to the `campaign.md`
+ * table when the former is missing or torn. That fallback is useful and stays —
+ * but it used to be SILENT, so "S2 is running now" could be rendered from a
+ * hand-maintained plan document while the live status file was unreadable, with
+ * nothing on screen saying so. These two fields are what make that visible.
+ */
+export interface CampaignProvenanceFacts {
+    statusSource: "status_json" | "campaign_md" | "events" | "none";
+    /** A source EXISTED and could not be read. Absent ≠ degraded. */
+    degraded: boolean;
+    /** WHICH source, so a disclosure never names the wrong file. */
+    statusJsonState: "ok" | "absent" | "unreadable";
+    campaignMdUnreadable: boolean;
+}
+export interface CampaignFacts {
+    slug: string;
+    intent: string | null;
+    lifecycle: string | null;
+    branchStrategy: string | null;
+    done: number;
+    total: number;
+    steps: CampaignStepFacts[];
+    provenance: CampaignProvenanceFacts;
+}
+/**
+ * `unavailable` means the campaign store could not be read — NOT that the
+ * campaign is empty. The distinction is the whole point of the state model.
+ */
+export type CampaignFact = {
+    status: "ok";
+    campaign: CampaignFacts;
+} | {
+    status: "unavailable";
+};
+/** A resolved, existence-checked document the resolver has minted an id for. */
+export interface ResolvedDoc {
+    documentId: string;
+    title: string;
+}
+/**
+ * Pick the ACTIVE sub-iterate, and record WHY.
+ *
+ * The basis travels on the wire (`selectedBy`) because "which one is running" is
+ * a claim, and a claim whose basis is invisible drifts without anyone noticing.
+ *
+ *   1. a unit explicitly `in_progress`               → that one
+ *   2. else the first unit that is not `complete`    → the one the campaign is
+ *      blocked on. `failed` and `escalated` land here on purpose: a stuck unit
+ *      IS the active one, and skipping past it would hide the problem.
+ *   3. else (everything complete) the LAST unit      → a finished campaign shows
+ *      where it ended rather than nothing at all.
+ */
+export declare function selectActiveStep(steps: readonly CampaignStepFacts[]): {
+    step: CampaignStepFacts;
+    selectedBy: SubIterateSelection;
+} | null;
+/**
+ * The one sentence that turns a silent fallback into an honest one.
+ *
+ * `campaign-store` drops from the live `status.json` to the `campaign.md` table
+ * when the former is missing or torn, and until this iterate that fallback left
+ * no trace: "S2 is running now" read identically whether it came from the live
+ * status file or from a plan document written days earlier. The three cases are
+ * genuinely different claims and get genuinely different words.
+ *
+ * Returns "" when the facts came from the live file — the common case must not
+ * be cluttered with a disclosure that says nothing.
+ */
+export declare function provenanceNote(c: CampaignFacts, 
+/**
+ * The SOURCE to qualify. For a per-unit claim this is that unit's own source,
+ * which can differ from the campaign's overall one; omit it for a
+ * campaign-wide claim and the campaign's own source is used.
+ */
+source?: CampaignStepFacts["statusSource"]): string;
+//# sourceMappingURL=campaign-facts.d.ts.map

package/server/dist/core/mission-context/campaign-facts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"campaign-facts.d.ts","sourceRoot":"","sources":["../../../src/core/mission-context/campaign-facts.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEtD,iEAAiE;AACjE,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf;;;;;OAKG;IACH,YAAY,EAAE,aAAa,GAAG,aAAa,GAAG,QAAQ,GAAG,SAAS,CAAC;IACnE,8EAA8E;IAC9E,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,uBAAuB;IACtC,YAAY,EAAE,aAAa,GAAG,aAAa,GAAG,QAAQ,GAAG,MAAM,CAAC;IAChE,iEAAiE;IACjE,QAAQ,EAAE,OAAO,CAAC;IAClB,gEAAgE;IAChE,eAAe,EAAE,IAAI,GAAG,QAAQ,GAAG,YAAY,CAAC;IAChD,oBAAoB,EAAE,OAAO,CAAC;CAC/B;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,UAAU,EAAE,uBAAuB,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,MAAM,YAAY,GACpB;IAAE,MAAM,EAAE,IAAI,CAAC;IAAC,QAAQ,EAAE,aAAa,CAAA;CAAE,GACzC;IAAE,MAAM,EAAE,aAAa,CAAA;CAAE,CAAC;AAE9B,gFAAgF;AAChF,MAAM,WAAW,WAAW;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,iBAAiB,EAAE,GAClC;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,UAAU,EAAE,mBAAmB,CAAA;CAAE,GAAG,IAAI,CAUrE;AAMD;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAC5B,CAAC,EAAE,aAAa;AAChB;;;;GAIG;AACH,MAAM,CAAC,EAAE,iBAAiB,CAAC,cAAc,CAAC,GACzC,MAAM,CAyDR"}