Reinference is a sequence of two operations: destroying an inferred cache and inferring it once again, possibly from new significant state.
Examples
- When a cosmos receives new solvable significant state, either from disk or through the network, it must perform reinference so that the inferred caches remain consistent.