…Len, GetUint64, DeleteFound New APIs (all backward-compatible, additive only): Iteration with error/break control: - ArrayEachErr: callback returns error to stop iteration early (io.EOF = graceful stop) - EachKeyErr: same pattern for EachKey Resolves: #53, #129, #176, #230, #255, #262 Safe string handling: - Escape: RFC 8259 string escaping (inverse of Unescape) - SetString: Set with auto-quoted string value Resolves: #144, #158, #218, #270 Container accessors: - GetArrayLen: count array elements without callback - GetObjectLen: count object key-value pairs without callback - GetUint64: uint64 variant of GetInt Resolves: #175, #261, #271 Delete found signal: - DeleteFound: returns (result, found bool) Resolves: #229 Wildcard paths: - EachKeyWildcard, ArrayEachWildcard, SetWildcard: [*] path component Resolves: #112 JSONPath compiled paths: - ParsePath: $.a.b[0] → []string path - CompilePath + CompiledPath: pre-compile + Get/Set/Delete methods Resolves: #234, #251 Fixes: - EachKey no longer panics with >64 key components (#56) - Set pre-allocates output buffer reducing allocations 6→1 (#107) Proof coverage: - 3 new SYS-REQs (112 container length, 113 wildcard, 114 compiled paths) - 121 total requirements, 0 errors, 0 warnings - 384 MC/DC witness rows, 0 uncovered - LocalChange CHG-260728-RKTS records the feature release - All new functions traced via source-native annotations Contributed by codex (gpt-5-codex) via codex exec.

Add Native Support for Retrieving uint64 #271

Description

Activity

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions