Open
Description
@rvagg identified a big issue here: #1540 (comment)
We should have one version of state invariants in rust maintainted here. There are two steps to this work
- Go through go-state-types go invariants and make sure all invariants in go are reflected in rust code. I expect they have differed fairly significantly in the last two years.
- In a lotus-shed or other utility (maybe even a lotus developer cli command?) hook up the rust invariants on an ffi blockstore and run them.
Running go invariants and comparing with step 2 will probably be helpful for identifying diff in the invariants implemented in both.
Metadata
Metadata
Assignees
Labels
No labels
Type
Projects
Status
👊 Needs Commitment