{
  "coefficient_order": [
    "m",
    "l",
    "s",
    "constant"
  ],
  "fixed_source_Flood_BC_bounds": {
    "MT_ON": [
      5296,
      5289
    ],
    "LXX_OFF": [
      5290,
      5283
    ],
    "SP_OFF": [
      4716,
      4709
    ]
  },
  "forms": {
    "A": [
      "2",
      "0",
      "0",
      "-10580"
    ],
    "B": [
      "-1",
      "1",
      "0",
      "0"
    ],
    "C": [
      "1",
      "0",
      "1",
      "-10005"
    ],
    "D_LXX_opening_at_global_origin": [
      "0",
      "1",
      "0",
      "-5290"
    ],
    "MT_opening_at_retained_minus6": [
      "1",
      "0",
      "0",
      "-5290"
    ]
  },
  "identities": [
    "A+2B=2D; under B, A=0 iff LXX OFF opening lands at global Mirror origin",
    "A=2*(m-5296+6); MT opening at retained minus6 restates the same placement",
    "Both SP-reflection endpoint equations equal m+s-10005=0",
    "When m=5290, C gives s=4715",
    "Raw source gap580 minus selected translation gap575 gives transformed gap5"
  ],
  "qualified_subdivision": {
    "BC_nodes": [
      5296,
      3709,
      6
    ],
    "widths": [
      1587,
      3703
    ],
    "K_units": [
      3,
      7
    ],
    "total": 5290,
    "retained_target_required": true,
    "document_calls_span_already_established": true
  },
  "independent_historical_necessity_proof": false,
  "new_parameter_fit_or_source_search": false
}