Proof Portal

Sign in
Projects

jsonparser

ProbeLabsviewing a historical run
Viewing historical run d79405eAug 20, 2026, 03:41 PMproof-demoaudited with uncommitted changes — showing the committed treeBack to current
Historical run · Audit @ 2026-08-20
AuditedAudited Aug 20, 2026commit d79405e237
FindingsSee what needs attention and act on it.
10open findings
5 High2 Medium2 Low1 Info

13 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.
  • Requirement95 requirements updated1 month ago
  • Known issueSet on top-level array-index beyond length returns KeyPathNotFoundError instead of appending1 month ago
  • Known issuearrayEachConfig empty-array sentinel checks for '}' instead of ']' — a valid `[]` is rejected as malformed2 months ago
  • Known issueParseBoolean uses prefix match instead of exact equality — "trueish"/"falsehood" accepted as booleans2 months ago
Open timeline