{
  "unchanged_operations": [
    "linear measurement",
    "prefix accumulation and adjacent differences",
    "declared scaling",
    "finite supported additions",
    "order-sensitive path evaluation"
  ],
  "required_enrichment": [
    "species and category predicates on source rows",
    "declared category ordering",
    "separate endpoint pairs for a span register"
  ],
  "new_constraints": [
    "Esau equal marginals iff off-diagonal cells agree",
    "regrouping kernels expose lost source information",
    "full forward/reverse paths have exactly four shared prefix boundaries"
  ],
  "unexplained_inputs": [
    "why these textual counts were selected",
    "historical cipher intention",
    "chronological interpretation of animal counts"
  ]
}