A conforming RAED v0.1 implementation must preserve the normative invariants in docs/specification/RAED-SPEC-v0.1.md.
Minimum conformance properties:
- stable identity under stable canonical input;
- relation history is not silently overwritten;
- epistemic and lifecycle state remain distinct;
- unresolved lookup has an explicit non-false state;
- conflicts remain visible;
- dependency traversal is cycle-safe;
- lifecycle invalidation can identify dependent state;
- signature verification does not promote truth;
- replay reconstructs the same semantic snapshot;
- traversal limits fail visibly.
The Go implementation in this repository is the reference implementation, not the sole permitted implementation.