Formal Specs

Ollo does not currently publish a single standalone formal-specification package, but several public technical artifacts together define the current system.

Current Public Spec Artifacts

• Architecture Overview
• Core Contracts
• Deployments
• REST API
• Concepts

What Is Not Yet Public

• Formal verification reports
• A standalone mathematical specification document
• A public proof set for every risk, oracle, and settlement invariant

Practical Use

Today, the best way to reconstruct the current formal behavior is to combine the contract interfaces, route definitions, deployments, and concept documentation.