nsaspy/prolog-rlm

[P0] Add structured execution outcomes, trace inspection, and repair primitives #10

New issue

Closed

opened 2026-08-12 01:18:38 +00:00 by lost-rob0t · 0 comments

lost-rob0t commented

2026-08-12 01:18:38 +00:00

(Migrated from github.com)

Goal

Make model/program failures inspectable and repairable instead of returning opaque stderr blobs.

Scope

define canonical outcomes for success, logical failure, timeout, depth/resource exhaustion, capability denial, validation failure, and exception;
preserve variable bindings/residual constraints where applicable;
expose structured trace trees for executed plans/goals;
add predicate/plan inspection helpers;
add bounded retry/repair hooks that can feed structured failure state back to a model;
keep repair scoped to the failing unit rather than regenerating the entire run;
make all diagnostics serializable as ordinary Prolog terms/dicts.

Acceptance criteria

failing goals and plans produce machine-readable outcomes;
traces distinguish logical failure from exceptions/timeouts;
a deterministic fixture demonstrates generate -> execute -> inspect -> repair -> succeed;
repair retries obey the original run budget;
diagnostics never require scraping terminal output.

Dependencies

#7
#9
parent #3

Research

See RLM-RESEARCH-004-prologmcp-repair-loop.org.

## Goal Make model/program failures inspectable and repairable instead of returning opaque stderr blobs. ## Scope - define canonical outcomes for success, logical failure, timeout, depth/resource exhaustion, capability denial, validation failure, and exception; - preserve variable bindings/residual constraints where applicable; - expose structured trace trees for executed plans/goals; - add predicate/plan inspection helpers; - add bounded retry/repair hooks that can feed structured failure state back to a model; - keep repair scoped to the failing unit rather than regenerating the entire run; - make all diagnostics serializable as ordinary Prolog terms/dicts. ## Acceptance criteria - failing goals and plans produce machine-readable outcomes; - traces distinguish logical failure from exceptions/timeouts; - a deterministic fixture demonstrates generate -> execute -> inspect -> repair -> succeed; - repair retries obey the original run budget; - diagnostics never require scraping terminal output. ## Dependencies - #7 - #9 - parent #3 ## Research See `RLM-RESEARCH-004-prologmcp-repair-loop.org`.

nsaspy referenced this issue from a pull request that will close it,

2026-08-27 20:02:00 +00:00

Add structured outcomes, inspection, and bounded repair (#10) #29

nsaspy referenced this issue

2026-08-27 20:02:00 +00:00

Stabilize REAL OpenRouter repair consultation gate #33

nsaspy referenced this issue

2026-09-08 01:29:18 +00:00

[MACHINE-SPIRIT 7/8] Meta-reasoning and bounded self-improvement: failure learning, strategy evolution, rule promotion, self-model and expert synthesis #394

nsaspy referenced this issue

2026-09-08 01:29:18 +00:00

[MACHINE-SPIRIT 6/8] Retrieval and symbolic attention: bounded projection, graph search, relevance, embeddings as sensors, working-memory control #395

nsaspy referenced this issue

2026-09-08 01:29:18 +00:00

[MACHINE-SPIRIT 5/8] Durable world-model architecture: event sourcing, append-only semantics, incremental inference, identity and ontology evolution #396

nsaspy referenced this issue

2026-09-08 01:29:19 +00:00

[MACHINE-SPIRIT 4/8] Procedural intelligence and expert systems: production rules, blackboards, HTN planning, CBR, diagnosis and repair #397

nsaspy referenced this issue

2026-09-08 01:47:35 +00:00

[MACHINE-SPIRIT 1/8] Knowledge-representation foundations: logic, frames, DL/Datalog, events, typed open vocabularies #400

nsaspy referenced this issue

2026-09-08 01:47:47 +00:00

[MACHINE-SPIRIT 4/8] Procedural intelligence and expert systems: production rules, blackboards, HTN planning, CBR, diagnosis and repair #397

nsaspy referenced this issue

2026-09-08 01:47:50 +00:00

[MACHINE-SPIRIT 5/8] Durable world-model architecture: event sourcing, append-only semantics, incremental inference, identity and ontology evolution #396

nsaspy referenced this issue

2026-09-08 01:47:50 +00:00

[MACHINE-SPIRIT 5/8] Durable world-model architecture: event sourcing, append-only semantics, incremental inference, identity and ontology evolution #396

nsaspy referenced this issue

2026-09-08 01:47:53 +00:00

[MACHINE-SPIRIT 6/8] Retrieval and symbolic attention: bounded projection, graph search, relevance, embeddings as sensors, working-memory control #395

nsaspy referenced this issue

2026-09-08 01:47:53 +00:00

[MACHINE-SPIRIT 6/8] Retrieval and symbolic attention: bounded projection, graph search, relevance, embeddings as sensors, working-memory control #395

nsaspy referenced this issue

2026-09-08 01:47:53 +00:00

[MACHINE-SPIRIT 6/8] Retrieval and symbolic attention: bounded projection, graph search, relevance, embeddings as sensors, working-memory control #395

nsaspy referenced this issue

2026-09-08 01:47:56 +00:00

[MACHINE-SPIRIT 7/8] Meta-reasoning and bounded self-improvement: failure learning, strategy evolution, rule promotion, self-model and expert synthesis #394

nsaspy referenced this issue

2026-09-08 01:47:56 +00:00

[MACHINE-SPIRIT 7/8] Meta-reasoning and bounded self-improvement: failure learning, strategy evolution, rule promotion, self-model and expert synthesis #394

nsaspy referenced this issue

2026-09-08 01:47:59 +00:00

[MACHINE-SPIRIT 8/8] Adversarial synthesis: Machine Spirit v1 architecture, conformance suite, zero-LLM demonstrations, and implementation graph #393

nsaspy referenced this issue

2026-09-10 21:18:00 +00:00

[EPIC] Agentic Prolog RLM v0.1 #424

Sign in to join this conversation.

No labels

good first issue

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

No description provided.