completed path interface ledger.json

{
  "claims": [
    [
      "uniform rational conversion commutes with coarsening",
      "operator identity"
    ],
    [
      "proper prefixes fractional on all four source paths",
      "complete fixed-family result"
    ],
    [
      "convergence and integral E completion choose the same branch",
      "equivalent conditions in fixed two-branch domain"
    ],
    [
      "common E/P/J calendar volume",
      "calibration identity transferred to source scalar"
    ],
    [
      "whole components cannot realize1/6 or1/26 allocations",
      "source-support obstruction"
    ],
    [
      "990/1980 paired gaps forbid common-pivot integral images",
      "necessary-condition theorem"
    ],
    [
      "full and nine-member difference meshes",
      "exact representation of existing fields"
    ],
    [
      "additional uniform Key outputs retain rank2",
      "dependent measurement certificate"
    ]
  ],
  "retained": [
    "original tail1400",
    "held Nativity6",
    "source partitions",
    "source-appointed route and Key",
    "grid interpretation"
  ],
  "excluded": [
    "second inversion",
    "new target tally",
    "new member admissions"
  ]
}