{
  "rows": [
    {
      "domain": "decimal",
      "source_input": "original span or source date and anchor; fixed base10 and zero policy",
      "derived": "core digits, core length, trailing-zero count, gain branch"
    },
    {
      "domain": "NT",
      "source_input": "labelled order,70-year unit,hinge,bookend roles",
      "derived": "indices,all display coordinates,return sets"
    },
    {
      "domain": "list",
      "source_input": "counts,category membership,declared order,scale,anchor",
      "derived": "margins,prefixes,landings"
    },
    {
      "domain": "Keys",
      "source_input": "ratio,grid,anchor,authorized route",
      "derived": "reduced prefix denominators,admissible domain"
    },
    {
      "domain": "carrier",
      "source_input": "typed source pair,multiplier,internal retention rule",
      "derived": "span,body,macro head,response field"
    }
  ],
  "refinement": "C909 digit witness establishes non-affinity and need to evaluate digits, not independent primitive data necessity",
  "minimality": "finite sufficiency and loss witnesses only"
}