{
  "kind": "translation_failure_math",
  "built_utc": "2026-07-18T13:04:07.973578+00:00",
  "token": "manibus",
  "meaning": "heritage_flow",
  "exact": false,
  "resolution": "inferred_fallback",
  "domain": "historical",
  "input_text": "zzzxq_unknown_token manibus",
  "pathway": {
    "formula": "S = K * (T1 + T2 + T3)",
    "domain": "historical",
    "inputs": {
      "N": 1.0,
      "P": 1.0,
      "D_eff": 21.0,
      "recent_hits": 0.0,
      "delta_psi": 0.8,
      "delta_theta": 1.0,
      "rho": 1.0,
      "scale": 1.0,
      "amplitude": 1.0,
      "trend_bias": 0.0,
      "observed": true
    },
    "panel": {
      "S": 0.6325783360136283,
      "T1": 0.5053444169211716,
      "T2": 1.0,
      "T3": 1.1592239677320022e-17,
      "K": 0.4202216641606967,
      "raw": 1.5053444169211716,
      "quirk_mod": -0.2451324643541674,
      "growth": 1.0002883913967908
    },
    "pathway": {
      "seeds": {
        "pi": 3.141592653589793,
        "e": 2.718281828459045,
        "phi": 1.618033988749895,
        "gamma": 0.5772156649015329,
        "G_cat": 0.915965594177219
      },
      "K": 0.4202216641606967,
      "T1_chain": {
        "growth": 1.0002883913967908,
        "np_sqrtD": 0.2182178902359924,
        "cos_psi": -0.9972206636464496,
        "exp_damp": 5.105674834753695,
        "coh_term": 1.9579783956964847,
        "base": -2.175417759137669,
        "d_scale": 0.9476412808952326,
        "quirk_mod": -0.2451324643541674,
        "T1": 0.5053444169211716
      },
      "T2": 1.0,
      "T3_chain": {
        "chaos_mod": 1.052963869217677,
        "poof_mod": 0.8951370105132859,
        "valve": 3.755677536772331e-18,
        "acoustic": 1.7589044180776872,
        "phase": 1.7548371324290235,
        "T3": 1.1592239677320022e-17
      },
      "combine": {
        "raw": 1.5053444169211716,
        "S": 0.6325783360136283
      }
    },
    "layer_counts": {
      "seed": 5,
      "L1": 6,
      "L2": 13,
      "input": 8,
      "T1": 9,
      "T2": 1,
      "T3": 6,
      "combine": 2
    }
  },
  "layers": {
    "seed": [
      {
        "id": "pi",
        "name": "π",
        "expr": "Pi",
        "value": 3.141592653589793,
        "notes": ""
      },
      {
        "id": "e",
        "name": "e",
        "expr": "E",
        "value": 2.718281828459045,
        "notes": ""
      },
      {
        "id": "phi",
        "name": "φ golden ratio",
        "expr": "(1+Sqrt[5])/2",
        "value": 1.618033988749895,
        "notes": ""
      },
      {
        "id": "gamma",
        "name": "γ Euler-Mascheroni",
        "expr": "EulerGamma",
        "value": 0.5772156649015329,
        "notes": ""
      },
      {
        "id": "G_cat",
        "name": "G Catalan",
        "expr": "Catalan",
        "value": 0.915965594177219,
        "notes": ""
      }
    ],
    "L1": [
      {
        "id": "alpha",
        "name": "α damping",
        "expr": "Log[π]/(e·φ^13)",
        "value": 0.0008082937414140405,
        "notes": ""
      },
      {
        "id": "psi_con",
        "name": "ψ_con consciousness baseline",
        "expr": "1-1/e",
        "value": 0.6321205588285577,
        "notes": ""
      },
      {
        "id": "eta_eff",
        "name": "η_eff efficiency",
        "expr": "1/(π-1)",
        "value": 0.46694220692425986,
        "notes": ""
      },
      {
        "id": "beta",
        "name": "β perturbation",
        "expr": "Exp[-(π^π+(e-1))]",
        "value": 2.620866911333223e-17,
        "notes": ""
      },
      {
        "id": "gamma_c",
        "name": "γ_c perception damping",
        "expr": "-Log[2]/φ",
        "value": -0.4283885167922066,
        "notes": ""
      },
      {
        "id": "omega",
        "name": "ω oscillation",
        "expr": "Sin[π/e]·√2",
        "value": 1.2941305780559662,
        "notes": ""
      }
    ],
    "L2": [
      {
        "id": "theta_s",
        "name": "θ_s phase",
        "expr": "Sin[ψ_con·η_eff]",
        "value": 0.29089654054517305,
        "notes": ""
      },
      {
        "id": "poof",
        "name": "poof / tunnel factor",
        "expr": "Exp[(-Log[π]/e)/(η_eff·Log[φ])]",
        "value": 0.1534822148944508,
        "notes": ""
      },
      {
        "id": "c_eff",
        "name": "coherence efficiency",
        "expr": "(1-poof·Sin[θ_s])·(1+0.01·G/(π·φ))",
        "value": 0.9577022026205613,
        "notes": ""
      },
      {
        "id": "a_bleed",
        "name": "acoustic bleed",
        "expr": "Sin[π/e]·φ/√2",
        "value": 1.046973630587551,
        "notes": ""
      },
      {
        "id": "p_var",
        "name": "phase variance",
        "expr": "-Cos[θ_s+π]",
        "value": 0.9579871226722757,
        "notes": ""
      },
      {
        "id": "b_in",
        "name": "bleed-in factor",
        "expr": "c_eff·(1-Sin[θ_s]/φ)",
        "value": 0.7879407922764435,
        "notes": ""
      },
      {
        "id": "a_in",
        "name": "acoustic inflow",
        "expr": "a_bleed·(1+Cos[θ_s]/φ)",
        "value": 1.6668538450045731,
        "notes": ""
      },
      {
        "id": "suction",
        "name": "suction factor",
        "expr": "poof·(-Cos[θ_s-π])",
        "value": 0.14703398542810284,
        "notes": ""
      },
      {
        "id": "chaos",
        "name": "chaos factor",
        "expr": "γ_c/ω",
        "value": -0.33102418261048183,
        "notes": ""
      },
      {
        "id": "p_base",
        "name": "perceived param base",
        "expr": "γ/e",
        "value": 0.21234577623937842,
        "notes": ""
      },
      {
        "id": "p_new",
        "name": "new perceived param",
        "expr": "p_base·√2",
        "value": 0.30030227667037146,
        "notes": ""
      },
      {
        "id": "c_factor",
        "name": "consciousness factor",
        "expr": "c_eff·p_new",
        "value": 0.28760015181918397,
        "notes": ""
      },
      {
        "id": "K",
        "name": "universal scale K",
        "expr": "φ·(γ/e)·√2/Log[π]·0.99",
        "value": 0.4202216641606967,
        "notes": "≈0.4202"
      }
    ],
    "input": [
      {
        "id": "N",
        "name": "N agents/tokens",
        "expr": "N",
        "value": 1.0,
        "notes": ""
      },
      {
        "id": "P",
        "name": "P pressure/priority",
        "expr": "P",
        "value": 1.0,
        "notes": ""
      },
      {
        "id": "D_eff",
        "name": "effective dimension",
        "expr": "D_eff",
        "value": 21.0,
        "notes": "domain=historical"
      },
      {
        "id": "recent_hits",
        "name": "recent hits",
        "expr": "recent_hits",
        "value": 0.0,
        "notes": ""
      },
      {
        "id": "delta_psi",
        "name": "Δψ phase drive",
        "expr": "delta_psi",
        "value": 0.8,
        "notes": ""
      },
      {
        "id": "delta_theta",
        "name": "Δθ angle drive",
        "expr": "delta_theta",
        "value": 1.0,
        "notes": ""
      },
      {
        "id": "rho",
        "name": "ρ density",
        "expr": "rho",
        "value": 1.0,
        "notes": ""
      },
      {
        "id": "observed",
        "name": "observer flag",
        "expr": "observed",
        "value": 1.0,
        "notes": ""
      }
    ],
    "T1": [
      {
        "id": "growth",
        "name": "growth term",
        "expr": "Exp[α·(1-hits/N)·γ/φ]",
        "value": 1.0002883913967908,
        "notes": ""
      },
      {
        "id": "np_sqrtD",
        "name": "N·P/√D_eff",
        "expr": "N*P/Sqrt[D_eff]",
        "value": 0.2182178902359924,
        "notes": ""
      },
      {
        "id": "cos_psi",
        "name": "cos((ψ_con+Δψ)/η_eff)",
        "expr": "Cos[(ψ_con+Δψ)/η_eff]",
        "value": -0.9972206636464496,
        "notes": ""
      },
      {
        "id": "exp_damp",
        "name": "exp(-α·hits/N + ρ + b_in·Δψ)",
        "expr": "Exp[-α*hits/N + ρ + b_in*Δψ]",
        "value": 5.105674834753695,
        "notes": ""
      },
      {
        "id": "coh_term",
        "name": "1+growth·c_eff",
        "expr": "1+growth*c_eff",
        "value": 1.9579783956964847,
        "notes": ""
      },
      {
        "id": "base",
        "name": "T1 base (pre D-scale)",
        "expr": "np_sqrtD*cos*exp*coh",
        "value": -2.175417759137669,
        "notes": ""
      },
      {
        "id": "d_scale",
        "name": "1+p_new·ln(D/25)",
        "expr": "1+p_new*Log[D/25]",
        "value": 0.9476412808952326,
        "notes": ""
      },
      {
        "id": "quirk_mod",
        "name": "observer quirk_mod",
        "expr": "Exp[c_factor*p_var]*Cos[Δψ+p_var]",
        "value": -0.2451324643541674,
        "notes": "applied only when observed=True"
      },
      {
        "id": "T1",
        "name": "T1 term",
        "expr": "base*d_scale*quirk_mod",
        "value": 0.5053444169211716,
        "notes": ""
      }
    ],
    "T2": [
      {
        "id": "T2",
        "name": "T2 term",
        "expr": "scale*amplitude + trend_bias",
        "value": 1.0,
        "notes": ""
      }
    ],
    "T3": [
      {
        "id": "chaos_mod",
        "name": "1+chaos·(D-25)/25",
        "expr": "1+chaos*(D-25)/25",
        "value": 1.052963869217677,
        "notes": ""
      },
      {
        "id": "poof_mod",
        "name": "1+poof·Cos[θ_s+π]+suction·Sin[θ_s]",
        "expr": "1+poof*Cos[θs+π]+suction*Sin[θs]",
        "value": 0.8951370105132859,
        "notes": ""
      },
      {
        "id": "valve",
        "name": "β·Cos[Δψ]·(N P/√D)·chaos·poof",
        "expr": "valve",
        "value": 3.755677536772331e-18,
        "notes": ""
      },
      {
        "id": "acoustic",
        "name": "1+(a_bleed·Sin²Δθ)/φ+(a_in·Cos²Δθ)/φ",
        "expr": "acoustic",
        "value": 1.7589044180776872,
        "notes": ""
      },
      {
        "id": "phase",
        "name": "1+b_in·p_var",
        "expr": "1+b_in*p_var",
        "value": 1.7548371324290235,
        "notes": ""
      },
      {
        "id": "T3",
        "name": "T3 term",
        "expr": "valve*acoustic*phase",
        "value": 1.1592239677320022e-17,
        "notes": ""
      }
    ],
    "combine": [
      {
        "id": "raw",
        "name": "T1+T2+T3",
        "expr": "T1+T2+T3",
        "value": 1.5053444169211716,
        "notes": ""
      },
      {
        "id": "S",
        "name": "FSOT coherence scalar",
        "expr": "K*(T1+T2+T3)",
        "value": 0.6325783360136283,
        "notes": "final"
      }
    ]
  },
  "math_full": {
    "built_utc": "2026-07-18T13:04:07.973578+00:00",
    "domain": "historical",
    "formula": "S = K * (T1 + T2 + T3)",
    "authority": "PFLT_FSOT_2_1_aligned + FSOT.Scalar.lean / NeuroLab",
    "inputs": {
      "N": 1.0,
      "P": 1.0,
      "D_eff": 21.0,
      "recent_hits": 0.0,
      "delta_psi": 0.8,
      "delta_theta": 1.0,
      "rho": 1.0,
      "scale": 1.0,
      "amplitude": 1.0,
      "trend_bias": 0.0,
      "observed": true
    },
    "panel": {
      "S": 0.6325783360136283,
      "T1": 0.5053444169211716,
      "T2": 1.0,
      "T3": 1.1592239677320022e-17,
      "K": 0.4202216641606967,
      "raw": 1.5053444169211716,
      "quirk_mod": -0.2451324643541674,
      "growth": 1.0002883913967908
    },
    "steps": [
      {
        "id": "pi",
        "name": "π",
        "expr": "Pi",
        "value": 3.141592653589793,
        "layer": "seed",
        "notes": ""
      },
      {
        "id": "e",
        "name": "e",
        "expr": "E",
        "value": 2.718281828459045,
        "layer": "seed",
        "notes": ""
      },
      {
        "id": "phi",
        "name": "φ golden ratio",
        "expr": "(1+Sqrt[5])/2",
        "value": 1.618033988749895,
        "layer": "seed",
        "notes": ""
      },
      {
        "id": "gamma",
        "name": "γ Euler-Mascheroni",
        "expr": "EulerGamma",
        "value": 0.5772156649015329,
        "layer": "seed",
        "notes": ""
      },
      {
        "id": "G_cat",
        "name": "G Catalan",
        "expr": "Catalan",
        "value": 0.915965594177219,
        "layer": "seed",
        "notes": ""
      },
      {
        "id": "alpha",
        "name": "α damping",
        "expr": "Log[π]/(e·φ^13)",
        "value": 0.0008082937414140405,
        "layer": "L1",
        "notes": ""
      },
      {
        "id": "psi_con",
        "name": "ψ_con consciousness baseline",
        "expr": "1-1/e",
        "value": 0.6321205588285577,
        "layer": "L1",
        "notes": ""
      },
      {
        "id": "eta_eff",
        "name": "η_eff efficiency",
        "expr": "1/(π-1)",
        "value": 0.46694220692425986,
        "layer": "L1",
        "notes": ""
      },
      {
        "id": "beta",
        "name": "β perturbation",
        "expr": "Exp[-(π^π+(e-1))]",
        "value": 2.620866911333223e-17,
        "layer": "L1",
        "notes": ""
      },
      {
        "id": "gamma_c",
        "name": "γ_c perception damping",
        "expr": "-Log[2]/φ",
        "value": -0.4283885167922066,
        "layer": "L1",
        "notes": ""
      },
      {
        "id": "omega",
        "name": "ω oscillation",
        "expr": "Sin[π/e]·√2",
        "value": 1.2941305780559662,
        "layer": "L1",
        "notes": ""
      },
      {
        "id": "theta_s",
        "name": "θ_s phase",
        "expr": "Sin[ψ_con·η_eff]",
        "value": 0.29089654054517305,
        "layer": "L2",
        "notes": ""
      },
      {
        "id": "poof",
        "name": "poof / tunnel factor",
        "expr": "Exp[(-Log[π]/e)/(η_eff·Log[φ])]",
        "value": 0.1534822148944508,
        "layer": "L2",
        "notes": ""
      },
      {
        "id": "c_eff",
        "name": "coherence efficiency",
        "expr": "(1-poof·Sin[θ_s])·(1+0.01·G/(π·φ))",
        "value": 0.9577022026205613,
        "layer": "L2",
        "notes": ""
      },
      {
        "id": "a_bleed",
        "name": "acoustic bleed",
        "expr": "Sin[π/e]·φ/√2",
        "value": 1.046973630587551,
        "layer": "L2",
        "notes": ""
      },
      {
        "id": "p_var",
        "name": "phase variance",
        "expr": "-Cos[θ_s+π]",
        "value": 0.9579871226722757,
        "layer": "L2",
        "notes": ""
      },
      {
        "id": "b_in",
        "name": "bleed-in factor",
        "expr": "c_eff·(1-Sin[θ_s]/φ)",
        "value": 0.7879407922764435,
        "layer": "L2",
        "notes": ""
      },
      {
        "id": "a_in",
        "name": "acoustic inflow",
        "expr": "a_bleed·(1+Cos[θ_s]/φ)",
        "value": 1.6668538450045731,
        "layer": "L2",
        "notes": ""
      },
      {
        "id": "suction",
        "name": "suction factor",
        "expr": "poof·(-Cos[θ_s-π])",
        "value": 0.14703398542810284,
        "layer": "L2",
        "notes": ""
      },
      {
        "id": "chaos",
        "name": "chaos factor",
        "expr": "γ_c/ω",
        "value": -0.33102418261048183,
        "layer": "L2",
        "notes": ""
      },
      {
        "id": "p_base",
        "name": "perceived param base",
        "expr": "γ/e",
        "value": 0.21234577623937842,
        "layer": "L2",
        "notes": ""
      },
      {
        "id": "p_new",
        "name": "new perceived param",
        "expr": "p_base·√2",
        "value": 0.30030227667037146,
        "layer": "L2",
        "notes": ""
      },
      {
        "id": "c_factor",
        "name": "consciousness factor",
        "expr": "c_eff·p_new",
        "value": 0.28760015181918397,
        "layer": "L2",
        "notes": ""
      },
      {
        "id": "K",
        "name": "universal scale K",
        "expr": "φ·(γ/e)·√2/Log[π]·0.99",
        "value": 0.4202216641606967,
        "layer": "L2",
        "notes": "≈0.4202"
      },
      {
        "id": "N",
        "name": "N agents/tokens",
        "expr": "N",
        "value": 1.0,
        "layer": "input",
        "notes": ""
      },
      {
        "id": "P",
        "name": "P pressure/priority",
        "expr": "P",
        "value": 1.0,
        "layer": "input",
        "notes": ""
      },
      {
        "id": "D_eff",
        "name": "effective dimension",
        "expr": "D_eff",
        "value": 21.0,
        "layer": "input",
        "notes": "domain=historical"
      },
      {
        "id": "recent_hits",
        "name": "recent hits",
        "expr": "recent_hits",
        "value": 0.0,
        "layer": "input",
        "notes": ""
      },
      {
        "id": "delta_psi",
        "name": "Δψ phase drive",
        "expr": "delta_psi",
        "value": 0.8,
        "layer": "input",
        "notes": ""
      },
      {
        "id": "delta_theta",
        "name": "Δθ angle drive",
        "expr": "delta_theta",
        "value": 1.0,
        "layer": "input",
        "notes": ""
      },
      {
        "id": "rho",
        "name": "ρ density",
        "expr": "rho",
        "value": 1.0,
        "layer": "input",
        "notes": ""
      },
      {
        "id": "observed",
        "name": "observer flag",
        "expr": "observed",
        "value": 1.0,
        "layer": "input",
        "notes": ""
      },
      {
        "id": "growth",
        "name": "growth term",
        "expr": "Exp[α·(1-hits/N)·γ/φ]",
        "value": 1.0002883913967908,
        "layer": "T1",
        "notes": ""
      },
      {
        "id": "np_sqrtD",
        "name": "N·P/√D_eff",
        "expr": "N*P/Sqrt[D_eff]",
        "value": 0.2182178902359924,
        "layer": "T1",
        "notes": ""
      },
      {
        "id": "cos_psi",
        "name": "cos((ψ_con+Δψ)/η_eff)",
        "expr": "Cos[(ψ_con+Δψ)/η_eff]",
        "value": -0.9972206636464496,
        "layer": "T1",
        "notes": ""
      },
      {
        "id": "exp_damp",
        "name": "exp(-α·hits/N + ρ + b_in·Δψ)",
        "expr": "Exp[-α*hits/N + ρ + b_in*Δψ]",
        "value": 5.105674834753695,
        "layer": "T1",
        "notes": ""
      },
      {
        "id": "coh_term",
        "name": "1+growth·c_eff",
        "expr": "1+growth*c_eff",
        "value": 1.9579783956964847,
        "layer": "T1",
        "notes": ""
      },
      {
        "id": "base",
        "name": "T1 base (pre D-scale)",
        "expr": "np_sqrtD*cos*exp*coh",
        "value": -2.175417759137669,
        "layer": "T1",
        "notes": ""
      },
      {
        "id": "d_scale",
        "name": "1+p_new·ln(D/25)",
        "expr": "1+p_new*Log[D/25]",
        "value": 0.9476412808952326,
        "layer": "T1",
        "notes": ""
      },
      {
        "id": "quirk_mod",
        "name": "observer quirk_mod",
        "expr": "Exp[c_factor*p_var]*Cos[Δψ+p_var]",
        "value": -0.2451324643541674,
        "layer": "T1",
        "notes": "applied only when observed=True"
      },
      {
        "id": "T1",
        "name": "T1 term",
        "expr": "base*d_scale*quirk_mod",
        "value": 0.5053444169211716,
        "layer": "T1",
        "notes": ""
      },
      {
        "id": "T2",
        "name": "T2 term",
        "expr": "scale*amplitude + trend_bias",
        "value": 1.0,
        "layer": "T2",
        "notes": ""
      },
      {
        "id": "chaos_mod",
        "name": "1+chaos·(D-25)/25",
        "expr": "1+chaos*(D-25)/25",
        "value": 1.052963869217677,
        "layer": "T3",
        "notes": ""
      },
      {
        "id": "poof_mod",
        "name": "1+poof·Cos[θ_s+π]+suction·Sin[θ_s]",
        "expr": "1+poof*Cos[θs+π]+suction*Sin[θs]",
        "value": 0.8951370105132859,
        "layer": "T3",
        "notes": ""
      },
      {
        "id": "valve",
        "name": "β·Cos[Δψ]·(N P/√D)·chaos·poof",
        "expr": "valve",
        "value": 3.755677536772331e-18,
        "layer": "T3",
        "notes": ""
      },
      {
        "id": "acoustic",
        "name": "1+(a_bleed·Sin²Δθ)/φ+(a_in·Cos²Δθ)/φ",
        "expr": "acoustic",
        "value": 1.7589044180776872,
        "layer": "T3",
        "notes": ""
      },
      {
        "id": "phase",
        "name": "1+b_in·p_var",
        "expr": "1+b_in*p_var",
        "value": 1.7548371324290235,
        "layer": "T3",
        "notes": ""
      },
      {
        "id": "T3",
        "name": "T3 term",
        "expr": "valve*acoustic*phase",
        "value": 1.1592239677320022e-17,
        "layer": "T3",
        "notes": ""
      },
      {
        "id": "raw",
        "name": "T1+T2+T3",
        "expr": "T1+T2+T3",
        "value": 1.5053444169211716,
        "layer": "combine",
        "notes": ""
      },
      {
        "id": "S",
        "name": "FSOT coherence scalar",
        "expr": "K*(T1+T2+T3)",
        "value": 0.6325783360136283,
        "layer": "combine",
        "notes": "final"
      }
    ]
  },
  "formal_cross_verify": {
    "golden": "C:\\Users\\damia\\Desktop\\pflt\\formal\\golden_fsot_pflt.json",
    "lab_parity": "C:\\Users\\damia\\Desktop\\gpu exparment for lean coq isabell andf star\\parity\\golden.json",
    "lean_hint": "C:\\Users\\damia\\Desktop\\FSOT-2.1-Lean",
    "coq_hint": "C:\\Users\\damia\\Desktop\\gpu exparment for lean coq isabell andf star\\phase1_formal_gpu\\coq",
    "isabelle_hint": "C:\\Users\\damia\\Desktop\\gpu exparment for lean coq isabell andf star\\phase1_formal_gpu\\isabelle",
    "fstar_hint": "C:\\Users\\damia\\Desktop\\gpu exparment for lean coq isabell andf star\\phase1_formal_gpu\\fstar",
    "mathematica": "C:\\Users\\damia\\Desktop\\pflt\\mathematica\\trace_historical.wl",
    "usage": "1) FSOTDiff[] in Mathematica should be ~0 vs Python panel. 2) Assert |S_formal - S_golden| < eps against formal/golden_fsot_pflt.json in Lean / Coq / Isabelle / F* runners."
  },
  "note": "Microscope over S=K(T1+T2+T3) for the routed domain. Cross-verify seeds/K against lab golden + formal backends (Isabelle, Coq, Lean, F*)."
}