Proof Portal

jsonparser

ProbeLabs23 findings · 123 requirements

Showing the current git stateNo audit has been synced for this project yet — verification results (proof status, coverage, solver signals) appear once an audit is published.proof-demod79405e

Checks below are from the latest published audit (as of Aug 20, 2026) · commit d79405e237— the current git state above has not been audited.

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.