Phase 3: write-path correctness, CRAM-writer hardening, contract docs#22

mbreese merged 3 commits into

maincompgen-io/cgkit:mainfrom

phase3-correctnesscompgen-io/cgkit:phase3-correctnessCopy head branch name to clipboard