{
 "row": 35,
 "lines": {
  "L1": {
   "x": "17/2",
   "z": "5/3",
   "mt2": "1",
   "variable": "y",
   "connection": "row35_data.json (A_entries)",
   "connection_sha256": "6acf455def67385491ef9be8734c223129c811854503d810abbd4b71a8dea9fc",
   "base_point_y": "1/3",
   "reference_points_y": [
    "1/2",
    "3/5"
   ],
   "fit": {
    "n_points": 91,
    "plain_fit": 1220,
    "known_denominator_closure": 20,
    "entries": 1240
   },
   "withheld_verification": {
    "d": "890/223",
    "y": [
     "29/211",
     "17/139"
    ],
    "exact": [
     "1240/1240",
     "1240/1240"
    ],
    "shipped": true,
    "files": [
     "row35_L1/withheld_y29o211.json",
     "row35_L1/withheld_y17o139.json"
    ],
    "tier": "--line L1 --verify-exact",
    "masters_hash": "6d47ef2f3ae7aec26a9ad8a60aa8b93924af706442ce8f0fe5fa64b6cfcae9cf",
    "reductions": {
     "provenance": "the two withheld points re-reduced on 2026-09-06 with the first line's own reduction harness (the parked full98 harness, its files by sha manifest: the same integral family, master list and kinematic line as the record) and the same Kira 3.1 build as the second line's record; the record's own verdict step re-run on the new objects: every entry of the first-line connection at d = 890/223 and at each y equal to the new reduction, 1240/1240 at both (the record's original 1240/1240 reproduced); a planted-digit control caught",
     "receipt_sha256_16": "dc304b8fa8b26a25",
     "receipt_note": "the first 16 hex digits of the sha256 of the reductions' receipt of record (the two objects' sha256, byte counts, walls and the re-run verdict step)",
     "row35_L1/withheld_y29o211.json": {
      "sha256": "cad512ab6abedc629782ab05a0279cc2329539880fcf4ea03709e0fef3c4dcce",
      "bytes": 676783
     },
     "row35_L1/withheld_y17o139.json": {
      "sha256": "ccf6e06a7f6fb7a0f860827b7f282cec1a5904bf809bdcd9e80dbec274fca623",
      "bytes": 678088
     }
    }
   },
   "canonical_blocks": {
    "file": "row35_L1/blocks_epsform.json",
    "sha256": "edbc1f375f48699bf32231cbd0111febe0f5737a8df212e238b1a32222a596e3",
    "bytes": 84629,
    "tier": "--line L1 --canonical-blocks",
    "n_blocks": 35,
    "n_ok": 29,
    "n_stopped": 6,
    "stopped_by_class": {
     "Moser-irreducible": [
      417,
      449
     ],
     "eps^0 obstruction": [
      421,
      453,
      482,
      483
     ]
    },
    "elliptic_not_run": 481,
    "check_points": [
     [
      "1/223",
      "29/211"
     ],
     [
      "5/6",
      "17/139"
     ]
    ],
    "eps_free_shift": "1/97",
    "line_text": "29 OK / 6 stopped (2 Moser-irreducible + 4 eps^0) / 1 elliptic",
    "gauge": {
     "file": "row35_L2/canonical_gauge_L1_L2.json",
     "sha256": "58ed5dfa4f2fc92b7b9a2cc48992a11b409f3d39ea3c9b5fde583b91e51a0776",
     "bytes": 50531,
     "nontrivial_G_blocks": [
      321,
      327,
      355,
      227,
      485
     ],
     "identity_G_blocks": 24
    },
    "provenance": "the census of 2026-09-06 on this line: each of the 35 non-elliptic diagonal blocks of the connection run through the eps-factoriser by itself (Normalize.jl 4c5772a76f92d0d2, Fuchsia.jl 8a8c7369f13e5dcb); every factorised block re-checked exactly at the two check points by the record's own verifier (row-major control failing on every block of size >= 2); the seven stopped blocks in two named classes; the first line's forms identical to the July record field by field; the two lines' forms related by a constant gauge letter by letter through the restriction of the 36-letter alphabet to each line",
    "receipt_sha256_16": "a675806bd6068dec"
   },
   "value_tiers": "every value tier of eval_row35.py (default, --point, --gate-full, --master, --check, --cached) and --check-expression run on this line: the certified boundary node bank, the base point, the compare-cache strings and the reference values are this line's"
  },
  "L2": {
   "x": "17/2",
   "z": "7/4",
   "mt2": "1",
   "variable": "y",
   "connection": "row35_L2/connection_L2.json (A_entries)",
   "fit": {
    "n_points": 91,
    "n_points_fit": 89,
    "n_withheld": 2,
    "plain_fit": 1220,
    "known_denominator_closure": 20,
    "entries": 1240
   },
   "withheld_verification": {
    "d": "7/3",
    "y": [
     "296/101",
     "306/103"
    ],
    "exact": [
     "1240/1240",
     "1240/1240"
    ],
    "shipped": true,
    "files": [
     "row35_L2/withheld_y296o101.json",
     "row35_L2/withheld_y306o103.json"
    ],
    "tier": "--line L2 --verify-exact"
   },
   "canonical_blocks": {
    "file": "row35_L2/blocks_epsform.json",
    "sha256": "90bc8a28c9fa2cd85b1c38f75d5c5f7253fa58bba69b809c21685f2e42d025b8",
    "bytes": 83796,
    "tier": "--line L2 --canonical-blocks",
    "n_blocks": 35,
    "n_ok": 29,
    "n_stopped": 6,
    "stopped_by_class": {
     "Moser-irreducible": [
      417,
      449
     ],
     "eps^0 obstruction": [
      421,
      453,
      482,
      483
     ]
    },
    "elliptic_not_run": 481,
    "check_points": [
     [
      "1/223",
      "29/211"
     ],
     [
      "5/6",
      "17/139"
     ]
    ],
    "eps_free_shift": "1/97",
    "line_text": "29 OK / 6 stopped (2 Moser-irreducible + 4 eps^0) / 1 elliptic",
    "gauge": {
     "file": "row35_L2/canonical_gauge_L1_L2.json",
     "sha256": "58ed5dfa4f2fc92b7b9a2cc48992a11b409f3d39ea3c9b5fde583b91e51a0776",
     "bytes": 50531,
     "nontrivial_G_blocks": [
      321,
      327,
      355,
      227,
      485
     ],
     "identity_G_blocks": 24
    },
    "provenance": "the census of 2026-09-06 on this line: each of the 35 non-elliptic diagonal blocks of the connection run through the eps-factoriser by itself (Normalize.jl 4c5772a76f92d0d2, Fuchsia.jl 8a8c7369f13e5dcb); every factorised block re-checked exactly at the two check points by the record's own verifier (row-major control failing on every block of size >= 2); the seven stopped blocks in two named classes; the two lines' forms related by a constant gauge letter by letter through the restriction of the 36-letter alphabet to each line",
    "receipt_sha256_16": "a675806bd6068dec"
   },
   "value_tiers": "none: the record carries no boundary data on this line (no node bank, no base-point vector, no reference values), so every value tier refuses on --line L2 by name; the shipped tier is the exact verification of the connection against the two withheld reductions"
  }
 },
 "open": "both lines are exactness checks of the one-variable reconstruction on that line; the two-variable function (y-dependence at general (x, z)) is not established by them and remains open",
 "same_twenty": "the twenty entries the plain fit leaves open are the same on both lines (all in the block of masters 75-78) and are closed on both by the same known-denominator rescue fit"
}