[P0][#184] Implement plugin-only DeepSeek Harness AgentFactory #7

Open
opened 2026-08-25 05:15:25 +00:00 by lost-rob0t · 0 comments
lost-rob0t commented 2026-08-25 05:15:25 +00:00 (Migrated from github.com)

Downstream implementation issue for lost-rob0t/prolog-rlm#184 after upstream cleanup #186 and merged AgentProlog bridge substrate PR #3.

Authority

The approved ADARD is lost-rob0t/prolog-rlm#184. Where older AgentProlog/DeepSeek work conflicts, #184 wins.

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;
  • Prolog-RLM owns canonical conversation/provider/tool/subagent/authority/effect 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.

First executable slice

  • package imports the pinned public DSH agent/session/Cordis interfaces;
  • register exactly one Prolog-backed AgentFactory;
  • fresh create publishes one DSH session + agent with matching identity;
  • followup routes one user turn through the persistent bridge;
  • sidecar calls canonical rlm_conversation_runtime:conversation_turn/4;
  • project exactly one user input and one assistant result into DSH Session events;
  • status, whenIdle, cancel, and dispose have explicit semantics;
  • bridge crash becomes terminal failure, never success;
  • second-factory composition fails closed;
  • profile disables only stock agent-loop and mounts the AgentProlog factory;
  • official headless runner smoke uses ctx.agents, not a custom runner;
  • Nix pins cleaned prolog-rlm and supplies Node/pnpm/SWI closure;
  • replace the stale StarIntel README with the actual AgentProlog product contract.

Not this slice

Resume/session-list parity, settings UI, advanced compaction/subagent controls, evolutionary search UI, or replacement Web UI. Those require separate evidence/scope.

Refs #1 #2, lost-rob0t/prolog-rlm#184

Downstream implementation issue for `lost-rob0t/prolog-rlm#184` after upstream cleanup #186 and merged AgentProlog bridge substrate PR #3. ## Authority The approved ADARD is `lost-rob0t/prolog-rlm#184`. Where older AgentProlog/DeepSeek work conflicts, #184 wins. ## 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; - Prolog-RLM owns canonical conversation/provider/tool/subagent/authority/effect 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. ## First executable slice - [ ] package imports the pinned public DSH agent/session/Cordis interfaces; - [ ] register exactly one Prolog-backed `AgentFactory`; - [ ] fresh create publishes one DSH session + agent with matching identity; - [ ] `followup` routes one user turn through the persistent bridge; - [ ] sidecar calls canonical `rlm_conversation_runtime:conversation_turn/4`; - [ ] project exactly one user input and one assistant result into DSH Session events; - [ ] `status`, `whenIdle`, `cancel`, and `dispose` have explicit semantics; - [ ] bridge crash becomes terminal failure, never success; - [ ] second-factory composition fails closed; - [ ] profile disables only stock `agent-loop` and mounts the AgentProlog factory; - [ ] official headless runner smoke uses `ctx.agents`, not a custom runner; - [ ] Nix pins cleaned prolog-rlm and supplies Node/pnpm/SWI closure; - [ ] replace the stale StarIntel README with the actual AgentProlog product contract. ## Not this slice Resume/session-list parity, settings UI, advanced compaction/subagent controls, evolutionary search UI, or replacement Web UI. Those require separate evidence/scope. Refs #1 #2, lost-rob0t/prolog-rlm#184
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
nsaspy/agentProlog#7
No description provided.