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-H6ERFeatureActive

v1.5.0: Config, name aliases, streaming ReaderParser

Owned by Buger

Active feature change scoped to 2 requirements. Requires reviews · no-suspect-links.

Intent

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

v1.5.0 introduces opt-in Config (AllowSingleQuotes, AllowUnknownEscapes, MaxBufferSize) plus package-level name aliases (EachArray/EachObject/EachArrayErr/EachArrayWildcard) and a streaming ReaderParser with Get, GetString, and ArrayEach backed by a bounded sliding window. New surface traces to SYS-REQ-115 (Config + lenient parsing) and SYS-REQ-116 (streaming ReaderParser) via source-native // SYS-REQ-xxx code annotations.

Affected requirements

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

In scope (2)

SYS-REQ-115

Approved

SYS-REQ-116

Approved

Readiness

The conditions that must hold before this change is considered mergeable.

  • Requirements reviewed
  • No suspect trace links

History

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

  1. CreatedBugerJul 28, 2026 · 3 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.