{
 "row": 27,
 "upgrade": "independent AMFlow comparison of the row's closed elliptic content (Gamma_1(6): psi1 x Eichler(f3) + the 2Cl2(pi/3) cusp boundary; AMFlow convention -S_111(4-2eps,w), m2=1) at two points that appear in no fit or anchor set of the construction, against a closed-form prediction written to a sha256-stamped file before any AMFlow output existed; this supersedes the construction's own leave-one-out cross-check as the primary comparison",
 "definition_changed": false,
 "locked_prediction": {
  "sha256": "71acf39edd351508befa05872d709356b85f22cf07d0ba4801d9fc496d4517ae",
  "locked_at": "2026-07-03T13:13:55-04:00",
  "evaluator": "Eichler.jl sunrise4 -- the same evaluator as the closure's physical-anchor run, at two q-series settings (400-bit/500-term and 640-bit/800-term); locked_values_stringD150 are the 640-bit midpoints",
  "file": "PREDICTION_LOCK.json -- the sha256-stamped prediction file (not part of this download; its sha256 is the one above, and its stamp precedes every AMFlow launch and output of the run)"
 },
 "points": {
  "-1": {
   "role": "control only: a reference point of the construction (leave-one-out anchor), also used once for the discrete convention identification -> excluded from the comparison"
  },
  "-7/3": {
   "role": "comparison point kept out of the construction: appears in no fit or anchor set (the construction's reference points are w = -5, -3, -2, -1, -1/2, -1/4)"
  },
  "-4": {
   "role": "comparison point kept out of the construction: appears in no fit or anchor set (the construction's reference points are w = -5, -3, -2, -1, -1/2, -1/4)"
  }
 },
 "gate_digits": {
  "goal60": {
   "-7/3": {
    "per_order_digits": {
     "-2": 110.9,
     "-1": 101.1,
     "0": 91.2,
     "1": 82.1,
     "2": 71.8
    },
    "min": 71.8
   },
   "-4": {
    "per_order_digits": {
     "-2": 109.3,
     "-1": 99.6,
     "0": 89.4,
     "1": 80.6,
     "2": 69.8
    },
    "min": 69.8
   },
   "control_worst": 70.63203872986959
  },
  "goal40": {
   "-7/3": {
    "per_order_digits": {
     "-2": 76.6,
     "-1": 69.7,
     "0": 62.6,
     "1": 56.4,
     "2": 49.0
    },
    "min": 49.0
   },
   "-4": {
    "per_order_digits": {
     "-2": 75.0,
     "-1": 68.1,
     "0": 60.8,
     "1": 54.8,
     "2": 47.0
    },
    "min": 47.0
   },
   "control_worst": 47.77488230986723
  },
  "headline_min_over_orders_heldout": 69.8,
  "eps0_heldout": {
   "-7/3": 91.2,
   "-4": 89.4
  },
  "bar": 30.0,
  "pass": true
 },
 "amflow_two_precision": {
  "goal40_vs_goal60_agreement_digits": {
   "-1": {
    "-2": 75.1,
    "-1": 68.2,
    "0": 61.2,
    "1": 54.8,
    "2": 47.8
   },
   "-7/3": {
    "-2": 76.6,
    "-1": 69.7,
    "0": 62.6,
    "1": 56.4,
    "2": 49.0
   },
   "-4": {
    "-2": 75.0,
    "-1": 68.1,
    "0": 60.8,
    "1": 54.8,
    "2": 47.0
   }
  }
 },
 "amflow_raw_outputs": {
  "goal60": {
   "-1": {
    "-2": {
     "re": "[1.499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999943012275790738370217004915039842242356345145173301 +/- 1.77e-160]",
     "im": "0"
    },
    "-1": {
     "re": "[3.018353005295401418180463729752792706873521992180229203582698295345396819667005987189158810124759752247757603971199386957754850197067383900470083347885094283907 +/- 1.66e-160]",
     "im": "0"
    },
    "0": {
     "re": "[4.546550715937819726267625792832277287208072463459145277700049543465345670485055321595295480315830079659301343686838039433262277043545921053188599057844252371458 +/- 1.44e-160]",
     "im": "0"
    },
    "1": {
     "re": "[17.80277658908115861621103440984554098774391984100657244727842170590615481912387829219925083306235303348621049873573203616632615479539680481776088093546801485270 +/- 4.81e-159]",
     "im": "0"
    },
    "2": {
     "re": "[11.71489811845361912862312892237464430715663640409643664867023744730125418098241652155871136371910141487305959225000740751264865208546257297441911486007625186191 +/- 6.09e-161]",
     "im": "0"
    }
   },
   "-7/3": {
    "-2": {
     "re": "[1.499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998191292869326884709760132005637795535326392114788 +/- 4.61e-160]",
     "im": "0"
    },
    "-1": {
     "re": "[3.351686338628734751513797063086126040206855325513562536916031628678730153000339320522492143458093084814564867775598476258510068265656986366096522882055417117097 +/- 3.26e-160]",
     "im": "0"
    },
    "0": {
     "re": "[3.557235675014041649425935384987879422476595772341642498040049635004575759440601626949908029099506071420973356506688703705691760190262172808286970199250379113710 +/- 1.59e-160]",
     "im": "0"
    },
    "1": {
     "re": "[20.43926142851569302400205119189769725932768754829728547660953198122044817169272561843754378441808885426745880460497400021716454474382873370045111865870978002913 +/- 2.94e-159]",
     "im": "0"
    },
    "2": {
     "re": "[5.670462572007605490632630340364506662603906495249409620603038953591070253331337025129791358701916833651230383581820295387955705372467332517922273599681998587744 +/- 2.79e-160]",
     "im": "0"
    }
   },
   "-4": {
    "-2": {
     "re": "[1.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000071730552931083036882482058969201065645451313786567 +/- 4.14e-160]",
     "im": "0"
    },
    "-1": {
     "re": "[3.768353005295401418180463729752792706873521992180229203582698295345396819667005987189158810124759750459651902262162446600730626737674257218861340762335716928484 +/- 1.99e-160]",
     "im": "0"
    },
    "0": {
     "re": "[2.256965982180635634794380728207150017429458920091682455414071137955596829162777959923215879944408932385004425088373058402888120504487708138611218840943443881873 +/- 4.91e-160]",
     "im": "0"
    },
    "1": {
     "re": "[23.91580418843065160977971153862648337277762846861050481203731873466096454596666324579443079581726315709765212060719863179243206206179870413030367075335396825652 +/- 3.41e-159]",
     "im": "0"
    },
    "2": {
     "re": "[-2.353854722344886225848879265206826050708541461598455615629409760665993438423261813835761603865660728245922106074456905997296202118131826161380828015430769099159 +/- 2.09e-161]",
     "im": "0"
    }
   }
  },
  "goal40": {
   "-1": {
    "-2": {
     "re": "[1.49999999999999999999999999999999999999999999999999999999999999999999999999889970387338728347057154656003310980454199098 +/- 4.44e-120]",
     "im": "0"
    },
    "-1": {
     "re": "[3.01835300529540141818046372975279270687352199218022920358269829534541805796080551659386914888240002773598538561989965062 +/- 1.01e-120]",
     "im": "0"
    },
    "0": {
     "re": "[4.54655071593781972626762579283227728720807246345914527770004926166526433008657171569510038239412494116420179909008807379 +/- 9.85e-121]",
     "im": "0"
    },
    "1": {
     "re": "[17.8027765890811586162110344098455409877439198410065724499973556332602662266635911770777216833115400825281775778009773906 +/- 9.52e-120]",
     "im": "0"
    },
    "2": {
     "re": "[11.7148981184536191286231289223746443071566364040767643003192698881307675504955660098230107605800188424812410276115524517 +/- 4.19e-119]",
     "im": "0"
    }
   },
   "-7/3": {
    "-2": {
     "re": "[1.49999999999999999999999999999999999999999999999999999999999999999999999999996503699146760073766776258564081419061757732 +/- 3.68e-120]",
     "im": "0"
    },
    "-1": {
     "re": "[3.35168633862873475151379706308612604020685532551356253691603162867873082786281526728232461441266144622916106279545138257 +/- 9.40e-121]",
     "im": "0"
    },
    "0": {
     "re": "[3.55723567501404164942593538498787942247659577234164249804004962605025664156385093957259298744110531855313386160000233757 +/- 4.14e-120]",
     "im": "0"
    },
    "1": {
     "re": "[20.4392614285156930240020511918976972593276875482972854766959262758523109365394632080196717696101206223357731687798053488 +/- 2.42e-119]",
     "im": "0"
    },
    "2": {
     "re": "[5.67046257200760549063263034036450666260390649524878453938671155548667452580743260144290522802419134045708834471410708006 +/- 3.04e-121]",
     "im": "0"
    }
   },
   "-4": {
    "-2": {
     "re": "[1.50000000000000000000000000000000000000000000000000000000000000000000000000138484860415631648196578102036789427393448523 +/- 1.55e-121]",
     "im": "0"
    },
    "-1": {
     "re": "[3.76835300529540141818046372975279270687352199218022920358269829534537008883064985919924648088712453054955985424478062432 +/- 4.98e-120]",
     "im": "0"
    },
    "0": {
     "re": "[2.25696598218063563479438072820715001742945892009168245541407149263362434700116350749365261597951325851450426065443962842 +/- 6.75e-121]",
     "im": "0"
    },
    "1": {
     "re": "[23.9158041884306516097797115386264833727776284686105048086152232640116035562717160754734756362807405412964157523869229294 +/- 1.71e-119]",
     "im": "0"
    },
    "2": {
     "re": "[-2.35385472234488622584887926520682605070854146157369565003854540016950079466955011944146480068902411510210246264081205216 +/- 4.66e-120]",
     "im": "0"
    }
   }
  }
 },
 "locked_values_stringD150": {
  "-1": {
   "-2": "1.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+00",
   "-1": "3.018353005295401418180463729752792706873521992180229203582698295345396819667005987189158810124759751456105658250578752557118487956540371491327478007065e+00",
   "0": "4.546550715937819726267625792832277287208072463459145277700049543465345670485055321595295487875428417059135291123266843397372549497774534216980749935578e+00",
   "1": "1.780277658908115861621103440984554098774391984100657244727842170590615481912387823970651214884330164410498546562733233771657162848759280687786640238353e+01",
   "2": "1.171489811845361912862312892237464430715663640409643664867023744730125445432027411997107063510238773151090739819350129078203514738944176449543537767347e+01"
  },
  "-7/3": {
   "-2": "1.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+00",
   "-1": "3.351686338628734751513797063086126040206855325513562536916031628678730153000339320522492143458093084789438991583912085890451821289873704824660811340399e+00",
   "0": "3.557235675014041649425935384987879422476595772341642498040049635004575759440601626949908029339436675209530306305803347472834907019705764325699379139700e+00",
   "1": "2.043926142851569302400205119189769725932768754829728547660953198122044817169272561677150099730481579109244264450300704457084385415053851976420988733211e+01",
   "2": "5.670462572007605490632630340364506662603906495249409620603038953591070262006680863455416700444737975796739281585403342311435146780684480045193434926843e+00"
  },
  "-4": {
   "-2": "1.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+00",
   "-1": "3.768353005295401418180463729752792706873521992180229203582698295345396819667005987189158810124759751456105658250578752557118487956540371491327478007065e+00",
   "0": "2.256965982180635634794380728207150017429458920091682455414071137955596829162777959923215870429128633068181173091590414004285080575092864494820838038796e+00",
   "1": "2.391580418843065160977971153862648337277762846861050481203731873466096454596666331186713736579321141091325041232782269013207471507695259111362034545345e+01",
   "2": "-2.353854722344886225848879265206826050708541461598455615629409760665993782474125480817451361714437248376334619200561257238898917041668842956938394498090e+00"
  }
 },
 "provenance": {
  "amflow_configs": "AMFlow solve_integrals configurations, one per point and precision goal (six runs: goals 60 and 40 at w = -1, -7/3, -4); not part of this download",
  "amflow_logs": "AMFlow logs of the six runs: output lint passed, 5/5 nonzero coefficients each; not part of this download",
  "measured_times_s": {
   "measure_goal20": 63,
   "production_6_jobs_total": 122
  },
  "maxcut_illposedness": "maximal-cut verdict of 2026-06-27: the sector-63 maximal cut pins w = m^2 (a cusp fibre) and cannot see the elliptic modulus or c1, c2 -- hence the UNCUT sunrise is the object compared here"
 }
}