@svenroth-ai/shipwright 0.24.1-next.0

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

@@ -0,0 +1,114 @@
+/*
+ * core/mission-context/artifacts-decisions.ts — the DECISIONS descriptor
+ * (CONTRACT §6 row 5).
+ *
+ * Its own module rather than more lines in `artifacts-slice2.ts`: that file was
+ * at 300 LOC and reading a SECOND source (decision-drops) grew this builder past
+ * what it had room for. A cohesive file-level split, per the repo's bloat rule —
+ * not a per-handler shred.
+ *
+ * The distinction this file exists to keep, and the reason it was worth
+ * splitting rather than baselining a crossing:
+ *
+ *   available    at least one decision was read — from either source. A partial
+ *                read still lands here and DISCLOSES what it lost.
+ *   unavailable  nothing was read AND something failed. SHOWN.
+ *   hidden       nothing was read and BOTH sources answered cleanly. A real
+ *                absence, and the only case that may disappear.
+ *
+ * "We could not read the drops directory" and "this run decided nothing" are
+ * different facts. Collapsing them is the defect family this whole iterate is
+ * about.
+ */
+function plural(n, one, many) {
+    return `${n} ${n === 1 ? one : many}`;
+}
+/**
+ * True when `malformedCount` already accounts for everything that was lost, so
+ * the uncountable clause would be redundant rather than additive.
+ */
+function hasOnlyCountedLoss(record) {
+    return record.malformedCount > 0 && !record.logOrScanLoss;
+}
+export function buildDecisionsArtifact(record, events) {
+    if (record.entries.length === 0) {
+        if (record.sawUnreadable) {
+            // Something existed and could not be read. This must NEVER fall through
+            // to the hidden branch below — a hidden artifact reads as "this run
+            // decided nothing", which is precisely what we do not know.
+            return {
+                kind: "decisions",
+                label: "Decisions",
+                state: "unavailable",
+                summary: null,
+                receipt: null,
+                note: "This run's decision records could not be read.",
+                detail: null,
+            };
+        }
+        // Both sources WERE read and neither holds anything for this run. Whether
+        // that is "not yet" or "never" depends only on whether the run has
+        // finished — both hide, but the state stays truthful.
+        return {
+            kind: "decisions",
+            label: "Decisions",
+            state: events.status === "found" ? "not_applicable" : "not_yet_created",
+            summary: null,
+            receipt: null,
+            detail: null,
+        };
+    }
+    const titles = record.entries.map((e) => e.title || e.adrId || "A decision");
+    const lead = titles.length === 1
+        ? titles[0]
+        : `${titles[0]} and ${plural(titles.length - 1, "other decision", "other decisions")}`;
+    // A decision that exists only as a drop is REAL and RECORDED — it simply has
+    // no ADR number until a release publishes it. Say that in words a non-expert
+    // can act on, and never imply something went wrong.
+    const unnumbered = record.entries.filter((e) => e.source === "drop").length;
+    const pending = unnumbered === 0
+        ? ""
+        : unnumbered === record.entries.length
+            ? " Not yet published in a release."
+            : ` ${plural(unnumbered, "decision is", "decisions are")} not yet published in a release.`;
+    // Two different losses, and neither may be swallowed just because something
+    // else rendered. `malformedCount` is a countable one; `sawUnreadable` also
+    // covers an unreadable decision LOG and a scan cut short by a cap, which have
+    // no count — those used to disappear entirely once a drop rendered
+    // successfully (external code review, gemini #1).
+    // Two DIFFERENT losses, and they are additive rather than alternative. A
+    // ternary made them exclusive, so one malformed drop plus an entirely
+    // unreadable log rendered only "1 further record could not be read." — a
+    // countable claim quietly absorbing an unread log and dropping the
+    // "may be incomplete" clause that was the one still true (cascade, cheap).
+    const counted = record.malformedCount
+        ? ` ${plural(record.malformedCount, "further record", "further records")} could not be read.`
+        : "";
+    // `sawUnreadable` also covers losses with NO count: an unreadable log, a scan
+    // cut short. Emit that clause whenever such a loss exists beyond the counted
+    // ones — never let a number stand in for "and also, something uncountable".
+    const uncounted = record.sawUnreadable && !hasOnlyCountedLoss(record)
+        ? " Some of this run's decision records could not be read, so this list may be incomplete."
+        : "";
+    const lost = `${counted}${uncounted}`;
+    // The receipt is the ADR numbers when there are any, else a plain count —
+    // never an invented identifier for an unnumbered decision.
+    const numbered = record.entries.map((e) => e.adrId).filter((id) => !!id);
+    const receipt = numbered.length
+        ? numbered.join(", ").slice(0, 80)
+        : plural(record.entries.length, "decision", "decisions");
+    return {
+        kind: "decisions",
+        label: "Decisions",
+        state: "available",
+        summary: `${lead}.${pending}${lost}`,
+        receipt,
+        detail: {
+            type: "decisions",
+            entries: record.entries,
+            truncated: record.truncated,
+            malformedCount: record.malformedCount,
+        },
+    };
+}
+//# sourceMappingURL=artifacts-decisions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"artifacts-decisions.js","sourceRoot":"","sources":["../../../src/core/mission-context/artifacts-decisions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAMH,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;AAED;;;GAGG;AACH,SAAS,kBAAkB,CAAC,MAAsB;IAChD,OAAO,MAAM,CAAC,cAAc,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,MAAsB,EACtB,MAAmB;IAEnB,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YACzB,wEAAwE;YACxE,oEAAoE;YACpE,4DAA4D;YAC5D,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,WAAW;gBAClB,KAAK,EAAE,aAAa;gBACpB,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,IAAI;gBACb,IAAI,EAAE,gDAAgD;gBACtD,MAAM,EAAE,IAAI;aACb,CAAC;QACJ,CAAC;QACD,0EAA0E;QAC1E,mEAAmE;QACnE,sDAAsD;QACtD,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,WAAW;YAClB,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,iBAAiB;YACvE,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,YAAY,CAAC,CAAC;IAC7E,MAAM,IAAI,GACR,MAAM,CAAC,MAAM,KAAK,CAAC;QACjB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACX,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,EAAE,CAAC;IAE3F,6EAA6E;IAC7E,6EAA6E;IAC7E,oDAAoD;IACpD,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAC5E,MAAM,OAAO,GACX,UAAU,KAAK,CAAC;QACd,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,UAAU,KAAK,MAAM,CAAC,OAAO,CAAC,MAAM;YACpC,CAAC,CAAC,kCAAkC;YACpC,CAAC,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,aAAa,EAAE,eAAe,CAAC,kCAAkC,CAAC;IACjG,4EAA4E;IAC5E,2EAA2E;IAC3E,8EAA8E;IAC9E,mEAAmE;IACnE,kDAAkD;IAClD,yEAAyE;IACzE,sEAAsE;IACtE,yEAAyE;IACzE,mEAAmE;IACnE,2EAA2E;IAC3E,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc;QACnC,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,qBAAqB;QAC7F,CAAC,CAAC,EAAE,CAAC;IACP,8EAA8E;IAC9E,6EAA6E;IAC7E,4EAA4E;IAC5E,MAAM,SAAS,GACb,MAAM,CAAC,aAAa,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC;QACjD,CAAC,CAAC,yFAAyF;QAC3F,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,IAAI,GAAG,GAAG,OAAO,GAAG,SAAS,EAAE,CAAC;IAEtC,0EAA0E;IAC1E,2DAA2D;IAC3D,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvF,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM;QAC7B,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QAClC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IAE3D,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,GAAG,IAAI,IAAI,OAAO,GAAG,IAAI,EAAE;QACpC,OAAO;QACP,MAAM,EAAE;YACN,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,cAAc,EAAE,MAAM,CAAC,cAAc;SACtC;KACF,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,12 @@
+import type { ReviewLookup } from "./review-state.js";
+import type { ReviewArtifact, ReviewRow } from "./types-slice2.js";
+export declare function buildReviewArtifact(lookup: ReviewLookup): ReviewArtifact;
+/**
+ * Plain-language name for a review type — used by the client too (mirrored).
+ *
+ * A type outside the pinned five has no curated word, so it falls back to the
+ * key the run itself used rather than to `undefined`, which the `: string`
+ * signature would otherwise have been lying about.
+ */
+export declare function reviewWord(t: ReviewRow["reviewType"]): string;
+//# sourceMappingURL=artifacts-slice2.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"artifacts-slice2.d.ts","sourceRoot":"","sources":["../../../src/core/mission-context/artifacts-slice2.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AA6BnE,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,YAAY,GAAG,cAAc,CAiFxE;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,SAAS,CAAC,YAAY,CAAC,GAAG,MAAM,CAE7D"}

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

@@ -0,0 +1,125 @@
+/*
+ * core/mission-context/artifacts-slice2.ts — the Review descriptor
+ * (CONTRACT §6 row 4, campaign 2026-07-18-mission-artifacts).
+ *
+ * Tests (row 3) moved to `artifacts-tests.ts` and Decisions (row 5) to
+ * `artifacts-decisions.ts` as each grew; the state discipline described in
+ * those files governs this one alike.
+ *
+ * Same register as artifacts.ts: Mission is FOR NON-EXPERTS, so every `summary`
+ * says what the thing MEANS, never which file it came from.
+ *
+ * The failure mode this file exists to prevent is a summary that reads as a
+ * clean sweep while one of the four passes has no readable record. Those two
+ * must never collapse.
+ */
+function plural(n, one, many) {
+    return `${n} ${n === 1 ? one : many}`;
+}
+// ---------------------------------------------------------------------------
+// Review
+// ---------------------------------------------------------------------------
+/**
+ * Keyed on the PINNED five spelled out, not on `ReviewRow["reviewType"]`.
+ *
+ * That type now admits any string (`iterate-2026-07-31-review-record-tolerant-reader`),
+ * and `Record<K, V>` over a union containing `(string & {})` collapses into an
+ * INDEX SIGNATURE — which silently cost this table two things: the compile error
+ * that would fire if a sixth pinned type were added without a word for it, and
+ * the honesty of `reviewWord`'s `: string` return, since an index signature hands
+ * back `undefined` for every unpinned key without `noUncheckedIndexedAccess` to
+ * catch it. Spelling the keys out restores both.
+ */
+const REVIEW_WORD = {
+    self: "the self-review",
+    plan: "the plan review",
+    code: "the code review",
+    doubt: "the doubt review",
+    external_code: "the external code review",
+};
+export function buildReviewArtifact(lookup) {
+    // No record at all AND nothing that failed to read: this run simply has no
+    // review history to show. Hidden — an absence, not a fault.
+    if (!lookup.hasRecord && !lookup.sawUnreadable) {
+        return {
+            kind: "review",
+            label: "Review",
+            state: "not_yet_created",
+            summary: null,
+            receipt: null,
+            detail: null,
+        };
+    }
+    // Something existed and could not be read — an integrity signal, shown.
+    if (!lookup.hasRecord) {
+        return {
+            kind: "review",
+            label: "Review",
+            state: "unavailable",
+            summary: null,
+            receipt: null,
+            note: "This run's review records could not be read.",
+            detail: null,
+        };
+    }
+    // A review that RAN but whose findings count could not be read is its own
+    // fact, and it must not be folded into zero. `completed.reduce(n + (count ??
+    // 0))` treated "unknown" as "none", so a marker with a missing or non-numeric
+    // `findings_count` produced "1 review ran and raised no issues" — the status
+    // honest, the count fabricated. That is the same unreadable→clean collapse the
+    // state enum prevents one level up (internal code review, MEDIUM).
+    const completed = lookup.rows.filter((r) => r.status === "completed");
+    // An UNSTRUCTURED parse is the same collapse in a new disguise: the review ran,
+    // its prose could not be itemized, so its count is 0 for a review that may have
+    // found plenty. Counting it would make the SUMMARY — the first line a reader
+    // sees, above the renderer's caveat — say "raised no issues". The renderer was
+    // taught this; the summary had to be taught it too.
+    const counted = completed.filter((r) => r.findingsCount != null && r.parseStatus !== "unstructured");
+    const uncounted = completed.length - counted.length;
+    const findings = counted.reduce((n, r) => n + (r.findingsCount ?? 0), 0);
+    // Anything whose RESULT we cannot state: unreadable passes, plus completed
+    // passes with an unreadable count.
+    const unknown = lookup.rows.filter((r) => r.status === "unavailable").length + uncounted;
+    // Every "no issues" claim below is made ONLY about passes whose count we
+    // actually read (`counted`). "0 reviews ran and raised no issues" would read
+    // as a clean sweep when nothing ran; "1 review ran and raised no issues"
+    // would do the same when the count was simply unreadable. Both are the
+    // false assurance §9.1 forbids, so each gets its own honest sentence.
+    const lead = completed.length === 0
+        ? "No review was recorded as having run."
+        : counted.length === 0
+            ? `${plural(completed.length, "review", "reviews")} ran, but the findings were not recorded.`
+            : findings
+                ? `${plural(findings, "issue", "issues")} raised across ${plural(counted.length, "review", "reviews")}.`
+                : `${plural(counted.length, "review", "reviews")} ran and raised no issues.`;
+    // Never let the sentence stop at the good news while passes are unreadable.
+    const tail = unknown
+        ? ` ${plural(unknown, "further review is", "further reviews are")} not recorded, so ${unknown === 1 ? "its" : "their"} result is unknown.`
+        : "";
+    // …and never let it stop there while the READER knows it read past its own
+    // knowledge. A newer record format, or passes recorded somewhere this build
+    // does not look, would otherwise make the counts above read as complete when
+    // they are not — the one way forward-tolerance could turn into a false
+    // assurance (Stage-3 doubt, D1/D2). The summary is where it belongs: it is the
+    // line a skimming reader actually finishes.
+    const disclosure = lookup.caveats.length ? ` ${lookup.caveats.join(" ")}` : "";
+    return {
+        kind: "review",
+        label: "Review",
+        state: "available",
+        summary: `${lead}${tail}${disclosure}`,
+        receipt: findings ? plural(findings, "finding", "findings") : `${completed.length} reviewed`,
+        detail: { type: "reviews", rows: lookup.rows },
+    };
+}
+/**
+ * Plain-language name for a review type — used by the client too (mirrored).
+ *
+ * A type outside the pinned five has no curated word, so it falls back to the
+ * key the run itself used rather than to `undefined`, which the `: string`
+ * signature would otherwise have been lying about.
+ */
+export function reviewWord(t) {
+    return t in REVIEW_WORD ? REVIEW_WORD[t] : `the ${t} review`;
+}
+//# sourceMappingURL=artifacts-slice2.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"artifacts-slice2.js","sourceRoot":"","sources":["../../../src/core/mission-context/artifacts-slice2.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAKH,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;AAED,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E;;;;;;;;;;GAUG;AACH,MAAM,WAAW,GAAyE;IACxF,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,iBAAiB;IACvB,KAAK,EAAE,kBAAkB;IACzB,aAAa,EAAE,0BAA0B;CAC1C,CAAC;AAEF,MAAM,UAAU,mBAAmB,CAAC,MAAoB;IACtD,2EAA2E;IAC3E,4DAA4D;IAC5D,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;QAC/C,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,QAAQ;YACf,KAAK,EAAE,iBAAiB;YACxB,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IAED,wEAAwE;IACxE,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;QACtB,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,QAAQ;YACf,KAAK,EAAE,aAAa;YACpB,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,IAAI;YACb,IAAI,EAAE,8CAA8C;YACpD,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IAED,0EAA0E;IAC1E,6EAA6E;IAC7E,8EAA8E;IAC9E,6EAA6E;IAC7E,+EAA+E;IAC/E,mEAAmE;IACnE,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;IACtE,gFAAgF;IAChF,gFAAgF;IAChF,6EAA6E;IAC7E,+EAA+E;IAC/E,oDAAoD;IACpD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,IAAI,IAAI,IAAI,CAAC,CAAC,WAAW,KAAK,cAAc,CACnE,CAAC;IACF,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IACpD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzE,2EAA2E;IAC3E,mCAAmC;IACnC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,MAAM,GAAG,SAAS,CAAC;IAEzF,yEAAyE;IACzE,6EAA6E;IAC7E,yEAAyE;IACzE,uEAAuE;IACvE,sEAAsE;IACtE,MAAM,IAAI,GACR,SAAS,CAAC,MAAM,KAAK,CAAC;QACpB,CAAC,CAAC,uCAAuC;QACzC,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YACpB,CAAC,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,2CAA2C;YAC7F,CAAC,CAAC,QAAQ;gBACR,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,kBAAkB,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,GAAG;gBACxG,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,4BAA4B,CAAC;IACrF,4EAA4E;IAC5E,MAAM,IAAI,GAAG,OAAO;QAClB,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,CAAC,qBAAqB,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,qBAAqB;QAC1I,CAAC,CAAC,EAAE,CAAC;IACP,2EAA2E;IAC3E,4EAA4E;IAC5E,6EAA6E;IAC7E,uEAAuE;IACvE,+EAA+E;IAC/E,4CAA4C;IAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAE/E,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,GAAG,IAAI,GAAG,IAAI,GAAG,UAAU,EAAE;QACtC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,WAAW;QAC5F,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;KAC/C,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,CAA0B;IACnD,OAAO,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAA6B,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;AAC3F,CAAC"}

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

@@ -0,0 +1,34 @@
+import type { RunTests } from "../event-log-reader.js";
+import type { EventLookup } from "./iterate-record.js";
+import type { TestsDiff } from "./tests-diff.js";
+import type { TraceabilityIndex } from "./traceability.js";
+import type { TestEvidence } from "./test-evidence.js";
+import type { MissionTests } from "./types.js";
+import type { TestsArtifact } from "./types-slice2.js";
+export interface TestsInput {
+    events: EventLookup;
+    diff: TestsDiff;
+    index: TraceabilityIndex;
+    evidence?: TestEvidence;
+}
+/**
+ * The pass/total the run RECORDED, or null when it recorded no meaningful
+ * counts. `{passed:null,total:null}` AND `{passed:0,total:0}` are both treated
+ * as absent: an empty tests object carries nothing citable, and a genuine
+ * zero-of-zero must not render the success-sounding "All 0 tests passing" the
+ * file header warns against (internal code review, LOW). `gate` is resolved
+ * ONCE here via `tests-gate.ts` — callers must not re-derive pass/fail.
+ *
+ * The SOLE `RunTests` -> `MissionTests` constructor — `resolver.ts`'s own
+ * `context.tests` also calls this (rather than rebuilding the shape inline)
+ * so the two never diverge on the `{0,0}` edge case (code review, LOW-MEDIUM:
+ * they previously did — the inline build in `resolver.ts` did not null it out).
+ */
+export declare function toMissionTests(t: RunTests | null | undefined, ts: string | null): MissionTests | null;
+/**
+ * The Tests artifact leads with recorded pass/total and enriches with the diff.
+ * It hides only when BOTH are genuinely absent, and stays `unavailable` (not
+ * hidden) when the counts are missing AND the diff could not be read.
+ */
+export declare function buildTestsArtifact(input: TestsInput): TestsArtifact;
+//# sourceMappingURL=artifacts-tests.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"artifacts-tests.d.ts","sourceRoot":"","sources":["../../../src/core/mission-context/artifacts-tests.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAEvD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,KAAK,EAAW,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAchE,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,WAAW,CAAC;IACpB,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,iBAAiB,CAAC;IACzB,QAAQ,CAAC,EAAE,YAAY,CAAC;CACzB;AAUD;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,QAAQ,GAAG,IAAI,GAAG,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,YAAY,GAAG,IAAI,CAIrG;AA6HD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,UAAU,GAAG,aAAa,CAyDnE"}

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

@@ -0,0 +1,236 @@
+/*
+ * core/mission-context/artifacts-tests.ts — the Tests descriptor
+ * (CONTRACT §6 row 3, campaign 2026-07-18-mission-artifacts).
+ *
+ * Split from artifacts-slice2.ts (which keeps Review) when the Tests builder
+ * grew the counts-led path and the combined file crossed the size rule.
+ *
+ * The Tests artifact LEADS with the pass/total the run RECORDED
+ * (`work_completed.tests`) — the signal every finished run emits, present even
+ * when the worktree flow shipped `commit:""` and no per-file diff could be
+ * built (measured 2026-07-23: 182 of 374 real rows carry counts; only 155 a
+ * diff). The per-file changed-test list is ENRICHMENT: shown when a real commit
+ * resolved, never a precondition for the card.
+ *
+ * The state discipline is the load-bearing part (unchanged from S1/S2):
+ *
+ *   not_applicable  the run recorded no counts AND its commit touched no test
+ *                   file. Hidden, and that is honest.
+ *   not_yet_created the run has not finished. Hidden.
+ *   unavailable     expected NOW and unresolvable — no counts recorded AND the
+ *                   diff could not be read. SHOWN, compactly.
+ *
+ * The failure mode this file exists to prevent is reporting "no tests" when the
+ * truth is "we could not find out" — OR when the counts were sitting in the
+ * event all along and only the file diff was missing.
+ */
+import { deriveTestsGate } from "../tests-gate.js";
+import { inferLayer } from "./tests-diff.js";
+function plural(n, one, many) {
+    return `${n} ${n === 1 ? one : many}`;
+}
+/** Layer codes are jargon; the rail is not the place for it. */
+function layerWord(layer) {
+    if (layer === "e2e")
+        return "end-to-end";
+    if (layer === "unit")
+        return "unit";
+    if (layer === "integration")
+        return "integration";
+    return layer;
+}
+function hiddenTests(state, note) {
+    return { kind: "tests", label: "Tests", state, summary: null, receipt: null, ...(note ? { note } : {}), detail: null };
+}
+function unavailableTests(note) {
+    return { kind: "tests", label: "Tests", state: "unavailable", summary: null, receipt: null, note, detail: null };
+}
+/**
+ * The pass/total the run RECORDED, or null when it recorded no meaningful
+ * counts. `{passed:null,total:null}` AND `{passed:0,total:0}` are both treated
+ * as absent: an empty tests object carries nothing citable, and a genuine
+ * zero-of-zero must not render the success-sounding "All 0 tests passing" the
+ * file header warns against (internal code review, LOW). `gate` is resolved
+ * ONCE here via `tests-gate.ts` — callers must not re-derive pass/fail.
+ *
+ * The SOLE `RunTests` -> `MissionTests` constructor — `resolver.ts`'s own
+ * `context.tests` also calls this (rather than rebuilding the shape inline)
+ * so the two never diverge on the `{0,0}` edge case (code review, LOW-MEDIUM:
+ * they previously did — the inline build in `resolver.ts` did not null it out).
+ */
+export function toMissionTests(t, ts) {
+    if (!t)
+        return null;
+    if ((t.passed ?? 0) === 0 && (t.total ?? 0) === 0)
+        return null;
+    return { passed: t.passed, total: t.total, skipped: t.skipped, gate: deriveTestsGate(t, ts) };
+}
+/** Non-negative-integer guard, mirroring `tests-gate.ts`'s own `normalizedCount`
+ *  — a MissionTests field is raw producer data, not yet validated, so an
+ *  "all skipped" claim must re-check it rather than trust a truthy `skipped`
+ *  (external code review, MEDIUM: `{passed:-1,total:5,skipped:1}` and
+ *  `{passed:0,total:5,skipped:9}` both reach `gate:"unknown"` without every
+ *  collected test having genuinely been skipped — the FIRST wording fix
+ *  asserted "All 5 were skipped" for both, a claim the raw counts disprove). */
+function isNonNegInt(n) {
+    return typeof n === "number" && Number.isInteger(n) && n >= 0;
+}
+/** The producer gate remains authoritative, but malformed raw counts cannot look green. */
+function hasValidCompleteCounts(r) {
+    if (!isNonNegInt(r.passed) || !isNonNegInt(r.total) || r.passed > r.total)
+        return false;
+    return r.skipped == null || (isNonNegInt(r.skipped) && r.skipped <= r.total);
+}
+/** True only when the raw counts PROVE every collected test was skipped —
+ *  `passed` genuinely 0, `total` a positive integer, `skipped` exactly equal
+ *  to it. Anything else reaching `gate:"unknown"` is a malformed/partial
+ *  record, not a provable all-skipped run. */
+function isGenuinelyAllSkipped(r) {
+    return (isNonNegInt(r.passed) && r.passed === 0 && isNonNegInt(r.total) && r.total > 0 &&
+        isNonNegInt(r.skipped) && r.skipped === r.total);
+}
+/** A plain-language gate heading followed by the run's recorded counts. */
+function resultsSentence(r) {
+    if (r.passed != null && r.total != null) {
+        if (!hasValidCompleteCounts(r)) {
+            return "No reliable result — the recorded test counts are incomplete or invalid.";
+        }
+        // `unknown` with BOTH fields present means nothing citable happened
+        // despite having full data — never phrased as pass- or fail-shaped
+        // "passing" text (doubt review, MEDIUM: an all-skipped post-reversal run
+        // otherwise read as "0 of N passing" — indistinguishable from N real
+        // failures — or, when `passed` happened to equal `total` too, as a full
+        // green). A partial record (only ONE field present) is a DIFFERENT
+        // "unknown" — handled by the total-only / passed-only fallbacks below,
+        // unchanged.
+        if (r.gate === "unknown") {
+            return isGenuinelyAllSkipped(r)
+                ? `Needs attention — all ${plural(r.total, "collected test", "collected tests")} were skipped, so none ran.`
+                : "No reliable result — the recorded test counts are incomplete or invalid.";
+        }
+        // A skipped-carrying pass is disclosed, not rounded up to "All N passing"
+        // — that overstates what ran (code review, MEDIUM).
+        if (r.gate === "pass" && (r.skipped ?? 0) > 0) {
+            return `Passed — ${r.passed} of ${plural(r.total, "test", "tests")} passing (${r.skipped} skipped).`;
+        }
+        return r.gate === "pass"
+            ? `Passed — all ${plural(r.total, "test", "tests")} passing.`
+            : `Failed — ${r.passed} of ${plural(r.total, "test", "tests")} passing.`;
+    }
+    return "No reliable result — the run recorded only part of its test counts.";
+}
+/** The compact rail receipt for a counts result. */
+function resultsReceipt(r) {
+    if (!hasValidCompleteCounts(r))
+        return "no reliable result";
+    if (r.gate === "unknown" && isGenuinelyAllSkipped(r)) {
+        return `${r.skipped}/${r.total} skipped`;
+    }
+    if (r.passed != null && r.total != null)
+        return `${r.passed}/${r.total} passing`;
+    if (r.total != null)
+        return `${plural(r.total, "test", "tests")}`;
+    return `${r.passed} passing`;
+}
+/** Build the per-file rows + human clause from a resolved commit diff. */
+function summarizeFiles(diff, index) {
+    const byFile = index.status === "ok" ? index.byFile : null;
+    const rows = diff.files.map((f) => {
+        const entry = byFile?.get(f.path);
+        return {
+            path: f.path,
+            kind: f.kind,
+            // A removed file is never in the manifest — that is what removal means —
+            // so its layer always comes from the path. Inferring is honest here;
+            // claiming the manifest knew it would not be.
+            layer: entry?.layers[0] ?? inferLayer(f.path),
+            frs: entry?.frs ?? [],
+            caseCount: entry?.caseCount ?? null,
+        };
+    });
+    const counts = { added: 0, modified: 0, removed: 0 };
+    for (const r of rows)
+        counts[r.kind]++;
+    const layerCounts = new Map();
+    for (const r of rows) {
+        if (!r.layer)
+            continue;
+        layerCounts.set(r.layer, (layerCounts.get(r.layer) ?? 0) + 1);
+    }
+    const byLayer = [...layerCounts.entries()]
+        .sort((a, b) => b[1] - a[1] || a[0].localeCompare(b[0]))
+        .map(([layer, count]) => ({ layer, count }));
+    const parts = [];
+    if (counts.added)
+        parts.push(`added ${plural(counts.added, "test file", "test files")}`);
+    if (counts.modified)
+        parts.push(`changed ${plural(counts.modified, "test file", "test files")}`);
+    if (counts.removed)
+        parts.push(`removed ${plural(counts.removed, "test file", "test files")}`);
+    const layerPart = byLayer.length
+        ? ` (${byLayer.map((l) => `${l.count} ${layerWord(l.layer)}`).join(", ")})`
+        : "";
+    return {
+        rows,
+        counts,
+        byLayer,
+        sentence: parts.length ? `This change ${parts.join(", ")}${layerPart}.` : null,
+    };
+}
+/**
+ * The Tests artifact leads with recorded pass/total and enriches with the diff.
+ * It hides only when BOTH are genuinely absent, and stays `unavailable` (not
+ * hidden) when the counts are missing AND the diff could not be read.
+ */
+export function buildTestsArtifact(input) {
+    const { events, diff, index } = input;
+    // The event log itself is unreadable — we know nothing, and say so.
+    if (events.status === "unavailable") {
+        return unavailableTests("The run record could not be read.");
+    }
+    // The run has not finished: nothing recorded yet. Genuinely later.
+    if (events.status !== "found")
+        return hiddenTests("not_yet_created");
+    const results = toMissionTests(events.run.tests, events.run.ts);
+    const files = diff.status === "ok" ? summarizeFiles(diff, index) : null;
+    const hasFiles = files != null && files.rows.length > 0;
+    // Nothing recorded AND no file diff — preserve the honest terminal states so a
+    // read fault never masquerades as "no tests".
+    if (!results && !hasFiles) {
+        if (diff.status === "unavailable") {
+            return unavailableTests(diff.reason === "bad_commit"
+                ? "This run recorded no test counts and no commit, so its tests could not be identified."
+                : "This run's test changes could not be read from the repository.");
+        }
+        // git answered, no test file moved, and no counts were recorded.
+        return hiddenTests("not_applicable", "This change touched no test files.");
+    }
+    const summary = [results ? resultsSentence(results) : null, files?.sentence ?? null]
+        .filter((s) => Boolean(s))
+        .join(" ") || null;
+    const receipt = results
+        ? resultsReceipt(results)
+        : plural(files.rows.length, "test file", "test files");
+    return {
+        kind: "tests",
+        label: "Tests",
+        state: "available",
+        summary,
+        receipt,
+        detail: {
+            type: "tests",
+            results,
+            rows: files?.rows ?? [],
+            counts: files?.counts ?? { added: 0, modified: 0, removed: 0 },
+            byLayer: files?.byLayer ?? [],
+            truncated: diff.status === "ok" ? diff.truncated : false,
+            // A PARTIAL index counts as unavailable links: a file whose manifest entry
+            // fell past the cap would otherwise render "covers nothing" while the UI
+            // claimed the manifest was fine (external code review, MEDIUM). With no
+            // rows there is nothing to link, so the manifest is not "at fault".
+            manifestStatus: !hasFiles || (index.status === "ok" && !index.truncated) ? "ok" : "unavailable",
+            evidence: input.evidence,
+        },
+    };
+}
+//# sourceMappingURL=artifacts-tests.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"artifacts-tests.js","sourceRoot":"","sources":["../../../src/core/mission-context/artifacts-tests.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGnD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAM7C,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;AAED,gEAAgE;AAChE,SAAS,SAAS,CAAC,KAAa;IAC9B,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,YAAY,CAAC;IACzC,IAAI,KAAK,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IACpC,IAAI,KAAK,KAAK,aAAa;QAAE,OAAO,aAAa,CAAC;IAClD,OAAO,KAAK,CAAC;AACf,CAAC;AASD,SAAS,WAAW,CAAC,KAA2C,EAAE,IAAa;IAC7E,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACzH,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY;IACpC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACnH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAAC,CAA8B,EAAE,EAAiB;IAC9E,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;AAChG,CAAC;AAED;;;;;;gFAMgF;AAChF,SAAS,WAAW,CAAC,CAA4B;IAC/C,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChE,CAAC;AAED,2FAA2F;AAC3F,SAAS,sBAAsB,CAAC,CAAe;IAC7C,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACxF,OAAO,CAAC,CAAC,OAAO,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;AAC/E,CAAC;AAED;;;8CAG8C;AAC9C,SAAS,qBAAqB,CAAC,CAAe;IAC5C,OAAO,CACL,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC;QAC9E,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,KAAK,CAChD,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,SAAS,eAAe,CAAC,CAAe;IACtC,IAAI,CAAC,CAAC,MAAM,IAAI,IAAI,IAAI,CAAC,CAAC,KAAK,IAAI,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,OAAO,0EAA0E,CAAC;QACpF,CAAC;QACD,oEAAoE;QACpE,mEAAmE;QACnE,yEAAyE;QACzE,qEAAqE;QACrE,wEAAwE;QACxE,mEAAmE;QACnE,uEAAuE;QACvE,aAAa;QACb,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,qBAAqB,CAAC,CAAC,CAAC;gBAC7B,CAAC,CAAC,yBAAyB,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,6BAA6B;gBAC5G,CAAC,CAAC,0EAA0E,CAAC;QACjF,CAAC;QACD,0EAA0E;QAC1E,oDAAoD;QACpD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9C,OAAO,YAAY,CAAC,CAAC,MAAM,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,OAAO,YAAY,CAAC;QACvG,CAAC;QACD,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM;YACtB,CAAC,CAAC,gBAAgB,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,WAAW;YAC7D,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC;IAC7E,CAAC;IACD,OAAO,qEAAqE,CAAC;AAC/E,CAAC;AAED,oDAAoD;AACpD,SAAS,cAAc,CAAC,CAAe;IACrC,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC;QAAE,OAAO,oBAAoB,CAAC;IAC5D,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,OAAO,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,KAAK,UAAU,CAAC;IAC3C,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,IAAI,IAAI,IAAI,CAAC,CAAC,KAAK,IAAI,IAAI;QAAE,OAAO,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,UAAU,CAAC;IACjF,IAAI,CAAC,CAAC,KAAK,IAAI,IAAI;QAAE,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;IAClE,OAAO,GAAG,CAAC,CAAC,MAAM,UAAU,CAAC;AAC/B,CAAC;AAUD,0EAA0E;AAC1E,SAAS,cAAc,CAAC,IAA0C,EAAE,KAAwB;IAC1F,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3D,MAAM,IAAI,GAAc,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3C,MAAM,KAAK,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,yEAAyE;YACzE,qEAAqE;YACrE,8CAA8C;YAC9C,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;YAC7C,GAAG,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE;YACrB,SAAS,EAAE,KAAK,EAAE,SAAS,IAAI,IAAI;SACpC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAEvC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,CAAC,KAAK;YAAE,SAAS;QACvB,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;SACvC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACvD,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAE/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,MAAM,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC;IACzF,IAAI,MAAM,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC;IACjG,IAAI,MAAM,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC;IAC/F,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM;QAC9B,CAAC,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QAC3E,CAAC,CAAC,EAAE,CAAC;IAEP,OAAO;QACL,IAAI;QACJ,MAAM;QACN,OAAO;QACP,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,SAAS,GAAG,CAAC,CAAC,CAAC,IAAI;KAC/E,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAiB;IAClD,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAEtC,oEAAoE;IACpE,IAAI,MAAM,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACpC,OAAO,gBAAgB,CAAC,mCAAmC,CAAC,CAAC;IAC/D,CAAC;IACD,mEAAmE;IACnE,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO;QAAE,OAAO,WAAW,CAAC,iBAAiB,CAAC,CAAC;IAErE,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,MAAM,QAAQ,GAAG,KAAK,IAAI,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;IAExD,+EAA+E;IAC/E,8CAA8C;IAC9C,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;YAClC,OAAO,gBAAgB,CACrB,IAAI,CAAC,MAAM,KAAK,YAAY;gBAC1B,CAAC,CAAC,uFAAuF;gBACzF,CAAC,CAAC,gEAAgE,CACrE,CAAC;QACJ,CAAC;QACD,iEAAiE;QACjE,OAAO,WAAW,CAAC,gBAAgB,EAAE,oCAAoC,CAAC,CAAC;IAC7E,CAAC;IAED,MAAM,OAAO,GACX,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,IAAI,IAAI,CAAC;SACjE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SACtC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;IACvB,MAAM,OAAO,GAAG,OAAO;QACrB,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC;QACzB,CAAC,CAAC,MAAM,CAAC,KAAM,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;IAE1D,OAAO;QACL,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,WAAW;QAClB,OAAO;QACP,OAAO;QACP,MAAM,EAAE;YACN,IAAI,EAAE,OAAO;YACb,OAAO;YACP,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,EAAE;YACvB,MAAM,EAAE,KAAK,EAAE,MAAM,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;YAC9D,OAAO,EAAE,KAAK,EAAE,OAAO,IAAI,EAAE;YAC7B,SAAS,EAAE,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK;YACxD,2EAA2E;YAC3E,yEAAyE;YACzE,wEAAwE;YACxE,oEAAoE;YACpE,cAAc,EAAE,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa;YAC/F,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB;KACF,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,33 @@
+import type { RequirementArtifact, SpecArtifact } from "./types.js";
+import type { FoldMap } from "./fold-map.js";
+import type { IterateDoc, EventLookup } from "./iterate-record.js";
+export interface SpecInput {
+    /** Minted opaque id — null when the document did not resolve. */
+    documentId: string | null;
+    /** Basename for display (never a path). */
+    title: string | null;
+    /** True when the resolve was denied by a guard rather than simply missing. */
+    denied: boolean;
+    /** Mid-run reads come from the worktree; post-Finalize from the main root. */
+    fromWorktree: boolean;
+    /** The run's own one-line intent, when the event log recorded one. */
+    intent: string | null;
+}
+export declare function buildSpecArtifact(input: SpecInput): SpecArtifact;
+export interface RequirementInput {
+    foldMap: FoldMap;
+    /** Post-Finalize record, when present. */
+    doc: IterateDoc | null;
+    /** The `work_completed` lookup — its status drives available vs unavailable. */
+    events: EventLookup;
+    /** Spec body, used ONLY for mid-run planned impact (AC1). */
+    specText?: string | null;
+    /** True only while the resolver still observes this iterate as live. */
+    runLive?: boolean;
+    sourceDocument?: {
+        documentId: string;
+        title: string;
+    } | null;
+}
+export declare function buildRequirementArtifact(input: RequirementInput): RequirementArtifact;
+//# sourceMappingURL=artifacts.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"artifacts.d.ts","sourceRoot":"","sources":["../../../src/core/mission-context/artifacts.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAEV,mBAAmB,EAEnB,YAAY,EACb,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAG7C,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAWnE,MAAM,WAAW,SAAS;IACxB,iEAAiE;IACjE,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,2CAA2C;IAC3C,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,8EAA8E;IAC9E,MAAM,EAAE,OAAO,CAAC;IAChB,8EAA8E;IAC9E,YAAY,EAAE,OAAO,CAAC;IACtB,sEAAsE;IACtE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,SAAS,GAAG,YAAY,CAqChE;AAeD,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,OAAO,CAAC;IACjB,0CAA0C;IAC1C,GAAG,EAAE,UAAU,GAAG,IAAI,CAAC;IACvB,gFAAgF;IAChF,MAAM,EAAE,WAAW,CAAC;IACpB,6DAA6D;IAC7D,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,wEAAwE;IACxE,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,cAAc,CAAC,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;CAC/D;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,gBAAgB,GAAG,mBAAmB,CA4HrF"}