Status overview
This page tracks the state of every section of the Prova specification. The Filecoin spec inspired the structure: each section gets a state label and a theory-audit label, both shown right next to the section title.
State legend
| Label | Meaning |
|---|---|
| Stable | Unlikely to change in the foreseeable future. Implementations may rely on the section being correct and complete. |
| Reliable | All content is correct. Important details are covered. May be tightened over time but no breaking change expected. |
| Draft / WIP | All content is correct but details are still being worked on. Subject to change without breaking-change notice until promoted. |
| Incorrect | Do not follow. Important things have changed since this section was written. Used as a tombstone before rewrites. |
| Missing | No work has been done yet. Section is reserved in the table of contents only. |
Audit legend
| Label | Meaning |
|---|---|
| Audited | An external audit has reviewed the spec section and found it accurate. |
| In progress | An audit is underway but the report has not landed. |
| N/A | No audit has been commissioned for this section yet, or the section is purely structural. |
Spec status overview
| Section | Title | State | Theory audit |
|---|---|---|---|
| 1. | Introduction | Stable | N/A |
| 1.1 | Spec home | Stable | N/A |
| 1.2 | Status overview | Stable | N/A |
| 1.3 | Conventions | Reliable | N/A |
| 2. | Storage proofs | Reliable | In progress |
| 2.1 | PDP integration | Reliable | In progress |
| 2.2 | Checkpoint anchoring | Reliable | N/A |
| 2.3 | Data availability | Draft / WIP | N/A |
| 3. | Deal lifecycle | Reliable | N/A |
| 3.1 | Marketplace | Reliable | N/A |
| 3.2 | Event schema | Reliable | N/A |
| 4. | Network | Draft / WIP | N/A |
| 4.1 | Network protocol | Draft / WIP | N/A |
| 4.2 | API gateway | Reliable | N/A |
| 5. | Token economics | Reliable | N/A |
| 5.1 | Token economics | Reliable | N/A |
| 5.2 | Governance | Draft / WIP | N/A |
| 6. | Security | Reliable | In progress |
| 6.1 | Threat model | Reliable | In progress |
| 6.2 | Audit checklist | Stable | N/A |
How states are promoted
A section moves between states only via a pull request that:
- Updates the section's metadata block.
- Updates this status overview table.
- Lists the rationale in the PR description.
A section moving from Draft → Reliable requires sign-off from at least two protocol maintainers. Reliable → Stable requires that an independent audit has covered the section, OR that the section has been referenced unchanged in two consecutive published implementations.
Source
The spec markdown lives at prova-network/prova/tree/main/spec. This site renders those files. To propose changes, open a PR against that directory.