{
  "model_type": "pmtp_stiefel_adapter",
  "model_name": "phi4_mini_3.8b_PMTP_polydim_einsof",
  "clean_human_name": "phi4_mini_3.8b_PMTP_polydim_einsof",
  "family": "Phi",
  "version_tag": "4-Mini",
  "size": "3.8B",
  "base_model": "microsoft/Phi-4-mini-instruct",
  "ollama_tag": "phi4-mini:3.8b",
  "d_model": 3072,
  "canonical_dim": 1024,
  "weight_shape_linear": [
    1024,
    3072
  ],
  "dtype": "float64",
  "is_strict_isometry": false,
  "manifold": "Principal Subspace St(3072, 1024) on S^(1023)",
  "role": "Compact Mathematical & Logic Engine",
  "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": 5.802148095312987e-09,
  "stiefel_ortho_defect_frobenius": 6.62500212900375e-07,
  "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:50:35Z"
}