@svenroth-ai/shipwright 0.24.1-next.0

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

@@ -0,0 +1,168 @@
+/*
+ * core/mission-context/traceability.ts — read `test-traceability.json` (#289)
+ * and index it BY TEST FILE (CONTRACT §10 Slice-2, campaign
+ * 2026-07-18-mission-artifacts).
+ *
+ * The manifest is keyed the other way round — requirement → layer → tests — but
+ * the Tests artifact starts from a git diff, which speaks in FILE PATHS. So the
+ * index is inverted once, here, rather than re-scanned per changed file.
+ *
+ * MEASURED ON THIS REPO 2026-07-18: 917 KB, 29 requirements, 1038 test entries,
+ * layers `unit` + `e2e`. It is the largest input this feature reads and it is
+ * machine-generated, so the two failure modes that matter are SIZE and
+ * CORRUPTION. Both degrade to a typed `unavailable` (never a throw, never an
+ * unbounded parse) — and, critically, `unavailable` here does NOT mean "no
+ * tests". The git diff still knows which test files changed; losing the manifest
+ * only loses the requirement links, and the caller says so explicitly rather
+ * than reporting an empty test list (S1 review lesson: an absent-data path must
+ * never silently read as "nothing happened").
+ *
+ * `resolved_from` is the fold-provenance field: the manifest links a test to the
+ * SURVIVING parent FR while the source tag named the FOLDED id. Carrying it is
+ * what lets the UI render "mapped from FR-01.44" (Slice-2 AC2, covers monorepo
+ * `trg-5f6a4f74`).
+ */
+import { existsSync } from "node:fs";
+import path from "node:path";
+import { readBoundedFile } from "./fs-read.js";
+import { pathGuard } from "../path-guard.js";
+import { checkContractVersion, TRACEABILITY_SCHEMA_VERSION } from "../contract-version.js";
+export const TRACEABILITY_REL = ".shipwright/compliance/test-traceability.json";
+/** Hard cap — the real file is ~0.9 MB; 8 MB is generous and still bounded. */
+const MAX_MANIFEST_BYTES = 8 * 1024 * 1024;
+/**
+ * Cap on indexed test entries. A pathological manifest cannot make this loop
+ * (or the resulting Map) unbounded. Real: 1038.
+ */
+export const MAX_TEST_ENTRIES = 50_000;
+/** Absolute path to the manifest — used for `sourceRev` probing. */
+export function traceabilityPath(projectRoot) {
+    return path.join(projectRoot, ...TRACEABILITY_REL.split("/"));
+}
+/**
+ * A manifest test `id` is `<file path>::<test name>`. Only the FILE half joins
+ * against a git diff, so split on the FIRST `::` and normalise separators —
+ * git reports POSIX paths, the manifest may carry either.
+ */
+export function testIdToFile(id) {
+    if (typeof id !== "string" || id.length === 0)
+        return null;
+    const cut = id.indexOf("::");
+    const file = (cut === -1 ? id : id.slice(0, cut)).trim();
+    if (file.length === 0)
+        return null;
+    return file.replace(/\\/g, "/").replace(/^\.\//, "");
+}
+function addLink(entry, link) {
+    const existing = entry.frs.find((f) => f.frId === link.frId);
+    if (!existing) {
+        entry.frs.push(link);
+        return;
+    }
+    // Keep the fold provenance if ANY case on this file carried one — dropping it
+    // would silently lose the "mapped from" badge for a file whose first-seen
+    // case happened to be tagged with the survivor id directly.
+    if (!existing.mappedFrom && link.mappedFrom)
+        existing.mappedFrom = link.mappedFrom;
+}
+/**
+ * Read + invert the manifest. Never throws: every defect becomes a typed
+ * `unavailable` the caller renders honestly.
+ */
+export function readTraceabilityIndex(projectRoot, 
+/**
+ * Entry cap. Overridable ONLY so the truncation branch below has a direct
+ * test: a 50k-entry fixture would be absurd, and asserting the cap through a
+ * hand-built `{truncated: true}` downstream would still pass if this producer
+ * never set the flag (internal code review, FIX-IF-CHEAP).
+ */
+maxEntries = MAX_TEST_ENTRIES) {
+    const guard = pathGuard(projectRoot, TRACEABILITY_REL);
+    if (!guard.ok)
+        return { status: "unavailable", reason: "denied" };
+    if (!existsSync(guard.absolute))
+        return { status: "unavailable", reason: "missing" };
+    // ONE atomic bounded read — the size cap is enforced against the same
+    // descriptor the bytes come from (see fs-read.ts).
+    const read = readBoundedFile(guard.absolute, MAX_MANIFEST_BYTES);
+    if (!read)
+        return { status: "unavailable", reason: "too_large" };
+    let parsed;
+    try {
+        parsed = JSON.parse(read.text);
+    }
+    catch {
+        return { status: "unavailable", reason: "corrupt" };
+    }
+    if (!parsed || typeof parsed !== "object" || Array.isArray(parsed)) {
+        return { status: "unavailable", reason: "corrupt" };
+    }
+    const root = parsed;
+    // Cross-repo contract check (fail-soft). The manifest is produced by the
+    // shipwright plugins — a different repo — so a `schema_version` ahead of what
+    // this build knows means the writer moved and we did not. Surface it once,
+    // then KEEP READING: we consume `requirements[*].id` + `.tests`, stable across
+    // the bumps seen so far, and an older observer must never lock a user out of a
+    // newer project (contract-version.ts policy). Placed before the requirements
+    // shape-check so a genuinely restructured newer schema is reported as "ahead"
+    // rather than only as an opaque "corrupt".
+    checkContractVersion({
+        artefact: TRACEABILITY_REL,
+        path: guard.absolute,
+        declared: root.schema_version,
+        knownMax: TRACEABILITY_SCHEMA_VERSION,
+        fieldName: "schema_version",
+    });
+    const requirements = root.requirements;
+    if (!requirements || typeof requirements !== "object" || Array.isArray(requirements)) {
+        return { status: "unavailable", reason: "corrupt" };
+    }
+    const byFile = new Map();
+    let seen = 0;
+    for (const req of Object.values(requirements)) {
+        if (!req || typeof req !== "object" || Array.isArray(req))
+            continue;
+        const r = req;
+        const frId = typeof r.id === "string" && r.id.length > 0 ? r.id : null;
+        const tests = r.tests;
+        if (!frId || !tests || typeof tests !== "object" || Array.isArray(tests))
+            continue;
+        for (const [layer, cases] of Object.entries(tests)) {
+            if (!Array.isArray(cases))
+                continue;
+            for (const raw of cases) {
+                if (seen >= maxEntries) {
+                    // Truncated rather than aborted: a partial index is strictly better
+                    // than none, and the cap is far above any real manifest — but the
+                    // caller MUST be told, or the missing links read as "covers nothing".
+                    return { status: "ok", byFile, generatedAt: asStr(root.generated_at), truncated: true };
+                }
+                seen++;
+                if (!raw || typeof raw !== "object" || Array.isArray(raw))
+                    continue;
+                const t = raw;
+                const file = testIdToFile(typeof t.id === "string" ? t.id : "");
+                if (!file)
+                    continue;
+                let entry = byFile.get(file);
+                if (!entry) {
+                    entry = { layers: [], frs: [], caseCount: 0 };
+                    byFile.set(file, entry);
+                }
+                entry.caseCount++;
+                const testLayer = typeof t.layer === "string" && t.layer.length > 0 ? t.layer : layer;
+                if (typeof testLayer === "string" && !entry.layers.includes(testLayer)) {
+                    entry.layers.push(testLayer);
+                }
+                // The fold only "moved" the id when the source tag named something else.
+                const from = typeof t.resolved_from === "string" ? t.resolved_from.trim() : "";
+                addLink(entry, { frId, mappedFrom: from && from !== frId ? from : null });
+            }
+        }
+    }
+    return { status: "ok", byFile, generatedAt: asStr(root.generated_at), truncated: false };
+}
+function asStr(v) {
+    return typeof v === "string" && v.length > 0 ? v : null;
+}
+//# sourceMappingURL=traceability.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"traceability.js","sourceRoot":"","sources":["../../../src/core/mission-context/traceability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,oBAAoB,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAG3F,MAAM,CAAC,MAAM,gBAAgB,GAAG,+CAA+C,CAAC;AAEhF,+EAA+E;AAC/E,MAAM,kBAAkB,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AAE3C;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC;AAiCvC,oEAAoE;AACpE,MAAM,UAAU,gBAAgB,CAAC,WAAmB;IAClD,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,EAAU;IACrC,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACzD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,OAAO,CAAC,KAA4B,EAAE,IAAe;IAC5D,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO;IACT,CAAC;IACD,8EAA8E;IAC9E,0EAA0E;IAC1E,4DAA4D;IAC5D,IAAI,CAAC,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU;QAAE,QAAQ,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;AACrF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACnC,WAAmB;AACnB;;;;;GAKG;AACH,aAAqB,gBAAgB;IAErC,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC;IACvD,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAClE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAErF,sEAAsE;IACtE,mDAAmD;IACnD,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;IACjE,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IAEjE,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACtD,CAAC;IAED,MAAM,IAAI,GAAG,MAAiC,CAAC;IAE/C,yEAAyE;IACzE,8EAA8E;IAC9E,2EAA2E;IAC3E,+EAA+E;IAC/E,+EAA+E;IAC/E,6EAA6E;IAC7E,8EAA8E;IAC9E,2CAA2C;IAC3C,oBAAoB,CAAC;QACnB,QAAQ,EAAE,gBAAgB;QAC1B,IAAI,EAAE,KAAK,CAAC,QAAQ;QACpB,QAAQ,EAAE,IAAI,CAAC,cAAc;QAC7B,QAAQ,EAAE,2BAA2B;QACrC,SAAS,EAAE,gBAAgB;KAC5B,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,IAAI,CAAC,YAAY,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QACrF,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACtD,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiC,CAAC;IACxD,IAAI,IAAI,GAAG,CAAC,CAAC;IAEb,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,YAAuC,CAAC,EAAE,CAAC;QACzE,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,SAAS;QACpE,MAAM,CAAC,GAAG,GAA8B,CAAC;QACzC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACvE,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QACtB,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,SAAS;QAEnF,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;YAC9E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,SAAS;YACpC,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;gBACxB,IAAI,IAAI,IAAI,UAAU,EAAE,CAAC;oBACvB,oEAAoE;oBACpE,kEAAkE;oBAClE,sEAAsE;oBACtE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;gBAC1F,CAAC;gBACD,IAAI,EAAE,CAAC;gBACP,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACpE,MAAM,CAAC,GAAG,GAA8B,CAAC;gBACzC,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChE,IAAI,CAAC,IAAI;oBAAE,SAAS;gBAEpB,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC7B,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,KAAK,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;oBAC9C,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC1B,CAAC;gBACD,KAAK,CAAC,SAAS,EAAE,CAAC;gBAElB,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;gBACtF,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;oBACvE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC/B,CAAC;gBAED,yEAAyE;gBACzE,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/E,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC3F,CAAC;AAED,SAAS,KAAK,CAAC,CAAU;IACvB,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1D,CAAC"}

package/server/dist/core/mission-context/types-slice2.d.ts

@@ -0,0 +1,192 @@
+import type { ArtifactBase, MissionTests } from "./types.js";
+/** How a test file moved in the run's own commit. */
+export type TestChangeKind = "added" | "modified" | "removed";
+/**
+ * A requirement a test covers, WITH its fold provenance.
+ *
+ * `mappedFrom` is set only when the manifest resolved a folded source tag to a
+ * surviving parent — a test tagged `covers(FR-01.44)` filed under `FR-01.28`
+ * renders "mapped from FR-01.44" (Slice-2 AC2, covers monorepo `trg-5f6a4f74`).
+ */
+export interface TestFrRef {
+    frId: string;
+    mappedFrom: string | null;
+}
+export interface TestRow {
+    /** Repo-relative POSIX path. */
+    path: string;
+    kind: TestChangeKind;
+    /**
+     * `unit` / `e2e` / … — from the manifest when it knows the file, otherwise
+     * inferred from the path, otherwise null. A REMOVED file is never in the
+     * manifest (that is what removal means), so its layer is always inferred.
+     */
+    layer: string | null;
+    frs: TestFrRef[];
+    /** Test cases the manifest records for this file; null when unknown. */
+    caseCount: number | null;
+}
+export interface TestsArtifact extends ArtifactBase {
+    kind: "tests";
+    detail: {
+        type: "tests";
+        /**
+         * Pass/total the run RECORDED (`work_completed.tests`, the same shape
+         * `MissionContext.tests` carries) — the reliable CORE signal, present for
+         * 182/374 real rows even when the worktree flow shipped `commit:""` and no
+         * per-file diff could be built. `null` only when the run recorded no counts
+         * at all. The `rows` below are the ENRICHMENT: they exist only when a real
+         * commit diff resolved, and are never a precondition for showing the card.
+         */
+        results: MissionTests | null;
+        rows: TestRow[];
+        counts: {
+            added: number;
+            modified: number;
+            removed: number;
+        };
+        /** Aggregate per layer, e.g. `[{layer:"unit",count:4},{layer:"e2e",count:1}]`. */
+        byLayer: {
+            layer: string;
+            count: number;
+        }[];
+        /** True when the row list was capped — the UI must say so, not imply completeness. */
+        truncated: boolean;
+        /**
+         * `unavailable` means the traceability manifest could not be read, so the
+         * requirement links on these rows are MISSING, not empty. The rows
+         * themselves are still real (they come from git).
+         */
+        manifestStatus: "ok" | "unavailable";
+        evidence?: {
+            status: "available" | "unavailable";
+            verifiedBehaviors: string[];
+            completeness: {
+                tested: number;
+                testable: number;
+                untestedTestable: number;
+            } | null;
+            note: string | null;
+        };
+    } | null;
+}
+/**
+ * The five PINNED passes — plus whatever else the producer records.
+ *
+ * `self` was added once the producer began recording it
+ * (`iterate-2026-07-22-mission-review-record`): at trivial and small complexity
+ * the Self-Review is the ONLY review that runs, so omitting it showed nothing
+ * for the commonest case.
+ *
+ * The `(string & {})` arm is load-bearing, not laziness
+ * (`iterate-2026-07-31-review-record-tolerant-reader`): a record may carry a
+ * pass this build has never heard of — the producer's Stage-1 spec-compliance
+ * gate is the first — and the reader now renders it instead of reporting the
+ * whole record as corrupt. The five literals stay written out because they are
+ * still the pinned contract order and still what every label knows by name; the
+ * idiom keeps them in autocomplete while admitting the strangers.
+ */
+export type ReviewType = "self" | "plan" | "code" | "doubt" | "external_code" | (string & {});
+/**
+ * `not_run`        — a record EXISTS saying the pass did not run.
+ * `not_applicable` — it did not APPLY at this size or change shape. Kept
+ *                    distinct from `not_run`: "we chose to skip it" and "the
+ *                    rules never asked for it" are different facts, and the
+ *                    disposition should not have to re-explain which one it was.
+ * `unavailable`    — no readable record either way. NOT the same as "clean".
+ */
+export type ReviewStatus = "completed" | "not_run" | "not_applicable" | "unavailable";
+/**
+ * How well the reviewer's own output could be itemized.
+ *
+ * `unstructured` is the load-bearing one: the review RAN and its prose could not
+ * be split into findings, so `findingsCount` is 0 for a review that may have
+ * found plenty. Rendering that as "0 issues" is the fabrication the whole
+ * artifact exists to prevent, which is why this is a field the UI can branch on
+ * rather than a sentence buried in `note`.
+ */
+export type ReviewParseStatus = "structured" | "partial" | "unstructured";
+/** Where a row came from — the UI's honesty copy differs per source. */
+export type ReviewSource = "record" | "marker";
+export interface ReviewFinding {
+    severity: string | null;
+    /** The finding text itself. */
+    title: string;
+    /** `path/to/file.ts:42`, pre-joined server-side; null when not located. */
+    location: string | null;
+    suggestion: string | null;
+}
+export interface ReviewRow {
+    reviewType: ReviewType;
+    status: ReviewStatus;
+    /** Real count; null when there is no readable record, or none yet. */
+    findingsCount: number | null;
+    /**
+     * Per-finding detail. Populated from the per-run review record; ALWAYS empty
+     * on the `marker` path, which records a COUNT only. The UI must never render
+     * `[]` as "no findings were found" — see `source`.
+     */
+    findings: ReviewFinding[];
+    provider: string | null;
+    completedAt: string | null;
+    /** The reviewer's own prose disposition, when one was recorded. */
+    disposition: string | null;
+    /** Plain-language reason the status is not `completed`. */
+    note: string | null;
+    /** Null on the marker path and for internal passes, which are not parsed. */
+    parseStatus: ReviewParseStatus | null;
+    source: ReviewSource;
+    /** The finding list was capped — the UI must say so, not imply completeness. */
+    truncated: boolean;
+}
+export interface ReviewArtifact extends ArtifactBase {
+    kind: "review";
+    detail: {
+        type: "reviews";
+        /**
+         * ALWAYS the five pinned types, in contract order (AC4) — followed by any
+         * pass the producer recorded that this build does not know by name, in the
+         * record's own key order. "All five, in order" is still guaranteed; "only
+         * five" no longer is.
+         */
+        rows: ReviewRow[];
+    } | null;
+}
+/**
+ * Where a decision was read from — and therefore how far along it is.
+ *
+ * `decision_log` — aggregated at release time, so it HAS a sequential ADR number.
+ * `drop`         — written at the iterate's F3 as
+ *                  `decision-drops/<run_id>_NNN.json`. Real, recorded, and NOT
+ *                  yet numbered: `/shipwright-changelog` assigns the number when
+ *                  it folds the drop into the log. Measured 2026-07-19, this is
+ *                  the state of EVERY unreleased run in this repo (18 of 18).
+ */
+export type DecisionSource = "decision_log" | "drop";
+export interface DecisionEntryView {
+    /**
+     * `ADR-070` once a release aggregation numbered it; **null** while the
+     * decision lives only as a drop. Never fabricated — a plausible
+     * next-in-sequence number is one a reader could cite.
+     */
+    adrId: string | null;
+    title: string;
+    /** The ADR block's own Markdown — the SECTION, never the whole 639 KB log. */
+    markdown: string;
+    source: DecisionSource;
+}
+export interface DecisionsArtifact extends ArtifactBase {
+    kind: "decisions";
+    detail: {
+        type: "decisions";
+        entries: DecisionEntryView[];
+        truncated: boolean;
+        /**
+         * Drop files that matched this run but could not be read or validated. A
+         * half-written drop must not take the artifact down, but it must not vanish
+         * either — the UI states the count.
+         */
+        malformedCount: number;
+    } | null;
+}
+//# sourceMappingURL=types-slice2.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types-slice2.d.ts","sourceRoot":"","sources":["../../../src/core/mission-context/types-slice2.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAM7D,qDAAqD;AACrD,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,UAAU,GAAG,SAAS,CAAC;AAE9D;;;;;;GAMG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,OAAO;IACtB,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,cAAc,CAAC;IACrB;;;;OAIG;IACH,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,GAAG,EAAE,SAAS,EAAE,CAAC;IACjB,wEAAwE;IACxE,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,aAAc,SAAQ,YAAY;IACjD,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE;QACN,IAAI,EAAE,OAAO,CAAC;QACd;;;;;;;WAOG;QACH,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;QAC7B,IAAI,EAAE,OAAO,EAAE,CAAC;QAChB,MAAM,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,QAAQ,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAA;SAAE,CAAC;QAC7D,kFAAkF;QAClF,OAAO,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,EAAE,CAAC;QAC5C,sFAAsF;QACtF,SAAS,EAAE,OAAO,CAAC;QACnB;;;;WAIG;QACH,cAAc,EAAE,IAAI,GAAG,aAAa,CAAC;QACrC,QAAQ,CAAC,EAAE;YAAE,MAAM,EAAE,WAAW,GAAG,aAAa,CAAC;YAAC,iBAAiB,EAAE,MAAM,EAAE,CAAC;YAAC,YAAY,EAAE;gBAAE,MAAM,EAAE,MAAM,CAAC;gBAAC,QAAQ,EAAE,MAAM,CAAC;gBAAC,gBAAgB,EAAE,MAAM,CAAA;aAAE,GAAG,IAAI,CAAC;YAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;SAAE,CAAC;KAC3L,GAAG,IAAI,CAAC;CACV;AAMD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,eAAe,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;AAE9F;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,SAAS,GAAG,gBAAgB,GAAG,aAAa,CAAC;AAEtF;;;;;;;;GAQG;AACH,MAAM,MAAM,iBAAiB,GAAG,YAAY,GAAG,SAAS,GAAG,cAAc,CAAC;AAE1E,wEAAwE;AACxE,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAE/C,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,+BAA+B;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,2EAA2E;IAC3E,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,SAAS;IACxB,UAAU,EAAE,UAAU,CAAC;IACvB,MAAM,EAAE,YAAY,CAAC;IACrB,sEAAsE;IACtE,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B;;;;OAIG;IACH,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,mEAAmE;IACnE,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,2DAA2D;IAC3D,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,6EAA6E;IAC7E,WAAW,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACtC,MAAM,EAAE,YAAY,CAAC;IACrB,gFAAgF;IAChF,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,cAAe,SAAQ,YAAY;IAClD,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE;QACN,IAAI,EAAE,SAAS,CAAC;QAChB;;;;;WAKG;QACH,IAAI,EAAE,SAAS,EAAE,CAAC;KACnB,GAAG,IAAI,CAAC;CACV;AAMD;;;;;;;;;GASG;AACH,MAAM,MAAM,cAAc,GAAG,cAAc,GAAG,MAAM,CAAC;AAErD,MAAM,WAAW,iBAAiB;IAChC;;;;OAIG;IACH,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,8EAA8E;IAC9E,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,cAAc,CAAC;CACxB;AAED,MAAM,WAAW,iBAAkB,SAAQ,YAAY;IACrD,IAAI,EAAE,WAAW,CAAC;IAClB,MAAM,EAAE;QACN,IAAI,EAAE,WAAW,CAAC;QAClB,OAAO,EAAE,iBAAiB,EAAE,CAAC;QAC7B,SAAS,EAAE,OAAO,CAAC;QACnB;;;;WAIG;QACH,cAAc,EAAE,MAAM,CAAC;KACxB,GAAG,IAAI,CAAC;CACV"}

package/server/dist/core/mission-context/types-slice2.js

@@ -0,0 +1,15 @@
+/*
+ * core/mission-context/types-slice2.ts — the Tests · Review · Decisions wire
+ * shapes (campaign 2026-07-18-mission-artifacts, Slice 2; CONTRACT §6 rows 3–5).
+ *
+ * Its OWN module rather than more lines in `types.ts`: that file is at 203 LOC
+ * against a 300 ceiling, and these three artifacts carry the richest detail
+ * shapes in the feature. `types.ts` imports the union members from here, so
+ * there is still exactly one `ArtifactDescriptor`.
+ *
+ * These are the SoT the client mirrors verbatim (ADR-080 / DO-NOT #7 — the two
+ * workspaces never import each other), so the producers in `traceability.ts` /
+ * `review-state.ts` import the shapes from here rather than declaring twins.
+ */
+export {};
+//# sourceMappingURL=types-slice2.js.map

package/server/dist/core/mission-context/types-slice2.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-slice2.js","sourceRoot":"","sources":["../../../src/core/mission-context/types-slice2.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG"}

package/server/dist/core/mission-context/types-slice3.d.ts

@@ -0,0 +1,84 @@
+import type { ArtifactBase } from "./types.js";
+/** A phase task's own facts. Display data only — never a launch input (DO-NOT #13). */
+export interface PhaseDetail {
+    type: "phase";
+    /** The PIPELINE run id (`run-xxxxxxxx`) — never an iterate run_id. */
+    runId: string;
+    phase: string;
+    splitId: string | null;
+    status: string;
+    slashCommand: string | null;
+    title: string | null;
+    description: string | null;
+    startedAt: string | null;
+    completedAt: string | null;
+    /** How many times this phase task was executed; null when not recorded. */
+    executionCount: number | null;
+    errors: string[];
+    /** Paths the phase RECORDED producing (`result.artifacts`). Strings, not links. */
+    outputs: string[];
+}
+export interface PhaseArtifact extends ArtifactBase {
+    kind: "phase";
+    detail: PhaseDetail | null;
+}
+/** A Markdown document artifact that is NOT the `spec` slot (the campaign RUNBOOK). */
+export interface CampaignRunbookArtifact extends ArtifactBase {
+    kind: "campaign_runbook";
+    detail: {
+        type: "document";
+        documentId: string;
+        title: string;
+    } | null;
+}
+export interface CampaignSubIterateRow {
+    id: string;
+    title: string;
+    status: string;
+    /** True for the ONE row the selection rule picked as active. */
+    active: boolean;
+}
+export interface CampaignProgressDetail {
+    type: "campaign_progress";
+    slug: string;
+    /** Producer-owned lifecycle (`draft`/`active`/`complete`); null when unwritten. */
+    lifecycle: string | null;
+    branchStrategy: string | null;
+    done: number;
+    total: number;
+    rows: CampaignSubIterateRow[];
+}
+export interface CampaignProgressArtifact extends ArtifactBase {
+    kind: "campaign_progress";
+    detail: CampaignProgressDetail | null;
+}
+/**
+ * How the active sub-iterate was chosen. Recorded on the wire so the answer is
+ * INSPECTABLE — "which one is running" is a claim, and a claim with no stated
+ * basis is the kind of thing that silently drifts.
+ */
+export type SubIterateSelection = "in_progress" | "first_incomplete" | "last_complete";
+export interface SubIterateDetail {
+    type: "sub_iterate";
+    id: string;
+    title: string;
+    status: string;
+    selectedBy: SubIterateSelection;
+    /** Opaque id for this sub-iterate's OWN spec; null when it has no document. */
+    documentId: string | null;
+    documentTitle: string | null;
+    commit: string | null;
+    branch: string | null;
+    /**
+     * Recorded test counts. `null` means NOT RECORDED — never rendered as zero.
+     * A campaign's `status.json` leaves these null for a sub-iterate that has not
+     * reported yet, and "0 of 0 passed" would be a fabricated pass.
+     */
+    testsPassed: number | null;
+    testsTotal: number | null;
+}
+export interface SubIterateArtifact extends ArtifactBase {
+    kind: "sub_iterate";
+    detail: SubIterateDetail | null;
+}
+//# sourceMappingURL=types-slice3.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types-slice3.d.ts","sourceRoot":"","sources":["../../../src/core/mission-context/types-slice3.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,uFAAuF;AACvF,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,OAAO,CAAC;IACd,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,2EAA2E;IAC3E,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,mFAAmF;IACnF,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,aAAc,SAAQ,YAAY;IACjD,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC;CAC5B;AAED,uFAAuF;AACvF,MAAM,WAAW,uBAAwB,SAAQ,YAAY;IAC3D,IAAI,EAAE,kBAAkB,CAAC;IACzB,MAAM,EAAE;QAAE,IAAI,EAAE,UAAU,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;CACxE;AAED,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,gEAAgE;IAChE,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,mBAAmB,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,mFAAmF;IACnF,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,qBAAqB,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,wBAAyB,SAAQ,YAAY;IAC5D,IAAI,EAAE,mBAAmB,CAAC;IAC1B,MAAM,EAAE,sBAAsB,GAAG,IAAI,CAAC;CACvC;AAED;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG,aAAa,GAAG,kBAAkB,GAAG,eAAe,CAAC;AAEvF,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,aAAa,CAAC;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,mBAAmB,CAAC;IAChC,+EAA+E;IAC/E,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB;;;;OAIG;IACH,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,kBAAmB,SAAQ,YAAY;IACtD,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,gBAAgB,GAAG,IAAI,CAAC;CACjC"}

package/server/dist/core/mission-context/types-slice3.js

@@ -0,0 +1,24 @@
+/*
+ * core/mission-context/types-slice3.ts — the NATIVE pipeline + campaign
+ * artifacts (CONTRACT §10 Slice 3; campaign 2026-07-18-mission-artifacts, S3).
+ *
+ * S1 deliberately left scenarios 3 and 5 on "today's behavior" so it could be
+ * additive. This module ends that fallback: a pipeline phase task and a campaign
+ * each get descriptors resolved from their OWN source of record rather than
+ * borrowing the iterate rail.
+ *
+ * Two shapes are load-bearing here:
+ *
+ *   - `phase` is resolved by an EXACT `phaseTaskId` match against run-config v2
+ *     `phase_tasks[]`. Never by `phase` name, never by session: a run has many
+ *     tasks for the same phase once splits exist, so matching on anything but
+ *     the id would CONFLATE them and attribute one split's work to another.
+ *
+ *   - campaign artifacts are split into CAMPAIGN-LEVEL (`spec` = the brief,
+ *     `campaign_runbook`, `campaign_progress`) and SUB-ITERATE-LEVEL
+ *     (`sub_iterate`). Keeping them apart is a CONTRACT requirement, not a
+ *     presentation choice — a reader must never mistake one sub-iterate's
+ *     result for the campaign's.
+ */
+export {};
+//# sourceMappingURL=types-slice3.js.map

package/server/dist/core/mission-context/types-slice3.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-slice3.js","sourceRoot":"","sources":["../../../src/core/mission-context/types-slice3.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG"}