[P1] Route DeepSeek Harness settings and config editing through AgentProlog config

lost-rob0t commented

2026-08-19 16:56:12 +00:00

(Migrated from github.com)

Copy link

Parent: #126
Depends on: #127. Integrates with #124/#125.

Goal

Remove frontend-local configuration ownership from the DeepSeek Harness path and make its settings/configuration UI a client of the canonical AgentProlog configuration runtime.

Required behavior

replace the private deepseek-harness.json settings authority with AgentProlog configuration resolution;
support XDG executable config.prolog as the primary user config;
support JSON only through the AgentProlog JSON loader/adapter, not as a competing runtime;
expose bridge commands for config inspect/effective/edit/reload with provenance;
editing config through Harness is a normal AgentProlog file mutation and must pass the canonical authority boundary;
authorized writes must use atomic replacement where practical and leave the config file mode 0600;
Harness may provide an editor/open-config action, but it does not interpret or rewrite Prolog semantics in TypeScript;
project config editing/execution follows #127 structured project trust and project identity;
project trust permits config execution only; it does not grant tool/effect authority;
provider/model changes survive restart through the canonical config runtime;
OpenRouter remains a normal/default route and direct DeepSeek remains optional;
config UI must not display or persist resolved credential secrets;
config reload must not replace canonical lossless conversation history or reactivate Harness stock compaction/agent-loop semantics.

Acceptance

Harness starts with only XDG AgentProlog config.prolog present.
Harness starts with JSON configuration loaded through AgentProlog.
Harness can request an authority-mediated edit/write of the user's config and the resulting file is 0600.
Invalid edits fail atomically and leave the previous valid config active.
Provider/model changes made through Harness survive restart.
Direct DeepSeek can be absent entirely while OpenRouter works.
Existing private DeepSeek settings are not a second live source of truth.
Trusted project config changes are reflected after canonical reload with provenance.
Untrusted project config is not executed merely because Harness opened the repository.
Config UI cannot write credentials or bypass normal AgentProlog file-mutation authority.
Tests cover Node -> bridge -> Prolog config inspect/edit/reload composition and mode enforcement.

Parent: #126 Depends on: #127. Integrates with #124/#125. ## Goal Remove frontend-local configuration ownership from the DeepSeek Harness path and make its settings/configuration UI a client of the canonical AgentProlog configuration runtime. ## Required behavior - replace the private `deepseek-harness.json` settings authority with AgentProlog configuration resolution; - support XDG executable `config.prolog` as the primary user config; - support JSON only through the AgentProlog JSON loader/adapter, not as a competing runtime; - expose bridge commands for config inspect/effective/edit/reload with provenance; - editing config through Harness is a normal AgentProlog file mutation and must pass the canonical authority boundary; - authorized writes must use atomic replacement where practical and leave the config file mode `0600`; - Harness may provide an editor/open-config action, but it does not interpret or rewrite Prolog semantics in TypeScript; - project config editing/execution follows #127 structured project trust and project identity; - project trust permits config execution only; it does not grant tool/effect authority; - provider/model changes survive restart through the canonical config runtime; - OpenRouter remains a normal/default route and direct DeepSeek remains optional; - config UI must not display or persist resolved credential secrets; - config reload must not replace canonical lossless conversation history or reactivate Harness stock compaction/agent-loop semantics. ## Acceptance - [ ] Harness starts with only XDG AgentProlog `config.prolog` present. - [ ] Harness starts with JSON configuration loaded through AgentProlog. - [ ] Harness can request an authority-mediated edit/write of the user's config and the resulting file is `0600`. - [ ] Invalid edits fail atomically and leave the previous valid config active. - [ ] Provider/model changes made through Harness survive restart. - [ ] Direct DeepSeek can be absent entirely while OpenRouter works. - [ ] Existing private DeepSeek settings are not a second live source of truth. - [ ] Trusted project config changes are reflected after canonical reload with provenance. - [ ] Untrusted project config is not executed merely because Harness opened the repository. - [ ] Config UI cannot write credentials or bypass normal AgentProlog file-mutation authority. - [ ] Tests cover Node -> bridge -> Prolog config inspect/edit/reload composition and mode enforcement.

nsaspy commented

2026-09-02 17:26:02 +00:00

Owner

Copy link

Child of #126; closed with the epic under the restored canonical boundary (#141, 2026-08-31): AgentProlog product configuration/UX belongs to lost-rob0t/agentProlog, and this is not a current prolog-rlm gap blocking a coding agent. Re-file in the product repo if still wanted.

nsaspy referenced this issue

2026-09-04 14:36:16 +00:00

[EPIC] AgentProlog programmable configuration, hooks, tools, and detectors #126

nsaspy closed this issue

2026-09-04 14:36:17 +00:00

No Branch/Tag specified

main

feat/prolog-rlm-language

codex/claude-api-provider

codex/symbolic-experts

codex/openai-api-provider

feat/zai-provider-protocols

hardening/project-semantic-20260911

hardening/ws7-nix-ci-pinning

chore/track-prolog

rage/98-semantic-project-knowledge

fix/339-agent-zero-skill-graph

ci/tree-sitter-runner-labels

issue-293

research/text-streaming

docs/agent-editor-handoff

icon-add

hydra/fleet-jobs-20260904

rage/355-d6-11-plan-native-dispatch

cd/nix-installer-action-url

issue-355

rage/97-query-capture-apis

research/expert-direct-tool-projection

rage/96-versioned-syntax-facts

fix/direct-deadline-typing

dogfood/auto-dig-native-tools

feature/rage-feature-freeze

fix/323-native-batch-cardinality

fix/328-direct-user-namespace-text-string

fix/transient-provider-retry-2026-09-01

fix/openrouter-dotted-tool-result-name

rage/325-native-call-isolation

fix/316-original-batch-effect-isolation

fix/313-per-call-preflight

fix/312-peek-schema-contract

docs/agents-worktree-rule

fix/child-native-capability-narrowing

test/paid-lane-glm-53-flash

docs/spec-seeded-symbolic-plans

rage/290-spec-plan-authority

fix/304-context-peek-selector-contract

fix/298-native-any-json-schema

rage/288-spec-plan-graph-executor

feat/spec-plan-flow-api

prolog-rlm-v1

gpt-5-6-sol-high/questions-for-rlm-prolog-and-lambda-rlm

rage/277-planner-protocol-context

research-approval/rlm-research-026-task-deadlines-20260827135838

research-approval/rlm-research-025-lem-ui-20260827135751

rage/183-live-operator-behavior

agent/127-agentprolog-config

recovery/132-agentprolog-monorepo

rage/223-durable-context-mount-recovery

rage/223-constraint-benchmark-recovery

research-approval/rlm-research-011-managed-context-tool-discovery-20260827054019

feat/research-approval-schema

agent/rrlm-control-plane-research

docs/219-adrrd-review

salvage/231-runtime-status

salvage/231-runtime-status-run

tmp

tmp2

tmp3

rage/245-planner-structural-retry

rage/168-skill-selection-eval

rage/250-skill-catalog-graph

rage/56-result-acceptance

rage/172-parent-resume-replan

rage/175-deadline-policy-recovery

rage/257-provider-tool-choice-normalization

agent/tool-result-projection-presets

fix/234-numeric-schema-bounds

feature/231-rlm-cli-reference-harness

feature/223-durable-context-mounts

feature/223-real-constraint-benchmark

feature/223-real-constraint-benchmark-clean

feature/223-real-constraint-benchmark-final

feature/223-real-constraint-benchmark-impl

feature/223-real-constraint-benchmark-now

feature/223-real-constraint-benchmark-tdd

feature/223-real-constraint-benchmark-work

rage/176-root-planner-tool-projection

rage/172-typed-delegation-policy

rage/175-subagent-deadline-policy

rage/206-prompt-command-runtime

rage/203-subagent-skill-role-provenance

rage/200-permanent-rlm-context

fix/190-cli-help-success

archive/pr-132-agentprolog-config-20260827

feature/117-prolog-skill-activation-linear

feature/117-prolog-skill-activation

fix/194-completion-budget-usage

fix/191-capability-filtered-tool-schemas

fix/185-reasoning-effort

ci/report-workflow-failures-20260825

cleanup/186-remove-legacy-harnesses

fix/185-reasoning-routing

agent/evolution-async-evaluator

rage/181-binding-replay-race

agent/124-deepseek-harness-prolog

rage/144-fallback-closure

rage/164-conversation-metadata

agent/subagent-supervised-call-conformance

fix/160-context-adapter-closed-data

codex/move-agent-zero-adaptor

codex/sol-high-integration

fix/151-plunit-gate

fix/165-evolution-closed-data

fix/162-async-control-exceptions

fix/158-prompt-compiler-closed-dicts

fix/151-plunit-main-ownership

fix/156-registry-destroy-hooks

fix/154-anonymous-dict-canonicalization

fix/flake-lock-reproducibility

agent/issue-142-evolution-kernel

agent/141-flake-runtime-package

agent/rlm-subagent-runtime

agent/144-subagent-fallback-a

agent/107-bound-adapter-metadata

validation/clean-pack-install

fix/45-authoritative-nested-model-events

fix/46-router-safe-live-streaming

agent/prompt-context-compiler

agent/42-canonical-recursive-fingerprints

agent/136-static-load-errors-fail-ci

agent/44-completion-error-usage

fix/67-loader-registry-cleanup

agent/opentui-solid-reference-client-current

agent/95-project-source-registry

feature/issue-117-prolog-skill-compiler

backlog/roadmap-86-merged

agent/opentui-solid-reference-client

79-tool-effect-boundary

agent/prolog-agent-ui-research

agent/conversation-cold-context

agent/94-tree-sitter-ffi

agent/conversation-warm-context

111-opentui-solid-reference-client

109-prolog-agent-ui-v1

agent/conversation-runtime

agent/spec-mode-language

agent/spec-verify-foundation

agent/prompt-compiler-research

reconcile-backlog-postmerge

reconcile-backlog-issues

agent/prolog-agent-roadmap

feature/issue-84-effect-store-migration

fix/issue-80-effect-substrate-adversarial-hardening

feature/issue-57-effect-identity

agent/mcp-declaration-security

agent/external-tool-category-boundary

feature/issue-53-authority-pending-async

feature/issue-54-agent-graph-canonical-async

feature/issue-54-tools-mcp-canonical-async

feature/issue-54-async-canonical-runtime

agent/dual-sync-async-runtime

agent/reconcile-todo-status

feature/issue-20-deep-recursion-experiments

feature/issue-19-cli-demo-trace

feature/issue-18-benchmark-conformance

feature/issue-17-adaptive-recursion

feature/issue-16-durable-artifacts

feature/issue-15-mcp-2026-dual-version

feature/issue-14-mcp-2025-11-25

hotfix/live-tool-native-openrouter

feature/issue-13-chain-runtime

fix/stable-live-repair-gate

fix/live-repair-strategy-parser

feature/issue-12-durable-graph

feature/issue-11-agent-supervision

feature/issue-10-structured-outcomes-repair

feature/issue-9-rlm-completion

feature/issue-8-capability-tools

feature/issue-7-typed-plan-runtime

feature/issue-6-context-store

fix/openrouter-reasoning-response

fix/live-openrouter-smoke-stability

feature/issue-5-openrouter-provider

feature/issue-4-swi-bootstrap

agent/agentic-harness-research

agent/prolog-rlm-foundation

No results found.

Labels

Clear labels

bug

Something isn't working

documentation

Improvements or additions to documentation

duplicate

This issue or pull request already exists

enhancement

New feature or request

good first issue

Good for newcomers

help wanted

Extra attention is needed

invalid

This doesn't seem right

question

Further information is requested

wontfix

This will not be worked on

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

2 participants

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/prolog-rlm#131

Rows
Columns

[P1] Route DeepSeek Harness settings and config editing through AgentProlog config #131

Goal

Required behavior

Acceptance