pflt-fsot / data /math_microscope /trace_historical.json
dappalumbo91's picture
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
1c6f7c7 verified
Raw
History Blame Contribute Delete
10.4 kB
{
"built_utc": "2026-07-18T13:04:07.540418+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": "\u03c0",
"expr": "Pi",
"value": 3.141592653589793,
"layer": "seed",
"notes": ""
},
{
"id": "e",
"name": "e",
"expr": "E",
"value": 2.718281828459045,
"layer": "seed",
"notes": ""
},
{
"id": "phi",
"name": "\u03c6 golden ratio",
"expr": "(1+Sqrt[5])/2",
"value": 1.618033988749895,
"layer": "seed",
"notes": ""
},
{
"id": "gamma",
"name": "\u03b3 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": "\u03b1 damping",
"expr": "Log[\u03c0]/(e\u00b7\u03c6^13)",
"value": 0.0008082937414140405,
"layer": "L1",
"notes": ""
},
{
"id": "psi_con",
"name": "\u03c8_con consciousness baseline",
"expr": "1-1/e",
"value": 0.6321205588285577,
"layer": "L1",
"notes": ""
},
{
"id": "eta_eff",
"name": "\u03b7_eff efficiency",
"expr": "1/(\u03c0-1)",
"value": 0.46694220692425986,
"layer": "L1",
"notes": ""
},
{
"id": "beta",
"name": "\u03b2 perturbation",
"expr": "Exp[-(\u03c0^\u03c0+(e-1))]",
"value": 2.620866911333223e-17,
"layer": "L1",
"notes": ""
},
{
"id": "gamma_c",
"name": "\u03b3_c perception damping",
"expr": "-Log[2]/\u03c6",
"value": -0.4283885167922066,
"layer": "L1",
"notes": ""
},
{
"id": "omega",
"name": "\u03c9 oscillation",
"expr": "Sin[\u03c0/e]\u00b7\u221a2",
"value": 1.2941305780559662,
"layer": "L1",
"notes": ""
},
{
"id": "theta_s",
"name": "\u03b8_s phase",
"expr": "Sin[\u03c8_con\u00b7\u03b7_eff]",
"value": 0.29089654054517305,
"layer": "L2",
"notes": ""
},
{
"id": "poof",
"name": "poof / tunnel factor",
"expr": "Exp[(-Log[\u03c0]/e)/(\u03b7_eff\u00b7Log[\u03c6])]",
"value": 0.1534822148944508,
"layer": "L2",
"notes": ""
},
{
"id": "c_eff",
"name": "coherence efficiency",
"expr": "(1-poof\u00b7Sin[\u03b8_s])\u00b7(1+0.01\u00b7G/(\u03c0\u00b7\u03c6))",
"value": 0.9577022026205613,
"layer": "L2",
"notes": ""
},
{
"id": "a_bleed",
"name": "acoustic bleed",
"expr": "Sin[\u03c0/e]\u00b7\u03c6/\u221a2",
"value": 1.046973630587551,
"layer": "L2",
"notes": ""
},
{
"id": "p_var",
"name": "phase variance",
"expr": "-Cos[\u03b8_s+\u03c0]",
"value": 0.9579871226722757,
"layer": "L2",
"notes": ""
},
{
"id": "b_in",
"name": "bleed-in factor",
"expr": "c_eff\u00b7(1-Sin[\u03b8_s]/\u03c6)",
"value": 0.7879407922764435,
"layer": "L2",
"notes": ""
},
{
"id": "a_in",
"name": "acoustic inflow",
"expr": "a_bleed\u00b7(1+Cos[\u03b8_s]/\u03c6)",
"value": 1.6668538450045731,
"layer": "L2",
"notes": ""
},
{
"id": "suction",
"name": "suction factor",
"expr": "poof\u00b7(-Cos[\u03b8_s-\u03c0])",
"value": 0.14703398542810284,
"layer": "L2",
"notes": ""
},
{
"id": "chaos",
"name": "chaos factor",
"expr": "\u03b3_c/\u03c9",
"value": -0.33102418261048183,
"layer": "L2",
"notes": ""
},
{
"id": "p_base",
"name": "perceived param base",
"expr": "\u03b3/e",
"value": 0.21234577623937842,
"layer": "L2",
"notes": ""
},
{
"id": "p_new",
"name": "new perceived param",
"expr": "p_base\u00b7\u221a2",
"value": 0.30030227667037146,
"layer": "L2",
"notes": ""
},
{
"id": "c_factor",
"name": "consciousness factor",
"expr": "c_eff\u00b7p_new",
"value": 0.28760015181918397,
"layer": "L2",
"notes": ""
},
{
"id": "K",
"name": "universal scale K",
"expr": "\u03c6\u00b7(\u03b3/e)\u00b7\u221a2/Log[\u03c0]\u00b70.99",
"value": 0.4202216641606967,
"layer": "L2",
"notes": "\u22480.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": "\u0394\u03c8 phase drive",
"expr": "delta_psi",
"value": 0.8,
"layer": "input",
"notes": ""
},
{
"id": "delta_theta",
"name": "\u0394\u03b8 angle drive",
"expr": "delta_theta",
"value": 1.0,
"layer": "input",
"notes": ""
},
{
"id": "rho",
"name": "\u03c1 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[\u03b1\u00b7(1-hits/N)\u00b7\u03b3/\u03c6]",
"value": 1.0002883913967908,
"layer": "T1",
"notes": ""
},
{
"id": "np_sqrtD",
"name": "N\u00b7P/\u221aD_eff",
"expr": "N*P/Sqrt[D_eff]",
"value": 0.2182178902359924,
"layer": "T1",
"notes": ""
},
{
"id": "cos_psi",
"name": "cos((\u03c8_con+\u0394\u03c8)/\u03b7_eff)",
"expr": "Cos[(\u03c8_con+\u0394\u03c8)/\u03b7_eff]",
"value": -0.9972206636464496,
"layer": "T1",
"notes": ""
},
{
"id": "exp_damp",
"name": "exp(-\u03b1\u00b7hits/N + \u03c1 + b_in\u00b7\u0394\u03c8)",
"expr": "Exp[-\u03b1*hits/N + \u03c1 + b_in*\u0394\u03c8]",
"value": 5.105674834753695,
"layer": "T1",
"notes": ""
},
{
"id": "coh_term",
"name": "1+growth\u00b7c_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\u00b7ln(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[\u0394\u03c8+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\u00b7(D-25)/25",
"expr": "1+chaos*(D-25)/25",
"value": 1.052963869217677,
"layer": "T3",
"notes": ""
},
{
"id": "poof_mod",
"name": "1+poof\u00b7Cos[\u03b8_s+\u03c0]+suction\u00b7Sin[\u03b8_s]",
"expr": "1+poof*Cos[\u03b8s+\u03c0]+suction*Sin[\u03b8s]",
"value": 0.8951370105132859,
"layer": "T3",
"notes": ""
},
{
"id": "valve",
"name": "\u03b2\u00b7Cos[\u0394\u03c8]\u00b7(N P/\u221aD)\u00b7chaos\u00b7poof",
"expr": "valve",
"value": 3.755677536772331e-18,
"layer": "T3",
"notes": ""
},
{
"id": "acoustic",
"name": "1+(a_bleed\u00b7Sin\u00b2\u0394\u03b8)/\u03c6+(a_in\u00b7Cos\u00b2\u0394\u03b8)/\u03c6",
"expr": "acoustic",
"value": 1.7589044180776872,
"layer": "T3",
"notes": ""
},
{
"id": "phase",
"name": "1+b_in\u00b7p_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"
}
]
}