@@ -130,3 +130,34 @@ literal `"` never appears in the payload.
130130 INDEPENDENT encoder oracle; Elixir decode/1 must reproduce originals over
131131 all-256 single bytes + 8 KiB random (2/3-byte glyph boundaries). Green.
132132- [x] elixir/_ build gitignored (swept-in artifacts moved out, not committed).
133+
134+ ## WIND-DOWN STATE (2026-07-06 ~ 07:05 EDT) — fleet migrates to Thelio
135+ STATUS: fully green, everything pushed. ` yolo = yolo@origin = e4b7275c ` (clean WC).
136+ Last CI (GH Actions run 28490792396 + Garnix, both commits): ALL GREEN incl test-elixir.
137+
138+ DONE (shipped + CI-green):
139+ - [x] Issue #1 : web decode workflow + ` .pbf.json ` container across ALL 5 impls
140+ (JS/web, Node, Zig, C-FFI, C-standalone, Lua); transport-resistant; MIME;
141+ crc32 vector-pinned; CI guards test-container-{node,zig,ffi,c,lua}+cross.
142+ - [x] Rust crate (rust/): byte-identical to Zig, zero-alloc encode/decode, LTO;
143+ CI test-rust (Rust encode == Zig encode + decode round-trip over all 256).
144+ - [x] build.zig: ReleaseFast default; in-process ` --bench ` (Zig 0.16 Io clock).
145+ - [x] Elixir ` ~PB ` compile-time sigil (elixir/): decodes glyphs -> raw binary at
146+ compile time. 5 tests + doctest. CI test-elixir = mix test + MFIC cross-check
147+ (Zig CLI is the INDEPENDENT encoder oracle; Elixir decode/1 must reproduce
148+ originals over all-256 + 8KiB random). README documented w/ verified glyphs.
149+
150+ PARKED — Peter's call, do NOT start autonomously:
151+ - [ ] Transport protocol (Rust GUI <-> Zig core, RAW not container). GATED: Peter
152+ was speccing details with another LLM ("stand by on the specifics").
153+ - [ ] crc32 table-driven optimization (Peter approved earlier, CONTAINER-ONLY scope).
154+ Bench before/after per the benchmark-before-after-optimizations discipline.
155+ - [ ] Zig decode perf: Rust decode measured ~ 2.2x faster than Zig decode (encode is
156+ ~ tied). Zig decode has headroom — candidate optimization pass if transport
157+ use-case wants it. (Rust uses O(1) decode tables: decode_1[ 256] ,
158+ decode_2[ 32] [ 64 ] payload-indexed, decode_3 sorted binary-search.)
159+
160+ NEXT SESSION (on Thelio, full context restored): pick ONE parked item once Peter
161+ directs. The concrete non-gated win is the Zig-decode optimization (mirror Rust's
162+ table strategy in src/zig/printable_binary.zig decode path); everything else waits
163+ on Peter's transport-protocol decision.
0 commit comments