{
  "question": "Does one uniform source-labelled same-Gear relation describe all admitted MT/SP600-year comparisons and their cumulative-field correspondence?",
  "finite_domain": {
    "regular_MT_pairs": 3,
    "regular_SP_pairs": 6,
    "same_Gear_comparisons": 6,
    "cumulative_profiles": [
      "MT_ON",
      "LXX_OFF"
    ],
    "cumulative_roles": [
      "Shem",
      "Flood"
    ],
    "annual_indices": [
      0,
      1,
      2,
      3,
      4,
      5,
      6,
      7
    ]
  },
  "held_comparison_offset": 2832,
  "hypotheses": [
    {
      "id": "H0",
      "description": "One rail-blind constant translation sends the MT pair to both SP rails."
    },
    {
      "id": "H1",
      "description": "One uniform rule with the pre-existing SP rail label accounts for all three Gears."
    }
  ],
  "procedure": [
    "Select the declared regular records from frozen C286, preserving all source labels.",
    "Select the declared cumulative fields from frozen C301.",
    "Bind regular source values to File_18 and cumulative LXX derivation to Engine ReportIII.",
    "Derive endpoint differences from source values and declared components; do not fit an extra shift.",
    "Solve the fixed C−B=2832 comparison at both endpoints; allow formal outside indices solely as failure diagnostics, never as admitted nodes.",
    "Check finite-domain membership and compare admitted results with frozen C302.",
    "Verify exact quarter-phase translation and retain the C310 missing index."
  ],
  "outside_domain_policy": "An algebraic index8 is a failed membership condition, not a ninth source-field member, cumulative Gear, or new event.",
  "not_proved": [
    "A source-prescribed context selector",
    "Historical intention or absolute-placement uniqueness",
    "One unconditioned translation across both rails",
    "Any global axis/z-law"
  ]
}