🧠 D: DOCUMENT — Problem & Opportunity

Besides missing ops and layers (which carry @NotImplemented and show in the coverage matrix), production code still has NotImplementedError / TODO() stubs in loaders, platform actuals and DSL corners. They are listed with their reason in config/stub-allowlist.txt, and ./gradlew checkUnmarkedStubs (CI leg stub-markers) keeps the list honest: closing one means deleting or lowering its allowlist entry.

Summary: an umbrella for small, independent fixes, each a self-contained first contribution or a well-scoped help-wanted task.

🔍 A: ASSESS — Feasibility & Impact

Each lane is independent and small to medium. Larger items that change public API or DSL semantics are not here — they need a SKEEP first (mixed-precision dense<T>()/stage<T>(), TensorStorage.repackTo / requantization).

📚 R: RESEARCH — What Must Be Understood First?

• None

🛠️ C: CODE — Implementation Plan

• One lane per stub

Acceptance Criteria

• Every lane removes or lowers its config/stub-allowlist.txt entry

Lane breakdown

• [Lane 2 · kotlin-core] NotImplemented stubs — Tensor.sliceCopy {} via CopyMaterializationStrategy #1415 — [Lane 2 · kotlin-core] Tensor.sliceCopy {} via CopyMaterializationStrategy (size:s, good first issue)
• [Lane 2 · kotlin-core] NotImplemented stubs — SlicedTensorView.set for rank > 4 #1416 — [Lane 2 · kotlin-core] SlicedTensorView.set for rank > 4 (size:s, good first issue)
• [Lane 2 · kotlin-core] NotImplemented stubs — remove or implement TensorDefineDslImpl.create() #1417 — [Lane 2 · kotlin-core] remove or implement TensorDefineDslImpl.create() (size:xs, good first issue)
• [Lane 2 · kotlin-core] NotImplemented stubs — Markdown output for the operator docs generator #1418 — [Lane 2 · kotlin-core] Markdown output for the operator docs generator (size:s, good first issue)
• [Lane 2 · kotlin-core] NotImplemented stubs — ConstantByteSerializer: FP16 / BF16 / I8 external parameters #1419 — [Lane 2 · kotlin-core] ConstantByteSerializer: FP16 / BF16 / I8 external parameters (size:s)
• [Lane 2 · native] NotImplemented stubs — compile-json writeExportToFile on Kotlin/Native and JS/Wasm #1420 — [Lane 2 · native] compile-json writeExportToFile on Kotlin/Native and JS/Wasm (size:s)
• [Lane 2 · kotlin-core] NotImplemented stubs — convTranspose1d for non-FP32 dtypes on CPU #1421 — [Lane 2 · kotlin-core] convTranspose1d for non-FP32 dtypes on CPU (size:s)
• [Lane 2 · kotlin-core] NotImplemented stubs — IRPA files larger than 2 GiB (multi-window mmap) #1422 — [Lane 2 · kotlin-core] IRPA files larger than 2 GiB (multi-window mmap) (size:s)
• [Lane 2 · native] NotImplemented stubs — IRPA FileBacked transfer on Kotlin/Native #1423 — [Lane 2 · native] IRPA FileBacked transfer on Kotlin/Native (size:m)
• [Lane 2 · native] NotImplemented stubs — gzip/tar extraction for MNIST and CIFAR-10 on native and browser targets #1424 — [Lane 2 · native] gzip/tar extraction for MNIST and CIFAR-10 on native and browser targets (size:m)
• [Lane 2 · native] NotImplemented stubs — BLAS acceleration on the JVM CPU backend #1425 — [Lane 2 · native] BLAS acceleration on the JVM CPU backend (size:m)

Lane 2 only; review happens in each PR.

New here? Read Getting started as a contributor and the Issue taxonomy. Lanes marked good first issue assume no prior SKaiNET codebase knowledge. The gap markers and the coverage matrix were introduced in #1370.