Implement plugin-only DeepSeek Harness AgentFactory #8

Open
lost-rob0t wants to merge 12 commits from agent/issue-7-dsh-agent-factory into main
lost-rob0t commented 2026-08-25 05:28:27 +00:00 (Migrated from github.com)

Implements the first executable DeepSeek Harness AgentFactory slice for standalone AgentProlog.

Architecture authority

  • Product repository: lost-rob0t/agentProlog.
  • Product epic: #1.
  • DSH implementation issue: #7.
  • Upstream reusable-runtime boundary: lost-rob0t/prolog-rlm#141.
  • prolog-rlm#184 is superseded and closed as moved downstream.

AgentProlog consumes prolog-rlm; product code does not move into the runtime repository.

Current slice

  • renames the package boundary to @prolog-rlm/dsh-agent-factory;
  • exact-pins the directly used DSH/Agent peer surface to 0.1.1-rc.2 and Cordis 4.0.1;
  • adds a Prolog-backed DSH Agent and AgentFactory using the public Agent/Session/Scope/LLM interfaces;
  • projects one canonical Prolog result through valid DSH turn/step/user/assistant/end events;
  • keeps unsupported steer/inject/resume/maintenance explicit instead of falling back to stock semantics;
  • adds session.turn to the allow-listed bridge protocol;
  • adds a persistent Prolog sidecar using public Prolog-RLM conversation/cancellation APIs;
  • fixes the bridge plugin to the real Cordis ctx.effect() lifecycle contract;
  • registers exactly one ctx.agents.setFactory(factory) and intentionally fails if stock agent-loop is still active;
  • updates CI to verify the exact published rc2 package surface with Node 24 + pnpm 11.7.0.

Still 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;
  • prove one DSH turn maps to one canonical Prolog-RLM execution trajectory;
  • preserve fail-closed crash/version/cancellation semantics.

Ownership invariants

DSH/TypeScript owns presentation and product adaptation only. It does not gain provider/tool/history/context/compiler/authority/effect/planning/verification ownership.

No upstream Harness source is vendored or patched. No custom headless runner or private Harness settings authority is introduced.

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

Implements the first executable DeepSeek Harness AgentFactory slice for standalone AgentProlog. ## Architecture authority - Product repository: `lost-rob0t/agentProlog`. - Product epic: #1. - DSH implementation issue: #7. - Upstream reusable-runtime boundary: `lost-rob0t/prolog-rlm#141`. - `prolog-rlm#184` is superseded and closed as moved downstream. AgentProlog consumes `prolog-rlm`; product code does not move into the runtime repository. ## Current slice - renames the package boundary to `@prolog-rlm/dsh-agent-factory`; - exact-pins the directly used DSH/Agent peer surface to `0.1.1-rc.2` and Cordis `4.0.1`; - adds a Prolog-backed DSH `Agent` and `AgentFactory` using the public Agent/Session/Scope/LLM interfaces; - projects one canonical Prolog result through valid DSH turn/step/user/assistant/end events; - keeps unsupported steer/inject/resume/maintenance explicit instead of falling back to stock semantics; - adds `session.turn` to the allow-listed bridge protocol; - adds a persistent Prolog sidecar using public Prolog-RLM conversation/cancellation APIs; - fixes the bridge plugin to the real Cordis `ctx.effect()` lifecycle contract; - registers exactly one `ctx.agents.setFactory(factory)` and intentionally fails if stock `agent-loop` is still active; - updates CI to verify the exact published rc2 package surface with Node 24 + pnpm 11.7.0. ## Still 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; - prove one DSH turn maps to one canonical Prolog-RLM execution trajectory; - preserve fail-closed crash/version/cancellation semantics. ## Ownership invariants DSH/TypeScript owns presentation and product adaptation only. It does not gain provider/tool/history/context/compiler/authority/effect/planning/verification ownership. No upstream Harness source is vendored or patched. No custom headless runner or private Harness settings authority is introduced. Refs #1 #7, `lost-rob0t/prolog-rlm#141`.
nsaspy changed title from WIP: Implement plugin-only DeepSeek Harness AgentFactory to Implement plugin-only DeepSeek Harness AgentFactory 2026-08-27 19:41:52 +00:00
This pull request has changes conflicting with the target branch.
  • flake.nix
View command line instructions

Manual merge helper

Use this merge commit message when completing the merge manually.

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin agent/issue-7-dsh-agent-factory:agent/issue-7-dsh-agent-factory
git switch agent/issue-7-dsh-agent-factory

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main
git merge --no-ff agent/issue-7-dsh-agent-factory
git switch agent/issue-7-dsh-agent-factory
git rebase main
git switch main
git merge --ff-only agent/issue-7-dsh-agent-factory
git switch agent/issue-7-dsh-agent-factory
git rebase main
git switch main
git merge --no-ff agent/issue-7-dsh-agent-factory
git switch main
git merge --squash agent/issue-7-dsh-agent-factory
git switch main
git merge --ff-only agent/issue-7-dsh-agent-factory
git switch main
git merge agent/issue-7-dsh-agent-factory
git push origin main
Sign in to join this conversation.
No description provided.