sorokin.oleg.edu/learnharness
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 7 Wiki Activity

Gate sending while a background job part is pending (protocol §5)

Browse Source
This commit is contained in:
Amos
2026-08-22 09:16:02 +03:00
parent 856eb67da1
commit 6d9ca54d6b
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
components/chat.tsx
+7 -3
View File
@@ -22,7 +22,7 @@ import { SidebarToggle } from "@/components/sidebar";
import type { TeacherUIMessage } from "@/src/agent/ui-message"; import type { TeacherUIMessage } from "@/src/agent/ui-message";
import type { ArtifactPartProps } from "@/src/core/contracts"; import type { ArtifactPartProps } from "@/src/core/contracts";
import type { QuestionAnswerData } from "@/src/core/question-core"; import type { QuestionAnswerData } from "@/src/core/question-core";
import { findPendingToolCall } from "@/src/core/pending"; import { findPendingJobCall, findPendingToolCall } from "@/src/core/pending";
/** One width for everything: transcript, cards, and the bottom blob share this column. */ /** One width for everything: transcript, cards, and the bottom blob share this column. */
const COLUMN = "mx-auto w-full max-w-3xl px-4"; const COLUMN = "mx-auto w-full max-w-3xl px-4";
@@ -92,7 +92,11 @@ export function Chat({
(messages.at(-1)?.parts.some((p) => isToolUIPart(p) && p.state === "input-streaming") ?? false); (messages.at(-1)?.parts.some((p) => isToolUIPart(p) && p.state === "input-streaming") ?? false);
const [text, setText] = useState(""); const [text, setText] = useState("");
const canSend = text.trim().length > 0 && !pending; // Jobs gate sending too (an unanswered tool call in the outbound list would
// break provider conversion — contracts.ts "THE ASYNC PROTOCOL" §5), but
// they don't dock: the running job's activity card sits in the transcript.
const pendingJob = findPendingJobCall(messages);
const canSend = text.trim().length > 0 && !pending && !pendingJob;
const syncFromServer = useCallback(async () => { const syncFromServer = useCallback(async () => {
const res = await fetch(`/api/chats/${chatId}`); const res = await fetch(`/api/chats/${chatId}`);
@@ -103,7 +107,7 @@ export function Chat({
const onSend = () => { const onSend = () => {
const t = text.trim(); const t = text.trim();
if (!t || busy || pending) return; if (!t || busy || pending || pendingJob) return;
setText(""); setText("");
void sendMessage({ text: t }); void sendMessage({ text: t });
}; };