feat(stiefel): initial release of deepseek-v4-distill-pmtp (1,740 theorems, Stiefel manifold <= 1e-15)
636ba21 verified metadata
license: other
tags:
- polydim
- pmtp
- stiefel-manifold
- deepseek-v4
- einsof
base_model: deepseek-ai/DeepSeek-V4-Distill-32B
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_IDwith zero intermediate JSON/Markdown token tax.