Proof Portal
Projects
jsonparser
ProbeLabsviewing a historical runHistorical run · Audit @ 2026-08-03
Needs attentionAudited Aug 3, 2026commit 775a6cc4f0
FindingsSee what needs attention and act on it.
10open findings
5 High2 Medium2 Low1 Info
13 resolved
RequirementsExplore what the software must do — and how each is proven.
123requirements
Formalized116 / 12394%
116 formalized (94%)
Meets policy 123/123
MapSee how the system fits together.
1component
TimelineFollow how it changed over time.
- 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
- Known issuearrayEachConfig empty-input guard returns the wrong documented error type (MalformedJsonError vs MalformedObjectError)2 months ago