relation accumulation.json

{
  "id": "accumulation_linearity",
  "class": "identity",
  "inputs": "sameorderedlabeldomain,weightvectorsw,wprime,retainedterminals",
  "statement": "Forcommonterminala, Xprime\u2212X=U(wprime\u2212w), U_ij=1 ifj>=i. Differentterminalsaddtheexplicitconstantoffset.",
  "proof": "Subtractthetwosuffixsums termbyterm. Adjacentdifferencesrecovereachlocalchange.",
  "source_applications": [
    "MT/LXX complete19rowb/L fields",
    "SP/LXX postFloodlife field",
    "Roundedlocalerrorfieldwithzeroheaderror"
  ],
  "evidence": [
    "model/regular_kernel_complete_staircase.json",
    "model/whole_genealogy_rounding_interior_field.json"
  ],
  "limit": "Differentlabeldomainsfirstrequireadeclaredinsertionorcomparisonadapter."
}