RAGE #10: expert-plane Tek9/Prolog substrate #25

Merged

lost-rob0t merged 71 commits from rage/10-expert-runtime-red into main

2026-08-31 07:21:23 +00:00

lost-rob0t commented

2026-08-31 07:20:55 +00:00

(Migrated from github.com)

Supersedes draft PR #24 only because the connected ready-for-review mutation is broken (Repository.fullDatabaseId). #24 had zero reviews and zero conversation comments, so no review history is being discarded.

Consumes #10 under parent #8.

Canonical authority:

research/LLM-LOG-RESEARCH-004-symbolic-expert-plane.org
research/LLM-LOG-RESEARCH-033-expert-authority-regression-reconciliation.org
research/LLM-LOG-RESEARCH-035-draft-pr-recovery.org

Architecture remains unchanged: Python owns transparent HTTP/SSE/WebSocket capture/transport and expert availability policy; Common Lisp owns the expert runtime, typed objects, Tek9 access, bounded fact materialization, SWI-Prolog supervision/result validation and durable derived assertions; Tek9 is the durable KB; SWI-Prolog owns facts/rules/inference. No Python rule engine.

The exact branch head must be GREEN before merge. main is reported unprotected and repository rulesets are empty, so there is no repository-enforced review requirement; zero reviews must not be described as approval.

PR #5 remains a separate configuration transaction. Dotfiles PR #172 stays RED-only until this substrate is merged. No Tek9 repository mutation is included.

Supersedes draft PR #24 only because the connected ready-for-review mutation is broken (`Repository.fullDatabaseId`). #24 had zero reviews and zero conversation comments, so no review history is being discarded. Consumes #10 under parent #8. Canonical authority: - `research/LLM-LOG-RESEARCH-004-symbolic-expert-plane.org` - `research/LLM-LOG-RESEARCH-033-expert-authority-regression-reconciliation.org` - `research/LLM-LOG-RESEARCH-035-draft-pr-recovery.org` Architecture remains unchanged: Python owns transparent HTTP/SSE/WebSocket capture/transport and expert availability policy; Common Lisp owns the expert runtime, typed objects, Tek9 access, bounded fact materialization, SWI-Prolog supervision/result validation and durable derived assertions; Tek9 is the durable KB; SWI-Prolog owns facts/rules/inference. No Python rule engine. The exact branch head must be GREEN before merge. `main` is reported unprotected and repository rulesets are empty, so there is no repository-enforced review requirement; zero reviews must not be described as approval. PR #5 remains a separate configuration transaction. Dotfiles PR #172 stays RED-only until this substrate is merged. No Tek9 repository mutation is included.