[EPIC][CORE-E] Experience + learning history: EPOCH/CITADEL candidates, evaluation evidence, promotion lifecycle, quarantine, drift, and replay #33

New issue

Open

opened 2026-09-08 01:57:02 +00:00 by nsaspy · 1 comment

nsaspy commented

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

Owner

Parent: #11
Research: prolog-rlm#404
Integrates with: prolog-rlm#377 #379 #384 #385 #386

Goal

Persist the durable half of bounded self-improvement without making Symbolic Memory the authority that decides promotion.

Own durable records for:

immutable execution/reasoning experiences;
strategy/method/expert/version usage and outcomes;
candidate learned rules/methods/control policies/expert compositions;
candidate ancestry and origin experiences;
evidence-use roles (generation, selection, validation, audit, post_admission);
candidate exposure/dependence closure references;
evaluator/verifier/metric/policy fingerprints;
counterexample campaign receipts and coverage;
promotion/hold/reject/quarantine decisions from Prolog-RLM;
admission/suspension/deprecation/supersession/retraction;
drift/calibration epochs;
exact historical learned-object replay.

Prolog-RLM/EPOCH/CITADEL owns whether a candidate is actually promotable. This repository stores the evidence, decisions, lineage, indexes, and query surfaces.

Hard invariants

experience != rule
successful run != universal positive example
failed run != universal negative example
candidate != admitted knowledge
promotion != capability/authority
record independence != causal/source independence
exposed holdout != fresh independent validation
historical admission cannot be rewritten away

Acceptance

Persist/restart/query an experience → candidate → independent evaluation → admitted object → drift → suspension → superseding candidate chain with exact provenance and no authority widening; historical replay resolves the exact object version originally used.

Parent: #11 Research: prolog-rlm#404 Integrates with: prolog-rlm#377 #379 #384 #385 #386 ## Goal Persist the durable half of bounded self-improvement without making Symbolic Memory the authority that decides promotion. Own durable records for: - immutable execution/reasoning experiences; - strategy/method/expert/version usage and outcomes; - candidate learned rules/methods/control policies/expert compositions; - candidate ancestry and origin experiences; - evidence-use roles (`generation`, `selection`, `validation`, `audit`, `post_admission`); - candidate exposure/dependence closure references; - evaluator/verifier/metric/policy fingerprints; - counterexample campaign receipts and coverage; - promotion/hold/reject/quarantine decisions from Prolog-RLM; - admission/suspension/deprecation/supersession/retraction; - drift/calibration epochs; - exact historical learned-object replay. Prolog-RLM/EPOCH/CITADEL owns whether a candidate is actually promotable. This repository stores the evidence, decisions, lineage, indexes, and query surfaces. ## Hard invariants ```text experience != rule successful run != universal positive example failed run != universal negative example candidate != admitted knowledge promotion != capability/authority record independence != causal/source independence exposed holdout != fresh independent validation historical admission cannot be rewritten away ``` ## Acceptance Persist/restart/query an experience → candidate → independent evaluation → admitted object → drift → suspension → superseding candidate chain with exact provenance and no authority widening; historical replay resolves the exact object version originally used.

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 commented

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

Author

Owner

MACHINE-SPIRIT #404D / CLOCKWORK-EPOCH durable learning contract

Depth 7 is now design-complete upstream. CORE-E should persist CLOCKWORK as an append-only learning ledger plus rebuildable indexes, not current mutable candidate/admitted rows.

Canonical durable objects/events should cover experiences, candidates, direct evidence-use/dependence edges, LACs/attestations, immutable EvaluationSnapshots, evaluation observations, counterexample receipts, promotion decisions/events, transfer assessments and drift/calibration events.

Derived/rebuildable state includes current lifecycle status, exposure/dependence closures, validation eligibility, transfer caches and strategy summaries.

Key transition invariant:

promotion decision
  + expected candidate lifecycle version
  + exact EvaluationSnapshot fingerprint
  + expected dependency generations
  -> conditional append promotion event

If any dependency changed, persist/return stale_evaluation or conflict; never silently admit. A later source retraction/drift event may suspend a historically valid admission without rewriting the historical admission away.

Prolog-RLM owns candidate-kind evaluation/promotion semantics; Symbolic Memory owns persistence, indexes, lifecycle CAS/idempotency, replay and failure injection. Refs prolog-rlm#397/#404 and #33-#36/#43.

## MACHINE-SPIRIT #404D / CLOCKWORK-EPOCH durable learning contract Depth 7 is now design-complete upstream. CORE-E should persist CLOCKWORK as an **append-only learning ledger plus rebuildable indexes**, not current mutable `candidate/admitted` rows. Canonical durable objects/events should cover experiences, candidates, direct evidence-use/dependence edges, LACs/attestations, immutable EvaluationSnapshots, evaluation observations, counterexample receipts, promotion decisions/events, transfer assessments and drift/calibration events. Derived/rebuildable state includes current lifecycle status, exposure/dependence closures, validation eligibility, transfer caches and strategy summaries. Key transition invariant: ```text promotion decision + expected candidate lifecycle version + exact EvaluationSnapshot fingerprint + expected dependency generations -> conditional append promotion event ``` If any dependency changed, persist/return `stale_evaluation` or conflict; never silently admit. A later source retraction/drift event may suspend a historically valid admission without rewriting the historical admission away. Prolog-RLM owns candidate-kind evaluation/promotion semantics; Symbolic Memory owns persistence, indexes, lifecycle CAS/idempotency, replay and failure injection. Refs prolog-rlm#397/#404 and #33-#36/#43.