This repository was archived by the owner on Feb 3, 2023. It is now read-only.
impossible states: EntryWithHeader
to ChainItem
#946
Labels
impossible states
https://hackmd.io/QPgBfOk4TwOMrZnCCE46ZA?both#Make-invalid-states-impossible-MISI
Uh oh!
There was an error while loading. Please reload this page.
in the spirit of impossible states
EntryWithHeader
is any entry any headerwe ?always? want a specific header/entry combo (the header in a chain and the entry referenced and hashed by the header)
name suggestions:
ChainItem
ChainLink
ChainPair
ChainJoint
a
ChainFoo::new()
should fail if theChainHeader.entry_address()
does not matchEntry.address()
ideally a seq of
ChainFoo
structs could be validated (individual integrity and valid ordering/references)a
ChainFoo
uses a simple tuple structure (for easy destructuring) and is immutable:The text was updated successfully, but these errors were encountered: