{
  "model_type": "pmtp_stiefel_adapter",
  "model_name": "deepseek_r1_7b_PMTP_polydim_einsof",
  "clean_human_name": "deepseek_r1_7b_PMTP_polydim_einsof",
  "family": "DeepSeek-R1",
  "version_tag": "R1-Distill-Qwen",
  "size": "7B",
  "base_model": "deepseek-ai/DeepSeek-R1-Distill-Qwen-7B",
  "ollama_tag": "deepseek-r1:7b",
  "d_model": 3584,
  "canonical_dim": 2048,
  "weight_shape_linear": [
    2048,
    3584
  ],
  "dtype": "float64",
  "is_strict_isometry": false,
  "manifold": "Principal Subspace St(3584, 2048) on S^(2047)",
  "role": "High-Order Formal Proof Auditor",
  "turing_protocol": {
    "enabled": true,
    "parameter": "turing_depth",
    "aliases": [
      "turing_depth",
      "einsof_depth",
      "turing",
      "einsof"
    ],
    "range": [
      0,
      50
    ],
    "modes": {
      "0": "IDENTITY_BYPASS",
      "1": "FAST_REFLEX",
      "2_20": "RED_TEAM_DELIBERATION",
      "21_50": "DEEP_TURING_EXPLOSION"
    }
  },
  "stiefel_ortho_defect_max_fp64": 1.2212453270876722e-15,
  "stiefel_ortho_defect_frobenius": 4.186836241431837e-14,
  "theorems_trained_count": 1731,
  "pmtp_wire_version": 26505,
  "c_abi_version": 26503,
  "zero_worm_ipc": true,
  "author": "Ariel Garcia Traba (Independent Research | EinsofOS Initiative)",
  "license": "apache-2.0",
  "timestamp": "2026-10-20T20:49:27Z"
}