pflt-fsot / mathematica /FSOT_PFLT_Microscope.wl
dappalumbo91's picture
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
1c6f7c7 verified
Raw
History Blame Contribute Delete
593 Bytes
(* FSOT PFLT Math Microscope — master loader *)
(* Open in Mathematica / Wolfram Engine and evaluate *)
Get["C:/Users/damia/Desktop/pflt/mathematica/FSOT_Symbolic_Microscope.wl"];
Print["=== Symbolic pathway ==="];
FSOTPrintPathway[];
Get["C:/Users/damia/Desktop/pflt/mathematica/trace_linguistic.wl"];
Print["=== Numeric domain trace (linguistic) ==="];
Print["FSOTTrace: ", FSOTTrace[]];
Print["Diff vs Python panel: ", FSOTDiff[]];
(* Other domains: Get["…/trace_historical.wl"] etc. *)
(* Formal: compare N[FSOTDerived[]["K"]] to formal/golden_fsot_pflt.json constants.K *)