@fraczak/k 8.0.0 → 8.1.0

package/CHANGELOG.md

@@ -5,6 +5,30 @@ All notable changes to this project will be documented here.
 The format follows [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 This project uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [8.1.0] — 2026-10-20 — Dynamic JSON Bit-Trie & json? Standard Library
+
+### Dynamic JSON (djson) Consolidation
+
+- **Unified Binary Bit-Trie Representation**:
+  - Consolidated all dynamic JSON approaches onto the binary bit-trie
+    implementation (`btrie[V]`), eliminating linear cons-lists and
+    heap allocations in dynamic document navigation.
+  - Standardized `Examples/djson.k` as the single dynamic JSON
+    specification and `codecs/djson.mjs` (`k-djson`) as its codec.
+  - Retired obsolete cons-list and Patricia trie dynamic JSON
+    variants (`djson-btrie.k`, `djson-ptrie.k`, `djson-btrie.mjs`,
+    `djson-ptrie.mjs`, `k-djson-btrie`, `k-djson-ptrie`).
+- **Complete Standard Library on `json?`**:
+  - Implemented standard dynamic JSON methods in `Examples/djson.k`
+    operating directly on the universal `json?` type:
+    * Object operations: `get`, `has?`, `set`, `del`
+    * List operations: `nth`, `has_index?`, `set_nth`, `del_nth`,
+      `push`
+    * Enumerations: `keys`, `keys_raw`, `values`, `values_raw`
+    * Cardinality: `length` (JSON float64 number), `length_nat`
+      (`bits?`)
+    * Type inspection: `type_of` and `is_*?` predicates
+
 ## [8.0.0] — 2026-10-20 — Named Patterns, Type Schemes & Trie Codecs
 
 ### Language & Type System

package/DOCS/CODECS.md

@@ -158,32 +158,30 @@ The `codecs/` directory provides the following standard codecs:
   - JSON objects map directly to products `{ field: val, ... }`.
   - JSON arrays map to indexed products `{ "0": a0, "1": a1, ... }`.
   - Ideal for record-oriented projection (e.g. `.user .name`).
-- **`djson.mjs` (`k-djson`) — Universal Dynamic JSON (Cons-List)**:
-  Maps every JSON document to a single universal recursive named pattern
-  `djson[]`:
+- **`djson.mjs` (`k-djson`) — Universal Dynamic JSON (Binary Bit-Trie)**:
+  Maps every JSON document to a single universal recursive named
+  pattern `djson[]`:
   ```k
+  btrie[V] = < {} nil, { opt[V] val, T 0, T 1 } trie > = T;
+
   djson[] = <
-    float64 number,
-    str string,
-    < {} true, {} false > bool,
+    number[] number,
+    string[] string,
+    bool[] bool,
     {} null,
-    < {} nil, { J car, L cdr } cons > = L list,
-    < {} nil, { { str key, J val } car, O cdr } cons > = O object
+    btrie[J] list,
+    btrie[J] object
   > = J;
   ```
-  Because every JSON value shares the exact same static 29-node pattern,
-  a `k` relation can be compiled once against `djson[]` and process
-  arbitrary JSON documents of any shape or array/object length.
-- **`djson-btrie.mjs` (`k-djson-btrie`) — Binary Bit-Trie Dynamic JSON**:
-  Replaces the linear `list` and `object` cons-lists with a unified
-  27-node binary bit-trie (`TRIE`). Array indices (`bits?`) and string
-  keys are stored along MSB-to-LSB bit paths, enabling $O(|K|)$ lookup
-  (`dot` and `nth` in `Examples/djson-btrie.k`) via direct `.0`/`.1`
-  projections with zero character-equality checks.
-- **`djson-ptrie.mjs` (`k-djson-ptrie`) — Patricia/Radix Dynamic JSON**:
-  Models `list` and `object` as path-compressed radix tries (`trie-array`
-  style) with `prefix` and $O(1)$ subtree `size` (`list_size` and
-  `obj_size` in `Examples/djson-ptrie.k`).
+  Uses a unified 27-node binary bit-trie for both arrays and objects.
+  Array indices (`bits?`) and string keys are stored along MSB-to-LSB
+  bit paths, enabling $O(|K|)$ lookup via direct `.0`/`.1` projections
+  with zero allocations and zero character-equality loops.
+  Accompanied by a complete standard library on `json?` in
+  [`Examples/djson.k`](../Examples/djson.k) (`get`, `nth`, `has?`,
+  `has_index?`, `set`, `del`, `set_nth`, `del_nth`, `push`, `keys`,
+  `keys_raw`, `values`, `values_raw`, `length`, `length_nat`,
+  `type_of`).
 
 ## Testing a Codec
 
@@ -218,9 +216,9 @@ npm test
 ## Web REPL (VFS) Bundling
 
 When `repl.html` is generated (`npm run build:repl-html`):
-- Codecs (`int.mjs`, `json.mjs`, `djson.mjs`, `djson-btrie.mjs`,
-  `djson-ptrie.mjs`, `utf8.mjs`, `unit.mjs`, `ieee.mjs`) are bundled into
-  100% self-contained ES modules with zero imports.
+- Codecs (`int.mjs`, `json.mjs`, `djson.mjs`, `utf8.mjs`, `unit.mjs`,
+  `ieee.mjs`) are bundled into 100% self-contained ES modules with zero
+  imports.
 - `runCodecCLI` is shimmed as a no-op, and `Value` helpers are directly
   inlined.
 - In the browser, the VFS serves these self-contained modules directly to

package/DOCS/CODEC_ARCHITECTURE.md

@@ -213,9 +213,7 @@ To make `codecs/` intuitive and self-contained:
 codecs/
 ├── int.mjs                    # Integer & list codec
 ├── json.mjs                   # JSON codec (schema-specializing)
-├── djson.mjs                  # Dynamic JSON codec (cons-list)
-├── djson-btrie.mjs            # Dynamic JSON codec (binary bit-trie)
-├── djson-ptrie.mjs            # Dynamic JSON codec (Patricia/radix trie)
+├── djson.mjs                  # Dynamic JSON codec (binary bit-trie)
 ├── utf8.mjs                   # UTF-8 string codec
 ├── utf16.mjs                  # UTF-16 string codec
 ├── ieee.mjs                   # IEEE 754 float codec
@@ -244,8 +242,8 @@ In the browser REPL (`repl.html`):
   imports**.
 - **No Runtime Files in VFS**: `codecs/runtime/*` is not included in the
   browser VFS. The VFS only contains verified, self-contained user-facing
-  files (`int.mjs`, `json.mjs`, `djson.mjs`, `djson-btrie.mjs`,
-  `djson-ptrie.mjs`, `utf8.mjs`, `unit.mjs`, `ieee.mjs`).
+  files (`int.mjs`, `json.mjs`, `djson.mjs`, `utf8.mjs`, `unit.mjs`,
+  `ieee.mjs`).
 - **Native Browser Loading**: In `repl-codecs.mjs`, the browser reads the
   codec source from VFS, wraps it in a Blob, and invokes native `await
   import(blobUrl)`. No regex manipulation, import stripping, or global

package/DOCS/JSON_APPROACHES_COMPARISON.md

@@ -1,26 +1,22 @@
 # Comparison of JSON Approaches in k
 
-This document compares the four JSON codec and schema implementations in
-the **k** repository:
+> [!NOTE]
+> **Resolution**: The **binary bit-trie** was selected and standardized
+> as the sole dynamic JSON implementation in `codecs/djson.mjs` and
+> `Examples/djson.k`. The cons-list and Patricia trie implementations
+> were removed. This document preserves the architectural comparison
+> and benchmark findings that guided this design decision.
+
+This document compares the JSON codec and schema implementations:
 
 1. **Schema-Specializing JSON** (`json`):
    [`codecs/json.mjs`][json-mjs]
-2. **Dynamic Cons-List JSON** (`djson`):
+2. **Universal Dynamic JSON (Binary Bit-Trie)** (`djson`):
    [`codecs/djson.mjs`][djson-mjs] & [`Examples/djson.k`][djson-k]
-3. **Dynamic Binary Bit-Trie JSON** (`djson-btrie`):
-   [`codecs/djson-btrie.mjs`][djson-btrie-mjs] &
-   [`Examples/djson-btrie.k`][djson-btrie-k]
-4. **Dynamic Patricia/Radix Trie JSON** (`djson-ptrie`):
-   [`codecs/djson-ptrie.mjs`][djson-ptrie-mjs] &
-   [`Examples/djson-ptrie.k`][djson-ptrie-k]
 
 [json-mjs]: file:///home/wojtek/gits/K/k/codecs/json.mjs
 [djson-mjs]: file:///home/wojtek/gits/K/k/codecs/djson.mjs
 [djson-k]: file:///home/wojtek/gits/K/k/Examples/djson.k
-[djson-btrie-mjs]: file:///home/wojtek/gits/K/k/codecs/djson-btrie.mjs
-[djson-btrie-k]: file:///home/wojtek/gits/K/k/Examples/djson-btrie.k
-[djson-ptrie-mjs]: file:///home/wojtek/gits/K/k/codecs/djson-ptrie.mjs
-[djson-ptrie-k]: file:///home/wojtek/gits/K/k/Examples/djson-ptrie.k
 
 ---
 

package/DOCS/WEB_REPL_REQUIREMENTS.md

@@ -112,10 +112,9 @@ The bundled VFS and UI examples must include only verified useful files:
 
 #### 1. Curated Files Explorer
 In the Web REPL "Files" (VFS) explorer, the visible files are strictly curated to verified examples and codecs:
-- **k-codes**: `core.k`, `arithmetics.k`, `ieee.k`, `djson.k`,
-  `djson-btrie.k`, `djson-ptrie.k`
-- **codecs**: `json.mjs`, `djson.mjs`, `djson-btrie.mjs`,
-  `djson-ptrie.mjs`, `utf8.mjs`, `int.mjs`, `unit.mjs`, `ieee.mjs`
+- **k-codes**: `core.k`, `arithmetics.k`, `ieee.k`, `djson.k`
+- **codecs**: `json.mjs`, `djson.mjs`, `utf8.mjs`, `int.mjs`, `unit.mjs`,
+  `ieee.mjs`
 - User-created or uploaded files remain visible.
 - Internal runtime artifacts (`backends/wasm/runtime.wat`) and redundant directory prefixes (`Examples/`, `codecs/`) are kept accessible internally but hidden from the default file listing.
 - Clicking "Load" on a `.mjs` file automatically executes `:codec load <filename>`.