{
  "model_type": "pmtp_stiefel_adapter",
  "model_name": "phi4_14b_PMTP_polydim_einsof",
  "clean_human_name": "phi4_14b_PMTP_polydim_einsof",
  "family": "Phi",
  "version_tag": "4",
  "size": "14B",
  "base_model": "microsoft/phi-4",
  "ollama_tag": "phi4:14b",
  "d_model": 5120,
  "canonical_dim": 2048,
  "weight_shape_linear": [
    2048,
    5120
  ],
  "dtype": "float64",
  "is_strict_isometry": false,
  "manifold": "Principal Subspace St(5120, 2048) on S^(2047)",
  "role": "Complex Algebraic & Synthetic Theorem Prover",
  "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": 4.264112618557192e-09,
  "stiefel_ortho_defect_frobenius": 1.0250986304320364e-06,
  "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:51:23Z"
}