Module scan

Structs§

Counts 🔒: Counts the statediff walk accumulates.
Diffs 🔒: Statediff walk context: the bitmaps each row’s entries are tested against.
Family 🔒: One family’s residue: its losers, their winners, the rows a heal pass completes, and the counts that impugn the scan.
Notification 🔒: The sroomid field of a stored notification value.
Scan 🔒: Everything one scan measured, and the worklists the repair consumes.

any_unclaimed 🔒: Whether any reverse key’s short id went unclaimed by a forward value.
bits_of 🔒
by_identity 🔒
by_short 🔒
candidate_identity 🔒
candidate_short 🔒
contenders 🔒: Counts candidates contending for a slot another candidate already claims.
dangling_winners 🔒: Streams a forward map against the reverse bitmap for dangling winners.
diffs 🔒: Folds every statediff row through the walk, its parent keyset first.
disposable 🔒
family 🔒: Scans one family in two passes, and a third only where the bitmaps disagree.
get_bit 🔒
loser_candidates 🔒: Collects reverse keys no forward value claims.
pdu_shortroomid 🔒: Extracts the shortroomid of a pdu id sitting behind a separator.
references 🔒
resolution 🔒
resolve 🔒: Dereferences each candidate’s identity to split losers from winners.
reverse_bitmap 🔒: Streams a reverse map into its keyset bitmap, its row count, and its count of keys that are not an 8-byte short id.
scan 🔒: Measures short id injectivity across both families.
set_bit 🔒
short_of 🔒
strays 🔒: Counts shortroomid references with no forward row.
sweep 🔒: Reads the deeper indexes once a loser exists in either family.

Bits 🔒: Bitmap over the short id space, one bit per id up to the global counter.
Candidate 🔒: One short id paired with the identity its row names.
Candidates 🔒: Reverse rows no forward value claims, paired with the identities they name.
Identity 🔒: Owned copy of a reverse-map identity, used to dereference a loser.
Relations 🔒: The relatesto_typed rows to rewrite, each with its stale child value.
Resolution 🔒: One family’s resolution: losers, the winner each maps to, the rows a promotion can heal, and the count the dereference could not settle.