Implementation bookkeeping

For clarity, the bit budget can be written without abbreviations:

and hence

This includes:

• the current geometric and particle data;

• a full geometric and particle history block;

• six location and six history bits per original matter name;

• $2B-2$ clean work bits.

Only the $24$ finite edge slots of the compact patch are reported. The three unbounded exterior rays have no finite length report. Their exact geometry is fixed by the exterior cellulation.

The use of full histories is deliberately redundant. It separates three statements that should not be conflated:

1. the geometric event exists;

2. its declared forward code map is decoder-correct;

3. that map has a reversible finite extension.

No interpretation of off-domain compiler states is needed for any of these statements.