Repository navigation

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

Merged

hyperpolymath merged 2 commits into

mainfrom

claude/ecstatic-johnson-ViodM

May 31, 2026

Merged

proof(SafeJson): fix appendLengthInc so the module compiles (completes #138)#144
hyperpolymath merged 2 commits into
mainfrom
claude/ecstatic-johnson-ViodM

Commits on May 30, 2026
- proof(SafeJson): DISCHARGE anyMatchesTAny + singleKeyPath; fix appendLengthInc; make path accessors total
  claude
  committed
  c63abf8
Commits on May 31, 2026
- proof(SafeJson): drop unnecessary `total` change; keep minimal appendLengthInc fix
  claude
  committed
  ecda96e