pi-crew 0.7.7 → 0.8.1

package/src/ui/agent-management-overlay.ts

@@ -65,7 +65,7 @@ export interface AgentOverlayState {
 export function createAgentOverlayState(entries: AgentEntry[], maxVisible = 20): AgentOverlayState {
 	return {
 		entries: entries.sort((a, b) => {
-			const order: Record<ResourceSource, number> = { project: 0, user: 1, git: 2, builtin: 3, dynamic: 4 };
+			const order: Record<ResourceSource, number> = { project: 0, "project-pi": 1, user: 2, git: 3, builtin: 4, dynamic: 5 };
 			const diff = (order[a.source] ?? 4) - (order[b.source] ?? 4);
 			return diff !== 0 ? diff : a.name.localeCompare(b.name);
 		}),

package/src/utils/session-utils.ts

@@ -49,4 +49,34 @@ export function safeToPiSessionId(runId: string): string | undefined {
 	} catch {
 		return undefined;
 	}
+}
+
+/**
+ * Extract the current Pi session id from an ExtensionContext.
+ *
+ * `ExtensionContext` does not declare `sessionId` in its type, but the runtime
+ * attaches it as an own property. We read it via `getOwnPropertyDescriptor`
+ * to safely bypass any Proxy traps, then validate it as a non-empty string.
+ *
+ * This is the canonical accessor — every site that filters the SHARED
+ * per-project `.crew/state/` tree down to the current session MUST use this,
+ * otherwise cross-session state leaks (e.g. compaction-guard resuming another
+ * session's runs, ambient-status injecting another session's runs).
+ *
+ * Returns undefined when the session id is absent or unparseable — callers
+ * must decide whether to treat that as "no filter" (back-compat) or "no runs".
+ */
+export function extractSessionId(ctx: unknown): string | undefined {
+	if (typeof ctx !== "object" || ctx === null) return undefined;
+	let raw: unknown;
+	try {
+		raw = Object.getOwnPropertyDescriptor(ctx, "sessionId")?.value;
+	} catch {
+		// Defensive: a hostile Proxy or exotic object may trap descriptor
+		// access. Real Pi ExtensionContext objects are plain, so this is
+		// only hit by adversarial/degenerate inputs — treat as no session id.
+		return undefined;
+	}
+	if (typeof raw !== "string" || raw.length === 0) return undefined;
+	return raw;
 }