[EPIC][CORE-H] Conformance, failure injection, migration, and scale benchmarks for Symbolic Memory v1 #30

New issue

Open

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

nsaspy commented

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

Owner

Parent: #11
Cross-cuts: #4-#10 #12-#18
Upstream conformance: prolog-rlm#395 #397-#405

Goal

Make implementation claims executable and falsifiable across the whole library.

Own:

deterministic cross-domain semantic persistence corpus;
source→projection→restart→query round trips;
cold/warm/cache-drop/incremental differential oracles;
crash/torn-write/checkpoint corruption/fork/redaction failure injection;
namespace/authority isolation suites;
replay/frontier/generation exactness;
query/provenance/identity/TAPS closure conformance;
EPOCH/CITADEL learning-history contamination/promotion-state fixtures;
federation/anti-entropy/remote-unavailable fixtures;
zero-model known-symbolic demonstrations;
backend benchmark harness for append/query/rebuild/provenance/projection;
bootstrap-backend → production-backend migration/compatibility tests;
documented performance envelopes and unsupported states.

Required differential oracle

For the same exact canonical inputs/frontier/generations and retained nondeterministic artifacts:

cold rebuild
== warm result
== cache dropped + rebuilt
== incremental result

where the relevant profile claims equivalence.

Hard rule

No prose claim of million/billion-record scale, exact replay, safe federation, redaction completion, or Machine Spirit acceptance without executable evidence.

Acceptance

One headless command runs the deterministic v1 suite with providers disabled; separate benchmark/failure lanes report measured backend behavior and structured unsupported/resource-limited states rather than silently weakening semantics.

Parent: #11 Cross-cuts: #4-#10 #12-#18 Upstream conformance: prolog-rlm#395 #397-#405 ## Goal Make implementation claims executable and falsifiable across the whole library. Own: - deterministic cross-domain semantic persistence corpus; - source→projection→restart→query round trips; - cold/warm/cache-drop/incremental differential oracles; - crash/torn-write/checkpoint corruption/fork/redaction failure injection; - namespace/authority isolation suites; - replay/frontier/generation exactness; - query/provenance/identity/TAPS closure conformance; - EPOCH/CITADEL learning-history contamination/promotion-state fixtures; - federation/anti-entropy/remote-unavailable fixtures; - zero-model known-symbolic demonstrations; - backend benchmark harness for append/query/rebuild/provenance/projection; - bootstrap-backend → production-backend migration/compatibility tests; - documented performance envelopes and unsupported states. ## Required differential oracle For the same exact canonical inputs/frontier/generations and retained nondeterministic artifacts: ```text cold rebuild == warm result == cache dropped + rebuilt == incremental result ``` where the relevant profile claims equivalence. ## Hard rule No prose claim of million/billion-record scale, exact replay, safe federation, redaction completion, or Machine Spirit acceptance without executable evidence. ## Acceptance One headless command runs the deterministic v1 suite with providers disabled; separate benchmark/failure lanes report measured backend behavior and structured unsupported/resource-limited states rather than silently weakening semantics.

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