Issues - nsaspy/prolog-rlm - Forgejo: Beyond coding. We Forge.

nsaspy/prolog-rlm

Search syntax

`assignee:<username>`	Filter by assigned user
`author:<username>`	Filter by the author
`is:all`	All
`is:closed`	Closed
`is:open`	Open
`mentions:<username>`	Filter by mentioned user
`modified:[>\|<]<date>`	Filter by last modified date
`review:<username>`	Filter by user who reviewed
`sort:<by>:[asc\|desc]`	Sort by: `created\|comments\|updated\|deadline`

New issue

[EPIC][P0] First-class Prolog expert system: registry, routing, specialists, and closed-loop Spec→Plan→Expert→Verify→Repair

#422 opened 2026-09-08 01:29:22 +00:00 by nsaspy 0 / 17

[EPIC][experts] Canonical expert runtime: contract, registry, symbolic selection, invocation, recursion, and projections

#421 opened 2026-09-08 01:29:22 +00:00 by nsaspy 0 / 14

[EPIC][expert] Requirement / SPEC expert: normalize obligations, freeze intent, and block silent requirement drift

#420 opened 2026-09-08 01:29:22 +00:00 by nsaspy 0 / 9

[EPIC][expert] Planner / coordinator expert: symbolic decomposition, expert assignment, and bounded replanning

#419 opened 2026-09-08 01:29:22 +00:00 by nsaspy 0 / 17

[EPIC][expert] Project symbolic knowledge expert: fresh source facts, relations, provenance, and explainable project queries

#418 opened 2026-09-08 01:29:22 +00:00 by nsaspy 0 / 11

[EPIC][expert] Retrieval / evidence expert: symbolic source selection, evidence gaps, and explainable retrieval strategy

#417 opened 2026-09-08 01:29:22 +00:00 by nsaspy 0 / 9

[EPIC][expert] Git / repository expert: symbolic repository reasoning over typed host-supplied Git capabilities

#416 opened 2026-09-08 01:29:21 +00:00 by nsaspy 0 / 10

[EPIC][expert] Write / edit / create expert: symbolic target resolution, typed changes, preimage safety, and model fallback

#415 opened 2026-09-08 01:29:21 +00:00 by nsaspy 0 / 12

[EPIC][expert] VERIFY expert: evidence plans, independent validation, proof-carrying outcomes, and exact Frozen-Spec acceptance

#414 opened 2026-09-08 01:29:21 +00:00 by nsaspy 0 / 11

[EPIC][expert] Repair / diagnosis expert: failure hypotheses, evidence gaps, bounded repair, and no-progress detection

#413 opened 2026-09-08 01:29:21 +00:00 by nsaspy 0 / 15

[EPIC][expert] Review / critic expert: adversarial change analysis, regression discovery, and evidence-backed findings

#412 opened 2026-09-08 01:29:21 +00:00 by nsaspy 0 / 10

[EPIC][experts] Closed-loop integration: Requirement→Knowledge→Plan→Experts→VERIFY→Repair→Review→completion

#411 opened 2026-09-08 01:29:20 +00:00 by nsaspy 0 / 13

[EPIC][library/tool] General semantic knowledge compiler: arbitrary natural language → extensible validated symbolic knowledge

#410 opened 2026-09-08 01:29:20 +00:00 by nsaspy

[EPIC][cyber-harness] Generic Prolog-RLM cyber reasoning harness for Hackmode/Hackpert

#409 opened 2026-09-08 01:29:20 +00:00 by nsaspy 0 / 16

[EPIC][symbolic-port] Private-source semantics → public symbolic expert/rule corpus

#408 opened 2026-09-08 01:29:20 +00:00 by nsaspy 0 / 10

[EPIC][artifact-synthesis] Typed symbolic artifact generation, validation, and repair substrate

#407 opened 2026-09-08 01:29:20 +00:00 by nsaspy 0 / 13

[semantic-ir] General semantic knowledge algebra v1: domain-neutral kernel, typing, modality, provenance, and extensions

#406 opened 2026-09-08 01:29:20 +00:00 by nsaspy 0 / 21

[semantic-compiler] Multi-pass semantic induction: discourse, coreference, events, rules, procedures, constraints, and cross-sentence linking

#405 opened 2026-09-08 01:29:20 +00:00 by nsaspy 0 / 26

[semantic-reasoning] Safe lowering and reasoning semantics for negation, defaults, exceptions, uncertainty, time, causality, and constraints

#404 opened 2026-09-08 01:29:19 +00:00 by nsaspy 0 / 16

[semantic-eval] Cross-domain semantic conformance corpus and meaning-preservation / hallucination-loss metrics

#403 opened 2026-09-08 01:29:19 +00:00 by nsaspy 0 / 20

1 2 3 4 5