proof(SafeJson): fix appendLengthInc so the module compiles (completes #138)#144

hyperpolymath merged 2 commits into

mainhyperpolymath/proven:mainfrom

claude/ecstatic-johnson-ViodMhyperpolymath/proven:claude/ecstatic-johnson-ViodMCopy head branch name to clipboard