| { | |
| "kind": "translation_failure_math", | |
| "built_utc": "2026-07-18T13:04:07.965942+00:00", | |
| "token": "unknown", | |
| "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.965942+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*)." | |
| } |