Proof Portal

Sign in
Projects

jsonparser

ProbeLabs23 findings · 123 requirements

The fastest JSON parser for Go — formally verified with ReqProof (real library, master).

All changes
ChangeCHG-260728-RKTSFeatureActive

v1.4.0: ArrayEachErr, Escape/SetString, GetArrayLen/GetUint64, DeleteFound, wildcard paths, JSONPath compiler

Owned by Buger

Active feature change scoped to 18 requirements.

Intent

What this change sets out to do, in the author's words.

Records the v1.4.0 new exported API surface as a FEATURE change so the no_authored_change_surface_reviewed warning clears. New surface traces to SYS-REQ-003/004/008/009/010/014/112/113/114 via source-native // SYS-REQ-xxx code annotations. Adds SYS-REQ-112 (container length accessor), SYS-REQ-113 (wildcard path support), SYS-REQ-114 (JSONPath compiled paths).

Affected requirements

The requirements this change touches — each links to its full page.

In scope (18)

SYS-REQ-003

Review

SYS-REQ-004

Review

SYS-REQ-008

Review

SYS-REQ-009

Approved

SYS-REQ-010

Approved

SYS-REQ-014

Approved

SYS-REQ-033

Review

SYS-REQ-034

Review

SYS-REQ-035

Review

SYS-REQ-048

Review

SYS-REQ-049

Review

SYS-REQ-050

Review

SYS-REQ-056

Review

SYS-REQ-110

Approved

SYS-REQ-111

Approved

SYS-REQ-112

Approved

SYS-REQ-113

Approved

SYS-REQ-114

Approved

History

This change's decision lineage — who did what, when. Most recent first.

  1. CreatedBugerJul 28, 2026 · 4 weeks ago

Change history

Every recorded revision of this change's source file — newest first, each with its commit message and the diff for that change.

Every recorded revision of this object's source — newest first, each with the commit message and its file-level diff.