@wowyuarm/dsh-agent-team 0.1.11 → 0.1.13

package/packages/agent-team/lib/index.js

@@ -57,14 +57,13 @@ import { carriedInputOf, checkpointByRef, checkpointRefFor, contextProjectionFol
 import { advanceOwnedSessionEventCursor } from "./session-event-cursor.js";
 import { AGENT_TEAM_HUMAN_MEMBER_ID, AgentTeamLedger, agentTeamHumanActor } from "./ledger.js";
 import { AGENT_TEAM_TOOL_NAMES, deepCopyCapabilities, memberMemoryDirectoryName, MemberRuntime } from "./member-runtime.js";
-import { ProgressNudgeCoordinator } from "./progress-nudge.js";
 import { classifyRecoverableError, RecoveryCoordinator, RECOVERY_MAX_CONSECUTIVE_ERRORS } from "./recovery.js";
 import { SessionRemediation, handoffAlreadyInLog } from "./session-remediation.js";
 import { StoredSessionReadError, StoredSessionReader, sessionFailureOf } from "./stored-session-reader.js";
 import { agentTeamDomainSpec } from "./spec.js";
 import { formatTeamTimestamp } from "./time-format.js";
 export { agentTeamDomainSpec, agentTeamOperationSchema } from "./spec.js";
-export { AGENT_TEAM_HUMAN_MEMBER_ID, AGENT_TEAM_INITIALIZE_REQUEST_ID } from "./ledger.js";
+export { AGENT_TEAM_HUMAN_HANDLE, AGENT_TEAM_HUMAN_MEMBER_ID, AGENT_TEAM_INITIALIZE_REQUEST_ID } from "./ledger.js";
 export { AGENT_TEAM_TOOL_NAMES } from "./member-runtime.js";
 /** Process-stable marker carried by the final Team message tool definition. */
 export const AGENT_TEAM_PRESET_MARKER = Symbol.for('@wowyuarm/dsh-agent-team.preset');
@@ -179,6 +178,8 @@ let AgentTeam = (() => {
     let _promoteThread_decorators;
     let _joinChannel_decorators;
     let _removeChannelMember_decorators;
+    let _joinWorkspace_decorators;
+    let _leaveWorkspace_decorators;
     let _sendMessage_decorators;
     let _putAttachment_decorators;
     let _getAttachment_decorators;
@@ -194,7 +195,7 @@ let AgentTeam = (() => {
             const _metadata = typeof Symbol === "function" && Symbol.metadata ? Object.create(_classSuper[Symbol.metadata] ?? null) : void 0;
             _resolveTaskRefs_decorators = [Remote('resolveTaskRefs')];
             _membersForClient_decorators = [Remote('members')];
-            _changes_decorators = [Remote('changes')];
+            _changes_decorators = [Remote({ mode: 'stream' })];
             _createChannel_decorators = [Remote('createChannel')];
             _updateChannel_decorators = [Remote('updateChannel')];
             _archiveChannel_decorators = [Remote('archiveChannel')];
@@ -207,6 +208,8 @@ let AgentTeam = (() => {
             _promoteThread_decorators = [Remote('promoteThread')];
             _joinChannel_decorators = [Remote('joinChannel')];
             _removeChannelMember_decorators = [Remote('removeChannelMember')];
+            _joinWorkspace_decorators = [Remote('joinWorkspace')];
+            _leaveWorkspace_decorators = [Remote('leaveWorkspace')];
             _sendMessage_decorators = [Remote('sendMessage')];
             _putAttachment_decorators = [Remote('putAttachment')];
             _getAttachment_decorators = [Remote('getAttachment')];
@@ -232,6 +235,8 @@ let AgentTeam = (() => {
             __esDecorate(this, null, _promoteThread_decorators, { kind: "method", name: "promoteThread", static: false, private: false, access: { has: obj => "promoteThread" in obj, get: obj => obj.promoteThread }, metadata: _metadata }, null, _instanceExtraInitializers);
             __esDecorate(this, null, _joinChannel_decorators, { kind: "method", name: "joinChannel", static: false, private: false, access: { has: obj => "joinChannel" in obj, get: obj => obj.joinChannel }, metadata: _metadata }, null, _instanceExtraInitializers);
             __esDecorate(this, null, _removeChannelMember_decorators, { kind: "method", name: "removeChannelMember", static: false, private: false, access: { has: obj => "removeChannelMember" in obj, get: obj => obj.removeChannelMember }, metadata: _metadata }, null, _instanceExtraInitializers);
+            __esDecorate(this, null, _joinWorkspace_decorators, { kind: "method", name: "joinWorkspace", static: false, private: false, access: { has: obj => "joinWorkspace" in obj, get: obj => obj.joinWorkspace }, metadata: _metadata }, null, _instanceExtraInitializers);
+            __esDecorate(this, null, _leaveWorkspace_decorators, { kind: "method", name: "leaveWorkspace", static: false, private: false, access: { has: obj => "leaveWorkspace" in obj, get: obj => obj.leaveWorkspace }, metadata: _metadata }, null, _instanceExtraInitializers);
             __esDecorate(this, null, _sendMessage_decorators, { kind: "method", name: "sendMessage", static: false, private: false, access: { has: obj => "sendMessage" in obj, get: obj => obj.sendMessage }, metadata: _metadata }, null, _instanceExtraInitializers);
             __esDecorate(this, null, _putAttachment_decorators, { kind: "method", name: "putAttachment", static: false, private: false, access: { has: obj => "putAttachment" in obj, get: obj => obj.putAttachment }, metadata: _metadata }, null, _instanceExtraInitializers);
             __esDecorate(this, null, _getAttachment_decorators, { kind: "method", name: "getAttachment", static: false, private: false, access: { has: obj => "getAttachment" in obj, get: obj => obj.getAttachment }, metadata: _metadata }, null, _instanceExtraInitializers);
@@ -302,22 +307,6 @@ let AgentTeam = (() => {
                 this.ctx.logger.warn(`agent-team: member '${this.memberLabel(memberId)}' reached ${consecutiveFailures}/${RECOVERY_MAX_CONSECUTIVE_ERRORS} consecutive recoverable failures; leaving it in error for the operator`);
             },
         });
-        /**
-         * Advisory progress-visibility nudges. Purely in-process: the ledger owns
-         * eligibility, this coordinator owns counting and notices, and neither ever
-         * writes Team facts. See docs/team-collaboration.md for the regimes.
-         */
-        progressNudge = new ProgressNudgeCoordinator({
-            agentForMember: memberId => this.handles.get(memberId)?.agent,
-            targetsForMember: memberId => this.requireLedger().progressNudgeTargets(memberId),
-            sessionLogForMember: (memberId, sessionId) => {
-                const handle = this.handles.get(memberId);
-                if (handle === undefined || handle.agent.session.id !== sessionId)
-                    return undefined;
-                return { events: handle.agent.session.ownEvents() };
-            },
-            log: message => { this.ctx.logger.warn(message); },
-        });
         /**
          * Incremental fold state for {@link contextManagement}'s projection lookup:
          * one entry per Member, replaced when that Member's Session changes. Keying
@@ -399,7 +388,7 @@ let AgentTeam = (() => {
                 if (kind !== undefined)
                     this.ctx.logger.warn(`agent-team: member '${member.handle}' hit a recoverable ${kind} error; recording a consecutive error occurrence`);
                 this.recovery.onError(member.memberId, message);
-                this.emitPresenceChanged(member.workspaceId);
+                this.emitMemberPresenceChanged(member);
             });
             this.ctx.on('agent/status', ({ agent, status }) => {
                 const member = this.memberForAgent(agent);
@@ -411,7 +400,7 @@ let AgentTeam = (() => {
                     const recovered = this.clearMemberFailure(member.memberId, 'runtime');
                     if (recovered)
                         this.notifiedInbox.delete(member.memberId);
-                    this.emitPresenceChanged(member.workspaceId);
+                    this.emitMemberPresenceChanged(member);
                     // A rollover/recovery in flight delivers its own sequenced
                     // rederived Inbox after the handoff and carried input; a status-driven
                     // steer here would claim the handoff turn's next step and leapfrog
@@ -428,17 +417,16 @@ let AgentTeam = (() => {
                     if (this.memberFailures.get(member.memberId)?.runtime === undefined) {
                         this.recovery.onCleanTurnEnd(member.memberId);
                     }
-                    this.emitPresenceChanged(member.workspaceId);
+                    this.emitMemberPresenceChanged(member);
                 }
             });
-            // Progress nudges count every `tool/call` of each Member Session. The
-            // store's dispatch carrier is untagged, so a scope-tagged listener inside
-            // the Agent setup would receive nothing; one root listener that maps the
-            // session id back to its Member is the seam that works (same shape as the
-            // `agent/status` listener above). The first turn of a freshly published
-            // Member cannot race this: `handles.set()` precedes the same activation
-            // continuation that publishes the Agent, so by the time any tool call
-            // streams, the map lookup succeeds.
+            // The store's dispatch carrier is untagged, so a scope-tagged listener
+            // inside the Agent setup would receive nothing; one root listener that
+            // maps the session id back to its Member is the seam that works (same
+            // shape as the `agent/status` listener above). The first turn of a
+            // freshly published Member cannot race this: `handles.set()` precedes the
+            // same activation continuation that publishes the Agent, so by the time
+            // any tool call streams, the map lookup succeeds.
             this.ctx.on('session/event', (session, event) => {
                 const memberId = this.memberBySessionId.get(session.id);
                 if (memberId === undefined)
@@ -446,7 +434,6 @@ let AgentTeam = (() => {
                 const handle = this.handles.get(memberId);
                 if (handle === undefined || handle.agent.session.id !== session.id)
                     return;
-                this.progressNudge.onSessionEvent(memberId, session.id, handle.agent, event);
                 // A successful assistant response ends any open provider-overflow
                 // recovery sequence for this Member.
                 if (event.type === 'assistant/message')
@@ -460,7 +447,6 @@ let AgentTeam = (() => {
                 this.accepting = false;
                 this.remediation = undefined;
                 this.recovery.dispose();
-                this.progressNudge.dispose();
                 this.contextManagement.dispose();
                 this.pressurePolicy.dispose();
                 if (this.attachmentGcTimer !== undefined)
@@ -497,6 +483,7 @@ let AgentTeam = (() => {
             // One metadata listing serves every Member restore; per-member list calls
             // would repeat the same I/O linearly during startup.
             const persistedSessions = new Set((await this.persistedSessionHeaders()).map(snapshot => snapshot.header.id));
+            await this.sweepWorkspaceParticipations(ledger);
             for (const member of ledger.listMembers()) {
                 if (member.state === 'enabled')
                     await this.activateMember(member, undefined, persistedSessions);
@@ -504,6 +491,31 @@ let AgentTeam = (() => {
                     await this.memberRuntime.cleanupRemovedMember(member);
             }
         }
+        /**
+         * Lazy Workspace-deletion handling: a Workspace that no longer exists can
+         * only be detected through the registry — there is no deletion event. A
+         * dead non-default participation is withdrawn here (its Claims and
+         * Attention release through the normal leave path); a dead default
+         * Workspace is left alone — activation fails on its missing cwd and the
+         * Member surfaces as unavailable for Human attention.
+         */
+        async sweepWorkspaceParticipations(ledger) {
+            for (const member of ledger.listMembers()) {
+                if (member.state === 'inactive' || member.state === 'archived')
+                    continue;
+                for (const workspaceId of ledger.workspacesOf(member.memberId)) {
+                    if (workspaceId === member.workspaceId || this.ctx.workspaceRegistry.get(workspaceId) !== undefined)
+                        continue;
+                    this.ctx.logger.warn(`agent-team: workspace '${workspaceId}' is gone; withdrawing member '${member.handle}' from it`);
+                    try {
+                        await ledger.leaveWorkspace({ requestId: randomUUID(), workspaceId, memberId: member.memberId, actor: agentTeamHumanActor() });
+                    }
+                    catch (error) {
+                        this.ctx.logger.warn(`agent-team: failed to withdraw member '${member.handle}' from deleted workspace '${workspaceId}': ${error instanceof Error ? error.message : String(error)}`);
+                    }
+                }
+            }
+        }
         /**
          * Whether one Member Session has durable persisted content, decided through
          * {@link SessionPersistence.stat} rather than a bare metadata listing: the
@@ -539,56 +551,52 @@ let AgentTeam = (() => {
             });
             return Object.freeze({ resolved: Object.freeze(this.requireLedger().resolveTaskRefs(request.workspaceId, taskRefs)) });
         }
-        /** Return only this Workspace's current Member projection to the Client. */
+        /** Browser-safe Human roster, optionally filtered to one participation. */
         membersForClient(request) {
-            this.requireWorkspace(request.workspaceId);
+            if (request.workspaceId !== undefined)
+                this.requireWorkspace(request.workspaceId);
+            const ledger = this.requireLedger();
             return this.members()
-                .filter(status => status.member.workspaceId === request.workspaceId)
-                .map(({ member: { privateMemoryPath: _privateMemoryPath, ...member }, ...status }) => Object.freeze({ ...status, member: Object.freeze(member) }));
+                .filter(status => request.workspaceId === undefined || ledger.participatesIn(status.member.memberId, request.workspaceId))
+                .map(({ member: { privateMemoryPath: _privateMemoryPath, ...member }, ...status }) => Object.freeze({ ...status, member: Object.freeze(member), workspaceIds: ledger.workspacesOf(member.memberId) }));
         }
-        /** Wait for a lightweight projection invalidation without exposing ledger records. */
-        async changes(request, signal) {
-            if (!Number.isInteger(request.afterVersion) || request.afterVersion < 0)
-                throw new Error('afterVersion must be a non-negative integer');
+        /** Emit a current baseline, then coalesced invalidations until canceled. */
+        async *changes(request, signal) {
             const scope = this.validateChangeScope(request.scope);
-            const version = this.changeVersionOf(scope);
-            if (version > request.afterVersion || !this.accepting)
-                return Object.freeze({ version });
-            return new Promise((resolve, reject) => {
-                let settled = false;
-                const waiter = {
-                    scope,
-                    wake: version => {
-                        if (settled)
-                            return;
-                        settled = true;
-                        clearTimeout(timeout);
-                        signal?.removeEventListener('abort', onAbort);
-                        resolve(Object.freeze({ version }));
-                    },
-                };
-                const timeout = setTimeout(() => {
-                    if (settled)
-                        return;
-                    settled = true;
-                    this.changeWaiters.delete(waiter);
-                    resolve(Object.freeze({ version: this.changeVersionOf(scope) }));
-                }, 25_000);
-                const onAbort = () => {
-                    if (settled)
+            let pending;
+            let resume;
+            const waiter = {
+                scope,
+                wake: version => {
+                    pending = version;
+                    resume?.();
+                },
+            };
+            const onAbort = () => { resume?.(); };
+            if (signal?.aborted || !this.accepting)
+                return;
+            this.changeWaiters.add(waiter);
+            signal?.addEventListener('abort', onAbort, { once: true });
+            try {
+                // Listen before yielding so a commit during the consumer's read is kept.
+                yield { version: this.changeVersionOf(scope) };
+                while (!signal?.aborted && this.accepting) {
+                    if (pending === undefined)
+                        await new Promise(resolve => { resume = resolve; });
+                    resume = undefined;
+                    if (signal?.aborted || !this.accepting)
                         return;
-                    settled = true;
-                    clearTimeout(timeout);
-                    this.changeWaiters.delete(waiter);
-                    reject(new Error('changes wait was aborted'));
-                };
-                signal?.addEventListener('abort', onAbort, { once: true });
-                if (signal?.aborted === true) {
-                    onAbort();
-                    return;
+                    if (pending !== undefined) {
+                        const version = pending;
+                        pending = undefined;
+                        yield { version };
+                    }
                 }
-                this.changeWaiters.add(waiter);
-            });
+            }
+            finally {
+                this.changeWaiters.delete(waiter);
+                signal?.removeEventListener('abort', onAbort);
+            }
         }
         /** Return durable Team status without issuing a model request or a storage write. */
         status() {
@@ -692,7 +700,7 @@ let AgentTeam = (() => {
         async recoverMember(request) {
             this.requireAccepting();
             const member = this.requireLedger().getMember(request.memberId);
-            if (member === undefined || member.workspaceId !== request.workspaceId)
+            if (member === undefined || !this.requireLedger().participatesIn(request.memberId, request.workspaceId))
                 throw new Error(`unknown Member '${request.memberId}' in workspace '${request.workspaceId}'`);
             this.recovery.stopTracking(request.memberId);
             // An orphaned composition cannot be steered: its tools are gone, so a
@@ -750,7 +758,7 @@ let AgentTeam = (() => {
                 this.requireAccepting();
                 this.requireWorkspace(request.workspaceId);
                 const stored = this.requireLedger().getMember(request.memberId);
-                if (stored === undefined || stored.workspaceId !== request.workspaceId)
+                if (stored === undefined || !this.requireLedger().participatesIn(request.memberId, request.workspaceId))
                     throw new Error(`unknown Member '${request.memberId}' in workspace '${request.workspaceId}'`);
                 if (stored.state !== 'enabled')
                     throw new Error(`Agent Member '${stored.handle}' is ${stored.state}; only enabled Members can start from a new context`);
@@ -794,9 +802,6 @@ let AgentTeam = (() => {
             // Drop the old handle's transient state: pending recovery episodes and
             // error markers belong to the disposed agent, not to the Member.
             this.recovery.stopTracking(memberId);
-            // The fresh Session may re-earn one Claim suggestion per Thread; the
-            // old Session's one-shot records must not leak into it.
-            this.progressNudge.stopTracking(memberId);
             // The context admission gate stays armed through disposal: input racing
             // the retire window must still be captured for the new generation, and
             // the coordinator drops its own bookkeeping only after the swap settles.
@@ -899,7 +904,7 @@ let AgentTeam = (() => {
                 reactivated.agent.steer(this.contextManagement.handoffMessageFor(plan));
                 for (const message of carriedInput)
                     reactivated.agent.followup(message);
-                const notifications = this.requireLedger().notificationFacts(memberId, { workspaceId: rolled.member.workspaceId });
+                const notifications = this.requireLedger().notificationFacts(rolled.member.memberId);
                 if (notifications.length > 0)
                     this.notifyMember(reactivated.agent, carriedInput.length > 0);
             });
@@ -937,7 +942,7 @@ let AgentTeam = (() => {
             const handle = this.handles.get(member.memberId);
             if (handle === undefined)
                 throw new Error(`member '${member.handle}' has no active session`);
-            const notifications = this.requireLedger().notificationFacts(member.memberId, { workspaceId: member.workspaceId });
+            const notifications = this.requireLedger().notificationFacts(member.memberId);
             const body = notifications.length === 0 ? text : `${text}\n\n${this.notificationText(notifications, member.memberId)}`;
             const hint = createUserMessage({
                 content: [{ type: 'text', text: body }],
@@ -947,9 +952,6 @@ let AgentTeam = (() => {
                 if (this.isInboxNotice(pending))
                     handle.agent.inbox.remove(pending.id);
             }
-            // Recovery carries the concrete interrupted work; a queued progress nudge
-            // is stale next to it and must not survive as a second reminder.
-            this.progressNudge.revokePendingNotice(member.memberId);
             handle.agent.steer(hint);
         }
         /** Automatic-recovery wakeup; throwing tells the coordinator the target is gone. */
@@ -1071,6 +1073,22 @@ let AgentTeam = (() => {
                 this.emitCommitted(result.value.receipt);
             return result.value;
         }
+        /** Human-only Workspace participation grant; a pure relation — no Session moves. */
+        async joinWorkspace(request) {
+            const actor = this.humanCall(request.workspaceId);
+            const result = await this.requireLedger().joinWorkspace({ ...request, actor });
+            if (result.committed)
+                this.emitCommitted(result.value.receipt);
+            return result.value;
+        }
+        /** Human-only Workspace participation withdrawal and Workspace-scoped cleanup. */
+        async leaveWorkspace(request) {
+            const actor = this.humanCall(request.workspaceId);
+            const result = await this.requireLedger().leaveWorkspace({ ...request, actor });
+            if (result.committed)
+                this.emitCommitted(result.value.receipt);
+            return result.value;
+        }
         /** Human top-level Thread start; asTask attaches an optional Task overlay. */
         async sendMessage(request) {
             return this.sendMessageAs(this.humanCall(request.workspaceId), request);
@@ -1211,8 +1229,10 @@ let AgentTeam = (() => {
         }
         inboxForAgent(agent, request) {
             const actor = this.memberActor(agent);
+            if (request.workspaceId === undefined)
+                return this.requireLedger().memberInbox(actor, request);
             this.requireAgentWorkspace(actor, request.workspaceId);
-            return this.requireLedger().inbox(actor, request);
+            return this.requireLedger().inbox(actor, { ...request, workspaceId: request.workspaceId });
         }
         async readThreadForAgent(agent, request) {
             const actor = this.memberCall(agent, request.workspaceId);
@@ -1296,7 +1316,7 @@ let AgentTeam = (() => {
             }
             try {
                 const message = createUserMessage({
-                    content: [{ type: 'text', text: this.dmRelayText(agent, recipient, request.body.trim(), result.value.receipt.occurredAt, result.value.receipt.operationId) }],
+                    content: [{ type: 'text', text: this.dmRelayText(agent, recipient, request.body.trim(), result.value.receipt.occurredAt, result.value.receipt.operationId, request.workspaceId) }],
                     source: { kind: 'plugin', plugin: AGENT_TEAM_PLUGIN_ID, form: 'relay' },
                 });
                 // An idle recipient gets one ordinary turn; a busy one is steered into
@@ -1312,26 +1332,38 @@ let AgentTeam = (() => {
             return result.value;
         }
         /** Relay body: the DM itself plus one bounded line of adjacent context. */
-        dmRelayText(senderAgent, recipient, body, occurredAt, excluding) {
+        dmRelayText(senderAgent, recipient, body, occurredAt, excluding, workspaceId) {
             const sender = this.memberForAgent(senderAgent);
             const prior = this.requireLedger().dmHistoryBetween(senderAgent.id, recipient.memberId, excluding);
             const header = `Direct message from @${sender?.handle ?? 'a Team Member'} at ${formatTeamTimestamp(occurredAt)}:`;
             const context = prior === undefined ? '' : `\n\n[most recent prior DM between you: ${prior}]`;
-            return `${header}\n\n${body}${context}`;
+            return `${header}\nWorkspace: ${workspaceId}\n\n${body}${context}`;
         }
         threadHistoryForAgent(agent, request) {
             const actor = this.memberActor(agent);
             this.requireAgentWorkspace(actor, request.workspaceId);
             return this.requireLedger().threadHistory(actor, request);
         }
-        /** Agent-only bounded discovery projection. */
+        /** Live participation addresses; paths remain owned by the Harness registry. */
+        workspacesForAgent(agent) {
+            const actor = this.memberActor(agent);
+            const member = this.requireLedger().getMember(actor.memberId);
+            return Object.freeze(this.requireLedger().workspacesOf(actor.memberId).map(workspaceId => Object.freeze({
+                workspaceId, path: this.ctx.workspaceRegistry.get(workspaceId)?.path, default: workspaceId === member.workspaceId,
+            })));
+        }
+        /** Agent-only bounded discovery projection; participation list carries registry titles when known. */
         viewForAgent(agent, request) {
             const member = this.memberForAgent(agent);
             if (member === undefined)
                 throw new Error('Agent is not an active Team Member');
-            if (member.workspaceId !== request.workspaceId)
+            if (!this.requireLedger().participatesIn(member.memberId, request.workspaceId))
                 throw new Error('Member cannot view another Workspace');
-            return this.requireLedger().view(request, member.memberId);
+            const view = this.requireLedger().view(request, member.memberId);
+            return Object.freeze({ ...view, workspaces: Object.freeze(view.workspaces.map(participation => {
+                    const title = this.ctx.workspaceRegistry.get(participation.workspaceId)?.title;
+                    return title === undefined ? participation : Object.freeze({ ...participation, title });
+                })) });
         }
         /** Validate the durable ledger against an independently replayed projection. */
         validateLedger() {
@@ -1870,8 +1902,9 @@ let AgentTeam = (() => {
                     const source = event.data.source;
                     if (source?.kind !== 'plugin')
                         continue;
-                    // Reminder notices never enter attribution — a progress nudge or a
-                    // recovery instruction is not a Team fact.
+                    // Reminder notices never enter attribution — a recovery instruction
+                    // (or a historical progress-nudge notice, kept decodable in session
+                    // logs recorded before that system was removed) is not a Team fact.
                     if (source.form === 'notice' && source.summary !== undefined && isReminderNoticeSummary(source.summary))
                         continue;
                     const text = event.data.content.filter(block => block.type === 'text').map(block => block.text ?? '').join('\n');
@@ -2065,9 +2098,10 @@ let AgentTeam = (() => {
             this.requireWorkspace(workspaceId);
             return agentTeamHumanActor();
         }
-        /** Fence one Member call: accepting Host, live Member binding, matching Workspace. */
+        /** Fence one Member call: accepting Host, live Member binding, matching Workspace participation. */
         memberCall(agent, workspaceId) {
             this.requireAccepting();
+            this.requireWorkspace(workspaceId);
             const actor = this.memberActor(agent);
             this.requireAgentWorkspace(actor, workspaceId);
             return actor;
@@ -2079,7 +2113,7 @@ let AgentTeam = (() => {
             return Object.freeze({ kind: 'member', memberId: member.memberId, handle: member.handle });
         }
         requireAgentWorkspace(actor, workspaceId) {
-            if (this.requireLedger().getMember(actor.memberId)?.workspaceId !== workspaceId)
+            if (!this.requireLedger().participatesIn(actor.memberId, workspaceId))
                 throw new Error('Member cannot mutate another Workspace');
         }
         /**
@@ -2338,7 +2372,7 @@ let AgentTeam = (() => {
             }
             finally {
                 // Activation only changes this Workspace's presence projection.
-                this.emitPresenceChanged(member.workspaceId);
+                this.emitMemberPresenceChanged(member);
             }
         }
         /**
@@ -2511,10 +2545,25 @@ let AgentTeam = (() => {
             }
             const ledger = this.requireLedger();
             this.emitChanged(ledger.changeScopesOf(operation));
-            // Nudge reconciliation precedes notifyMember: a committed reply both
-            // resets the author's silence and cancels any of its queued nudge before
-            // the Inbox notice (higher priority) is considered.
-            this.progressNudge.onCommitted(operation);
+            if (operation.kind === 'team/member-workspace-joined' || operation.kind === 'team/member-workspace-left') {
+                const agent = this.handles.get(operation.data.memberId)?.agent;
+                if (agent !== undefined) {
+                    const path = this.ctx.workspaceRegistry.get(operation.data.workspaceId)?.path;
+                    const text = `Team participation changed: you have ${operation.kind === 'team/member-workspace-joined' ? 'joined' : 'left'} Workspace ${operation.data.workspaceId}${path === undefined ? ' (path unavailable)' : ` (${JSON.stringify(path)})`}.\nCurrent Workspace ids: ${ledger.workspacesOf(operation.data.memberId).join(', ')}. This replaces earlier participation information. Your Session and cwd have not moved.`;
+                    const notice = createUserMessage({ content: [{ type: 'text', text }],
+                        source: { kind: 'plugin', plugin: AGENT_TEAM_PLUGIN_ID, form: 'notice', summary: 'Team Workspace participation changed' } });
+                    try {
+                        if (agent.status === 'idle' || agent.inbox.nextTurn.some(message => message.source.kind === 'user'))
+                            agent.followup(notice);
+                        else
+                            agent.steer(notice);
+                    }
+                    catch (error) {
+                        // Notification delivery cannot roll back a committed participation.
+                        this.ctx.logger.warn(`agent-team: participation notice not delivered: ${error instanceof Error ? error.message : String(error)}`);
+                    }
+                }
+            }
             for (const memberId of ledger.affectedMembersOf(operation)) {
                 const handle = this.handles.get(memberId);
                 if (handle !== undefined)
@@ -2550,10 +2599,8 @@ let AgentTeam = (() => {
                 .map((job) => `${job.name ?? job.id}`);
         }
         emitAutoCompactionChanged(memberId) {
-            const workspaceId = this.ledger?.getMember(memberId)?.workspaceId;
-            if (workspaceId === undefined)
-                return;
-            this.emitPresenceChanged(workspaceId);
+            for (const workspaceId of this.ledger?.workspacesOf(memberId) ?? [])
+                this.emitPresenceChanged(workspaceId);
         }
         /**
          * Presence-only invalidation: Agent running/idle/activation/failure changes
@@ -2563,12 +2610,17 @@ let AgentTeam = (() => {
         emitPresenceChanged(workspaceId) {
             this.emitChanged([{ kind: 'presence', workspaceId }]);
         }
+        /** Presence invalidation in every Workspace the Member participates in — each panel listing it must refresh. */
+        emitMemberPresenceChanged(member) {
+            for (const workspaceId of this.requireLedger().workspacesOf(member.memberId))
+                this.emitPresenceChanged(workspaceId);
+        }
         /** Wake from durable unread state with bounded facts for direct and state-changing work. */
         notifyMember(agent, sequenced = false) {
             const member = this.memberForAgent(agent);
             if (member === undefined || member.state !== 'enabled')
                 return;
-            const notifications = this.requireLedger().notificationFacts(member.memberId, { workspaceId: member.workspaceId });
+            const notifications = this.requireLedger().notificationFacts(member.memberId);
             if (notifications.length === 0) {
                 this.notifiedInbox.delete(member.memberId);
                 return;
@@ -2594,9 +2646,6 @@ let AgentTeam = (() => {
             const existingInboxHint = pending.find(message => this.isInboxNotice(message));
             if (existingInboxHint !== undefined)
                 agent.inbox.remove(existingInboxHint.id);
-            // A durable Inbox notice outranks a queued progress nudge; revoke it so
-            // the model reads concrete unread work instead of a generic reminder.
-            this.progressNudge.revokePendingNotice(member.memberId);
             const hint = createUserMessage({
                 content: [{ type: 'text', text: this.notificationText(notifications, member.memberId) }],
                 source: { kind: 'plugin', plugin: AGENT_TEAM_PLUGIN_ID, form: 'notice', summary: INBOX_NOTICE_SUMMARY },
@@ -2644,6 +2693,8 @@ let AgentTeam = (() => {
                 return true;
             };
             for (const { item, facts } of notifications.slice(0, 8)) {
+                if (!append(`Workspace: ${item.workspaceId}\nChannel: ${item.channelRef}`))
+                    break;
                 for (const { fact, direct } of facts) {
                     if (detailedFactCount >= 20) {
                         omitted = true;
@@ -2673,7 +2724,7 @@ let AgentTeam = (() => {
             }
             if (omitted)
                 sections.push('More unread work remains in team_inbox; the automatic context is bounded.');
-            sections.push('Use team_thread read with the relevant threadRef before acting or replying. Use team_inbox only when you need to triage the remaining Threads.');
+            sections.push('Use team_thread read with the relevant workspace and threadRef before acting or replying. Use team_inbox only when you need to triage the remaining Threads.');
             return sections.join('\n\n');
         }
         boundedNotificationBody(body) {
@@ -2734,7 +2785,6 @@ let AgentTeam = (() => {
         }
         clearMemberRecoveryState(member) {
             this.recovery.stopTracking(member.memberId);
-            this.progressNudge.stopTracking(member.memberId);
             this.clearMemberFailure(member.memberId, 'runtime');
             this.clearMemberNotificationState(member.memberId);
         }
@@ -2764,7 +2814,6 @@ let AgentTeam = (() => {
                 const waiterScope = waiter.scope;
                 if (scopes !== undefined && (waiterScope === undefined ? !touchesProjection : !scopes.some(scope => sameChangeScope(scope, waiterScope))))
                     continue;
-                this.changeWaiters.delete(waiter);
                 waiter.wake(this.changeVersionOf(waiterScope));
             }
         }