Proof Portal

jsonparser

ProbeLabs24 findings · 123 requirements

Checks below are from the latest published audit (as of Aug 20, 2026) · commit d79405e237, 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

Passing164

Informational2

Skipped6

Warnings12

Errors0

All checks15 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 20, 2026, 03:41 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