Docs

These documents define CORA’s current guarantees, operational procedures, and evidence anchoring method.

Protocol guarantees

• Contract Invariants (v0): on-chain behaviors treated as stable guarantees.

Operational process

• Ops Protocol (v0): required fields, reason format, and audit expectations.

Evidence anchoring

• Data Anchoring Protocol (v0): off-chain objects, hashes, and on-chain anchors.

Public pages summarize these documents. The authoritative source is the underlying protocol text and on-chain records.