{
  "classes": [
    {
      "id": "identity",
      "meaning": "Followsforalldeclaredinputsfromoperationdefinitions",
      "example": "Accumulationofrowdifferences equalsdifferenceofaccumulatedfields"
    },
    {
      "id": "domain_condition",
      "meaning": "Determineswhenaspecifiedcompositionisvalid",
      "example": "Intermediateintegergrid ornonnegativeR/A path"
    },
    {
      "id": "source_constraint",
      "meaning": "Additionalrelationamongreceivedsourcevaluesorroles",
      "example": "Eber40+Nahor60=u100;C=1.3u andT=.6u"
    },
    {
      "id": "family_reconstruction",
      "meaning": "Completefixedsourcefield generatedbyretaineddataandmaps",
      "example": "Moses25nodes andthreeinverseinputwords"
    },
    {
      "id": "interpretive_comparison",
      "meaning": "Literaryorhistoricalmeaningattachedtotheverifiedarithmetic",
      "example": "ArphaxadassecondAdam"
    }
  ],
  "counting_rule": "Dependentdisplaysremainonefamily; identitychecksarenotindependenthistoricalwitnesses.",
  "source_origin": "No classbyitselfestablishesthesourcevalueshistoricalorigin."
}