Skip to main contentModule repair
Source - Healed 🔒
- What one family’s heal staged.
- Patched 🔒
- What patching one statediff row computed, before it is written back.
- delete_losers 🔒
- Deletes the loser reverse rows of both families under one cork.
- heal 🔒
- Completes the torn writes the residue names on its own.
- heal_family 🔒
- Stages one family’s reinstatements and promotions.
- move_keys 🔒
- Moves loser-keyed state rows to their winner key and rewrites
loser-valued relation rows.
- move_state_row 🔒
- Moves one loser-keyed state row toward its winner.
- patch 🔒
- Maps both halves of each entry through the winner maps.
- patch_runs 🔒
- Rebuilds one diff’s runs winner-ward and subtracts the collision the
patch creates.
- patch_state 🔒
- Patches one state’s diff row, its digest row riding the transaction.
- patch_statediffs 🔒
- Patches the ghost halves of infected statediff entries to their winners.
- repair 🔒
- Applies whatever repair the scan cleared, in hazard order.
- winner_of 🔒
- Rebuilds one entry winner-ward, when either half is a loser.
- Digests 🔒
- The digest rows naming each infected state, keyed by the state.