Proof Portal

jsonparser

ProbeLabs11 findings · 123 requirements

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

Checks below are from the latest published audit (as of Aug 21, 2026) · commit 6454f95de6, not from an audit of the current git state.

Audit checks

Every automated check run against this project's proof, and what each one found. Checks that need attention come first.

Partial

Back to overview

Total checks187

Passing167

Informational2

Skipped6

Warnings9

Errors0

All checks12 need attention

Each row leads with its status (this run's outcome); the Gate / Advisorytag is the check's enforcement level, not a result. Informational checks are non-gating signals; skipped checks did not run this time. Recorded Aug 21, 2026, 09:29 PM.

Enforcement

Group by family

Specification lint

(38)

Obligations & evidence

(20)

Verification & tests

(21)

Review & governance

(28)

Other checks

(29)

Formalization & solver

(19)

Traceability & structure

(15)

Code signals

(5)

Documents & catalog

(12)

Trace-coverage gaps and failing checks that became findings are tracked in Findings, and run-over-run check trends live in the Audit history.

Discussions about checks

Have a question about a check, or think one is wrong? Open a discussion — the proof team reviews it and records any outcome in the thread.

Proof

History & reports

Reference