[SLICE 07][CORE-C] Persist/rebuild epistemic support graph, justification DAG, provenance classes, and counterevidence indexes #24

New issue

Open

opened 2026-09-08 01:57:01 +00:00 by nsaspy · 0 comments

nsaspy commented

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

Owner

Parent epic: #14
Depends on: #24
Refines: #6 #7
Research: prolog-rlm#400

Goal

Persist enough immutable support/justification/provenance structure to reconstruct profile-relative epistemic reasoning without storing one mutable truth value.

Implement:

positive/negative support episodes;
independent justification hyperedges;
premise/rule/assumption/context refs;
source/compiler/logical/lifecycle/runtime provenance as separate classes;
source-dependence/origin groups;
withdrawal/correction/derivation-invalidation events;
indexes for support, counterevidence, justification dependencies and provenance expansion;
rebuildable support-state views (neither, supported_only, refuted_only, both).

Acceptance

Two derivations of P survive loss of one; withdrawal removes support without creating ¬P; conflicting support persists without explosion; each result can expand to exact source spans and derivation path; all operations run provider-free.

Parent epic: #14 Depends on: #24 Refines: #6 #7 Research: prolog-rlm#400 ## Goal Persist enough immutable support/justification/provenance structure to reconstruct profile-relative epistemic reasoning without storing one mutable truth value. Implement: - positive/negative support episodes; - independent justification hyperedges; - premise/rule/assumption/context refs; - source/compiler/logical/lifecycle/runtime provenance as separate classes; - source-dependence/origin groups; - withdrawal/correction/derivation-invalidation events; - indexes for support, counterevidence, justification dependencies and provenance expansion; - rebuildable support-state views (`neither`, `supported_only`, `refuted_only`, `both`). ## Acceptance Two derivations of P survive loss of one; withdrawal removes support without creating ¬P; conflicting support persists without explosion; each result can expand to exact source spans and derivation path; all operations run provider-free.

nsaspy referenced this issue

2026-09-08 01:57:39 +00:00

[EPIC][CORE] Library-first Symbolic Memory v1: durable semantic world model, learning history, federation, and zero-model recall #38

nsaspy referenced this issue

2026-09-08 01:57:40 +00:00

[EPIC][CORE] Library-first Symbolic Memory v1: durable semantic world model, learning history, federation, and zero-model recall #38