Skip to content

docs/crdt-over-evidence-fabric#146

Merged
mdheller merged 4 commits into
mainfrom
docs/crdt-over-evidence-fabric
Jul 4, 2026
Merged

docs/crdt-over-evidence-fabric#146
mdheller merged 4 commits into
mainfrom
docs/crdt-over-evidence-fabric

Conversation

@mdheller

@mdheller mdheller commented Jul 4, 2026

Copy link
Copy Markdown
Contributor

Content-capture sweep: branch is 4 ahead / 4 behind main. Part of the multi-repo integration audit (2026-07-04). Cherry-pick/merge triage to follow.

mdheller added 4 commits July 2, 2026 04:01
…first ideals 2/4 without regressing 5/6/7

Op-based add-wins OR-graph over EventEnvelope op-log (Fig-18 railroad track).
Causal metadata rides in open payload; no schema change. Merge gate binds to
SyncCycleReceipt.locus + correctness attestation (the eighth ideal). Conforms to
sourceos-spec v2 EventEnvelope/ReasoningRun/ReasoningEvent/SyncCycleReceipt.
Slices 1 (op emitter), 2 (deterministic materialize), 3 (OR-Set merge) shipped in
prophet-mesh#13 with 14 tests; suite 74 green. Slice 4 (locus/attestation gate) next.
gate() ships in prophet-mesh#13 — canonical vs. quarantine split, fail-closed on
gated loci, untrusted-retract security property, SyncCycleReceipt v2 receipts; 7 tests,
suite 81 green. Only Slice 5 (live second-replica ingester) remains.
Slice 5 (live Replica + anti-entropy sync + HellGraph ingester + persist-only-
canonical) ships in prophet-mesh#13. 27 CRDT tests, suite 87 green. emit →
reconstruct → converge → correctness-gate → live-sync + persist proven-correct only.
@mdheller mdheller merged commit f421438 into main Jul 4, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant