[P0] Implement plugin-only DeepSeek Harness AgentFactory #11

New issue

Open

opened 2026-09-02 17:24:18 +00:00 by nsaspy · 1 comment

nsaspy commented

2026-09-02 17:24:18 +00:00

Owner

Product implementation issue under canonical AgentProlog epic #1.

Authority

Product owner: lost-rob0t/agentProlog.
Upstream runtime boundary: lost-rob0t/prolog-rlm#141.
The previous in-repo product decision in prolog-rlm#184 is superseded and #184 is closed as moved downstream.

Fixed architecture

consume official DeepSeek Harness 0.1.1-rc.2 / tag commit b150a551b8d465e31e418e1b2eaf5e79bbb7d28e unmodified;
one out-of-tree AgentProlog Cordis plugin owns ctx.agents.setFactory(factory);
official Web/headless UX remains the presentation shell;
stock agent-loop is absent from the Prolog profile so there is exactly one AgentFactory;
reuse the merged persistent NDJSON/SWI bridge from PR #3;
consume public prolog-rlm runtime/protocol APIs rather than private internals;
Prolog-RLM owns canonical conversation/provider/tool/subagent/authority/effect/Spec/Verify semantics;
DSH Session is a UI/event projection, not Prolog inference authority;
no private Harness settings runtime;
no custom headless runner;
no upstream DSH source patch or full-source build in the ordinary path.

Current executable slice

PR #8 currently provides the first AgentFactory implementation, including a Prolog-backed Agent/AgentFactory, one-turn projection, persistent sidecar conversation path, cancellation and Cordis lifecycle integration.

Required before ready

minimal official DSH profile patch disabling only stock agent-loop and mounting this plugin;
Nix pin to current cleaned prolog-rlm plus sidecar closure and DSH app surfaces;
real sidecar static/smoke checks;
replace stale README/product docs;
official headless composition smoke through ctx.agents;
exact-head CI/Nix evidence;
verify one DSH user turn maps to one canonical Prolog-RLM trajectory;
explicit bridge crash/version mismatch/cancellation behavior remains terminal and fail-closed;
preserve generic prolog_agent_ui_v1/public runtime semantics rather than inventing product-owned execution state.

Not this slice

Resume/session-list parity, settings UI, advanced compaction/subagent controls, evolutionary-search UI, replacement Web UI, or coding tool-pack completion. Those get separate focused slices.

Refs #1, PR #8, lost-rob0t/prolog-rlm#141.

Product implementation issue under canonical AgentProlog epic #1. ## Authority - Product owner: `lost-rob0t/agentProlog`. - Upstream runtime boundary: `lost-rob0t/prolog-rlm#141`. - The previous in-repo product decision in `prolog-rlm#184` is superseded and #184 is closed as moved downstream. ## Fixed architecture - consume official DeepSeek Harness `0.1.1-rc.2` / tag commit `b150a551b8d465e31e418e1b2eaf5e79bbb7d28e` unmodified; - one out-of-tree AgentProlog Cordis plugin owns `ctx.agents.setFactory(factory)`; - official Web/headless UX remains the presentation shell; - stock `agent-loop` is absent from the Prolog profile so there is exactly one AgentFactory; - reuse the merged persistent NDJSON/SWI bridge from PR #3; - consume public `prolog-rlm` runtime/protocol APIs rather than private internals; - Prolog-RLM owns canonical conversation/provider/tool/subagent/authority/effect/Spec/Verify semantics; - DSH Session is a UI/event projection, not Prolog inference authority; - no private Harness settings runtime; - no custom headless runner; - no upstream DSH source patch or full-source build in the ordinary path. ## Current executable slice PR #8 currently provides the first AgentFactory implementation, including a Prolog-backed Agent/AgentFactory, one-turn projection, persistent sidecar conversation path, cancellation and Cordis lifecycle integration. ## Required before ready - [ ] minimal official DSH profile patch disabling only stock `agent-loop` and mounting this plugin; - [ ] Nix pin to current cleaned `prolog-rlm` plus sidecar closure and DSH app surfaces; - [ ] real sidecar static/smoke checks; - [ ] replace stale README/product docs; - [ ] official headless composition smoke through `ctx.agents`; - [ ] exact-head CI/Nix evidence; - [ ] verify one DSH user turn maps to one canonical Prolog-RLM trajectory; - [ ] explicit bridge crash/version mismatch/cancellation behavior remains terminal and fail-closed; - [ ] preserve generic `prolog_agent_ui_v1`/public runtime semantics rather than inventing product-owned execution state. ## Not this slice Resume/session-list parity, settings UI, advanced compaction/subagent controls, evolutionary-search UI, replacement Web UI, or coding tool-pack completion. Those get separate focused slices. Refs #1, PR #8, `lost-rob0t/prolog-rlm#141`.

nsaspy commented

2026-09-02 17:24:22 +00:00

Author

Owner

Feature-freeze worker queue coordination:

This issue (#7) remains the current DSH/AgentFactory implementation task. Finish its existing plugin/headless/Nix/canonical-trajectory acceptance first.
Follow with #9 to project the canonical /direct, /symbolic, /symbolic-recursive, and /auto state through headless + DSH. #9 depends on upstream lost-rob0t/prolog-rlm#335.
#10 owns the first-class AgentProlog TUI over the same canonical headless protocol and consumes #9/#335 rather than inventing frontend-local mode/runtime state.

Worker: agentprolog-rage-integration.

Keep the feature freeze: these are the product tasks; do not detour into the broader skill-refinery/evolution backlog unless explicitly unfrozen.

Feature-freeze worker queue coordination: 1. **This issue (#7) remains the current DSH/AgentFactory implementation task. Finish its existing plugin/headless/Nix/canonical-trajectory acceptance first.** 2. Follow with #9 to project the canonical `/direct`, `/symbolic`, `/symbolic-recursive`, and `/auto` state through headless + DSH. #9 depends on upstream `lost-rob0t/prolog-rlm#335`. 3. #10 owns the first-class AgentProlog TUI over the same canonical headless protocol and consumes #9/#335 rather than inventing frontend-local mode/runtime state. Worker: `agentprolog-rage-integration`. Keep the feature freeze: these are the product tasks; do not detour into the broader skill-refinery/evolution backlog unless explicitly unfrozen.