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-260729-YBAEFeatureDraft

v1.6.0: Append function + KI-2/3/4 fixes

Draft feature change scoped to 6 requirements. Requires reviews · no-suspect-links.

Intent

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

New Append API for clean array append. KI-2 (ParseInt sign-only), KI-3 (disposition), KI-4 (top-level array append) all resolved.

Affected requirements

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

In scope (6)

SYS-REQ-009

Approved

SYS-REQ-110

Approved

SYS-REQ-015

Approved

SYS-REQ-039

Review

SYS-REQ-058

Review

SYS-REQ-064

Review

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 29, 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.