All pull requests

Pull requests

• Lobster: strengthen packet controls and map B1 evidence

  #2816·gafferongames opened Nov 5, 2026Contributor·

  ·

• lobstertable: clear kind_bad on widened repeated map key in map_key (#2775 tables-lobster-wire-fuzz)

  #2811·rowan-claude opened Nov 4, 2026Collaborator·

  ·

• The one read: Go engine, oracle and generated Go leg (strict-only layer 2)

  #2810·rowan-claude opened Nov 4, 2026Collaborator·

  ·

• Lobster: exercise shared fixed-proof rows and repair array decoding

  #2809·rowan-claude opened Nov 4, 2026Collaborator·

  ·

• luautable: fix featurewitnesses/feature_full/feature_array_root layout, JSON, cook, and wirefuzz (U1 / #2775 go-test-touched)

  #2808·rowan-claude opened Nov 4, 2026Collaborator·

  ·

• Write refusal, round two: ill-formed text, FixedSave, SaveMessages, packet NaN, the text writer's zero

  #2807·rowan-claude opened Nov 4, 2026Collaborator·

  ·
  1

• fixedproof: lift shared 49-row fixed-table proof suite (X1) and wire Lua (L2) and Squirrel (S2)

  #2806·rowan-claude opened Nov 4, 2026Collaborator·

  ·
  1

• Preserve unbounded text in Lobster cooked extents

  #2805·rowan-claude opened Nov 4, 2026Collaborator·

  ·

• lua: add packet-utf8/wide/defaults gates (L1) and close 8 VT accelerator/descriptor rows (L4)

  #2804·rowan-claude opened Nov 4, 2026Collaborator·

  ·
  1

• python: the leg, layers P0-P3 (design, pins, serialize.py, skeleton)

  #2802·rowan-claude opened Nov 4, 2026Collaborator·

  ·

• roadmap: rewrite stale leg notes (L6/U0/S0) and add note-hygiene gate (X2)

  #2801·rowan-claude opened Nov 4, 2026Collaborator·

  ·
  1

• squirrel: add dist shasum fallback, packet-utf8/packet-defaults gates, and view doc/tags pin (S0/U0/S1/S4/S5)

  #2800·rowan-claude opened Nov 4, 2026Collaborator·

  ·
  1

• tla: the one read's models (strict-only layer 1)

  #2799·rowan-claude opened Nov 3, 2026Collaborator·

  ·

• tables §16.14: the canonical JSON writer, specified and held byte-exact in every leg

  #2798·rowan-claude opened Nov 3, 2026Collaborator·

  ·

• Preserve Lobster JSON text and float32 values

  #2797·rowan-claude opened Nov 3, 2026Collaborator·

  ·

• spec + conformance: the write algorithm, one value one byte string (SPEC-TABLES §22)

  #2796·rowan-claude opened Nov 3, 2026Collaborator·

  ·

• Lobster: include every declaration in the unit registry

  #2795·rowan-claude opened Nov 3, 2026Collaborator·

  ·

• plans: every leg to 100%, and a Python leg bottom up

  #2794·rowan-claude opened Nov 3, 2026Collaborator·

  ·

• Lobster: qualify wide packet values against C++ fixtures

  #2793·rowan-claude opened Nov 3, 2026Collaborator·

  ·

• Every leg refuses a write its declaration does not admit, held by a write-refusal surface

  #2792·rowan-claude opened Nov 3, 2026Collaborator·

  ·

• Lobster: validate and emit file and message CRC32C integrity

  #2791·rowan-claude opened Nov 3, 2026Collaborator·

  ·

• tables spec: one read, the strict read; the tolerant read is cut

  #2790·rowan-claude opened Nov 3, 2026Collaborator·

  ·

• spec: a reader that expects a fixed table refuses every other form

  #2789·rowan-claude opened Nov 3, 2026Collaborator·

  ·

• lua, luau, squirrel: orphan cycles, replaced map entries, luau retention

  #2786·rowan-claude opened Nov 3, 2026Collaborator·

  ·
  2

• tables(cpp,cs): format emitted C++ text/list/json helpers and settle C# tiered-JIT warmup before soak gates

  #2783·rowan-claude opened Nov 3, 2026Collaborator·

  ·