zara-coding: bound symbolic task-state protocol response latency #165

New issue

Closed

opened 2026-09-08 02:03:07 +00:00 by nsaspy · 0 comments

nsaspy commented

2026-09-08 02:03:07 +00:00

Owner

Problem

TaskStateSession._request() bounds request fields and response bytes, but its persistent SWI-Prolog protocol performs a blocking stdout.readline() with no response deadline. A wedged task-state process can therefore hang a coding.task.* tool indefinitely even though the rest of zara-coding uses bounded subprocess execution.

Required slice

deterministic RED for a protocol response that never becomes readable;
bounded configurable/default response deadline;
on timeout, terminate/fence the owned process and fail with explicit CodingError;
do not leave a background reader or silently start a replacement state owner;
preserve fake-process/unit-test ergonomics and real SWI-Prolog integration;
full compatibility/registry/Nix/package gates.

Advances bounded local task-state ownership for #1. No Core #400 bypass.

## Problem `TaskStateSession._request()` bounds request fields and response bytes, but its persistent SWI-Prolog protocol performs a blocking `stdout.readline()` with no response deadline. A wedged task-state process can therefore hang a `coding.task.*` tool indefinitely even though the rest of `zara-coding` uses bounded subprocess execution. ## Required slice - deterministic RED for a protocol response that never becomes readable; - bounded configurable/default response deadline; - on timeout, terminate/fence the owned process and fail with explicit `CodingError`; - do not leave a background reader or silently start a replacement state owner; - preserve fake-process/unit-test ergonomics and real SWI-Prolog integration; - full compatibility/registry/Nix/package gates. Advances bounded local task-state ownership for #1. No Core #400 bypass.

nsaspy closed this issue

2026-09-08 02:03:07 +00:00

nsaspy referenced this issue

2026-09-08 02:19:43 +00:00

registry: align installer metadata with package layout #398