{ "comparison_scope": "Printed values only; no new numerical tolerances, no rerun, no claim of full-precision field equality. Current script prints lambda to 8dp, so old 10dp values are retained for provenance, not treated as changed results.", "all_29_booleans_match_and_pass": true, "boolean_checks": { "finite_A_phi0.0000": true, "cons_A_phi0.0000": true, "finite_B_phi0.0000": true, "cons_B_phi0.0000": true, "finite_C_phi0.0000": true, "cons_C_phi0.0000": true, "finite_A_phi1.5708": true, "cons_A_phi1.5708": true, "finite_B_phi1.5708": true, "cons_B_phi1.5708": true, "finite_C_phi1.5708": true, "cons_C_phi1.5708": true, "finite_A_T_phi1.5708": true, "cons_A_T_phi1.5708": true, "transpose_ok": true, "t0_AB_patch_ok_phi0.0000": true, "t0_AC_out_ok_phi0.0000": true, "init_mismatch_ok_phi0.0000": true, "t0_AB_patch_ok_phi1.5708": true, "t0_AC_out_ok_phi1.5708": true, "init_mismatch_ok_phi1.5708": true, "init_mismatch_ok_A_T_phi1.5708": true, "stress_finite_C_phi0.0000": true, "stress_finite_B_phi0.0000": true, "stress_finite_A_phi0.0000": true, "stress_finite_C_phi1.5708": true, "stress_finite_B_phi1.5708": true, "stress_finite_A_phi1.5708": true, "stress_finite_A_T_phi1.5708": true }, "original_22_boolean_names_match_previous_shear": true, "sections": { "hard_checks": { "identical_at_printed_precision": true, "line_count": 11, "diff": [] }, "stress_finite_checks": { "identical_at_printed_precision": true, "line_count": 9, "diff": [] }, "summary_lines": { "identical_at_printed_precision": true, "line_count": 15, "diff": [] }, "decay_fits": { "identical_at_printed_precision": true, "line_count": 7, "diff": [] } }, "summary_numeric_comparisons": [ { "name": "R phi0.0000", "horsea_values": { "A": "1.011774619306", "B": "0.998555854025", "C": "1.008383635570", "A/B": "1.013237882716", "A/C": "1.003362791319" }, "horsea_minus_grok": { "A": "0E-12", "B": "0E-12", "C": "0E-12", "A/B": "0E-12", "A/C": "0E-12" } }, { "name": "PROFILE_A phi0.0000", "horsea_values": [ "9.91559495e-01", "8.38223110e-01", "5.53937362e-01", "1.82688509e-01", "-2.14687493e-01", "-5.72526539e-01", "-8.48939033e-01", "-9.98789772e-01", "-9.98789772e-01", "-8.48939033e-01", "-5.72526539e-01", "-2.14687493e-01", "1.82688509e-01", "5.53937362e-01", "8.38223110e-01", "9.91559495e-01" ], "horsea_minus_grok": [ "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9" ] }, { "name": "PROFILE_B phi0.0000", "horsea_values": [ "9.79368883e-01", "8.30268849e-01", "5.54767909e-01", "1.94808583e-01", "-1.94808583e-01", "-5.54767909e-01", "-8.30268849e-01", "-9.79368883e-01", "-9.79368883e-01", "-8.30268849e-01", "-5.54767909e-01", "-1.94808583e-01", "1.94808583e-01", "5.54767909e-01", "8.30268849e-01", "9.79368883e-01" ], "horsea_minus_grok": [ "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9" ] }, { "name": "PROFILE_C phi0.0000", "horsea_values": [ "9.89007827e-01", "8.38440351e-01", "5.60227931e-01", "1.96725888e-01", "-1.96725888e-01", "-5.60227931e-01", "-8.38440351e-01", "-9.89007827e-01", "-9.89007827e-01", "-8.38440351e-01", "-5.60227931e-01", "-1.96725888e-01", "1.96725888e-01", "5.60227931e-01", "8.38440351e-01", "9.89007827e-01" ], "horsea_minus_grok": [ "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9" ] }, { "name": "PROFILE_A-B phi0.0000", "horsea_values": [ "1.21906117e-02", "7.95426140e-03", "-8.30546408e-04", "-1.21200743e-02", "-1.98789102e-02", "-1.77586304e-02", "-1.86701838e-02", "-1.94208889e-02", "-1.94208889e-02", "-1.86701838e-02", "-1.77586304e-02", "-1.98789102e-02", "-1.21200743e-02", "-8.30546408e-04", "7.95426140e-03", "1.21906117e-02" ], "horsea_minus_grok": [ "0E-10", "0E-11", "0E-12", "0E-10", "0E-10", "0E-10", "0E-10", "0E-10", "0E-10", "0E-10", "0E-10", "0E-10", "0E-10", "0E-12", "0E-11", "0E-10" ] }, { "name": "PROFILE_A-C phi0.0000", "horsea_values": [ "2.55166826e-03", "-2.17240307e-04", "-6.29056929e-03", "-1.40373794e-02", "-1.79616052e-02", "-1.22986075e-02", "-1.04986821e-02", "-9.78194544e-03", "-9.78194544e-03", "-1.04986821e-02", "-1.22986075e-02", "-1.79616052e-02", "-1.40373794e-02", "-6.29056929e-03", "-2.17240307e-04", "2.55166826e-03" ], "horsea_minus_grok": [ "0E-11", "0E-12", "0E-11", "0E-10", "0E-10", "0E-10", "0E-10", "0E-11", "0E-11", "0E-10", "0E-10", "0E-10", "0E-10", "0E-11", "0E-12", "0E-11" ] }, { "name": "R phi1.5708", "horsea_values": { "A": "1.011850480751", "B": "0.998555854025", "C": "1.008383635570", "A/B": "1.013313853874", "A/C": "1.003438022057" }, "horsea_minus_grok": { "A": "0E-12", "B": "0E-12", "C": "0E-12", "A/B": "0E-12", "A/C": "0E-12" } }, { "name": "PROFILE_A phi1.5708", "horsea_values": [ "-1.99435683e-01", "-5.68175817e-01", "-8.52874579e-01", "-1.00371150e+00", "-9.86839227e-01", "-8.33347608e-01", "-5.58176761e-01", "-1.96153580e-01", "1.96153580e-01", "5.58176761e-01", "8.33347608e-01", "9.86839227e-01", "1.00371150e+00", "8.52874579e-01", "5.68175817e-01", "1.99435683e-01" ], "horsea_minus_grok": [ "0E-9", "0E-9", "0E-9", "0E-8", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-8", "0E-9", "0E-9", "0E-9" ] }, { "name": "PROFILE_B phi1.5708", "horsea_values": [ "-1.94808583e-01", "-5.54767909e-01", "-8.30268849e-01", "-9.79368883e-01", "-9.79368883e-01", "-8.30268849e-01", "-5.54767909e-01", "-1.94808583e-01", "1.94808583e-01", "5.54767909e-01", "8.30268849e-01", "9.79368883e-01", "9.79368883e-01", "8.30268849e-01", "5.54767909e-01", "1.94808583e-01" ], "horsea_minus_grok": [ "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9" ] }, { "name": "PROFILE_C phi1.5708", "horsea_values": [ "-1.96725888e-01", "-5.60227931e-01", "-8.38440351e-01", "-9.89007827e-01", "-9.89007827e-01", "-8.38440351e-01", "-5.60227931e-01", "-1.96725888e-01", "1.96725888e-01", "5.60227931e-01", "8.38440351e-01", "9.89007827e-01", "9.89007827e-01", "8.38440351e-01", "5.60227931e-01", "1.96725888e-01" ], "horsea_minus_grok": [ "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9", "0E-9" ] }, { "name": "PROFILE_A-B phi1.5708", "horsea_values": [ "-4.62709942e-03", "-1.34079086e-02", "-2.26057300e-02", "-2.43426175e-02", "-7.47034346e-03", "-3.07875936e-03", "-3.40885205e-03", "-1.34499672e-03", "1.34499672e-03", "3.40885205e-03", "3.07875936e-03", "7.47034346e-03", "2.43426175e-02", "2.26057300e-02", "1.34079086e-02", "4.62709942e-03" ], "horsea_minus_grok": [ "0E-11", "0E-10", "0E-10", "0E-10", "0E-11", "0E-11", "0E-11", "0E-11", "0E-11", "0E-11", "0E-11", "0E-11", "0E-10", "0E-10", "0E-10", "0E-11" ] }, { "name": "PROFILE_A-C phi1.5708", "horsea_values": [ "-2.70979435e-03", "-7.94788568e-03", "-1.44342283e-02", "-1.47036740e-02", "2.16860001e-03", "5.09274236e-03", "2.05117083e-03", "5.72308350e-04", "-5.72308350e-04", "-2.05117083e-03", "-5.09274236e-03", "-2.16860001e-03", "1.47036740e-02", "1.44342283e-02", "7.94788568e-03", "2.70979435e-03" ], "horsea_minus_grok": [ "0E-11", "0E-11", "0E-10", "0E-10", "0E-11", "0E-11", "0E-11", "0E-12", "0E-12", "0E-11", "0E-11", "0E-11", "0E-10", "0E-10", "0E-11", "0E-11" ] }, { "name": "R A_T_phi1.5708", "horsea_values": { "R": "1.011850480751" }, "horsea_minus_grok": { "R": "0E-12" } }, { "grok": "TRANSPOSE err=6.661338e-16 ok=True", "horsea": "TRANSPOSE err=6.661338e-16 ok=True", "identical": true }, { "grok": "REF_SHA256=bba2a06a9f6517b32079ffff15e4060d8c3b7ed35f16ca134e1877226c9e4e1e", "horsea": "REF_SHA256=bba2a06a9f6517b32079ffff15e4060d8c3b7ed35f16ca134e1877226c9e4e1e", "identical": true } ], "lambda_comparisons": [ { "run": "A_phi0.0000", "horsea_current_8dp": "0.01585222", "grok_current_8dp": "0.01585222", "horsea_previous_shear_8dp": "0.01585222", "horsea_previous_shear_10dp": "0.0158522189", "current_minus_previous_at_8dp": "0E-8", "current_minus_grok_at_8dp": "0E-8" }, { "run": "B_phi0.0000", "horsea_current_8dp": "0.01539917", "grok_current_8dp": "0.01539917", "horsea_previous_shear_8dp": "0.01539917", "horsea_previous_shear_10dp": "0.0153991657", "current_minus_previous_at_8dp": "0E-8", "current_minus_grok_at_8dp": "0E-8" }, { "run": "C_phi0.0000", "horsea_current_8dp": "0.01554973", "grok_current_8dp": "0.01554973", "horsea_previous_shear_8dp": "0.01554973", "horsea_previous_shear_10dp": "0.0155497331", "current_minus_previous_at_8dp": "0E-8", "current_minus_grok_at_8dp": "0E-8" }, { "run": "A_phi1.5708", "horsea_current_8dp": "0.01584192", "grok_current_8dp": "0.01584192", "horsea_previous_shear_8dp": "0.01584192", "horsea_previous_shear_10dp": "0.0158419175", "current_minus_previous_at_8dp": "0E-8", "current_minus_grok_at_8dp": "0E-8" }, { "run": "B_phi1.5708", "horsea_current_8dp": "0.01539917", "grok_current_8dp": "0.01539917", "horsea_previous_shear_8dp": "0.01539917", "horsea_previous_shear_10dp": "0.0153991657", "current_minus_previous_at_8dp": "0E-8", "current_minus_grok_at_8dp": "0E-8" }, { "run": "C_phi1.5708", "horsea_current_8dp": "0.01554973", "grok_current_8dp": "0.01554973", "horsea_previous_shear_8dp": "0.01554973", "horsea_previous_shear_10dp": "0.0155497331", "current_minus_previous_at_8dp": "0E-8", "current_minus_grok_at_8dp": "0E-8" } ], "stress_transpose_hard_assertion_present": false }