AdaWorldAPI · Oct 26, 2026 · Oct 25, 2026 · Oct 26, 2026
diff --git a/.claude/board/INTEGRATION_PLANS.md b/.claude/board/INTEGRATION_PLANS.md
@@ -1,3 +1,8 @@
+## 2026-10-25 — D-TFLP TFLite models on the native polyfill → `.claude/plans/d-tflp-tflite-palette-polyfill-capstone-v1.md`
+
+**Status:** PROPOSAL / DOCUMENTATION ONLY. **Board entry:** [D-TFLP-0](entries/2026-10-25-d-tflp-0-tflite-palette-polyfill.md). **Stages:** D-TFLP-1..8 Queued / NOT RUN in [STATUS_BOARD.md](STATUS_BOARD.md).
+
+int8 TFLite tensors are Palette256 codes with an affine decode; TFLM int8 kernels are functions of codes and conversion-time parameters, so elementwise ops become exhaustive 256 / 65,536-entry tables that are bit-exact by construction and closed under chaining. Softmax is a diff-keyed table plus a row reduction; FC/conv fold the input zero point into the bias and reuse the existing u8×i8 / i8×i8 GEMMs and #375 requantization. `lance-graph-tflite` follows the `lance-graph-onnx` pattern with a TABLE verdict and a cold importer. Semantics read from `AdaWorldAPI/tflite-micro` and `AdaWorldAPI/Rust`; neither linked. Specializes D-NAM-2 (#1780) and D-NAM-PZL (#1784).
 ## 2026-10-26 — DuckDB ↔ DR/Quack machine-room reuse → `.claude/plans/duckdb-dr-quack-machine-room-reuse-v1.md`
 
 **Status: M0 PROPOSAL / DOCS ONLY** (this draft PR). [Plan](../plans/duckdb-dr-quack-machine-room-reuse-v1.md). Extends the *existing* September `duckdb-to-v3-translation-matrix-v1.md`, rather than re-harvesting or porting DuckDB. Existing authority: Quack lowers; mask-risc executes; ndarray supplies SIMD peers; DR/D-DRAV own sealed global→local `u16` map, resident masks and optional independently accounted D-DRF facet cache. DuckDB's vector/dictionary/executor source is a read-only precedent, not a new ABI or compute owner.

diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md
@@ -1,3 +1,19 @@
+## D-TFLP — TFLite models on the native polyfill: int8 codes as Palette256 (2026-10-25)
+
+**Status: PROPOSAL, DOCS ONLY.** Plan: [d-tflp-tflite-palette-polyfill-capstone-v1.md](../plans/d-tflp-tflite-palette-polyfill-capstone-v1.md). Ledger: [2026-10-25-d-tflp-0-tflite-palette-polyfill.md](entries/2026-10-25-d-tflp-0-tflite-palette-polyfill.md). Specializes D-NAM-2 (#1780) and D-NAM-PZL (#1784); no executor, tensor IR or `Rel` variant.
+
+| D-id | scope | status | gate / falsifier |
+|---|---|---|---|
+| **D-TFLP-0** | capstone, asset map, board rows | Proposed, docs only | no code or ABI change |
+| **D-TFLP-1** | ndarray: gemmlowp `tanh`/`logistic`/`exp_on_negative_values` + 256-entry Tanh/Logistic tables | Queued (NOT RUN) | bit-identical to TFLM `tanh.h`/`logistic.h` over all 256 codes, ≥ 5 parameter sets; disable run red |
+| **D-TFLP-2** | ndarray: 65,536-entry ADD/MUL tables | Queued (NOT RUN) | bit-identical to `add.h`/`mul.h` over all pairs; disable run red |
+| **D-TFLP-3** | ndarray: FC/conv via bias fold + existing GEMM + `requantize_i32_to_i8` | Queued (NOT RUN) | bit-identical to `fully_connected.h`/`conv.h`; accumulator range for the model's k |
+| **D-TFLP-4** | ndarray: softmax diff-keyed exp table + row reduction | Queued (NOT RUN) | bit-identical to `reference/softmax.h` int8 path |
+| **D-TFLP-5** | lance-graph-tflite facade (ALIAS/INLINE/TABLE/REFUSE), cold importer, bind once | Queued (NOT RUN) | ndarray-only native dep; identity-keyed tables, never shape-keyed |
+| **D-TFLP-6** | op census on pinned real int8 models | Queued (NOT RUN) | per-model ops by verdict |
+| **D-TFLP-7** | one whole model end to end | Queued (NOT RUN) | output bit-identical to TFLM; load µs, memory, hot-path ns reported |
+| **D-TFLP-8** | domain-B Palette256:palette256 cosine tables (PZL-3) | Queued (NOT RUN) | PZL gates, EXO-132 k-hop closure |
+
 ## D-NAM — Native Algebra Methods × ONNX/TFLite/MLIR/SQL DTO crosswalk (2026-10-25)
 
 **Status:** D-NAM-0 **PROPOSAL / DOCUMENTATION ONLY**, draft capstone; D-NAM-1..5 engineering specs are **not implemented, approved, tested or merged**. [Capstone](../plans/d-nam-native-algebra-dto-capstone-v1.md); [Claude Code source-first handoff](../prompts/d-nam-native-dto-claude-code-handoff.md). [EXO-152](https://linear.app/exo-red/issue/EXO-152) is the plan record; [EXO-50](https://linear.app/exo-red/issue/EXO-50) append-only messages only.

diff --git a/.claude/board/entries/2026-10-25-d-tflp-0-tflite-palette-polyfill.md b/.claude/board/entries/2026-10-25-d-tflp-0-tflite-palette-polyfill.md
@@ -0,0 +1,22 @@
+# D-TFLP-0 — TFLite models on the native polyfill (capstone, docs only)
+
+**Status:** PROPOSAL / DOCUMENTATION ONLY. Plan:
+[d-tflp-tflite-palette-polyfill-capstone-v1.md](../plans/d-tflp-tflite-palette-polyfill-capstone-v1.md).
+Specializes D-NAM-2 (#1780) and D-NAM-PZL (#1784); no code, no ABI.
+
+- An int8 TFLite activation tensor is a Palette256 with affine decode
+  `scale · (q − zero_point)`. The TFLM int8 reference kernels compute each output code
+  from input codes and conversion-time parameters only (read in source: `integer_ops/
+  tanh.h`, `logistic.h:27`, `add.h:106-124`, `mul.h:36-41`).
+- So unary ops become 256-entry tables and pair ops 65,536-entry tables, bit-exact by
+  construction; chains are closed because TFLite requantizes to int8 between ops. The
+  EXO-129/EXO-132 closure gate stays on the separate cosine/PaletteZ domain.
+- Softmax: a table keyed by `x − max_row` plus one row reduction (`reference/softmax.h`).
+- FC/conv: weight zero point is 0 for per-channel kernels (`fully_connected.h:31`), so
+  `ia · Σw + bias` folds into a per-channel bias at load and the dot product runs on the
+  existing `gemm_u8_i8` / `matmul_i8_to_i32`, then `requantize_i32_to_i8` (#375).
+- Semantics are read from `AdaWorldAPI/tflite-micro` (@ `8f6596d`) and `AdaWorldAPI/Rust`
+  (TensorFlow 2.18.0 op definitions); neither is linked.
+
+**Open:** VNNI accumulator saturation variant, full-runtime vs TFLM kernel parity, target
+models. Stages D-TFLP-1..8 NOT RUN.
diff --git a/.claude/board/entries/README.md b/.claude/board/entries/README.md
@@ -25,7 +25,7 @@ index row, (3) no duplicate entry id. Checks 1 and 2 are deliberately
 opposite directions; the stranding this convention prevents shows up in
 exactly one of them, never both.
 
-475 entries, 2026-08-06 .. 2026-10-25.
+476 entries, 2026-08-06 .. 2026-10-25.
 
 | date | entry id | finding | file |
 |---|---|---|---|
@@ -37,6 +37,7 @@ exactly one of them, never both.
 | 2026-10-25 | `D-DRF-G-FACET` |  | [2026-10-25-drf-focuskey-facet.md](2026-10-25-drf-focuskey-facet.md) |
 | 2026-10-25 | `D-DRF-CHURN` |  | [2026-10-25-drf-churn-policy.md](2026-10-25-drf-churn-policy.md) |
 | 2026-10-25 | `D-DRAV-AV1` |  | [2026-10-25-drav-av1-membership.md](2026-10-25-drav-av1-membership.md) |
+| 2026-10-25 | `D-TFLP-0` |  | [2026-10-25-d-tflp-0-tflite-palette-polyfill.md](2026-10-25-d-tflp-0-tflite-palette-polyfill.md) |
 | 2026-10-25 | `D-DRAV-1` |  | [2026-10-25-d-drav-1-address-first-value-demand.md](2026-10-25-d-drav-1-address-first-value-demand.md) |
 | 2026-10-24 | `tanh-precision-symmetric-i8` |  | [2026-10-24-tanh-precision-symmetric-i8.md](2026-10-24-tanh-precision-symmetric-i8.md) |
 | 2026-10-24 | `D-DRF-P2` |  | [2026-10-24-drf-p2-breakeven.md](2026-10-24-drf-p2-breakeven.md) |