Module names 

Shared local Names projection data; no independent proof or coverage claim.

Structs

NamesCursor

NamesPage

One immutable local projection page. A full traversal includes unbound and suspended states and completed pending records; consumers must not omit them when reproducing local resolution/review views. No undo, commit window or autonomous scanner checkpoints are supplied. This is not a NamesIndex import or portable proof. next == None ends this local snapshot only; completeness through the selected tip is reported separately by status.

NamesResolution

NamesStatus

NamesStep

Enums

NamesEntry

NamesKey

Canonical traversal order is all names (ASCII), then pending TXIDs (display hex). In particular, TXID internal byte order is not the wire cursor order.

Constants

MAX_NAMES_PAGE

MAX_NAMES_PAGE_BYTES

Oversized pages fail as a whole; entries are never silently omitted.

MAX_NAMES_STATE_BYTES

Bounds one stored JSON state before decoding, including up to 255 approvers.