{
  "rotationCertificate": {
    "maxHostCellRadiusSquared": 24,
    "minimumInitialHostSeparationSquared": "8664/25",
    "disjointBoundingSpheres": true
  },
  "scope": "Exact lattice-cell docking and conservative continuous translation certificate; not a fusion trajectory or bound-state prediction.",
  "source": "8T+7O selected proton, doubled FCC coordinates",
  "properRotationOrbits": 8,
  "faceMatchedCandidates": 200,
  "rankedCandidatesTested": 1,
  "rotation": [
    [
      -1,
      0,
      0
    ],
    [
      0,
      -1,
      0
    ],
    [
      0,
      0,
      1
    ]
  ],
  "hostA": [
    2,
    0,
    0
  ],
  "hostB": [
    -2,
    -2,
    -2
  ],
  "approachVector": [
    -4,
    -2,
    -2
  ],
  "hostSeparationSquared": 24,
  "crossContacts": 2,
  "contacts": [
    {
      "a": 0,
      "b": 8,
      "face": [
        [
          0,
          -2,
          0
        ],
        [
          0,
          0,
          -2
        ],
        [
          2,
          -2,
          -2
        ]
      ]
    },
    {
      "a": 8,
      "b": 1,
      "face": [
        [
          -2,
          0,
          0
        ],
        [
          0,
          -2,
          0
        ],
        [
          0,
          0,
          -2
        ]
      ]
    }
  ],
  "cells": [
    {
      "type": "T",
      "center": [
        1,
        -1,
        -1
      ],
      "hosts": [
        [
          0,
          -2,
          0
        ],
        [
          0,
          0,
          -2
        ],
        [
          2,
          -2,
          -2
        ],
        [
          2,
          0,
          0
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        1,
        -1,
        1
      ],
      "hosts": [
        [
          0,
          -2,
          0
        ],
        [
          0,
          0,
          2
        ],
        [
          2,
          -2,
          2
        ],
        [
          2,
          0,
          0
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        1,
        1,
        -1
      ],
      "hosts": [
        [
          0,
          0,
          -2
        ],
        [
          0,
          2,
          0
        ],
        [
          2,
          0,
          0
        ],
        [
          2,
          2,
          -2
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        1,
        1,
        1
      ],
      "hosts": [
        [
          0,
          0,
          2
        ],
        [
          0,
          2,
          0
        ],
        [
          2,
          0,
          0
        ],
        [
          2,
          2,
          2
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        3,
        -1,
        -1
      ],
      "hosts": [
        [
          2,
          -2,
          -2
        ],
        [
          2,
          0,
          0
        ],
        [
          4,
          -2,
          0
        ],
        [
          4,
          0,
          -2
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        3,
        -1,
        1
      ],
      "hosts": [
        [
          2,
          -2,
          2
        ],
        [
          2,
          0,
          0
        ],
        [
          4,
          -2,
          0
        ],
        [
          4,
          0,
          2
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        3,
        1,
        -1
      ],
      "hosts": [
        [
          2,
          0,
          0
        ],
        [
          2,
          2,
          -2
        ],
        [
          4,
          0,
          -2
        ],
        [
          4,
          2,
          0
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        3,
        1,
        1
      ],
      "hosts": [
        [
          2,
          0,
          0
        ],
        [
          2,
          2,
          2
        ],
        [
          4,
          0,
          2
        ],
        [
          4,
          2,
          0
        ]
      ]
    },
    {
      "type": "O",
      "center": [
        0,
        0,
        0
      ],
      "hosts": [
        [
          -2,
          0,
          0
        ],
        [
          2,
          0,
          0
        ],
        [
          0,
          -2,
          0
        ],
        [
          0,
          2,
          0
        ],
        [
          0,
          0,
          -2
        ],
        [
          0,
          0,
          2
        ]
      ]
    },
    {
      "type": "O",
      "center": [
        4,
        0,
        0
      ],
      "hosts": [
        [
          2,
          0,
          0
        ],
        [
          6,
          0,
          0
        ],
        [
          4,
          -2,
          0
        ],
        [
          4,
          2,
          0
        ],
        [
          4,
          0,
          -2
        ],
        [
          4,
          0,
          2
        ]
      ]
    },
    {
      "type": "O",
      "center": [
        2,
        -2,
        0
      ],
      "hosts": [
        [
          0,
          -2,
          0
        ],
        [
          4,
          -2,
          0
        ],
        [
          2,
          -4,
          0
        ],
        [
          2,
          0,
          0
        ],
        [
          2,
          -2,
          -2
        ],
        [
          2,
          -2,
          2
        ]
      ]
    },
    {
      "type": "O",
      "center": [
        2,
        2,
        0
      ],
      "hosts": [
        [
          0,
          2,
          0
        ],
        [
          4,
          2,
          0
        ],
        [
          2,
          0,
          0
        ],
        [
          2,
          4,
          0
        ],
        [
          2,
          2,
          -2
        ],
        [
          2,
          2,
          2
        ]
      ]
    },
    {
      "type": "O",
      "center": [
        2,
        0,
        -2
      ],
      "hosts": [
        [
          0,
          0,
          -2
        ],
        [
          4,
          0,
          -2
        ],
        [
          2,
          -2,
          -2
        ],
        [
          2,
          2,
          -2
        ],
        [
          2,
          0,
          -4
        ],
        [
          2,
          0,
          0
        ]
      ]
    },
    {
      "type": "O",
      "center": [
        2,
        0,
        2
      ],
      "hosts": [
        [
          0,
          0,
          2
        ],
        [
          4,
          0,
          2
        ],
        [
          2,
          -2,
          2
        ],
        [
          2,
          2,
          2
        ],
        [
          2,
          0,
          0
        ],
        [
          2,
          0,
          4
        ]
      ]
    },
    {
      "type": "O",
      "center": [
        4,
        2,
        2
      ],
      "hosts": [
        [
          2,
          2,
          2
        ],
        [
          6,
          2,
          2
        ],
        [
          4,
          0,
          2
        ],
        [
          4,
          4,
          2
        ],
        [
          4,
          2,
          0
        ],
        [
          4,
          2,
          4
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        -1,
        -1,
        -3
      ],
      "hosts": [
        [
          0,
          0,
          -2
        ],
        [
          0,
          -2,
          -4
        ],
        [
          -2,
          0,
          -4
        ],
        [
          -2,
          -2,
          -2
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        -1,
        -1,
        -1
      ],
      "hosts": [
        [
          0,
          0,
          -2
        ],
        [
          0,
          -2,
          0
        ],
        [
          -2,
          0,
          0
        ],
        [
          -2,
          -2,
          -2
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        -1,
        -3,
        -3
      ],
      "hosts": [
        [
          0,
          -2,
          -4
        ],
        [
          0,
          -4,
          -2
        ],
        [
          -2,
          -2,
          -2
        ],
        [
          -2,
          -4,
          -4
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        -1,
        -3,
        -1
      ],
      "hosts": [
        [
          0,
          -2,
          0
        ],
        [
          0,
          -4,
          -2
        ],
        [
          -2,
          -2,
          -2
        ],
        [
          -2,
          -4,
          0
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        -3,
        -1,
        -3
      ],
      "hosts": [
        [
          -2,
          0,
          -4
        ],
        [
          -2,
          -2,
          -2
        ],
        [
          -4,
          0,
          -2
        ],
        [
          -4,
          -2,
          -4
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        -3,
        -1,
        -1
      ],
      "hosts": [
        [
          -2,
          0,
          0
        ],
        [
          -2,
          -2,
          -2
        ],
        [
          -4,
          0,
          -2
        ],
        [
          -4,
          -2,
          0
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        -3,
        -3,
        -3
      ],
      "hosts": [
        [
          -2,
          -2,
          -2
        ],
        [
          -2,
          -4,
          -4
        ],
        [
          -4,
          -2,
          -4
        ],
        [
          -4,
          -4,
          -2
        ]
      ]
    },
    {
      "type": "T",
      "center": [
        -3,
        -3,
        -1
      ],
      "hosts": [
        [
          -2,
          -2,
          -2
        ],
        [
          -2,
          -4,
          0
        ],
        [
          -4,
          -2,
          0
        ],
        [
          -4,
          -4,
          -2
        ]
      ]
    },
    {
      "type": "O",
      "center": [
        0,
        -2,
        -2
      ],
      "hosts": [
        [
          2,
          -2,
          -2
        ],
        [
          -2,
          -2,
          -2
        ],
        [
          0,
          0,
          -2
        ],
        [
          0,
          -4,
          -2
        ],
        [
          0,
          -2,
          -4
        ],
        [
          0,
          -2,
          0
        ]
      ]
    },
    {
      "type": "O",
      "center": [
        -4,
        -2,
        -2
      ],
      "hosts": [
        [
          -2,
          -2,
          -2
        ],
        [
          -6,
          -2,
          -2
        ],
        [
          -4,
          0,
          -2
        ],
        [
          -4,
          -4,
          -2
        ],
        [
          -4,
          -2,
          -4
        ],
        [
          -4,
          -2,
          0
        ]
      ]
    },
    {
      "type": "O",
      "center": [
        -2,
        0,
        -2
      ],
      "hosts": [
        [
          0,
          0,
          -2
        ],
        [
          -4,
          0,
          -2
        ],
        [
          -2,
          2,
          -2
        ],
        [
          -2,
          -2,
          -2
        ],
        [
          -2,
          0,
          -4
        ],
        [
          -2,
          0,
          0
        ]
      ]
    },
    {
      "type": "O",
      "center": [
        -2,
        -4,
        -2
      ],
      "hosts": [
        [
          0,
          -4,
          -2
        ],
        [
          -4,
          -4,
          -2
        ],
        [
          -2,
          -2,
          -2
        ],
        [
          -2,
          -6,
          -2
        ],
        [
          -2,
          -4,
          -4
        ],
        [
          -2,
          -4,
          0
        ]
      ]
    },
    {
      "type": "O",
      "center": [
        -2,
        -2,
        -4
      ],
      "hosts": [
        [
          0,
          -2,
          -4
        ],
        [
          -4,
          -2,
          -4
        ],
        [
          -2,
          0,
          -4
        ],
        [
          -2,
          -4,
          -4
        ],
        [
          -2,
          -2,
          -6
        ],
        [
          -2,
          -2,
          -2
        ]
      ]
    },
    {
      "type": "O",
      "center": [
        -2,
        -2,
        0
      ],
      "hosts": [
        [
          0,
          -2,
          0
        ],
        [
          -4,
          -2,
          0
        ],
        [
          -2,
          0,
          0
        ],
        [
          -2,
          -4,
          0
        ],
        [
          -2,
          -2,
          -2
        ],
        [
          -2,
          -2,
          2
        ]
      ]
    },
    {
      "type": "O",
      "center": [
        -4,
        -4,
        0
      ],
      "hosts": [
        [
          -2,
          -4,
          0
        ],
        [
          -6,
          -4,
          0
        ],
        [
          -4,
          -2,
          0
        ],
        [
          -4,
          -6,
          0
        ],
        [
          -4,
          -4,
          -2
        ],
        [
          -4,
          -4,
          2
        ]
      ]
    }
  ],
  "total": {
    "T": 16,
    "O": 14,
    "chargeNumerator": 12,
    "chargeDenominator": 6,
    "faceIncidences": 176,
    "uniqueCells": 30,
    "connected": true
  },
  "certificate": {
    "method": "Exact rational separating-axis intervals over all 225 cross-cell pairs, b(s)=b+s*d for every s>=0. Convex host-center cells contain the curved interstices.",
    "testedPairs": 225,
    "positiveVolumeIntersections": 0,
    "inwardOvertravelRejected": true
  },
  "reactionLedger": {
    "initial": {
      "T": 16,
      "O": 14,
      "faceUnitsWithTwoNodes": 146896
    },
    "proposedProductsUsingRetainedNeutron": {
      "T": 32,
      "O": 22,
      "faceUnitsWithTwoNodes": 147024
    },
    "requiredNeutralInput": {
      "T": 16,
      "O": 8,
      "smallPackets": 8,
      "faceUnits": 128
    },
    "scope": "Uses the retained 20T+10O neutron, 2T+4O positron and 2T+1O neutral output. Products are bookkeeping targets, not rederived bound states."
  },
  "ledgerChecks": {
    "requiredInputs": 8,
    "outgoingNeutralPackets": 1,
    "netAbsorbedPackets": 7,
    "cases": [
      {
        "neutralInputs": 0,
        "supplied": {
          "T": 16,
          "O": 14
        },
        "requiredProducts": {
          "T": 32,
          "O": 22
        },
        "shortfall": {
          "T": 16,
          "O": 8
        },
        "balanced": false,
        "charge_e": "2"
      },
      {
        "neutralInputs": 6,
        "supplied": {
          "T": 28,
          "O": 20
        },
        "requiredProducts": {
          "T": 32,
          "O": 22
        },
        "shortfall": {
          "T": 4,
          "O": 2
        },
        "balanced": false,
        "charge_e": "2"
      },
      {
        "neutralInputs": 8,
        "supplied": {
          "T": 32,
          "O": 22
        },
        "requiredProducts": {
          "T": 32,
          "O": 22
        },
        "shortfall": {
          "T": 0,
          "O": 0
        },
        "balanced": true,
        "charge_e": "2"
      }
    ],
    "reactionRate": null,
    "energyRelease": null,
    "observedFusionEvents": null,
    "scope": "Inventory calculation only. No experimental event count is supplied; null is not a measured zero."
  }
}