deepseek-v4-distill-pmtp (POLYDIM / PMTP Stiefel Manifold Adapter)

• Family: DeepSeek
• Base Model: deepseek-ai/DeepSeek-V4-Distill-32B
• Ollama Tag: deepseek-v4:distill
• Role: High-Order Formal Proof Auditor & MoE Theorem Prover
• License: DeepSeek Open Model License
• Author: Ariel García Traba (Independent Research / POLYDIM-EINSOF Research Initiative)
• Repository: https://github.com/AGT1973/POLYDIM_EINSOF

Architecture Specification

• Geometric Manifold: Principal Subspace St(5120, 2048) on S^(2047)
• Dimensions: $d_{\text{model}} = 5120 \to d_{\text{canonical}} = 2048$
• Stiefel Defect: 4.83e-09 (FP64 Neumaier Accumulator)
• Silicon Contract: Native C++20 / Rust 2024 / AVX2 / PmtpShmBus IEEE-754 FP64
• Theorems Integrated: 1,740 formal theorems from PostgreSQL 16 (polydim_vec_db)
• Zero-Worm Protocol: Continuous thought transfer via SLAB_ID with zero intermediate JSON/Markdown token tax.