{
  "family": "SP cap and equal-gain rectangle",
  "source_object": "Native SP births, MT comparison lifespans, inclusive Flood capacity, source frames",
  "retained_premises": "Flood cap uses 600+1; official Terah 145; standard MT frames 4114 and 14004; Conquest 1446; source wrappers 7 and 10",
  "operation_route": "Accumulate native SP births \u2192 impose capacity \u2192 retain clipped loss \u2192 add post-Flood changes \u2192 construct framed radii \u2192 apply P and J",
  "complete_result": {
    "nine_cap_losses": [
      0,
      0,
      0,
      0,
      0,
      115,
      0,
      249,
      124
    ],
    "total_cap_loss": 488,
    "postflood_loss": 120,
    "radii": [
      2760,
      11960
    ],
    "keyed_radii": [
      2800,
      12000
    ],
    "source_nodes": [
      4206,
      13406
    ],
    "keyed_anchor": 1406,
    "keyed_gap": 9200,
    "gap_after_E": 10000
  },
  "conserved_or_changed": "Both radii gain 40; their difference is retained until E expands it.",
  "relation_used": "Cap loss identity; 3C=13R for equal P/J gains",
  "additional_conditions": "Wrappers and source frames are retained premises; row mechanism alone does not choose them.",
  "information_loss": "Capping loses excess lifespan; rounding can lose residuals separately.",
  "evidence": [
    "model/SP_rectangle_regular_provenance.json",
    "model/SP_rectangle_cumulative_provenance.json",
    "model/SP_rectangle_source_to_keys.json",
    "model/SP_rectangle_wrapper_residual.json"
  ],
  "status": "newconditionalmechanismorinterface"
}