Proof Portal

Sign in
Project overview

jsonparser

ProbeLabsviewing a historical run

The fastest JSON parser for Go — formally verified with ReqProof (real library, master).

Viewing historical run 6454f95Aug 21, 2026, 09:29 PMmasterBack to current
Historical run · Audit @ 2026-08-21
AuditedAudited Aug 21, 2026commit 6454f95de6
FindingsSee what needs attention and act on it.

No open findings

11 resolved

Open findings
RequirementsExplore what the software must do — and how each is proven.
123requirements
Formalized116 / 12394%
116 formalized (94%)

Meets policy 123/123

Open requirements
MapSee how the system fits together.
1component
Open map
TimelineFollow how it changed over time.
  • Known issueSet on top-level array-index beyond length returns KeyPathNotFoundError instead of appending2 months ago
  • Changev1.6.0: Append function + KI-2/3/4 fixes2 months ago
  • Changev1.5.0: Config, name aliases, streaming ReaderParser2 months ago
  • Changev1.4.0: ArrayEachErr, Escape/SetString, GetArrayLen/GetUint64, DeleteFound, wildcard paths, JSONPath compiler2 months ago
Open timeline