Proof Portal
Project overview
jsonparser
ProbeLabs11 findings · 123 requirementsThe fastest JSON parser for Go — formally verified with ReqProof (real library, master).
Obligation catalogue
A required class of evidence the requirement must witness — the bridge between the requirement existing and it being proven.
Obligation evidence — not shown for the current git state
The obligation catalogue and its evidence matrix are built from the audit index, not from tracked git.This view is built from a live audit of the code you are looking at, and the current git state hasn't been audited in that form — so nothing is shown here rather than a fabricated empty result. The latest published audit's results are on the project overview.