[SLICE 22][CORE-F] Implement CLFM federation cuts, replica profiles, authenticated imports, anti-entropy, fork handling, and remote redaction obligations #9

New issue

Open

opened 2026-09-08 01:56:59 +00:00 by nsaspy · 1 comment

nsaspy commented

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

Owner

Parent epic: #17
Depends on: #37 #39 #27
Research: prolog-rlm#402C/#402D

Goal

Implement durable federation across independent Symbolic Memory ledgers without inventing a global clock/truth/authority domain.

Implement:

stable ledger/federation-link identities;
exact sparse federation cuts with per-ledger frontier/checkpoint refs;
typed single_writer_local, consensus_replica_group, optimistic_replica_group, mirror/archive relationships;
authenticated import/source receipts and external provenance IDs;
explicit causal/reference edges only from evidence-backed relations;
Merkle/range anti-entropy for declared replica/mirror relationships;
partition/remote-unavailable/completeness status;
fork/divergent ancestry detection and quarantine;
remote redaction obligations, attempts, ACKs, verification evidence and unresolved status;
source-dependence normalization so replicas/mirrors cannot increase corroboration.

Acceptance

Partition/rejoin converges one replica group without inventing independent evidence; unrelated independent ledgers retain conflicts; same wall-clock timestamp creates no causality; unavailable remote yields partial status; incompatible ancestry is a fork/integrity conflict; remote ACK never becomes verified physical erasure.

Parent epic: #17 Depends on: #37 #39 #27 Research: prolog-rlm#402C/#402D ## Goal Implement durable federation across independent Symbolic Memory ledgers without inventing a global clock/truth/authority domain. Implement: - stable ledger/federation-link identities; - exact sparse federation cuts with per-ledger frontier/checkpoint refs; - typed `single_writer_local`, `consensus_replica_group`, `optimistic_replica_group`, `mirror/archive` relationships; - authenticated import/source receipts and external provenance IDs; - explicit causal/reference edges only from evidence-backed relations; - Merkle/range anti-entropy for declared replica/mirror relationships; - partition/remote-unavailable/completeness status; - fork/divergent ancestry detection and quarantine; - remote redaction obligations, attempts, ACKs, verification evidence and unresolved status; - source-dependence normalization so replicas/mirrors cannot increase corroboration. ## Acceptance Partition/rejoin converges one replica group without inventing independent evidence; unrelated independent ledgers retain conflicts; same wall-clock timestamp creates no causality; unavailable remote yields partial status; incompatible ancestry is a fork/integrity conflict; remote ACK never becomes verified physical erasure.

nsaspy referenced this issue

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

[EPIC][CORE-G] Native/MCP/service adapters: thin transport over the library, structured status, authority preservation, and cancellation #31

nsaspy referenced this issue

2026-09-08 01:57:03 +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:03 +00:00

[EPIC][semantic-memory] Durable general semantic memory: arbitrary knowledge → append-only symbolic world model #45

nsaspy referenced this issue

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

[EPIC][semantic-memory] Durable general semantic memory: arbitrary knowledge → append-only symbolic world model #45

nsaspy referenced this issue

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

[semantic-memory] Append-only general semantic ledger: arbitrary IR records, temporal/current views, conflict, supersession, and provenance #43

nsaspy referenced this issue

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

[semantic-memory] General symbolic recall/query over facts, rules, events, time, causality, procedures, constraints, claims, and provenance #42

nsaspy referenced this issue

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

[semantic-memory] Expose general semantic ingestion, query, provenance, and bounded world-model projections through native/MCP tools #40

nsaspy commented

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

Author

Owner

#405C CONCORDAT implementation handoff

For CLFM implementation, keep ledger federation and semantic/trust federation as related but distinct layers.

A link/replica relation provides ledger transport/integrity semantics. It does not by itself establish:

semantic/profile bridge compatibility;
identity equivalence;
foreign verifier acceptance;
authority delegation;
evidence independence;
redaction completion.

Persist exact per-ledger frontier/cut plus directional CONCORDAT contract/version/generation refs for imports. Anti-entropy may converge declared replicas, but replicas remain one origin. Independent ledgers may retain contradictory claims indefinitely without forced reconciliation.

Key failure fixtures from #405C: C16-C25 and C37-C44.

## #405C CONCORDAT implementation handoff For CLFM implementation, keep `ledger federation` and `semantic/trust federation` as related but distinct layers. A link/replica relation provides ledger transport/integrity semantics. It does **not** by itself establish: - semantic/profile bridge compatibility; - identity equivalence; - foreign verifier acceptance; - authority delegation; - evidence independence; - redaction completion. Persist exact per-ledger frontier/cut plus directional CONCORDAT contract/version/generation refs for imports. Anti-entropy may converge declared replicas, but replicas remain one origin. Independent ledgers may retain contradictory claims indefinitely without forced reconciliation. Key failure fixtures from #405C: C16-C25 and C37-C44.