{
  "created_at": 1793990795.3642793,
  "old_jar": "experiments/guitaboo_formal_emulator_20261103T1725/freeze/native/ape.jar",
  "old_sha256": "93c440df3448f297395d8a53f9be8b769cbc28fbb32b21ad336fcd25ac7e541c",
  "new_jar": "native/ape.jar",
  "new_sha256": "c08fdb34321c760112383b9afc2c11360d35f01120259492ea25d39fb95ea370",
  "method": "baksmali-2.5.2 normalized smali; .source and .line metadata ignored",
  "old_class_count": 465,
  "new_class_count": 467,
  "identical_class_count": 455,
  "changed_or_added_classes": [
    "com/android/commands/monkey/ape/jev/ConcreteActionIdentity$1.smali",
    "com/android/commands/monkey/ape/jev/ConcreteActionIdentity.smali",
    "com/android/commands/monkey/ape/jev/JevEvidence.smali",
    "com/android/commands/monkey/ape/jev/JevHistoryPairwiseProtocol$Result.smali",
    "com/android/commands/monkey/ape/jev/JevHistoryPairwiseProtocol.smali",
    "com/android/commands/monkey/ape/jev/JevRegistry.smali",
    "com/android/commands/monkey/ape/jev/JevReviewLedger$PairResult.smali",
    "com/android/commands/monkey/ape/jev/JevReviewLedger.smali",
    "com/android/commands/monkey/ape/jev/JevRuntime.smali",
    "com/android/commands/monkey/ape/jev/JevSemanticReview$Cache.smali",
    "com/android/commands/monkey/ape/jev/JevSemanticReview.smali",
    "com/android/commands/monkey/ape/jev/JevTransport$Result.smali"
  ],
  "non_jev_changed_classes": [],
  "conclusion": "All non-Jev DEX classes are identical after debug metadata normalization; differences are confined to Jev classes, with two new Jev nested classes."
}