NiraNexus

NiraSpec

The architectural specification surface for the NiraNexus suite. It exists so that a protocol, a routing schema or an interface decision can be inspected and checked against the code that implements it, rather than described in prose that drifts.

What it documents

Each section below is a claim this surface is expected to be able to prove. Where it cannot yet, it says so.

This surface is under construction. Sections appear as the schemas they describe are settled — not before.