a11oy Memory - provenance anchor

Status: Memory is documented as an a11oy in-process capability and a roadmap provenance role. It is not claimed as a separately deployed public service; see Runtime status.

Overview

a11oy Memory documents receipt-provenance techniques including append-only delta logs, Lamport ordering, and a Shor-encoding representation. The proposed external Cardano anchoring path is not a mainnet claim. It remains a roadmap item stated on Runtime status.

The source description should be read as an implementation and architecture reference. It does not establish a currently reachable anchoring service, a signed receipt, or an immutable external ledger for every decision.

Mathematical references

Property	Documented scope	Reference
Convergence	proposed compression-operator framing	Banach, 1922
Error correction	Shor-encoding representation in the provenance design	Shor, 1995
Causal order	Lamport timestamps in receipt-event ordering	Lamport, 1978

The formal-methods and runtime evidence for any specific property must be read from its pinned artifact. The broad proof posture is MIXED; see Evidence and Proof.

Source and evidence

• Role status: ROADMAP as a standalone provenance service.
• Source: a11oy
• External anchoring: Cardano mainnet anchoring is ROADMAP, not a current claim.
• Receipt signatures: Compliance and the exact artifact are authoritative.
• Specification: Ouroboros Thesis