Pager
La capa sobre la qual s'assenta tota la resta: pàgines de mida fixa llegides i escrites per número, amb la capçalera i els dos slots meta alternants a sobre. Res per sobre del pager sap com arriba una pàgina al disc.
B+tree copy-on-write i llista lliure
Una pàgina modificada s'escriu en una ranura lliure, mai sobre dades vives, i un commit és una única escriptura de pàgina meta. La llista lliure que ho fa assequible també s'escriu: les pàgines que una transacció allibera van a una llista pendent etiquetada amb el txn_id que les allibera, i passen al cap reutilitzable un cop el lector actiu més antic ha superat aquest id.
Transaccions
Un únic escriptor retingut per un mutex dins el procés, lectors que mai bloquegen ni són bloquejats. Un lector fixa una pàgina meta i llegeix l'arbre immutable que en penja — no hi ha cap procediment de recuperació a executar, només tres lectures en obrir: la capçalera i els dos slots meta.
Catàleg i índexs secundaris
Els índexs es mantenen dins de la mateixa transacció que les dades que indexen, mitjançant una funció extractora registrada en un catàleg d'una pàgina. Això és el que garanteix que un índex no pugui desviar-se de les dades a partir de les quals es va construir.
delete_range
L'esborrat per rang sobre un rang de claus contigu desenganxa subarbres sencers sense llegir-ne les fulles: es recorren els nodes interns, els seus punters a fills es bolquen a la llista lliure en bloc, i el cost es manté proporcional al nombre de pàgines internes, no al nombre d'entrades esborrades.
Xifratge per pàgina
Opcional, autenticat, fixat en crear el fitxer. El nonce es deriva en lloc de desar-se, i es construeix a partir d'un comptador monòton d'escriptures de pàgina mantingut a part de l'id de transacció — no a partir del txn_id mateix — de manera que el cicle de vida propi d'una transacció, per llarg que duri, no pot fer que un nonce es repeteixi.
Això és el que la fase 1 ha escrit fins ara, no una API pública ni una data de llançament. inro encara està a la fase 1.