roconnor-blockstream

Decoding of smaller program (with relative references changed to absolute references): 0: Unit () 1: Iden () 2: Pair () () () 0 1 3: Unit () 4: Iden ()...

Try to construct a fully-unshared program in rust simplicity. That way we can test the sharing mechanism used during serialization. Assuming I did the hand construction correctly the unshared program...

Correction: The expected behavior is that `finalize_types` succeeds and that it correctly serializes and deserializes. The correct shared DAG should be 0: Unit One 1: Iden One 2: Pair One...

I've added a bit more to the help documentation.

> I built it I wasn't able to pass erasures with -e 5 on the command line. I'm probably doing the syntax wrong. > Usage: codex32 correct (CODEX32_STRING | --len...

I converted it to draft because I need to squash my changes, and I want to fix up a few more things. However it is still reviewable.

> A better syntax, imho, I used in my brute force tool was to assume '?' in the codex32 string passed were erasures. Seems clunky to specify erasure locations individually....

> Eliminate the string length parameter entirely. I think you are misunderstanding the operation of the correction tool: > Usage: codex32 correct (CODEX32_STRING | --len LENGTH [-e ERASURE_LOCATION] RESIDUE) The...

I expect 9 symbols to usually differ, but I don't know.

> (how would you even know there were substitution errors??) I just showed you an example: ``` $ codex32 correct --len 48 C0T9WYQDDVRPP 1 errors found. Make the following corrections....