@knpkv/herdr-work 0.5.3 → 0.6.0

package/dist/observed.js

@@ -0,0 +1,240 @@
+import { fleetResponseBodyMaxBytes } from "@knpkv/herdr-fleet";
+import { Schema } from "effect";
+import { WorkActivityProvenance, WorkGoalObservedEntry, WorkSnapshots } from "./model.js";
+/**
+ * The subject a pull request's facts and failures are stored under. GitHub
+ * owner and repository names are case-insensitive (and ASCII), so they are
+ * lowercased: `Knpkv/npm` and `knpkv/npm` are one subject.
+ */
+export const pullRequestSubject = (repository, pullRequest) => `github:${asciiLower(repository)}#${pullRequest}`;
+/** The subject an agent's facts and failures are stored under; the host is case-insensitive. */
+export const agentSubject = (host, agentId) => `herdr:${asciiLower(host)}/${agentId}`;
+/**
+ * Lowercases ASCII letters only. Full Unicode lowercasing can lengthen a
+ * string (`İ` becomes two code units), which would push a bounded identity
+ * past its limit; hosts and GitHub names compare case-insensitively in ASCII.
+ */
+export const asciiLower = (value) => value.replace(/[A-Z]/g, (letter) => letter.toLowerCase());
+const githubSubject = /^github:([^#]+)#([1-9][0-9]*)$/;
+const herdrSubject = /^herdr:([^/]+)\/(.+)$/;
+/**
+ * The canonical form of a subject a failed read names, so it lands on the
+ * same row as that subject's facts; null when the subject does not belong to
+ * its source (a `github` failure must name `github:<repo>#<n>`, a `herdr`
+ * failure `herdr:<host>/<agentId>`). `git` subjects are kept as given.
+ */
+export const canonicalSubject = (source, subject) => {
+    if (source === "git")
+        return subject;
+    if (source === "github") {
+        const match = githubSubject.exec(subject);
+        return match?.[1] === undefined || match[2] === undefined ? null : pullRequestSubject(match[1], Number(match[2]));
+    }
+    const match = herdrSubject.exec(subject);
+    return match?.[1] === undefined || match[2] === undefined ? null : agentSubject(match[1], match[2]);
+};
+/**
+ * The key one observation is stored under: one pull request, or one agent on
+ * one host. An `unknown` observation names the subject it failed to read, so
+ * a failure lands on the same subject as that subject's facts.
+ */
+export const observationSubject = (observation) => {
+    switch (observation._tag) {
+        case "pull_request":
+            return pullRequestSubject(observation.repository, observation.pullRequest);
+        case "agent":
+            return agentSubject(observation.host, observation.agentId);
+        case "unknown":
+            return canonicalSubject(observation.source, observation.subject) ?? observation.subject;
+    }
+};
+/** An owner whose agent has been gone this long, on unfinished work, is flagged stale. */
+export const staleOwnerAfterMillis = 24 * 60 * 60 * 1_000;
+const terminalStates = new Set(["completed", "deployed", "abandoned"]);
+const reviewUrl = /^https:\/\/github\.com\/([A-Za-z0-9_.-]+\/[A-Za-z0-9_.-]+)\/pull\/([1-9][0-9]*)$/;
+/** The goal's own subjects: its pull request (from `review.url`) and its owner's agent (or connect target). */
+const goalSubjects = (goal) => {
+    const match = reviewUrl.exec(goal.review?.url ?? "");
+    // Older goals carry only a connect target; it names the same agent.
+    const owner = goal.agentHierarchy?.agent ?? goal.connectTarget;
+    return {
+        agent: owner === undefined || owner === null ? null : agentSubject(owner.host, owner.agentId),
+        pullRequest: match?.[1] === undefined || match[2] === undefined
+            ? null
+            : pullRequestSubject(match[1], Number(match[2]))
+    };
+};
+/** The subject of the pull request a goal's `review.url` names, or null when it names none. */
+export const goalPullRequestSubject = (goal) => goalSubjects(goal).pullRequest;
+const terminalPullRequestState = (pullRequest) => pullRequest.state === "merged" ? "completed" : pullRequest.state === "closed" ? "abandoned" : null;
+const agentState = (agent) => agent.status === "working" || agent.status === "blocked" ? agent.status : null;
+const observeWith = (goal, facts, failures, now) => {
+    const subjects = goalSubjects(goal);
+    const pullRequestFact = subjects.pullRequest === null ? undefined : facts.get(subjects.pullRequest);
+    const agentFact = subjects.agent === null ? undefined : facts.get(subjects.agent);
+    const pullRequest = pullRequestFact?.observation._tag === "pull_request"
+        ? {
+            confirmedAt: pullRequestFact.confirmedAt,
+            fact: pullRequestFact.observation,
+            observedAt: pullRequestFact.observedAt
+        }
+        : null;
+    const agent = agentFact?.observation._tag === "agent"
+        ? { confirmedAt: agentFact.confirmedAt, fact: agentFact.observation, observedAt: agentFact.observedAt }
+        : null;
+    const unknown = [subjects.pullRequest, subjects.agent]
+        .flatMap((subject) => {
+        const failure = subject === null ? undefined : failures.get(subject);
+        return failure === undefined || subject === null ? [] : [{
+                lastGoodAt: facts.get(subject)?.confirmedAt ?? null,
+                reason: failure.reason,
+                since: failure.since,
+                source: failure.source
+            }];
+    })
+        .reduce((oldest, next) => oldest === null || next.since < oldest.since ? next : oldest, null);
+    const displayState = terminalStates.has(goal.state)
+        ? goal.state
+        : (pullRequest === null ? null : terminalPullRequestState(pullRequest.fact)) ??
+            (goal.state === "blocked" ? "blocked" : null) ??
+            (agent === null ? null : agentState(agent.fact)) ??
+            (pullRequest === null ? goal.state : "review");
+    const stale = !terminalStates.has(displayState) && agent !== null && agent.fact.status === "gone" &&
+        now - agent.observedAt > staleOwnerAfterMillis;
+    return { agent, displayState, pullRequest, stale, unknown };
+};
+const bySubject = (rows) => new Map(rows.map((row) => [row.subject, row]));
+/**
+ * Overlays the latest observed facts and current read failures on one goal
+ * for display, matched through the goal's own subjects. Precedence: a
+ * recorded terminal state, then a terminal pull request, then the owner's
+ * blocker, then the agent's working/blocked status, then an open pull request
+ * (review), then the goal's own state. The goal itself is never changed.
+ */
+export const observeGoal = (goal, facts, failures, now) => observeWith(goal, bySubject(facts), bySubject(failures), now);
+/**
+ * The encoded size the overlay may bring a snapshot up to: the Fleet response
+ * limit less the newline the HTTP route appends after the JSON body.
+ */
+export const workSnapshotBudgetBytes = fleetResponseBodyMaxBytes - "\n".length;
+const utf8 = new TextEncoder();
+const encodedBytes = (value) => utf8.encode(JSON.stringify(value)).byteLength;
+const observedSomething = ({ agent, pullRequest, unknown }) => agent !== null || pullRequest !== null || unknown !== null;
+/**
+ * Adds observed facts to the `now` window, for each goal something was
+ * observed about (`observed` is present, possibly empty, whenever it fits). Earlier windows are history and stay as recorded. Entries
+ * are kept in the window's goal order (most recently updated first) while the
+ * encoded snapshots stay within `maxBytes`; the rest are counted in
+ * `observedOmitted`, never silently dropped.
+ */
+export const withObservedFacts = (snapshots, facts, failures, maxBytes) => {
+    // A snapshot at time t shows only what was known at t: facts first seen by
+    // then, with the last confirmation made by then (the first sighting, also a
+    // real read, when the latest is later), and failures whose latest failed
+    // read, and so their reason, was known by then.
+    const asOf = snapshots.observedAt;
+    const factMap = bySubject(facts.filter(({ observedAt }) => observedAt <= asOf).map((fact) => ({
+        ...fact,
+        confirmedAt: fact.confirmedAt <= asOf ? fact.confirmedAt : fact.observedAt
+    })));
+    const failureMap = bySubject(failures.filter(({ lastAt }) => lastAt <= asOf));
+    const candidates = snapshots.now.goals.flatMap((goal) => {
+        const observed = observeWith(goal, factMap, failureMap, snapshots.observedAt);
+        return observedSomething(observed) ? [{ goalId: goal.id, ...observed }] : [];
+    });
+    const encode = Schema.encodeSync(WorkSnapshots);
+    // Any overlay already on the snapshots is replaced, never added to.
+    const { observed: _previous, observedOmitted: _previousOmitted, ...bareNow } = snapshots.now;
+    const bare = { ...snapshots, now: bareNow };
+    const withEntries = (kept) => {
+        const omitted = candidates.length - kept.length;
+        const now = { ...bareNow, observed: kept };
+        return { ...bare, now: omitted === 0 ? now : { ...now, observedOmitted: omitted } };
+    };
+    // Estimate greedily, then check the real encoding and drop entries until it
+    // fits. `observed` is always present, empty when nothing was observed; if
+    // not even that fits, the snapshots carry no overlay keys at all, which a
+    // reader treats as "live state not available".
+    let used = encodedBytes(encode(bare)) + 64;
+    const kept = [];
+    for (const entry of candidates) {
+        const bytes = encodedBytes(Schema.encodeSync(WorkGoalObservedEntry)(entry)) + 1;
+        if (used + bytes > maxBytes)
+            break;
+        kept.push(entry);
+        used += bytes;
+    }
+    for (;;) {
+        const result = withEntries(kept);
+        if (encodedBytes(encode(result)) <= maxBytes)
+            return result;
+        if (kept.length === 0)
+            return bare;
+        kept.pop();
+    }
+};
+const sameActivity = (left, right) => left.id === right.id && left.kind === right.kind && left.summary === right.summary &&
+    left.occurredAt === right.occurredAt;
+/** The reconciler's checkpoints, and their activities, use this id prefix. */
+export const reconcilerEventPrefix = "reconciler.";
+/**
+ * Adds who wrote each non-owner activity to the `now` window: the reconciler
+ * or an approved job. Goals are covered whole, in the window's goal order,
+ * while the encoded snapshots stay within `maxBytes`; `activityProvenanceGoals`
+ * names the covered ones, so a missing activity of a covered goal is the
+ * owner's and an uncovered goal is unknown, never guessed.
+ */
+export const withActivityProvenance = (snapshots, approvals, reconcilerEvents, activityOrigins, maxBytes) => {
+    const reconciler = new Set(reconcilerEvents.map(({ eventId, goalId }) => `${goalId}\u0000${eventId}`));
+    const approvalJob = new Map(approvals.map(({ activityId, approvalJobId, goalId }) => [`${goalId}\u0000${activityId}`, approvalJobId]));
+    const encode = Schema.encodeSync(WorkSnapshots);
+    // Room for the three keys on top of the bare snapshots.
+    let used = encodedBytes(encode(snapshots)) + 128;
+    const provenance = [];
+    const covered = [];
+    for (const goal of snapshots.now.goals) {
+        const entries = (goal.activity ?? []).flatMap((activity) => {
+            // Authorship comes from what wrote the activity, never from its id alone,
+            // and holds only while the activity still reads exactly as written.
+            const key = `${goal.id}\u0000${activity.id}`;
+            const origin = activityOrigins.get(key);
+            if (origin === undefined || !sameActivity(origin.activity, activity))
+                return [];
+            const job = approvalJob.get(key);
+            // An approved operation writes its activity in its own checkpoint, whose
+            // event id is the activity id; any other origin is not its write.
+            if (job !== undefined && origin.eventId === activity.id) {
+                return [{ activityId: activity.id, approvalJobId: job, goalId: goal.id, provenance: "approval" }];
+            }
+            return reconciler.has(`${goal.id}\u0000${origin.eventId}`)
+                ? [{ activityId: activity.id, approvalJobId: null, goalId: goal.id, provenance: "reconciler" }]
+                : [];
+        });
+        const bytes = encodedBytes(goal.id) + 3 +
+            entries.reduce((sum, entry) => sum + encodedBytes(Schema.encodeSync(WorkActivityProvenance)(entry)) + 1, 0);
+        // Goals are covered in order; once one doesn't fit, the rest stay uncovered.
+        if (used + bytes > maxBytes)
+            break;
+        for (const entry of entries)
+            provenance.push(entry);
+        covered.push(goal.id);
+        used += bytes;
+    }
+    // Check the real encoding and uncover whole goals from the end until it
+    // fits; if not even empty lists fit, carry no provenance (all unknown).
+    for (;;) {
+        const uncovered = snapshots.now.goals.length - covered.length;
+        const now = {
+            ...snapshots.now,
+            activityProvenance: provenance.filter(({ goalId }) => covered.includes(goalId)),
+            activityProvenanceGoals: covered
+        };
+        const result = { ...snapshots, now: uncovered === 0 ? now : { ...now, activityProvenanceOmitted: uncovered } };
+        if (encodedBytes(encode(result)) <= maxBytes)
+            return result;
+        if (covered.length === 0)
+            return snapshots;
+        covered.pop();
+    }
+};
+//# sourceMappingURL=observed.js.map

package/dist/observed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observed.js","sourceRoot":"","sources":["../src/observed.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAA;AAC9D,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAazF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,UAAkB,EAAE,WAAmB,EAAU,EAAE,CACpF,UAAU,UAAU,CAAC,UAAU,CAAC,IAAI,WAAW,EAAE,CAAA;AAEnD,gGAAgG;AAChG,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,OAAe,EAAU,EAAE,CAAC,SAAS,UAAU,CAAC,IAAI,CAAC,IAAI,OAAO,EAAE,CAAA;AAE7G;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAA;AAE9G,MAAM,aAAa,GAAG,gCAAgC,CAAA;AACtD,MAAM,YAAY,GAAG,uBAAuB,CAAA;AAE5C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAkC,EAAE,OAAe,EAAiB,EAAE;IACrG,IAAI,MAAM,KAAK,KAAK;QAAE,OAAO,OAAO,CAAA;IACpC,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACzC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnH,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACxC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACrG,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,WAA4B,EAAU,EAAE;IACzE,QAAQ,WAAW,CAAC,IAAI,EAAE,CAAC;QACzB,KAAK,cAAc;YACjB,OAAO,kBAAkB,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,WAAW,CAAC,CAAA;QAC5E,KAAK,OAAO;YACV,OAAO,YAAY,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC,CAAA;QAC5D,KAAK,SAAS;YACZ,OAAO,gBAAgB,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI,WAAW,CAAC,OAAO,CAAA;IAC3F,CAAC;AACH,CAAC,CAAA;AAED,0FAA0F;AAC1F,MAAM,CAAC,MAAM,qBAAqB,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,KAAK,CAAA;AAEzD,MAAM,cAAc,GAAkC,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAA;AAErG,MAAM,SAAS,GAAG,kFAAkF,CAAA;AAEpG,+GAA+G;AAC/G,MAAM,YAAY,GAAG,CAAC,IAAc,EAAE,EAAE;IACtC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC,CAAA;IACpD,oEAAoE;IACpE,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,EAAE,KAAK,IAAI,IAAI,CAAC,aAAa,CAAA;IAC9D,OAAO;QACL,KAAK,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC;QAC7F,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS;YAC7D,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;KACnD,CAAA;AACH,CAAC,CAAA;AAED,+FAA+F;AAC/F,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,IAAc,EAAiB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,CAAA;AAEvG,MAAM,wBAAwB,GAAG,CAAC,WAAuC,EAA2B,EAAE,CACpG,WAAW,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAA;AAEpG,MAAM,UAAU,GAAG,CAAC,KAA2B,EAA2B,EAAE,CAC1E,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;AAEhF,MAAM,WAAW,GAAG,CAClB,IAAc,EACd,KAA4C,EAC5C,QAAkD,EAClD,GAAW,EACO,EAAE;IACpB,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;IACnC,MAAM,eAAe,GAAG,QAAQ,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;IACnG,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IACjF,MAAM,WAAW,GAAG,eAAe,EAAE,WAAW,CAAC,IAAI,KAAK,cAAc;QACtE,CAAC,CAAC;YACA,WAAW,EAAE,eAAe,CAAC,WAAW;YACxC,IAAI,EAAE,eAAe,CAAC,WAAW;YACjC,UAAU,EAAE,eAAe,CAAC,UAAU;SACvC;QACD,CAAC,CAAC,IAAI,CAAA;IACR,MAAM,KAAK,GAAG,SAAS,EAAE,WAAW,CAAC,IAAI,KAAK,OAAO;QACnD,CAAC,CAAC,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,CAAC,UAAU,EAAE;QACvG,CAAC,CAAC,IAAI,CAAA;IACR,MAAM,OAAO,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC;SACnD,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QACnB,MAAM,OAAO,GAAG,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACpE,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACvD,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,WAAW,IAAI,IAAI;gBACnD,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,OAAO,CAAC,MAAM;aACvB,CAAC,CAAA;IACJ,CAAC,CAAC;SACD,MAAM,CACL,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAC9E,IAAI,CACL,CAAA;IACH,MAAM,YAAY,GAAqB,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;QACnE,CAAC,CAAC,IAAI,CAAC,KAAK;QACZ,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC1E,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;YAC7C,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAChD,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;IAClD,MAAM,KAAK,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM;QAC/F,GAAG,GAAG,KAAK,CAAC,UAAU,GAAG,qBAAqB,CAAA;IAChD,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;AAC7D,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAyC,IAAsB,EAA0B,EAAE,CAC3G,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;AAEhD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAc,EACd,KAAsC,EACtC,QAA4C,EAC5C,GAAW,EACO,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAA;AAEpF;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAA;AAE9E,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAA;AAC9B,MAAM,YAAY,GAAG,CAAC,KAAkB,EAAU,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAA;AAElG,MAAM,iBAAiB,GAAG,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAoB,EAAW,EAAE,CACvF,KAAK,KAAK,IAAI,IAAI,WAAW,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,CAAA;AAE5D;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,SAAwB,EACxB,KAAsC,EACtC,QAA4C,EAC5C,QAAgB,EACD,EAAE;IACjB,2EAA2E;IAC3E,4EAA4E;IAC5E,yEAAyE;IACzE,gDAAgD;IAChD,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAA;IACjC,MAAM,OAAO,GAAG,SAAS,CACvB,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClE,GAAG,IAAI;QACP,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU;KAC3E,CAAC,CAAC,CACJ,CAAA;IACD,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAA;IAC7E,MAAM,UAAU,GAAyC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC5F,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC,CAAA;QAC7E,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC9E,CAAC,CAAC,CAAA;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAA;IAC/C,oEAAoE;IACpE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,EAAE,gBAAgB,EAAE,GAAG,OAAO,EAAE,GAAG,SAAS,CAAC,GAAG,CAAA;IAC5F,MAAM,IAAI,GAAkB,EAAE,GAAG,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,CAAA;IAC1D,MAAM,WAAW,GAAG,CAAC,IAA0C,EAAiB,EAAE;QAChF,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;QAC/C,MAAM,GAAG,GAAG,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;QAC1C,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,eAAe,EAAE,OAAO,EAAE,EAAE,CAAA;IACrF,CAAC,CAAA;IACD,4EAA4E;IAC5E,0EAA0E;IAC1E,0EAA0E;IAC1E,+CAA+C;IAC/C,IAAI,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAA;IAC1C,MAAM,IAAI,GAAiC,EAAE,CAAA;IAC7C,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAA;QAC/E,IAAI,IAAI,GAAG,KAAK,GAAG,QAAQ;YAAE,MAAK;QAClC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAChB,IAAI,IAAI,KAAK,CAAA;IACf,CAAC;IACD,SAAS,CAAC;QACR,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;QAChC,IAAI,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,QAAQ;YAAE,OAAO,MAAM,CAAA;QAC3D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAA;QAClC,IAAI,CAAC,GAAG,EAAE,CAAA;IACZ,CAAC;AACH,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,IAAkB,EAAE,KAAmB,EAAW,EAAE,CACxE,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;IAClF,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CAAA;AAStC,8EAA8E;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAAG,aAAa,CAAA;AAElD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,SAAwB,EACxB,SAA8C,EAC9C,gBAAsF,EACtF,eAAmG,EACnG,QAAgB,EACD,EAAE;IACjB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,SAAS,OAAO,EAAE,CAAC,CAAC,CAAA;IACtG,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,SAAS,UAAU,EAAE,EAAE,aAAa,CAAC,CAAC,CAC1G,CAAA;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAA;IAC/C,wDAAwD;IACxD,IAAI,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,GAAG,CAAA;IAChD,MAAM,UAAU,GAAkC,EAAE,CAAA;IACpD,MAAM,OAAO,GAAkB,EAAE,CAAA;IACjC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAyC,EAAE;YAChG,0EAA0E;YAC1E,oEAAoE;YACpE,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,EAAE,SAAS,QAAQ,CAAC,EAAE,EAAE,CAAA;YAC5C,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACvC,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC;gBAAE,OAAO,EAAE,CAAA;YAC/E,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAChC,yEAAyE;YACzE,kEAAkE;YAClE,IAAI,GAAG,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACxD,OAAO,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,CAAA;YACnG,CAAC;YACD,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,SAAS,MAAM,CAAC,OAAO,EAAE,CAAC;gBACxD,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC;gBAC/F,CAAC,CAAC,EAAE,CAAA;QACR,CAAC,CAAC,CAAA;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;YACrC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;QAC7G,6EAA6E;QAC7E,IAAI,IAAI,GAAG,KAAK,GAAG,QAAQ;YAAE,MAAK;QAClC,KAAK,MAAM,KAAK,IAAI,OAAO;YAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACnD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACrB,IAAI,IAAI,KAAK,CAAA;IACf,CAAC;IACD,wEAAwE;IACxE,wEAAwE;IACxE,SAAS,CAAC;QACR,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAA;QAC7D,MAAM,GAAG,GAAG;YACV,GAAG,SAAS,CAAC,GAAG;YAChB,kBAAkB,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC/E,uBAAuB,EAAE,OAAO;SACjC,CAAA;QACD,MAAM,MAAM,GAAG,EAAE,GAAG,SAAS,EAAE,GAAG,EAAE,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,yBAAyB,EAAE,SAAS,EAAE,EAAE,CAAA;QAC9G,IAAI,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,QAAQ;YAAE,OAAO,MAAM,CAAA;QAC3D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAA;QAC1C,OAAO,CAAC,GAAG,EAAE,CAAA;IACf,CAAC;AACH,CAAC,CAAA"}

package/dist/projection.d.ts

@@ -12,7 +12,7 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
             readonly title: string;
             readonly summary: string;
             readonly detail: string;
-            readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+            readonly state: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
             readonly owner: {
                 readonly id: string;
                 readonly name: string;
@@ -93,7 +93,7 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
                 readonly title: string;
                 readonly summary: string;
                 readonly detail: string;
-                readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+                readonly state: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
                 readonly owner: {
                     readonly id: string;
                     readonly name: string;
@@ -172,7 +172,7 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
                 readonly title: string;
                 readonly summary: string;
                 readonly detail: string;
-                readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+                readonly state: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
                 readonly owner: {
                     readonly id: string;
                     readonly name: string;
@@ -247,6 +247,51 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
                 readonly updatedAt: number;
             }[];
         }[];
+        readonly observed?: readonly {
+            readonly pullRequest: {
+                readonly fact: {
+                    readonly _tag: "pull_request";
+                    readonly repository: string;
+                    readonly pullRequest: number;
+                    readonly state: "closed" | "merged" | "open";
+                    readonly branch: string;
+                    readonly head: string;
+                    readonly review: "approved" | "changes_requested" | "not_requested" | "requested";
+                    readonly checks: "failing" | "none" | "passing" | "pending";
+                    readonly closedAt: number | null;
+                };
+                readonly observedAt: number;
+                readonly confirmedAt: number;
+            } | null;
+            readonly agent: {
+                readonly fact: {
+                    readonly _tag: "agent";
+                    readonly host: string;
+                    readonly agentId: string;
+                    readonly status: "blocked" | "done" | "gone" | "idle" | "working";
+                };
+                readonly observedAt: number;
+                readonly confirmedAt: number;
+            } | null;
+            readonly unknown: {
+                readonly source: "git" | "github" | "herdr";
+                readonly reason: string;
+                readonly since: number;
+                readonly lastGoodAt: number | null;
+            } | null;
+            readonly displayState: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+            readonly stale: boolean;
+            readonly goalId: string;
+        }[];
+        readonly observedOmitted?: number;
+        readonly activityProvenance?: readonly {
+            readonly goalId: string;
+            readonly activityId: string;
+            readonly provenance: "approval" | "reconciler";
+            readonly approvalJobId: string | null;
+        }[];
+        readonly activityProvenanceGoals?: readonly string[];
+        readonly activityProvenanceOmitted?: number;
     };
     readonly day: {
         readonly window: "day" | "month" | "now" | "week";
@@ -257,7 +302,7 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
             readonly title: string;
             readonly summary: string;
             readonly detail: string;
-            readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+            readonly state: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
             readonly owner: {
                 readonly id: string;
                 readonly name: string;
@@ -338,7 +383,7 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
                 readonly title: string;
                 readonly summary: string;
                 readonly detail: string;
-                readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+                readonly state: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
                 readonly owner: {
                     readonly id: string;
                     readonly name: string;
@@ -417,7 +462,7 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
                 readonly title: string;
                 readonly summary: string;
                 readonly detail: string;
-                readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+                readonly state: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
                 readonly owner: {
                     readonly id: string;
                     readonly name: string;
@@ -492,6 +537,51 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
                 readonly updatedAt: number;
             }[];
         }[];
+        readonly observed?: readonly {
+            readonly pullRequest: {
+                readonly fact: {
+                    readonly _tag: "pull_request";
+                    readonly repository: string;
+                    readonly pullRequest: number;
+                    readonly state: "closed" | "merged" | "open";
+                    readonly branch: string;
+                    readonly head: string;
+                    readonly review: "approved" | "changes_requested" | "not_requested" | "requested";
+                    readonly checks: "failing" | "none" | "passing" | "pending";
+                    readonly closedAt: number | null;
+                };
+                readonly observedAt: number;
+                readonly confirmedAt: number;
+            } | null;
+            readonly agent: {
+                readonly fact: {
+                    readonly _tag: "agent";
+                    readonly host: string;
+                    readonly agentId: string;
+                    readonly status: "blocked" | "done" | "gone" | "idle" | "working";
+                };
+                readonly observedAt: number;
+                readonly confirmedAt: number;
+            } | null;
+            readonly unknown: {
+                readonly source: "git" | "github" | "herdr";
+                readonly reason: string;
+                readonly since: number;
+                readonly lastGoodAt: number | null;
+            } | null;
+            readonly displayState: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+            readonly stale: boolean;
+            readonly goalId: string;
+        }[];
+        readonly observedOmitted?: number;
+        readonly activityProvenance?: readonly {
+            readonly goalId: string;
+            readonly activityId: string;
+            readonly provenance: "approval" | "reconciler";
+            readonly approvalJobId: string | null;
+        }[];
+        readonly activityProvenanceGoals?: readonly string[];
+        readonly activityProvenanceOmitted?: number;
     };
     readonly week: {
         readonly window: "day" | "month" | "now" | "week";
@@ -502,7 +592,7 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
             readonly title: string;
             readonly summary: string;
             readonly detail: string;
-            readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+            readonly state: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
             readonly owner: {
                 readonly id: string;
                 readonly name: string;
@@ -583,7 +673,7 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
                 readonly title: string;
                 readonly summary: string;
                 readonly detail: string;
-                readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+                readonly state: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
                 readonly owner: {
                     readonly id: string;
                     readonly name: string;
@@ -662,7 +752,7 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
                 readonly title: string;
                 readonly summary: string;
                 readonly detail: string;
-                readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+                readonly state: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
                 readonly owner: {
                     readonly id: string;
                     readonly name: string;
@@ -737,6 +827,51 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
                 readonly updatedAt: number;
             }[];
         }[];
+        readonly observed?: readonly {
+            readonly pullRequest: {
+                readonly fact: {
+                    readonly _tag: "pull_request";
+                    readonly repository: string;
+                    readonly pullRequest: number;
+                    readonly state: "closed" | "merged" | "open";
+                    readonly branch: string;
+                    readonly head: string;
+                    readonly review: "approved" | "changes_requested" | "not_requested" | "requested";
+                    readonly checks: "failing" | "none" | "passing" | "pending";
+                    readonly closedAt: number | null;
+                };
+                readonly observedAt: number;
+                readonly confirmedAt: number;
+            } | null;
+            readonly agent: {
+                readonly fact: {
+                    readonly _tag: "agent";
+                    readonly host: string;
+                    readonly agentId: string;
+                    readonly status: "blocked" | "done" | "gone" | "idle" | "working";
+                };
+                readonly observedAt: number;
+                readonly confirmedAt: number;
+            } | null;
+            readonly unknown: {
+                readonly source: "git" | "github" | "herdr";
+                readonly reason: string;
+                readonly since: number;
+                readonly lastGoodAt: number | null;
+            } | null;
+            readonly displayState: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+            readonly stale: boolean;
+            readonly goalId: string;
+        }[];
+        readonly observedOmitted?: number;
+        readonly activityProvenance?: readonly {
+            readonly goalId: string;
+            readonly activityId: string;
+            readonly provenance: "approval" | "reconciler";
+            readonly approvalJobId: string | null;
+        }[];
+        readonly activityProvenanceGoals?: readonly string[];
+        readonly activityProvenanceOmitted?: number;
     };
     readonly month: {
         readonly window: "day" | "month" | "now" | "week";
@@ -747,7 +882,7 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
             readonly title: string;
             readonly summary: string;
             readonly detail: string;
-            readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+            readonly state: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
             readonly owner: {
                 readonly id: string;
                 readonly name: string;
@@ -828,7 +963,7 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
                 readonly title: string;
                 readonly summary: string;
                 readonly detail: string;
-                readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+                readonly state: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
                 readonly owner: {
                     readonly id: string;
                     readonly name: string;
@@ -907,7 +1042,7 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
                 readonly title: string;
                 readonly summary: string;
                 readonly detail: string;
-                readonly state: "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+                readonly state: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
                 readonly owner: {
                     readonly id: string;
                     readonly name: string;
@@ -982,6 +1117,51 @@ export declare const projectWorkSnapshots: (input: readonly WorkGoalCheckpoint[]
                 readonly updatedAt: number;
             }[];
         }[];
+        readonly observed?: readonly {
+            readonly pullRequest: {
+                readonly fact: {
+                    readonly _tag: "pull_request";
+                    readonly repository: string;
+                    readonly pullRequest: number;
+                    readonly state: "closed" | "merged" | "open";
+                    readonly branch: string;
+                    readonly head: string;
+                    readonly review: "approved" | "changes_requested" | "not_requested" | "requested";
+                    readonly checks: "failing" | "none" | "passing" | "pending";
+                    readonly closedAt: number | null;
+                };
+                readonly observedAt: number;
+                readonly confirmedAt: number;
+            } | null;
+            readonly agent: {
+                readonly fact: {
+                    readonly _tag: "agent";
+                    readonly host: string;
+                    readonly agentId: string;
+                    readonly status: "blocked" | "done" | "gone" | "idle" | "working";
+                };
+                readonly observedAt: number;
+                readonly confirmedAt: number;
+            } | null;
+            readonly unknown: {
+                readonly source: "git" | "github" | "herdr";
+                readonly reason: string;
+                readonly since: number;
+                readonly lastGoodAt: number | null;
+            } | null;
+            readonly displayState: "abandoned" | "blocked" | "completed" | "deployed" | "planned" | "review" | "working";
+            readonly stale: boolean;
+            readonly goalId: string;
+        }[];
+        readonly observedOmitted?: number;
+        readonly activityProvenance?: readonly {
+            readonly goalId: string;
+            readonly activityId: string;
+            readonly provenance: "approval" | "reconciler";
+            readonly approvalJobId: string | null;
+        }[];
+        readonly activityProvenanceGoals?: readonly string[];
+        readonly activityProvenanceOmitted?: number;
     };
 }, WorkProjectionError, never>;
 //# sourceMappingURL=projection.d.ts.map

package/dist/projection.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"projection.d.ts","sourceRoot":"","sources":["../src/projection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEjD,OAAO,EAEL,kBAAkB,EAMnB,MAAM,YAAY,CAAA;AAmHnB,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8BAiB/B,CAAA"}
+{"version":3,"file":"projection.d.ts","sourceRoot":"","sources":["../src/projection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEjD,OAAO,EAEL,kBAAkB,EAMnB,MAAM,YAAY,CAAA;AAmHnB,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8BAiB/B,CAAA"}