Repository navigation

fix(parser): guard Delete leading-comma panic + empty-string key path components; L3 strict proof review - #283

Merged

buger merged 15 commits into

fix-oss-fuzz-delete-leading-comma

Jul 26, 2026

Commits on May 1, 2026
- fix(Delete): guard against negative prevTok on leading-comma input
  
  buger
  and
  claude
  committed
  a6c5ed3
Commits on May 2, 2026
- Apply reqproof toolchain (Phase O→Z.2) to jsonparser
  
  buger
  and
  claude
  committed
  2896e60
- jsonparser re-sweep with translator gap fixes — 12 new lemmas
  
  buger
  and
  claude
  committed
  80cf537
- Item #3: apply path-conditions + variadic/multi-return + verify-safety
  
  buger
  and
  claude
  committed
  6855f4e
- Migrate _lemmas/_proof.go files to host-attached directives + inline helpers
  
  buger
  and
  claude
  committed
  ff8c4a7
Commits on May 3, 2026
- Apply Proof obligation-class catalog v1.0.0 dogfood
  
  buger
  and
  claude
  committed
  a50174c
- Update catalog dogfood case study for v0.3.0 catalog refinements
  
  buger
  and
  claude
  committed
  b0adab0
Commits on Jul 26, 2026