{
  "model_type": "pmtp_stiefel_adapter",
  "model_name": "qwen2.5_coder_1.5b_PMTP_polydim_einsof",
  "clean_human_name": "qwen2.5_coder_1.5b_PMTP_polydim_einsof",
  "family": "Qwen",
  "version_tag": "2.5-Coder",
  "size": "1.5B",
  "base_model": "Qwen/Qwen2.5-Coder-1.5B",
  "ollama_tag": "qwen2.5-coder:1.5b",
  "d_model": 1536,
  "canonical_dim": 1536,
  "weight_shape_linear": [
    1536,
    1536
  ],
  "dtype": "float64",
  "is_strict_isometry": true,
  "manifold": "Strict Orthogonal O(1536) on S^(1535)",
  "role": "Deep Proposer / Exact Algebraic Logic",
  "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.6653345369377348e-15,
  "stiefel_ortho_defect_frobenius": 3.991146098051403e-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:20Z"
}