nsaspy/prolog-rlm
1
0
Fork 0
Code Issues 83 Pull requests 10 Projects Releases Packages Wiki Activity Actions

Build OpenTUI + SolidJS reference client for prolog_agent_ui_v1 #112

New issue
Closed
opened 2026-08-19 04:06:15 +00:00 by lost-rob0t · 0 comments
lost-rob0t commented 2026-08-19 04:06:15 +00:00 (Migrated from github.com)
Copy link

Goal

Build the first real frontend for prolog_agent_ui_v1: a small OpenTUI + SolidJS terminal client that consumes the deterministic child-swipl fixture and proves the renderer boundary before the headless coding workflow is wired in.

Implementation: #113.

Architectural constraints

  • Prolog remains authoritative.
  • The client consumes only prolog_agent_ui_v1 snapshots/events/results/errors and sends explicit correlated commands.
  • No tool execution, authority policy, verification semantics, project state inference, or alternate agent runtime in TypeScript.
  • NDJSON/stdin/stdout transport is isolated behind a client transport interface so a local socket can replace it later without changing protocol/view code.
  • Unknown tools and optional extension events render generically.
  • Sequence gaps, session mismatches, malformed frames, unsupported required extensions, unexpected server frames, and transport exit are visible errors rather than silently ignored state.

Slice

  • add a self-contained Bun/OpenTUI/Solid package under agentProlog/ui/opentui/;
  • pin direct OpenTUI/Solid dependencies and configure the official Solid JSX preload/TypeScript settings;
  • implement typed protocol decoding/validation for the v1 wire envelope;
  • implement bounded presentation state derived only from canonical snapshots and ordered semantic events;
  • implement child-process NDJSON transport against agentProlog/bin/prolog-agent-ui-fixture.pl;
  • implement request correlation for negotiate/commands/results/errors;
  • render conversation streaming, tools, approvals/questions, subagents, verification/usage/traces/effect status, and generic unknown events/tools;
  • add keyboard interaction for the fixture approval/question/cancel commands without embedding authority semantics beyond the advertised options;
  • add deterministic protocol/replay tests plus a non-interactive OpenTUI render smoke test;
  • add a standalone persistent child-swipl transport integration that negotiates, replays, issues a correlated command, and observes the next semantic event;
  • add CI coverage for typecheck/tests without requiring a real terminal;
  • update AgentProlog docs/roadmap.

CI hardening found during implementation

The first UI runs caught renderer/transport integration issues rather than being papered over:

  • strict TypeScript callback inference was fixed explicitly without disabling strict;
  • OpenTUI false conditional branches were producing orphan text nodes, so conditional panels now render through empty/non-empty collections under valid <text>/<box> parents;
  • transport exit and unexpected server frames are surfaced explicitly;
  • the real long-lived SWI transport check is executed as a standalone Bun integration after the unit/render suite instead of being removed when the Bun test harness interfered with the child-process lifecycle.

Current exact implementation head: 6e74c6cfaf88178a0da05c34ad5388a52617dd4f.

The final exact-head AgentProlog UI, core CI, and Tree-sitter lanes are queued/running. Do not mark the issue complete or merge #113 until those exact-head gates finish green and the branch is rechecked against current main.

Definition of done

From a clean checkout, the JS client can spawn the fixture server, negotiate prolog_agent_ui_v1, render the canonical session without reconstructing state from logs, issue correlated fixture commands, survive replay/reconnect without duplicate semantic state, and pass deterministic typecheck/tests in CI. No real coding workflow or repository mutation is introduced in this slice.

## Goal Build the first real frontend for `prolog_agent_ui_v1`: a small OpenTUI + SolidJS terminal client that consumes the deterministic child-`swipl` fixture and proves the renderer boundary before the headless coding workflow is wired in. Implementation: #113. ## Architectural constraints - Prolog remains authoritative. - The client consumes only `prolog_agent_ui_v1` snapshots/events/results/errors and sends explicit correlated commands. - No tool execution, authority policy, verification semantics, project state inference, or alternate agent runtime in TypeScript. - NDJSON/stdin/stdout transport is isolated behind a client transport interface so a local socket can replace it later without changing protocol/view code. - Unknown tools and optional extension events render generically. - Sequence gaps, session mismatches, malformed frames, unsupported required extensions, unexpected server frames, and transport exit are visible errors rather than silently ignored state. ## Slice - [x] add a self-contained Bun/OpenTUI/Solid package under `agentProlog/ui/opentui/`; - [x] pin direct OpenTUI/Solid dependencies and configure the official Solid JSX preload/TypeScript settings; - [x] implement typed protocol decoding/validation for the v1 wire envelope; - [x] implement bounded presentation state derived only from canonical snapshots and ordered semantic events; - [x] implement child-process NDJSON transport against `agentProlog/bin/prolog-agent-ui-fixture.pl`; - [x] implement request correlation for negotiate/commands/results/errors; - [x] render conversation streaming, tools, approvals/questions, subagents, verification/usage/traces/effect status, and generic unknown events/tools; - [x] add keyboard interaction for the fixture approval/question/cancel commands without embedding authority semantics beyond the advertised options; - [x] add deterministic protocol/replay tests plus a non-interactive OpenTUI render smoke test; - [x] add a standalone persistent child-`swipl` transport integration that negotiates, replays, issues a correlated command, and observes the next semantic event; - [x] add CI coverage for typecheck/tests without requiring a real terminal; - [x] update AgentProlog docs/roadmap. ## CI hardening found during implementation The first UI runs caught renderer/transport integration issues rather than being papered over: - strict TypeScript callback inference was fixed explicitly without disabling `strict`; - OpenTUI false conditional branches were producing orphan text nodes, so conditional panels now render through empty/non-empty collections under valid `<text>`/`<box>` parents; - transport exit and unexpected server frames are surfaced explicitly; - the real long-lived SWI transport check is executed as a standalone Bun integration after the unit/render suite instead of being removed when the Bun test harness interfered with the child-process lifecycle. Current exact implementation head: `6e74c6cfaf88178a0da05c34ad5388a52617dd4f`. The final exact-head AgentProlog UI, core CI, and Tree-sitter lanes are queued/running. Do not mark the issue complete or merge #113 until those exact-head gates finish green and the branch is rechecked against current `main`. ## Definition of done From a clean checkout, the JS client can spawn the fixture server, negotiate `prolog_agent_ui_v1`, render the canonical session without reconstructing state from logs, issue correlated fixture commands, survive replay/reconnect without duplicate semantic state, and pass deterministic typecheck/tests in CI. No real coding workflow or repository mutation is introduced in this slice.
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
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
bug
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
wontfix
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
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/prolog-rlm#112
No description provided.