proof(SafeJson): DISCHARGE 4 object-key OWEDs via DecEq carrier refactor#139

Merged

hyperpolymath merged 2 commits into

mainfrom

proof/safejson-deceq-object-ops

May 31, 2026

Commits on May 30, 2026

proof(SafeJson): DISCHARGE 4 object-key OWEDs via DecEq carrier refactor (proven#90 #107 #119)

hyperpolymath
and
claude
committed
proof(SafeJson): DISCHARGE 6 parser literal OWEDs via fast-path clauses (stacked on #139) (#140)

hyperpolymath
and
claude
authored