{
  "id": "Covenant_clutch_joins",
  "class": "definition_plus_source_constraint",
  "definition": "d=C_K\u2212D,whereC_KiscumulativeKohathandDisfullregularLevideath",
  "forced_join1": "C_K\u2212d=D bydefinition",
  "forced_join2": "C_L\u2212d=B becausebothpathsuseLevi\u2019s137-yearlife",
  "additional_join": "C_J\u2212d=regularIsaacbirth requiresregularIsaac-to-Levibirth=Jacoblife147",
  "source_relation": "60+77+10=147",
  "generated_example": {
    "Kohath_after": 1782,
    "Levi_after": 1919,
    "Jacob_after": 2066
  },
  "phase": "SameNisanderivedd actsontheexact+3.5Aaron/Tishrifield; nosecondclutchtocancelphase",
  "evidence": [
    "inherited/model/covenant_clutch_dependency_ledger.json",
    "inherited/model/covenant_cumulative_regenerated.json"
  ]
}