{
  "core_nodes": [
    "S",
    "F",
    "R",
    "N"
  ],
  "six_edges": [
    {
      "from": "S",
      "to": "F",
      "K_multiple": 2
    },
    {
      "from": "S",
      "to": "R",
      "K_multiple": 17
    },
    {
      "from": "S",
      "to": "N",
      "K_multiple": 19
    },
    {
      "from": "F",
      "to": "R",
      "K_multiple": 15
    },
    {
      "from": "F",
      "to": "N",
      "K_multiple": 17
    },
    {
      "from": "R",
      "to": "N",
      "K_multiple": 2
    }
  ],
  "fixedK_incidence_matrix": [
    [
      -1,
      1,
      0,
      0
    ],
    [
      -1,
      0,
      1,
      0
    ],
    [
      -1,
      0,
      0,
      1
    ],
    [
      0,
      -1,
      1,
      0
    ],
    [
      0,
      -1,
      0,
      1
    ],
    [
      0,
      0,
      -1,
      1
    ]
  ],
  "unknownK_matrix": [
    [
      -1,
      1,
      0,
      0,
      -2
    ],
    [
      -1,
      0,
      1,
      0,
      -17
    ],
    [
      -1,
      0,
      0,
      1,
      -19
    ],
    [
      0,
      -1,
      1,
      0,
      -15
    ],
    [
      0,
      -1,
      0,
      1,
      -17
    ],
    [
      0,
      0,
      -1,
      1,
      -2
    ]
  ],
  "fixedK_rank": 3,
  "fixedK_translation_freedom": 1,
  "unknownK_rank": 3,
  "unknownK_dimensions": 2,
  "Kplus_source_pin_rank": 5,
  "claim_register": [
    {
      "claim": "529 source-qualified motif",
      "status": "established within finite retained domain",
      "support": [
        "C285",
        "C286",
        "C287"
      ],
      "unit": "12 labeled paths /10 coordinate paths; four complete coordinate rows",
      "limit": "Cumulative and regular contexts are selected and retained explicitly."
    },
    {
      "claim": "six four-node duration equations",
      "status": "rank3 at fixedK",
      "support": [
        "C309"
      ],
      "unit": "three independent scalar constraints",
      "limit": "Domain membership and source provenance remain additional obligations."
    },
    {
      "claim": "absolute origin or placement",
      "status": "not derived from duration motif",
      "support": [
        "C276",
        "C289",
        "C309"
      ],
      "unit": "one free common translation at fixedK",
      "limit": "Source placement pins and retained map intercepts are separate premises."
    },
    {
      "claim": "fixed8K reflection andpureK rectangle",
      "status": "separately realizable but disjoint in tested complete source domain",
      "support": [
        "C294",
        "C295"
      ],
      "unit": "one fixed-reflection configuration, four allK configurations, zero joint",
      "limit": "Do not combine the strongest features of different configurations."
    },
    {
      "claim": "cross-bridge complete600 comparisons",
      "status": "partial and source-qualified",
      "support": [
        "C301",
        "C302",
        "C308"
      ],
      "unit": "12 labels/eight coordinate segments atQ1406; zero atQ1446",
      "limit": "Seven-of-eightLXX annual segment coverage differs from eight-of-eightSP point coverage."
    },
    {
      "claim": "N01/N02 joint overlap",
      "status": "new identification of overlap with existing graph routes",
      "support": [
        "C303",
        "C304",
        "C307"
      ],
      "unit": "two stored routes; their598 relation and interior residuals are algebraically dependent",
      "limit": "No additional historical witness or new graph edge is claimed."
    },
    {
      "claim": "historical intention, global z-law, statistical rarity",
      "status": "not established by this batch",
      "support": [
        "C309"
      ],
      "unit": "no calibrated probability or independent historical model comparison",
      "limit": "Exact arithmetic alone does not answer these questions."
    }
  ],
  "author_interpretation_separate_from_calculation": true
}