covenant claim basis.json

{
  "parameters": [
    "Q",
    "T",
    "qI",
    "qX",
    "xJ",
    "jCall",
    "callL",
    "callZ",
    "L_I",
    "L_L",
    "L_J",
    "L_Z",
    "L_A"
  ],
  "matrix": [
    [
      0,
      0,
      0,
      0,
      1,
      1,
      1,
      0,
      0,
      0,
      -1,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      1,
      -1,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      -1,
      0,
      0,
      0
    ],
    [
      -1,
      1,
      -1,
      2,
      2,
      2,
      2,
      0,
      -1,
      2,
      0,
      0,
      0
    ],
    [
      1,
      -1,
      0,
      -1,
      -1,
      -1,
      0,
      -1,
      0,
      0,
      -2,
      0,
      0
    ],
    [
      0,
      0,
      0,
      1,
      1,
      1,
      -12,
      13,
      0,
      -12,
      0,
      13,
      0
    ],
    [
      0,
      0,
      -25,
      25,
      25,
      25,
      25,
      0,
      0,
      0,
      0,
      0,
      -23
    ],
    [
      0,
      0,
      -2,
      2,
      2,
      2,
      2,
      0,
      0,
      0,
      -1,
      0,
      -1
    ],
    [
      0,
      0,
      -1,
      1,
      1,
      1,
      1,
      -1,
      0,
      0,
      -1,
      0,
      0
    ]
  ],
  "rank": 8,
  "basis_rows": [
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7
  ],
  "source_residuals": [
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
  ],
  "left_kernel": [
    [
      0,
      1,
      -1,
      -1,
      -1,
      0,
      0,
      0,
      1
    ]
  ],
  "qualification": "rank under declared variable local parameters; not probability or historical independence"
}