record(ENG-RECORD-CONFLICT-SURFACES): retire eleven dangling checker-line citations, five to symbol anchors and six to retirement prose

.agents/claims/CLAIM-MODEL-DSV4-EXL3.md

@@ -2,4 +2,4 @@
 
 | Claim | Row IDs | Agent | Worktree / remote dir | Branch | Owned scope | State | Last update |
 |---|---|---|---|---|---|---|---|
-| `CLAIM-MODEL-DSV4-EXL3` | `MODEL-DSV4-EXL3` (`ACTIVE`) | Claude Code (fable-5), helper role for W2a + W2b (the CUDA kernels). **This cell records what `scripts/agent-role.py show` reports for the row (`role=helper row=MODEL-DSV4-EXL3 branch=row/MODEL-DSV4-EXL3`), not an operator identity — no operator claim for this row was recorded anywhere this file could read.** A coordinator holding the row from another checkout owns correcting the Agent and Worktree cells; nothing else in this row depends on them | worktree `/home/mudler/.cache/sdd/mudler-vllm.cpp/dsv4-w2` (CPU-only build, `-DVLLM_CPP_CUDA=OFF -DVLLM_CPP_SERVER=OFF`); the shared checkout is untouched | `row/MODEL-DSV4-EXL3-W2`, issue [#1875](https://github.com/mudler/vllm.cpp/issues/1875) | Owns: `.agents/specs/model-dsv4-exl3.md`; the `MODEL-DSV4-EXL3` row in `.agents/kernel-matrix.md`; `src/vt/cpu/cpu_exl3_dequant.cpp` + `tests/vt/test_exl3_dequant.cpp` (W1a); the EXL3 arm of `src/vllm/model_executor/models/deepseek_v4_weights.cpp` + `include/vllm/model_executor/models/deepseek_v4.h` + `tests/vllm/models/test_deepseek_v4_exl3_loader.cpp` (W1b). W2 EXTENDS that scope to `include/vt/ops.h` (the two new OpIds and their contracts), `src/vt/ops.cpp` (their dispatch), `src/vt/exl3_policy.cpp`, `src/vt/cpu/cpu_exl3_kernels.cpp`, `src/vt/cuda/cuda_exl3.cu`, the `OpName` entries in `src/vt/op_provider.cpp`, the EXL3 arm of `MoeBlock` + `Exl3Linear` + the `Forward` dispatch in `src/vllm/model_executor/models/deepseek_v4.cpp`, `tests/vt/test_exl3_gemm.cpp`, `tests/vllm/models/test_deepseek_v4_exl3_forward.cpp`, the EXL3 row of `docs/FEATURES.md` and the two `tests/CMakeLists.txt` registration lines those suites need. EXCLUDES: `.agents/oracles/exllamav3.md` and any oracle-table edit (W3a), and `tests/CMakeLists.txt` (the surface [#1883](https://github.com/mudler/vllm.cpp/issues/1883) names, which no row owns) | `ACTIVE` | 2026-08-25 — W2a + W2b landed (the two vt ops, the CPU arm, the CUDA port, the host shape policy, and the wiring that makes the tower reachable from `DeepseekV4Model::Forward`). The CUDA translation unit has been compiled by NOBODY: no `nvcc` on this host and `dgx.casa` down since 03:24Z, so every device measurement is `PENDING` with its command in the spec's `## W2 design` §5. Previously 2026-08-24 — W1a and W1b landed; the fresh review returned `PASS` with six MINOR findings and two NITs and the repair for all eight landed. This file exists because moving the matrix row from `READY` to `ACTIVE` (the review's F2) makes a `CLAIM-*` owner mechanically required by `scripts/check-agent-record.py:1785`, and the row had none. Next: W1c (dequant-to-bf16 fallback so the tower EXECUTES), then W2. |
+| `CLAIM-MODEL-DSV4-EXL3` | `MODEL-DSV4-EXL3` (`ACTIVE`) | Claude Code (fable-5), helper role for W2a + W2b (the CUDA kernels). **This cell records what `scripts/agent-role.py show` reports for the row (`role=helper row=MODEL-DSV4-EXL3 branch=row/MODEL-DSV4-EXL3`), not an operator identity — no operator claim for this row was recorded anywhere this file could read.** A coordinator holding the row from another checkout owns correcting the Agent and Worktree cells; nothing else in this row depends on them | worktree `/home/mudler/.cache/sdd/mudler-vllm.cpp/dsv4-w2` (CPU-only build, `-DVLLM_CPP_CUDA=OFF -DVLLM_CPP_SERVER=OFF`); the shared checkout is untouched | `row/MODEL-DSV4-EXL3-W2`, issue [#1875](https://github.com/mudler/vllm.cpp/issues/1875) | Owns: `.agents/specs/model-dsv4-exl3.md`; the `MODEL-DSV4-EXL3` row in `.agents/kernel-matrix.md`; `src/vt/cpu/cpu_exl3_dequant.cpp` + `tests/vt/test_exl3_dequant.cpp` (W1a); the EXL3 arm of `src/vllm/model_executor/models/deepseek_v4_weights.cpp` + `include/vllm/model_executor/models/deepseek_v4.h` + `tests/vllm/models/test_deepseek_v4_exl3_loader.cpp` (W1b). W2 EXTENDS that scope to `include/vt/ops.h` (the two new OpIds and their contracts), `src/vt/ops.cpp` (their dispatch), `src/vt/exl3_policy.cpp`, `src/vt/cpu/cpu_exl3_kernels.cpp`, `src/vt/cuda/cuda_exl3.cu`, the `OpName` entries in `src/vt/op_provider.cpp`, the EXL3 arm of `MoeBlock` + `Exl3Linear` + the `Forward` dispatch in `src/vllm/model_executor/models/deepseek_v4.cpp`, `tests/vt/test_exl3_gemm.cpp`, `tests/vllm/models/test_deepseek_v4_exl3_forward.cpp`, the EXL3 row of `docs/FEATURES.md` and the two `tests/CMakeLists.txt` registration lines those suites need. EXCLUDES: `.agents/oracles/exllamav3.md` and any oracle-table edit (W3a), and `tests/CMakeLists.txt` (the surface [#1883](https://github.com/mudler/vllm.cpp/issues/1883) names, which no row owns) | `ACTIVE` | 2026-08-25 — W2a + W2b landed (the two vt ops, the CPU arm, the CUDA port, the host shape policy, and the wiring that makes the tower reachable from `DeepseekV4Model::Forward`). The CUDA translation unit has been compiled by NOBODY: no `nvcc` on this host and `dgx.casa` down since 03:24Z, so every device measurement is `PENDING` with its command in the spec's `## W2 design` §5. Previously 2026-08-24 — W1a and W1b landed; the fresh review returned `PASS` with six MINOR findings and two NITs and the repair for all eight landed. This file exists because moving the matrix row from `READY` to `ACTIVE` (the review's F2) makes a `CLAIM-*` owner mechanically required by `scripts/check-agent-record.py::check_row_contracts`, and the row had none. Next: W1c (dequant-to-bf16 fallback so the tower EXECUTES), then W2. |