ReadonlyaddedContracts present now but not in the previous snapshot.
ReadonlyaddedVariables present now but not in the previous snapshot.
ReadonlyremovedContracts present in the previous snapshot but not now.
ReadonlyremovedVariables present in the previous snapshot but not now.
ReadonlyupdatedContracts present in both snapshots with at least one changed field.
ReadonlyupdatedVariables present in both snapshots with at least one changed field.
The result of diffing two
ContractModel.contractsarrays -- seediffContracts(). Comprehensive by construction: every own field ofContractModelContract/ContractModelVariable(schema facts --hasDefault/processorSource/validatorSource/... -- alongside documented metadata) participates, and every discovered contract is covered, not only active ones. A field-by-field, hand-maintained diff (this module's previous design) would need updating by hand every time Contract Model gains a field; the generic differ below can't drift out of sync with the model it diffs.